Repository navigation
SG-RC-LAYERING §10.0 worksheet authoring per #4086 routing (~700 errors, 10% of v4 rustc residual) - #4100
Merged
Conversation
Record proud-pike-680 §8 approval and READY-FOR-WORKER-DISPATCH on the §10.0 worksheet ahead of PR #4100 merge. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
marked this pull request as ready for review
May 31, 2026 07:16
6 tasks
4 of 5 tasks
4 of 5 tasks
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…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>
This was referenced May 31, 2026
docs(close/receipt): fresh M1 rustc probe post-#4115 — +184 delta vs #4086 (no new SG classes)
#4122
Merged
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…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
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
Merged
3 tasks done
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…ksheet (per #4086) (#4126) * docs(receipt): SG-3-CASCADE cascade-only determination — no §10.0 worksheet (per #4086) SG-3-CASCADE (trait/field/binary mop-up: E0277/E0573/E0560/E0369/E0121 + residual-E0308) carries no independent missing modeled fact. Each band is the rustc-visible consequence of a fact already owned by a primary class (SG-1-FOLLOWON #4099, SG-2 #3962, SG-RC-LAYERING #4100, SG-8, SG-COLLECTION- PROJECTION). A §10.0 worksheet's DFS-path / canonical-home fields would be empty or duplicate a primary's — so no worksheet is warranted; authoring one would invent substrate work that does not exist. - New: docs/audit/v4-sg3-cascade-only-receipt-2026-05-31.md §0 determination, §2 per-band traceability (each → owning primary/worksheet), §4 falsifiable monotonic-dissolution criterion for the next post-primary probe. - Resolves predicate-dependency-graph §3.3 ambiguity: SG-3-CASCADE row was "extend existing worksheet" (unnamed); now "retired (no worksheet)" — bands fan across five primaries, no single host to extend. Docs-only; no code/substrate/.dag touched. Grounded in the committed #4122 live ratchet meter (SG-3 bands pinned, zero-Δ vs #4086); no re-probe (would regenerate identical numbers). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: SG-3-CASCADE §10.0 worksheet or cascade-only receipt — trait/field/binar * docs(receipt): fix §1 measurement-basis wording — E0560 +4 is primary-driven, not "zero Δ" (openai-pro #4126) §1 claimed the SG-3 named bands are "pinned (zero Δ)" and "the only motion is residual-E0308," contradicting the adjacent table's E0560 +4 / named-subtotal +4. Corrected: 4 of 5 named bands are zero-Δ; E0560 ticked +4, and that tick is itself primary-driven (new SG-2 field-projection sites from #4105/#4107 substrate, per §2) — not independent SG-3 growth, which strengthens the cascade-only thesis rather than weakening it. The −46 total is net of the +4 E0560 tick. No count changed; wording made internally faithful. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…4126 (#4130) * docs(receipt): SG-3-CASCADE cascade-only determination — no §10.0 worksheet (per #4086) SG-3-CASCADE (trait/field/binary mop-up: E0277/E0573/E0560/E0369/E0121 + residual-E0308) carries no independent missing modeled fact. Each band is the rustc-visible consequence of a fact already owned by a primary class (SG-1-FOLLOWON #4099, SG-2 #3962, SG-RC-LAYERING #4100, SG-8, SG-COLLECTION- PROJECTION). A §10.0 worksheet's DFS-path / canonical-home fields would be empty or duplicate a primary's — so no worksheet is warranted; authoring one would invent substrate work that does not exist. - New: docs/audit/v4-sg3-cascade-only-receipt-2026-05-31.md §0 determination, §2 per-band traceability (each → owning primary/worksheet), §4 falsifiable monotonic-dissolution criterion for the next post-primary probe. - Resolves predicate-dependency-graph §3.3 ambiguity: SG-3-CASCADE row was "extend existing worksheet" (unnamed); now "retired (no worksheet)" — bands fan across five primaries, no single host to extend. Docs-only; no code/substrate/.dag touched. Grounded in the committed #4122 live ratchet meter (SG-3 bands pinned, zero-Δ vs #4086); no re-probe (would regenerate identical numbers). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: SG-3-CASCADE §10.0 worksheet or cascade-only receipt — trait/field/binar * docs(receipt): fix §1 measurement-basis wording — E0560 +4 is primary-driven, not "zero Δ" (openai-pro #4126) §1 claimed the SG-3 named bands are "pinned (zero Δ)" and "the only motion is residual-E0308," contradicting the adjacent table's E0560 +4 / named-subtotal +4. Corrected: 4 of 5 named bands are zero-Δ; E0560 ticked +4, and that tick is itself primary-driven (new SG-2 field-projection sites from #4105/#4107 substrate, per §2) — not independent SG-3 growth, which strengthens the cascade-only thesis rather than weakening it. The −46 total is net of the +4 E0560 tick. No count changed; wording made internally faithful. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(planning): purge SG-3 single-authority conflict — retire it across all dispatch/count surfaces (codex + inline RC on #4126) #4126 retired SG-3-CASCADE as cascade-only but only updated the §3.3 row + state legend, leaving SG-3 still represented as dispatchable elsewhere in the same planning artifact — two authorities for "is SG-3 dispatchable" (INVARIANTS P2 single-authority). Resolved across all surfaces: - §Path C (line 98): dropped SG-3 from "Workers extend ..." dispatch list; added explicit "SG-3 is NOT a dispatch target — retired cascade-only" note. - Count surfaces (§P3 row line 11, §2 #4086 entry line 21, §3.3 header line 44, §3.3 footnote line 60): "8 active receipt-producing classes routed" → "8 receipt-producing classes — 7 dispatchable + SG-3-CASCADE cascade-residual." Keeps the #4086-catalog reconciliation (still 8 receipt-producing) while removing the dispatchability contradiction. Follow-up to merged #4126; receipt unchanged. Docs-only — no code/substrate/.dag. Closes #4086 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(planning): "7 dispatchable" → "7 active across routing states" — precise count (openai-pro RC on #4130) openai-pro flagged that "7 dispatchable" introduced a new dispatch-count contradiction: of the 7 non-SG-3 classes, several are not worker-dispatchable under the table's own legend (SG-1b=worksheet-needed, SG-RC-LAYERING=authoring, SG-COLLECTION-PROJECTION=route-pending). Reworded all four count surfaces (§P3 row, §2 #4086 entry, §3.3 header, §3.3 footnote) to "7 active across routing states + SG-3-CASCADE retired cascade-residual" — the only binary fact the count asserts is retired-vs-active, which matches the per-row state column exactly. No claim that all 7 are dispatchable. Docs-only — no code/substrate/.dag. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
Merged
6 tasks
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…single-authority-fact substrate per §6; close the missing modeled fact for the ~700-error class so emit/lower can resolve without spot-fix. First impl wave under the §10.0 worksheet. (#4116) * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(v4): address openai-pro SG-RC substrate review on #4116 - TargetReferenceLayerWrapped probe payload (Owned only via NotWrapped arm). - Propagate bundle edge probe Rejected through apply_disposition (no false absent). - Fail closed on use-site ownership lookup miss when SG-RC consumer runs. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(v4): address openai-pro SG-RC fail-closed review on d7bfbae - TargetReferenceLayerWrapped probe payload (no duplicate Owned arm) - translate_sg_rc_bundle_edge_present propagates bundle Rejected - catalog lookup miss rejects instead of Owned passthrough - manual claim: missing use_site row under SG-RC-ready bundle - smoke: assert translate_sg_rc_bundle_edge_present surface Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): add dissolution tag on TargetReferenceLayerWrapped Practice 4 / INVARIANTS P5: classify the SG-RC wrapped-layer coproduct alongside TargetReferenceLayer and TargetReferenceLayerProbe. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): codex fail-closed SG-RC decode + facts-forward value use_site - Reject non-Conj reference_layer_tokens bundles (no fabricated Rc/Box tokens) - TargetReferenceLayerWrapped dissolution tag (prior commit) - Thread use_site through value path via at_use_site only; drop hardcoded translate_atom_realization_value_from_source wrapper - F2 claims: return/param value expr consult matching catalog rows Co-authored-by: Cursor <cursoragent@cursor.com> * test(v4): smoke ratchet for reference_layer_tokens fail-closed decode Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): restore SG-1b signature-realization imports in 06_translate Accidental drop when extending the SG-RC target_model import block removed symbols still used by translate_target_function_signature_realization_for_boundary and serialize_type_expr_boundary_* (from main #4124). 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
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
briansrls
added a commit
that referenced
this pull request
May 31, 2026
Drop co-delivery claims; split worksheet PR from implementation worker per SG-RC #4100 pattern so merge gate and falsification probes match the actual diff. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 31, 2026
…ings (#4116) (#4133) * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(v4): address openai-pro SG-RC substrate review on #4116 - TargetReferenceLayerWrapped probe payload (Owned only via NotWrapped arm). - Propagate bundle edge probe Rejected through apply_disposition (no false absent). - Fail closed on use-site ownership lookup miss when SG-RC consumer runs. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(v4): address openai-pro SG-RC fail-closed review on d7bfbae - TargetReferenceLayerWrapped probe payload (no duplicate Owned arm) - translate_sg_rc_bundle_edge_present propagates bundle Rejected - catalog lookup miss rejects instead of Owned passthrough - manual claim: missing use_site row under SG-RC-ready bundle - smoke: assert translate_sg_rc_bundle_edge_present surface Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): add dissolution tag on TargetReferenceLayerWrapped Practice 4 / INVARIANTS P5: classify the SG-RC wrapped-layer coproduct alongside TargetReferenceLayer and TargetReferenceLayerProbe. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): codex fail-closed SG-RC decode + facts-forward value use_site - Reject non-Conj reference_layer_tokens bundles (no fabricated Rc/Box tokens) - TargetReferenceLayerWrapped dissolution tag (prior commit) - Thread use_site through value path via at_use_site only; drop hardcoded translate_atom_realization_value_from_source wrapper - F2 claims: return/param value expr consult matching catalog rows Co-authored-by: Cursor <cursoragent@cursor.com> * test(v4): smoke ratchet for reference_layer_tokens fail-closed decode Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): restore SG-1b signature-realization imports in 06_translate Accidental drop when extending the SG-RC target_model import block removed symbols still used by translate_target_function_signature_realization_for_boundary and serialize_type_expr_boundary_* (from main #4124). Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v4): SG-RC review follow-up — drop fail-open bundle_ready, add ctor spellings - Remove translate_sg_rc_bundle_ready (Bool escape hatch); apply_disposition only. - Add Rc::new/Box::new to rust_sg2_binding_spellings for value-wrap serialization. - Tighten sg_rc_value_rc_wrap_tagged to assert catalog ctor symbol, not self-hash. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(#4133): checkable P5 deferral + facts-forward value coupling claim Cite _internal/ROADMAP_OPS.md Nine lanes T-PB-B (lane table moved off ROADMAP.md). sg_rc_value_rc_wrap_tagged compares full TargetValueExpression nodes against substrate target_reference_layer_apply_value_expression. 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
…E0432/E0433 per #4086) (#4127) * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * WIP: SG-8 §10.0 worksheet — module graph + carrier re-exports (~796 E0425/E04 * docs(sg-8): align worksheet dispatch with docs-only #4127 Drop co-delivery claims; split worksheet PR from implementation worker per SG-RC #4100 pattern so merge gate and falsification probes match the actual diff. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(sg-8): single authority for post-merge implementation gate Replace "merge unblocks implementation worker" with dispatch-binding language and explicit §8-before-merge + §8-before-implementation ordering so the status table cannot contradict the OPEN §8 checklist. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(sg-8): fix 03_name_resolve DFS path to compiler/ Align worksheet authority map with landed src/v4/compiler/03_name_resolve.dag (TASKS.md T-28-B); src/v4/03_name_resolve.dag does not exist on main. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(sg-8): anchor worksheet to committed main authorities Cite catalog (#4086) and ladder (#4120) with main URLs; drop volatile probe counts from worksheet authority (implementation PR evidence). Co-authored-by: Cursor <cursoragent@cursor.com> * docs(sg-8): require executable F4 falsification receipt Replace ambiguous "v4 manual claim" with hermetic TestClaim or src/v2/tests fixture plus rg receipt per TESTING.md discipline. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(sg-8): tighten F2 receipt to wrong-module pattern Match F2 grep to forbid CarrierKind via v4_compiler_target_carriers only, not blanket absence of CarrierKind (pipeline import may be correct). 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
* WIP: SG-RC-LAYERING implementation per #4100 worksheet (c725de3) — author s * fix(v4): sg_rc ctor claim — bound lookup + Optional match (B-LOOKUP-1) Manual TestClaim compile projects Map.lookup to Some/None, not Witness (Holds/Violates breaks v4 bootstrap). Keep bound spellings identifier for dotted-call parse surface; document B-LOOKUP-1 interim bridge class. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(#4135): name B-LOOKUP-1 dissolve-on for manual claim map lookup Align gated comment with 06_translate.dag:917 receipt: dissolve when bootstrap dispatches Map.lookup as Witness<V> in manual TestClaim compile. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Cursor <cursoragent@cursor.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Auto-opened by session-dashboard for session
sharp-lark-878.Pushing to
session/sharp-lark-878advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan