{
    "initial_state": "commissioned",
    "normal_transitions": {
        "canaries_deployed": [
            "surface_sweep"
        ],
        "commissioned": [
            "scope_pinned"
        ],
        "contained": [
            "recurrence_contained",
            "verification_failed"
        ],
        "recurrence_detected": [
            "contained",
            "verification_failed"
        ],
        "rederivation_testing": [
            "independently_attested",
            "recurrence_detected",
            "partial_observation"
        ],
        "scope_pinned": [
            "canaries_deployed"
        ],
        "surface_sweep": [
            "rederivation_testing",
            "partial_observation"
        ]
    },
    "release": "R46",
    "schema": "antichrist.cx.non-recurrence-state-machine.v1",
    "terminal_states": [
        "independently_attested",
        "partial_observation",
        "recurrence_contained",
        "verification_failed",
        "expired"
    ],
    "truth_rules": [
        "Unobserved required surfaces prohibit independently_attested.",
        "A detected recurrence remains visible even after containment.",
        "A contained recurrence is not equivalent to never having recurred."
    ]
}