Skip to content

📚 docs: verification: route rules to their enforcers - #401

Merged
pascalandy merged 3 commits into
mainfrom
cor-103-t13-rules-prose
Oct 30, 2026
Merged

pascalandy merged 3 commits into
mainfrom
cor-103-t13-rules-prose

Conversation

@pascalandy

@pascalandy pascalandy commented Oct 30, 2026 •

Copy link
Copy Markdown
Owner

COR-103 rules repeat machine checks in prose, and the template reading order omits ## Acceptance.

D067 assigns each check to its owner. The template links rules to existing enforcers and keeps human judgment in prose. QA links error scenarios. The skills explain JSON failures and formal verification. The verification harness handles read-only Go caches and documents the no-model refusal. T1 and T13 are marked done.

Proved by: uv run --no-project --python 3.12 just check; the reading-order check exits 1 at 32b52e71 and passes on this head; cleanup exits 1 before the fix and 0 after it, with evidence preserved

  • 1. Spec: the sections that the card reads cover every command, flag, JSON key, and error code you add or change (n/a: no command interface changes)
  • 2. Scenario: each scenario that the card proves fails for the missing behavior
  • 3. Code: those scenarios pass
  • 4. Text: each new user-facing string is a catalog entry with a description (n/a: documentation and test diagnostics only)
  • 5. Checks: just check passes
  • 6. Verify: claude-haiku-5-5 (xhigh) ran verify-nicely on template and agent at 9551c675, clean (evidence/commit.txt: 9551c675d3c1):
    • ncly v0.23.4-0.20261030060552-9551c675d3c1; every step of template and agent passes
    • ncly describe nothere --json: exit 2, and stderr ends with {"ok":false,"contract_version":1,"errors":[{"code":"NOT_FOUND",...}]}
    • The rendered AGENTS.md reading order: 2. \spec.md`, including `## Acceptance`: each command's success criteria, effects, and failures`
    • Its rule index starts with Each running command executes in a scenario, Call only through ncly, ncly-probe, exits, signal, or refuses, and Each manifest example runs
    • just verify cleanup with the changed cleanup.sh: exit 0, scratch and build removed, evidence kept
  • 7. Docs: the card is done in its backlog item, README.md shows any change a user sees, and a skill teaches any command you add: the extension's, or nicely for core (no README change needed)
  • 8. Sign off: just signoff passes, or just signoff-layers for a stack (pending: root)

The required size splits have separate commits. Skill maintenance used live scratch runs. The remote transcript path stopped at TERMINAL_REQUIRED. Five existing feature cross-link warnings remain in the skill validator.

Root review: Opus 5.5 read the full diff. Core's ## Rules moved unchanged to RULES.md to keep AGENTS.md under its size limit; Sol checked that agents still find them.

Reviewed with sol-loop: 1 round with gpt-6.1-sol on xhigh. Sol verdict: approved

by GPT-6.1-Sol via Codex

Record D067 and link template rules to their existing checks.

Require Acceptance in the rendered reading order and correct skill guidance.

Keep verification evidence after cleanup of read-only Go module folders.
@coderabbitai

coderabbitai Bot commented Oct 30, 2026

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

Run configuration
  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Repository UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: ab4fafd5-e175-4238-8fb8-3c58061f271e

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Comment @coderabbitai help to get the list of available commands.

@pascalandy
pascalandy merged commit 9551c67 into main Oct 30, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant