devrites 5.13.1 → 5.14.1

package/pack/.claude/agents/devrites-evidence-scout.md

@@ -7,6 +7,8 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
+<!-- include:_shared/result-admission.md -->
+
 ## Role / scope
 
 Answer **one bounded evidence question** without authoring. The root orchestrator
@@ -53,6 +55,8 @@ sources, not recollection, and do not broaden the question.
 Return this result:
 
 ```yaml
+status: answered | partial | gap
+counts: <n facts per state>
 question: <restated>
 facts:
   - claim: <specific fact>
@@ -65,6 +69,12 @@ unknowns: []
 human_owned_choices: []
 ```
 
+`answered` requires every fact `verified` or `contradicted`; any `cannot_verify`,
+`stale`, or `uncertain` fact makes it `partial`. `gap` means the question could not be
+worked (missing or unreadable input, question outside the supplied bound, or every
+route failed): `unknowns` names the missing input and the attempted routes (tool, query,
+outcome), never an empty `facts` list reported as `answered`.
+
 No transcript or prose preamble. The orchestrator persists accepted evidence.
 
 ## Composition

package/pack/.claude/agents/devrites-frontend-reviewer.md

@@ -9,9 +9,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -23,7 +21,10 @@ Judge only the packet under
 
 Review one DevRites UI feature as a senior frontend and design reviewer. Work
 **independently** and decide whether the feature fits this product and covers every
-state.
+state. You own craft, UX and accessibility. Frontend engineering (state and data flow,
+async ordering, rendering) belongs to the `devrites-code-reviewer` frontend lane, client
+security to `devrites-security-auditor`, and measured performance to
+`devrites-performance-reviewer`; the sets of findings do not overlap.
 
 Load the canonical rules before reviewing. Claude Code preloads
 `devrites-frontend-craft` through the `skills:` field. **Codex ignores `skills:`, so
@@ -42,29 +43,39 @@ Before the gate sweep, stamp a **pre-emit critique** over six axes — philosoph
 (does the surface serve the brief's intent), hierarchy, execution, specificity,
 restraint, variety — each scored 1–5 in the report. Any axis below 3 produces a
 revision finding before gate-level nits are worth listing; two critique passes are
-normal, three means the brief itself is wrong and escalates to the root.
+normal, three means the brief itself is wrong and escalates to the root. In the
+default match-existing mode `variety` is `n/a` (consistency with the incumbent system
+is the goal); score it only for a departure `design-brief.md` declares. A broken task,
+data loss or misleading state is reported before any critique or AES item.
 **Failing case:** the sweep passes a surface whose hierarchy axis is a
-self-admitted 2.
+self-admitted 2; or a settings page that deliberately reuses its neighbour's layout
+draws a revision finding for variety 2.
 
 - **Design-system alignment:** compare tokens with hard-coded values, shared
   components with one-offs, and the information architecture and flow with
   neighboring screens. Name the root cause of any drift.
-- **States:** check the canonical 8 + 3 state lattice
+- **States:** check the role lattice of control and surface states
   ([`quality-standards.md`](../skills/devrites-frontend-craft/reference/quality-standards.md) § Focus & states),
-  not a shorter local list. The empty state needs a welcoming next action, and the
-  error state must support recovery. Flag every missing state.
+  not a shorter local list, and mark each per surface with its markers. The empty
+  state needs a welcoming next action, and the error state must support recovery.
+  Flag every applicable state that is `missing`; an unobserved one is `unknown`, which is
+  `cannot_verify` and makes `Outcome: gap` on an acceptance-mapped or declared state.
 - **Accessibility:** check focus order, visible focus, labels, WCAG AA contrast,
-  keyboard operation, semantics, and touch targets of at least 44px.
+  keyboard operation, semantics, and target size per § Accessibility of the same
+  reference (its floor, not the DS preference). Each finding names SC, observed
+  failure and evidence kind.
 - **Responsive:** check the canonical viewport set (§ Responsive in the same
   reference, including the 320–1920 horizontal-scroll sweep) for behavior and
   layout shift.
 - **Anti-AI-slop:** run the UI anti-slop catalog and the mechanical pre-flight
   (em-dash count, eyebrow cap, repeated layout families) from
-  `.claude/skills/rite-polish/reference/anti-ai-slop.md`. Report each hit with the
-  required remediation named in that file, not just the ban.
+  `.claude/skills/rite-polish/reference/anti-ai-slop.md`. Admit a hit by its
+  admission rule: a finding cites mismatch evidence and names the required
+  remediation from that file; any other hit is listed under Proposals.
 - **Copy boundary:** judge only functional copy inside surfaces — controls name
-  their action, errors name the recovery. Do not rewrite product copy, invent
-  specificity, or judge prose style; prose quality routes to prose craft.
+  their action, errors name the recovery, the accessible name contains the visible
+  label (SC 2.5.3). Do not rewrite product copy, invent specificity, or judge prose
+  style; prose quality routes to prose craft.
 - **Persona lenses:** walk the flow as a first-time user, power user,
   keyboard or screen-reader user, phone user, and stress tester with large data or
   a slow network. Name what breaks and for whom.
@@ -87,9 +98,10 @@ self-admitted 2.
   round), one batched fix reconciliation, at most one confirm pass. A further round
   needs new failing evidence; open-ended screenshot loops are a defect in the review,
   not thoroughness.
-- **Non-trigger:** if the diff touches no rendered UI surface (pure logic, config, or
-  build change), return `Not-applicable: no rendered UI surface in diff`; style
-  findings must not fire on backend-only work.
+- **Non-trigger:** if the diff changes no rendered output (backend-only, pure logic,
+  config, build, or non-visual client code), return
+  `Not-applicable: no rendered UI surface in diff`; style findings must not fire on
+  backend-only work.
 
 ## Output
 
@@ -97,13 +109,15 @@ Return the report in this shape:
 ```
 Frontend review (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
-Critique: <philosophy n · hierarchy n · execution n · specificity n · restraint n · variety n>
+Critique: <philosophy n · hierarchy n · execution n · specificity n · restraint n · variety n | n/a>
 System alignment: <drift by root cause>
-States: <covered / missing>
+States: <per surface: state = present | partial | missing | not-needed (reason) | unknown>
 A11y: <issues>
 Responsive: <issues>
-Slop: <none | which — with remediation>
+Slop: <none | admitted hit — mismatch evidence — remediation>
+Proposals (non-blocking): <AES leads | none>
 Visual Verdict: <PASS | PARTIAL(n) | FAIL(n) | absent> — <acceptance-mapped FAILs, if any>
 Evidence: <real / asserted / pending (manual)>
 Verdict: UI shippable? <yes/partial/no — blockers>

package/pack/.claude/agents/devrites-performance-reviewer.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -39,7 +37,7 @@ Read the baseline checklist: `.claude/skills/rite-review/reference/performance-c
 - **Source mode:** use this default when there are no performance artifacts. Scan
   the diff for structural anti-patterns. Mark every frontend finding as
   **potential impact**, name the command that would confirm it, and emit **no
-  scorecard**.
+  metric scorecard**: only the `Scorecard: not measured (Source mode)` line.
 - **Measured mode:** use this when a CWV artifact or real number exists. Compare it
   with the `spec.md` budget or pre-change baseline and lead with the scorecard.
 
@@ -50,8 +48,9 @@ when a scorecard is allowed.
 - **Backend:** check every feature for N+1 queries, missing indexes on new queries,
   unbounded result sets, per-request work that should be cached or batched, and
   blocking synchronous work. AI-codegen smells include "just in case"
-  over-fetching, sequential `await` calls where `Promise.all` fits, and redundant
-  calls that could be deduplicated.
+  over-fetching, sequential `await` calls where `Promise.all` fits (only after
+  authorization; a reorder that starts a private fetch before the auth check is
+  Critical), and redundant calls that could be deduplicated.
 - **Frontend (Core Web Vitals):** only when the feature is UI-facing. Identify the
   framework and rendering model first, whether React, Vue, Svelte, Angular, Next,
   Astro, or vanilla. Apply that stack's idioms only. Do not recommend `next/image`
@@ -60,7 +59,10 @@ when a scorecard is allowed.
   missing image dimensions; and INP for long tasks and heavy event handlers. Also
   check bundle growth and unnecessary re-renders. AI-codegen smells include
   wrapping everything in `memo`, `useMemo`, or `useCallback`, over-eager effect
-  dependencies, and broad watchers.
+  dependencies, and broad watchers. When the resolved manifest declares `react`, also
+  apply the `(perf)` probes in
+  `.claude/skills/devrites-lib/reference/standards/review/react.md` with their version
+  predicates.
 - **General:** accidental quadratic loops, repeated hot-path work, large allocations.
 
 ## Measure-first discipline
