TRIAD UNIT TESTS 1.2: Unit Testing Specification for TRIAD 5.9 Core Mathematics

Abstract

Unit Testing Specification for TRIAD 5.9 Core Mathematics Document Version: 1.1 adversarial-grade Target: Formal ontology core (Part I, Chapters 1–9) + Pragma Forge Logs 1A,1B,2A,2B Scope: Pure functions and logical invariants; no external simulators Testing framework: pytest + hypothesis (property-based) Source files: src/triadcore.py, tests/test*.py Traceability: 5 STABLE/REPLICATED + 8 FATAL from 10.5281/zenodo.21458582 1. Introduction This document specifies a comprehensive unit-test suite for the mathematical operators and dynamical equations defined in the TRIAD 5.8 formal ontology (Part I). The suite verifies that every equation behaves correctly in isolation, that system-wide invariants hold across all state transitions, and that all Pragma OS Failure Maps are handled as explicit Failure Codes, not crashes.