Repository navigation
docs(debt): DP1 Q7 ledger reconciliation (#1638, #1499, CollectionOps) - #1892
Merged
Merged
Conversation
- Add scripts/check-pr-sg0-net-shrink-discipline.sh: when a pull_request touches sg0_census_test.rs, require PR body lines SG-0 hand-path delta: and SG-0 pairing: (a|b|c) for strict net +N adds; embedded --self-test. - Wire ci job: full checkout, fetch origin/main, run checker + self-test. - Extend PULL_REQUEST_TEMPLATE.md with SG-0 net-shrink section + anchors. - ROADMAP: SG-0 PR-window net-shrink discipline row (process complement to BridgeLedgerZero course correction #4). Co-authored-by: Cursor <cursoragent@cursor.com>
Tighten check-pr-sg0-net-shrink-discipline.sh: accept only signed integer tokens (reject bogus -words), and require structured (a)/(b)/(c) pairing evidence per PR template. Extend self-test with malformed cases. Co-authored-by: Cursor <cursoragent@cursor.com>
Harden check-pr-sg0-net-shrink-discipline.sh: pick the first body line that starts (after optional whitespace) with SG-0 pairing: so mid-line prose cannot satisfy the gate; require --self-test/--check-body-only to be the sole flag. Extend self-test for anchored vs substring-only cases. Co-authored-by: Cursor <cursoragent@cursor.com>
After format/pairing validation on pull_request, compare the declared net hand-path count to adds−removes of EXPECTED_* string rows in sg0_census_test.rs (git diff origin/main...HEAD). Documents counter limits in the script header. Co-authored-by: Cursor <cursoragent@cursor.com>
Flatten pairing line + continuation for path/dispatch regexes so "immediately after" matches template wording; add self-tests. Co-authored-by: Cursor <cursoragent@cursor.com>
Replace `git diff --name-only … | grep -Fxq` with `git diff --quiet origin/main...HEAD -- <census>`: under pipefail, early grep exit can SIGPIPE git (exit 141), and `if !` then skips the gate. Co-authored-by: Cursor <cursoragent@cursor.com>
Count EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS} rows at origin/main
vs HEAD instead of diffing raw EXPECTED_* line churn (excludes
EXPECTED_GENERATED_* and other inventories). Propagate counter errors into
the mismatch gate.
Co-authored-by: Cursor <cursoragent@cursor.com>
Avoid printf|grep|awk pipelines on PR_BODY under pipefail (SIGPIPE false missing-delta). Add template note: raw lines must start with SG-0…, not markdown checklist bullets alone. Co-authored-by: Cursor <cursoragent@cursor.com>
The gate already required ^SG-0 hand-path delta:; pairing used ^[[:space:]]*SG-0 pairing:, diverging from the template single-authority contract. Anchor pairing extraction and (a)/(b)/(c) checks at column 0; add self-test for indented pairing rejection. Co-authored-by: Cursor <cursoragent@cursor.com>
The (a) gate accepted `removed <any-token>`, which could satisfy same-PR retirement without naming a real path. Tighten to `src/v3/compiler/…` or *.rs / *.txt after "removed"; add self-test for the weasel case. Co-authored-by: Cursor <cursoragent@cursor.com>
Skipping the gate on a missing base ref was fail-open for PR runs. CI already fetches main to origin/main; absent ref is a setup error. Co-authored-by: Cursor <cursoragent@cursor.com>
…hority Codex blocking: (a) no longer accepts standalone .rs / slash tokens without the retirement keyword. Document fail-closed origin/main + (a) contract in ROADMAP SG-0 bullet. Co-authored-by: Cursor <cursoragent@cursor.com>
Address review nits: use read <<< for delta token first field; declare pairing_flat with other function locals. Co-authored-by: Cursor <cursoragent@cursor.com>
…nter Claude exploratory: note trailing-comma row regex and single-line vs block FRAGMENTS parsing so future census edits do not silently miscount. Co-authored-by: Cursor <cursoragent@cursor.com>
Require exactly one NON_TEST/TEST/FRAGMENTS const each, reject unclosed arrays, and exit nonzero from awk on malformed snapshots. Extend --self-test with synthetic stdin cases for the counter path (gpt-5-5-pro P3/TESTING). Co-authored-by: Cursor <cursoragent@cursor.com>
Claude exploratory: require `src/v3/compiler/…` for removed *.txt evidence (short *.rs unchanged). Add census self-test for multiline FRAGMENTS (hand==1 path) and PR-body self-tests for bare .txt vs fragment-shaped .txt. Co-authored-by: Cursor <cursoragent@cursor.com>
pull_request.body may be CRLF; +1\\r failed numeric token match. Normalize before grep/read and add CRLF self-tests (+0, +1 (b), URL on next line). Co-authored-by: Cursor <cursoragent@cursor.com>
…shape Strip Rust line comments before matching rustfmt path rows; if a line still contains a hand path literal but does not match the supported pattern, exit nonzero (P3 fail-closed vs silent undercount). Add counter self-tests. Co-authored-by: Cursor <cursoragent@cursor.com>
…ctionOps) Retire declaration_by_name emit-pattern row per PR #1638; add #1499 acknowledgment row for plan §533 stratum B; refresh CollectionOps strand cross-reference. Update r3-program-plan drift bullets to reconciled status. Debt receipt (R3 standing program): - Debt paid: ROADMAP/ledger rows cited in docs/debt/r3-debt-paydown-ledger-2026-05-02.md catalog + docs/r3-program-plan.md § drift list (Q7 single PR). Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Review metadata
Reviewed Findings: None. Nothing here touches substrate types, Rust boundaries, or tests. Verdict: APPROVE — Narrow documentation reconciliation (DP1 / Q7) with explicit cross-references and consistent counting; no invariant or discipline violations evident in the diff. |
Contributor
Author
|
quiet-otter-416 — api-review response Verified against current branch: diff remains docs-only ( Finding validity: None — accepted; no fix commit required. — sent from quiet-otter-416 |
briansrls
commented
May 6, 2026
briansrls
left a comment
briansrls
left a comment
Contributor
Author
There was a problem hiding this comment.
Review metadata
- Provider / model:
codex/unknown - Commit:
525fc97d· Trigger:schedule - Thinking:
144s wall
ROADMAP — Verified
- declaration_by_name: ROADMAP marks the production emit declaration_by_name pattern retired by PR #1638, and the ledger row now matches that authority.
- CollectionOps/StringOps/MapOps: ROADMAP keeps this strand Partial with concat/length/map plus StringOps/MapOps remaining, and the ledger preserves that scope while pointing at the algebra reframe brief.
✅ Docs-only reconciliation is consistent with the debt discipline, and I found no blocking concerns.
Contributor
Author
|
quiet-otter-416 — codex api-review response Re-verified on current tree:
Finding: No blocking issue; docs-only reconciliation stands. No code/doc fix commit warranted beyond what’s already on the PR. — sent from quiet-otter-416 |
Contributor
Author
|
Review metadata
Docs-only PR — debt ledger reconciliation. Three drift items addressed via ledger edits. Internally consistent: bucket counts adjust (44→43 open, 19→21 retired = +2 retired, –1 open... wait, that's net +1, but they also added an acknowledgment row → 75 total, so +1 new retired row + 1 flipped from open to retired = open –1, retired +2. Math checks. Verdict: APPROVE — docs-only ledger reconciliation. The numerical bookkeeping (74→75 rows; open 44→43; retired 19→21) is internally consistent with flipping |
Contributor
Author
|
quiet-otter-416 — claude api-review response Re-checked
Finding: No discrepancy; bookkeeping matches the review. No further commit. — sent from quiet-otter-416 |
briansrls
added a commit
that referenced
this pull request
May 6, 2026
This was referenced May 6, 2026
briansrls
added a commit
that referenced
this pull request
May 7, 2026
… delta Per PB Mgr dispatch on inbox #1768 (assignment #1919, cycle #1861): re-execute §Delta methodology against current origin/main HEAD 2c7d820 after recent bootstrap/substrate churn (Q-MachineConstraint #1856, T-Numeric S9 #1840, #1807/#1892/#1903 paydown row refreshes, T-V2 inventory #1848/#1850). Verdict: no material delta. All audit findings reproduce; all zero-coverage greps still return zero; B.2 authority-migration markers in dag.rs still present. Line-anchor drift summary (vs prior §Delta @ 530c76e): - induction.dag: meet/join_sub_value -5 lines; int_pow_bounded / ceil_log / ceil_log_iter / master_theorem / derive_bound -3 lines - termination.dag: peano / positive_descent / proportional_divisor +103/+105/+106 lines (file grew substantially; symbols still live) - lib.rs Non-Arrow Callable fail-closed: shifted to :674; new second site at :2338 (same fail-closed semantics, different dispatch path) - lower.rs lower_constructor_invocation: +~89 lines - B.2 m2 oracle/shim block: structurally identical (no further drift) - Cargo edges :37-38: unchanged - dag.rs authority-migration markers: present at :1786-1798 (comment block) and :3587-3606 (typed accessor); semantic content unchanged New §Delta subsection added; freshness pointer at top refreshed to point to 2c7d820. Prior §Delta (530c76e) + B.2 reclassification preserved for audit history. Constraints honored: not S-1 authoring; no src/v2/ edits; no Cargo edge removal; no code migration. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
4 tasks done
briansrls
added a commit
that referenced
this pull request
May 7, 2026
… delta (#1919) (#1926) * docs(audit): r3-pb tv2 population coverage — §Delta (2026-05-05) no material delta vs origin/main 530c76e Re-executed live-on-main methodology vs current origin/main per Mgr dispatch (inbox #1742). All audit findings reproduce: Pop A substrate live with zero v3-side test coverage; non-Arrow Callable evaluator arm still parked; Pop B v2 dependencies and Cargo edges still present. Only drift: minor line-number shifts inside still-live declarations (substrate decls +1 line; B.2 oracle +~217 lines as the file grew). Net dispatch order unchanged; single-authority pointer to §Post-#1715 reclassification reaffirmed. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): r3-pb tv2 — line-anchor freshness pointer above §A (Mgr review #1805) Per Mgr non-blocking suggestion on PR #1805: add a single sentence above §A pointing readers to §Delta (2026-05-05+) for the live-offset drift table, so skimmers who land in §A.* don't mis-click on author-time line cites. Reaffirms feedback_section_anchors_over_line_numbers. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): r3-pb tv2 §Delta B.2 reclassification — substrate authority migration already landed (PR #1805 BLOCKING review) Per blocking review on PR #1805 (codex sha:72667918): the §Delta B.2 row incorrectly inferred from the surviving v2 oracle that Substrate authority migration is still pending. Re-grep at HEAD 530c76e shows the migration already landed: - src/v3/compiler/src/dag.rs:1789-1791 doc comment names dsl/std/algebra.dag as the semantic authority and demotes v2 stage0 to "drift ratchet". - src/v3/compiler/src/dag.rs:3596-3605 typed accessor reads the lowered data kernel_algebra_profile Map directly. - src/v3/compiler/tests/integration/m2_substrate_inhabitance_test.rs:1239 v3_kernel_algebra_profile_reads_lowered_dag_map_authority ratchets v3 reading the lowered-Dag Map authority (P0 invariant). B.2's remaining R3 PB-lane work is parity-test retirement + Cargo-edge drop, not authority migration. Net dispatch order corrected: §3.2 collapses to a PB-lane-internal mechanical retirement; no Substrate-Manager dispatch needed for B.2 disposition. Pop A gate set unaffected (still §"Post-#1715 reclassification"). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): sweep bare .md:NNN citations in 3 PB-owned R3 briefs Per Director #1739 / `brief-authoring-checklist.md` §"Citation discipline" + PB Mgr dispatch (mirror of Substrate-Mgr sweep at 127287a): replace bare `file.md:NNN` references with section-anchor form across PB-owned `docs/briefs/r3-pb-*.md`. Files swept (3 of 4 with bare citations under `r3-pb-*` glob): - docs/briefs/r3-pb-runtime-equivalence-corpus-seed-audit.md (1) - docs/briefs/r3-pb-t-fixedpoint-worker.md (3) - docs/briefs/r3-pb-tier3-perf-budget-worker.md (4) Conversions: - `r2-evaluator-manager.md:27` → `r2-evaluator-manager.md` §"Owned deliverables (through R2 close)" — "Runtime value model" sub-lane row - `r3-structure.md:59`, `:60` → `r3-structure.md` §"Lane gating summary" - `r2-structure.md:296` → `r2-structure.md` §"R1 closure criteria" (the "`pb_self_compile_fixed_point` two-horizon semantics" paragraph) - `r2-pure-bootstrap-manager.md:24` → `r2-pure-bootstrap-manager.md` §"Owns (post-R1 R2 program work)" — "Tier 3 mirror dissolutions: termination" row (and analogous for :25/:26/:27 → computation / induction / effect-carrier rows) - `r2-pure-bootstrap-manager.md` §"Acceptance" line 101 → `r2-pure-bootstrap-manager.md` §"Acceptance" Verification: `grep -nE '\.md:[0-9]+' <files>` returns zero matches on the three swept briefs. Out of scope: docs/briefs/r3-pb-regen-lens-consumer-audit.md (~14 bare citations into external doc/audit corpus) — deferred to a follow-on sweep so this PR stays small per dispatch shape (≤4 files). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): sweep bare .md:NNN citations in regen-lens consumer audit Follow-on to 23274a5 — completes the PB-owned `r3-pb-*.md` sweep. File: docs/briefs/r3-pb-regen-lens-consumer-audit.md (4 cells across "Documentation surface (authority chain)" and "Handoff points" tables; ~14 individual bare refs collapsed into stable section anchors). Drift fix while sweeping: the row at line 90 cited `r3-structure.md:26, :52, :107` as "T-LensProducer-Retirement sub-gate 3 acceptance"; lines 52 and 107 had drifted off-target ("Lens framework" / `anthropic_wire_*` respectively). Replaced with the canonical anchors that actually carry sub-gate 3 acceptance: §"Summary" item 2, §"Acceptance — `.dag` gates" T-LensProducer-Retirement (`regen_lens_dot_rs_retired` row), and §"Lane structure" T-LensProducer-Retirement row. Verification: `grep -nE '\.md:[0-9]+' docs/briefs/r3-pb-regen-lens-consumer-audit.md` returns zero matches. `.dag:` and `.rs:` line refs (code citations) intentionally untouched per dispatch scope. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): fix two-horizon authority anchor in t-fixedpoint-worker Address BLOCKING review on PR #1831 (briansrls 2026-05-06T09:25Z). The previous sweep at 23274a5 preserved a drifted target: bare `r3-structure.md:59` / `:60` lived in §"Lane gating summary" (the 14-of-18 evaluator-gating roll-up), but the brief was citing them as authority for the `pb_self_compile_fixed_point` two-horizon semantics. That authority actually lives at r3-structure.md:89-90 under §"Acceptance — `.dag` gates" T-FixedPoint entry, "Two-horizon clarification" sub-bullet. Sweep preserved the drift instead of fixing it — same failure class as the r3-structure.md:52/:107 drift caught in 10e0355 on the regen-lens audit. Conversions (3 sites in the brief, all corrected): - §"Two-horizon framing": cite §"Acceptance — `.dag` gates" T-FixedPoint entry ("Two-horizon clarification" sub-bullet) - §"Acceptance gate (`.dag`)" intro: cite §"Acceptance — `.dag` gates" T-FixedPoint entry (`pb_self_compile_fixed_point` row + Two-horizon clarification) - "Two-horizon authority" footer cross-ref: same anchor Verification: `grep -n "Lane gating summary" docs/briefs/r3-pb-t-fixedpoint-worker.md` → 0 matches. `grep -nE '\.md:[0-9]+' docs/briefs/r3-pb-*.md` → 0 matches. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): T-V2-Retirement mechanical inventory refresh @ 2d26ed2 Per PB Mgr dispatch on inbox #1768 (sleek-eagle-514). Refreshes the per-surface inventory from `docs/audit/t-v2-retirement-migration-matrix.md` §2 against current `origin/main` HEAD. Docs-only; no code touched. No `src/v2/` deletion, no Cargo edge removal. Inventory + grep receipts only. Findings (refresh-class only — structural map unchanged): - Population A: 15 → 16 files (new: pb_method_template_projection_ consumability.rs). Same G-2 unit-retirement disposition. - Population B test-file line citations drifted (m2 L991→L1209 etc.); Cargo edge citations drifted (Cargo.toml L32-33 → L37-38). Constructs unchanged. - Population C dag.rs line set drifted (6 → 1 doc-comment at L1793). - 10 additional cosmetic files surfaced (gap-fill vs matrix §2.3). - Root `Cargo.toml` v2 references (L6/L8/L58/L61) inventoried — not previously listed in matrix. - G-1 closure surface count: 4 (unchanged). No new substantive v2_compiler consumer since matrix authoring at 66edec5. Cross-links every Population B/C row to migration-matrix § + S-1 input-packet decision row. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): fix reproducible grep command in T-V2 inventory Address codex APPROVE_WITH_COMMENTS on PR #1848 (sha 6526307): the matrix-cited reproduction command `grep -rEln '...' src/ tests/` emits `grep: tests/: No such file or directory` because this repo has no top-level `tests/` (Rust integration tests live under `src/<crate>/tests/`, recursively covered by `src/`). Replaced with `src/`-only form (same match set, runs cleanly). Added §4 reproducibility note explaining the matrix's `tests/` argument is a no-op on current tree, flagging matrix doc hygiene for separate sweep. Renumbered "Constraints honored" §4 → §5. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): T-V2 inventory follow-up — unified census + C-data split Address codex BLOCKING review on merged PR #1848 (sha 3c32690). Two findings; both valid: (1) Search authority was split across narrower greps. The matrix-cited `\bv2_compiler(_tests)?\b` only matches underscored module paths (v2_compiler / v2_compiler_tests) and misses the hyphenated Cargo dep names (v2-compiler / v2-compiler-tests). Receipts in §1.2 B.2 used a separate Cargo-only grep to compensate, but the cited "search authority" header didn't reflect that. Replaced with a single unified census: grep -rEln 'src/v2/|\bv2[-_]compiler(_tests|-tests)?\b' src/ Cargo.toml dsl/ This catches every surface in one pass. Also surfaced one missed file under the broader pattern: `dsl/gunbc/tools/ci_runner.dag:16` (doc-comment with `cargo run -p v2-compiler` invocation example). (2) `.dag` configuration-data refs were misclassified as Population C cosmetic. `dsl/gunbc/compiler.dag:53` `data compiler_source: SourceRoot = { path: "src/v2" }` is a typed data declaration consumed by the compile pipeline — silently rewriting it during a cosmetic G-2 sweep would either invalidate `compiler_source` or quietly retarget the compile root without an authoring-time decision. Reclassified as a new C-data row (§1.3 C.3) with named G-2 routing to S-1 (input-packet Decision 6 scope coverage) rather than C-cosmetic "sweep at G-2" default. Net G-1 closure surface count: still 4 (unchanged). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): inventory line-completeness + 2nd C-data row (compiler.dag:270) Address codex BLOCKING inline review on PR #1848 at line 10. Reviewer claimed the unified grep `\bv2[-_]compiler(_tests|-tests)?\b` misses three sites; verified directly: regex catches all three. The substantive issue is **inventory line-completeness**, not regex coverage — earlier passes enumerated FILES not all line-hits within files. Fixes: - Population B `p0_std_render_repeat_string_test.rs`: add L25 body-of- test call to `v2_compiler::v2_std_core::diagnostic_to_message` (matrix §3.1 only listed `use`-decls L9-L11; this is a 4th substantive line in the same file). Same Decision 1 disposition. - Population C `pb_method_template_projection_dag_emit_test.rs`: add L24 (was L28/L54). - Population C `SELF_HOSTING.md`: add L1178 (`cargo test -p v2-compiler-tests ci_freshness` doc reference). - Population C-data: add 2nd row, `dsl/gunbc/compiler.dag:270` `data test_package: NonEmptyStr = "v2-compiler-tests"` — typed config naming the Cargo test crate, tied to Cargo edge §B.2 retirement. Same C-data class as compiler.dag:53; routed to S-1. Net G-1 closure surface count: still 4 (unchanged — L25 is in an already-counted Population B file). C-data sub-class: 1 → 2 entries. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): widen regex + renumber §3 + §2 C-data rows + framing Address codex (openai-pro) REQUEST_CHANGES + PB Mgr editorial nits on PR #1850. Codex BLOCKING (real bug): - Unified census `src/v2/|...` requires trailing slash; misses `path: "src/v2"` literal — the very C-data row this audit created. Widen to `src/v2\b|...` (word-boundary, no trailing-slash requirement). Verified: `grep -nE 'src/v2\b' dsl/gunbc/compiler.dag` catches both L29 (path-prefix) and L53 (string-literal). - Added regex evolution log to §"Search authority" so future refreshes trace v1 → v2 → v3 of the canonical command. PB Mgr editorial: - §3 Summary deltas: renumber broken sequence (had two "6." entries and an out-of-order "7."); now clean 1..9. - §Scope: realign opening from `src/ + tests/ + Cargo.toml` to `src/ + Cargo.toml + dsl/` matching §"Search authority". - §2 Cross-reference table: split out explicit C-data rows for `compiler.dag:53` and `:270` (previously folded into a generic "dsl/gunbc/{compiler,...}.dag" cosmetic cell). Both now visible with their S-1 Decision 6 routing and (for :270) tie-back to §B.2 Decision 3 Cargo edge retirement. - §5 "adds one new docs-only file" reworded to acknowledge this is an edit-in-place follow-up to #1848. Net G-1 closure surface count: still 4 (unchanged). Net regex coverage: unified command now catches all 21 line-level hits in one pass (was 19 with trailing-slash form). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): refresh HEAD-verified pin per PB Mgr optional nit PB Mgr review on #1850 suggested adding a one-line note that methodology deltas were validated at merge-base after #1848 (line cites can drift on busy main). Refreshed the HEAD-verified note in the doc header to acknowledge initial-vs-follow-up validation windows + name the spot-checked surfaces. Editorial only; no inventory changes. All four PB Mgr must-fix / should-fix items already in b9958df. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): fix unified-census flag (-rEln → -rEn) for line-level claim Address codex REQUEST_CHANGES on PR #1850 sha f783475: `-l` prints filenames only, contradicting the doc's claim that the unified command produces "line-level enumeration" (§3 Δ7). The matrix cites `-rEln` because matrix is file-level inventory; this doc shifted to line-level but kept the `l` flag. Drop `l` → `-rEn`. Added a one-line note explaining the flag delta vs the matrix-cited form. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): correct compiler.dag:270 routing — G-2 package, not G-1 edge Address codex BLOCKING on PR #1850 (sha 15faffa): the C-data row at `dsl/gunbc/compiler.dag:270` (`test_package = "v2-compiler-tests"`) was incorrectly tied to §B.2 Decision 3 (G-1 dev-dep edge retirement). That conflates two distinct removals: - G-1 / §B.2 Decision 3: deletes the dev-dep edge in `src/v3/compiler/Cargo.toml` — consumer-side dependency removed, but the `v2-compiler-tests` Cargo package itself still exists at workspace root. - G-2 / root workspace removal: deletes `src/v2/tests` workspace member (§1.4 root Cargo.toml L8) — the published package name goes away. The data row points at a *package name*, which remains valid post-G-1 and only becomes stale at G-2. Re-routed to a separate S-1 G-2 decision (CI test package retargeting), explicitly not tied to B.2/Decision 3. Updated both §1.3 C.3 row and §2 cross-ref row to reflect the correction. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): align §2 cross-ref pb_method_template line set with §1.3 cursor optional nit on PR #1850: §2 cross-reference table listed `pb_method_template_projection_dag_emit_test.rs:28,54` while §1.3 C.2 and §3 Δ7 include L24 too. Pure doc hygiene; line set now consistent (L24,28,54). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): align intro line-citation framing with HEAD-verified note cursor optional polish on PR #1850: intro said "Every cell below cites a live grep / file/line on 2d26ed2" while the HEAD verified note acknowledges follow-up validations after #1848. Aligned the two: initial cells pinned to 2d26ed2; follow-up additions validated post-#1848 merge; future refreshes should re-pin HEAD before citing. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): refresh BinShim row-1 packet HEAD pin (9cf6dd2 → 831080d) Per PB Mgr dispatch on inbox #1768 (assignment #1890): re-run §Verified row-#1 receipts against latest origin/main HEAD. Re-verification at HEAD 831080d (2026-05-06): - rg for `regen_lens_main` / `*_main -> ProcessExit` entry: no match (NOT-LIVE unchanged) - ls dsl/std/runtime/bin_shims/: README.md only (framework-only, unchanged) - All cited surfaces still resolve at the previously-pinned line numbers: process.dag :39 (ProcessExit) / :41 (ExitFailure) / :50 (exit_failure helper); bin_shim.dag :19 (BinShim type with entrypoint_name) Verdict unchanged: row-#1 NOT-LIVE; Shape A/B/C disposition is still the head-of-chain blocker. Doc body needed only the HEAD pin refresh + a re-verification note acknowledging the HEAD delta (#1503 PR-E E7, T-Numeric-Construction S9, Q-MachineConstraint #1856, T-V2 inventory #1848/#1850, etc.) without `regen_lens_main` authoring. No Shape pick. No regen_lens_main. No carrier/loader edits. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): T-V2 population audit §Delta (2026-05-06) — no material delta Per PB Mgr dispatch on inbox #1768 (assignment #1919, cycle #1861): re-execute §Delta methodology against current origin/main HEAD 2c7d820 after recent bootstrap/substrate churn (Q-MachineConstraint #1856, T-Numeric S9 #1840, #1807/#1892/#1903 paydown row refreshes, T-V2 inventory #1848/#1850). Verdict: no material delta. All audit findings reproduce; all zero-coverage greps still return zero; B.2 authority-migration markers in dag.rs still present. Line-anchor drift summary (vs prior §Delta @ 530c76e): - induction.dag: meet/join_sub_value -5 lines; int_pow_bounded / ceil_log / ceil_log_iter / master_theorem / derive_bound -3 lines - termination.dag: peano / positive_descent / proportional_divisor +103/+105/+106 lines (file grew substantially; symbols still live) - lib.rs Non-Arrow Callable fail-closed: shifted to :674; new second site at :2338 (same fail-closed semantics, different dispatch path) - lower.rs lower_constructor_invocation: +~89 lines - B.2 m2 oracle/shim block: structurally identical (no further drift) - Cargo edges :37-38: unchanged - dag.rs authority-migration markers: present at :1786-1798 (comment block) and :3587-3606 (typed accessor); semantic content unchanged New §Delta subsection added; freshness pointer at top refreshed to point to 2c7d820. Prior §Delta (530c76e) + B.2 reclassification preserved for audit history. Constraints honored: not S-1 authoring; no src/v2/ edits; no Cargo edge removal; no code migration. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): align §Delta grep flags (-rcE → -rnE) per PB Mgr nit on #1926 Rest of the audit file uses `-rnE` (line-numbered output, call-site- capable per the existing per-row narrative). The new §Delta (2026-05-06) table inadvertently used `-rcE` (count-only). Aligned with the rest of the file; flag now consistent across all 8 grep invocations in §A and §Delta tables. Non-blocking nit only; no semantic change. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
May 7, 2026
… (followup #1926) (#1930) * docs(audit): r3-pb tv2 population coverage — §Delta (2026-05-05) no material delta vs origin/main 530c76e Re-executed live-on-main methodology vs current origin/main per Mgr dispatch (inbox #1742). All audit findings reproduce: Pop A substrate live with zero v3-side test coverage; non-Arrow Callable evaluator arm still parked; Pop B v2 dependencies and Cargo edges still present. Only drift: minor line-number shifts inside still-live declarations (substrate decls +1 line; B.2 oracle +~217 lines as the file grew). Net dispatch order unchanged; single-authority pointer to §Post-#1715 reclassification reaffirmed. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): r3-pb tv2 — line-anchor freshness pointer above §A (Mgr review #1805) Per Mgr non-blocking suggestion on PR #1805: add a single sentence above §A pointing readers to §Delta (2026-05-05+) for the live-offset drift table, so skimmers who land in §A.* don't mis-click on author-time line cites. Reaffirms feedback_section_anchors_over_line_numbers. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): r3-pb tv2 §Delta B.2 reclassification — substrate authority migration already landed (PR #1805 BLOCKING review) Per blocking review on PR #1805 (codex sha:72667918): the §Delta B.2 row incorrectly inferred from the surviving v2 oracle that Substrate authority migration is still pending. Re-grep at HEAD 530c76e shows the migration already landed: - src/v3/compiler/src/dag.rs:1789-1791 doc comment names dsl/std/algebra.dag as the semantic authority and demotes v2 stage0 to "drift ratchet". - src/v3/compiler/src/dag.rs:3596-3605 typed accessor reads the lowered data kernel_algebra_profile Map directly. - src/v3/compiler/tests/integration/m2_substrate_inhabitance_test.rs:1239 v3_kernel_algebra_profile_reads_lowered_dag_map_authority ratchets v3 reading the lowered-Dag Map authority (P0 invariant). B.2's remaining R3 PB-lane work is parity-test retirement + Cargo-edge drop, not authority migration. Net dispatch order corrected: §3.2 collapses to a PB-lane-internal mechanical retirement; no Substrate-Manager dispatch needed for B.2 disposition. Pop A gate set unaffected (still §"Post-#1715 reclassification"). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): sweep bare .md:NNN citations in 3 PB-owned R3 briefs Per Director #1739 / `brief-authoring-checklist.md` §"Citation discipline" + PB Mgr dispatch (mirror of Substrate-Mgr sweep at 127287a): replace bare `file.md:NNN` references with section-anchor form across PB-owned `docs/briefs/r3-pb-*.md`. Files swept (3 of 4 with bare citations under `r3-pb-*` glob): - docs/briefs/r3-pb-runtime-equivalence-corpus-seed-audit.md (1) - docs/briefs/r3-pb-t-fixedpoint-worker.md (3) - docs/briefs/r3-pb-tier3-perf-budget-worker.md (4) Conversions: - `r2-evaluator-manager.md:27` → `r2-evaluator-manager.md` §"Owned deliverables (through R2 close)" — "Runtime value model" sub-lane row - `r3-structure.md:59`, `:60` → `r3-structure.md` §"Lane gating summary" - `r2-structure.md:296` → `r2-structure.md` §"R1 closure criteria" (the "`pb_self_compile_fixed_point` two-horizon semantics" paragraph) - `r2-pure-bootstrap-manager.md:24` → `r2-pure-bootstrap-manager.md` §"Owns (post-R1 R2 program work)" — "Tier 3 mirror dissolutions: termination" row (and analogous for :25/:26/:27 → computation / induction / effect-carrier rows) - `r2-pure-bootstrap-manager.md` §"Acceptance" line 101 → `r2-pure-bootstrap-manager.md` §"Acceptance" Verification: `grep -nE '\.md:[0-9]+' <files>` returns zero matches on the three swept briefs. Out of scope: docs/briefs/r3-pb-regen-lens-consumer-audit.md (~14 bare citations into external doc/audit corpus) — deferred to a follow-on sweep so this PR stays small per dispatch shape (≤4 files). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): sweep bare .md:NNN citations in regen-lens consumer audit Follow-on to 23274a5 — completes the PB-owned `r3-pb-*.md` sweep. File: docs/briefs/r3-pb-regen-lens-consumer-audit.md (4 cells across "Documentation surface (authority chain)" and "Handoff points" tables; ~14 individual bare refs collapsed into stable section anchors). Drift fix while sweeping: the row at line 90 cited `r3-structure.md:26, :52, :107` as "T-LensProducer-Retirement sub-gate 3 acceptance"; lines 52 and 107 had drifted off-target ("Lens framework" / `anthropic_wire_*` respectively). Replaced with the canonical anchors that actually carry sub-gate 3 acceptance: §"Summary" item 2, §"Acceptance — `.dag` gates" T-LensProducer-Retirement (`regen_lens_dot_rs_retired` row), and §"Lane structure" T-LensProducer-Retirement row. Verification: `grep -nE '\.md:[0-9]+' docs/briefs/r3-pb-regen-lens-consumer-audit.md` returns zero matches. `.dag:` and `.rs:` line refs (code citations) intentionally untouched per dispatch scope. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): fix two-horizon authority anchor in t-fixedpoint-worker Address BLOCKING review on PR #1831 (briansrls 2026-05-06T09:25Z). The previous sweep at 23274a5 preserved a drifted target: bare `r3-structure.md:59` / `:60` lived in §"Lane gating summary" (the 14-of-18 evaluator-gating roll-up), but the brief was citing them as authority for the `pb_self_compile_fixed_point` two-horizon semantics. That authority actually lives at r3-structure.md:89-90 under §"Acceptance — `.dag` gates" T-FixedPoint entry, "Two-horizon clarification" sub-bullet. Sweep preserved the drift instead of fixing it — same failure class as the r3-structure.md:52/:107 drift caught in 10e0355 on the regen-lens audit. Conversions (3 sites in the brief, all corrected): - §"Two-horizon framing": cite §"Acceptance — `.dag` gates" T-FixedPoint entry ("Two-horizon clarification" sub-bullet) - §"Acceptance gate (`.dag`)" intro: cite §"Acceptance — `.dag` gates" T-FixedPoint entry (`pb_self_compile_fixed_point` row + Two-horizon clarification) - "Two-horizon authority" footer cross-ref: same anchor Verification: `grep -n "Lane gating summary" docs/briefs/r3-pb-t-fixedpoint-worker.md` → 0 matches. `grep -nE '\.md:[0-9]+' docs/briefs/r3-pb-*.md` → 0 matches. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): T-V2-Retirement mechanical inventory refresh @ 2d26ed2 Per PB Mgr dispatch on inbox #1768 (sleek-eagle-514). Refreshes the per-surface inventory from `docs/audit/t-v2-retirement-migration-matrix.md` §2 against current `origin/main` HEAD. Docs-only; no code touched. No `src/v2/` deletion, no Cargo edge removal. Inventory + grep receipts only. Findings (refresh-class only — structural map unchanged): - Population A: 15 → 16 files (new: pb_method_template_projection_ consumability.rs). Same G-2 unit-retirement disposition. - Population B test-file line citations drifted (m2 L991→L1209 etc.); Cargo edge citations drifted (Cargo.toml L32-33 → L37-38). Constructs unchanged. - Population C dag.rs line set drifted (6 → 1 doc-comment at L1793). - 10 additional cosmetic files surfaced (gap-fill vs matrix §2.3). - Root `Cargo.toml` v2 references (L6/L8/L58/L61) inventoried — not previously listed in matrix. - G-1 closure surface count: 4 (unchanged). No new substantive v2_compiler consumer since matrix authoring at 66edec5. Cross-links every Population B/C row to migration-matrix § + S-1 input-packet decision row. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): fix reproducible grep command in T-V2 inventory Address codex APPROVE_WITH_COMMENTS on PR #1848 (sha 6526307): the matrix-cited reproduction command `grep -rEln '...' src/ tests/` emits `grep: tests/: No such file or directory` because this repo has no top-level `tests/` (Rust integration tests live under `src/<crate>/tests/`, recursively covered by `src/`). Replaced with `src/`-only form (same match set, runs cleanly). Added §4 reproducibility note explaining the matrix's `tests/` argument is a no-op on current tree, flagging matrix doc hygiene for separate sweep. Renumbered "Constraints honored" §4 → §5. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): T-V2 inventory follow-up — unified census + C-data split Address codex BLOCKING review on merged PR #1848 (sha 3c32690). Two findings; both valid: (1) Search authority was split across narrower greps. The matrix-cited `\bv2_compiler(_tests)?\b` only matches underscored module paths (v2_compiler / v2_compiler_tests) and misses the hyphenated Cargo dep names (v2-compiler / v2-compiler-tests). Receipts in §1.2 B.2 used a separate Cargo-only grep to compensate, but the cited "search authority" header didn't reflect that. Replaced with a single unified census: grep -rEln 'src/v2/|\bv2[-_]compiler(_tests|-tests)?\b' src/ Cargo.toml dsl/ This catches every surface in one pass. Also surfaced one missed file under the broader pattern: `dsl/gunbc/tools/ci_runner.dag:16` (doc-comment with `cargo run -p v2-compiler` invocation example). (2) `.dag` configuration-data refs were misclassified as Population C cosmetic. `dsl/gunbc/compiler.dag:53` `data compiler_source: SourceRoot = { path: "src/v2" }` is a typed data declaration consumed by the compile pipeline — silently rewriting it during a cosmetic G-2 sweep would either invalidate `compiler_source` or quietly retarget the compile root without an authoring-time decision. Reclassified as a new C-data row (§1.3 C.3) with named G-2 routing to S-1 (input-packet Decision 6 scope coverage) rather than C-cosmetic "sweep at G-2" default. Net G-1 closure surface count: still 4 (unchanged). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): inventory line-completeness + 2nd C-data row (compiler.dag:270) Address codex BLOCKING inline review on PR #1848 at line 10. Reviewer claimed the unified grep `\bv2[-_]compiler(_tests|-tests)?\b` misses three sites; verified directly: regex catches all three. The substantive issue is **inventory line-completeness**, not regex coverage — earlier passes enumerated FILES not all line-hits within files. Fixes: - Population B `p0_std_render_repeat_string_test.rs`: add L25 body-of- test call to `v2_compiler::v2_std_core::diagnostic_to_message` (matrix §3.1 only listed `use`-decls L9-L11; this is a 4th substantive line in the same file). Same Decision 1 disposition. - Population C `pb_method_template_projection_dag_emit_test.rs`: add L24 (was L28/L54). - Population C `SELF_HOSTING.md`: add L1178 (`cargo test -p v2-compiler-tests ci_freshness` doc reference). - Population C-data: add 2nd row, `dsl/gunbc/compiler.dag:270` `data test_package: NonEmptyStr = "v2-compiler-tests"` — typed config naming the Cargo test crate, tied to Cargo edge §B.2 retirement. Same C-data class as compiler.dag:53; routed to S-1. Net G-1 closure surface count: still 4 (unchanged — L25 is in an already-counted Population B file). C-data sub-class: 1 → 2 entries. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): widen regex + renumber §3 + §2 C-data rows + framing Address codex (openai-pro) REQUEST_CHANGES + PB Mgr editorial nits on PR #1850. Codex BLOCKING (real bug): - Unified census `src/v2/|...` requires trailing slash; misses `path: "src/v2"` literal — the very C-data row this audit created. Widen to `src/v2\b|...` (word-boundary, no trailing-slash requirement). Verified: `grep -nE 'src/v2\b' dsl/gunbc/compiler.dag` catches both L29 (path-prefix) and L53 (string-literal). - Added regex evolution log to §"Search authority" so future refreshes trace v1 → v2 → v3 of the canonical command. PB Mgr editorial: - §3 Summary deltas: renumber broken sequence (had two "6." entries and an out-of-order "7."); now clean 1..9. - §Scope: realign opening from `src/ + tests/ + Cargo.toml` to `src/ + Cargo.toml + dsl/` matching §"Search authority". - §2 Cross-reference table: split out explicit C-data rows for `compiler.dag:53` and `:270` (previously folded into a generic "dsl/gunbc/{compiler,...}.dag" cosmetic cell). Both now visible with their S-1 Decision 6 routing and (for :270) tie-back to §B.2 Decision 3 Cargo edge retirement. - §5 "adds one new docs-only file" reworded to acknowledge this is an edit-in-place follow-up to #1848. Net G-1 closure surface count: still 4 (unchanged). Net regex coverage: unified command now catches all 21 line-level hits in one pass (was 19 with trailing-slash form). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): refresh HEAD-verified pin per PB Mgr optional nit PB Mgr review on #1850 suggested adding a one-line note that methodology deltas were validated at merge-base after #1848 (line cites can drift on busy main). Refreshed the HEAD-verified note in the doc header to acknowledge initial-vs-follow-up validation windows + name the spot-checked surfaces. Editorial only; no inventory changes. All four PB Mgr must-fix / should-fix items already in b9958df. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): fix unified-census flag (-rEln → -rEn) for line-level claim Address codex REQUEST_CHANGES on PR #1850 sha f783475: `-l` prints filenames only, contradicting the doc's claim that the unified command produces "line-level enumeration" (§3 Δ7). The matrix cites `-rEln` because matrix is file-level inventory; this doc shifted to line-level but kept the `l` flag. Drop `l` → `-rEn`. Added a one-line note explaining the flag delta vs the matrix-cited form. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): correct compiler.dag:270 routing — G-2 package, not G-1 edge Address codex BLOCKING on PR #1850 (sha 15faffa): the C-data row at `dsl/gunbc/compiler.dag:270` (`test_package = "v2-compiler-tests"`) was incorrectly tied to §B.2 Decision 3 (G-1 dev-dep edge retirement). That conflates two distinct removals: - G-1 / §B.2 Decision 3: deletes the dev-dep edge in `src/v3/compiler/Cargo.toml` — consumer-side dependency removed, but the `v2-compiler-tests` Cargo package itself still exists at workspace root. - G-2 / root workspace removal: deletes `src/v2/tests` workspace member (§1.4 root Cargo.toml L8) — the published package name goes away. The data row points at a *package name*, which remains valid post-G-1 and only becomes stale at G-2. Re-routed to a separate S-1 G-2 decision (CI test package retargeting), explicitly not tied to B.2/Decision 3. Updated both §1.3 C.3 row and §2 cross-ref row to reflect the correction. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): align §2 cross-ref pb_method_template line set with §1.3 cursor optional nit on PR #1850: §2 cross-reference table listed `pb_method_template_projection_dag_emit_test.rs:28,54` while §1.3 C.2 and §3 Δ7 include L24 too. Pure doc hygiene; line set now consistent (L24,28,54). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): align intro line-citation framing with HEAD-verified note cursor optional polish on PR #1850: intro said "Every cell below cites a live grep / file/line on 2d26ed2" while the HEAD verified note acknowledges follow-up validations after #1848. Aligned the two: initial cells pinned to 2d26ed2; follow-up additions validated post-#1848 merge; future refreshes should re-pin HEAD before citing. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): refresh BinShim row-1 packet HEAD pin (9cf6dd2 → 831080d) Per PB Mgr dispatch on inbox #1768 (assignment #1890): re-run §Verified row-#1 receipts against latest origin/main HEAD. Re-verification at HEAD 831080d (2026-05-06): - rg for `regen_lens_main` / `*_main -> ProcessExit` entry: no match (NOT-LIVE unchanged) - ls dsl/std/runtime/bin_shims/: README.md only (framework-only, unchanged) - All cited surfaces still resolve at the previously-pinned line numbers: process.dag :39 (ProcessExit) / :41 (ExitFailure) / :50 (exit_failure helper); bin_shim.dag :19 (BinShim type with entrypoint_name) Verdict unchanged: row-#1 NOT-LIVE; Shape A/B/C disposition is still the head-of-chain blocker. Doc body needed only the HEAD pin refresh + a re-verification note acknowledging the HEAD delta (#1503 PR-E E7, T-Numeric-Construction S9, Q-MachineConstraint #1856, T-V2 inventory #1848/#1850, etc.) without `regen_lens_main` authoring. No Shape pick. No regen_lens_main. No carrier/loader edits. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): T-V2 population audit §Delta (2026-05-06) — no material delta Per PB Mgr dispatch on inbox #1768 (assignment #1919, cycle #1861): re-execute §Delta methodology against current origin/main HEAD 2c7d820 after recent bootstrap/substrate churn (Q-MachineConstraint #1856, T-Numeric S9 #1840, #1807/#1892/#1903 paydown row refreshes, T-V2 inventory #1848/#1850). Verdict: no material delta. All audit findings reproduce; all zero-coverage greps still return zero; B.2 authority-migration markers in dag.rs still present. Line-anchor drift summary (vs prior §Delta @ 530c76e): - induction.dag: meet/join_sub_value -5 lines; int_pow_bounded / ceil_log / ceil_log_iter / master_theorem / derive_bound -3 lines - termination.dag: peano / positive_descent / proportional_divisor +103/+105/+106 lines (file grew substantially; symbols still live) - lib.rs Non-Arrow Callable fail-closed: shifted to :674; new second site at :2338 (same fail-closed semantics, different dispatch path) - lower.rs lower_constructor_invocation: +~89 lines - B.2 m2 oracle/shim block: structurally identical (no further drift) - Cargo edges :37-38: unchanged - dag.rs authority-migration markers: present at :1786-1798 (comment block) and :3587-3606 (typed accessor); semantic content unchanged New §Delta subsection added; freshness pointer at top refreshed to point to 2c7d820. Prior §Delta (530c76e) + B.2 reclassification preserved for audit history. Constraints honored: not S-1 authoring; no src/v2/ edits; no Cargo edge removal; no code migration. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): align §Delta grep flags (-rcE → -rnE) per PB Mgr nit on #1926 Rest of the audit file uses `-rnE` (line-numbered output, call-site- capable per the existing per-row narrative). The new §Delta (2026-05-06) table inadvertently used `-rcE` (count-only). Aligned with the rest of the file; flag now consistent across all 8 grep invocations in §A and §Delta tables. Non-blocking nit only; no semantic change. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): clarify markdown-table escape note in §Delta grep cells Address codex REQUEST_CHANGES on merged PR #1926 (sha c68800f, openai-pro review 2026-05-07T00:27Z): \`\|\` inside table cells under \`grep -E\` is ambiguous in raw markdown source — \`\|\` is a markdown-table escape that renders as \`|\`, but a reader copying the raw source into a shell would get a literal pipe (no alternation). Verified both parses at HEAD \`2c7d82031\`: - as-written (literal \`\|\`): 0 matches - as-rendered/alternation (\`|\`): 0 matches The audit's "no material delta" verdict holds under either parse. The \`\|\` convention is load-bearing across the file (§Population A row cells at L25/L35/L45/L55, prior §Delta table at L183-186) — so the fix is to add a clarifying note above the §Delta table explaining the markdown-table escape, not to break the existing convention. Followup PR (since #1926 already merged before review arrived). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This was referenced May 7, 2026
Closed
briansrls
added a commit
that referenced
this pull request
May 7, 2026
* docs(debt): DP1 stratum C — refresh CollectionOps ledger row Stratum C of R3 DP1 Q-Drift-Reconcile (issue #1977, brief docs/briefs/r3-dp1-q-drift-reconcile-worker.md). Strata A (declaration_by_name) and B (#1499 fence) already paid via PR #1892; this PR closes the remaining ledger↔ROADMAP drift. Debt receipt: - (1) Debt paid: ledger row "CollectionOps / StringOps / MapOps duplicate operation surfaces" now carries Phase 1 (fold, 2026-05-03), Phase 2 (concat/length/is_empty, PR #1602), and Phase 3 (map, 2026-05-05) receipts, matching ROADMAP §562 + brief docs/briefs/collectionops-algebra-reframe.md. - Open list updated: drops `concat`/`length`/`map`; retains legacy literal fields (contains/empty_list/list_literal/cons) + StringOps / MapOps / PartialFunction + deferred dsl languages.dag work + Go `/* map(...) */` stub dissolution trigger. - Bucket counts: "Partial (fold)" 1 → 0 (special-case bucket retired); "Partially closed" 9 → 10 (CollectionOps row absorbed). Total 75. - Header amended marker added (2026-05-07). Docs-only; no code paths touched. cargo fmt / clippy unchanged. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(debt): unify CollectionOps row status with bucket taxonomy Per openai-pro review on PR #2129: the row status column was using a bespoke 'Partial (fold/concat/length/is_empty/map)' category while the summary bucket uses 'Partially closed'. Single-authority taxonomy fix: status column now reads 'Partially closed'; phase detail moved into the narrative cell ('Landed phases: fold / concat / length / is_empty / map.'). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
May 7, 2026
…p contract, v3 path) (#2159) * docs(debt): DP1 stratum C — refresh CollectionOps ledger row Stratum C of R3 DP1 Q-Drift-Reconcile (issue #1977, brief docs/briefs/r3-dp1-q-drift-reconcile-worker.md). Strata A (declaration_by_name) and B (#1499 fence) already paid via PR #1892; this PR closes the remaining ledger↔ROADMAP drift. Debt receipt: - (1) Debt paid: ledger row "CollectionOps / StringOps / MapOps duplicate operation surfaces" now carries Phase 1 (fold, 2026-05-03), Phase 2 (concat/length/is_empty, PR #1602), and Phase 3 (map, 2026-05-05) receipts, matching ROADMAP §562 + brief docs/briefs/collectionops-algebra-reframe.md. - Open list updated: drops `concat`/`length`/`map`; retains legacy literal fields (contains/empty_list/list_literal/cons) + StringOps / MapOps / PartialFunction + deferred dsl languages.dag work + Go `/* map(...) */` stub dissolution trigger. - Bucket counts: "Partial (fold)" 1 → 0 (special-case bucket retired); "Partially closed" 9 → 10 (CollectionOps row absorbed). Total 75. - Header amended marker added (2026-05-07). Docs-only; no code paths touched. cargo fmt / clippy unchanged. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(debt): unify CollectionOps row status with bucket taxonomy Per openai-pro review on PR #2129: the row status column was using a bespoke 'Partial (fold/concat/length/is_empty/map)' category while the summary bucket uses 'Partially closed'. Single-authority taxonomy fix: status column now reads 'Partially closed'; phase detail moved into the narrative cell ('Landed phases: fold / concat / length / is_empty / map.'). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(briefs): add Phase-3 map receipt to collectionops-algebra-reframe Per BLOCKING review on PR #2129 (codex): the brief lacked a Phase-3 map receipt, while the ledger row marks map landed. Adds Phase-3 receipt section mirroring Phase-2 structure: per-target named carriers (rust/python/go_language_spec_map_contract), carrier-list omission rationale (legacy adapter shape mismatch), Go stub dissolution trigger with rg-based closure check. Updates Status header to list all three landed phases. ROADMAP §562 remains the cross-row authority. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- 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
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.
Summary
DP1 / Q7 drift reconcile — single documentation PR closing plan §533 items for declaration_by_name, #1499 ledger gap, and CollectionOps row alignment.
Debt receipt (R3 standing program)
(1) Debt paid — three tracked reconciliation strands:
declaration_by_name(...)emit pattern — ledger row Open → Retired citing PR snappy-koi-58 #1638 +emit_production_code_has_no_declaration_by_name_calls; matches ROADMAP RETIRED row.#1499transitional fence ledger-row gap — added catalog acknowledgment row for PR feat(v3-runner): W1 DifferentialEquals rust_emit_output vs dag_eval_output (Int slice) #1499 (plan stratum B); closes ledger omission without duplicating ROADMAP predicate rows.Authority:
docs/debt/r3-debt-paydown-ledger-2026-05-02.md+docs/r3-program-plan.mddrift section.Test plan
Session: quiet-otter-416 (inbox #1744); cycle #1862.
Made with Cursor