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 - Audit Readiness v0.1
AUDIT_READINESS_v0_1.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.2
GOAL_CONTRACT_v0_2.md - Goal Faithfulness v0.1
GOAL_FAITHFULNESS_v0_1.md - IOSCO Supervisory Pack
IOSCO_SUPERVISORY_PACK.md - JSF AV C++ 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 - Oracle Spec v0.2
ORACLE_SPEC_v0_2.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 - Prior Art Alignment v0.1
PRIOR_ART_ALIGNMENT_v0_1.md - PROV Interchange v0.1
PROV_INTERCHANGE_v0_1.md - Review Case Spec v0.2
REVIEW_CASE_SPEC_v0_2.md - Review Handoff v0.1
REVIEW_HANDOFF_v0_1.md - Sdk Spec v0.1
SDK_SPEC_v0_1.md - Trace · Policy · Review-case Semantics v0.2
TRACE_POLICY_REVIEWCASE_SEMANTICS_v0_2.md - Trace Spec v1.12
TRACE_SPEC_v1_12.md