[tim-nish]

Summary

Closes #343. (Dependency 5.14 / #351 merged mid-run — this targets main directly.)

• Every measured spec-restatement in the two command files now carries an explicit cite to its owning spec section with the ruled conflict clause ("on conflict the spec wins and this file is the defect" — docs/README.md Derived-surface rules): morning gate + queue-discharge paragraph + PR delivery in commands/tanuki-loop.md; view catalog, init steps, and the target-resolution ladder in commands/tanuki.md. The queue-discharge cite also fixes the Deferring a finding writes a queue.md line and no tracking artifact #309-only citation (spec cites Deferring a finding writes a queue.md line and no tracking artifact #309/queue.md is an uncapped, unranked deferral generator #310).
• No operational procedure was deleted (AC3): cite-and-defer was chosen over deletion wherever the passage tells the operator what to do.
• Ceiling report (AC2): 12,759 / 12,486 tokens after (+~230 net from the cites), both under the ~13k ceiling. Recommend reviewing the ceiling downward only after hygiene: retired merge-first gate steps still printed in commands/tanuki-loop.md #339 lands (it deletes ~1.2k tokens of retired gate steps).

Acceptance criteria mapping

• AC1 → cites at the morning-gate head, queue-discharge paragraph, PR-delivery head (tanuki-loop.md), and the views/init/target-resolution anchors (tanuki.md); section names verified against the spec's actual headings.
• AC2 → measured above; outcome reported.
• AC3 → additive edits only — no instruction removed.
• AC4 → the sanctioned fork ("copied here, allowed to diverge", owner decision 2026-07-13) untouched.

Review focus

• Merge-order note: the upcoming direct-lane PRs for hygiene: retired merge-first gate steps still printed in commands/tanuki-loop.md #339 (delete retired steps) and hygiene: spec vs command factual drift — four-part vs five-part invariant; duplicated queue-discharge paragraph #341 (four/five-part fix) touch the same regions of commands/tanuki-loop.md / specs/spec-tanuki-loop/SPEC.md — file overlap only, no logical dependency; whichever lands second rebases.
• Whether any cite names the wrong owning section.

Changed areas

commands/tanuki-loop.md, commands/tanuki.md.

Test plan

Docs-only; full tool suite 79/79 locally.

🤖 Generated with Claude Code