Skip to content

W1.5: ci_selection_receipt_shadow + MW-D8 C4 fixture (shadow mode) - #4073

Merged
briansrls merged 9 commits into
mainfrom
session/ci-selection-receipt-shadow
May 31, 2026
Merged

briansrls merged 9 commits into
mainfrom
session/ci-selection-receipt-shadow

Conversation

@briansrls

@briansrls briansrls commented May 31, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Implements Phase 2.1 shadow CI selection receipt generation in src/v4/workflow/ci.dag:

  • ci_selection_receipt_shadow — per-step Run | Skip | CarvedOut from GitDiffNameOnly path bridge, registry rows, and ci_always_run_carveouts (fail-closed on AffectedSetFailClosed).
  • Shadow carveout seed (v2 compile + interim Always gates) per docs/planning/compiler-spine-ci-selection-receipt-shadow-2026-05-30.md §7.
  • C4 fixture: ci_selection_receipt_shadow_fixture_receipt + ci_selection_receipt_shadow_generatable_ok (well-formed receipt; v2 compile CarvedOut; m1 probe Run on v4 workflow touch).

Shadow only — no active GHA gating. Heartbeat path unchanged.

Test plan

  • Lens-CI compile pattern (CI): gunbc compile entry ci.dag + src/v4 deps → 54 files, 0 diagnostics
  • CI auto-runs after ready (v4 / workflow_policy gates)

@briansrls briansrls changed the title Compiler Spine Manager — authority over T-8 resolve, T-9 infer/ground, T-10 emit, T-22 eval, T-38 TestClaim runner, InferredTree/GroundedProgramGraph shape stability per PR #3938 §11.1. NO language-specific realization facts (Target Realization owns those). First artifact: with Runtime/TestClaim pai W1.5: ci_selection_receipt_shadow + MW-D8 C4 fixture (shadow mode) May 31, 2026
@briansrls
briansrls marked this pull request as ready for review May 31, 2026 02:45
@briansrls
briansrls merged commit 3059154 into main May 31, 2026
17 of 18 checks passed
briansrls added a commit that referenced this pull request May 31, 2026
Refresh HEAD to 01b26df; record W1.5 C4 shadow impl (#4073) with
formal 4/5 vs operator 5/5 impl framing; log #4075 maintenance.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request May 31, 2026
…4077)

* docs(planning): post-#4075 burn-down — MW-D8 C4 #4073 + landing log

Refresh HEAD to 01b26df; record W1.5 C4 shadow impl (#4073) with
formal 4/5 vs operator 5/5 impl framing; log #4075 maintenance.

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

* chore(ci): retrigger #4077 checks after concurrent-run cancellation

Prior run 26701600025 cancelled v4/affected; duplicate workflow race.
No doc content change.

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

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request May 31, 2026
Honest git-diff proxy reason symbols, Practice 10 gated tag on
ci_affected_set_is_fail_closed, registry-gated Skip vs fail-closed Run
for out-of-registry steps, and inlined fixture decision matches.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request May 31, 2026
Honest git-diff proxy reason symbols, Practice 10 gated tag on
ci_affected_set_is_fail_closed, registry-gated Skip vs fail-closed Run
for out-of-registry steps, and inlined fixture decision matches.

Co-authored-by: Cursor <cursoragent@cursor.com>
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