[ADC-695] Integrate final examples and authenticate exact proofs

[wolf75222]

Scope

This remains a fail-closed ADC-695 integration slice stacked on the current release gate. Dependency history is preserved through explicit merge commits; no dependency was squashed, rebased, amended, or copied.

Refreshed heads integrated:

• current ADC-688 release/codesign proof at 687aa343, merged by 41fe47e3;
• ADC-690 / [ADC-690] Prove multiphysics diagnostics and fail-closed layouts #637 at 0df231ad, merged by 6e362695;
• ADC-691 / [ADC-691] Prove complete IMEX-AMR lowering and rollback #639 at 81f879af, merged by 2077c258;
• ADC-692 / [ADC-692] Prove scalar accuracy and conservative AMR coupling #642 at 7dda726b, merged by 4bc1aed1;
• ADC-693 / ADC-693: delete duplicate model and runtime block authoring aliases #644 at 22881e39, merged by 45e84918;
• ADC-694 / ADC-694: complete the generic HyQMOM15 closure and transaction proof #645 at 5d4b3ab1, merged by 3fb8a077;
• fail-closed JUnit reauthentication at 5823259f, merged by 01bfb414.

Final-gate slice

• require one exact runtime acceptance and one exact qualification node for each of the four normative final examples;
• scalar proves a real dynamic AMR regrid, strict restart capability, and exact public regrid_count/topology_epoch;
• multiphysics refuses missing component mappings before artifact publication;
• IMEX-AMR persists accepted hysteresis state and proves rollback/restart/manual/preset parity;
• HyQMOM15 uses a real user @closure(4), authenticates every provisional Program store, checks realizability, and enforces the M00 drift bound;
• remove the public Python System.add_block/AmrSystem.add_block aliases and block their resurrection via __getattr__;
• keep the retained wheel's native bytes identical across codesign, conformance, examples, and publication;
• run the required wheel lane with xfail_strict=true;
• reparse retained JUnit during preflight, recompute tests/failures/skips, and require all eight exact nodeids exactly once;
• reject omission, duplication, rename, skip/xfail/XPASS, common mocks, module-level optional markers, or a JSON summary that differs from XML.

Validation on the combined source head

• release/final-gate source batch after merging the current ADC-688 base: 44 passed;
• combined ADC-693 + final qualification batch: 48 passed;
• static scripts/release_preflight.py: passed;
• every configured ledger node resolves to one existing test function;
• Ruff, component catalog, docs, and git diff --check: passed;
• docs retain one existing freshness warning.

An attempt to execute HyQMOM under PYTHONPATH=python correctly failed closed because no native pops._pops backend was loaded. This is not weakened into a fake serial fallback: executable acceptance belongs to the installed-package lane.

Explicit non-claims / blockers

This PR does not close ADC-695 yet. No native rebuild, exact-wheel install, CTest/MPI campaign, codesign execution, four-example runtime campaign, artifact reopen campaign, or strict restart campaign was performed on this combined head. ADC-687 owns the single native lane and the full eight-node installed-wheel JUnit campaign remains required before closure.

[wolf75222]

P3 runtime/IO consolidation merged into the ADC-695 final gate with full history (94b5cbcf), followed by contract reconciliation (44da2f8d).

Current source evidence on this head:

• 165 architecture/release tests passed
• static release preflight passed (schema/composite evidence version 10)
• focused diagnostic schema test passed; the remaining async diagnostic batch correctly stops without a loaded _pops extension and is not claimed
• Ruff, py_compile, clang-format, docs lint and diff check passed

The installed/native final gate remains pending the unique ADC-687 build lane; no serial fallback or source-only result is being relabelled as installed proof.