Repository navigation
ROADMAP inversion slice-3b: fold CompletionBinding into RoadmapItem closed-sum (DerivableLine|AuthoredLine) - #5529
Merged
Conversation
…leLine|AuthoredLine)
Subsume the slice-1 CompletionBinding (CompletesIff|HandChecked) one layer down into a
single RoadmapItem line authority that carries per-arm content (§3 no fork): a DerivableLine
{prs,title,description} derives its box + emits its title; an AuthoredLine {done,content} is
opaque prose emitted verbatim (the §5 DecodeFidelity fence). The mention-can't-derive
soundness is now STRUCTURAL — a mention is AuthoredLine content with no prs, so the bad
"mention => derived box" state is unwritable, not runtime-rejected (§5 construction).
status_drift reparameterizes claimed_done (a stored box) -> committed_box argument (the box
is host-fed at drift time, not copied into the authority). Ripples through roadmap_model
(RoadmapNode.line: RoadmapItem; node_status_drift takes committed_box), roadmap_emit
(line_inlines dispatches both arms), roadmap_document (comment only), and all four witnesses.
All four green by execution (status/model/emit/document); golden ROADMAP bytes unchanged
(AuthoredLine bakes the bold into content, DerivableLine title emit-bolded).
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
gunbai-bot
Bot
changed the title
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.
slice-3b — fold
CompletionBindinginto aRoadmapItemclosed-sumSubsumes the slice-1
CompletionBinding(CompletesIff | HandChecked) one layerdown into a single
RoadmapItemline authority carrying per-arm content (§3, no fork):DerivableLine { prs, title, description }— derives its checkbox and emits its title from the binding (single authority).AuthoredLine { done, content }— opaque prose emitted verbatim (the §5DecodeFidelityfence).The mention-can't-derive soundness is now structural (§5 construction over validation):
a mention is
AuthoredLinecontent with noprsfield, so the bad"mention ⇒ derived box" state is unwritable, not runtime-rejected.
status_driftreparameterizesclaimed_done(a stored box) → acommitted_boxargument — the box is host-fed at drift time, not copied into the authority. Ripples
through
roadmap_model(RoadmapNode.line: RoadmapItem),roadmap_emit(
line_inlinesdispatches both arms),roadmap_document(comment only), and all four witnesses.Verification (green by execution on fresh main)
gunbc run --claim-runon each witness — alltrue:roadmap_status_witnesses✓roadmap_model_witnesses✓roadmap_emit_witnesses✓roadmap_document_witnesses✓Golden ROADMAP bytes unchanged (
AuthoredLinebakes the bold into content;DerivableLinetitle is emit-bolded).Lane:
docs/plans/invert-hand-maintained.md(§6 step-1 widening). Successor toarchived quiet-hawk-47; built green on
wip/quiet-hawk-47-step3b, cherry-picked clean onto current main.🤖 Generated with Claude Code