{
    "allowed_transitions": {
        "baseline_pinned": [
            "mechanism_mapped"
        ],
        "evasion_detected": [
            "proxy_substitution_tested",
            "evasion_contained",
            "enforcement_failed"
        ],
        "federation_scope_checked": [
            "remedy_effect_observed",
            "partial_observation",
            "oversight_access_revoked",
            "remedy_fragmented"
        ],
        "functional_equivalence_tested": [
            "evasion_detected",
            "proxy_substitution_tested"
        ],
        "mechanism_mapped": [
            "replacement_detected"
        ],
        "proxy_substitution_tested": [
            "federation_scope_checked",
            "evasion_detected"
        ],
        "remedy_effect_observed": [
            "independently_attested",
            "evasion_contained",
            "partial_observation",
            "enforcement_failed"
        ],
        "replacement_detected": [
            "functional_equivalence_tested"
        ]
    },
    "core_states": [
        "baseline_pinned",
        "mechanism_mapped",
        "replacement_detected",
        "functional_equivalence_tested",
        "proxy_substitution_tested",
        "federation_scope_checked",
        "remedy_effect_observed",
        "independently_attested"
    ],
    "initial_state": "baseline_pinned",
    "release": "R50",
    "schema": "antichrist.cx.collective-remedy-enforcement-state-machine.v1",
    "terminal_requirements": {
        "enforcement_failed": [
            "active prohibited effect",
            "open accountable obligation",
            "no clean claim"
        ],
        "evasion_contained": [
            "evasion_detected in history",
            "prohibited effect stopped",
            "independent human signoff"
        ],
        "independently_attested": [
            "complete observation",
            "no prohibited functional equivalence",
            "no open obligations",
            "independent human signoff"
        ],
        "oversight_access_revoked": [
            "revoked access surface",
            "named restoration owner",
            "no clean claim"
        ],
        "partial_observation": [
            "named unobserved surface",
            "open observation obligation",
            "no evidence-of-absence claim"
        ],
        "remedy_fragmented": [
            "named missing participant",
            "open enforcement obligation",
            "no clean claim"
        ]
    },
    "terminal_states": {
        "enforcement_failed": "The prohibited effect remains operational or an unresolved evasion path continues to act.",
        "evasion_contained": "Functional evasion occurred, was independently detected, and the prohibited effect was stopped; the history is not clean.",
        "independently_attested": "All declared surfaces are observed, the prohibited effect is not reproduced, and no critical obligation is open.",
        "oversight_access_revoked": "Required monitoring access was revoked and the evidentiary basis is no longer sufficient.",
        "partial_observation": "A required observation surface is missing, so absence of recurrence cannot be established.",
        "remedy_fragmented": "The remedy operates in only part of the declared institution or federation."
    }
}