docs: clean the status-truth unresolved baseline#3630
Conversation
The synthetic-claim-kinds learning doc's example sentences parsed as real claims (unresolvable placeholder refs); backtick-quoting removes them from extraction. The monitoring dashboard phase-1 plan flips from code-complete-pending-verification to complete — the dashboard has been live and releasing for weeks, and all nine units are checked.
fro-bot
left a comment
There was a problem hiding this comment.
Verdict: PASS
Two docs-only edits, both traced to real unresolved findings and both empirically verified against the actual extractor and resolver. Clean surgical work — the board reaches the zero-unresolved baseline you claim.
I ran the real code against both edited files rather than trust the PR description:
- Example-sentence neutralization (
status-truth-synthetic-self-audit-claim-kinds-2026-07-03.md):extractStatusTruthClaimsFromText({path, text})returns[](0 claims) on the edited doc body. The backtick swap toPR #N is open/docs/plans/<name>.md is completeworks because the PR regex (status-truth-detect.ts:56) requires#(\d+)and the plan regex (:99) restricts path segments to[\w-]+— literalNand angle-bracketed<name>match neither. The placeholders are structurally inert, not just visually quoted. - Stale plan status (
2026-06-15-001-feat-monitoring-dashboard-phase-1-plan.md):resolvePlanConsistencyVerdictnow returns{verdict: 'current', proposalEligible: false}forclaimedState: complete+ 9/9 units checked.completeis a member ofSUPPORTED_PLAN_STATUSES(:1228), and the flip is grounded — the wiki confirms the dashboard has been live and shipping GHCR releases for weeks. The addedcompleted: 2026-07-04field matches the established convention (23/28 plans carry it), and the resolver's corrector only rewrites thestatus:line, so the manual field addition doesn't collide with any automated correction.
Blocking issues
None.
Non-blocking concerns
- The plan's Reconciliation block (lines 14–25) is now self-contradicting: it still asserts the plan "stays `code-complete-pending-verification` until [live-deploy verification] pass," while the frontmatter reads `complete`. The frontmatter is the truth the loop reads, so this doesn't reopen drift — but you've left a ghost in the prose narrating a state the file no longer occupies. If those (A)–(D) verification gates actually cleared, fold a one-line note into that block (or trim it) so a future reader isn't led to believe the plan is still pending. If they didn't all clear,
completeis aspirational and the block is the honest record — worth a sentence either way. Not blocking; the machine-readable surface is correct.
Missing tests
None. Docs-only change with no behavioral surface — the existing status-truth-detect.test.ts suite already pins the extraction regexes and the complete+all-checked→current resolver path (:2967, :3038). No new code to cover.
Risk assessment: LOW
Two frontmatter/prose edits to non-executable Markdown. No workflow, dependency, permission, or run:-block surface touched; nothing reaches CI execution or a secret. Worst case of the residual concern is a reader misreading a stale prose paragraph — the resolver reads frontmatter, which is correct and verified.
Run Summary
The reconciliation block still narrated code-complete-pending- verification while the frontmatter says complete; a dated closure note resolves the contradiction and points remaining rollout verification at the gateway tracker.
fro-bot
left a comment
There was a problem hiding this comment.
Verdict: PASS
Re-review after dd3ab5b. The new commit closes the one thread I left open — cleanly, and without lobotomizing the historical record. The two edits I already verified last pass are byte-identical; only the Closure block is new. Re-ran the real extractor and resolver against the current tree to confirm nothing regressed.
The Closure block (lines 26–32) is the right move: rather than deleting the pending-verification prose and pretending the caveat never existed, you dated a superseding entry that explains why complete is now honest — weeks of production operation, hardening tracked in the dashboard/infra sessions, operator-rollout verification handed off to the gateway rollout tracker. The contradiction I flagged is resolved by layering truth with timestamps, not by erasing the ghost. That's the correct discipline for an append-only reconciliation log.
Empirical re-verification against the current head:
- Plan prose now carries the Closure block, which name-drops "the dashboard has been live" — but
extractStatusTruthClaimsFromText({path, text})returns 0 claims on the plan. NoPR #<digits>and nodocs/plans/<path>.md is <status>pattern in the new prose, so the block adds narrative without minting a resolvable claim. No self-inflicted drift. - Plan-consistency resolver still returns
{verdict: 'current', proposalEligible: false}(complete+ 9/9 units checked). Unchanged from prior pass. - Learning doc still yields 0 extractable claims. The backtick-neutralized
PR #N/docs/plans/<name>.mdplaceholders remain structurally inert.
Board reaches the zero-unresolved / zero-drifted baseline the PR claims.
Blocking issues
None.
Non-blocking concerns
None. My prior concern (frontmatter/prose contradiction in the Reconciliation block) is resolved by the dated Closure entry.
Missing tests
None. Docs-only; no behavioral surface. The status-truth-detect.test.ts suite already pins the extraction regexes and the complete+all-checked→current resolver path.
Risk assessment: LOW
Three Markdown edits (frontmatter status + two prose blocks). No workflow, dependency, permission, or run: surface touched. Verified empirically that all three surfaces (plan prose, plan-consistency resolver, learning doc) emit zero unresolved signal. Nothing reaches CI execution or a secret.

What
Post-arc dry-run (28688951280) reported 37 current / 3 unresolved / 0 drifted. All three unresolved findings traced and fixed:
code-complete-pending-verificationwith all 9 units checked; the dashboard has been live and releasing for weeks. Flipped tocomplete.Expected next-run baseline: zero unresolved, zero drifted — a fully clean board the loop can alarm from.
Verification
Claim extraction on the edited doc verified empty via the real extractor; plan-consistency resolver accepts the flipped frontmatter; markdown lint clean.