Amagi Traceability Matrix v1.0: Requirements to Verification Coverage

License: This work is dual-licensed. (1) Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) for non-commercial use — https://creativecommons.org/licenses/by-nc/4.0/legalcode. (2) S-APL v2.0 (Strict Architectural Principle License) for commercial and safety-critical deployment — full text in the attached PDF and at https://zenodo.org/records/20753406. The Zenodo `license` field shows CC BY-NC 4.0 (the SPDX ID accepted by Zenodo); S-APL v2.0 is the second, mandatory license for any commercial or safety-critical use. Bidirectional traceability matrix per IEC 61508-1 §7.9, ISO 26262-4 §7.4.1, and DO-254 §6.2 linking hazards (H-01–H-08), safety requirements (SR-01–SR-16), invariants (INV-001–006, defined in NIPU v1.1), hardware components, formal verification properties, and test cases. Forward and backward coverage verified; four gaps identified with remediation plan. Aligned with: Framework v2.0, NIPU v1.1, MEM v1.1, HARA v1.0, FMEDA v1.0, Master Parameter Sheet v2.0, S-APL v2.0, Charter v1.2.