Skip to content

Land dsl/std/cache_interface.dag (Worksheet B §6) - #4113

Closed
briansrls wants to merge 9 commits into
mainfrom
session/quick-heron-132
Closed

briansrls wants to merge 9 commits into
mainfrom
session/quick-heron-132

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session quick-heron-132.
Pushing to session/quick-heron-132 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

briansrls and others added 9 commits May 31, 2026 07:27
Wire cache_key_projection through artifact.subject_digest instead of
sentinel digests; give GHA PrefixFallback ordered restore-key tiers;
model sccache eviction as Lru with vendor evidence (cap is config-driven);
add inline P5 receipt on the parse-acceptance test.

Co-authored-by: Cursor <cursoragent@cursor.com>
Route cargo_target_dir to CargoFingerprint and sccache_local to
SccacheInternalHash instead of collapsing all NativeInternalHash rows
through SccacheInternalHash. Fallback match on KeyDerivationClass for
new backends (case 14).

Co-authored-by: Cursor <cursoragent@cursor.com>
Drop ProducerKind from ExecutionReceiptRef — ProducerReceipt coproduct is
the sole authority. Document orthogonal write vs atomicity enums per
worksheet §1.6; add BuildBuddy field-scoped evidence for intentional
WriteOnce + WriteThenCommit pairing. Strengthen P5 inline receipt with
SG-0 path cite (N→N, integration.rs ~line 421).

Co-authored-by: Cursor <cursoragent@cursor.com>
Model ProviderKey transport on CacheInterfaceFacts.transport_encoding
(fail-closed: projection matches encoding only, no classification
fallback). Add Practice 4 checkpoints on substrate coproducts per
openai-pro review.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls

Copy link
Copy Markdown
Contributor Author

Duplicate of #4107 (squash-merged to main @ 0d9a4a3). Worksheet B §6 already on main; no delta vs main. Closed per proud-pike-680 / quick-heron closeout.

@briansrls briansrls closed this May 31, 2026
@briansrls

Copy link
Copy Markdown
Contributor Author

Dashboard item (close comment @ 2026-05-31T10:00:56Z) — verified; no further action.

Check Status
#4107 squash-merged to main @ 0d9a4a31c Yes — dsl/std/cache_interface.dag present on main
#4113 delta vs main None for Worksheet B scope (substrate already landed)
This PR Closed as duplicate per proud-pike-680 closeout — do not gh pr ready or merge

Lane quick-heron-132 archived. Any openai-pro substrate follow-ups (typed CacheEvidence target, single content_digest authority) belong on a new PR off main, not this branch.

— sent from quick-heron-132

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant