{
    "id": "derivation-loop",
    "check": {
        "by": ["the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis"],
        "population": "every process grammar, its kernel and its staged records",
        "freshness": "a verdict stands until the loop, a grammar or a staged record changes",
        "refusal": "the gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage",
        "observation": "none: the loop is a procedure the grammars instantiate, and nothing observes it while a run executes",
        "evidence": "fires-and-accepts: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record",
        "authority": "the loop's stage list, which every kernel and staged record cites"
    },
    "stages": [
        {"id": "orient",
            "axis": "ontology"},
        {"id": "intent",
            "axis": "teleology"},
        {"id": "see",
            "axis": "analysis"},
        {"id": "derive",
            "axis": "reasoning"},
        {"id": "project",
            "axis": "reasoning"},
        {"id": "act",
            "axis": "formalization"},
        {"id": "constrain",
            "axis": "teleology"},
        {"id": "verify",
            "axis": "verification"},
        {"id": "commit",
            "axis": "representation"},
        {"id": "terminate",
            "axis": "termination"}
    ],
    "transitions": [
        {"from": "orient",
            "to": "intent",
            "kind": "sequences"},
        {"from": "intent",
            "to": "see",
            "kind": "gates",
            "gate": "tel-priority",
            "onFail": "redirect"},
        {"from": "see",
            "to": "derive",
            "kind": "sequences"},
        {"from": "derive",
            "to": "project",
            "kind": "sequences"},
        {"from": "project",
            "to": "act",
            "kind": "sequences"},
        {"from": "act",
            "to": "constrain",
            "kind": "sequences"},
        {"from": "constrain",
            "to": "verify",
            "kind": "sequences"},
        {"from": "verify",
            "to": "derive",
            "kind": "refutes-back",
            "gate": "ver-evidence",
            "onFail": "derive"},
        {"from": "verify",
            "to": "commit",
            "kind": "sequences"},
        {"from": "commit",
            "to": "terminate",
            "kind": "sequences"},
        {"from": "terminate",
            "to": "orient",
            "kind": "sequences",
            "gate": "ter-stop",
            "onPass": "stop"}
    ]
}