Skip to content

feat(leaf-model): R3-internal Symbol emit-coupling exercise (post-SG-1) - #4102

Merged
briansrls merged 10 commits into
mainfrom
session/sleek-bear-374-r3-internal-wiring
May 31, 2026
Merged

feat(leaf-model): R3-internal Symbol emit-coupling exercise (post-SG-1)#4102
briansrls merged 10 commits into
mainfrom
session/sleek-bear-374-r3-internal-wiring

Conversation

@briansrls

@briansrls briansrls commented May 31, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

SG-0 hand-path delta: +1

SG-0 pairing: (c) Net +1 on EXPECTED_HAND_AUTHORED_TEST for v4_leaf_model_rust_r3_internal_emit_coupling_test.rs (INVARIANTS §P5(b) Phase 1 leaf-model R3-internal emit-coupling boundary replay for target_atom_type_spelling + value projection kind per PR #3971 §4 / post-SG-1 #3956; pairs with scripts/v4-leaf-model-rust-r3-internal-verify.sh). Follow-up dispatch: retire when T-22 modeled run_target_verification exercises RustEmitProjectionEqualityExpectation without this hand-Rust bridge — #4102 / T-PB-B pb_rust_tests_outside_residual_zero in _internal/ROADMAP_OPS.md.

Summary

Wires Phase 1 R3-internal leaf-model verification for the Symbol TargetAtomRealization row now on main (#3956). Per PR #3971 §4, mutating the row must change both type-projection and value-projection emit together; this is the SG-1 closure receipt (not a rustc boundary test).

  • Add LeafModelEmitCouplingReceipt + lens fixture (rust_r3_internal_mutated_row vs rust_target_atom_realization_symbol) exercising target_atom_type_spelling and target_atom_value_expression.
  • Add rust_r3_internal.dag claim wiring + boundary projection-replay tests + scripts/v4-leaf-model-rust-r3-internal-verify.sh host runner (gates on behavioral coupling test until T-22 owns eval).
  • Register boundary test in SG-0 EXPECTED_HAND_AUTHORED_TEST with P5 deferral block (fix python/rust R1 census sort while here).

Test plan

  • /opt/cargo/bin/cargo test -p v3-compiler --test integration -- v4_leaf_model_rust_r3_internal — 5 passed
  • ./scripts/v4-leaf-model-rust-r3-internal-verify.sh — emit-coupling PROVEN (projection replay)
  • cargo test -p v3-compiler --test integration sg0_expected_list_is_sorted — ok
  • cargo fmt --all --check — ok

briansrls and others added 6 commits May 31, 2026 07:16
@briansrls briansrls changed the title R3-internal exercise wiring — Phase 1 leaf-model verification (PR #3971 rust-leaf-model-spec §4 + PR #3947 joint runner spec §4). SG-1 TargetAtomRealization for Symbol/Bool/Char now on main (#3956 merged 04:10Z), so R3-internal becomes exercisable per the §4 hard rule. Positive substrate Y framing: feat(leaf-model): R3-internal Symbol emit-coupling exercise (post-SG-1) May 31, 2026
@briansrls
briansrls marked this pull request as ready for review May 31, 2026 07:28
briansrls and others added 3 commits May 31, 2026 07:34
@briansrls
WIP: R3-internal exercise wiring — Phase 1 leaf-model verification (PR …
ca25655 
…#3971
@briansrls @cursoragent
fix(leaf-model): behavioral projection replay for R3-internal bridge
b51db73 
Replace substring-only boundary checks with row-config extraction from
rust.dag/lens and substrate-aligned replay of type/value projections.
Gate host runner PROVEN on the behavioral test; add P5 deferral block in SG-0 census.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
WIP: R3-internal exercise wiring — Phase 1 leaf-model verification (PR …
c2d009e 
…#3971
@briansrls

briansrls commented May 31, 2026

Copy link
Copy Markdown
Contributor Author

Re: indentation at v4_leaf_model_rust_r3_internal_emit_coupling_test.rs:78

Valid — the 2-space drift in extract_value_template_kind_from_row_block was corrected in c2d009e11 (pre-push cargo fmt). Latest fmt job on the branch is green.

Re-running failed discipline / ci jobs: PR body now has column-0 SG-0 hand-path delta: + SG-0 pairing: (required for the +1 census entry).

— sent from sleek-bear-374

@briansrls @cursoragent
ci: retrigger checks after SG-0 pairing lines in PR body
4c65231 
No code change; discipline job on prior run failed before PR description
included required SG-0 hand-path delta / pairing lines.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls merged commit 72a4f8e into main May 31, 2026
10 checks passed
briansrls added a commit that referenced this pull request May 31, 2026
@briansrls @cursoragent
docs(planning): post-#4110 burn-down — #4102 + compute_fabric landing…
405f702 
… log

Refresh maturation tracker after #4110 merge: Tree HEAD 0840056,
#4102 R3-internal leaf-model row, compute_fabric.dag Worksheet A substrate.
Still 0/6 v4-done PROVEN.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls briansrls mentioned this pull request May 31, 2026
Merged
4 of 5 tasks
briansrls added a commit that referenced this pull request May 31, 2026
@briansrls @cursoragent
docs(planning): post-#4110 burn-down — #4102 + compute_fabric landing…
5557f8a 
… log (#4111)

Refresh maturation tracker after #4110 merge: Tree HEAD 0840056,
#4102 R3-internal leaf-model row, compute_fabric.dag Worksheet A substrate.
Still 0/6 v4-done PROVEN.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls briansrls mentioned this pull request May 31, 2026
Merged
4 of 5 tasks
briansrls added a commit that referenced this pull request May 31, 2026
@briansrls @claude
docs(close/receipt): fresh M1 rustc probe post-#4115 (P5 bridge repla…
a2d0c71 
…cement) — +184 delta vs #4086

Per PM dispatch 2026-05-31: re-run full-tree M1 probe + per-class delta vs
PR #4086 baseline. Substrate landings since #4086: #4099 SG-1b worksheet,
#4100 SG-RC worksheet, #4102 R3-internal, #4105 + #4107 substrate
(compute_fabric + cache_interface), #4115 P5 bridge replacement.

Headline (origin/main at d015b76):
- v2 emit diagnostics: 0 (SG-7 stays closed; confirms #4115 didn't regress)
- .rs files emitted: 345 (was 335; +10 substrate growth)
- rustc errors: 7175 (was 6991; +184 / +2.6%)
- E0423 (SG-1 closure check): 0 (stays closed across all 6 substrate PRs)

Delta concentration:
- E0107 (SG-2): +125 — biggest single delta; new compute_fabric/cache_interface
  carriers need type-arg projection; SG-2 worksheet path #3962 absorbs without
  shape change.
- E0308 (mixed): +43 — SG-1-FOLLOWON +13 (1317 → 1330 'expected String, found
  Symbol') + SG-RC-LAYERING +24 on TestClaim row + minor others.
- Other codes: ±0 to +6 each; long tail completely pinned.

No new SG-class signatures emerged. P3-D elastic core count UNCHANGED from
#4086: 8 active receipt-producing classes + 2 closed. All routing from
proud-pike-680 (msg_6db2dc9e) absorbs the delta:
- SG-1b worksheet #4099 absorbs the +13 SG-1-FOLLOWON.
- SG-RC-LAYERING worksheet #4100 absorbs the +80 SG-RC.
- SG-COLLECTION-PROJECTION (~170, no Δ) stays on SG-5/SG-6 amendment plan.
- SG-2 / SG-8 / SG-3-CASCADE: existing worksheet routings.

§6 includes a spot-correction of #4086's SG-3-CASCADE arithmetic (was
1191; actual sum is 761).

§7 explicit reads: P5 bridge replacement (#4115) did NOT regress v2 emit;
this catalog's 0-diagnostic line is the implicit non-regression receipt.

§8 NOT-list: not a worker dispatch (proud-pike's routing surface); not a
SG-1/SG-7 reopening; not a P5 bridge receipt (#4097 owns that); not a P1/
MW-D8 amendment.

Two files: catalog + raw probe summary verbatim.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls briansrls mentioned this pull request May 31, 2026
Merged
5 tasks done
briansrls added a commit that referenced this pull request May 31, 2026
@briansrls @claude
docs(close/receipt): fresh M1 rustc probe post-#4115 — +184 delta vs #…
ef992dd 
…4086 (no new SG classes) (#4122)

* WIP: Close/Receipt Manager — authority over close predicates, two-axis dispos

* docs(close/receipt): fresh M1 rustc probe post-#4115 (P5 bridge replacement) — +184 delta vs #4086

Per PM dispatch 2026-05-31: re-run full-tree M1 probe + per-class delta vs
PR #4086 baseline. Substrate landings since #4086: #4099 SG-1b worksheet,
#4100 SG-RC worksheet, #4102 R3-internal, #4105 + #4107 substrate
(compute_fabric + cache_interface), #4115 P5 bridge replacement.

Headline (origin/main at d015b76):
- v2 emit diagnostics: 0 (SG-7 stays closed; confirms #4115 didn't regress)
- .rs files emitted: 345 (was 335; +10 substrate growth)
- rustc errors: 7175 (was 6991; +184 / +2.6%)
- E0423 (SG-1 closure check): 0 (stays closed across all 6 substrate PRs)

Delta concentration:
- E0107 (SG-2): +125 — biggest single delta; new compute_fabric/cache_interface
  carriers need type-arg projection; SG-2 worksheet path #3962 absorbs without
  shape change.
- E0308 (mixed): +43 — SG-1-FOLLOWON +13 (1317 → 1330 'expected String, found
  Symbol') + SG-RC-LAYERING +24 on TestClaim row + minor others.
- Other codes: ±0 to +6 each; long tail completely pinned.

No new SG-class signatures emerged. P3-D elastic core count UNCHANGED from
#4086: 8 active receipt-producing classes + 2 closed. All routing from
proud-pike-680 (msg_6db2dc9e) absorbs the delta:
- SG-1b worksheet #4099 absorbs the +13 SG-1-FOLLOWON.
- SG-RC-LAYERING worksheet #4100 absorbs the +80 SG-RC.
- SG-COLLECTION-PROJECTION (~170, no Δ) stays on SG-5/SG-6 amendment plan.
- SG-2 / SG-8 / SG-3-CASCADE: existing worksheet routings.

§6 includes a spot-correction of #4086's SG-3-CASCADE arithmetic (was
1191; actual sum is 761).

§7 explicit reads: P5 bridge replacement (#4115) did NOT regress v2 emit;
this catalog's 0-diagnostic line is the implicit non-regression receipt.

§8 NOT-list: not a worker dispatch (proud-pike's routing surface); not a
SG-1/SG-7 reopening; not a P5 bridge receipt (#4097 owns that); not a P1/
MW-D8 amendment.

Two files: catalog + raw probe summary verbatim.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* docs(close/receipt): #4122 — fix §6 arithmetic per openai-pro (long-tail 58 → 115; SG-3-CASCADE includes E0308 mop-up)

openai-pro found that §6 published a contradictory long-tail count:
§2 already lists E0391=29, E0599=28, other=58 separately, but §6's
'Long tail (E0391 / E0599 / + 12 other codes)' said 58 — should be
29+28+58 = 115. Separately, SG-3-CASCADE row totaled only
E0277+E0573+E0560+E0369+E0121 (765), omitting the E0308 mop-up that
the cascade definition is supposed to soak up by construction.

Fixes:
- Long tail row: 58 → 115 (E0391 + E0599 + other 12 codes, sum verified).
- SG-3-CASCADE row: 765 → ~1,390 (adds unclassified-E0308 mop-up
  ~625 = 2905 total E0308 minus SG-1-FOLLOWON 1330 minus SG-RC-LAYERING
  ~780 minus SG-COLLECTION-PROJECTION ~170).
- Added an explicit arithmetic-reconciliation sub-table showing each
  bucket × code coverage × count, summing to ~7,175 ± 1 rounding band.
- Footnote on the probe-summary top-25 histogram summing to 7,174 vs §1's
  7,175 — single error in a code beyond top-25 (probe script truncates
  display at top-25; rustc log carries full population).

Catalog now publishes a single self-consistent residual count usable as
the live ratchet meter.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* WIP: Close/Receipt Manager — authority over close predicates, two-axis dispos

---------

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls
briansrls deleted the session/sleek-bear-374-r3-internal-wiring branch June 1, 2026 18:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@briansrls