Repository navigation
Lane B tasks - #76
Closed
briansrls wants to merge 38 commits into
Closed
Lane B tasks#76briansrls wants to merge 38 commits into
briansrls wants to merge 38 commits into
Conversation
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
|
Cursor Agent can help with this pull request. Just |
briansrls
marked this pull request as ready for review
February 23, 2026 14:00
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 2cbc3cdbf0
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Comment on lines
1062
to
1064
| writeln!( | ||
| text, | ||
| r#" eprintln!("execution completed: {{}} nodes executed", log.entries.len());"# |
There was a problem hiding this comment.
In build_main_raw, the human-readable execution summary now runs unconditionally after the if trace_json block, so --trace-json emits JSON and plain-text lines on stderr. Any caller that treats trace mode as machine-readable JSON output (for example, piping stderr to a JSON parser) will break once those extra lines appear. The summary/log loop should remain in an else branch so trace mode stays JSON-only.
Useful? React with 👍 / 👎.
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
briansrls
added a commit
that referenced
this pull request
May 6, 2026
… 75 → 95 total Per codex BLOCKING inline on PR #1808 sha (now merged) at 2026-05-06T02:44. PR #1808 already squash-merged at sha 8d88dcc; fix lands on successor PR #1809. Codex flagged: 75-gate ledger + r3-structure.md §"Acceptance" omitted gate IDs from 4 lanes that were DECLARED in §"Lane structure" prose only — T-E-P-Producer-Broadening / T-Lens-Behavioral-Parity / T-Tests-As-Data- Completeness / T-Lens-Application-Surface. Single-authority violation: R3 close could be counted green while declared lane gates remain outside the canonical closure ledger (INVARIANTS P2/P5). Verified via grep — 20 gate IDs exist in r3-structure.md §"Lane structure" prose but NOT in §"Acceptance" before this commit: - T-E-P-Producer-Broadening (3): e_p_per_call_descent_evidence_full_coverage + e_p_call_pattern_lookup_authoritative + e_p_sub_value_relation_per_ call_landed - T-Lens-Behavioral-Parity (5): complexity / cost / parallelism / effect_enumeration _lens_behaviorally_complete + lens_capability_ register_zero_proxy_zero_stub - T-Tests-As-Data-Completeness (4): every_rust_test_ports_to_dag_or_ generated + forall_exists_quantifier_substrate_landed + program_ generator_carrier_landed + lens_cementing_test_discipline_complete - T-Lens-Application-Surface (8): lens_application_carrier_landed + section_ref_substrate_landed + lens_enforcement_carrier_landed + enforce_violation_routing_landed + complexity_violation_compile_error_ demonstrated + crdt_cost_basis_demonstrated + memory_peak_cost_basis_ demonstrated + opt_in_iteration_parallelism_via_lens_application_ demonstrated Fix: - r3-structure.md §"Acceptance" — 4 new lane bullets added with all 20 gate IDs as bullets (matching format of other lane bullets) - plan §1.5 count updated 75 → 95 (composition: 79 lane gates + 16 added 2026-05-06 = 95 across 18 lanes + 1 standing program) - plan §1.7 references "all 75 gates" → "all 95 gates" - plan §1.8 ledger extended with 20 new rows (gates #76-#95) Single-authority restored: all 95 gates have Pass-condition body in r3-structure.md §"Acceptance" canonical authority + consolidated index in plan §1.8 ledger. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This was referenced May 6, 2026
Closed
briansrls
added a commit
that referenced
this pull request
May 9, 2026
…om cluster-analysis audit + today's merges (#2399) Addresses PR #2358 §8 meta-finding (closure-claims-vs-HEAD drift) via explicit Status refresh on §1.8 rows. Cluster-analysis audit on main (PR #2300 / docs/audit/r3-cluster-analysis-2026-05-09.md §1) identified 9 gates likely-promotable from DECLARED → CONSUMER_LANDED + named specific PRs as evidence. Today's session adds 1 more (#92 via PR #2340). Per cluster-analysis audit §1 closing note: "PM surface, not authoring: ledger refresh is Mgr-owned per docs/r3-program-plan.md §10 cadence. This list is input to next refresh cycle." PM (deep-wolf-155) interpretation: Mgr-cadence-discipline holds, but the cluster-analysis was published 2026-05-09T03:25Z + at least 9 gates are mechanically derivable from PR-history. Authoring this sweep as PM-tier signal-into-next-refresh; lane Mgrs review their lane's rows in this PR before merge. **Updates** (10 candidates): | Gate | From | To | Evidence | |---|---|---|---| | #25 omni_openapi_backend_emission_demo | DECLARED | CONSUMER_LANDED | PR #2251 (Shape B OpenAPI) | | #29 anthropic_wire_typed_serde_alignment | DECLARED | CONSUMER_LANDED | PR #2208 + #2164 | | #30 anthropic_unit_enum_role_serialization_correct | DECLARED | CONSUMER_LANDED | PR #2208 | | #53 workflow_substrate_carriers_landed | DECLARED | CONSUMER_LANDED (partial) | PR #2160 WorkflowSecret + CronExpression β-ratified | | #54 timing_lens_carrier_landed | DECLARED | CONSUMER_LANDED | PR #2360 (post-T-LBP COMPLETE) | | #76 e_p_per_call_descent_evidence_full_coverage | DECLARED | CONSUMER_LANDED | PR #2147 carrier + #2190 consumer | | #77 e_p_call_pattern_lookup_authoritative | DECLARED | DECLARED + verify-pending note | T-E-P P1 slices 1-7; Mgr review needed | | #78 e_p_sub_value_relation_per_call_landed | DECLARED | CONSUMER_LANDED | T-E-P P1 slices 1-7 | | #92 complexity_violation_compile_error_demonstrated | RECEIPT (ambiguous) | CONSUMER_LANDED + PASSING | PR #2340 | | #96 value_body_substrate_mirror_isomorphism_executable | DECLARED | CONSUMER_LANDED | PR #2288 (CI-visible integration) | Each cite includes PR# + brief evidence summary. #77 retained as DECLARED with verify-pending note (cluster-analysis audit said "verify"; Mgr review recommended before promotion). **Verification**: R4-carve dissolution discipline ratchet still passes (32 citations, all properly annotated). No new drift introduced. **Mgr review path**: Substrate Mgr (warm-wolf-698) reviews #29/#30/#53/ #54/#76/#77/#78/#96 lane rows. Verification Mgr (wise-bear-525) reviews #92/#96 lane rows. Grounding Mgr (sunny-koi-893) reviews #25 lane row. Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This was referenced May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 14, 2026
…§1.8 evidence-cite Land 4 #[ignore]'d cementing tests pinning the consumer-path expectation for match-payload structural descent + multi-arg per-arg vectors against both complexity_of + symbolic_cost_of, with a named lens-consumer-walker substrate-extension blocker. Producer surface is correct (m2 receipts pin StrictSubValue + ChildAccessorCall projection); gap is consumer-side: complexity.dag + cost.dag have no Disj/match-arm summary fold, so compose_many_inputs is never reached on match-arm result ports for ADT-typed recursive functions. Follow-on canvas pending under R3 Substrate Mgr standing authority per docs/design-complexity-lens-behavioral-completeness.md §272/§282; follow-on PR drops the #[ignore] markers as its same-PR cementing receipt. Gate #76 stays CONSUMER_LANDED in §1.8 — NOT promoted to PASSING per feedback_only_claim_what_actually_exists. Hot-fix #2723 precedent (Pattern-A scaffold with #[ignore]) is the shape: preserve executable evidence of the gap in-tree under a named blocker so the §1.8 row's evidence-cite points at a concrete file. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Merged
4 tasks done
briansrls
added a commit
that referenced
this pull request
May 14, 2026
…test
codex review identified that the new cementing file under
src/v3/compiler/tests/integration/cementing/ requires INVARIANTS §P5
Mechanism (b) receipt shape: named lane + concrete ROADMAP row, plus
matching EXPECTED_HAND_AUTHORED_TEST census line. Prose-only deferral
("canvas pending") does not satisfy the gate.
Adds the file path to EXPECTED_HAND_AUTHORED_TEST in sg0_census_test.rs
and the matching dissolution-bearing receipt row in INVARIANTS.md
(cites ROADMAP.md "Lane E-P — per-call descent-evidence provenance" +
docs/r3-program-plan.md §1.8 gate #76 + the named lens-consumer
match-arm walker substrate extension under R3 Substrate Mgr standing
authority as the dissolution trigger).
SG-0 census passes (16/16 ok).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
May 14, 2026
…§1.8 evidence-cite (#3116) * WIP: R3 gate #76: e_p_per_call_descent_evidence_full_coverage (T-E-P-Producer * R3 gate #76 Phase-3 lens-consumer cementing ratchets (#[ignore]'d) + §1.8 evidence-cite Land 4 #[ignore]'d cementing tests pinning the consumer-path expectation for match-payload structural descent + multi-arg per-arg vectors against both complexity_of + symbolic_cost_of, with a named lens-consumer-walker substrate-extension blocker. Producer surface is correct (m2 receipts pin StrictSubValue + ChildAccessorCall projection); gap is consumer-side: complexity.dag + cost.dag have no Disj/match-arm summary fold, so compose_many_inputs is never reached on match-arm result ports for ADT-typed recursive functions. Follow-on canvas pending under R3 Substrate Mgr standing authority per docs/design-complexity-lens-behavioral-completeness.md §272/§282; follow-on PR drops the #[ignore] markers as its same-PR cementing receipt. Gate #76 stays CONSUMER_LANDED in §1.8 — NOT promoted to PASSING per feedback_only_claim_what_actually_exists. Hot-fix #2723 precedent (Pattern-A scaffold with #[ignore]) is the shape: preserve executable evidence of the gap in-tree under a named blocker so the §1.8 row's evidence-cite points at a concrete file. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * Address codex BLOCKING — P5 Mechanism (b) receipts for new hand-Rust test codex review identified that the new cementing file under src/v3/compiler/tests/integration/cementing/ requires INVARIANTS §P5 Mechanism (b) receipt shape: named lane + concrete ROADMAP row, plus matching EXPECTED_HAND_AUTHORED_TEST census line. Prose-only deferral ("canvas pending") does not satisfy the gate. Adds the file path to EXPECTED_HAND_AUTHORED_TEST in sg0_census_test.rs and the matching dissolution-bearing receipt row in INVARIANTS.md (cites ROADMAP.md "Lane E-P — per-call descent-evidence provenance" + docs/r3-program-plan.md §1.8 gate #76 + the named lens-consumer match-arm walker substrate extension under R3 Substrate Mgr standing authority as the dissolution trigger). SG-0 census passes (16/16 ok). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * ci: re-trigger after PR body SG-0 hand-path delta declaration * ci: re-trigger after SG-0 pairing line adds 'dispatch' keyword * ci: re-trigger after SG-0 pairing cites brief path --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.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
2 participants
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.
This pull request contains changes generated by a Cursor Cloud Agent