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.
- CLI SYNC MODEL v0 1
CLI_SYNC_MODEL_v0_1.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 6
TRACE_SPEC_v1_6.md