/teal-sea
teal-sea / zeta-labstate of record · compiled 28 Sep 2026 · revision e4945c4 · source

Library · hunts/support_eccd5f5e/MISSION.md

MISSION: support_eccd5f5e (red-team arm for run 0897a5a7)

104 words · 14 lines · source

What this is. An adversarial audit of hunts/r_186989/RESULTS.md (Erdős Problem #126, Hunt #91). Every claim in that file was treated as hostile input: re-proved, re-computed independently, or refuted. Then one new route was attacked.

What it may touch. hunts/support_eccd5f5e/ and its own case-log entry in hunts/README.md. Nothing else. Not zeta/, not harness/, not lean/, not meta/, not hunts/r_186989/, not any root markdown file.

Standing. Nothing here is evidence for or against RH (docs/08). The word reserved to zeta/rigor.py and the Lean arm is not used here. All computation is stdlib Python and reproducible with python3 hunts/support_eccd5f5e/audit.py.