task #1521: verify_task_body check 46 — Context-row follow-up provenance vs followup-scope markers#1293
Merged
Conversation
…nce vs followup-scope markers Cross-checks the **Context:** row's follow-up provenance tokens against each scope-armed followup_label's latest epm:followup-scope note fields (incident #1426: a fold clause claimed "proposer cost_class free-analysis" while the scope marker recorded source: proposer-9b-cheap, est_gpu_hours: 14). - C1 (source slug mismatch) + C2 (free-analysis claim vs GPU-band marker): FAIL on v4 / WARN on grandfathered v3-v2; W1 (est mismatch > 0.5 GPU-h) WARN-only. Per-label missing tokens skip; StaleTaskPathError propagates. - Claim windows: per-line, bounded at the next any-label mention, at `; `/`. ` clause delimiters (#1092 truthful-row shape), and at the first unmatched close paren (#922 corpus shape); multi-word inline-code spans stripped as quotations; source claims vocabulary-gated on the 4-slug workflow.yaml enum. - C2 suppressed when an explicit in-enum body source claim matches the marker. - Dispatched in verify_text (needs the issue id — the check-20/#921 precedent); 16 new tests incl. pinned #1426 pre-fix/corrected, #1092 + #922 truthful rows, S3 user-chat zero-est skip, C2 suppression, v3 WARN grandfathering. - SPEC.md § **Context:** row gains the inline enforcement note (44/45 register). - Corpus sweep (1101 awaiting_promotion+completed bodies, 94 label comparisons across 55 bodies): zero FAILs / zero WARNs. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Shorten the two >100-char local-import comments (E501) and replace the docstring MINUS SIGN with ASCII '-' (RUF002) so the worktree's test_ruff_policy full-ruleset finding set matches main's 8 pre-existing findings exactly (0 introduced by the check-46 diff). Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
…osing-span quotation strip Closes CONCERN check46-residual-comma-and-clause (paren-less comma-joined next-round narration no longer attributes to the scope-armed label) and the r1 reviewer Minor (a window beginning inside a multi-word backtick span has its quoted remainder stripped through the enclosing closer, so a quoted scope-note source token cannot false-fire C1). Two pinned tests, each verified to FAIL pre-fix (C2 / C1 respectively). Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
superkaiba
marked this pull request as ready for review
July 18, 2026 21:27
…race-path check stays 46, #1521's Context-followup-scope check renumbered to 47 (count pin 61, both by-name asserts, SPEC note updated)
superkaiba
added a commit
that referenced
this pull request
Jul 18, 2026
…uash (merge_form [task.py]
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.
Closes task #1521. Check 46 + 18 pinned tests + SPEC.md inline note. Review: epm:code-review v1/v2 PASS; test-verdict PASS.