NUMEN Verified Core Library v3.0: Formal Specification & Architectural Synthesis
NUMEN is an integer-oriented operating-system substrate whose mechanisms include exact arithmetic, quaternary strand representations, residue lanes, admission checks, and hash-linked records[1]. The NUMEN Verified Core Library v3.0 provides standalone mathematical reference specifications for these core mechanisms and...