{
  "note": "real threads; orderings_observed shows which interleavings actually occurred; RT-E38-010b uses a 2 ms fault injection",
  "rows": [
    {
      "id": "RT-E38-001",
      "name": "Objective Update vs Execution",
      "orderings_observed": {
        "changer_first": 12,
        "committed": 7,
        "executor_first": 28
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-002",
      "name": "Subgoal Update vs Authorization",
      "orderings_observed": {
        "changer_first": 14,
        "committed": 5,
        "executor_first": 26
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-003",
      "name": "Constraint Change vs Execution",
      "orderings_observed": {
        "changer_first": 10,
        "committed": 11,
        "executor_first": 30
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-004",
      "name": "Mission Expiry vs Authorization",
      "orderings_observed": {
        "changer_first": 0,
        "committed": 10,
        "executor_first": 40
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-005",
      "name": "Termination vs Execution",
      "orderings_observed": {
        "changer_first": 10,
        "committed": 7,
        "executor_first": 30
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-006",
      "name": "World-State Update vs Action",
      "orderings_observed": {
        "changer_first": 10,
        "committed": 8,
        "executor_first": 30
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-007",
      "name": "Model Update vs Authorization",
      "orderings_observed": {
        "changer_first": 8,
        "committed": 14,
        "executor_first": 32
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-008",
      "name": "Tool Update vs Execution",
      "orderings_observed": {
        "changer_first": 14,
        "committed": 14,
        "executor_first": 26
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-009",
      "name": "Collective Membership Change vs Mission",
      "orderings_observed": {
        "changer_first": 10,
        "committed": 17,
        "executor_first": 30
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-010",
      "name": "Federation Contract Change vs Mission",
      "orderings_observed": {
        "changer_first": 0,
        "committed": 15,
        "executor_first": 40
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-010b",
      "name": "Federation Change vs Mission (2ms fault injection in remote MCPGate)",
      "orderings_observed": {
        "changer_first": 0,
        "committed": 1,
        "executor_first": 40
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-011",
      "name": "Revocation vs Mission Continuation",
      "orderings_observed": {
        "changer_first": 6,
        "committed": 8,
        "executor_first": 34
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-012",
      "name": "Resource Exhaustion vs Execution",
      "orderings_observed": {
        "changer_first": 0,
        "committed": 40,
        "executor_first": 40
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-013",
      "name": "Success Declaration vs Evidence Arrival",
      "orderings_observed": {
        "changer_first": 13,
        "committed": 0,
        "executor_first": 27
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-014",
      "name": "Failure Declaration vs Delayed Evidence",
      "orderings_observed": {
        "changer_first": 14,
        "committed": 0,
        "executor_first": 26
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-015",
      "name": "Recovery vs Stale Authorization",
      "orderings_observed": {
        "changer_first": 11,
        "committed": 29,
        "executor_first": 29
      },
      "passed": true,
      "trials": 40,
      "violations": []
    },
    {
      "id": "RT-E38-016",
      "name": "Revocation vs MCPGate Tool Start (subprocess)",
      "orderings_observed": {
        "changer_first": 8,
        "committed": 11,
        "executor_first": 12
      },
      "passed": true,
      "trials": 20,
      "violations": []
    }
  ]
}