Repository navigation
roadmap(authority): fold dispatch-plan gaps into the single authority (ingestion + TS self-host + inline-shell nodes; §0 dispatch-discipline line) - #5569
Merged
Conversation
gunbai-bot
Bot
changed the title
…ection Fixes roadmap_authority_witnesses RED: witness_b_ordered_interleaving asserts the §0 milestones prose is immediately followed by **Audits (done):**; the dispatch-discipline prose inserted between them broke that adjacency. Moved it to the end of §0 (after the Meta group) — witness-safe, reads as a closing meta-note. Verified by execution: roadmap_authority_witnesses() = true and run_roadmap_gate_body = ExitSuccess (drift green). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Folds the three grounding notes for the 1-budget-tree node (handed up from quick-ant-298 after the #5582 carrier review), homed in a plan doc because the ctrl#1793 comment wall keeps rationale out of the .dag carrier: - Measure-generalization fence (now code-real via std.measure measure_le/add) - QoS class §3 citation (k8s QoS <- cgroup-v2 memory.{min,low,max}) - actuator-dependency: the model DECIDES budgets, an enforcement actuator (admission cap / cgroup memory.max) PREVENTS the OOM — the §5 honesty boundary, also surfaced inline in the node as a terse caveat. docs/plans/budget-tree.md reachable from ROADMAP.md via the node's grounding pointer. roadmap_authority_witnesses() verified true by execution post-regen. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…model #5582 reworked substantially (operator directive + opus-4-7 round 2): grounded in real accounting (extdeps.accounting.budget, anchored, zero-based, generic over Measure<Q,S>), genuinely recursive, and the §5 framing corrected. Fixes a §5 mislabeling this node carried: a Bool conservation check (node_conserves) was wrongly called a "compile-time wall, unwritable by construction." A Bool check is validation, not construction. The corrected three-way (never conflated): admission (admit_all, zero-based) is the CONSTRUCTION path (over-commit unwritable on it); node_conserves is the honest RESIDUE LENS for raw literals; reconcile is the runtime fail-closed HANDLER. Also folds the convergence survey (realization_width + complexity EffortBudget are the same capped-resource->claims concept, §3 convergence candidates) and moves the QoS citation to the extdeps-anchor pattern. Grounding doc rewritten to match. roadmap_authority_witnesses() verified true by execution post-regen. Co-Authored-By: Claude Opus 4.8 <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.
Lane-2 wave-transition: re-home the gaps neat-dove's #5561 review surfaced into
gunbc.roadmap_authority.dag(the single authority ROADMAP.md projects from), so nothing lives only in the now-closed dispatch doc — the anti-stale-ledger principle turned on the authority itself.What
Three anchored gap NODES (not work-items — tracked, sequenced behind the stability band; a work-item would auto-spawn a worker):
6-ingestion-first-class→ DESIGN §4 (one grammar both directions) + fail-closedDecodeFidelity+ emit = ingest⁻¹ over oneGrammarRelation.5-ts-selfhost→ DESIGN §7 (medium-agnostic proof at full scale); distinct from the5-ts-first-classemit seed; edge → gated on5-real-fixpoint(the Rust fixed point).1-inline-shell-defork→ DESIGN §3 transport-fusion de-fork (RunStepcarries modeled effects, notString); sequence after Widen the rust gate by construction (§1): invert the hand-picked 3-filter allowlist (29 of 792 green tests) → run-all-unless-#[ignore]d-with-written-reason; add CI-coverage-completeness so a new test is covered by default (fail-closed); measure CI-time impact before committing the full set #5427/CI compile-jobs from the model (slice A): derive cargo build parallelism, fail-closed serial, live nextest-gate consumer #5546.Plus a §0 dispatch-discipline line: a CI lever earns a lane only after re-measurement against CURRENT main (purity-trap guard, e.g. the ruled-out rust-test sharding); derive the lane/parked list from the authority, never hand-type it.
Already-tracked (NOT re-added, to avoid §2 re-invention): Value::Null (
0-value-null), axiom+syllogism lens (0-axiom-lens, confirmed survived #5535), edge-(b) (1-g5-rust-selection), concurrency-key dup (1-g4-dispatch), dormant resolve-cache (1-caching-forked/2-p3).Verify by execution
main_wetregenerated ROADMAP.md from the authority (resolves 34 sources clean → the .dag parses).run_roadmap_gate→ ExitSuccess (committed ROADMAP.md == projection; drift red-receipt holds).🤖 Generated with Claude Code