Read B46_NATIVE_AUDIT/AUDIT_REPORT_2026-10-01.md and FINAL_AUDIT_STATUS.json first.
All current 1,142 proved-native ETC entries have universally replayed containment in the rational part of B46.
This does not classify all ETC entries or prove that B46 is the maximal Heart. Original attractiveness records are inherited, not all independently recertified in this containment audit.
Fresh containment verification: python replay_proved_b46_audit.py; python verify_proved_b46_denominators.py.
Replay is checkpointed: use a copy with its independent replay journal set aside for a full fresh run. Preserve delivered originals.
Dependencies: SymPy 1.14.0, mpmath 1.3.0, NumPy 2.3.5. Numerical binary clouds are regenerable and omitted.
Previous reports describe historical stages and can be superseded by this report.