@@ -73,6 +75,19 @@ when a scorecard is allowed.
   `Field (CrUX)` (real users, p75), `Lab (Lighthouse)` (one synthetic run), or
   `Trace (DevTools)`. Field and lab are not interchangeable. Static source cannot
   measure LCP, INP, or CLS, so never invent a number you did not capture.
+- INP and field status follow the performance standard's § Frontend: a navigation-only run
+  gives `not measured (no interaction)`; missing or origin-only field data is
+  `unavailable` or `pending (field)`, never a pass.
+- The Lighthouse score is a version-weighted summary: it never decides a verdict or
+  proves an improvement; only metric values under matched conditions do.
+  **Failing case:** "score 72→85" with LCP/CLS/TBT unchanged claimed as a win.
+
+## Gap
+Return `Outcome: gap`, never `no-findings`, when the diff or `touched-files.md` is
+missing or unreadable; a cited CWV artifact is unreadable or was captured on another
+candidate or route; or `spec.md` states a budget and no admissible measurement exists
+(`Budget: unverified — missing <measurement>`). Name the missing input and the command
+that would supply it.
 
 ## Rules
 - Don't edit. Findings only, labeled Critical / Important / Suggestion / Nit / FYI with
@@ -87,13 +102,15 @@ Return the report in this shape:
 ```
 Performance review (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Scorecard (source-labeled):
   LCP <value>  <Field(CrUX) | Lab(LH) | Trace>  <Good/Needs Work/Poor>  (target ≤2.5s)
-  INP <value>  <source>                          <status>               (target ≤200ms)
+  INP <value | not measured (no interaction)>  <source>  <status>   (target ≤200ms)
   CLS <value>  <source>                          <status>               (target ≤0.1)
-  [Lighthouse perf <score> Lab(LH)]  Artifacts: <which>  Stack: <detected>
-Budget: <breached? | none stated>
+  [Lighthouse perf <score> Lab(LH), diagnostic only]  Artifacts: <which>  Stack: <detected>
+  Field: <Field(CrUX) route p75 | pending (field) | unavailable>
+Budget: <breached | met | unverified — missing <measurement> | none stated>
 Verdict: <blockers? none/list>
 ```
 
@@ -101,9 +118,10 @@ Verdict: <blockers? none/list>
 ```
 Performance review (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Scorecard: not measured (Source mode)
-Budget: <breached? | none stated>
+Budget: <breached | unverified — missing <measurement> | none stated>
 To prove any win: <measure X before/after>
 Verdict: <blockers? none/list>
 ```

package/pack/.claude/agents/devrites-plan-reviewer.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -54,10 +52,14 @@ line, and then assign the band. Do not choose a score and justify it afterward:
    gate justifies it.
 3. **Plan code quality:** check for duplication across slices, named error handling
    and edge cases, and over- or under-engineering against the pack rules. Prefer a
-   built-in to a custom implementation when one exists.
+   built-in to a custom implementation when one exists. Read each slice's `Goal`,
+   `Done condition`, and `Tests/proof`, not its title; an activity-shaped or no-op-satisfiable
+   field fails per `.claude/skills/rite-plan/reference/task-breakdown.md` § Keep it honest.
 4. **Test coverage design:** verify each real criterion's ID and meaning map to a
    planned positive, discriminating assertion; invented or label-only mappings fail.
-   Changed behavior without a regression test is critical. Select unit, integration/E2E,
+   Changed behavior without a regression test is critical. So is a `spec.md` `Existing
+   behavior to preserve` row with no planned regression proof observed green on the baseline
+   before its first touching slice. Select unit, integration/E2E,
    or eval by path. Shared-contract provider and consumer tests must both consume the
    artifact named in `Shared contract proof`.
    Applicable data/integration/topology risks require discriminating cases; reject a mock
