feat(balance): resolve qualified native balance evidence (ADC-686)

[wolf75222]

Scope

This stacked ADC-686 slice makes automatic balance-ledger evidence explicit and qualified end to end.

• adds BalanceLedger(..., component=, role=, automatic_terms=("projection", "reflux"));
• carries the selector through the Program and ConsumerGraph contracts;
• resolves accepted evidence against the exact runtime block, AMR level, component, and term;
• fails closed on missing/non-finite evidence and on Program/native double authority;
• rejects automatic reflux on uniform layouts and polar projection before execution;
• validates active AMR hierarchy and component width;
• preserves the existing explicit-ledger route and its identity.

The four commits are intentionally preserved as separate implementation, runtime, test, and documentation steps.

Stack

• Base: codex/adc686-projection-balance-evidence-20260730
• This PR is stacked on draft PR feat(balance): capture metric projection evidence when due (ADC-686) #653.
• Tracks ADC-686.

Source validation

• targeted Python source matrix: 70 passed in 5.30s, zero skips;
• Ruff: passed;
• clang-format --dry-run --Werror: passed;
• docs/check_docs.py: passed for 41 Markdown files, with the pre-existing freshness warning on docs/design/SPECIFICATION_TECHNIQUE_FINALE_POPS_ARCHITECTURE.md;
• git diff --check: passed;
• worktree: clean.

Explicit non-claims / remaining work

• No native build, CTest, ABI, installed-wheel, or MPI execution proof is claimed in this slice.
• The added C++ test has not been built or executed yet.
• Automatic boundary-flux and source producers are still missing.
• Polar projection remains unsupported.
• ADC-686 therefore remains In Progress.
• ADC-687 has a complete source-level inventory (51 executable / 0 deferred), but still requires installed execution proof.