Complete native evidence coverage and currentness guidance

[iperev]

Summary

• Connect lazy CLI input guides for declaration coverage and receipt currentness to the native traceability cookbook.
• Keep original receipt subjects, qualified bindings and composer-to-view wire handoffs explicit. Separate declaration coverage, execution, currentness, trust and approval.
• Add incomplete-input, missing/unmapped-test, changed-subject, scope-only and restoration controls. The native helper now changes behavior under an unchanged assertion instead of selecting a result code.
• Prepare compatible release 0.14.17. Refresh 17 source-checkout digest fields and their generated metadata/ABI golden; all other machine-contract fields remain identical to the base.

Verification

Candidate: f47f3bda0026e6951e4cd9d708066a721643b6bd.
Base: 4dc1b3785df6e02bd33ac3f0c12dfe3b082db12b.

• Final committed npm run check passed, including 333 browser tests. Source state and both retained log hashes were checked again.
• Targeted app/command/contract-generator/release tests passed.
• Five isolated overlay controls detected the intended failures; this is not exhaustive mutation testing.
• Mermaid check passed; existing diagram bytes are unchanged.
• Four independent review lanes completed initial and final self-assessments. All final results were independently admitted, with eight closed scoped obligations and no surviving findings. Static review is separate from executed proof. Exact-head GitHub checks remain required before merge.

The earlier local gate on 6fda630 failed native-source digest freshness. It is not counted as success; the successor explicitly rebinds provenance and passes the gate. An interrupted review of that incomplete scope is not used as final proof.

Scope

No new command, runtime admission policy, machine schema semantics, source codec, dependency or platform change. Ordinary guidance JSON/text outputs remain byte-identical. Help text and machine source-provenance bytes do change.

This does not complete source-v2 selection/cutover, all-repository traceability, the postponed human study, signing policy or hosted publication. Local proof does not establish registry publication or production readiness.