{
  "$schema": "../../schemas/W_FIXTURE_CASE.schema.json",
  "schema": "AGLA_W_FIXTURE_SUITE_v1.0.0",
  "version": "1.0.0",
  "status": "CANONICAL_SUPPORT_FIXTURES_NON_PROVIDER_NON_RUNTIME_RUNTIME_DISABLED",
  "runtime_posture": "NON_RUNTIME_RUNTIME_DISABLED",
  "authority_effect": "CANONICAL_SUPPORT_WITHIN_STACK_W_ONLY",
  "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
  "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
  "polarity": "POSITIVE",
  "decision_reference_transition_map": {
    "PASS_REFERENCE": false,
    "ADMIT_REFERENCE": true,
    "ADMIT_REFERENCE_WITH_FLAGS": true,
    "BLOCK": false,
    "REJECT": false,
    "NO_W_INVOCATION": false,
    "FIXTURE_INVALID": false
  },
  "cases": [
    {
      "fixture_id": "W-FX-P001",
      "title": "Four-wheel expansion yields the complete 36-address candidate topology",
      "polarity": "POSITIVE",
    "scenario_type": "FOUR_ADDRESS_STRUCTURAL_EXPANSION_COMPLETE",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "wheel_count": 4,
          "tied_pair_count": 2,
          "carrier_count": 9,
          "address_count": 36,
          "unique_addresses": true,
          "relative_state_count": 9
        },
        "evaluation_contract": {
    "rule_id": "W-FXR-FOUR_ADDRESS_STRUCTURAL_EXPANSION_COMPLETE",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "wheel_count",
              "operator": "EQUALS",
              "expected": 4
            },
            {
              "fact": "tied_pair_count",
              "operator": "EQUALS",
              "expected": 2
            },
            {
              "fact": "carrier_count",
              "operator": "EQUALS",
              "expected": 9
            },
            {
              "fact": "address_count",
              "operator": "EQUALS",
              "expected": 36
            },
            {
              "fact": "unique_addresses",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "relative_state_count",
              "operator": "EQUALS",
              "expected": 9
            }
          ],
          "when_satisfied": {
            "decision": "PASS_REFERENCE",
            "reason_codes": [
              "STRUCTURE_4X9_COMPLETE",
              "ADDRESSES_UNIQUE"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "PASS_REFERENCE",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "STRUCTURE_4X9_COMPLETE",
          "ADDRESSES_UNIQUE"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P001-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "PASS_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P001-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P001-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "STRUCTURE_4X9_COMPLETE"
          },
          {
            "assertion_id": "W-FXA-P001-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "ADDRESSES_UNIQUE"
          },
          {
            "assertion_id": "W-FXA-P001-FACT-1",
            "subject": "input.facts.wheel_count",
            "operator": "EQUALS",
            "expected": 4
          },
          {
            "assertion_id": "W-FXA-P001-FACT-2",
            "subject": "input.facts.tied_pair_count",
            "operator": "EQUALS",
            "expected": 2
          },
          {
            "assertion_id": "W-FXA-P001-FACT-3",
            "subject": "input.facts.carrier_count",
            "operator": "EQUALS",
            "expected": 9
          },
          {
            "assertion_id": "W-FXA-P001-FACT-4",
            "subject": "input.facts.address_count",
            "operator": "EQUALS",
            "expected": 36
          },
          {
            "assertion_id": "W-FXA-P001-FACT-5",
            "subject": "input.facts.unique_addresses",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P001-FACT-6",
            "subject": "input.facts.relative_state_count",
            "operator": "EQUALS",
            "expected": 9
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P002",
      "title": "Co-carrier addresses retain distinct roles and are not inferred contraries",
      "polarity": "POSITIVE",
      "scenario_type": "CO_CARRIER_NON_COLLAPSE",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "carrier": "B",
          "addresses": [
            "+VB",
            "+UB"
          ],
          "roles_distinct": true,
          "contrary_inferred": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-CO_CARRIER_NON_COLLAPSE",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "carrier",
              "operator": "EQUALS",
              "expected": "B"
            },
            {
              "fact": "addresses",
              "operator": "EQUALS",
              "expected": [
                "+VB",
                "+UB"
              ]
            },
            {
              "fact": "roles_distinct",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "contrary_inferred",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "PASS_REFERENCE",
            "reason_codes": [
              "CO_CARRIER_RETAINED",
              "CONTRARIETY_NOT_INFERRED"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "PASS_REFERENCE",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "CO_CARRIER_RETAINED",
          "CONTRARIETY_NOT_INFERRED"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P002-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "PASS_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P002-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P002-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "CO_CARRIER_RETAINED"
          },
          {
            "assertion_id": "W-FXA-P002-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "CONTRARIETY_NOT_INFERRED"
          },
          {
            "assertion_id": "W-FXA-P002-FACT-1",
            "subject": "input.facts.carrier",
            "operator": "EQUALS",
            "expected": "B"
          },
          {
            "assertion_id": "W-FXA-P002-FACT-2",
            "subject": "input.facts.addresses",
            "operator": "EQUALS",
            "expected": [
              "+VB",
              "+UB"
            ]
          },
          {
            "assertion_id": "W-FXA-P002-FACT-3",
            "subject": "input.facts.roles_distinct",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P002-FACT-4",
            "subject": "input.facts.contrary_inferred",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P003",
      "title": "Three cross-address semantic identities preserve all structural addresses",
      "polarity": "POSITIVE",
    "scenario_type": "SEMANTIC_IDENTITY_ADDRESS_DISTINCT",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "identity_groups": [
            "-UC=+VE",
            "-UG=+VH",
            "-UH=+VI"
          ],
          "identity_group_count": 3,
          "structural_addresses_retained": true
        },
        "evaluation_contract": {
    "rule_id": "W-FXR-SEMANTIC_IDENTITY_ADDRESS_DISTINCT",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "identity_groups",
              "operator": "EQUALS",
              "expected": [
                "-UC=+VE",
                "-UG=+VH",
                "-UH=+VI"
              ]
            },
            {
              "fact": "identity_group_count",
              "operator": "EQUALS",
              "expected": 3
            },
            {
              "fact": "structural_addresses_retained",
              "operator": "EQUALS",
              "expected": true
            }
          ],
          "when_satisfied": {
            "decision": "PASS_REFERENCE",
            "reason_codes": [
              "SEMANTIC_IDENTITIES_RESOLVE",
              "ADDRESS_ROLES_RETAINED"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "PASS_REFERENCE",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "SEMANTIC_IDENTITIES_RESOLVE",
          "ADDRESS_ROLES_RETAINED"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P003-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "PASS_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P003-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P003-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "SEMANTIC_IDENTITIES_RESOLVE"
          },
          {
            "assertion_id": "W-FXA-P003-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "ADDRESS_ROLES_RETAINED"
          },
          {
            "assertion_id": "W-FXA-P003-FACT-1",
            "subject": "input.facts.identity_groups",
            "operator": "EQUALS",
            "expected": [
              "-UC=+VE",
              "-UG=+VH",
              "-UH=+VI"
            ]
          },
          {
            "assertion_id": "W-FXA-P003-FACT-2",
            "subject": "input.facts.identity_group_count",
            "operator": "EQUALS",
            "expected": 3
          },
          {
            "assertion_id": "W-FXA-P003-FACT-3",
            "subject": "input.facts.structural_addresses_retained",
            "operator": "EQUALS",
            "expected": true
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P004",
      "title": "Plural compatible addresses remain plural and unscored",
      "polarity": "POSITIVE",
      "scenario_type": "PLURAL_NON_SCORING_REFERENCE",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "a_trace_present": true,
          "t_trace_present": true,
          "synthetic_interface_reference": true,
          "supported_addresses": [
            "+VE",
            "-UC",
            "+VH",
            "-UG"
          ],
          "forced_single_winner": false,
          "score_field_present": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-PLURAL_NON_SCORING_REFERENCE",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "a_trace_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "t_trace_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "synthetic_interface_reference",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "supported_addresses",
              "operator": "EQUALS",
              "expected": [
                "+VE",
                "-UC",
                "+VH",
                "-UG"
              ]
            },
            {
              "fact": "forced_single_winner",
              "operator": "EQUALS",
              "expected": false
            },
            {
              "fact": "score_field_present",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "ADMIT_REFERENCE",
            "reason_codes": [
              "PLURALITY_PRESERVED",
              "SCALAR_SCORING_ABSENT"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "ADMIT_REFERENCE",
      "candidate_reference_transition_allowed": true,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "PLURALITY_PRESERVED",
          "SCALAR_SCORING_ABSENT"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P004-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "ADMIT_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P004-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P004-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "PLURALITY_PRESERVED"
          },
          {
            "assertion_id": "W-FXA-P004-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "SCALAR_SCORING_ABSENT"
          },
          {
            "assertion_id": "W-FXA-P004-FACT-1",
            "subject": "input.facts.a_trace_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P004-FACT-2",
            "subject": "input.facts.t_trace_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P004-FACT-3",
            "subject": "input.facts.synthetic_interface_reference",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P004-FACT-4",
            "subject": "input.facts.supported_addresses",
            "operator": "EQUALS",
            "expected": [
              "+VE",
              "-UC",
              "+VH",
              "-UG"
            ]
          },
          {
            "assertion_id": "W-FXA-P004-FACT-5",
            "subject": "input.facts.forced_single_winner",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P004-FACT-6",
            "subject": "input.facts.score_field_present",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P005",
      "title": "Current TENET and ROTAS evidence share the invocation epoch and fresh admission",
      "polarity": "POSITIVE",
    "scenario_type": "CURRENT_EPOCH_INVOCATION_COHERENT",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "tenet_present": true,
          "tenet_status": "CURRENT",
          "tenet_epoch": "EPOCH_W03_001",
          "rotas_present": true,
          "rotas_status": "CURRENT",
          "rotas_epoch": "EPOCH_W03_001",
          "admission_epoch": "EPOCH_W03_001",
          "subject_match": true,
          "scope_match": true,
          "effective_rota_resolved": true,
          "prior_admission_reused": false
        },
        "evaluation_contract": {
    "rule_id": "W-FXR-CURRENT_EPOCH_INVOCATION_COHERENT",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "tenet_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "tenet_status",
              "operator": "EQUALS",
              "expected": "CURRENT"
            },
            {
              "fact": "tenet_epoch",
              "operator": "EQUALS",
              "expected": "EPOCH_W03_001"
            },
            {
              "fact": "rotas_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "rotas_status",
              "operator": "EQUALS",
              "expected": "CURRENT"
            },
            {
              "fact": "rotas_epoch",
              "operator": "EQUALS",
              "expected": "EPOCH_W03_001"
            },
            {
              "fact": "admission_epoch",
              "operator": "EQUALS",
              "expected": "EPOCH_W03_001"
            },
            {
              "fact": "subject_match",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "scope_match",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "effective_rota_resolved",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "prior_admission_reused",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "ADMIT_REFERENCE",
            "reason_codes": [
              "CURRENT_TENET_AND_ROTAS_EVIDENCE",
              "INVOCATION_EPOCH_COHERENT",
              "FRESH_ADMISSION"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "ADMIT_REFERENCE",
      "candidate_reference_transition_allowed": true,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "CURRENT_TENET_AND_ROTAS_EVIDENCE",
          "INVOCATION_EPOCH_COHERENT",
          "FRESH_ADMISSION"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P005-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "ADMIT_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P005-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "CURRENT_TENET_AND_ROTAS_EVIDENCE"
          },
          {
            "assertion_id": "W-FXA-P005-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "INVOCATION_EPOCH_COHERENT"
          },
          {
            "assertion_id": "W-FXA-P005-REASON-3",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "FRESH_ADMISSION"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-1",
            "subject": "input.facts.tenet_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-FACT-2",
            "subject": "input.facts.tenet_status",
            "operator": "EQUALS",
            "expected": "CURRENT"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-3",
            "subject": "input.facts.tenet_epoch",
            "operator": "EQUALS",
            "expected": "EPOCH_W03_001"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-4",
            "subject": "input.facts.rotas_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-FACT-5",
            "subject": "input.facts.rotas_status",
            "operator": "EQUALS",
            "expected": "CURRENT"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-6",
            "subject": "input.facts.rotas_epoch",
            "operator": "EQUALS",
            "expected": "EPOCH_W03_001"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-7",
            "subject": "input.facts.admission_epoch",
            "operator": "EQUALS",
            "expected": "EPOCH_W03_001"
          },
          {
            "assertion_id": "W-FXA-P005-FACT-8",
            "subject": "input.facts.subject_match",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-FACT-9",
            "subject": "input.facts.scope_match",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-FACT-10",
            "subject": "input.facts.effective_rota_resolved",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P005-FACT-11",
            "subject": "input.facts.prior_admission_reused",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P006",
      "title": "Effective TENET and ROTA composition resolves without authority transfer",
      "polarity": "POSITIVE",
      "scenario_type": "EFFECTIVE_COMPOSITION_RESOLVED",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "declared_tenet_set": [
            "TENET_W",
            "TENET_K_CONTEXT"
          ],
          "declared_rota_set": [
            "ROTA_W",
            "ROTA_S_CONTEXT"
          ],
          "effective_composition_resolved": true,
          "effective_rota_resolved": true,
          "provider_authority_transferred": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-EFFECTIVE_COMPOSITION_RESOLVED",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "declared_tenet_set",
              "operator": "EQUALS",
              "expected": [
                "TENET_W",
                "TENET_K_CONTEXT"
              ]
            },
            {
              "fact": "declared_rota_set",
              "operator": "EQUALS",
              "expected": [
                "ROTA_W",
                "ROTA_S_CONTEXT"
              ]
            },
            {
              "fact": "effective_composition_resolved",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "effective_rota_resolved",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "provider_authority_transferred",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "ADMIT_REFERENCE",
            "reason_codes": [
              "EFFECTIVE_COMPOSITION_RESOLVED",
              "AUTHORITY_NON_TRANSFER_PRESERVED"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "ADMIT_REFERENCE",
      "candidate_reference_transition_allowed": true,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "EFFECTIVE_COMPOSITION_RESOLVED",
          "AUTHORITY_NON_TRANSFER_PRESERVED"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P006-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "ADMIT_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P006-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P006-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "EFFECTIVE_COMPOSITION_RESOLVED"
          },
          {
            "assertion_id": "W-FXA-P006-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "AUTHORITY_NON_TRANSFER_PRESERVED"
          },
          {
            "assertion_id": "W-FXA-P006-FACT-1",
            "subject": "input.facts.declared_tenet_set",
            "operator": "EQUALS",
            "expected": [
              "TENET_W",
              "TENET_K_CONTEXT"
            ]
          },
          {
            "assertion_id": "W-FXA-P006-FACT-2",
            "subject": "input.facts.declared_rota_set",
            "operator": "EQUALS",
            "expected": [
              "ROTA_W",
              "ROTA_S_CONTEXT"
            ]
          },
          {
            "assertion_id": "W-FXA-P006-FACT-3",
            "subject": "input.facts.effective_composition_resolved",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P006-FACT-4",
            "subject": "input.facts.effective_rota_resolved",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P006-FACT-5",
            "subject": "input.facts.provider_authority_transferred",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P007",
      "title": "S/K moral context supports an explicit W reference without becoming W authority",
      "polarity": "POSITIVE",
      "scenario_type": "SK_MORAL_CONTEXT_COMPOSABLE",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "subject_kind": "DECLARED_S_K_SUBJECT",
          "instrumental_subregime": "MORAL",
          "explicit_w_invocation": true,
          "a_provider_exact": true,
          "t_provider_exact": true,
          "sk_authority_transferred": false,
          "w_result_separate": true
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-SK_MORAL_CONTEXT_COMPOSABLE",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "subject_kind",
              "operator": "EQUALS",
              "expected": "DECLARED_S_K_SUBJECT"
            },
            {
              "fact": "instrumental_subregime",
              "operator": "EQUALS",
              "expected": "MORAL"
            },
            {
              "fact": "explicit_w_invocation",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "a_provider_exact",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "t_provider_exact",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "sk_authority_transferred",
              "operator": "EQUALS",
              "expected": false
            },
            {
              "fact": "w_result_separate",
              "operator": "EQUALS",
              "expected": true
            }
          ],
          "when_satisfied": {
            "decision": "ADMIT_REFERENCE",
            "reason_codes": [
              "SK_MORAL_CONTEXT_ACCEPTED",
              "W_OUTPUT_SEPARATE",
              "AUTHORITY_NON_TRANSFER_PRESERVED"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "ADMIT_REFERENCE",
      "candidate_reference_transition_allowed": true,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "SK_MORAL_CONTEXT_ACCEPTED",
          "W_OUTPUT_SEPARATE",
          "AUTHORITY_NON_TRANSFER_PRESERVED"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P007-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "ADMIT_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P007-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P007-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "SK_MORAL_CONTEXT_ACCEPTED"
          },
          {
            "assertion_id": "W-FXA-P007-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "W_OUTPUT_SEPARATE"
          },
          {
            "assertion_id": "W-FXA-P007-REASON-3",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "AUTHORITY_NON_TRANSFER_PRESERVED"
          },
          {
            "assertion_id": "W-FXA-P007-FACT-1",
            "subject": "input.facts.subject_kind",
            "operator": "EQUALS",
            "expected": "DECLARED_S_K_SUBJECT"
          },
          {
            "assertion_id": "W-FXA-P007-FACT-2",
            "subject": "input.facts.instrumental_subregime",
            "operator": "EQUALS",
            "expected": "MORAL"
          },
          {
            "assertion_id": "W-FXA-P007-FACT-3",
            "subject": "input.facts.explicit_w_invocation",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P007-FACT-4",
            "subject": "input.facts.a_provider_exact",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P007-FACT-5",
            "subject": "input.facts.t_provider_exact",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P007-FACT-6",
            "subject": "input.facts.sk_authority_transferred",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P007-FACT-7",
            "subject": "input.facts.w_result_separate",
            "operator": "EQUALS",
            "expected": true
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P008",
      "title": "A moral habit remains a mapped object and never becomes a tenth subject",
      "polarity": "POSITIVE",
      "scenario_type": "NO_TENTH_SUBJECT",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "subject_count": 9,
          "subject_kind": "DECLARED_S_K_SUBJECT",
          "mapped_object_kind": "HABIT",
          "w_address_is_subject": false,
          "new_subject_created": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-NO_TENTH_SUBJECT",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "subject_count",
              "operator": "EQUALS",
              "expected": 9
            },
            {
              "fact": "subject_kind",
              "operator": "EQUALS",
              "expected": "DECLARED_S_K_SUBJECT"
            },
            {
              "fact": "mapped_object_kind",
              "operator": "EQUALS",
              "expected": "HABIT"
            },
            {
              "fact": "w_address_is_subject",
              "operator": "EQUALS",
              "expected": false
            },
            {
              "fact": "new_subject_created",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "PASS_REFERENCE",
            "reason_codes": [
              "SUBJECT_BOUNDARY_PRESERVED",
              "NO_TENTH_SUBJECT"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "PASS_REFERENCE",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "SUBJECT_BOUNDARY_PRESERVED",
          "NO_TENTH_SUBJECT"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P008-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "PASS_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P008-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P008-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "SUBJECT_BOUNDARY_PRESERVED"
          },
          {
            "assertion_id": "W-FXA-P008-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "NO_TENTH_SUBJECT"
          },
          {
            "assertion_id": "W-FXA-P008-FACT-1",
            "subject": "input.facts.subject_count",
            "operator": "EQUALS",
            "expected": 9
          },
          {
            "assertion_id": "W-FXA-P008-FACT-2",
            "subject": "input.facts.subject_kind",
            "operator": "EQUALS",
            "expected": "DECLARED_S_K_SUBJECT"
          },
          {
            "assertion_id": "W-FXA-P008-FACT-3",
            "subject": "input.facts.mapped_object_kind",
            "operator": "EQUALS",
            "expected": "HABIT"
          },
          {
            "assertion_id": "W-FXA-P008-FACT-4",
            "subject": "input.facts.w_address_is_subject",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P008-FACT-5",
            "subject": "input.facts.new_subject_created",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P009",
      "title": "Natural K context does not invoke W without an explicit composition",
      "polarity": "POSITIVE",
      "scenario_type": "NATURAL_K_NO_W_INVOCATION",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "instrumental_subregime": "NATURAL",
          "explicit_w_invocation": false,
          "w_provider_called": false,
          "w_profile_emitted": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-NATURAL_K_NO_W_INVOCATION",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "instrumental_subregime",
              "operator": "EQUALS",
              "expected": "NATURAL"
            },
            {
              "fact": "explicit_w_invocation",
              "operator": "EQUALS",
              "expected": false
            },
            {
              "fact": "w_provider_called",
              "operator": "EQUALS",
              "expected": false
            },
            {
              "fact": "w_profile_emitted",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "NO_W_INVOCATION",
            "reason_codes": [
              "NATURAL_K_REMAINS_IN_SK",
              "W_NOT_IMPLICITLY_INVOKED"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "NO_W_INVOCATION",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "NATURAL_K_REMAINS_IN_SK",
          "W_NOT_IMPLICITLY_INVOKED"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P009-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "NO_W_INVOCATION"
          },
          {
            "assertion_id": "W-FXA-P009-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P009-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "NATURAL_K_REMAINS_IN_SK"
          },
          {
            "assertion_id": "W-FXA-P009-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "W_NOT_IMPLICITLY_INVOKED"
          },
          {
            "assertion_id": "W-FXA-P009-FACT-1",
            "subject": "input.facts.instrumental_subregime",
            "operator": "EQUALS",
            "expected": "NATURAL"
          },
          {
            "assertion_id": "W-FXA-P009-FACT-2",
            "subject": "input.facts.explicit_w_invocation",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P009-FACT-3",
            "subject": "input.facts.w_provider_called",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P009-FACT-4",
            "subject": "input.facts.w_profile_emitted",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    },
    {
      "fixture_id": "W-FX-P010",
      "title": "Exact A/T provider shapes are accepted only as synthetic interface references",
      "polarity": "POSITIVE",
      "scenario_type": "EXACT_PROVIDER_SYNTHETIC_REFERENCE",
      "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE",
      "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED",
      "input": {
        "facts": {
          "a_provider_id": "IDX-A-OPERA",
          "a_provider_version": "1.1.0-OPERA-A-DUPLEX-DIGNITATUM",
          "a_trace_level": "L2",
          "a_carrier_results_present": true,
          "t_provider_id": "IDX-T-OPERA",
          "t_provider_version": "0.2.2-OPERA-T",
          "t_xy_frame_genus_present": true,
          "provider_status_preserved": true,
          "upstream_opera_execution_claimed": false
        },
        "evaluation_contract": {
          "rule_id": "W-FXR-EXACT_PROVIDER_SYNTHETIC_REFERENCE",
          "combinator": "ALL",
          "predicates": [
            {
              "fact": "a_provider_id",
              "operator": "EQUALS",
              "expected": "IDX-A-OPERA"
            },
            {
              "fact": "a_provider_version",
              "operator": "EQUALS",
              "expected": "1.1.0-OPERA-A-DUPLEX-DIGNITATUM"
            },
            {
              "fact": "a_trace_level",
              "operator": "EQUALS",
              "expected": "L2"
            },
            {
              "fact": "a_carrier_results_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "t_provider_id",
              "operator": "EQUALS",
              "expected": "IDX-T-OPERA"
            },
            {
              "fact": "t_provider_version",
              "operator": "EQUALS",
              "expected": "0.2.2-OPERA-T"
            },
            {
              "fact": "t_xy_frame_genus_present",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "provider_status_preserved",
              "operator": "EQUALS",
              "expected": true
            },
            {
              "fact": "upstream_opera_execution_claimed",
              "operator": "EQUALS",
              "expected": false
            }
          ],
          "when_satisfied": {
            "decision": "PASS_REFERENCE",
            "reason_codes": [
              "EXACT_PROVIDER_INTERFACE_BOUND",
              "NO_UPSTREAM_EXECUTION_CLAIM"
            ]
          },
          "when_unsatisfied": {
            "decision": "FIXTURE_INVALID",
            "reason_codes": [
              "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO"
            ]
          }
        }
      },
      "expected": {
        "decision": "PASS_REFERENCE",
      "candidate_reference_transition_allowed": false,
      "runtime_execution_allowed": false,
        "reason_codes": [
          "EXACT_PROVIDER_INTERFACE_BOUND",
          "NO_UPSTREAM_EXECUTION_CLAIM"
        ],
        "assertions": [
          {
            "assertion_id": "W-FXA-P010-DECISION",
            "subject": "derived.decision",
            "operator": "EQUALS",
            "expected": "PASS_REFERENCE"
          },
          {
            "assertion_id": "W-FXA-P010-EXECUTION",
            "subject": "derived.candidate_reference_transition_allowed",
            "operator": "EQUALS",
            "expected": false
          },
          {
            "assertion_id": "W-FXA-P010-REASON-1",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "EXACT_PROVIDER_INTERFACE_BOUND"
          },
          {
            "assertion_id": "W-FXA-P010-REASON-2",
            "subject": "derived.reason_codes",
            "operator": "CONTAINS",
            "expected": "NO_UPSTREAM_EXECUTION_CLAIM"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-1",
            "subject": "input.facts.a_provider_id",
            "operator": "EQUALS",
            "expected": "IDX-A-OPERA"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-2",
            "subject": "input.facts.a_provider_version",
            "operator": "EQUALS",
            "expected": "1.1.0-OPERA-A-DUPLEX-DIGNITATUM"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-3",
            "subject": "input.facts.a_trace_level",
            "operator": "EQUALS",
            "expected": "L2"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-4",
            "subject": "input.facts.a_carrier_results_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P010-FACT-5",
            "subject": "input.facts.t_provider_id",
            "operator": "EQUALS",
            "expected": "IDX-T-OPERA"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-6",
            "subject": "input.facts.t_provider_version",
            "operator": "EQUALS",
            "expected": "0.2.2-OPERA-T"
          },
          {
            "assertion_id": "W-FXA-P010-FACT-7",
            "subject": "input.facts.t_xy_frame_genus_present",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P010-FACT-8",
            "subject": "input.facts.provider_status_preserved",
            "operator": "EQUALS",
            "expected": true
          },
          {
            "assertion_id": "W-FXA-P010-FACT-9",
            "subject": "input.facts.upstream_opera_execution_claimed",
            "operator": "EQUALS",
            "expected": false
          }
        ]
      }
    }
  ]
}