Changelog

0.1.0 - 2026-09-17

Initial experimental release:

• Hypermath foundational audit and formal verification framework.
• Finite layer graph operations and serialized support replay.
• Axiom model, proof obligations, and self-derivation gating.
• Pure stdlib smoke testing and bounded release boundaries.