grounding: Stage 6 results - the contract can quote; the cap cannot conclude

H6 falsified on coverage gates while decisively proving its mechanism.
246 cells, 1 transport error. Deterministic-clear rates jumped 0% -> 57%
(Claude) / 62% (Codex) of claims; Codex produced the first three real
zero-checker-call cells; all 110 deterministic clears re-audit verbatim
(cumulative tier soundness 127/127 across stages 4-6, zero false
passes). The hard one-conclusion cap broke coverage: both lanes lost
the sufficient housing row (Codex conclusion wrongly refused beside a
correct quote; Claude drew a stochastic partially_supported on a
minimal quote+conclusion answer), and Claude could not express
adversarial premise corrections or CLERC continuations under the cap
(8 non-submissions). tiered_check under the Claude checker went 4/4 on
the audited pair at 4x Stage 5 n, reconfirming the recommended lane.
Refined conclusion: hard enforcement stays at the CLAIM level; Stage 7
ablates the soft contract + deterministic lint (H13 corpus-alienness
AUC 0.834, H14 prompt-gravitation, H7 features); the free conclusion
claim is the residual H12 attested characterizations target. Receipts
archived with hash; pre-registration 25c4b6b5.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012AgUm5EcRKbT3duVFMbrQD