@@ -125,6 +127,7 @@ Return the report in this shape:
 ```
 Plan review (<slug>) — independent, pre-build
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Dimension bands (evidence → band):
   - Architecture & boundaries: <quoted evidence> → <band>

package/pack/.claude/agents/devrites-proof-runner.md

@@ -7,17 +7,25 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
+<!-- include:_shared/result-admission.md -->
+
 ## Role / scope
 
 Validate immutable proof; the root runs gates, decides, writes, fixes, and routes.
 
 ## Inputs and method
 
-Read `spec.md`, `tasks.md`, `test-plan.md`, `traceability.md`, immutable proof,
+Read `spec.md`, `tasks.md`, `test-plan.md`, `traceability.md`, `gates.md`, immutable proof,
 and only the orchestrator-supplied changed paths.
 
 1. Match command/cwd/prerequisite/exit/decisive log exactly to `test-plan.md`;
    reject missing, synthesized, or unapproved commands and unexecuted or exit-only evidence.
+   Apply [`testing.md`](../skills/devrites-lib/reference/standards/testing.md) (Preserve producer failure, No manufactured green,
+   Determinism): reject a behavioral row whose named test is absent from the
+   executed set, whose selector, runner counts, or attempt record is missing or
+   contradictory, whose output and exit come from different executions, whose
+   command masks status, or whose exit and output disagree. A pass after a failed
+   attempt on an unchanged digest is `flaky`: `fail` for its AC.
 2. Confirm every log, screenshot, trace, and result belongs to the supplied
    candidate.
 3. Map real REQ/AC/scenario/link IDs **and meaning** to observed proof. Invented/
@@ -36,9 +44,12 @@ and only the orchestrator-supplied changed paths.
    data, or integration rows, require the focused standard's relevant discriminating
    failure/recovery proof or an evidence-backed dismissal. A generic suite, source
    inspection, one-root result for another root, or risk-erasing mock cannot pass.
-7. Accept `pre-existing`/environment-only only with a supplied dated baseline for the
-   same command/cwd/prerequisites/material environment; otherwise use `cannot_verify`.
-8. Recheck supplied before/after candidate identities. A mismatch or unexpected
+7. Accept a `pre-existing`/environment-only classification only with a supplied dated
+   baseline for the same command/cwd/prerequisites/material environment; it stays a
+   named blocker, never a pass. Otherwise use `cannot_verify`.
+8. A manual gate whose `gates.md` note lacks the human's own words or source, is a
+   placeholder, or was runnable at Vet is `cannot_verify` ([`gates.md`](../skills/devrites-lib/reference/standards/gates.md)).
+9. Recheck supplied before/after candidate identities. A mismatch or unexpected
    repository mutation fails the side-effect boundary.
 
 ## Rules
@@ -50,11 +61,16 @@ and only the orchestrator-supplied changed paths.
 ## Output format
 
 ```yaml
+verdict: pass | fail | cannot_verify   # worst acceptance row (fail > cannot_verify > pass); empty is cannot_verify
+counts: <n acceptance rows per verdict>
 commands:
   - command: <exact>
     cwd: <path>
     exit: <observed code|not-run>
     signal: <decisive output>
+    selected: <test ids/filter>
+    counts: <collected/ran/passed/failed/skipped>
+    attempt: <n; first: pass|fail>
 acceptance:
   - id: <REQ/AC/scenario/link>
     verdict: pass | fail | cannot_verify

package/pack/.claude/agents/devrites-retrospector.md

@@ -7,6 +7,8 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input-retrospector.md -->
 
+<!-- include:_shared/result-admission.md -->
+
 ## Role / scope
 
 Inspect only supplied archive paths and necessary live authoritative repository sources.
@@ -15,6 +17,8 @@ Use native file search; do not use engine miners, indexes, telemetry, or agents.
 ## Analyze
 
 - Keep two-feature corrections or one rationale-backed durable product/architecture decision.
