test(prose): three cases for the truth stack + three-phase staleness fixes - #960
Open
leeovery wants to merge 1 commit into
Open
test(prose): three cases for the truth stack + three-phase staleness fixes#960leeovery wants to merge 1 commit into
leeovery wants to merge 1 commit into
Conversation
…fixes New cases, one per shipped behaviour: spec-measures-a-false-claim (the reality trigger — construction verifies a load-bearing claim, stops conversationally when the falsity undermines the leaning decision, and lands the settlement in the discussion's own record), spec-review-routes-a-source-defect (the review loop's fourth verb — a claims finding whose false count lives in the source routes on the value-only lane, corrects the discussion in place, and re-aligns the spec's copy), and discussion-review-corrects-a-false-claim (document review's unverified-claims dimension re-runs the recorded command at conclusion and corrects the value without turning arithmetic into a decision). A new spec-claims-source-defect stub carries the findings return; the spec-review-clean stub and the four cases arming it move to the three-agent trigger, and the two asserts pinning the two-phase sequence update. Co-Authored-By: Claude Fable 5 <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.
Why
The stack's behaviours were unwalked, and the existing spec cases pinned the old two-phase review — their stub triggers and asserts would have misdirected the next walk.
What
Three new cases, one per shipped behaviour:
spec-measures-a-false-claim— the reality trigger (feat(spec): a source claim that fails measurement routes like a conflict #955): construction verifies the discussion's load-bearing claim against the tree, meets the mismatch, stops conversationally (no incoherence gate — no sides documented), and lands the settlement in the discussion as a dated timeline entry; the spec carries the corrected claim with its command. Invariants pin the routing (presence scan→ discussion write → reindex → nosources stalefor single-topic, notopic reopen/triage).spec-review-routes-a-source-defect— the fourth verb (feat(spec): review findings that indict a source route back, never apply #957/feat(spec): a claims-verification pass measures the spec against the tree #958): a claims finding whose false count lives in the source routes on the value-only lane; the discussion corrects in place (no timeline — no decision revised), the spec's copy re-aligns, resolution landsRouted, and the re-loop gate renders from the engine. Newspec-claims-source-defectstub writes the c1 tracking file.discussion-review-corrects-a-false-claim— the unverified-claims dimension (feat(discussion): load-bearing tree claims are measured when written #959): a resumed, fully-decided discussion's document review re-runs the recorded command at conclusion and corrects four to five without turning arithmetic into a decision.Staleness fixes: the
spec-review-cleanstub and the four cases arming it move to the three-agent trigger;spec-extracts-the-discussionandspec-resolves-a-source-conflictasserts update to the three-phase sequence.Corpus validation, snapshot goldens (all 71 worlds rebuild byte-identical), conventions lint, and typecheck are green. Walks are on-command via
/prose-testas ever.Stacks on #959. Part 6 of the idea-40 stack.
🤖 Generated with Claude Code