Skip to content

[CAT-UNVERIFIED tag](5) Always-on rules, README and gap analysis name the tag - #419

Merged
EdbertChan merged 1 commit into
mainfrom
stack/EdbertChan/cat-unverified-tag/5-docs
Sep 12, 2026
Merged

[CAT-UNVERIFIED tag](5) Always-on rules, README and gap analysis name the tag#419
EdbertChan merged 1 commit into
mainfrom
stack/EdbertChan/cat-unverified-tag/5-docs

Conversation

@EdbertChan

@EdbertChan EdbertChan commented Sep 11, 2026

Copy link
Copy Markdown
Owner

Summary

The always-on rules, the root README and the hook gap analysis now name the {{CAT-UNVERIFIED}} tag instead of bare UNVERIFIED:.

always-on/evidence-check.md and corpus/CLAUDE.learned.md load into every session. Both still said to write the marker the hooks now reject.

Review Claim

Approve four docs-unit files naming the tag instead of the retired marker.

Review Lane

docs

Review Unit

docs

Safety Invariant

Prose only; no runtime change.

Slice Rationale

docs is its own review unit. The repo-wide guard is a proof file, which cannot ship with docs, so it rides with the product skill in the next PR.

Non-goals

  • Enforcement is not in this PR: the rule these lines restate is enforced by the hooks in PRs 1 and 2 of this stack. validate-pr-body.mjs puts these four files in the docs unit, which cannot ship with code, so check_codify_has_code.py runs here with --allow-prose-only, as preflight documents for a docs-only change.

No hook, script, skill, test or install change.

Test Plan

Test Plan
  • python3 engine/skills/make-pr/scripts/preflight.py --base <this PR's base>
neutral 4 file(s): README.md, always-on/evidence-check.md, corpus/CLAUDE.learned.md, docs/hooks-gap-analysis.md
gate    python3 scripts/check_codify_has_code.py --base stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose
        fail  new rule prose with no code change (thrash-reflect-automate step 3 without step 2):
        fail  always-on/evidence-check.md: + - Run the check. Only when it cannot run, tag the claim `{{CAT-UNVERIFIED: <claim> -- cannot verify:
gate    python3 scripts/check_no_dated_provenance.py --base stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose
        ok      no dated provenance
fail    preflight: fix the above before gh pr create
  • Preflight's codify gate fails on this slice by design: it asks for code beside new rule prose, and this unit cannot carry code. Run by hand with the flag preflight documents for a docs-only change:
$ python3 scripts/check_codify_has_code.py --base stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose --allow-prose-only
ok      codify-has-code: prose-only change explicitly allowed (--allow-prose-only)
exit=0
  • bash scripts/run_all_tests.sh -- exit 0, 45 suites OK, 0 failed, 1677 tests

Revert Plan

Revert Plan
  • Safe to revert? Yes
  • Revert command: git revert <sha>
  • Post-revert steps: None
  • Data migration? No

🤖 Generated with Claude Code

https://claude.ai/code/session_01VKsvxJk65w6q7KnPSRYvNg


Note

Low Risk
Prose-only changes to README and always-on/corpus docs; no hooks, scripts, or install behavior in this PR.

Overview
Docs-only alignment so session-loaded prose matches hook behavior from earlier stack PRs: bare UNVERIFIED: is retired in favor of {{CAT-UNVERIFIED: <claim> -- cannot verify: <reason>}} (or tagging plus naming a blocker where the README describes hedge-runs-prove-it).

always-on/evidence-check.md now tells agents to run checks first and only use the structured tag when verification cannot run. corpus/CLAUDE.learned.md applies the same tag when relaying name-matched subagent citations. The root README hook table and docs/hooks-gap-analysis.md (named-verb-guard pass guard) are updated so published hook/docs text matches what enforcement expects.

Reviewed by Cursor Bugbot for commit ef8a521. Bugbot is set up for automated code reviews on this repo. Configure here.

@cursor

cursor Bot commented Sep 11, 2026

Copy link
Copy Markdown

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_bb131d5f-7142-40d6-9d19-7363a18a0a19)

@EdbertChan

Copy link
Copy Markdown
Owner Author

Mergify repair stopped: lowest open stack PR #419 is based on stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose, which still belongs to open PR(s) #418 outside this stack; leaving it alone to avoid dropping dependency changes

@EdbertChan
EdbertChan force-pushed the stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose branch from 00ec307 to 529e75c Compare September 12, 2026 06:20
@EdbertChan
EdbertChan changed the base branch from stack/EdbertChan/cat-unverified-tag/4-corpus-skill-prose to main September 12, 2026 06:21
always-on/evidence-check.md and corpus/CLAUDE.learned.md load into every
session and still said to write bare `UNVERIFIED:`, which the hooks now
reject. The root README's hook table and the gap analysis described it as
what clears a hook. All four now name the tag.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VKsvxJk65w6q7KnPSRYvNg
@EdbertChan
EdbertChan force-pushed the stack/EdbertChan/cat-unverified-tag/5-docs branch from 788dd3d to ef8a521 Compare September 12, 2026 06:21
@cursor

cursor Bot commented Sep 12, 2026

Copy link
Copy Markdown

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_1d0ffcf7-7cf7-4f55-9493-cc1aed1d4182)

@mergify

mergify Bot commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@EdbertChan
EdbertChan merged commit 59060ee into main Sep 12, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants