HAL is not a robot given intelligence. It is intelligence waiting for the right body. Every decision verified. Every belief earned. Every mistake caught before it costs anything.
Every claim passes two deterministic gates. Shannon surprisal against measured population frequencies. Not a model's confidence — a measurement you can audit yourself.
141 claims tested and rejected. Zero deleted. Hash-chained and tamper-evident. An external auditor can verify the entire record independently.
Independently rediscovered four known mathematical theorems from numerical measurement alone — including a result from Arnold's 1978 textbook. Without being given the answer.
Defence. Safety-critical engineering. AI-for-science. The EU AI Act enforcement provisions took effect August 2026. The FY2026 NDAA requires DoD contractors to audit the AI they deploy. The requirement is no longer optional — and most AI systems cannot satisfy it. This one can.