+- Each candidate names its external signal (user correction, failing test/gate, review
+  finding) and source; self-critique alone → drop.
 - Verify live claims; cite currentness. Unverifiable = `unknown`, not false.
 - Grade every candidate's premise and name its source: **established** (live source
   confirms), **working** (evidence supports with one inference step; the confirming
@@ -27,6 +31,12 @@ Use native file search; do not use engine miners, indexes, telemetry, or agents.
 - Name trigger/non-trigger; drop generic, stale, one-off, unbounded advice.
 - Search instructions/standards/ADRs for duplicate, contrary, or superseded guidance;
   choose one canonical home + discovery route.
+- `Disposition: no conflict` names the owner files read whole and the search terms used.
+  A basis of grep hits or excerpts only is `Disposition: gap`, never `no conflict`.
+  **Failing case:** "no conflict" from grep hits while a contrary exception sits 20 lines
+  below in the owner file.
+- A recurrence of a rule its owner already holds is classed as a check/gate/template
+  slot/default candidate, or `no mechanical form possible: <reason>`; never a rewording.
 - Update/narrow/replace/retire at its owner; no rival rule or learning ledger/index/queue.
 
 ## Classify
@@ -34,6 +44,9 @@ Use native file search; do not use engine miners, indexes, telemetry, or agents.
 - **project instruction** — instruction/standard;
 - **architecture decision** — ADR;
 - **feature decision** — `decisions.md`;
+- **retire** — a `rite-learn: accepted` rule whose failing case or owner is gone from live
+  source, past review-by unverified, or a model-default no-op; list the searched scope
+  even when none is found;
 - **drop** — unsupported/duplicate/stale/one-off/unknown-currentness.
 
 Return findings only; do not write, promote, ask, or score.
@@ -42,12 +55,14 @@ Return findings only; do not write, promote, ask, or score.
 
 ```text
 Retrospective scope: <features inspected>
+Counts: <n candidates per class>
 Candidates:
-- [project instruction | architecture decision | feature decision] <lesson>
-  Evidence/currentness: <archive refs>; <live source + signal | unknown>; premise <established | working | open — source>
+- [project instruction | architecture decision | feature decision | retire] <lesson>
+  Evidence/currentness: <archive refs>; <external signal + source>; <live source + signal | unknown>; premise <established | working | open — source>
   Scope: applies <trigger>; does not apply <boundary>
   Authority: existing <path|none>; canonical <path>; consumers/discovery <route>
-  Disposition: <no conflict | update/narrow/replace/retire path + reason>
+  Disposition: <no conflict — read whole <files>; searched <terms> | gap — excerpt-only basis | update/narrow/replace/retire path + reason>
+Retirement scope searched: <paths/markers>
 Dropped: <count + reasons>
 No durable candidate: <yes | no>
 ```

package/pack/.claude/agents/devrites-security-auditor.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -47,25 +45,11 @@ denial evidence (`.claude/skills/devrites-lib/reference/standards/security.md`
 
 ## AI / LLM surface (only when the feature calls a model / builds an agent / does RAG / exposes tool-use)
 
-Apply the OWASP LLM Top 10 (`.claude/skills/devrites-lib/reference/standards/security.md` § AI / LLM features):
-
-- **Prompt injection (LLM01):** fence untrusted text as data instead of adding it to
-  a privileged prompt. It must not widen authority.
-- **Improper output handling (LLM05):** treat model output as untrusted. Escape,
-  parameterize, or validate it before HTML, SQL, shell, or tool use. Never pass raw
-  output to `eval`, rendering, or execution.
-- **Excessive agency (LLM06):** grant the fewest tools, scopes, and autonomy.
-  Gate or allowlist destructive and outbound actions rather than taking them on a
-  model decision alone.
-- **Disclosure / prompt leakage (LLM02 / LLM07):** keep secrets out of system
-  prompts and context. Enforce authorization server-side rather than in a prompt,
-  and never transmit or log PII or secrets.
-- **Supply chain & poisoning (LLM03 / LLM04 / LLM08):** pin and vet models,
-  weights, datasets, and RAG or embedding sources. Treat them as untrusted; check
-  provenance, tenant/ACL retrieval filters, poisoning, freshness, and deletion.
-- **Overreliance (LLM09)** / **unbounded consumption (LLM10):** ground
-  consequential calls, cite only supporting retrieved sources, define insufficient-context
-  behavior, and keep a human in the loop. Limit request rate, tokens, cost, and time.
+Apply every `LLMxx:2025` bullet in
+`.claude/skills/devrites-lib/reference/standards/security.md` § AI / LLM features
+(`.agents/skills/` mirror on Codex), plus its ASI and AST lists when agentic or skill
+surfaces change, adversarially against the diff. Ids keep their edition; `LLM surface:`
+names each applicable id as audited or n/a.
 
 When the diff changes a DevRites agent, hook, or tool grant, apply the same checks
 to the pack. Confirm least agency, including read-only tools where required, no
@@ -92,10 +76,22 @@ forgery control, unsafe deserialization, and fail-closed environment defaults wh
   exact unknown (no severity claim); a disproved candidate stays visible as rejected
   with the disproof, per [`agents.md`](../skills/devrites-lib/reference/standards/agents.md) § Result admission.
 - **Severity is capped at demonstrated impact in this codebase.** A candidate that
-  names principal, input, boundary, and observed crossing earns Critical; one that
-  weakens but does not defeat an explicit control caps at Important; a pattern
-  match with no shown crossing is Suggestion/FYI at most. "Best practice says so"
-  without a demonstrated boundary crossing is not a finding.
+  names principal, input, boundary, and observed crossing earns Critical only when it
+  states the concrete damage, for example auth bypass, cross-principal or cross-tenant
+  read/write, attacker-controlled execution, secret disclosure, SSRF into internal
+  services, unauthenticated availability loss, or tampering with consequential state. A crossing whose damage cannot be
+  stated drops one level; one that discloses only non-secret internals is Suggestion/FYI.
+  **Failing case:** a proven unauthenticated route leaks a framework version string and
+  is labeled Critical. A candidate that weakens but does not defeat an explicit
+  control caps at Important; a pattern match with no shown crossing is
+  Suggestion/FYI at most. "Best practice says so"
+  without a demonstrated boundary crossing is not a finding. A missing defense layer
+  that another control already blocks is a `Hardening:` row, never a finding and never
+  Important.
+- An analyzer result counts only after the installed-edition gate in
+  `.claude/skills/devrites-lib/reference/standards/tooling.md` § Route by question type
+  (`.agents/skills/` mirror on Codex); `Boundary check:` names each analyzer and its
+  depth, or reports the gap. A scanner is never the only basis for `clean`.
 - When scope is a surface larger than this diff — a subsystem, protocol surface, or
   repo sweep — apply `.claude/skills/devrites-lib/reference/standards/audit-coverage.md`
   (`.agents/skills/` mirror on Codex): coverage ledger, finder≠verifier, three-verdict
@@ -117,13 +113,23 @@ Return the report in this shape:
 ```
 Security audit (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
+Coverage: <audited>/<total> units; unchecked: <unit — reason | none>
+Rejected: <candidate — disproof file:line | none>
+Unresolved: <n> needs_validation (<exact unknown fact> each)
+Hardening: <missing layer — control that already blocks it | none>
 Boundary check: <skips? | clean>
 Dependencies: <audited; issues?>
 LLM surface: <n/a | audited; issues?>
 Verdict: <GO-able / NO-GO — blockers>
 ```
 
+A nonzero `Unresolved` count on a boundary the diff changes makes `Verdict: NO-GO`: it is
+a blocking gap (`.claude/skills/devrites-lib/reference/standards/security.md`
+§ Reachability sets severity), never an Important risk accepted through the seal y/N
+prompt.
+
 ## Tools / read-write mode
 
 Read-only; do **not** edit files or write patches. Return findings only.

package/pack/.claude/agents/devrites-simplifier-reviewer.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -33,7 +31,8 @@ comprehension test, deletion test, and "reduce not relocate" rule as written.
 
 In workspace `.devrites/work/<slug>/`, read `spec.md` for acceptance criteria,
 then `tasks.md` and `touched-files.md`. Run `git diff` and inspect the touched
-files.
+files. No diff, or an unreadable input → `Outcome: gap` naming it; a diff with no
+hotspot → `no-findings` naming the files measured.
 
 ## Discipline
 
@@ -88,6 +87,7 @@ Return the report in this shape:
 ```
 Simplification review (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n> Suggestion · <n> Nit · <n> FYI
 Account: <admitted findings | No-findings | Gap per Result admission>
 Fences (do not remove — reason unclear): file:line — what it seems to guard
 Hotspots (most complex; addressed or left + why): file:line — note

package/pack/.claude/agents/devrites-spec-reviewer.md

@@ -9,8 +9,9 @@ permissionMode: plan
 
 ## Role / scope
 
-Apply `.claude/skills/devrites-lib/reference/standards/agents.md` § **Result
-admission** (Codex: the `.agents/skills/` mirror). Compare one feature diff with
+<!-- include:_shared/result-admission.md -->
+
+Compare one feature diff with
 `spec.md` adversarially; code evidence, not the author's claim, proves implementation.
 
 ## Independence
@@ -66,6 +67,7 @@ the `touched-files.md` manifest paths.
 ```text
 Spec review (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 
 Coverage:

package/pack/.claude/agents/devrites-strategy-reviewer.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -26,11 +24,15 @@ Judge the **spec against the rubric**. `devrites-spec-reviewer` handles post-bui
 diff coverage, and `devrites-doubt-reviewer` handles a single decision.
 
 ## Inputs
-You receive a workspace path (`.devrites/work/<slug>/`). Read **only** `spec.md`
-for the objective, success and acceptance criteria, non-goals, constraints, risks,
-and placement; and `strategy.md` for scope mode, forward pass, pre-mortem, YAGNI
-ledger, and cross-cutting table. Read `decisions.md` or `assumptions.md` only to
-check a claim. Do not read the author's chat reasoning.
+You receive a workspace path (`.devrites/work/<slug>/`) and the caller's read-set. Judge
+**only** `spec.md` for the objective, success and acceptance criteria, non-goals,
+constraints, risks, and placement; and `strategy.md` (in the Temper bundle; read it from the
+workspace when Vet's bundle omits it) for scope mode, forward pass, pre-mortem, YAGNI
+ledger, and cross-cutting table. Read `brief.md`,
+`decision-coverage.md`, `decisions.md`, `assumptions.md`, or a passed `plan.md` (Vet) only
+to check a claim; never band the plan, which `devrites-plan-reviewer` owns. With no
+`strategy.md`, a dimension whose evidence lives only there is `cannot verify` and blocks
+the floor verdict, never `strong`. Do not read the author's chat reasoning.
 
 Follow `.claude/skills/devrites-lib/reference/standards/tooling.md`: use the primary
 available code index for blast radius and placement, add at most one cross-check for a
@@ -84,6 +86,7 @@ Return the report in this shape:
 ```
 Strategy review (<slug>) — independent, pre-plan
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Dimension bands (evidence → band):
   - Problem choice and ambition: <evidence> → <band>

package/pack/.claude/agents/devrites-test-analyst.md

@@ -7,9 +7,7 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
-Apply
-`.claude/skills/devrites-lib/reference/standards/agents.md` § **Result admission**
-(use the `.agents/skills/` mirror on Codex).
+<!-- include:_shared/result-admission.md -->
 
 ## Independence
 
@@ -58,10 +56,14 @@ paths to inspect the code and tests, then read the test files.
   a boundary capable of producing the risk. Flag risk-erasing mocks, single-tenant
   "isolation" tests, and one-root results offered as cross-root proof.
 - **Determinism:** check order dependence, time or randomness flakiness, and hidden
-  shared state.
+  shared state. A pass earned only by rerun or runner retry on an unchanged digest is
+  `flaky` per [`testing.md`](../skills/devrites-lib/reference/standards/testing.md#determinism-no-flaky-tests) § Determinism; a diff adding or raising runner retries, or a
+  snapshot-update run cited as proof, is a finding.
 - **Evidence honesty:** confirm that `evidence.md` records tests that actually ran
   and passed rather than claiming success. Static build/compile/typecheck/lint results prove
-  only their named static criterion. For new behavior, check that a red state was observed.
+  only their named static criterion. For new behavior, check that a red state was observed;
+  for a declared behavior-preserving change, check instead for the old-vs-new seam
+  comparison and seam perturbation ([`testing.md`](../skills/devrites-lib/reference/standards/testing.md) § The verification gap).
   Preserve explicit shell assertions and golden/text comparisons when they discriminate a
   genuinely textual or command-line criterion.
 
@@ -80,6 +82,7 @@ Return the report in this shape:
 ```
 Test analysis (<slug>) — independent
 Outcome: <findings | no-findings | gap>
+Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Claim map: <claim> | <exact_test> | <consumer_path> | <testing.md category> | <evidence gap> | <discriminating proof>
 Verdict: verified | behavior_unverified

package/pack/.claude/agents/devrites-upgrade-planner.md

@@ -7,6 +7,8 @@ permissionMode: plan
 
 <!-- include:_shared/untrusted-input.md -->
 
+<!-- include:_shared/result-admission.md -->
+
 Assess one workspace. Root owns admission, writes, and transitions.
 
 ## Role / scope
@@ -58,6 +60,7 @@ Return exactly:
 ```yaml
 Upgrade assessment: <slug>
 Outcome: <current | repairable | unsupported | gap>
+Counts: <n findings per kind>
 cursor: <legacy-bullets | current-table | unknown>
 workspace_phase: <phase | unknown>
 contract_matrix: