Skip to content

Add profile.test.package.v1-compiler opt-level=3 to cut debug-build amplification - #5456

Merged
briansrls merged 3 commits into
mainfrom
session/warm-ram-537-opt-level
Jun 21, 2026
Merged

Add profile.test.package.v1-compiler opt-level=3 to cut debug-build amplification#5456
briansrls merged 3 commits into
mainfrom
session/warm-ram-537-opt-level

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 21, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Summary

Add [profile.test.package.v1-compiler] opt-level = 3 to the workspace Cargo.toml.

cargo test inherits the dev profile, which runs v1-compiler at opt-level = 2. The interpreter's fixture evaluation is CPU-bound, so unoptimised builds pay a 30–120s amplification per test. A test-profile package override to opt-level = 3 recovers that time without behaviour change (the existing dev.package.v1-compiler section already disables debug-assertions in stage0-generated code, so there are no hidden debug_assert! firings to worry about).

Proof by execution (§5)

sccache amortization (THE deciding risk):

  • Run 1 (cold, new opt-level key): v1-compiler build = 1m33s
  • Run 2 (warm, sccache cache hit): v1-compiler build = 0.09s ← amortized
  • Cross-run sccache hit confirmed: the optimized artifact caches between runs; subsequent PRs do not re-pay the compile cost.

Per-test improvement:

CI gate wall improvement: rust gate tentpole drops from ~16m to ~13m.

What this unlocks

With pipeline tests at ~0.4s each, full cargo test (run-all-except-#[ignore]d) is feasible per-PR. This is the prerequisite for fierce-hawk-540's #5427 rust gate widening to drop the 3-filter allowlist and achieve full coverage by default.

Notes

Test plan

  • sccache amortization: run-2 build = 0.09s (confirmed cross-run cache hit)
  • Pipeline tests: 377 active, 151s total, ~0.4s/test
  • Rust gate CI run #27897585530: fmt+clippy+test PASS (only inherited failure from main)
  • Cargo.toml change is purely additive (new stanza, no edits to existing stanzas)

@gunbai-bot gunbai-bot Bot changed the title Pop-B build-once fix (§1 floor cost): the ~16 already-#[ignore]'d subprocess/network tests are mostly (a)/(b) defects — ~6 rebuild the SAME stage0 binary per test instead of consuming the floor's prebuilt release bin. FIX: route them through the already-built binary (build-once / consume prebuilt re Add profile.test.package.v1-compiler opt-level=3 to cut debug-build amplification Jun 21, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review June 21, 2026 08:29
@gunbai-bot gunbai-bot Bot mentioned this pull request Jun 21, 2026
Merged
briansrls added a commit that referenced this pull request Jun 21, 2026
@briansrls @claude
ROADMAP refresh: §1 nightly→Pop-B (opt-level won), §2 resolve-cache G…
39fdb53 
…O + P2 de-fork-dependent, §0 census regression + gate-hygiene

Reflects decisions/findings that landed 2026-06-21:
- §1: the "expensive" tests were debug-build amplification, not intrinsic
  seed cost (proud-deer cause-table); opt-level=3 (#5456) restores Pop-A to
  per-PR; nightly lane reduced to Pop-B wet-captures only. Mirror corrected in §0.
- §2: resolve-cache enable = GO (~18% floor-wall, purity-proven, #5429-gated);
  P2 ParseTable dissolution reclassified as a downstream consumer of the dsl→v2
  de-fork (keen-otter: v2-local rewire is cosmetic); #5446 realize kernel green.
- §0: stage0 clone-census ratchet went inert + the seed regressed 1138 over
  budget (rust-side coverage-by-illusion + thesis regression; #5427 surfaced it);
  gate-hygiene rule (floor-enrolled gate must be green-on-main at merge) +
  roster-completeness assertion promoted to should-land (the #5445 floor-skew).
- §1: registry-partition instance fix = #5452 (verified sound).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 21, 2026
@gunbai-bot @briansrls @claude
ROADMAP §0+§6: realization-vocabulary containment guard + emission=in…
222b037 
…gestion⁻¹ past syntax (#5442)

* WIP: dsl -> v2 scoping

* WIP: ROADMAP planning

* WIP: ROADMAP planning

* WIP: ROADMAP planning

* ROADMAP: scannable dependency-ordered checklist; consolidate caching plan (de-fork zesty-deer-479 owner, absorb quick-ant-298 spine)

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

* WIP: ROADMAP planning

* self-host: add bootstrap purity (no stage0 hand-edits / regen-lockstep keystone) + precise v1 cutover

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

* ROADMAP §0 fail-closed lock-down (blocks expansion) + audit doc; §4 website demo

Audit: cache lossy-digest flake (resolved_graph_cache.rs:146, verified), ~inert analytical
lenses (complexity/cost/etc), regen --verify unwired (#5325). Lock-down checklist gates expansion.

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

* ROADMAP: flesh §2 idea->idea compiler (medium/language axes); §0 → lock-down LANE (audits→fixes→meta), name model<->realization fork as suspected root

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

* WIP: ROADMAP planning

* lock-down: add CI-coverage-completeness audit (rust gate runs 3 of 60 v1 suites) + axiom/syllogism lens (DESIGN open thread #1 — lock down the reasoning)

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

* WIP: ROADMAP planning

* roadmap §0/§7 + lockdown: lead with correctness-by-construction, demote lenses to residue

Folds in the operator principle (relayed via quick-ant-298): a lens is validation
— it concedes the bad thing is writable. Root-cause to make it unwritable (single
authority / realization derived from model); reserve lenses for the genuinely-
unstructurable (complexity/necessity). #5423's spec-only key lens shipped a
false-green as the live proof.

- ROADMAP §0: add the principle; split Fixes into tier-1 construction (dissolve
  model↔realization fork; cache-key derived-from-declared-inputs; self-host purity
  by construction) and tier-2 lens (complexity/cost; cache-redundancy; purity
  oracle; promote-inert). Meta-invariant → construction-justification rule.
- ROADMAP §7: P1 cache-key reframed from 'realizer-key lens' to key derived from
  declared inputs_considered (construction).
- fail-closed-lockdown.md: construction principle in the thesis; §4 checklist
  re-ordered construction-first / lens-residue; meta = construction-justification.

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

* roadmap §0: add Disposition carrier + 'confront skipped modeling decisions'

Captures the lens/coproduct disposition decision (operator). One typed carrier
(Terminal{reason} | Scaffold{dissolves_to}) for BOTH lens-lifecycle tags AND
coproduct dissolve-markers — today freeform 🟡 comments, unreadable by lens since
comments aren't Nodes.

Decision: middle path (construction-capable carrier + selectively-enforcing lens
that ratchets coverage) now, #1 (substrate can't-define-untagged) as the named
end-state. The lens is itself a Scaffold{dissolves_to: substrate-mandatory-tag} —
self-dissolving when coverage = whole tree. Rejected jumping to #1 on sequencing
(load-bearing §4 substrate change → escalate; flag-day migration; derived
coproducts need disposition derived not authored), not on principle.

Enforceability split: presence = construction (non-optional field, no meta-lens);
redundancy (scaffold + successor both present) = hard gate; Terminal-vs-Scaffold
correctness = retro/judgment (synthesis-feasibility limit).

- docs/plans/disposition-carrier.md (new)
- ROADMAP §0 tier-1 + meta 'confront skipped decisions' standing practice

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

* WIP: ROADMAP planning

* DESIGN §5/§6: promote construction-over-validation; roadmap: scope-partition §0, testgen §1, shelve dashboard

Addresses the review's four flags + sequencing nuance.

- DESIGN.md §5: 'correctness by construction, not validation' is now an axiom
  (a check re-stating a model constraint is a 2nd representation §2/§3; prefer
  realization derived from a single authority; reserve checks for the unstructurable
  residue). §6 'enforce with lenses' reconciled: construction first, lens = residue
  mechanism, AND the executable inert-lens backstop is NOT superseded by the
  authoring-time construction-justification judgment. (flag 4 home + flag 3)
- ROADMAP §0 partitioned: In-scope this window (numeric-tower grounding; cache
  trustworthy + warm==cold oracle shipped NOW as detective; widen rust gate;
  promote inert lenses) vs Fenced-OUT fan-out (Value::Null 131-site split;
  self-host purity gate; cross-tree import activation; Disposition carrier).
  Honest framing: window reduces fail-open surface, does NOT 'lock' the class —
  Null split stays open. (flags 1, 2, sequencing nuance)
- ROADMAP §0 meta: restored executable inert-lens hygiene backstop, construction-
  justification layered on top (not 'supersedes'). (flag 3)
- De-dup: principle no longer restated in ROADMAP/lockdown §0; both point to
  DESIGN §5. cache-key construction homed in §7, §0 references it. (flag 4)
- ROADMAP §1 = testgen as bug-class oracle (+ affected-set completeness half +
  parked anemia lens); dashboard shelved to §8.
- docs/plans/testgen-oracle.md (new), fail-closed-lockdown.md realigned.

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

* WIP: ROADMAP planning

* DESIGN §5/§6/§7: wall-vs-ratchet decidability, displaced-pain denominator, open language design

Folds in the operator's product thesis + the two bounds that keep it honest.

- §5: construction makes a class unwritable only when membership is DECIDABLE —
  trichotomy (wall now / wall after grounding / ratchet forever); 'never' is the
  trap (lets an undecidable ratchet masquerade as a wall — optimality by Rice).
- §6: denominate the benefit — the deliverable is a displaced cost (§1 time / a
  paid-for pain), the lens/substrate is the moat not the product; priced in
  elegance the work is unbounded (the economic twin of 'never').
- §7: the recursion's payoff — language design itself opens up. It's locked by
  cost (a check = a compiler fork; a language = an adoption problem); both
  dissolve here (a wall is a row §2, applied over a medium-agnostic substrate §4),
  so (compiler-fork × language) → (row + medium). Sound where ingest is Lossless,
  fail-closed where not (DecodeFidelity §4).

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

* WIP: ROADMAP planning

* ROADMAP: fix doc-graph violations from bright-eagle-46 review of #5424

Apply the apex axiom/syllogism lens (single authority / no orphan / no
cycle) to the roadmap itself — manual acyclicity pass:

- orphan: testgen-oracle.md backlinked §1 → repoint §4 (its own lane)
- single authority: §0 cache-key now a pure pointer (= §2 F2/F3/P1);
  §0 numeric-tower marked the authoritative home (§5 de-fork / fork plan
  point here, no second checkbox)
- §0↔§5 cycle: self-host purity reframed as a §5 deliverable §0's
  expansion-gate depends on (edge §5 → §0-gate → products), not §0-owned
- undeclared edge: §7 react/html declares its dependency on §6 media
- backlink sweep: the reorg had broken every numeric backlink across 7
  plan docs; re-point all and anchor each to the stable section TITLE so
  a future renumber can't silently break them again

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

* ROADMAP §3 + plan: algorithmic-cost reduction by construction (rewrite, not budget)

Reframe §3 from per-fn complexity budgets to the actual intent: rewrite
common suboptimal patterns (O(n²)→O(n), O(2ⁿ)→O(n), O(n)→O(log n)) to the
cheaper equivalent — construction on the cost axis, not a warning.

New plan doc docs/plans/algebraic-rewrite-optimization.md captures the
up-front design: the decidability split (modeled EffectShape makes the
preconditions structural; equivalence stays undecidable so no optimality
oracle), rewrite-rule-as-row + once-proven soundness, the common-case
catalog tiered by precondition, D1 canonical-form-is-truth / D2 two seed
rules / D4 constant-factor deferred, the four-witness DONE bar (incl. the
non-firing control half-done versions skip), and a corpus hit-rate
acceptance gate. complexity.dag is the cost oracle; synthesis.dag stays
the advisory undecidable residue.

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

* ROADMAP §2: Phase-0 measurement instrument done (#5431 peak-RSS) — remaining is the Phase-1 consumer

Per quick-ant-298: the measurement keystone was nearly complete — model
side already floor-enrolled, step timing already emitted; the only gap was
peak-RSS, closed by #5431. P4's Phase-0 dependency is satisfied; remaining
is the Phase-1 measured->plan feedback + width-fold (also unblocks §1-C).

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

* plan/§3: detection-vs-enforcement containment (E⊆D′⊆D) + explicit seed-rule I/O up front

Grounded in cost.dag U2 + complexity.dag (investigated, not theorized):
- detection is TOTAL by construction (kernel-level cost fold; arbitrary fns
  detectable); boundary is precision (ClassUnknown), not coverage
- enforced rewrites are a strict subset structurally guaranteed by the
  class-drop witness: E ⊆ D′(precise) ⊆ D(all)
- n√n excluded for a MODEL reason (PolynomialDegree is integer-only, n^1.5
  unrepresentable); ternary search excluded (log base is not a class)
- today's small gate roster = subject-production limit (fn-body reflection),
  NOT a detection limit
- new §3a fully specifies the two seed rules up front: input→output→
  precondition→non-firing control→discriminating equivalence input, so the
  worker builds to spec and the project can actually finish

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

* ROADMAP §0/§1: rust-gate is cadence-decoupling, not run-all (per fierce-hawk #5427)

The 3-filter allowlist was COST selection, not arbitrary gatekeeping — the
v1 SEED compiler costs ~tens of CPU-sec per trivial test, so run-all-per-PR
is CPU-hours (off the table). True shape: per-PR cost-bounded subset +
measured #[ignore="expensive: Ns"] + completeness lens (#5427); nightly
--ignored lane as the destination for expensive + the 58 currently-ignored
tests (owned by §1/quick-ant, after #5431, escalate for load-bearing
CI-gen). Completeness = every test runs on >=1 cadence (fail-closed).

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

* plan §2a: generalize by structural-redundancy keying (O(n^x)->O(n^(x-1)) free); flag n-log-n as substitution

Per operator: catalog must generalize polynomial-degree reduction without
edge cases. Resolution: rules key on the structural redundancy, never on
degree — degree is not evidence of redundancy (would fire on genuine O(n^x)).
A structurally-keyed nested-membership->set peels one level wherever it
matches; fold-to-fixpoint gives O(n^3)->O(n^2)->O(n). Cost model supports
arbitrary integer degree, so witness (b) holds at every peel.

Flagged OPEN (operator input invited): O(n^x)->O(n log n) is algorithmic
SUBSTITUTION (different algorithms, same I/O) not redundancy elimination —
verges on undecidable equivalence; tractable form is per-idiom rules
(sort-based dedup, repeated-min->heap), not a parameterized rule. Seed Rule 1
now authored structurally + carries a depth-2 generalization witness.

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

* plan §1b: Unknown is an anemic atom — dissolve over time (reuse Disposition), never a false pass

Per operator: classifying Unknown isn't a fixed up-front split — it's the
standing anemic-leaf dissolution practice (DESIGN §2 decompress->map->reduce)
applied to the cost lens. UnknownCost{diagnostic} already carries its reason;
the anemia is the free-form reason. Each decomposition resolves an Unknown to
construction (now-precise class -> new D′) or a grounded Terminal (genuinely
undecidable, positively recognized -> advisory comment). DFS-first: this IS
the Disposition carrier (resolves to construction-or-justified-Terminal), so
reuse it, don't fork an unknown-reason enum. Supersedes the static
Undecidable|Undetermined split. Two invariants fixed up front: never a false
pass (Unknown=>Violates, already holds); every Unknown on the dissolution
frontier. cost.dag enrichment + un-parking Disposition are operator-gated.

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

* ROADMAP: §3 reverts to budget-gate validation (stability); rewrite-engine relocated to §5 (post-stability)

Operator decision 2026-06-21: budget-gate validation is fine for the
stability window; the algorithmic-cost REWRITE construction design is
expansion, homed with self-hosting (§5) — IR-rewrite/canonicalization is
most natural once .dag is the self-hosted truth.

- §3 = complexity budget gate (validation): cost-lens symbolic_max fix
  (#5437) + per-fn subject + budget-gates-whole-codebase (gated on fn-body
  reflection) + synthesis advisory. #5437 foundation stays in-window.
- §5 gains an 'adjacent expansion lane' = the rewrite engine, pointing at
  the preserved plan doc; marked post-stability.
- plan doc status -> POST-STABILITY EXPANSION, relocated to §5.

Nothing deleted — the rewrite design is preserved, just fenced out of the
stability window (same as Disposition / Value::Null-split).

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

* WIP: ROADMAP planning

* #5442 review fix (warm-lark-306): grep-as-authority for the sidecar roster (10 not 9)

The §0-guard impl PR (#5445) grepped current main and found 10 importers of
extdeps.languages.bash.program, not 9 — the 10th (dsl/gunbc/ci_spec.dag) landed via #5432 after
the original pre-merge grep. Rather than bump the frozen count, make the live grep the authority
(the roster shrinks to 0 as the bash-sidecar arc migrates consumers, so any frozen number rots —
the single-authority point). Also note the two *_test importers are intentionally not walled
(guard scans consumer-source roots only).

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

* ROADMAP: check off 6 merged items (catch-up sweep)

Flip [ ]→[x] for unambiguously-merged work (PR-ref'd for traceability):
- §0 numeric-tower grounding (#5428 — == straddle guard dead-in-corpus)
- §0 inert-lens hygiene executable backstop (#5433)
- §2 F2/F3 resolved_graph key derived from inputs_considered (#5425)
- §3 cost-lens symbolic_max zero-absorption fix (#5437)
- §4 gate existing generated testgen output (#5434)
- §4 affected-set completeness (#5430)

Partial/compound items left for their lane managers to flip in the PR that completes them.

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

* ROADMAP §1: add compile-clean-gate force-checks-every-fn-body box (2(ii) fail-open)

New floor-coverage item: the compile-clean gate is fail-open — unreached fn bodies escape
typecheck, so undefined symbols in dead code pass green (execution-proven on utf8_decode_bytes).
Construction fix = typecheck total over every declared body. Owned by §1 (quick-ant); measure-first,
operator-gated enforce-flip.

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

* ROADMAP §0: correct the 2(ii) box — registry-leak mechanism, not unreached-bodies

snappy-gull's deeper diagnosis: the fail-open is NOT unreached bodies (bodies ARE visited).
utf8_decode_bytes resolves because it's a global builtin_function_registry entry (04_method.dag,
a marked bridge scaffold) not scoped to the compiled tree. Reframe the box to tree-scoped builtin
availability / registry partition; instance fix = real std fn + remove the registry bridge entry.

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

* WIP: ROADMAP planning

* plan doc: enforcement roster is a FROZEN grandfather set, not derived (warm-lark correction)

Deriving the realization-vocab exception roster from a live grep would make the guard vacuous
(leak = non-edge importer AND NOT-in-roster; derived roster ⇒ every importer always in it ⇒
leak_count always 0 ⇒ never fires). Distinguish the informational prose count (rots, re-grep)
from the lens's enforcement roster (frozen, so a new unrostered importer goes RED = the teeth).
Add the 11th importer (extdeps_external_authority_transport, the #5418→#5445 race, fixed by #5453)
and the roster-completeness assertion as the steady-state race-hardening.

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

* WIP: ROADMAP planning

* ROADMAP refresh: §1 nightly→Pop-B (opt-level won), §2 resolve-cache GO + P2 de-fork-dependent, §0 census regression + gate-hygiene

Reflects decisions/findings that landed 2026-06-21:
- §1: the "expensive" tests were debug-build amplification, not intrinsic
  seed cost (proud-deer cause-table); opt-level=3 (#5456) restores Pop-A to
  per-PR; nightly lane reduced to Pop-B wet-captures only. Mirror corrected in §0.
- §2: resolve-cache enable = GO (~18% floor-wall, purity-proven, #5429-gated);
  P2 ParseTable dissolution reclassified as a downstream consumer of the dsl→v2
  de-fork (keen-otter: v2-local rewire is cosmetic); #5446 realize kernel green.
- §0: stage0 clone-census ratchet went inert + the seed regressed 1138 over
  budget (rust-side coverage-by-illusion + thesis regression; #5427 surfaced it);
  gate-hygiene rule (floor-enrolled gate must be green-on-main at merge) +
  roster-completeness assertion promoted to should-land (the #5445 floor-skew).
- §1: registry-partition instance fix = #5452 (verified sound).

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

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@briansrls
briansrls merged commit a2301d3 into main Jun 21, 2026
1 check passed
@briansrls
briansrls deleted the session/warm-ram-537-opt-level branch June 21, 2026 13:40
This was referenced Jun 21, 2026
Closed
Merged
briansrls added a commit that referenced this pull request Jun 21, 2026
@briansrls @claude
ROADMAP §1: opt-level #5456 MERGED → flip Pop-A restore done (squash …
e0d78f8 
…title mislabeled Pop-B; content verified on main)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 21, 2026
@briansrls
Merge origin/main (newest: #5448/#5458/#5456) into ROADMAP batch branch
f9fed14
@gunbai-bot gunbai-bot Bot mentioned this pull request Jun 21, 2026
Merged
briansrls added a commit that referenced this pull request Jun 21, 2026
@gunbai-bot @briansrls @claude
ROADMAP §1: opt-level #5456 flip + nightly selection-vs-scheduling re…
9aa9481 
…frame (#5463)

* ROADMAP §1: opt-level #5456 MERGED → flip Pop-A restore done (squash title mislabeled Pop-B; content verified on main)

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

* WIP: ROADMAP planning

* ROADMAP §1 nightly reframe: selection (§4 affected-set) vs scheduling (§1 cost) two-axes

- parent: name the seam, cost informs scheduling never selection
- per-PR = sound baseline (#5427 run-all) shrunk to affected set (v2.lens.affected_set)
- nightly = full-corpus selector-backstop + non-hermetic residue, NOT a slow-test dump
- +docs/plans/ci-selection-vs-scheduling.md (framing; warm-lark-306 analysis, quick-ant §1-lead)

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

* WIP: ROADMAP planning

* WIP: ROADMAP planning

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 21, 2026
@briansrls @claude
roadmap_status soundness: key drift on completes-iff binding, not men…
333fde9 
…tion

A blanket 'cited-PR-merged + box [ ] ⇒ drift' rule false-positives on partial-evidence
lines (ROADMAP §0 rust-gate cites merged #5456, correctly [ ]) — a fail-closed-but-wrong
gate (§5). Model now splits CompletesIff (derivable + gated) from HandChecked (honest
un-derivable residue, never gated). Added the decisive non-tautology witness: a HandChecked
line citing a merged PR while [ ] evaluates GREEN (RED under the blanket rule). Tightened the
ROADMAP sub-line + recorded the boundary in plan §5.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@gunbai-bot gunbai-bot Bot mentioned this pull request Jun 21, 2026
Merged
briansrls added a commit that referenced this pull request Jun 21, 2026
@gunbai-bot @briansrls @claude
Invert hand-maintained docs - generate ROADMAP from .dag authority pl…
b45cc65 
…us drift-gate, starting with the PR-to-checkbox status slice (#5491)

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status: discriminating witness for PR→checkbox status projection

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status slice-1: PR→checkbox status derivation + drift detector + witness

Re-homed the consolidated, witness-verified slice-1 (orig bold-bee-822 #5489) onto the
surviving session branch. Checkbox is DERIVED from PR merge-state (extdeps.github.pulls
merged_at, the §3 authority); status_drifted = committed box ≠ derived. Discriminating
witness green by execution. Host-fed gate edge + emit are follow-on slices.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status soundness: key drift on completes-iff binding, not mention

A blanket 'cited-PR-merged + box [ ] ⇒ drift' rule false-positives on partial-evidence
lines (ROADMAP §0 rust-gate cites merged #5456, correctly [ ]) — a fail-closed-but-wrong
gate (§5). Model now splits CompletesIff (derivable + gated) from HandChecked (honest
un-derivable residue, never gated). Added the decisive non-tautology witness: a HandChecked
line citing a merged PR while [ ] evaluates GREEN (RED under the blanket rule). Tightened the
ROADMAP sub-line + recorded the boundary in plan §5.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status: drop hand-rolled checkbox_eq for structural ==

Addresses the non-blocking review note (claude-opus-4-7): CheckboxState is a fieldless sum
with working structural ==/!= (as code_change_workflow.dag already uses), so the hand-rolled
equality was needless §2 redundancy. Witness still green by execution.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* plan §6: record CompletesIff as the seed/first-row of slice-2's work-DAG authority model

Per parent (warm-lark-306): the slice-1 completes-iff binding IS the first row of the work-DAG
authority model; slice-2 (emit(work_model, Markdown)) widens it rather than re-coining a parallel
completion edge (§3).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 21, 2026
@gunbai-bot @briansrls @claude
roadmap_model (slice-2 step 1): work-DAG authority model for a ROADMA…
72a2b35 
…P line (#5498)

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status: discriminating witness for PR→checkbox status projection

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status slice-1: PR→checkbox status derivation + drift detector + witness

Re-homed the consolidated, witness-verified slice-1 (orig bold-bee-822 #5489) onto the
surviving session branch. Checkbox is DERIVED from PR merge-state (extdeps.github.pulls
merged_at, the §3 authority); status_drifted = committed box ≠ derived. Discriminating
witness green by execution. Host-fed gate edge + emit are follow-on slices.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status soundness: key drift on completes-iff binding, not mention

A blanket 'cited-PR-merged + box [ ] ⇒ drift' rule false-positives on partial-evidence
lines (ROADMAP §0 rust-gate cites merged #5456, correctly [ ]) — a fail-closed-but-wrong
gate (§5). Model now splits CompletesIff (derivable + gated) from HandChecked (honest
un-derivable residue, never gated). Added the decisive non-tautology witness: a HandChecked
line citing a merged PR while [ ] evaluates GREEN (RED under the blanket rule). Tightened the
ROADMAP sub-line + recorded the boundary in plan §5.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status: drop hand-rolled checkbox_eq for structural ==

Addresses the non-blocking review note (claude-opus-4-7): CheckboxState is a fieldless sum
with working structural ==/!= (as code_change_workflow.dag already uses), so the hand-rolled
equality was needless §2 redundancy. Witness still green by execution.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* plan §6: record CompletesIff as the seed/first-row of slice-2's work-DAG authority model

Per parent (warm-lark-306): the slice-1 completes-iff binding IS the first row of the work-DAG
authority model; slice-2 (emit(work_model, Markdown)) widens it rather than re-coining a parallel
completion edge (§3).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_model (slice-2 step 1): work-DAG authority model for a ROADMAP line

A roadmap line = RoadmapNode { node: ProcessNodeId, line: RoadmapStatusEntry, carrier },
composing existing authorities (no re-coin, §2/§3): identity+deps from ctrl.process_algebra
decomposition (RoadmapParent = TopLevel|UnderParent), status from slice-1 RoadmapStatusEntry,
title+plan-doc carrier as host-fed presentation. Dangling-link wall via carrier_resolves.
Discriminating witness green by execution; perturbation-proven on the carrier wall + parent lookup.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 22, 2026
@gunbai-bot @briansrls @claude
ROADMAP slice-2 step-2: emit a section from the work-DAG model + §2 d…
37a127f 
…elete redundant box enum (#5508)

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status: discriminating witness for PR→checkbox status projection

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status slice-1: PR→checkbox status derivation + drift detector + witness

Re-homed the consolidated, witness-verified slice-1 (orig bold-bee-822 #5489) onto the
surviving session branch. Checkbox is DERIVED from PR merge-state (extdeps.github.pulls
merged_at, the §3 authority); status_drifted = committed box ≠ derived. Discriminating
witness green by execution. Host-fed gate edge + emit are follow-on slices.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status soundness: key drift on completes-iff binding, not mention

A blanket 'cited-PR-merged + box [ ] ⇒ drift' rule false-positives on partial-evidence
lines (ROADMAP §0 rust-gate cites merged #5456, correctly [ ]) — a fail-closed-but-wrong
gate (§5). Model now splits CompletesIff (derivable + gated) from HandChecked (honest
un-derivable residue, never gated). Added the decisive non-tautology witness: a HandChecked
line citing a merged PR while [ ] evaluates GREEN (RED under the blanket rule). Tightened the
ROADMAP sub-line + recorded the boundary in plan §5.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status: drop hand-rolled checkbox_eq for structural ==

Addresses the non-blocking review note (claude-opus-4-7): CheckboxState is a fieldless sum
with working structural ==/!= (as code_change_workflow.dag already uses), so the hand-rolled
equality was needless §2 redundancy. Witness still green by execution.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* plan §6: record CompletesIff as the seed/first-row of slice-2's work-DAG authority model

Per parent (warm-lark-306): the slice-1 completes-iff binding IS the first row of the work-DAG
authority model; slice-2 (emit(work_model, Markdown)) widens it rather than re-coining a parallel
completion edge (§3).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_model (slice-2 step 1): work-DAG authority model for a ROADMAP line

A roadmap line = RoadmapNode { node: ProcessNodeId, line: RoadmapStatusEntry, carrier },
composing existing authorities (no re-coin, §2/§3): identity+deps from ctrl.process_algebra
decomposition (RoadmapParent = TopLevel|UnderParent), status from slice-1 RoadmapStatusEntry,
title+plan-doc carrier as host-fed presentation. Dangling-link wall via carrier_resolves.
Discriminating witness green by execution; perturbation-proven on the carrier wall + parent lookup.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 22, 2026
@gunbai-bot @briansrls @claude
ROADMAP slice-2 step-3a: whole-document projection + pure golden witn…
b44684a 
…ess (#5520)

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status: discriminating witness for PR→checkbox status projection

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status slice-1: PR→checkbox status derivation + drift detector + witness

Re-homed the consolidated, witness-verified slice-1 (orig bold-bee-822 #5489) onto the
surviving session branch. Checkbox is DERIVED from PR merge-state (extdeps.github.pulls
merged_at, the §3 authority); status_drifted = committed box ≠ derived. Discriminating
witness green by execution. Host-fed gate edge + emit are follow-on slices.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_status soundness: key drift on completes-iff binding, not mention

A blanket 'cited-PR-merged + box [ ] ⇒ drift' rule false-positives on partial-evidence
lines (ROADMAP §0 rust-gate cites merged #5456, correctly [ ]) — a fail-closed-but-wrong
gate (§5). Model now splits CompletesIff (derivable + gated) from HandChecked (honest
un-derivable residue, never gated). Added the decisive non-tautology witness: a HandChecked
line citing a merged PR while [ ] evaluates GREEN (RED under the blanket rule). Tightened the
ROADMAP sub-line + recorded the boundary in plan §5.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* roadmap_status: drop hand-rolled checkbox_eq for structural ==

Addresses the non-blocking review note (claude-opus-4-7): CheckboxState is a fieldless sum
with working structural ==/!= (as code_change_workflow.dag already uses), so the hand-rolled
equality was needless §2 redundancy. Witness still green by execution.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* plan §6: record CompletesIff as the seed/first-row of slice-2's work-DAG authority model

Per parent (warm-lark-306): the slice-1 completes-iff binding IS the first row of the work-DAG
authority model; slice-2 (emit(work_model, Markdown)) widens it rather than re-coining a parallel
completion edge (§3).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* roadmap_model (slice-2 step 1): work-DAG authority model for a ROADMAP line

A roadmap line = RoadmapNode { node: ProcessNodeId, line: RoadmapStatusEntry, carrier },
composing existing authorities (no re-coin, §2/§3): identity+deps from ctrl.process_algebra
decomposition (RoadmapParent = TopLevel|UnderParent), status from slice-1 RoadmapStatusEntry,
title+plan-doc carrier as host-fed presentation. Dangling-link wall via carrier_resolves.
Discriminating witness green by execution; perturbation-proven on the carrier wall + parent lookup.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Invert hand-maintained docs - generate ROADMAP from .dag authority plus

* ROADMAP slice-2 step-3a: whole-document projection + pure golden witness

project_roadmap_to_markdown(RoadmapDocument) -> MarkdownDocument widens the per-section
projection (step-2) to the whole ROADMAP: preamble + sections, each delegating to the
existing project_roadmap_section (no re-coin). RoadmapSection minted (sections are a
separate presentation axis, not a single work-node+subtree); RoadmapDocument earns its keep
via the preamble. Pure projection witness is byte-exact golden (the ci.yml expected_ci_yml
shape, markdown medium) + drift receipt (box derived from the merged set, not baked).

The effectful RoadmapGate + full real-ROADMAP authority (with prose fenced as opaque
authored Strings) land as the next slice.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@briansrls