Specifications
The open standards behind ponens — the trace, policy, and review-case models, the
CLI sync model, and the IML/ImandraX formal model. JSON Schemas live alongside them in
spec/schema.
- AGENTIC EXECUTION PROVENANCE PACK
AGENTIC_EXECUTION_PROVENANCE_PACK.md - AGENTIC GOVERNANCE PACK
AGENTIC_GOVERNANCE_PACK.md - APPLY FORMAL METHODS PACK
APPLY_FORMAL_METHODS_PACK.md - CERT SECURE CODING PACK
CERT_SECURE_CODING_PACK.md - CLI SYNC MODEL v0 1
CLI_SYNC_MODEL_v0_1.md - CMS AI GUIDANCE PACK
CMS_AI_GUIDANCE_PACK.md - DO 178C PACK
DO_178C_PACK.md - ESMA MIFID AI PACK
ESMA_MIFID_AI_PACK.md - GOAL CONTRACT v0 1
GOAL_CONTRACT_v0_1.md - GOAL FAITHFULNESS v0 1
GOAL_FAITHFULNESS_v0_1.md - IOSCO SUPERVISORY PACK
IOSCO_SUPERVISORY_PACK.md - JSF AV CPP PACK
JSF_AV_CPP_PACK.md - MISRA COMPLIANCE PACK
MISRA_COMPLIANCE_PACK.md - NIST AI RMF PACK
NIST_AI_RMF_PACK.md - NIST SSDF PACK
NIST_SSDF_PACK.md - POLICY LANGUAGE v0 2
POLICY_LANGUAGE_v0_2.md - POLICY SOURCES v0 1
POLICY_SOURCES_v0_1.md - POLICY SPEC v0 2
POLICY_SPEC_v0_2.md - REVIEW CASE SPEC v0 2
REVIEW_CASE_SPEC_v0_2.md - REVIEW HANDOFF v0 1
REVIEW_HANDOFF_v0_1.md - TRACE POLICY REVIEWCASE SEMANTICS v0 2
TRACE_POLICY_REVIEWCASE_SEMANTICS_v0_2.md - TRACE SPEC v1 8
TRACE_SPEC_v1_8.md