{
  "source_baseline": "UD_COEFFICIENT_PROVENANCE_LEDGER_v0.64_REMAINING_BE_CORRECTION_AUDIT",
  "source_baseline_sha256": "438f5b607cd671a4ab4bccd932e6f766b8f03379c67070ae6a6ad80ee2105cb6",
  "scientific_revision_date": "2026-09-06",
  "scientific_revision": "v0.43",
  "revision_type": "APPEND_ONLY_CURRENT_ACTION_RATIO_CANONICALIZATION",
  "typed_objects": 448,
  "physical_promotion": 0,
  "claim_bin_counts": {
    "EXACT_INTERNAL": 51,
    "COMPUTED_BRIDGE": 11,
    "DERIVED_STRUCTURAL": 36,
    "QUARANTINED_CANDIDATE": 32,
    "SOURCE_STRATUM": 10,
    "EXACT_CONDITIONAL": 89,
    "NOT_A_COEFFICIENT": 15,
    "SIMULATION_CALIBRATED": 4,
    "PROTOCOL_CONTROL": 23,
    "EXPELLED": 2,
    "EXACT_PROXY": 2,
    "LOCKED_MATHEMATICAL_GEOMETRY": 9,
    "LOCKED_INTERNAL_MATHEMATICS": 83,
    "OPEN_GAP": 2,
    "LOCKED_NO_GO": 46,
    "LOCKED_SOURCE_STRUCTURE": 2,
    "LOCKED_STATUS": 31
  },
  "namespace_counts": {
    "P": 10,
    "F": 6,
    "C": 10,
    "Q": 335,
    "G": 8,
    "B": 6,
    "H": 5,
    "O": 65,
    "L": 1,
    "X": 2
  },
  "scientific_changes": [
    "User-supplied 2026-08-29 PASS_REPAIR establishes the current convention-invariant action ratio eta_A := A_0/hbar.",
    "Bare historical xi_hbar remains retired/frozen from unqualified current numerical use.",
    "Historical convention A0 = xi_hbar^(A) hbar maps to xi_hbar^(A)=eta_A.",
    "Historical convention hbar = xi_hbar^(B) A0 maps to xi_hbar^(B)=eta_A^(-1).",
    "The earlier v0.42 NO_LAWFUL_BRANCH_SELECTION ruling is narrowed: no historical bare-xi convention was recovered, but current canon is lawfully defined by eta_A=A0/hbar.",
    "B_0 is mass-like for dimensional closure of both A_0=B_0 a_0^2/tau_0 and the native Newton-unit map.",
    "Numerical eta_A remains OPEN; primitive quantum-holonomy normalization equality remains OPEN; physical promotion remains zero."
  ],
  "rows": [
    {
      "id": "P01",
      "symbol": "V(K4)",
      "exact_form": "4",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE ROOT GENERATOR",
      "next_gate": "none for count; physical dimension interpretations remain downstream",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "V(K_4)",
      "reconciliation_notes": ""
    },
    {
      "id": "P02",
      "symbol": "E(K4)",
      "exact_form": "6",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE ROOT GENERATOR",
      "next_gate": "none for count",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "E(K_4)",
      "reconciliation_notes": ""
    },
    {
      "id": "P03",
      "symbol": "\\|Aut(K4)\\| = \\|S4\\|",
      "exact_form": "24",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE ROOT GENERATOR",
      "next_gate": "none for group order",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "\\|Aut(K_4)\\| = \\|S_4\\|",
      "reconciliation_notes": ""
    },
    {
      "id": "P04",
      "symbol": "\\|Theta\\|",
      "exact_form": "2^3 = 8",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE ROOT GENERATOR",
      "next_gate": "closure/admissibility rule must justify the unique reference state",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "\\|\\Theta\\|",
      "reconciliation_notes": ""
    },
    {
      "id": "P05",
      "symbol": "N1",
      "exact_form": "24 * 8 = 192",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE / SECTION-7 DEPENDENCY",
      "next_gate": "any observable interpretation must be derived separately",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_1",
      "reconciliation_notes": ""
    },
    {
      "id": "P06",
      "symbol": "Delta_theta",
      "exact_form": "8 - 1 = 7",
      "claim_bin": "EXACT_INTERNAL",
      "status": "ACTIVE / SECTION-7 DEPENDENCY",
      "next_gate": "continue to preserve the closure-rule proof independently of downstream matches",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "\\Delta_\\theta",
      "reconciliation_notes": ""
    },
    {
      "id": "P07",
      "symbol": "G1_default",
      "exact_form": "4",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "DEFAULT NATIVE SELECTOR WITH TESTED-SCOPE GUARD",
      "next_gate": "general branch grammar / larger-scope recurrence",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "G_{1,default}",
      "reconciliation_notes": ""
    },
    {
      "id": "P08",
      "symbol": "G1_dense",
      "exact_form": "12",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "ADMISSIBLE DENSE ALTERNATE",
      "next_gate": "global consistency / dense-branch recurrence",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "G_{1,dense}",
      "reconciliation_notes": ""
    },
    {
      "id": "P09",
      "symbol": "N2_default / N2_dense",
      "exact_form": "768 / 2304",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "BRANCH-SPLIT LADDER CANDIDATES",
      "next_gate": "branch selector generalization",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "N_{2,default} / N_{2,dense}",
      "reconciliation_notes": ""
    },
    {
      "id": "P10",
      "symbol": "N_layer",
      "exact_form": "4 * 8 = 32",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "STRONG NATIVE LAYER-DEPTH CANDIDATE; CURRENT BANACH ATTENUATION OVER-SUPPRESSES; TERMINATION/NORMALIZATION OPEN",
      "next_gate": "prove the 32-layer termination and per-layer attenuation normalization independently of the hierarchy target",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "N_{layer}",
      "reconciliation_notes": "quarantined; blocked from settled mainline use; 32 is native-count supported but sequential depth/termination remains unproved"
    },
    {
      "id": "F01",
      "symbol": "R_d",
      "exact_form": "(d+1)/d, d>=1",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / DIMENSION-TYPED FRAME FAMILY",
      "next_gate": "none for frame identity; any dynamics using a special R_d needs an independent source law",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "R_d",
      "reconciliation_notes": ""
    },
    {
      "id": "F02",
      "symbol": "C_d",
      "exact_form": "d/(d+1), d>=0",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / DIMENSION-TYPED RECIPROCAL FAMILY",
      "next_gate": "none for frame/norm identity",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "C_d",
      "reconciliation_notes": ""
    },
    {
      "id": "F03",
      "symbol": "R_3^(tet-face)",
      "exact_form": "4/3",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT COFRAME-SHAPE FACTOR UNDER DECLARED DYAD DEFINITION",
      "next_gate": "physical coframe interpretation requires independent continuum/transport bridge",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "R_3^(tet-face)",
      "reconciliation_notes": "COLLISION-02: same rational value, different types"
    },
    {
      "id": "F04",
      "symbol": "C_3^(tet-center)",
      "exact_form": "3/4",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT GEOMETRIC LOCATION; OLD9 DYNAMICAL REUSE FROZEN",
      "next_gate": "any dynamical use must be independently source-derived",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "C_3^(tet-center)",
      "reconciliation_notes": "COLLISION-03: repeated 3/4 value on different carriers"
    },
    {
      "id": "F05",
      "symbol": "R_4^(5-state address)",
      "exact_form": "5/4",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT ADDRESS-FRAME IDENTITY",
      "next_gate": "none for address-frame identity",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "R_4^(5-state address)",
      "reconciliation_notes": ""
    },
    {
      "id": "F06",
      "symbol": "dim Sym^2_0(3)",
      "exact_form": "5 = 2 + 3",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT OPERATOR-SPACE DIMENSION",
      "next_gate": "deficit-allocation/interface map if used as divisor in alpha_struct",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "dim Sym^2_0(3)",
      "reconciliation_notes": "COLLISION-08: repeated dimension/value 5"
    },
    {
      "id": "C01",
      "symbol": "r_Delta",
      "exact_form": "7/192",
      "claim_bin": "EXACT_INTERNAL",
      "status": "LOCKED INTERNAL STRUCTURAL RATIO",
      "next_gate": "none for arithmetic; each physical alias needs its own gate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "r_\\Delta",
      "reconciliation_notes": ""
    },
    {
      "id": "C02",
      "symbol": "r_retain",
      "exact_form": "185/192",
      "claim_bin": "EXACT_INTERNAL",
      "status": "LOCKED INTERNAL STRUCTURAL RATIO",
      "next_gate": "physical spectral-index interpretation requires its own cosmology proof",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "r_{retain}",
      "reconciliation_notes": ""
    },
    {
      "id": "C03",
      "symbol": "C_vertex",
      "exact_form": "7/768",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "ACTIVE STRUCTURAL RATIO; PHYSICAL CAPACITY LANGUAGE SCOPED",
      "next_gate": "derive the local admissibility law independently of physical cutoff claims",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "C_vertex",
      "reconciliation_notes": ""
    },
    {
      "id": "C04",
      "symbol": "beta_UD",
      "exact_form": "ln(192/185)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "ACTIVE STRUCTURAL FLOW COEFFICIENT; RG INTERPRETATION NOT PRIMITIVE",
      "next_gate": "derive the dynamics that make this logarithm the actual coarse-scale flow rate",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "\\beta_{UD}",
      "reconciliation_notes": ""
    },
    {
      "id": "C05",
      "symbol": "d_seat",
      "exact_form": "5",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT NATIVE FIVE-DIMENSIONAL RESPONSE SPACE",
      "next_gate": "none for dimension; any deficit-to-response allocation law is separate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "d_seat",
      "reconciliation_notes": "COLLISION-08: repeated dimension/value 5"
    },
    {
      "id": "C06",
      "symbol": "alpha_struct^(0)",
      "exact_form": "7/960",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK EXACT INTERNAL NORMALIZED RATIO / AUTO_FREEZE AS CURRENT q-PAIRING HAMILTONIAN COEFFICIENT",
      "next_gate": "derive an independent S4-invariant source functional before any physical coupling interpretation",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "\\alpha_{struct}^{(0)}",
      "reconciliation_notes": "7/960 is an exact internal normalized ratio; physical coupling interpretation is frozen"
    },
    {
      "id": "C07",
      "symbol": "S0",
      "exact_form": "43/7",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "B1-D DERIVED FORMAL / ACTIVE INTERNAL SUPPORT",
      "next_gate": "maintain consistency between the two support derivations and current packet grammar",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "S0",
      "reconciliation_notes": ""
    },
    {
      "id": "C08",
      "symbol": "H",
      "exact_form": "101/6",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "B1-D DERIVED FORMAL; PHYSICAL IDENTITY GAP OPEN",
      "next_gate": "continue reconciliation of parity doubling, identity increment, coherence rebate, and C3_7 burden ledger",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "H",
      "reconciliation_notes": "101/6 is structural H/heavy-lift quantity; physical identity/B_e equality remains open"
    },
    {
      "id": "C09",
      "symbol": "C_star",
      "exact_form": "7/8",
      "claim_bin": "SOURCE_STRATUM",
      "status": "SOURCE-STRATUM / NEEDS CURRENT REBASE",
      "next_gate": "re-derive under current finite-register admissibility grammar",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "C_star",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "C10",
      "symbol": "Q_agree / Q_Koide",
      "exact_form": "2/3",
      "claim_bin": "SOURCE_STRATUM",
      "status": "NOTATION COLLISION / CONTEXT QUALIFICATION REQUIRED",
      "next_gate": "split symbols by mechanism and re-audit each route",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "Q_agree / Q_Koide",
      "reconciliation_notes": "historical/source-layer; not current physical canon; COLLISION-04: 2/3 notation/value collision"
    },
    {
      "id": "Q01",
      "symbol": "Q_A,Q_B,Q_C coefficients",
      "exact_form": "permutations of (-2/3, 1/3, 1/3)",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXPLICIT PAIRING 2-IRREP REALIZATION",
      "next_gate": "source dynamics must supply a nonzero weight contrast to activate energy in this channel",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "Q_A,Q_B,Q_C coefficients",
      "reconciliation_notes": ""
    },
    {
      "id": "Q02",
      "symbol": "\\|\\|Q_i\\|\\|_F^2",
      "exact_form": "2/3",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT OPERATOR NORM",
      "next_gate": "none for norm",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "\\|\\|Q_i\\|\\|_F^2",
      "reconciliation_notes": "COLLISION-04: 2/3 notation/value collision"
    },
    {
      "id": "Q03",
      "symbol": "R_pair-op",
      "exact_form": "3/2",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT PAIRING-OPERATOR FRAME CONSTANT",
      "next_gate": "none for frame identity; source amplitude remains separate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "R_pair-op",
      "reconciliation_notes": ""
    },
    {
      "id": "Q04",
      "symbol": "a_star = K_q^star/G",
      "exact_form": "3/2",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / CURRENT SOURCE-COMPLETE q-SCALAR BLOCK",
      "next_gate": "non-scalar q activation requires independently derived edge-class contrast or other lawful source asymmetry",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "a_star = K_q^star/G",
      "reconciliation_notes": ""
    },
    {
      "id": "Q05",
      "symbol": "b_star = K_m^star/G",
      "exact_form": "11/4",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / CURRENT SOURCE-COMPLETE m-SCALAR BLOCK",
      "next_gate": "boundary/source corrections may split modes but physical units remain downstream",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "b_star = K_m^star/G",
      "reconciliation_notes": ""
    },
    {
      "id": "Q06",
      "symbol": "kappa_q,pair^current",
      "exact_form": "0",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / CURRENT SOURCE-SELECTED PAIRING q AMPLITUDE IS ZERO",
      "next_gate": "derive unequal edge-class source weights or another lawful source if a nonzero q quadrupole is proposed",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "kappa_q,pair^current",
      "reconciliation_notes": "COLLISION-07: zero-valued source amplitudes with distinct provenance"
    },
    {
      "id": "Q07",
      "symbol": "mu_partial",
      "exact_form": "{0, 1/9, 1/3}",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / BASIS-INDEPENDENT BOUNDARY SPECTRUM",
      "next_gate": "recover retained m representation/intertwiner for S4 channel alignment",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "mu_partial",
      "reconciliation_notes": ""
    },
    {
      "id": "Q08",
      "symbol": "mu_bar",
      "exact_form": "4/27",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT ISOTROPIC BOUNDARY SHIFT",
      "next_gate": "none for mean; source amplitude lambda_partial remains separate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "mu_bar",
      "reconciliation_notes": ""
    },
    {
      "id": "Q09",
      "symbol": "spec(T_partial)",
      "exact_form": "{-4/27, -1/27, 5/27}",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT TRACELESS BOUNDARY ANISOTROPY",
      "next_gate": "recover rho_m(g) or an explicit intertwiner U",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "spec(T_partial)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q10",
      "symbol": "Tr(T_partial^2)",
      "exact_form": "14/243",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT BOUNDARY ANISOTROPY INVARIANT",
      "next_gate": "representation alignment for channel-specific meaning",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "Tr(T_partial^2)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q11",
      "symbol": "omega_0^2",
      "exact_form": "33/8",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / EXACT MODE BASELINE WITHIN CURRENT RETAINED HAMILTONIAN",
      "next_gate": "physical mapping and broader source generality downstream",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "omega_0^2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q12",
      "symbol": "r_0^2",
      "exact_form": "11/6",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / EXACT MODE RESPONSE FACTOR",
      "next_gate": "same as Q11",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "r_0^2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q13",
      "symbol": "lambda_partial(zeta)",
      "exact_form": "beta_F^2/(zeta-Delta_F); positivity requires lambda_partial > -33/4",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL FAMILY FORM / PRIMITIVE AMPLITUDE AND GAP SOURCE-BLOCKED",
      "next_gate": "recover explicit radial vertical Hamiltonian D_F and coupling block B_F from source data",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "lambda_partial(zeta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q14",
      "symbol": "kappa_pair^(uniaxial contrast coordinate)",
      "exact_form": "kappa = W_A-W_B = W_A-W_C on W_B=W_C; -9/2 < kappa < 9/4",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / UNIAXIAL EDGE-CLASS CONTRAST COORDINATE; CURRENT VALUE 0 UNDER EQUAL WEIGHTS",
      "next_gate": "derive actual W_A,W_B,W_C from packet source dynamics; no target backsolve",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "kappa_pair^(uniaxial contrast coordinate)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q15",
      "symbol": "c_partial,2 / c_partial,3",
      "exact_form": "UNRESOLVED",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "AUTO_FREEZE / NOT CANONICALLY COMPUTABLE FROM SPECTRUM ALONE",
      "next_gate": "BOUNDARY_PAIRING_ALIGNMENT_SOURCE_RECOVERY_GATE: recover rho_m(g) or U in the same basis as S_partial",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "c_partial,2 / c_partial,3",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q16",
      "symbol": "E_5(T_partial)",
      "exact_form": "14/1215",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT SCALAR RESPONSE DENSITY",
      "next_gate": "none for invariant; physical source interpretation separate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "E_5(T_partial)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q17",
      "symbol": "beta_F",
      "exact_form": "OPEN",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "AUTO_FREEZE AGAINST HISTORICAL SYMBOL REUSE / SOURCE-BLOCKED",
      "next_gate": "recover B_F and derive B_F B_F^T normalization",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "beta_F",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q18",
      "symbol": "Delta_F",
      "exact_form": "OPEN",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "AUTO_FREEZE AGAINST HISTORICAL Delta REUSE / SOURCE-BLOCKED",
      "next_gate": "recover D_F and derive its spectrum",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "Delta_F",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q19",
      "symbol": "zeta_F (operative spectral point)",
      "exact_form": "OPEN",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "SOURCE-BLOCKED / NO TARGET-BACKSOLVE",
      "next_gate": "derive state/energy selection rule from fine Hamiltonian",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "zeta_F (operative spectral point)",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q20",
      "symbol": "delta_pair = (delta_A,delta_B,delta_C)",
      "exact_form": "delta_i=W_i-(W_A+W_B+W_C)/3; delta_A+delta_B+delta_C=0",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / EXACT SOURCE VARIABLE FAMILY; CURRENT EQUAL-CELL STAR HAS delta_pair=0",
      "next_gate": "derive W_A,W_B,W_C from lawful defect, boundary, burden-current, or transport-cost dynamics",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "delta_pair = (delta_A,delta_B,delta_C)",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "Q21",
      "symbol": "A_pair^2 = \\|\\|Q_src\\|\\|_F^2",
      "exact_form": "delta_A^2+delta_B^2+delta_C^2 = [(W_A-W_B)^2+(W_B-W_C)^2+(W_C-W_A)^2]/3",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / EXACT DYNAMIC SOURCE INVARIANT; CURRENT VALUE 0 UNDER EQUAL WEIGHTS",
      "next_gate": "test source histories that generate nonzero class-weight contrast without fitting",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "A_pair^2 = \\|\\|Q_src\\|\\|_F^2",
      "reconciliation_notes": ""
    },
    {
      "id": "G01",
      "symbol": "g_G^lat = G_eff^lattice",
      "exact_form": "3/(4*pi)",
      "claim_bin": "SIMULATION_CALIBRATED",
      "status": "PASS_LOCKED WITHIN TESTED PROTOCOLS",
      "next_gate": "physical scale mapping and broader observable/general-topology validation",
      "use_class": "PROTOCOL_CALIBRATED",
      "claim_bin_meaning": "Value calibrated or passed inside a declared simulation protocol; not a universal theory constant.",
      "display_symbol": "g_G^lat = G_eff^lattice",
      "reconciliation_notes": "COLLISION-01: same numerical form, distinct provenance"
    },
    {
      "id": "G02",
      "symbol": "beta_A",
      "exact_form": "1/12",
      "claim_bin": "SIMULATION_CALIBRATED",
      "status": "PASS_LOCKED WITHIN R10a",
      "next_gate": "replication across additional source classes/topologies",
      "use_class": "PROTOCOL_CALIBRATED",
      "claim_bin_meaning": "Value calibrated or passed inside a declared simulation protocol; not a universal theory constant.",
      "display_symbol": "beta_A",
      "reconciliation_notes": ""
    },
    {
      "id": "G03",
      "symbol": "kappa_C^(legacy)",
      "exact_form": "3/(4*pi)",
      "claim_bin": "SOURCE_STRATUM",
      "status": "SOURCE-STRATUM / NUMERICALLY COLLIDES WITH G01 BUT PROVENANCE REMAINS DISTINCT",
      "next_gate": "prove equivalence or keep symbols permanently distinct",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "kappa_C^(legacy)",
      "reconciliation_notes": "historical/source-layer; not current physical canon; COLLISION-01: same numerical form, distinct provenance"
    },
    {
      "id": "G04",
      "symbol": "epsilon_G",
      "exact_form": "1/1000",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "CONTROL ONLY",
      "next_gate": "sensitivity/robustness study if promoted as a methodological standard",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "epsilon_G",
      "reconciliation_notes": "method control only"
    },
    {
      "id": "B01",
      "symbol": "sin^2(theta_W)^(legacy)",
      "exact_form": "3/13",
      "claim_bin": "SOURCE_STRATUM",
      "status": "REBUILD/REBASE REQUIRED BEFORE CURRENT CANON",
      "next_gate": "target-blind current gauge derivation with normalization proof",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "sin^2(theta_W)^(legacy)",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "B02",
      "symbol": "alpha_s^(legacy)",
      "exact_form": "129/(112*pi^2)",
      "claim_bin": "SOURCE_STRATUM",
      "status": "REBUILD REQUIRED; LEGACY PHYSICAL INTERPRETATION HELD",
      "next_gate": "current homological/gauge derivation without hidden normalization import",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "alpha_s^(legacy)",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "B03",
      "symbol": "alpha_EM^{-1}^(legacy)",
      "exact_form": "13*pi^2",
      "claim_bin": "SOURCE_STRATUM",
      "status": "CONSISTENCY CHECK ONLY / REBASE REQUIRED",
      "next_gate": "rebuild B01 and alpha_2 first",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "alpha_EM^{-1}^(legacy)",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "B04",
      "symbol": "rho_genesis_fit",
      "exact_form": "~0.891 (fit)",
      "claim_bin": "SIMULATION_CALIBRATED",
      "status": "HISTORICAL/PROTOCOL-SCOPED FIT",
      "next_gate": "full-window refit and mechanism derivation",
      "use_class": "PROTOCOL_CALIBRATED",
      "claim_bin_meaning": "Value calibrated or passed inside a declared simulation protocol; not a universal theory constant.",
      "display_symbol": "rho_genesis_fit",
      "reconciliation_notes": ""
    },
    {
      "id": "B05",
      "symbol": "rho_candidate",
      "exact_form": "2^(-1/6)",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "DOWNGRADED / FULL 57-LEVEL REFIT REQUIRED",
      "next_gate": "blind full-window refit and analytic derivation",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "rho_candidate",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "B06",
      "symbol": "gamma_Omega",
      "exact_form": "-1/4",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "HELD / CONDITIONAL",
      "next_gate": "B05 must pass first",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "gamma_Omega",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "H01",
      "symbol": "S_gap",
      "exact_form": "(192/7)^32 * (11/3)",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "QUARANTINED HIERARCHY BRIDGE; N=32 HAS NATIVE SUPPORT BUT TESTED BANACH NORMALIZATION IS TOO STRONG",
      "next_gate": "derive per-layer attenuation and 11/3 from first principles before target comparison",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "S_gap",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "H02",
      "symbol": "R_boundary",
      "exact_form": "11/3",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "RATIONAL FACTOR OPEN",
      "next_gate": "native rational generator audit; no empirical-prime target selection",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "R_boundary",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "H03",
      "symbol": "F_IFS",
      "exact_form": "historical variants: 1/(3*pi), 1/sqrt(3*pi)",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "DO NOT USE UNQUALIFIED",
      "next_gate": "split symbols (e.g., F_screen vs F_channel) and rebuild each dependency chain",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "F_IFS",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "H04",
      "symbol": "Lambda_UD Path A",
      "exact_form": "E_gs^4 / S0^2",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "B2/B3 BRIDGE; PHYSICAL PROMOTION HELD",
      "next_gate": "clean derivation of E_gs/screen without notation collisions and independent validation",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "Lambda_UD Path A",
      "reconciliation_notes": ""
    },
    {
      "id": "H05",
      "symbol": "delta_S0^(quarantined)",
      "exact_form": "28/129",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "QUARANTINED FROM BARE S0",
      "next_gate": "independent target-blind composition law or expel",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "delta_S0^(quarantined)",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "O01",
      "symbol": "eta_n",
      "exact_form": "N_active / D_capacity",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "ALLOWED DYNAMIC COEFFICIENT; NOT FREE",
      "next_gate": "formalize exact numerator/denominator definitions per operator regime",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "eta_n",
      "reconciliation_notes": ""
    },
    {
      "id": "O02",
      "symbol": "R2(n,m)",
      "exact_form": "n(1+m)",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "LOCKED OPERATIONAL REPAIR WITHIN K2B SCOPE",
      "next_gate": "only relevant if K2B branch is reactivated beyond tested finite-register scope",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "R2(n,m)",
      "reconciliation_notes": ""
    },
    {
      "id": "O03",
      "symbol": "lambda_back, lambda_theta, memory alpha, jitter, tolerances",
      "exact_form": "various sweep values",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "NEVER PROMOTE TO THEORY CONSTANTS",
      "next_gate": "sensitivity reporting only",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "lambda_back, lambda_theta, memory alpha, jitter, tolerances",
      "reconciliation_notes": "method control only"
    },
    {
      "id": "O04",
      "symbol": "rho_n, nu_n",
      "exact_form": "bounded leakage / zero-mean perturbation terms",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "CONSTRAINTS ONLY",
      "next_gate": "eventual universal-derivability horizon or explicit quarantine",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\rho_n, \\nu_n",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "O05",
      "symbol": "Xi_n, Delta_n",
      "exact_form": "context/deviation inputs",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "LOCAL EXOGENEITY FOR RIGOR; GLOBAL DERIVABILITY HORIZON",
      "next_gate": "derive or quarantine at global horizon",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\Xi_n, \\Delta_n",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "L01",
      "symbol": "D_OLD9",
      "exact_form": "diag(3/4, 4/3)",
      "claim_bin": "SOURCE_STRATUM",
      "status": "AUTO_LOCK AS EXACT ARCHIVAL OPERATOR CLASS; CURRENT DYNAMICAL/ATOMIC REUSE AUTO_FREEZE",
      "next_gate": "new independent state-to-observable/source theorem if reused",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "D_OLD9",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "X01",
      "symbol": "C_enh^(legacy)",
      "exact_form": "2^n",
      "claim_bin": "EXPELLED",
      "status": "PERMANENTLY EXPELLED",
      "next_gate": "none; historical risk record only",
      "use_class": "EXPELLED",
      "claim_bin_meaning": "Rejected route retained only as an append-only risk/history artifact.",
      "display_symbol": "C_enh^(legacy)",
      "reconciliation_notes": "do not reuse in mainline derivation"
    },
    {
      "id": "X02",
      "symbol": "eta_k, sigma_k (OAM)",
      "exact_form": "calibrated empirical values",
      "claim_bin": "SIMULATION_CALIBRATED",
      "status": "ALLOWED ONLY IN HELD-OUT EMPIRICAL MODELING",
      "next_gate": "out-of-sample forecast evaluation",
      "use_class": "PROTOCOL_CALIBRATED",
      "claim_bin_meaning": "Value calibrated or passed inside a declared simulation protocol; not a universal theory constant.",
      "display_symbol": "eta_k, sigma_k (OAM)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q22",
      "symbol": "kappa_theta,pair^current",
      "exact_form": "0",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / SEAM-SECTOR PAIRING SOURCE ZERO; DISTINCT PROVENANCE FROM Q06 BROADER CURRENT-SOURCE ZERO",
      "next_gate": "derive non-uniform edge stiffness from current primitives if this lane is to activate",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "kappa_theta,pair^current",
      "reconciliation_notes": "COLLISION-07: zero-valued source amplitudes with distinct provenance"
    },
    {
      "id": "Q23",
      "symbol": "a_ij^(src)",
      "exact_form": "2 eta_O w_ij Xi_ij",
      "claim_bin": "SOURCE_STRATUM",
      "status": "SALVAGED AS TYPE-CORRECT CONDITIONAL MECHANISM / NOT CURRENT FINE-HISTORY CANON",
      "next_gate": "current primitive rebuild of w_ij and Xi_ij",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "a_ij^(src)",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "Q24",
      "symbol": "c_{ij}^(H,cand)",
      "exact_form": "(eta_O/2)(w_ij Xi_ij + w_ji Xi_ji)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL FORM / SOURCE VARIABLES NOT CURRENTLY DERIVED",
      "next_gate": "derive w_ij, Xi_ij and positivity from current primitives",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "c_{ij}^(H,cand)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q25",
      "symbol": "w_ij",
      "exact_form": "OPEN / source-stratum notation collision",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK NOTATION-COLLISION RULE / NO SINGLE CURRENT CANONICAL DEFINITION",
      "next_gate": "derive one current typed edge-weight law or split symbols permanently by role",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "w_ij",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "Q26",
      "symbol": "Xi_ij^(route)",
      "exact_form": "OPEN",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK PRIMITIVE DEFINITION OPEN / AUTO_FREEZE AS TUNING FACTOR",
      "next_gate": "derive state space, symmetry, update law and normalization from current UD primitives",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "Xi_ij^(route)",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "Q27",
      "symbol": "c_e^star",
      "exact_form": "3/4",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK",
      "next_gate": "none for null control",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "c_e^star",
      "reconciliation_notes": "COLLISION-03: repeated 3/4 value on different carriers"
    },
    {
      "id": "Q28",
      "symbol": "alpha_B^2",
      "exact_form": "5",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL",
      "next_gate": "derive/recover native 18-shell vector set",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "alpha_B^2",
      "reconciliation_notes": "COLLISION-08: repeated dimension/value 5"
    },
    {
      "id": "Q29",
      "symbol": "alpha_B",
      "exact_form": "sqrt(5)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL",
      "next_gate": "same as Q28",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "alpha_B",
      "reconciliation_notes": ""
    },
    {
      "id": "Q30",
      "symbol": "epsilon_pilot",
      "exact_form": "1/8",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_FREEZE FROM THEORY USE",
      "next_gate": "none",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "epsilon_pilot",
      "reconciliation_notes": "method control only"
    },
    {
      "id": "Q31",
      "symbol": "epsilon_pair(H)",
      "exact_form": "(1/2) Tr(I-rho_pair(H)) = (1/4)\\|\\|I-rho_pair(H)\\|\\|_F^2",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / STRUCTURAL CURVATURE OBSERVABLE; NOT ACTION COEFFICIENT",
      "next_gate": "action weighting remains G05",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "epsilon_pair(H)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q32",
      "symbol": "C_pair^600",
      "exact_form": "720",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / STRUCTURAL DIAGNOSTIC ONLY",
      "next_gate": "physical action requires G05",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "C_pair^600",
      "reconciliation_notes": ""
    },
    {
      "id": "Q33",
      "symbol": "T_pair,raw^600",
      "exact_form": "1440",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / RAW TRACE SUM; NOT PHYSICAL ACTION",
      "next_gate": "conditional action form 1440*kappa_loop only after G05 is derived",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "T_pair,raw^600",
      "reconciliation_notes": ""
    },
    {
      "id": "Q34",
      "symbol": "epsilon_pair([s_A,s_B])",
      "exact_form": "3/2 for distinct pairing transpositions",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / DIAGNOSTIC ONLY; NO CURRENT COMMUTATOR ACTION TERM",
      "next_gate": "derive an action term before dynamical use",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "epsilon_pair([s_A,s_B])",
      "reconciliation_notes": ""
    },
    {
      "id": "G05",
      "symbol": "kappa_loop^master",
      "exact_form": "RETIRED FROM MAINLINE AS UNIVERSAL SCALAR; Q35 endpoint-defect scalarization is LOCKED_NO_GO; restricted scalar aliases require an explicit sufficiency/proportionality theorem",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "AUTO_FREEZE AS MAINLINE UNIVERSAL SCALAR / HISTORICAL PROVENANCE RETAINED / ACTION SHAPE AND A-B-C RELAY AGGREGATION CLOSED VIA O09",
      "next_gate": "only reopen a scalar alias on a declared restricted domain after proving that the chosen coarse history variable is sufficient for O09 and that proportionality is carrier-stable",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "kappa_loop^master (retired mainline scalar)",
      "reconciliation_notes": "v0.40 scientific repair: universal scalar G05 retired from mainline; Q35 endpoint-defect scalar route is a locked no-go; restricted scalar aliases require a new sufficiency theorem; prior v0.39R1 row preserved."
    },
    {
      "id": "G06",
      "symbol": "xi_hbar^(action-normalization provenance)",
      "exact_form": "HISTORICAL BARE-SYMBOL COLLISION: xi_hbar^(A)=eta_A for A0=xi_hbar^(A) hbar; xi_hbar^(B)=eta_A^(-1) for hbar=xi_hbar^(B) A0; current canonical ratio is eta_A=A0/hbar",
      "claim_bin": "SOURCE_STRATUM",
      "status": "AUTO_FREEZE BARE xi_hbar / HISTORICAL RECIPROCAL ALIASES ONLY / CURRENT CANON MOVED TO eta_A",
      "next_gate": "recover primitive quantum-holonomy normalization and test whether its xi_act is identified with the current unit-map normalization; numerical eta_A remains target-blind/open",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "xi_hbar^(action-normalization provenance)",
      "reconciliation_notes": "v0.43: v0.42 historical recovery failure preserved, but current convention ambiguity is closed by the 2026-08-29 PASS_REPAIR defining eta_A=A0/hbar."
    },
    {
      "id": "Q35",
      "symbol": "Phi_hat_R(H)",
      "exact_form": "1-(1/d_R) Re Tr R(H) = (1/d_R) Re Tr(I-R(H))",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / REPRESENTATION-ROBUST ENDPOINT LOOP-DEFECT VARIABLE / NOT ACCUMULATED ACTION",
      "next_gate": "none for defect observable; endpoint-defect -> canonical action universal scalar route is LOCKED_NO_GO; use O09 for accumulated action",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "Phi_hat_R(H)",
      "reconciliation_notes": "v0.40: odd-framing witness proves no universal scalar maps Q35 endpoint defect to accumulated canonical action."
    },
    {
      "id": "G07",
      "symbol": "kappa_raw^(R)",
      "exact_form": "1/d_R conditional on rewriting unit normalized loop cost as raw trace",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / NOT UNIVERSAL PHYSICAL COUPLING",
      "next_gate": "none as bookkeeping; physical action weight remains G05",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "kappa_raw^(R)",
      "reconciliation_notes": "ALIAS-01: same-symbol/same-form provenance duplicate"
    },
    {
      "id": "G08",
      "symbol": "g_curv,norm^(path)",
      "exact_form": "REJECTED as direct packet-curvature bridge; unit coefficient remains only on declared coarse path obstruction coordinate sigma_C",
      "claim_bin": "EXPELLED",
      "status": "AUTO_FREEZE / DIRECT BRIDGE REJECTED",
      "next_gate": "derive micro->breathing->obstruction coarse-graining; do not reuse G08",
      "use_class": "EXPELLED",
      "claim_bin_meaning": "Rejected route retained only as an append-only risk/history artifact.",
      "display_symbol": "g_curv,norm^(path)",
      "reconciliation_notes": "do not reuse in mainline derivation"
    },
    {
      "id": "O06",
      "symbol": "Vol_mu(Y_n)",
      "exact_form": "OPEN unless internal measure is canonically fixed",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_FREEZE AS HIDDEN NORMALIZATION IF UNFIXED",
      "next_gate": "derive native measure theorem if continuous extra dimension is ever used",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "Vol_mu(Y_n)",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "O07",
      "symbol": "C_{Sigma<-X}",
      "exact_form": "OPEN",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "SOURCE-BLOCKED / REQUIRED BEFORE ACTION-COEFFICIENT TRANSFER",
      "next_gate": "derive explicit numerical obstruction functions or recover telemetry",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "C_{Sigma<-X}",
      "reconciliation_notes": "not a tunable coefficient"
    },
    {
      "id": "O08",
      "symbol": "F_O,F_B,F_C",
      "exact_form": "qualitative/monotonic archival mappings; numerical current formulas OPEN",
      "claim_bin": "SOURCE_STRATUM",
      "status": "SEMANTIC/MONOTONIC TYPE INFORMATION PRESERVED / NUMERICAL EXECUTION BLOCKED",
      "next_gate": "derive source-complete formulas or telemetry",
      "use_class": "SOURCE_STRATUM",
      "claim_bin_meaning": "Historical/source-layer object preserved for provenance; must be rebuilt/rebased before current canonical physical use.",
      "display_symbol": "F_O,F_B,F_C",
      "reconciliation_notes": "historical/source-layer; not current physical canon"
    },
    {
      "id": "O09",
      "symbol": "I_loop->Hodge",
      "exact_form": "I_lift = (1/2) sum_{omega>0} a_omega Delta_phi_tilde_omega; closed history = pi sum_{omega>0} n_omega a_omega",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / CURRENT MAINLINE LIFTED LOOP-HISTORY TO CANONICAL HODGE ACTION MAP / TEMPORALLY ADDITIVE / ORTHOGONAL-HODGE-INTERTWINER COVARIANT",
      "next_gate": "extend to contractive/open-system action defect; test Q136 as a possible sufficient compression; dimensional physical action remains downstream through G06",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\mathcal I_{\\rm loop\\to Hodge}",
      "reconciliation_notes": "NEW v0.40 mainline action map replacing universal scalar G05 use; physical promotion 0."
    },
    {
      "id": "Q36",
      "symbol": "S_path vs S_pkt scale relation",
      "exact_form": "distinct declared scale functionals; equality not currently derived",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / DIRECT EQUALITY FROZEN",
      "next_gate": "derive aggregation/coarse-graining theorem",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "S_path vs S_pkt scale relation",
      "reconciliation_notes": ""
    },
    {
      "id": "Q37",
      "symbol": "f_tern->pair,compatible",
      "exact_form": "19/25",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / STRUCTURAL FRACTION ONLY",
      "next_gate": "none for count; physical interpretation blocked",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "f_tern->pair,compatible",
      "reconciliation_notes": ""
    },
    {
      "id": "Q38",
      "symbol": "f_tern->pair,defect",
      "exact_form": "6/25",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT PROBABILITY OR COUPLING",
      "next_gate": "none structurally",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "f_tern->pair,defect",
      "reconciliation_notes": ""
    },
    {
      "id": "Q39",
      "symbol": "C_pair^(tern-corrected,600)",
      "exact_form": "432",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / STRUCTURAL CURVATURE ONLY",
      "next_gate": "physical sector selection remains open",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "C_pair^(tern-corrected,600)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q40",
      "symbol": "C_pair^(tern)/C_pair^(binary)",
      "exact_form": "3/5",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / NOT SECTOR PROBABILITY",
      "next_gate": "requires selection action for physical meaning",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "C_pair^(tern)/C_pair^(binary)",
      "reconciliation_notes": "COLLISION-05: same 3/5 value, collision-guarded"
    },
    {
      "id": "Q41",
      "symbol": "Delta C_pair/C_pair^(binary)",
      "exact_form": "2/5",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / NOT PHYSICAL ENERGY SAVING",
      "next_gate": "cross-cell-degree selection measure required",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "Delta C_pair/C_pair^(binary)",
      "reconciliation_notes": "COLLISION-06: same 2/5 value, distinct roles"
    },
    {
      "id": "Q42",
      "symbol": "N_delta^(tern->pair)",
      "exact_form": "288",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT ACTION COST",
      "next_gate": "derive cell-degree measure before action use",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_delta^(tern->pair)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q43",
      "symbol": "R_boundary,shift2",
      "exact_form": "3",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / OBSERVABLE-FACING DIMENSIONLESS SHAPE; NOT PHYSICAL CONSTANT",
      "next_gate": "independent retained-mode telemetry",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "R_boundary,shift2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q44",
      "symbol": "R_boundary,gap2",
      "exact_form": "2",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / OBSERVABLE-FACING DIMENSIONLESS SHAPE",
      "next_gate": "independent retained-mode telemetry",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "R_boundary,gap2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q45",
      "symbol": "S_boundary,tf",
      "exact_form": "(-4,-1,5) up to common scale",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / SHAPE VECTOR; NOT COEFFICIENT",
      "next_gate": "independent retained-mode telemetry and protected mode identification",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "S_boundary,tf",
      "reconciliation_notes": ""
    },
    {
      "id": "Q46",
      "symbol": "tau_blind^K",
      "exact_form": "4*pi*sqrt(2/33)",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / INTERNAL K\u00c4HLER PARAMETER; NOT PHYSICAL TIME",
      "next_gate": "derive unit/measurement map before physical time interpretation",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "tau_blind^K",
      "reconciliation_notes": ""
    },
    {
      "id": "Q47",
      "symbol": "chi_blind^(boundary)",
      "exact_form": "0",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / STRUCTURAL NULL RESPONSE; NOT EMPIRICAL SUSCEPTIBILITY",
      "next_gate": "projective/observable factorization or independent dynamics test",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "chi_blind^(boundary)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q48",
      "symbol": "k_K4,continuity",
      "exact_form": "1/4",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT DYNAMICAL OR PHYSICAL COUPLING",
      "next_gate": "physical current units remain open",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "k_K4,continuity",
      "reconciliation_notes": ""
    },
    {
      "id": "Q49",
      "symbol": "omega_K4^chain",
      "exact_form": "2",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT PHYSICAL FREQUENCY",
      "next_gate": "derive unit/evolution-parameter map before physical-frequency use",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "omega_K4^chain",
      "reconciliation_notes": ""
    },
    {
      "id": "Q50",
      "symbol": "s_rec^K4_chain",
      "exact_form": "pi",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT PHYSICAL TIME",
      "next_gate": "evolution-parameter/unit map",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "s_rec^K4_chain",
      "reconciliation_notes": ""
    },
    {
      "id": "Q51",
      "symbol": "N_active^chain",
      "exact_form": "14",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT SPACETIME DIMENSION",
      "next_gate": "none for count; physical interpretation separately gated",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_active^chain",
      "reconciliation_notes": ""
    },
    {
      "id": "Q52",
      "symbol": "dim C1_grad : dim C1_cycle",
      "exact_form": "3:3",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NO AUTOMATIC IDENTIFICATION WITH OTHER 3+3 SPLITS",
      "next_gate": "typed intertwiner required for any identification with named packet sectors",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "dim C1_grad : dim C1_cycle",
      "reconciliation_notes": ""
    },
    {
      "id": "Q53",
      "symbol": "N_twisted,local",
      "exact_form": "30",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / INTERNAL-FIBER DIMENSION ONLY",
      "next_gate": "none for count",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_twisted,local",
      "reconciliation_notes": ""
    },
    {
      "id": "Q54",
      "symbol": "N_twisted,active,local",
      "exact_form": "28",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / INTERNAL-FIBER DIMENSION ONLY",
      "next_gate": "global holonomy modifies parallel-zero-mode structure",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_twisted,active,local",
      "reconciliation_notes": ""
    },
    {
      "id": "Q55",
      "symbol": "N_parallel^(full S3)",
      "exact_form": "0",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT PHYSICAL VACUUM DEGENERACY",
      "next_gate": "observable/measurement interpretation",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_parallel^(full S3)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q56",
      "symbol": "N_parallel^(corrected Z2)",
      "exact_form": "1",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NOT PHYSICAL VACUUM DEGENERACY",
      "next_gate": "observable/measurement interpretation",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "N_parallel^(corrected Z2)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q57",
      "symbol": "f_split^(twisted,Z2 corrected)",
      "exact_form": "3/5",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / DISTINCT FROM CURVATURE 3/5 COLLISION",
      "next_gate": "protected twisted-monodromy observable",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "f_split^(twisted,Z2 corrected)",
      "reconciliation_notes": "COLLISION-05: same 3/5 value, collision-guarded"
    },
    {
      "id": "Q58",
      "symbol": "C_ret(H)",
      "exact_form": "(1/2) Re Tr rho_pair(H)",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / INTERNAL RETURN OBSERVABLE; NOT PHYSICAL AUTOCORRELATION",
      "next_gate": "empirical carrier/measurement map",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "C_ret(H)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q59",
      "symbol": "Cbar_ret^(600,S3)",
      "exact_form": "0",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / INTERNAL CONNECTION FINGERPRINT",
      "next_gate": "protected report/measurement bridge",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "Cbar_ret^(600,S3)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q60",
      "symbol": "Cbar_ret^(600,Z2corr)",
      "exact_form": "2/5",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / INTERNAL CONNECTION FINGERPRINT; COLLISION-GUARDED",
      "next_gate": "protected report/measurement bridge",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "Cbar_ret^(600,Z2corr)",
      "reconciliation_notes": "COLLISION-06: same 2/5 value, distinct roles"
    },
    {
      "id": "Q61",
      "symbol": "P_Bell^proxy([H])",
      "exact_form": "{1,0,1/4} for {e,t,r}",
      "claim_bin": "EXACT_PROXY",
      "status": "AUTO_LOCK / IDEAL PROXY; NOT EMPIRICAL DATA",
      "next_gate": "apparatus qualification under independent uncertainty",
      "use_class": "PROXY",
      "claim_bin_meaning": "Exact in a declared proxy/idealization; does not establish a natural or physical carrier.",
      "display_symbol": "P_Bell^proxy([H])",
      "reconciliation_notes": ""
    },
    {
      "id": "Q62",
      "symbol": "Tr P3([H])",
      "exact_form": "{3,1,0} for {e,t,r}",
      "claim_bin": "EXACT_PROXY",
      "status": "AUTO_LOCK / IDEAL PROXY; NOT NATURAL CARRIER PROOF",
      "next_gate": "apparatus qualification or endogenous carrier theorem",
      "use_class": "PROXY",
      "claim_bin_meaning": "Exact in a declared proxy/idealization; does not establish a natural or physical carrier.",
      "display_symbol": "Tr P3([H])",
      "reconciliation_notes": ""
    },
    {
      "id": "Q63",
      "symbol": "K_ctx(alpha,beta)",
      "exact_form": "Tr(sigma_E V_beta^dagger V_alpha)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / microscopic packet source open",
      "next_gate": "derive V_alpha from Omega0 / packet transport / holonomy",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_ctx(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q64",
      "symbol": "Gamma(alpha,beta)",
      "exact_form": "\\|K_ctx(alpha,beta)\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / resolves prior abstract Gamma form at bridge level",
      "next_gate": "microscopic packet derivation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q65",
      "symbol": "D_dec(alpha,beta)",
      "exact_form": "-ln Gamma(alpha,beta)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / Gamma>0; +infinity at zero",
      "next_gate": "derive elementary contact overlap from packet dynamics",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "D_dec(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q66",
      "symbol": "V_slit",
      "exact_form": "Gamma_LR",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / balanced equal-envelope idealization",
      "next_gate": "packet-level context overlap prediction",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "V_slit",
      "reconciliation_notes": ""
    },
    {
      "id": "Q67",
      "symbol": "C_Bell",
      "exact_form": "Gamma",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / pure-dephasing Bell family",
      "next_gate": "packet-level context overlap prediction",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "C_Bell",
      "reconciliation_notes": ""
    },
    {
      "id": "Q68",
      "symbol": "S_CHSH,max(Gamma)",
      "exact_form": "2 sqrt(1+Gamma^2)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / not a novel Bell bound",
      "next_gate": "derive Gamma from packet dynamics before UD-specific prediction",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "S_CHSH,max(Gamma)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q69",
      "symbol": "sigma_pair^*",
      "exact_form": "I_2/2",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / unbiased full-S3 context condition",
      "next_gate": "derive whether physical packet context realizes full pairing-unbiased state",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "sigma_pair^*",
      "reconciliation_notes": ""
    },
    {
      "id": "Q70",
      "symbol": "K_pair(alpha,beta)",
      "exact_form": "(1/2) Tr rho_pair(H_beta^-1 alpha)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / gauge-invariant relative-loop kernel",
      "next_gate": "physical branch-to-relative-holonomy map",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_pair(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q71",
      "symbol": "Gamma_pair([H])",
      "exact_form": "{1,0,1/2} for {e,t,r}",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / discrete topological coherence factor",
      "next_gate": "continuous context factor derivation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_pair([H])",
      "reconciliation_notes": ""
    },
    {
      "id": "Q72",
      "symbol": "D_pair([H])",
      "exact_form": "{0,+infinity,ln(2)} for {e,t,r}",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / topological burden",
      "next_gate": "combine with continuous packet burden",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "D_pair([H])",
      "reconciliation_notes": ""
    },
    {
      "id": "Q73",
      "symbol": "S_CHSH,max^(pair,3cycle)",
      "exact_form": "sqrt(5)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / collision-guarded bridge value",
      "next_gate": "actual physical branch-to-holonomy mapping",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "S_CHSH,max^(pair,3cycle)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q74",
      "symbol": "Gamma_total",
      "exact_form": "Gamma_pair Gamma_cont",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / continuous factor source-open",
      "next_gate": "derive Gamma_cont from packet/transport dynamics",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_total",
      "reconciliation_notes": ""
    },
    {
      "id": "Q75",
      "symbol": "Gamma_pair,N",
      "exact_form": "0 or 2^(-m), m in N_0",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / continuum no-go witness",
      "next_gate": "derive non-pairing continuous context channel",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "Gamma_pair,N",
      "reconciliation_notes": ""
    },
    {
      "id": "Q76",
      "symbol": "K_chain(alpha,beta)",
      "exact_form": "cos(Delta phi_chain)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / branch-to-s map open",
      "next_gate": "derive physical branch history -> s_alpha",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_chain(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q77",
      "symbol": "Gamma_chain(alpha,beta)",
      "exact_form": "\\|cos(Delta phi_chain)\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / spans [0,1]",
      "next_gate": "derive branch-to-chain-phase map",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_chain(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q78",
      "symbol": "D_chain(alpha,beta)",
      "exact_form": "-ln\\|cos(Delta phi_chain)\\|",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / finite away from cosine zeros",
      "next_gate": "derive physical chain-phase increments",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "D_chain(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q79",
      "symbol": "D_chain^(small phase)",
      "exact_form": "(1/2) sum_r (Delta phi_r)^2 + (1/12) sum_r (Delta phi_r)^4 + O(Delta phi^6)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / local small-phase regime only",
      "next_gate": "derive distribution/history of Delta phi_r",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "D_chain^(small phase)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q80",
      "symbol": "Gamma_pair+chain",
      "exact_form": "Gamma_pair \\|cos(Delta phi_chain)\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / physical branch phase map open",
      "next_gate": "derive physical branch-to-holonomy and branch-to-chain-phase maps",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_pair+chain",
      "reconciliation_notes": ""
    },
    {
      "id": "Q81",
      "symbol": "Delta Phi_E(alpha,beta)",
      "exact_form": "Arg[u(P_beta)^(-1) u(P_alpha)] mod 2pi",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / context-side phase receipt; system/context typing enforced",
      "next_gate": "derive concrete packet context forcing that generates Phi_E",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Delta Phi_E(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q82",
      "symbol": "n_seam->chain",
      "exact_form": "+1 or -1",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / orientation convention, not tunable continuous coefficient",
      "next_gate": "none for cosine kernel; signed orientation matters only if a later oriented observable is introduced",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "n_seam->chain",
      "reconciliation_notes": ""
    },
    {
      "id": "Q83",
      "symbol": "phi_chain(P_alpha)",
      "exact_form": "n_seam->chain Phi_E(P_alpha) mod 2pi; s_alpha=n_seam->chain Phi_E(P_alpha)/2 mod pi",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / normalization closed; context sourcing open",
      "next_gate": "derive Phi_E from packet apparatus/environment interaction",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "phi_chain(P_alpha)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q84",
      "symbol": "K_seam->chain(alpha,beta)",
      "exact_form": "cos(Delta Phi_E(alpha,beta))",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / apparatus context phase source remains open",
      "next_gate": "derive E_theta_env / packet context-phase forcing",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_seam->chain(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q85",
      "symbol": "R_E,alpha",
      "exact_form": "P_perp(rho_E,alpha^post-rho_E^0)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / context record, not new packet dynamics",
      "next_gate": "derive apparatus-specific postinteraction burden state from current packet engine",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "R_E,alpha",
      "reconciliation_notes": ""
    },
    {
      "id": "Q86",
      "symbol": "J_E,alpha",
      "exact_form": "-(1/4) D^T R_E,alpha",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / structural current representation",
      "next_gate": "apparatus-specific burden record generation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "J_E,alpha",
      "reconciliation_notes": ""
    },
    {
      "id": "Q87",
      "symbol": "K_B(alpha,beta)",
      "exact_form": "(R_E,beta^T R_E,alpha)/(\\|\\|R_E,beta\\|\\| \\|\\|R_E,alpha\\|\\|)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / requires nonzero records",
      "next_gate": "derive null-record and magnitude-sensitive completion",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_B(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q88",
      "symbol": "Gamma_B(alpha,beta)",
      "exact_form": "\\|K_B(alpha,beta)\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / spans [0,1] for nonzero record directions",
      "next_gate": "magnitude/null-record completion and apparatus source model",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_B(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q89",
      "symbol": "Gamma_pair+B",
      "exact_form": "Gamma_pair Gamma_B",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / E_theta_env not required for magnitude channel",
      "next_gate": "derive apparatus-specific burden record; phase-sensitive E_theta_env remains separate",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_pair+B",
      "reconciliation_notes": ""
    },
    {
      "id": "Q90",
      "symbol": "Delta q_B(alpha,beta)",
      "exact_form": "ln(\\|\\|R_E,alpha\\|\\|/\\|\\|R_E,beta\\|\\|)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / nonzero records only",
      "next_gate": "smooth null/absolute capacity normalization",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "Delta q_B(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q91",
      "symbol": "M_RB(alpha,beta)",
      "exact_form": "sech(Delta q_B)=2\\|\\|R_a\\|\\|\\|\\|R_b\\|\\|/(\\|\\|R_a\\|\\|^2+\\|\\|R_b\\|\\|^2)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / equals 1 for equal magnitudes and tends to 0 for extreme ratios",
      "next_gate": "smooth null completion",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "M_RB(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q92",
      "symbol": "K_RB(alpha,beta)",
      "exact_form": "2 R_a^T R_b/(\\|\\|R_a\\|\\|^2+\\|\\|R_b\\|\\|^2)=M_RB (u_a^T u_b)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / nonzero burden records; common-scale invariant",
      "next_gate": "physical null completion / apparatus burden-record generation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_RB(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q93",
      "symbol": "Gamma_RB(alpha,beta)",
      "exact_form": "\\|K_RB(alpha,beta)\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / nonzero records; spans [0,1]",
      "next_gate": "smooth null completion and apparatus source model",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_RB(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q94",
      "symbol": "Gamma_pair+RB",
      "exact_form": "Gamma_pair sech(Delta q_B)\\|u_a^T u_b\\|",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / nonzero burden records",
      "next_gate": "physical burden-record generation and null completion",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Gamma_pair+RB",
      "reconciliation_notes": ""
    },
    {
      "id": "Q95",
      "symbol": "Sigma_B^0",
      "exact_form": "Cov_0[(1/M_B) sum_c r_c] = (1/M_B^2) sum_cd Cov_0(r_c,r_d)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / state- and scale-dependent baseline, not universal coefficient",
      "next_gate": "generate from target-blind packet simulation or apparatus null calibration",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Sigma_B^0",
      "reconciliation_notes": ""
    },
    {
      "id": "Q96",
      "symbol": "epsilon_B^2",
      "exact_form": "(1/3) Tr Sigma_B^0 when null context is S4-unbiased",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / changes with scale and context state",
      "next_gate": "measure/derive scale flow of Sigma_B^0",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "epsilon_B^2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q97",
      "symbol": "K_scale,B(alpha,beta)",
      "exact_form": "2[1+R_a^T(Sigma_B^0)^-1R_b]/[2+R_a^T(Sigma_B^0)^-1R_a+R_b^T(Sigma_B^0)^-1R_b]",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / positive null covariance required",
      "next_gate": "empirical/simulation coarse-scale flow test",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K_scale,B(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q98",
      "symbol": "chi_B^2(alpha,beta)",
      "exact_form": "(R_a-R_b)^T(Sigma_B^0)^-1(R_a-R_b)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / chi=1 is an operational resolution crossing, not collapse law",
      "next_gate": "derive/test monotonic scale flow for concrete contexts",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "chi_B^2(alpha,beta)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q99",
      "symbol": "gamma_null^(bulk)",
      "exact_form": "1/2 in epsilon_M proportional M^(-gamma_null); equivalently epsilon_L proportional L^(-3/2)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / control model only",
      "next_gate": "compare against simulated/measured covariance flow",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "gamma_null^(bulk)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q100",
      "symbol": "gamma_null^(boundary)",
      "exact_form": "2/3 in epsilon_N3 proportional N3^(-2/3); equivalently epsilon_L proportional L^(-2)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / boundary-dominated control only",
      "next_gate": "compare against simulated/measured covariance flow",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "gamma_null^(boundary)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q101",
      "symbol": "g_ctx,B",
      "exact_form": "(Sigma_B^0)^-1",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / distinct type from spacetime metric",
      "next_gate": "derive any bridge to geometry only if independently justified",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "g_ctx,B",
      "reconciliation_notes": ""
    },
    {
      "id": "Q102",
      "symbol": "C_nu^LCX",
      "exact_form": "q_B L_nabla = q_B B_nabla B_nabla^*",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / q_B state amplitude, covariance shape source-derived",
      "next_gate": "derive/test later-time covariance propagation and primitive source validity",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "C_nu^LCX",
      "reconciliation_notes": ""
    },
    {
      "id": "Q103",
      "symbol": "corr_nn^LCX",
      "exact_form": "-1/4",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / source-tick, after parallel transport",
      "next_gate": "test SA-018 in packet simulations or null apparatus data",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "corr_nn^LCX",
      "reconciliation_notes": ""
    },
    {
      "id": "Q104",
      "symbol": "Sigma_B^LCX",
      "exact_form": "q_B \\|partial_E B\\|/M_B^2 I3",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / flat common-frame block or covariantly trivialized block",
      "next_gate": "extend to nontrivial connection/holonomy coarse blocks",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Sigma_B^LCX",
      "reconciliation_notes": ""
    },
    {
      "id": "Q105",
      "symbol": "gamma_null^LCX",
      "exact_form": "2/3 in epsilon_M proportional M^(-2/3)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / promoted from control only under SA-018",
      "next_gate": "test primitive exchange source and connection effects",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "gamma_null^LCX",
      "reconciliation_notes": ""
    },
    {
      "id": "Q106",
      "symbol": "epsilon_L^LCX/epsilon_cell",
      "exact_form": "1/(2sqrt(3)) L^(-2)",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / q_B cancels",
      "next_gate": "simulation/empirical scale-flow test under SA-018",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "epsilon_L^LCX/epsilon_cell",
      "reconciliation_notes": ""
    },
    {
      "id": "Q107",
      "symbol": "f(Delta4)",
      "exact_form": "(5,10,10,5)",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK / mathematical event geometry only",
      "next_gate": "none for combinatorics; physical spacetime mapping remains separate",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "f(Delta4)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q108",
      "symbol": "r_5seat^(S5)",
      "exact_form": "beta/alpha = 3/2",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK / not a physical coupling",
      "next_gate": "physical action/dynamics bridge if ever promoted",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "r_5seat^(S5)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q109",
      "symbol": "lambda_L(T5)\\|_W5",
      "exact_form": "8",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / response-edge local-exchange source geometry",
      "next_gate": "derive physical exchange-rate amplitude",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "lambda_L(T5)\\|_W5",
      "reconciliation_notes": ""
    },
    {
      "id": "Q110",
      "symbol": "Mhat_5, Mhat_10",
      "exact_form": "Mhat_5=I5; Mhat_10=I10",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / shape closed, rate open",
      "next_gate": "derive mu_t and fluctuation-dissipation bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Mhat_5, Mhat_10",
      "reconciliation_notes": ""
    },
    {
      "id": "Q111",
      "symbol": "corr_edge_nn",
      "exact_form": "-1/6",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / source-law conditional, not empirical",
      "next_gate": "source validation / physical rate bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "corr_edge_nn",
      "reconciliation_notes": ""
    },
    {
      "id": "Q112",
      "symbol": "k_event^(S5-neutral)",
      "exact_form": "(6/5) kappa_loop",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / master kappa_loop remains source-open",
      "next_gate": "derive master loop normalization G05",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "k_event^(S5-neutral)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q113",
      "symbol": "lambda_E",
      "exact_form": "kappa_loop",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / master kappa_loop remains source-open",
      "next_gate": "derive master loop normalization G05",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "lambda_E",
      "reconciliation_notes": ""
    },
    {
      "id": "Q114",
      "symbol": "lambda_E/k_event",
      "exact_form": "5/6",
      "claim_bin": "DERIVED_STRUCTURAL",
      "status": "AUTO_LOCK / source-addendum conditional",
      "next_gate": "validate constitutive action; no coefficient fit",
      "use_class": "CURRENT_DERIVED",
      "claim_bin_meaning": "Derived from current internal structure; usable structurally, with physical interpretation separately gated.",
      "display_symbol": "lambda_E/k_event",
      "reconciliation_notes": ""
    },
    {
      "id": "Q115",
      "symbol": "spec(K_B/kappa_loop)=spec(K_C/kappa_loop)",
      "exact_form": "{2/3,1,1,5/3,5/3}",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / positive for kappa_loop>0; not empirical spectrum",
      "next_gate": "derive/sign master kappa_loop and validate action source",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "spec(K_B/kappa_loop)=spec(K_C/kappa_loop)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q116",
      "symbol": "gamma_E^(FDT) [notation repair of prior mu_t]",
      "exact_form": "4 q_E / sigma_E^2",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_REPAIR / supersedes interpreting prior mu_t symbol as dissipative-operator coefficient",
      "next_gate": "derive q_E and sigma_E^2; then divide by event stiffness k to obtain co-adapted dissipative coefficient",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "gamma_E^(FDT) [notation repair of prior mu_t]",
      "reconciliation_notes": ""
    },
    {
      "id": "Q117",
      "symbol": "sigma_E^2",
      "exact_form": "1/10",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / normalized mathematical null ensemble",
      "next_gate": "physical source/measurement bridge if desired",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "sigma_E^2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q118",
      "symbol": "q_E",
      "exact_form": "1/30 per unit normalized response-jump parameter",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / dimensionless jump-count normalization",
      "next_gate": "physical clock bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "q_E",
      "reconciliation_notes": ""
    },
    {
      "id": "Q119",
      "symbol": "gamma_E",
      "exact_form": "4/3",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / per unit normalized Poisson jump-count parameter",
      "next_gate": "map event parameter to physical time",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "gamma_E",
      "reconciliation_notes": "COLLISION-02: same rational value, different types"
    },
    {
      "id": "Q120",
      "symbol": "mu_Y^(overdamped response)",
      "exact_form": "gamma_E/k_Y; 32/99 only if k_Y=33/8",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_REPAIR / full 10D cotangent damping remains separate",
      "next_gate": "derive full phase-space stochastic/dissipative bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "mu_Y^(overdamped response)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q121",
      "symbol": "X_evt,3 \u2243_sympl X_qm",
      "exact_form": "(W3_Q\u2295W3_P) symplectically S4-equivalent to (V3_q\u2295V3_m)",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK / dynamical identity separate",
      "next_gate": "SA-023 Hamiltonian identity",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "X_evt,3 \u2243_sympl X_qm",
      "reconciliation_notes": ""
    },
    {
      "id": "Q122",
      "symbol": "c_bridge^2",
      "exact_form": "c^2=5/(4 kappa_loop)=4 b_E/11; reduces to 4/11 only if b_E=1 and kappa_loop=55/16",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_REPAIR CONDITIONAL / cotangent kinetic normalization explicit",
      "next_gate": "derive b_E or a canonical action-unit normalization",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "c_bridge^2",
      "reconciliation_notes": ""
    },
    {
      "id": "Q123",
      "symbol": "kappa_loop^(SA023)",
      "exact_form": "kappa_loop b_E=55/16; equivalently kappa_loop=55/(16 b_E)",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "HISTORICAL CONDITIONAL NORMALIZATION BRANCH / b_E=1 required",
      "next_gate": "do not promote; compare with self-dual SA-024 branch",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "kappa_loop^(SA023)",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q124",
      "symbol": "s_rec^(evt,3)",
      "exact_form": "4 pi sqrt(2/33)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / internal parameter only",
      "next_gate": "physical clock bridge; do not identify with N4",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "s_rec^(evt,3)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q125",
      "symbol": "tau_E",
      "exact_form": "3/4",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK / not physical seconds",
      "next_gate": "physical clock bridge",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "tau_E",
      "reconciliation_notes": "COLLISION-03: repeated 3/4 value on different carriers"
    },
    {
      "id": "Q126",
      "symbol": "C3_tet-center = tau_E",
      "exact_form": "3/4 = (4/3)^(-1)",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK",
      "next_gate": "none for mathematics",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "C3_tet-center = tau_E",
      "reconciliation_notes": "COLLISION-03: repeated 3/4 value on different carriers"
    },
    {
      "id": "Q127",
      "symbol": "E_3,resp->att",
      "exact_form": "T_hat^(-1) o (F\\|_3)^(-1); \\|\\|E(Y)\\|\\|^2=(3/4)\\|\\|Y\\|\\|^2",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK / source-to-retained amplitude identity still open",
      "next_gate": "event amplitude/Hamiltonian identity",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "E_3,resp->att",
      "reconciliation_notes": ""
    },
    {
      "id": "Q128",
      "symbol": "mu_Y^(-1)/k_Y",
      "exact_form": "3/4",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / overdamped response scope only",
      "next_gate": "do not reuse for full cotangent damping without bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "mu_Y^(-1)/k_Y",
      "reconciliation_notes": "COLLISION-03: repeated 3/4 value on different carriers"
    },
    {
      "id": "Q129",
      "symbol": "kappa_loop b_E",
      "exact_form": "55/16 under SA-021 + SA-023 Hamiltonian matching",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / b_E open; G05 not closed",
      "next_gate": "derive b_E",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "kappa_loop b_E",
      "reconciliation_notes": ""
    },
    {
      "id": "Q130",
      "symbol": "b_E/a_E",
      "exact_form": "1",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / common frequency remains open",
      "next_gate": "SA-025 reversible frequency inheritance",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "b_E/a_E",
      "reconciliation_notes": ""
    },
    {
      "id": "Q131",
      "symbol": "Q_10^(null)",
      "exact_form": "(4/15) I10",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / second-moment bridge only",
      "next_gate": "physical stochastic model validation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "Q_10^(null)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q132",
      "symbol": "c_Kahler^2, omega_star",
      "exact_form": "c^2=sqrt(6/11); omega_star=sqrt(33/8)=sqrt(66)/4",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "none for internal mathematics; physical clock bridge separate",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "c_Kahler^2, omega_star",
      "reconciliation_notes": ""
    },
    {
      "id": "Q133",
      "symbol": "kappa_loop^(selfdual candidate)",
      "exact_form": "5sqrt(66)/24",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "REPLAYABLE CONDITIONAL ONLY / SA-025 RETIRED",
      "next_gate": "requires future independent generator-pushforward theorem; not active",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "kappa_loop^(selfdual candidate)",
      "reconciliation_notes": "quarantined; blocked from settled mainline use"
    },
    {
      "id": "Q134",
      "symbol": "mu_K^(selfdual phase space)",
      "exact_form": "8sqrt(66)/99",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / not physical inverse time",
      "next_gate": "SA-025 admission and physical clock bridge",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "mu_K^(selfdual phase space)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q135",
      "symbol": "C_10(s)",
      "exact_form": "(1/10)e^(-4s/3)e^(omega_E J10 s)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / second-moment equivalence only",
      "next_gate": "pathwise stochastic model remains separate",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "C_10(s)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q136",
      "symbol": "Delta L_hist",
      "exact_form": "sum_k (sigma_O,k + sigma_B,k + sigma_C,k)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK HISTORY SCALAR / SUFFICIENCY FOR CANONICAL ACTION OPEN",
      "next_gate": "test whether Delta L_hist can be refined/proved sufficient for typed lifted history {a_omega, Delta phi_tilde_omega} on a declared restricted domain",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Delta L_hist",
      "reconciliation_notes": "v0.40: O09 specifies the exact information a lossless compressed history statistic must preserve."
    },
    {
      "id": "Q137",
      "symbol": "g_loop^normalized",
      "exact_form": "1 conditional on SA-026 and sigma_C=normalized loop obstruction",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "EXACT CONDITIONAL / NORMALIZED PATH COORDINATE ONLY / NOT UNIVERSAL ACTION",
      "next_gate": "scalar action conversion allowed only on a restricted domain after proving proportionality to O09; micro-to-sigma source map remains separately open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "g_loop^normalized",
      "reconciliation_notes": "v0.40: g_loop=1 cannot determine universal G05 or G06."
    },
    {
      "id": "Q138",
      "symbol": "kappa_raw^(R)",
      "exact_form": "1/d_R conditional on SA-026 normalized loop action",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / not universal physical coupling",
      "next_gate": "none as bookkeeping; master action identity remains open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "kappa_raw^(R)",
      "reconciliation_notes": "ALIAS-01: same-symbol/same-form provenance duplicate"
    },
    {
      "id": "Q139",
      "symbol": "omega_E",
      "exact_form": "NONIDENTIFIABLE from current geometry/second moments",
      "claim_bin": "OPEN_GAP",
      "status": "SCOPED NO-GO REFINED / INTERNAL GENERATOR-ACTION FORM RESOLVED; DIMENSIONAL ACTION SCALE STILL NONIDENTIFIABLE",
      "next_gate": "derive the dimensional native action anchor; do not reactivate retired self-dual numerical routes",
      "use_class": "OPEN_GAP",
      "claim_bin_meaning": "Current derivation/source is missing or nonidentifiable.",
      "display_symbol": "omega_E",
      "reconciliation_notes": "v0.40: internal generator/action-form obstruction narrowed; dimensional unit-scale nonidentifiability remains."
    },
    {
      "id": "Q140",
      "symbol": "delta_U(U)",
      "exact_form": "1-ReTr(U)/d = \\|\\|I-U\\|\\|_F^2/(2d)",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK",
      "next_gate": "coarse-grain into breathing/obstruction variables",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "delta_U(U)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q141",
      "symbol": "delta_B(R)",
      "exact_form": "ln(1 + (1/2) R^T (Sigma_B^0)^(-1) R)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / null covariance state statistic required",
      "next_gate": "coarse-grain into sigma_B or other obstruction only through breathing map",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "delta_B(R)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q142",
      "symbol": "A_K^(BC)",
      "exact_form": "1/3",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / orientation-even diagnostic",
      "next_gate": "do not identify directly with sigma_C",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "A_K^(BC)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q143",
      "symbol": "K_facecomp != sigma_C",
      "exact_form": "operator/scalar and micro/coarse type no-go; B,C isospectral while K_C-K_B=2 kappa_loop T5(t) is nonzero trace-free",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK",
      "next_gate": "derive micro precursor -> breathing response -> sigma_C",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "K_facecomp != sigma_C",
      "reconciliation_notes": ""
    },
    {
      "id": "Q144",
      "symbol": "Xi_micro",
      "exact_form": "(delta_U, delta_B, normalized response operator/aniso, ...)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / coarse obstruction map remains open",
      "next_gate": "derive B:Xi_micro->Y_breathing and F:Y_breathing->Sigma",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Xi_micro",
      "reconciliation_notes": ""
    },
    {
      "id": "Q145",
      "symbol": "Xi_defect -> Y_breathing no-go",
      "exact_form": "no unique map from normalized defect/shape precursors to full (S,B,P,K,g,V,R,Lambda)",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK",
      "next_gate": "derive positive flow/source receipts",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "Xi_defect -> Y_breathing no-go",
      "reconciliation_notes": ""
    },
    {
      "id": "Q146",
      "symbol": "B_mu",
      "exact_form": "delta_B = ln(1 + (1/2)R^T(Sigma_B^0)^(-1)R)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / not aggregate breathing burden stock",
      "next_gate": "derive burden stock/flow aggregation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "B_mu",
      "reconciliation_notes": ""
    },
    {
      "id": "Q147",
      "symbol": "K_mu",
      "exact_form": "Gamma=\\|K_{alpha beta}\\|",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / layer-level K_n identification open",
      "next_gate": "derive breathing-layer coherence aggregation",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "K_mu",
      "reconciliation_notes": ""
    },
    {
      "id": "Q148",
      "symbol": "P_mu^tr",
      "exact_form": "delta_U = 1-ReTr(U)/d",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / not pressure stock",
      "next_gate": "derive flux imbalance / pressure law",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "P_mu^tr",
      "reconciliation_notes": ""
    },
    {
      "id": "Q149",
      "symbol": "V_mu^E",
      "exact_form": "5/6",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / event-scale precursor only",
      "next_gate": "derive general breathing V_n from packet redistribution flows",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "V_mu^E",
      "reconciliation_notes": ""
    },
    {
      "id": "Q150",
      "symbol": "C_O,C_B,C_C monotonicity cones",
      "exact_form": "z_O=(B,P,-g,-R); z_B=(B,-V,M,I_inh); z_C=(-K,-R,Lambda,\\|gdot\\|)",
      "claim_bin": "LOCKED_SOURCE_STRUCTURE",
      "status": "AUTO_LOCK",
      "next_gate": "derive numerical F_O,F_B,F_C only after breathing flow laws",
      "use_class": "LOCKED_SOURCE_STRUCTURE",
      "claim_bin_meaning": "Source/flow structure is locked while constitutive numerical laws may remain open.",
      "display_symbol": "C_O,C_B,C_C monotonicity cones",
      "reconciliation_notes": ""
    },
    {
      "id": "Q151",
      "symbol": "block continuity",
      "exact_form": "dX_S/dt = J_boundary + S_local",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "source actual support/burden fluxes and source/sink terms",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "block continuity",
      "reconciliation_notes": ""
    },
    {
      "id": "Q152",
      "symbol": "F_O,F_B,F_C nonidentifiability",
      "exact_form": "dependency signs + F(0)=0 admit infinitely many monotone functions",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK",
      "next_gate": "derive flow/balance dynamics or independent target-blind calibration",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "F_O,F_B,F_C nonidentifiability",
      "reconciliation_notes": ""
    },
    {
      "id": "Q153",
      "symbol": "Delta rho = B j_B + s_B",
      "exact_form": "Delta rho = incidence(edge burden flux) + local nonconservative source/sink",
      "claim_bin": "LOCKED_SOURCE_STRUCTURE",
      "status": "AUTO_LOCK / constitutive j_B and s_B laws open",
      "next_gate": "derive predictive edge-flux and source/sink constitutive laws",
      "use_class": "LOCKED_SOURCE_STRUCTURE",
      "claim_bin_meaning": "Source/flow structure is locked while constitutive numerical laws may remain open.",
      "display_symbol": "Delta rho = B j_B + s_B",
      "reconciliation_notes": ""
    },
    {
      "id": "Q154",
      "symbol": "Delta B_S",
      "exact_form": "J_B,in - J_B,out + J_B,src+ - J_B,sink",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "tag positive source/sink subtypes",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Delta B_S",
      "reconciliation_notes": ""
    },
    {
      "id": "Q155",
      "symbol": "R_redist, J_redist^gross",
      "exact_form": "R_redist=B_int j_int, 1^T R_redist=0; J_redist^gross=sum_eint \\|j_e\\|",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "derive constitutive internal flux law",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "R_redist, J_redist^gross",
      "reconciliation_notes": ""
    },
    {
      "id": "Q156",
      "symbol": "g_boundary^hard",
      "exact_form": "(1/\\|partial_E S\\|) sum_{e in boundary} h_e, h_e=C_cl^hard T_int^hard",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / smooth conductance open",
      "next_gate": "source soft margins or conductance amplitude",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "g_boundary^hard",
      "reconciliation_notes": ""
    },
    {
      "id": "Q157",
      "symbol": "J_S^in factorization",
      "exact_form": "micro cell-core support ingress now exact from J23; recursive/coarse support ingress remains open-system bridge",
      "claim_bin": "OPEN_GAP",
      "status": "PASS at micro cell-core level / recursive S_n bridge open",
      "next_gate": "open-system support source/sink and coarse breathing semantics",
      "use_class": "OPEN_GAP",
      "claim_bin_meaning": "Current derivation/source is missing or nonidentifiable.",
      "display_symbol": "J_S^in factorization",
      "reconciliation_notes": ""
    },
    {
      "id": "Q158",
      "symbol": "s_B residual receipt",
      "exact_form": "s_B = Delta rho - B j_B",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / predictive law open",
      "next_gate": "derive predictive tagged source law",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "s_B residual receipt",
      "reconciliation_notes": ""
    },
    {
      "id": "Q159",
      "symbol": "B_S^pkt",
      "exact_form": "sum_{i in S} rho_i",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / recursive breathing B_n identification remains bridge-level",
      "next_gate": "derive layer/block identification to breathing B_n",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "B_S^pkt",
      "reconciliation_notes": ""
    },
    {
      "id": "Q160",
      "symbol": "breathing flow receipt closure status",
      "exact_form": "J_B,in PASS; J_B,src+ PARTIAL subtype; J_redist PASS; aggregate out/sink PASS; G_gate hard PASS; J_S,in PARTIAL",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK",
      "next_gate": "derive support carrier, source tags, and predictive constitutive fluxes",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "breathing flow receipt closure status",
      "reconciliation_notes": ""
    },
    {
      "id": "Q161",
      "symbol": "w_face-slot^B",
      "exact_form": "1/4",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / dimensionless attempt clock only",
      "next_gate": "physical time map if ever needed",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "w_face-slot^B",
      "reconciliation_notes": ""
    },
    {
      "id": "Q162",
      "symbol": "j_B,e^mix",
      "exact_form": "-(1/4) h_e (B^T b)_e",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / relaxational burden lane only",
      "next_gate": "protected-mode projection and physical clock",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "j_B,e^mix",
      "reconciliation_notes": ""
    },
    {
      "id": "Q163",
      "symbol": "K4 burden mixing",
      "exact_form": "j=(1/3)D^T rho_perp; dot rho_perp=-(4/3)rho_perp",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / not physical damping rate",
      "next_gate": "scope against protected reversible burden modes",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "K4 burden mixing",
      "reconciliation_notes": ""
    },
    {
      "id": "Q164",
      "symbol": "xi_e^mix",
      "exact_form": "(1/4)h_e(S_ce^-1 b_c - S_de^-1 b_d)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK",
      "next_gate": "joint deterministic/stochastic model if both lanes are retained",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "xi_e^mix",
      "reconciliation_notes": ""
    },
    {
      "id": "Q165",
      "symbol": "S_mu^rev",
      "exact_form": "\\|\\|c0\\|\\|^2+\\|\\|c1\\|\\|^2+\\|\\|c2\\|\\|^2+\\|\\|c3\\|\\|^2",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / admitted micro support carrier",
      "next_gate": "global gluing/coarse recursive support bridge",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_mu^rev",
      "reconciliation_notes": ""
    },
    {
      "id": "Q166",
      "symbol": "J_support^(01,12,23)",
      "exact_form": "2 B_k component_product between adjacent chain degrees",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "shared-face multi-cell gluing",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "J_support^(01,12,23)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q167",
      "symbol": "S_mu,H ; J_ie^S",
      "exact_form": "S_mu,H=\\|\\|x\\|\\|^2+\\|\\|H y\\|\\|^2; J_ie^S=2h_e D_ie x_i y_e",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / 64 binary masks verified",
      "next_gate": "gate-transition receipts and global support gluing",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_mu,H ; J_ie^S",
      "reconciliation_notes": ""
    },
    {
      "id": "Q168",
      "symbol": "predictive burden/support closure status",
      "exact_form": "burden mixing PARTIAL/PREDICTIVE normalized; micro support PASS; coarse support OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "UPDATED: normalized burden mixing + global micro support gluing/ownership closed; open-system recursive support remains",
      "next_gate": "glued multi-tetrahedron support continuity and coarse breathing stock bridge",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "predictive burden/support closure status",
      "reconciliation_notes": ""
    },
    {
      "id": "Q169",
      "symbol": "A_K^global",
      "exact_form": "global skew Hodge-Dirac on unique C0\u2295C1\u2295C2\u2295C3 simplices",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK",
      "next_gate": "open-system support terms",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "A_K^global",
      "reconciliation_notes": ""
    },
    {
      "id": "Q170",
      "symbol": "S_mu(R) Hasse control volume",
      "exact_form": "sum_{sigma in R} c_sigma^2; dS=J_in-J_out across incidence cut",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "choose/source recursive layer ownership semantics",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_mu(R) Hasse control volume",
      "reconciliation_notes": ""
    },
    {
      "id": "Q171",
      "symbol": "S_tau^core, J23",
      "exact_form": "S_tau^core=c3_tau^2; dot S=sum_f 2 B3_f,tau c2_f c3_tau",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / micro support throughput closed",
      "next_gate": "open-system/coarse recursive support",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_tau^core, J23",
      "reconciliation_notes": ""
    },
    {
      "id": "Q172",
      "symbol": "S_f^iface",
      "exact_form": "c2_f^2; dot S_f=sum_e J12_e,f - sum_tau J23_f,tau",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "only eliminate reservoir under explicit controlled approximation",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_f^iface",
      "reconciliation_notes": ""
    },
    {
      "id": "Q173",
      "symbol": "J23^h",
      "exact_form": "2 h_f B3_f,tau c2_f c3_tau",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / 128 masks verified on A pair",
      "next_gate": "gate-transition receipt",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "J23^h",
      "reconciliation_notes": ""
    },
    {
      "id": "Q174",
      "symbol": "Spec_support(A)",
      "exact_form": "0^1, (\u00b1i\u221a3)^4, (\u00b1i\u221a5)^7; f=(5,9,7,2)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "none for mathematics",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Spec_support(A)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q175",
      "symbol": "Spec_support(B)=Spec_support(C)",
      "exact_form": "0^1, (\u00b1i\u221a2)^2, (\u00b1i\u221a5)^11; f=(5,10,9,3)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "none for mathematics",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Spec_support(B)=Spec_support(C)",
      "reconciliation_notes": ""
    },
    {
      "id": "Q176",
      "symbol": "global support recurrence",
      "exact_form": "no finite nonzero common period for A,B,C",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK",
      "next_gate": "independent synchronization/coarse clock theorem",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "global support recurrence",
      "reconciliation_notes": ""
    },
    {
      "id": "Q177",
      "symbol": "w_sigma,tau^eq",
      "exact_form": "1/n3(sigma) for sigma subset tau",
      "claim_bin": "LOCKED_MATHEMATICAL_GEOMETRY",
      "status": "AUTO_LOCK",
      "next_gate": "open-system support semantics",
      "use_class": "CURRENT_LOCKED_GEOMETRY",
      "claim_bin_meaning": "Locked finite/discrete mathematical geometry; not automatically physical spacetime geometry.",
      "display_symbol": "w_sigma,tau^eq",
      "reconciliation_notes": ""
    },
    {
      "id": "Q178",
      "symbol": "S_mu,tau^eq",
      "exact_form": "sum_{sigma subset tau} c_sigma^2/n3(sigma)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / admitted packet-cell micro support stock",
      "next_gate": "environment/dissipation/renewal source terms",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S_mu,tau^eq",
      "reconciliation_notes": ""
    },
    {
      "id": "Q179",
      "symbol": "dot S_mu,tau^eq",
      "exact_form": "sum_{sigma\u2282eta}(w_eta,tau-w_sigma,tau) J_sigma,eta",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK",
      "next_gate": "open-system source/sink terms",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "dot S_mu,tau^eq",
      "reconciliation_notes": ""
    },
    {
      "id": "O10",
      "symbol": "A_0^(native action unit)",
      "exact_form": "A_0 = B_0 a_0^2 / tau_0",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / NATIVE ACTION-DIMENSION UNIT OBJECT / B0 MASS-LIKE / NO SI IDENTIFICATION",
      "next_gate": "authorize native-to-physical unit mapping only after B_e/normalization provenance gates; B_0,a_0,tau_0 remain native unit anchors rather than empirical targets",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\mathcal A_0",
      "reconciliation_notes": "v0.43: A0=B0 a0^2/tau0; dimensional closure requires [B0]=M. Current physical action-ratio direction is eta_A=A0/hbar."
    },
    {
      "id": "O11",
      "symbol": "A_spinor,rec^(native)",
      "exact_form": "pi A_0 = pi B_0 a_0^2 / tau_0, conditional on canonical native-unit lift S_native := A_0 I_loop->Hodge",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK CONDITIONAL / NATIVE UNIT-SPINOR RECURRENCE ACTION ANCHOR / NOT PHYSICAL h OR hbar",
      "next_gate": "compare only through a frozen native-to-physical unit bridge after G06 convention/provenance is resolved; no target backsolve",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\mathcal A_{\\rm spinor,rec}^{\\rm native}",
      "reconciliation_notes": "v0.41: O09 gives I_spinor=pi for a unit-support one-winding recurrence. Multiplication by the declared native action unit A_0 gives the parameter-free native dimensional anchor."
    },
    {
      "id": "O12",
      "symbol": "xi_hbar^[phys/native]",
      "exact_form": "hbar/A_0; equivalently hbar = xi_hbar^[phys/native] A_0",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK AS EXPLICIT CONVENTION ALIAS / SOURCE-STRATUM SEMANTICS ONLY / NUMERICAL VALUE OPEN",
      "next_gate": "may become canonical only via recovered provenance or explicit source amendment; physical unit map remains downstream",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, convention alias, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\xi_\\hbar^{[\\rm phys/native]}",
      "reconciliation_notes": "v0.42 convention-qualified alias C1. Prevents silent reciprocal reuse."
    },
    {
      "id": "O13",
      "symbol": "xi_hbar^[native/phys]",
      "exact_form": "A_0/hbar; equivalently A_0 = xi_hbar^[native/phys] hbar = 1/xi_hbar^[phys/native]",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK AS EXPLICIT RECIPROCAL CONVENTION ALIAS / SOURCE-STRATUM SEMANTICS ONLY / NUMERICAL VALUE OPEN",
      "next_gate": "may become canonical only via recovered provenance or explicit source amendment; physical unit map remains downstream",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, convention alias, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\xi_\\hbar^{[\\rm native/phys]}",
      "reconciliation_notes": "v0.42 convention-qualified alias C2. Exact reciprocal of O12."
    },
    {
      "id": "O14",
      "symbol": "eta_A",
      "exact_form": "A_0/hbar; equivalently A_0 = eta_A hbar",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / CURRENT CANONICAL ACTION-RATIO DIRECTION / NUMERICAL VALUE OPEN / NO PHYSICAL PROMOTION",
      "next_gate": "derive/recover numerical native-to-physical action ratio target-blind and independently reconstruct primitive quantum-holonomy normalization before identifying eta_A with xi_act-related quantities",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, convention ratio, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "\\eta_{\\mathcal A}",
      "reconciliation_notes": "v0.43 current canonical replacement for unqualified bare xi_hbar; historical xi conventions translate as eta_A and eta_A^(-1)."
    },
    {
      "id": "O15",
      "symbol": "B_0^(native mass unit)",
      "exact_form": "[B_0]=M; required jointly by A_0=B_0 a_0^2/tau_0 and G_SI=gamma_G a_0^3/(B_0 tau_0^2)",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / MASS-LIKE NATIVE UNIT TYPE / ENERGY-TYPED B0 BRANCH FROZEN",
      "next_gate": "physical matter-anchor identity and numerical B_e remain downstream/open",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, unit object, convention ratio, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "B_0",
      "reconciliation_notes": "v0.43 dimensional repair from ACTION_UNIT_XI_HBAR_RECIPROCAL_AND_B0_DIMENSION_REPAIR_v0.1."
    },
    {
      "id": "Q180",
      "symbol": "PSR(c)",
      "exact_form": "({rho_sigma},{chi_sigma,tau}_F,{epsilon_C})",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / SUFFICIENT PROJECTIVE SUPPORT RECEIPT ON NONZERO CHAIN STATE",
      "next_gate": "same-carrier acquisition of the required stock/current/root-sign receipt",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "PSR(c)",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_RAY; physical promotion 0"
    },
    {
      "id": "Q181",
      "symbol": "R_PSR(PSR(c))",
      "exact_form": "c/sqrt(S_mu(c))",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT POSITIVE-RAY RECONSTRUCTION THEOREM",
      "next_gate": "physical preparation/measurement realization and independent held-out test",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "R_PSR(PSR(c))",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_RAY; physical promotion 0"
    },
    {
      "id": "Q182",
      "symbol": "receipt-only chain-ray identifiability",
      "exact_form": "{event/route/lineage receipts + all Hasse currents + S_mu} not=> [c]",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / PARITY-DEGREE GAUGE WITNESS",
      "next_gate": "reopen only with an independently sufficient support receipt such as PSR",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "receipt-only chain-ray identifiability",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_RAY; physical promotion 0"
    },
    {
      "id": "Q183",
      "symbol": "PSR_pre acquisition algebra",
      "exact_form": "q_sigma=c_sigma^2; chi=sgn(BJ); q_r^+-q_r^-=4 alpha c_r",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL ALGEBRA / CANDIDATE MEASUREMENT BRIDGE",
      "next_gate": "real simplex-resolved stock/current telemetry and calibrated restore-equivalent root probe",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "PSR_pre acquisition algebra",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_PRE; physical promotion 0"
    },
    {
      "id": "Q184",
      "symbol": "PSR A->B->C covariance",
      "exact_form": "R_C(PSR(PTc))=PT R_A(PSR(c)); R_C(PSR(Pc))=P R_B(PSR(c))",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT EVENT-RAY COVARIANCE",
      "next_gate": "same-carrier empirical implementation; A->B vulnerable dynamical residual remains separate",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "PSR A->B->C covariance",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_ABC; physical promotion 0"
    },
    {
      "id": "Q185",
      "symbol": "PSR forest-choice gauge",
      "exact_form": "R_C(PSR_C^mapped)=R_C(PSR_C^canonical)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / FOREST SERIALIZATION GAUGE EQUIVALENCE",
      "next_gate": "none for ray reconstruction; transport serializers must preserve provenance",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "PSR forest-choice gauge",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_ABC; physical promotion 0"
    },
    {
      "id": "Q186",
      "symbol": "PSR schema integrity vs source authenticity",
      "exact_form": "PSR_SCHEMA_PASS not=> intended external source state",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / COHERENT ALTERNATE-STATE WITNESS",
      "next_gate": "trusted source authentication / independent state-identity channel",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "PSR schema integrity vs source authenticity",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_ROBUST; physical promotion 0"
    },
    {
      "id": "Q187",
      "symbol": "PSR authenticated interval receipt",
      "exact_form": "AUTH_PASS -> uncertainty feasibility -> ray enclosure",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / SOURCE-AUTHENTICATION + UNCERTAINTY INTERFACE",
      "next_gate": "real calibration certificates, trusted signer, same-carrier held-out acquisition",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "PSR authenticated interval receipt",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_AUTH; physical promotion 0"
    },
    {
      "id": "Q188",
      "symbol": "PSR log-linear magnitude feasibility",
      "exact_form": "2 ln(J_min/2) <= x_sigma+x_tau <= 2 ln(J_max/2), x_sigma=ln q_sigma",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT POSITIVE-SUPPORT INTERVAL FEASIBILITY TRANSFORM",
      "next_gate": "empirical interval source/coverage validation; zero-crossing cases remain indeterminate",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "PSR log-linear magnitude feasibility",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_AUTH; physical promotion 0"
    },
    {
      "id": "Q189",
      "symbol": "K4 PSR Hasse train/holdout split",
      "exact_form": "28 = 14_train + 14_holdout",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / FULL-SUPPORT FILLED-K4 INTRINSIC SPLIT",
      "next_gate": "real same-carrier acquisition with frozen deterministic tree and hidden complement",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "K4 PSR Hasse train/holdout split",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_SAME; physical promotion 0"
    },
    {
      "id": "Q190",
      "symbol": "I_sigma,tau^pred",
      "exact_form": "range_{c in F_PSR}(2 B_sigma,tau c_sigma c_tau)",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / PRETARGET HELD-OUT CURRENT PREDICTION SET",
      "next_gate": "authenticated held-out measurement and independent joint-compatibility scorer",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "I_sigma,tau^pred",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_SAME; physical promotion 0"
    },
    {
      "id": "Q191",
      "symbol": "rho_sigma^(opt)",
      "exact_form": "P_sigma/P_science",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / COHERENT-PHOTONIC PSR SUPPORT MAP",
      "next_gate": "device-specific detector/source calibration and held-out realization",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "rho_sigma^(opt)",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_PLATFORM; physical promotion 0"
    },
    {
      "id": "Q192",
      "symbol": "J_sigma,tau^(opt)",
      "exact_form": "B_sigma,tau (P_+-P_-)/P_science = 2 B_sigma,tau c_hat_sigma c_hat_tau",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / BALANCED-INTERFERENCE HASSSE-BILINEAR MAP",
      "next_gate": "device-specific 50:50 analyzer calibration, phase reference, uncertainty, held-out test",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "J_sigma,tau^(opt)",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_PLATFORM; physical promotion 0"
    },
    {
      "id": "Q193",
      "symbol": "PSR optical root probe",
      "exact_form": "q_r^+-q_r^- = 4 alpha_cert c_r after calibrated 50:50 root/aux normalization",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / MATCHED COHERENT ROOT-SIGN MAP",
      "next_gate": "mode-17 amplitude/phase calibration and restore/stationarity certificate",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "PSR optical root probe",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_OPTICAL; physical promotion 0"
    },
    {
      "id": "O16",
      "symbol": "PSR optical logical-mode contract",
      "exact_form": "m1-15 science; m16 reference; m17 root auxiliary; m18-20 calibration/guard",
      "claim_bin": "NOT_A_COEFFICIENT",
      "status": "AUTO_LOCK / FROZEN 20-MODE IMPLEMENTATION MAP",
      "next_gate": "serial-device binding and calibration; no target-aware remap",
      "use_class": "NON_COEFFICIENT",
      "claim_bin_meaning": "State, input, constraint, map, or family; must not be treated as a free theory coefficient.",
      "display_symbol": "PSR optical logical-mode contract",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_OPTICAL; physical promotion 0"
    },
    {
      "id": "O17",
      "symbol": "PSR optical pretarget freeze",
      "exact_form": "SHA256 126aa44b4a034d9b4c3d2dc02a6c372659cd3cbe905f1d0b22f877d3e2aa4812",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / PRETARGET IMPLEMENTATION CORE FROZEN",
      "next_gate": "device-session source bundle must validate before acquisition",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "PSR optical pretarget freeze",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_OPTICAL; physical promotion 0"
    },
    {
      "id": "O18",
      "symbol": "PSR QuiX Alquor20 model/lab binding",
      "exact_form": "PUBLIC_MODEL_BINDING=PASS; SERIAL_DEVICE_SESSION=OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK MODEL/LAB BINDING / ACQUISITION BLOCKED",
      "next_gate": "real device serial, firmware/configuration, detector/source/phase/stationarity certificates",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "PSR QuiX Alquor20 model/lab binding",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_QUIX; physical promotion 0"
    },
    {
      "id": "O19",
      "symbol": "PSR device-session authorization gate",
      "exact_form": "schema \u2227 source_complete \u2227 device_contract \u2227 frozen_hashes \u2227 cert_hashes \u2227 trusted_attestation",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / FAIL-CLOSED INTAKE VALIDATOR",
      "next_gate": "real QuiX/lab trust anchor and signed calibration/session return",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "PSR device-session authorization gate",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_VALIDATOR; physical promotion 0"
    },
    {
      "id": "O20",
      "symbol": "PSR real optical acquisition authorization",
      "exact_form": "FALSE / BLOCKED_PENDING_REAL_DEVICE_SESSION_BUNDLE",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK CURRENT STATUS / NO REAL HELD-OUT OPTICAL RESULT",
      "next_gate": "validator must return ACQUISITION_AUTHORIZED on a real source bundle",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "PSR real optical acquisition authorization",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_VALIDATOR; physical promotion 0"
    },
    {
      "id": "O21",
      "symbol": "PSR vendor/lab attestation handoff",
      "exact_form": "VENDOR_HANDOFF_READY / PUBLIC-KEY-ONLY TRUST ENROLLMENT / HELDOUT DATA EXCLUDED",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / EXTERNAL SOURCE-HANDOFF CONTRACT READY",
      "next_gate": "vendor/lab response with real calibration evidence; then validator intake",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "PSR vendor/lab attestation handoff",
      "reconciliation_notes": "PSR experimental-bridge stack v0.44; source=SRC_PSR_HANDOFF; physical promotion 0"
    },
    {
      "id": "Q194",
      "symbol": "receipt-index continuation-map cancellation",
      "exact_form": "ind F_n = dim L_n^- - dim L_n^+",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / NET Hamming budget independent of continuation-map rank",
      "next_gate": "derive native source construction of L_n^- and L_n^+",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "receipt-index continuation-map cancellation",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q195",
      "symbol": "minimal receipt-index net budget",
      "exact_form": "mu_Theta,n = dim L_n^- - dim L_n^+",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / SOURCE-COMPLETE PRE-EVENT NET POLARITY AND MULTIPLICITY LAW",
      "next_gate": "held-out endpoint validation on independently sourced receipt-complete events",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "minimal receipt-index net budget",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q196",
      "symbol": "receipt-index closure-capacity change",
      "exact_form": "Delta D_cl,n = -2 mu_Theta,n",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / NET CLOSURE POLARITY",
      "next_gate": "same held-out event test",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "receipt-index closure-capacity change",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q197",
      "symbol": "three-pair burden endpoint selector",
      "exact_form": "argmin_{theta in A_k(T)} sum_p theta_p W_p^B2",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / EXACT THREE-PAIR ADDRESS SELECTOR WITH HOLD ON TIES",
      "next_gate": "held-out exact address validation",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "three-pair burden endpoint selector",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q198",
      "symbol": "constitutive receipt-index event operator E_n^RI",
      "exact_form": "(theta_bar^-,L^-,L^+,T,W^B2) -> theta^+ or HOLD/INFEASIBLE",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / SOURCE-COMPLETE CONDITIONAL CONSTITUTIVE OPERATOR",
      "next_gate": "independent target-blind joint replay",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "constitutive receipt-index event operator E_n^RI",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q199",
      "symbol": "net/gross parity event identities",
      "exact_form": "|c|-|o|=mu_Theta; |c|+|o|=w_H(a)",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / DIRECTED NET AND GROSS MULTIPLICITY IDENTITIES",
      "next_gate": "none internally; empirical receipt validation downstream",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "net/gross parity event identities",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q200",
      "symbol": "lineage provenance from net budget",
      "exact_form": "{dim L^-,dim L^+,mu,endpoint} not=> predecessor/source-renewal provenance",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONTINUATION CANCELLATION DOES NOT IDENTIFY LINEAGE",
      "next_gate": "independent predecessor/lineage receipts required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "lineage provenance from net budget",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "O22",
      "symbol": "signed-support polarity lane under receipt-index availability",
      "exact_form": "SECONDARY_DIAGNOSTIC_ONLY; may not override mu_Theta^RI",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / PRIMARY SOURCE PRECEDENCE REPAIRED",
      "next_gate": "test equality mu_RI = mu_sign as independent falsifier",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "signed-support polarity lane under receipt-index availability",
      "reconciliation_notes": "v0.45 constitutive receipt-index patch; physical promotion 0"
    },
    {
      "id": "Q201",
      "symbol": "pair hard integrity T_p^pair",
      "exact_form": "product_{e in M_p} T_int,e^hard",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / pair viability derived from edge integrity",
      "next_gate": "none internally",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "pair hard integrity T_p^pair",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q202",
      "symbol": "latent pair support Lambda_p^pair",
      "exact_form": "sum_{e in M_p} 2|c1,e|(|c0,i|+|c0,j|)",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / pre-gate reopening-visible pair activity",
      "next_gate": "empirical/source acquisition if used constitutively",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "latent pair support Lambda_p^pair",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q203",
      "symbol": "gated-route obligation-source no-go",
      "exact_form": "theta_p=1 can imply Phi_e^S=0 for all e in M_p while Lambda_p^pair>0",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / gated flow reopening blind",
      "next_gate": "use a pre-gate source for reopening-aware constitutive work",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "gated-route obligation-source no-go",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q204",
      "symbol": "latent obligation receipt omega_p^lat",
      "exact_form": "T_p^pair * 1[Lambda_p^pair>0]",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / source-bound binary latent receipt",
      "next_gate": "constitutive interpretation separately gated",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "latent obligation receipt omega_p^lat",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q205",
      "symbol": "POC-1 obligation saturation",
      "exact_form": "1-theta_tau = omega_tau^lat",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "PREREGISTERED CONSTITUTIVE CANDIDATE / NOT INTERNAL THEOREM",
      "next_gate": "held-out previous-event saturation and endpoint tests",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "POC-1 obligation saturation",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q206",
      "symbol": "POC-1 obligation spaces",
      "exact_form": "L^- = span{e_p:omega_p(tau)=1}; L^+ = span{e_p:omega_p(n*)=1}",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL ON POC-1",
      "next_gate": "independent event replay",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "POC-1 obligation spaces",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q207",
      "symbol": "POC-1 first-change trigger",
      "exact_form": "n*=min{n>tau: omega_n^lat != omega_tau^lat}",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / ZERO-THRESHOLD TRIGGER",
      "next_gate": "independent event replay",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "POC-1 first-change trigger",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q208",
      "symbol": "POC-1 endpoint",
      "exact_form": "theta^+ = 1-omega_n*^lat",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "PREREGISTERED PAIR-ADDRESSED CONSTITUTIVE PREDICTOR",
      "next_gate": "held-out exact endpoint test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "POC-1 endpoint",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q209",
      "symbol": "POC-1 S4 covariance",
      "exact_form": "omega^lat -> P_pi(g) omega^lat",
      "claim_bin": "EXACT_INTERNAL",
      "status": "AUTO_LOCK / EXACT COVARIANCE",
      "next_gate": "none internally",
      "use_class": "CURRENT_EXACT",
      "claim_bin_meaning": "Exact consequence of declared current internal objects; no physical alias follows automatically.",
      "display_symbol": "POC-1 S4 covariance",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q210",
      "symbol": "closed-carrier obligation nonidentifiability",
      "exact_form": "current exact closed packet/support/route variables do not force omega^lat to be an output obligation",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONSTITUTIVE SEMANTICS STILL REQUIRED",
      "next_gate": "held-out test or stronger source theorem",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "closed-carrier obligation nonidentifiability",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "O23",
      "symbol": "burden optimizer under POC-1",
      "exact_form": "SECONDARY_DIAGNOSTIC; cannot overwrite pair-addressed obligation prediction",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / SOURCE PRECEDENCE UPDATED",
      "next_gate": "compare theta_POC1 to Theta_opt^B2 as independent diagnostic",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "burden optimizer under POC-1",
      "reconciliation_notes": "v0.46 primitive-obligation constructor patch; physical promotion 0"
    },
    {
      "id": "Q211",
      "symbol": "public POC-1 corpus source-completeness no-go",
      "exact_form": "surveyed public corpora do not supply all frozen R1-R8 POC-1 source fields on native/pre-frozen types",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / NO PUBLIC SOURCE-COMPLETE POC-1 CORPUS IDENTIFIED",
      "next_gate": "purpose-built independent corpus or pre-frozen new correspondence before target exposure",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "public POC-1 corpus source-completeness no-go",
      "reconciliation_notes": "v0.47 POC-1 corpus-admissibility no-go; physical promotion 0"
    },
    {
      "id": "O24",
      "symbol": "POC-1 public empirical score status",
      "exact_form": "NO_SCORE / SOURCE_ADMISSION_FAIL",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / EMPIRICAL VERDICT WITHHELD RATHER THAN PROXY-FITTED",
      "next_gate": "admit a corpus passing R1-R8 then execute frozen predictor",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 public empirical score status",
      "reconciliation_notes": "v0.47 POC-1 corpus-admissibility no-go; physical promotion 0"
    },
    {
      "id": "O25",
      "symbol": "POC-1 native event bench carrier contract",
      "exact_form": "4 C0 + 6 C1 + 6 hard-integrity + 3 theta endpoint latches",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / PURPOSE-BUILT NATIVE SOURCE CONTRACT FROZEN",
      "next_gate": "bind a real independent apparatus",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 native event bench carrier contract",
      "reconciliation_notes": "v0.48 purpose-built POC-1 experiment preregistration; physical promotion 0"
    },
    {
      "id": "O26",
      "symbol": "POC-1 event-engine independence contract",
      "exact_form": "independent authoring + pretarget mechanism hash + no predictor read access",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / NONTAUTOLOGY CONTROL",
      "next_gate": "independent lab execution",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 event-engine independence contract",
      "reconciliation_notes": "v0.48 purpose-built POC-1 experiment preregistration; physical promotion 0"
    },
    {
      "id": "O27",
      "symbol": "POC-1 endpoint custody order",
      "exact_form": "source packet < prediction freeze < endpoint release < score",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / BLIND ENDPOINT CUSTODY",
      "next_gate": "real run with independent custody",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 endpoint custody order",
      "reconciliation_notes": "v0.48 purpose-built POC-1 experiment preregistration; physical promotion 0"
    },
    {
      "id": "Q212",
      "symbol": "POC-1 purpose-built endpoint test",
      "exact_form": "theta_hat^+ = 1-omega_lat; exact equality to hidden theta+",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "PRETARGET FROZEN / DETERMINISTIC HELD-OUT CONSTITUTIVE TEST",
      "next_gate": "independent purpose-built run",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "POC-1 purpose-built endpoint test",
      "reconciliation_notes": "v0.48 purpose-built POC-1 experiment preregistration; physical promotion 0"
    },
    {
      "id": "O28",
      "symbol": "POC-1 purpose-built experiment status",
      "exact_form": "FROZEN_SPEC / REAL_RUN_NOT_EXECUTED",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO EMPIRICAL CLAIM YET",
      "next_gate": "independent apparatus binding and execution",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 purpose-built experiment status",
      "reconciliation_notes": "v0.48 purpose-built POC-1 experiment preregistration; physical promotion 0"
    },
    {
      "id": "O29",
      "symbol": "POC-1 lab hardware channel contract",
      "exact_form": "4 C0 + 6 independent C1 + 6 hard integrity + 3 endpoint latches",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / LAB IMPLEMENTATION CONTRACT READY",
      "next_gate": "real bench binding",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 lab hardware channel contract",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "O30",
      "symbol": "POC-1 timing/custody barrier",
      "exact_form": "calibration < engine commit < source seal < prediction freeze < endpoint release < score",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / TARGET-BLIND OFFLINE CUSTODY",
      "next_gate": "real lab custody verification",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 timing/custody barrier",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "Q213",
      "symbol": "interval-safe latent receipt implementation",
      "exact_form": "interval arithmetic -> omega_lat or SOURCE_INDETERMINATE; no epsilon",
      "claim_bin": "COMPUTED_BRIDGE",
      "status": "AUTO_LOCK / MEASUREMENT-SAFE POC-1 SOURCE MAP",
      "next_gate": "real calibration coverage",
      "use_class": "BRIDGE",
      "claim_bin_meaning": "Computed interface between typed layers; downstream/physical promotion remains gated.",
      "display_symbol": "interval-safe latent receipt implementation",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "Q214",
      "symbol": "real-time race requirement",
      "exact_form": "endpoint write need not follow prediction freeze; endpoint content release must follow freeze",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / REAL-TIME PREDICTOR RACE NOT REQUIRED FOR TARGET BLINDNESS",
      "next_gate": "none; preserve custody separation",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "real-time race requirement",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "O31",
      "symbol": "independent engine input firewall",
      "exact_form": "engine receives neither omega_lat nor POC-1 prediction",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / NONTAUTOLOGY INTERFACE",
      "next_gate": "real engine qualification",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "independent engine input firewall",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "O32",
      "symbol": "POC-1 lab implementation authorization status",
      "exact_form": "IMPLEMENTATION_PACKET_READY / REAL_HARDWARE_UNBOUND",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO EMPIRICAL CLAIM",
      "next_gate": "bind real lab hardware and certificates",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 lab implementation authorization status",
      "reconciliation_notes": "v0.49 POC-1 mixed-signal lab implementation patch; physical promotion 0"
    },
    {
      "id": "O33",
      "symbol": "POC-1 lab-response feasibility criteria",
      "exact_form": "F01-F12 frozen before UdeG/IPN reply ingestion",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / PRE-RESPONSE FEASIBILITY GATE",
      "next_gate": "score direct lab replies",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 lab-response feasibility criteria",
      "reconciliation_notes": "v0.50 lab-response feasibility gate; physical promotion 0"
    },
    {
      "id": "O34",
      "symbol": "POC-1 lab-response verdict rule",
      "exact_form": "NO=>NO_GO; UNKNOWN=>INCOMPLETE; CONDITIONAL=>CONDITIONAL; all YES=>PASS",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / CATEGORICAL SCORER",
      "next_gate": "apply to first-pass replies",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 lab-response verdict rule",
      "reconciliation_notes": "v0.50 lab-response feasibility gate; physical promotion 0"
    },
    {
      "id": "O35",
      "symbol": "POC-1 lab-response evidence rule",
      "exact_form": "direct lab evidence required; public capability evidence cannot upgrade UNKNOWN",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / ANTI-INFERENCE NORMALIZATION",
      "next_gate": "preserve reply provenance",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 lab-response evidence rule",
      "reconciliation_notes": "v0.50 lab-response feasibility gate; physical promotion 0"
    },
    {
      "id": "O36",
      "symbol": "POC-1 parallel-lab comparison rule",
      "exact_form": "multiple PASS labs remain independent paths; no cross-lab criterion mutation",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / REPLICATION PRESERVATION",
      "next_gate": "compare after separate first-pass freezes",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "POC-1 parallel-lab comparison rule",
      "reconciliation_notes": "v0.50 lab-response feasibility gate; physical promotion 0"
    },
    {
      "id": "O37",
      "symbol": "POC-1 external lab feasibility status",
      "exact_form": "UdeG=PENDING; IPN=PENDING; criteria frozen",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO FEASIBILITY RESULT YET",
      "next_gate": "ingest first direct responses",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "POC-1 external lab feasibility status",
      "reconciliation_notes": "v0.50 lab-response feasibility gate; physical promotion 0"
    },
    {
      "id": "Q215",
      "symbol": "R_e latent-support witness",
      "exact_form": "c1,e^2(c0,i^2+c0,j^2); R_e>0 iff Lambda_e^S>0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / POLYNOMIAL ZERO-SET EQUIVALENT TO LATENT ACTIVITY",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "R_e latent-support witness",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q216",
      "symbol": "dot R_e",
      "exact_form": "2 c1,e dotc1,e(c0,i^2+c0,j^2)+2 c1,e^2(c0,i dotc0,i+c0,j dotc0,j) with Hodge substitutions",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT PRE-GATE LATENT-SUPPORT RATE",
      "next_gate": "empirical source acquisition only",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "dot R_e",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q217",
      "symbol": "L_p latent occupancy",
      "exact_form": "1[sum_{e in M_p} R_e > 0]",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT PAIR LATENT-SUPPORT RECEIPT",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "L_p latent occupancy",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q218",
      "symbol": "A_p,S_p viable-lane receipts",
      "exact_form": "A=(1-omega^-)omega^+; S=omega^-(1-omega^+)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT PAIR SOURCE-SINK RECEIPTS",
      "next_gate": "response law separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "A_p,S_p viable-lane receipts",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q219",
      "symbol": "viable-lane source/sink subtype partition",
      "exact_form": "A=A^L+A^T+A^LT; S=S^L+S^T+S^LT",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / LATENT ONSET-INTEGRITY RESTORATION-EXTINCTION-LOSS TAGS",
      "next_gate": "do not alias to physical support source/sink",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "viable-lane source/sink subtype partition",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q220",
      "symbol": "F_omega canonical pair continuation",
      "exact_form": "persistent e_p->e_p; disappearing e_p->0 on fixed A/B/C basis",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / NO PAIR PREDECESSOR AMBIGUITY",
      "next_gate": "general packet lineage remains separate",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "F_omega canonical pair continuation",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q221",
      "symbol": "ind F_omega",
      "exact_form": "N_sink-N_add=|omega^-|-|omega^+|",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT VIABLE-LANE SOURCE-SINK INDEX",
      "next_gate": "Theta response separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "ind F_omega",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q222",
      "symbol": "lane source/sink vs physical source/sink identity",
      "exact_form": "viable-lane A,S are not by equality support s_B, environment leakage, or physical creation/destruction",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / TYPED SOURCE-SINK NONIDENTITY",
      "next_gate": "independent bridge required for any physical alias",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "lane source/sink vs physical source/sink identity",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q223",
      "symbol": "source/sink receipts -> Theta endpoint",
      "exact_form": "{pre-event c,T,A,S} not=> theta+",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONSTITUTIVE RESPONSE NONIDENTIFIABILITY",
      "next_gate": "derive or empirically validate response coupling",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "source/sink receipts -> Theta endpoint",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q224",
      "symbol": "POC-1 response in source/sink form",
      "exact_form": "c_Theta=S; o_Theta=A; equivalently theta+=1-omega+ on saturation domain",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "PREREGISTERED CONSTITUTIVE RESPONSE / SOURCE-SINK LAYER NOW EXACT",
      "next_gate": "independent held-out response test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "POC-1 response in source/sink form",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "O38",
      "symbol": "remaining POC-1 constitutive gap",
      "exact_form": "SOURCE/SINK RECEIPTS CLOSED; THETA RESPONSE COUPLING OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / CONSTITUTIVE GAP NARROWED",
      "next_gate": "independent response experiment or deeper response theorem",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "remaining POC-1 constitutive gap",
      "reconciliation_notes": "v0.51 latent-lane source/sink theorem patch; physical promotion 0"
    },
    {
      "id": "Q225",
      "symbol": "V_pair(theta|omega)",
      "exact_form": "sum_p (1-theta_p) omega_p",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / PAIR VIABLE-TRANSPORT OBJECTIVE",
      "next_gate": "selection principle itself separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "V_pair(theta|omega)",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q226",
      "symbol": "argmax V_pair",
      "exact_form": "theta_p=0 for omega_p=1; free for omega_p=0; cardinality 2^(3-|omega|)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT MAXIMIZER SET",
      "next_gate": "none mathematically",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "argmax V_pair",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q227",
      "symbol": "source->reopen under maximal pair transport",
      "exact_form": "A_p=1 => o_Theta,p=1 on previous-saturation domain",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / MAX-TRANSPORT HALF-RESPONSE",
      "next_gate": "justify maximal pair transport constitutively or test it",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "source->reopen under maximal pair transport",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q228",
      "symbol": "sink->closure under maximal transport",
      "exact_form": "S_p=1 not=> c_Theta,p=1",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / MAXIMAL TRANSPORT DOES NOT FORCE POC1 CLOSURE",
      "next_gate": "additional closure-economy principle or empirical test",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "sink->closure under maximal transport",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q229",
      "symbol": "G_p edge-admitted latent activity",
      "exact_form": "sum_{e in M_p} T_e Lambda_e^S",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EDGE-LEVEL MAX-TRANSPORT SOURCE OBJECT",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "G_p edge-admitted latent activity",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q230",
      "symbol": "partial-integrity POC1/max-transport divergence",
      "exact_form": "omega_p=0 and G_p>0 => theta_POC1=1 while edge-max theta=0",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / POC1 CAN CONFLICT WITH EDGE-LEVEL MAX TRANSPORT",
      "next_gate": "target-blind discriminating event",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "partial-integrity POC1/max-transport divergence",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q231",
      "symbol": "support-continuity response selection",
      "exact_form": "support continuity not=> theta_p or c_Theta=S",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONTROL-VOLUME BALANCE IS GATE-PARAMETRIC",
      "next_gate": "new constitutive response principle required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "support-continuity response selection",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q232",
      "symbol": "POC1 logical decomposition",
      "exact_form": "1-theta=omega iff [omega<=1-theta] and [1-theta<=omega]",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / VIABLE COMPLETENESS + NO-IDLE-OPEN EQUIVALENCE",
      "next_gate": "derive second inequality",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "POC1 logical decomposition",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q233",
      "symbol": "closure-economy principle",
      "exact_form": "among maximal pair-transport states maximize w_H(theta)",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE / UNIQUELY RECOVERS POC1",
      "next_gate": "independent derivation or held-out discrimination",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "closure-economy principle",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q234",
      "symbol": "MTA response",
      "exact_form": "theta_p^MTA = 1[G_p=0] from edge-max transport then max closure",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE COMPETITOR / DIFFERS FROM POC1 ON PARTIAL INTEGRITY",
      "next_gate": "held-out partial-integrity events",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "MTA response",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "O39",
      "symbol": "remaining response-coupling gap",
      "exact_form": "reopening half conditionally supported; sink closure requires no-idle-open/closure-economy principle",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / RESPONSE GAP SHARPENED",
      "next_gate": "derive/falsify closure-economy principle",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "remaining response-coupling gap",
      "reconciliation_notes": "v0.52 response-coupling maximal-transport no-go; physical promotion 0"
    },
    {
      "id": "Q235",
      "symbol": "S3-equivariant response-map count",
      "exact_form": "64 maps Omega->Q",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT RESPONSE MAP ENUMERATION",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "S3-equivariant response-map count",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q236",
      "symbol": "equivariant transport-complete response count",
      "exact_form": "8 of 64 satisfy omega<=R(omega)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / SYMMETRY+COMPLETENESS NONUNIQUENESS",
      "next_gate": "additional response principle required",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "equivariant transport-complete response count",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q237",
      "symbol": "formal reset-idempotence count",
      "exact_form": "all 8 complete maps satisfy R o iota o R = R",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / IDEMPOTENCE HAS ZERO DISCRIMINATION",
      "next_gate": "do not use idempotence as independent POC1 support",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "formal reset-idempotence count",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q238",
      "symbol": "symmetric monotone complete response classification",
      "exact_form": "exactly R0,R2,R1,Rtop",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / FOUR MEMORYLESS RESPONSE LAWS",
      "next_gate": "additional selector required",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "symmetric monotone complete response classification",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q239",
      "symbol": "POC1 least-response theorem",
      "exact_form": "R_POC1=pointwise least complete response; argmin_{q>=omega} w_H(q)=omega",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ORDER-THEORETIC CHARACTERIZATION",
      "next_gate": "derivation of least-response selection remains open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "POC1 least-response theorem",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q240",
      "symbol": "minimal-state ambiguity",
      "exact_form": "minimal open count=>POC1; minimal gate change on sink=>hold-open; minimal theta Hamming=>fully open",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / UNTYPED MINIMALITY CANNOT SELECT RESPONSE",
      "next_gate": "specify independently sourced objective",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "minimal-state ambiguity",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q241",
      "symbol": "pair-local response classification",
      "exact_form": "g(1)=1 leaves g(0)=0 POC1 or g(0)=1 fully-open",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / PAIR LOCALITY DOES NOT CLOSE NO-IDLE BIT",
      "next_gate": "derive g(0) from new principle",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "pair-local response classification",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q242",
      "symbol": "gate-history composition nonuniqueness",
      "exact_form": "close-on-sink and hold-on-sink both local symmetric deterministic repeated-idempotent commuting rules",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / ORDINARY COMPOSITION DOES NOT SELECT CLOSURE",
      "next_gate": "zero-holonomy or other response principle required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "gate-history composition nonuniqueness",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q243",
      "symbol": "zero-holonomy sink closure",
      "exact_form": "source-state loop return=>gate-state loop return forces close-on-sink for elementary 0->1->0 loop",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE / WOULD SUPPORT CLOSURE BUT IS NOT CURRENT NATIVE THEOREM",
      "next_gate": "derive global gate-loop return independently",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "zero-holonomy sink closure",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q244",
      "symbol": "recurrence response selector",
      "exact_form": "chain/source recurrence plus memoryless response does not distinguish R0,R2,R1,Rtop",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / RECURRENCE DOES NOT UNIQUELY SELECT POC1",
      "next_gate": "new coupling between chain recurrence and gate state required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "recurrence response selector",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "O40",
      "symbol": "closure-economy derivation status",
      "exact_form": "POC1 characterized as least complete response; least-element selection remains constitutive",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / SINGLE EARLIEST RESPONSE GAP RETAINED",
      "next_gate": "derive/test least-response selection",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "closure-economy derivation status",
      "reconciliation_notes": "v0.53 closure-economy native-structure audit; physical promotion 0"
    },
    {
      "id": "Q245",
      "symbol": "N_open(q)",
      "exact_form": "6-2w_H(theta)=2w_H(q)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT HARD OPEN-SLOT COUNT",
      "next_gate": "no existing minimization law",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "N_open(q)",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q246",
      "symbol": "open-slot minimizer under completeness",
      "exact_form": "argmin_{q>=omega} N_open(q)=omega",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT LEAST-RESPONSE SCALAR CHARACTERIZATION",
      "next_gate": "cannot count as independent closure-economy derivation",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "open-slot minimizer under completeness",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q247",
      "symbol": "quadratic burden response direction",
      "exact_form": "R_B=(1/4) sum q_p W_p^B2 is currently maximized under fixed Hamming",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / GENERIC POSITIVE BURDEN REWARD FAVORS OPENNESS",
      "next_gate": "do not reverse sign post hoc",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "quadratic burden response direction",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q248",
      "symbol": "reversed burden cost candidate",
      "exact_form": "min sum q_p W_p gives q=omega only for strictly positive idle weights; zero weights yield ties",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "AUTO_FREEZE AS RETROACTIVE DERIVATION / NEW RESPONSE COST IF EVER USED",
      "next_gate": "independent sign/direction theorem required",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "reversed burden cost candidate",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q249",
      "symbol": "burden relaxation power vs response",
      "exact_form": "-dot E_B=(1/4) sum_e q_p(e)T_e(B^Tb)_e^2",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / STEEPEST BURDEN RELAXATION FAVORS ADDITIONAL OPEN GRADIENT LANES",
      "next_gate": "cannot derive closure economy",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "burden relaxation power vs response",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q250",
      "symbol": "canonical Hodge action gate-response dependence",
      "exact_form": "current J_nu=pi||P_nu x||^2 has no q/H response argument",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CURRENT ACTION IS RESPONSE-BLIND",
      "next_gate": "new gate-masked action would require separate derivation",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "canonical Hodge action gate-response dependence",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q251",
      "symbol": "fixed-cardinality completeness",
      "exact_form": "q>=omega and w_H(q)=w_H(omega) => q=omega",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / BURDEN ADDRESS OPTIMIZER UNNEEDED ONCE SHELL EQUALITY IS GIVEN",
      "next_gate": "derive shell response independently",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "fixed-cardinality completeness",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q252",
      "symbol": "post-event action/contraction as pre-event selector",
      "exact_form": "lifted loop action and D_evt are source-late for q selection",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CAUSAL ORDER BLOCK",
      "next_gate": "pre-event predictive bridge required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "post-event action/contraction as pre-event selector",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q253",
      "symbol": "integrity/open-slot fraction response selector",
      "exact_form": "Q_T,T_e filter admissibility; g_hard maximization favors openness; no minimization law",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / INTEGRITY IS NOT CLOSURE COST",
      "next_gate": "independent gate-cost law required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "integrity/open-slot fraction response selector",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q254",
      "symbol": "native response functional closure status",
      "exact_form": "no existing independently directed burden/action/gate scalar selects least complete response",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / FUNCTIONAL ROUTE CURRENTLY CLOSED",
      "next_gate": "derive new upstream cost/order or test response empirically",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "native response functional closure status",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "O41",
      "symbol": "earliest response theorem gap after functional audit",
      "exact_form": "derive optimization direction for least response; scalar form N_open already exact but direction open",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / CLOSURE-ECONOMY GAP REDUCED TO SELECTION DIRECTION",
      "next_gate": "new source principle or held-out discrimination",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "earliest response theorem gap after functional audit",
      "reconciliation_notes": "v0.54 native response functional audit; physical promotion 0"
    },
    {
      "id": "Q255",
      "symbol": "typed zero triad",
      "exact_form": "0_Omega=000, 0_Q=000, 0_Theta=000 are distinct typed objects",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EQUAL BIT TRIPLES DO NOT IMPLY EQUAL ZERO OBJECTS",
      "next_gate": "explicit cross-type bridge required",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "typed zero triad",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q256",
      "symbol": "Theta-zero gate image",
      "exact_form": "q=1-theta gives 0_Theta -> 111_Q and 0_Q -> 111_Theta",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / THETA REFERENCE ZERO IS FULLY GATE-OPEN",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Theta-zero gate image",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q257",
      "symbol": "breathing restore as gate selector",
      "exact_form": "current compress-orient-evaluate-act-record-restore source provides no q response projection",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / PROCEDURAL RESTORE NONSELECTION",
      "next_gate": "new typed restore law required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "breathing restore as gate selector",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q258",
      "symbol": "history-preserving restore",
      "exact_form": "q_plus=q_prev OR omega_plus",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / COMPLETE MONOTONE IDEMPOTENT HOLD-ON-SINK RESTORE",
      "next_gate": "not POC1 closure response",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "history-preserving restore",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q259",
      "symbol": "least-current-support reset",
      "exact_form": "min_{q>=omega} q = omega / argmin Hamming gives POC1",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT BUT CLOSURE-ECONOMY-EQUIVALENT RESET",
      "next_gate": "optimization direction not independently derived",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "least-current-support reset",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q260",
      "symbol": "completed-event saturation as derivation",
      "exact_form": "POC1 saturation receipt q=omega cannot independently prove q=omega",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CIRCULARITY FIREWALL",
      "next_gate": "retain saturation as domain/test receipt",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "completed-event saturation as derivation",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q261",
      "symbol": "pair-local zero-source-silence uniqueness",
      "exact_form": "pair locality + completeness + R(0_Omega)=0_Q => q=omega",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / ZERO-SILENCE HINGE",
      "next_gate": "derive typed zero bridge independently",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "pair-local zero-source-silence uniqueness",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q262",
      "symbol": "Theta-reference restore vs POC1",
      "exact_form": "restore theta->000 implies q->111, not q=omega generally",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / REFERENCE RESTORE DOES NOT SUPPORT CLOSURE ECONOMY",
      "next_gate": "do not conflate reference zero and gate zero",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "Theta-reference restore vs POC1",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q263",
      "symbol": "structured-zero cross-type bridge status",
      "exact_form": "no audited source theorem establishes 0_Omega -> 0_Q",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / ZERO BRIDGE SOURCE GAP",
      "next_gate": "derive typed zero-source-silence law",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "structured-zero cross-type bridge status",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q264",
      "symbol": "restore-semantic trilemma",
      "exact_form": "Theta-reference restore=>111; history restore=>q_prev OR omega; least-current reset=>omega",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / WORD RESTORE IS RESPONSE-UNDERDETERMINED",
      "next_gate": "carrier-specific restore semantics required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "restore-semantic trilemma",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "O42",
      "symbol": "earliest response gap after zero/restore audit",
      "exact_form": "derive why 0 viable lanes imply 0 open gates on typed Q carrier",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / SINGLE ZERO-SOURCE-SILENCE HINGE",
      "next_gate": "structured-zero theorem or held-out response discrimination",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "earliest response gap after zero/restore audit",
      "reconciliation_notes": "v0.55 structured-zero/restore/saturation response audit; physical promotion 0"
    },
    {
      "id": "Q265",
      "symbol": "R0 response model",
      "exact_form": "q=omega",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET / POC1 PRIMARY RESPONSE",
      "next_gate": "blinded endpoint test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "R0 response model",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q266",
      "symbol": "R2 response model",
      "exact_form": "q=omega for w<=1; q=111 for w>=2",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET ALTERNATIVE",
      "next_gate": "blinded endpoint test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "R2 response model",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q267",
      "symbol": "R1 response model",
      "exact_form": "q=000 for w=0; q=111 for w>=1",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET ALTERNATIVE",
      "next_gate": "blinded endpoint test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "R1 response model",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q268",
      "symbol": "Rtop response model",
      "exact_form": "q=111",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET ALTERNATIVE",
      "next_gate": "blinded endpoint test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "Rtop response model",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q269",
      "symbol": "MTA response model",
      "exact_form": "q_p=1[G_p>0], G_p=sum T_e Lambda_e^S",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET ALTERNATIVE / G MUST RESOLVE",
      "next_gate": "partial-integrity held-out test",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "MTA response model",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q270",
      "symbol": "omega-shell model discrimination",
      "exact_form": "w0,w1,w2 each split omega-only models; w3 is nondiscriminating",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT RESPONSE EQUIVALENCE CLASSES",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "omega-shell model discrimination",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q271",
      "symbol": "partial-integrity model discriminator",
      "exact_form": "omega_p=0 and G_p>0 => R0 q_p=0 while MTA q_p=1",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / TARGET-BLIND POC1-MTA DISCRIMINATOR",
      "next_gate": "held-out endpoint",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "partial-integrity model discriminator",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "O43",
      "symbol": "multi-model sidecar freeze",
      "exact_form": "R0,R2,R1,Rtop,MTA registry frozen pretarget",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / NO MODEL ADDITION AFTER ENDPOINT",
      "next_gate": "activate only under versioned lab amendment",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "multi-model sidecar freeze",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "O44",
      "symbol": "primary POC1 verdict nonmutation",
      "exact_form": "sidecar cannot alter/repair already-sent POC1 primary verdict",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / PRIMARY FIREWALL",
      "next_gate": "preserve separate score receipts",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "primary POC1 verdict nonmutation",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "O45",
      "symbol": "multi-model empirical status",
      "exact_form": "PRETARGET FROZEN / NOT DISTRIBUTED TO LABS / NO ENDPOINT DATA",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO EMPIRICAL RESULT",
      "next_gate": "versioned distribution or future run",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "multi-model empirical status",
      "reconciliation_notes": "v0.56 pretarget multi-model response sidecar; physical promotion 0"
    },
    {
      "id": "Q272",
      "symbol": "P2 zero-source certificate",
      "exact_form": "P2 c=0 => c1=0 => omega=0_Omega",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ACTIVE-HODGE ANNIHILATION IMPLIES LATENT SOURCE ZERO",
      "next_gate": "gate response separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "P2 zero-source certificate",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q273",
      "symbol": "global gate degeneracy at P2 c=0",
      "exact_form": "Phi_e^S=0 for all 8 q masks and all integrity masks",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / ZERO ACTIVE SOURCE MAKES GATE UNIDENTIFIABLE",
      "next_gate": "independent zero-response principle required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "global gate degeneracy at P2 c=0",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q274",
      "symbol": "pair-projector annihilation",
      "exact_form": "P_p^(1)c1=0 => L_p=omega_p=0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / PAIR SUPPORT ZERO CERTIFICATE",
      "next_gate": "q_p separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "pair-projector annihilation",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q275",
      "symbol": "pair gate degeneracy on projector kernel",
      "exact_form": "P_p^(1)c1=0 => pair throughput identical for q_p=0,1",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / PAIR PROJECTOR DOES NOT SELECT CLOSURE",
      "next_gate": "independent response selector required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "pair gate degeneracy on projector kernel",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q276",
      "symbol": "bilinear source annihilator",
      "exact_form": "R_p=0 can hold with P_p^(1)c1 !=0 when endpoint support vanishes",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / SOURCE ANNIHILATOR BROADER THAN LINEAR PROJECTOR KERNEL",
      "next_gate": "factor provenance preserved",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "bilinear source annihilator",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q277",
      "symbol": "zero contact projector inversion",
      "exact_form": "Xi_e P_e,w=0 not=> q_p=0 because Xi factors q,T,c1,c0-support",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONTACT ZERO FACTOR-NONIDENTIFIABILITY",
      "next_gate": "do not backsolve closure",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "zero contact projector inversion",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q278",
      "symbol": "gate-masked support flat direction",
      "exact_form": "if gate-difference coordinates annihilate y then Hy=H'y and S_mu,H=S_mu,H'",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / SUPPORT FUNCTIONAL FLAT ON ANNIHILATED GATE DIRECTIONS",
      "next_gate": "new selector required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "gate-masked support flat direction",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q279",
      "symbol": "Hodge ray projector zero extension",
      "exact_form": "Q_[x] has no ray-independent continuous extension at x=0",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CANNOT DEFINE ZERO PROJECTOR FROM NONZERO-RAY FORMULA",
      "next_gate": "new convention would require versioned addendum",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "Hodge ray projector zero extension",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q280",
      "symbol": "multiplicative gate null-direction theorem",
      "exact_form": "K_p(s)=0 in F=F_rest+q_p K_p => F(q_p=0)=F(q_p=1)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / GENERAL GATE-UNIDENTIFIABILITY ON SOURCE ANNIHILATOR",
      "next_gate": "applies to route/support/burden gated observables",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "multiplicative gate null-direction theorem",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "Q281",
      "symbol": "annihilator-silence response",
      "exact_form": "omega_p=0 => q_p=0",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE / EQUIVALENT TO ZERO-SOURCE SILENCE ON PAIR-LOCAL DOMAIN",
      "next_gate": "independent theorem required",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "annihilator-silence response",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "O46",
      "symbol": "projector zero-bridge status",
      "exact_form": "SUPPORT ZERO CERTIFICATE CLOSED; GATE ZERO RESPONSE NOT DERIVED",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / PROJECTOR ROUTE CLOSED AS NATIVE DERIVATION",
      "next_gate": "empirical discrimination or new independent response principle",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "projector zero-bridge status",
      "reconciliation_notes": "v0.57 support-projector/annihilator zero-bridge audit; physical promotion 0"
    },
    {
      "id": "O47",
      "symbol": "multi-model sidecar external distribution",
      "exact_form": "same frozen v0.1 sidecar sent to UdeG, IPN, URJC",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / THREE-LAB PRETARGET DISTRIBUTION",
      "next_gate": "lab acknowledgement/activation before scored use",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "multi-model sidecar external distribution",
      "reconciliation_notes": "v0.58 sidecar three-lab distribution; physical promotion 0"
    },
    {
      "id": "O48",
      "symbol": "multi-model sidecar primary-protocol firewall",
      "exact_form": "supplement does not modify primary POC1 protocol, scorer, custody or verdict",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / PRIMARY NONMUTATION",
      "next_gate": "preserve separate freeze/score receipts",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "multi-model sidecar primary-protocol firewall",
      "reconciliation_notes": "v0.58 sidecar three-lab distribution; physical promotion 0"
    },
    {
      "id": "O49",
      "symbol": "multi-model external empirical status",
      "exact_form": "DISTRIBUTED / NO LAB ACTIVATION / NO ENDPOINT DATA",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO EMPIRICAL RESULT",
      "next_gate": "direct lab response and versioned activation",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "multi-model external empirical status",
      "reconciliation_notes": "v0.58 sidecar three-lab distribution; physical promotion 0"
    },
    {
      "id": "O50",
      "symbol": "response-theorem internal frontier checkpoint",
      "exact_form": "current response-selector route catalog consolidated and frozen against reformulation",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / INTERNAL RESPONSE FRONTIER v1.0 FROZEN",
      "next_gate": "reopen only under explicit re-entry condition",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "response-theorem internal frontier checkpoint",
      "reconciliation_notes": "v0.59 response-theorem frontier checkpoint; physical promotion 0"
    },
    {
      "id": "O51",
      "symbol": "closure-economy reformulation family",
      "exact_form": "least response / no-idle-open / min open count / max closure / least-support restore treated as one unresolved family",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_FREEZE / REFORMULATION NONINDEPENDENCE",
      "next_gate": "new source theorem required",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "closure-economy reformulation family",
      "reconciliation_notes": "v0.59 response-theorem frontier checkpoint; physical promotion 0"
    },
    {
      "id": "O52",
      "symbol": "response-frontier re-entry gate",
      "exact_form": "requires new q dynamics, typed zero bridge, gate holonomy, independently directed functional, new receipt, or new blinded evidence",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "AUTO_LOCK / GENUINE-NEWNESS ADMISSION",
      "next_gate": "audit every future internal response route",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "response-frontier re-entry gate",
      "reconciliation_notes": "v0.59 response-theorem frontier checkpoint; physical promotion 0"
    },
    {
      "id": "O53",
      "symbol": "active response-selection frontier",
      "exact_form": "internal selector unresolved; frozen five-model external discrimination is primary independent route",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / EXTERNAL BLINDED FRONTIER ACTIVE",
      "next_gate": "lab feasibility reply then blinded acquisition",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "active response-selection frontier",
      "reconciliation_notes": "v0.59 response-theorem frontier checkpoint; physical promotion 0"
    },
    {
      "id": "Q282",
      "symbol": "alpha_A specific native action-phase scale",
      "exact_form": "S_native/(a Delta_phi)=A0/2",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / SINGLE-K4 ACTIVE-SECTOR EXACT",
      "next_gate": "physical hbar identification separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "alpha_A specific native action-phase scale",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q283",
      "symbol": "K4 active spectral Hamiltonian",
      "exact_form": "H_Hodge=(1/2)<x,Omega x>=a on E2",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / OMEGA=2P2",
      "next_gate": "physical energy map separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "K4 active spectral Hamiltonian",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q284",
      "symbol": "native Hodge phase rate",
      "exact_form": "Delta_phi/dt=2/tau0 under t=tau0 s",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / NATIVE TIME DIMENSIONALIZATION",
      "next_gate": "physical clock identification open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "native Hodge phase rate",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q285",
      "symbol": "energy-frequency specific action cross-check",
      "exact_form": "E_native/(a omega_phase)=A0/2",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK / INDEPENDENT CROSS-CHECK OF Q282",
      "next_gate": "physical energy/time identity open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "energy-frequency specific action cross-check",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q286",
      "symbol": "normalized-ray recurrence action",
      "exact_form": "a=1 => S_spinor,rec^native=pi A0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXPLICIT PROJECTIVE REPRESENTATIVE / NOT SUPPORT QUANTIZATION",
      "next_gate": "physical normalized-state bridge open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "normalized-ray recurrence action",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q287",
      "symbol": "QPB1 action-phase bridge",
      "exact_form": "normalized Hodge ray + J complex structure + phase map; hbar <-> A0/2",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN POSTULATED_BRIDGE / BML-1 / ZERO FIT PARAMETERS",
      "next_gate": "independent non-hbar A0 anchor",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "QPB1 action-phase bridge",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q288",
      "symbol": "QPB1 eta_A prediction",
      "exact_form": "eta_A=A0/hbar=2=2/1",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN PRETARGET BRIDGE PREDICTION / NUMERICAL HBAR NOT USED",
      "next_gate": "score after independent A0 anchor",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "QPB1 eta_A prediction",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q289",
      "symbol": "QPB1 convention aliases",
      "exact_form": "xi_native/phys=2; xi_phys/native=1/2 inside QPB1 only",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL ON QPB1 / BARE xi_hbar REMAINS FROZEN",
      "next_gate": "do not rewrite historical provenance",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "QPB1 convention aliases",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "O54",
      "symbol": "action-phase frontier status",
      "exact_form": "native specific action-phase scale CLOSED; physical hbar identification POSTULATED; A0 physical anchor OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / INDEPENDENT OF POC1 RESPONSE FRONTIER",
      "next_gate": "derive non-hbar A0 anchor",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "action-phase frontier status",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "O55",
      "symbol": "QPB1 independent test preregistration",
      "exact_form": "freeze eta_A=2 before independent A0 physical anchor",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN PRETARGET / NO EMPIRICAL SCORE",
      "next_gate": "future non-hbar action-anchor packet",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "QPB1 independent test preregistration",
      "reconciliation_notes": "v0.60 independent action-phase frontier; no POC1 dependency; physical promotion 0"
    },
    {
      "id": "Q290",
      "symbol": "K4 burden positive-affine symmetry",
      "exact_form": "b -> lambda b + beta 1, lambda>0, preserves homogeneous burden flow",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT FOR ANY HARD GATE MASK",
      "next_gate": "source initial burden normalization remains external to flow",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "K4 burden positive-affine symmetry",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q291",
      "symbol": "uniform burden zero-mode",
      "exact_form": "D_B(H)1=0 and mean burden conserved",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ABSOLUTE BURDEN OFFSET UNSELECTED BY MIXING",
      "next_gate": "background/zero receipt required",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "uniform burden zero-mode",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q292",
      "symbol": "burden multiplicative normalization no-go",
      "exact_form": "topology + homogeneous mixing + normalized shape do not fix lambda",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / ABSOLUTE BURDEN SCALE NONIDENTIFIABLE",
      "next_gate": "independent burden-unit source required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "burden multiplicative normalization no-go",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q293",
      "symbol": "minimality normalization no-go",
      "exact_form": "positive-affine transformation preserves lower-burden ordering",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / COMPETITOR EXCLUSION DOES NOT FIX NUMERIC ANCHOR",
      "next_gate": "source burden normalization required",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "minimality normalization no-go",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q294",
      "symbol": "matched-background excess burden",
      "exact_form": "B_X^exc=1^T(b_X-b_bg); uniform-shift invariant and conserved under homogeneous mixing",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / ADDITIVE-GAUGE-INVARIANT DEFECT BURDEN",
      "next_gate": "multiplicative normalization still open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "matched-background excess burden",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q295",
      "symbol": "B_e correction decomposition",
      "exact_form": "B_e=101/6+DeltaB_frame+DeltaB_closure+DeltaB_holonomy+DeltaB_transport-DeltaB_coherence",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / GOVERNED MATTER-RAIL DECOMPOSITION",
      "next_gate": "derive every correction source-completely",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "B_e correction decomposition",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q296",
      "symbol": "BE0 baseline candidate",
      "exact_form": "B_e=101/6 iff Delta_B_net=0",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "FROZEN TARGET-BLIND / ZERO EMPIRICAL TARGET INPUT",
      "next_gate": "score only after correction ledger complete",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "BE0 baseline candidate",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q297",
      "symbol": "H_seed factor/clock structure",
      "exact_form": "101/6=2^4+1-1/(2*3); 101 prime; 101=16*6+5; 101 mod 6=5",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ARITHMETIC ONLY / NO PHYSICAL IDENTITY",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "H_seed factor/clock structure",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "O56",
      "symbol": "B_e source completeness",
      "exact_form": "H_seed CLOSED; five correction laws SOURCE_INCOMPLETE; numerical B_e OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / NO NUMERICAL B_e PROMOTION",
      "next_gate": "construct correction ledger target-blind",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "B_e source completeness",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "O57",
      "symbol": "B_e correction-ledger protocol",
      "exact_form": "unresolved correction != zero; all terms require provenance/sign/normalization/conjugation/competitor checks",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN PRE-CORRECTION",
      "next_gate": "execute source-complete correction derivations",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "B_e correction-ledger protocol",
      "reconciliation_notes": "v0.61 native matter burden anchor audit; no physical target backsolve; physical promotion 0"
    },
    {
      "id": "Q298",
      "symbol": "direct frame mixing correction",
      "exact_form": "Delta_B_frame^mix=0 at fixed B,H(s),b(0)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / CURRENT BURDEN GENERATOR HAS NO M_sigma ARGUMENT",
      "next_gate": "static/topological framing burden remains open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "direct frame mixing correction",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q299",
      "symbol": "direct holonomy mixing correction",
      "exact_form": "Delta_B_holonomy^mix=0 at fixed B,H(s),b(0)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / CURRENT BURDEN GENERATOR HAS NO LOOP-HOLONOMY ARGUMENT",
      "next_gate": "static/topological holonomy burden remains open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "direct holonomy mixing correction",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q300",
      "symbol": "odd-framing indicator",
      "exact_form": "p_sigma=(1-M_sigma)/2 in {0,1}",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / TYPED FRAMING RECEIPT",
      "next_gate": "not a burden value",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "odd-framing indicator",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q301",
      "symbol": "pure Z2 framing correction family",
      "exact_form": "Delta_B_frame^(Z2)=kappa_frame p_sigma if class-only and trivial-frame zero",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / SHAPE CLOSED, AMPLITUDE OPEN",
      "next_gate": "derive kappa_frame source-completely",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "pure Z2 framing correction family",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q302",
      "symbol": "endpoint holonomy inversion symmetry",
      "exact_form": "Phi_hat_R(U^-1)=Phi_hat_R(U) for unitary representation",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / CONJUGATION-EVEN STRUCTURAL DEFECT",
      "next_gate": "not a burden coefficient",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "endpoint holonomy inversion symmetry",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q303",
      "symbol": "scalar Z2 holonomy indicator",
      "exact_form": "p_H=Phi_hat_R/2; p_H=0 trivial,1 odd scalar one-cycle",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / SCALAR Z2 CARRIER ONLY",
      "next_gate": "not a burden value",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "scalar Z2 holonomy indicator",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q304",
      "symbol": "pure scalar-Z2 holonomy correction family",
      "exact_form": "Delta_B_holonomy^(Z2)=kappa_hol p_H if class-only and trivial-holonomy zero",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / SHAPE CLOSED, AMPLITUDE OPEN",
      "next_gate": "derive kappa_hol source-completely",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "pure scalar-Z2 holonomy correction family",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q305",
      "symbol": "frame-holonomy correction decomposition identifiability",
      "exact_form": "current odd scalar carrier has feature row (1,1), rank1; cannot separately identify two coefficients",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / NEED INDEPENDENT CONTROL CARRIERS",
      "next_gate": "construct rank-2 framing/holonomy controls",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "frame-holonomy correction decomposition identifiability",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q306",
      "symbol": "endpoint defect to burden/action reuse",
      "exact_form": "Q35/QPB1 action normalization does not supply holonomy burden coefficient",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / TYPED ACTION/BURDEN FIREWALL",
      "next_gate": "derive separate burden-holonomy bridge",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "endpoint defect to burden/action reuse",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "O58",
      "symbol": "frame/holonomy correction status",
      "exact_form": "direct mixing subterms ZERO; static/topological kappa_frame,kappa_hol OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / PARTIAL CORRECTION-LANE CLOSURE",
      "next_gate": "derive independent controls and amplitudes",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "frame/holonomy correction status",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "O59",
      "symbol": "frame/holonomy correction identification protocol",
      "exact_form": "rank-2 feature controls required to separate kappa_frame and kappa_hol; zero only by theorem",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN PRE-COEFFICIENT",
      "next_gate": "source independent framing/holonomy controls",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "frame/holonomy correction identification protocol",
      "reconciliation_notes": "v0.62 frame/holonomy Be correction audit; physical promotion 0"
    },
    {
      "id": "Q307",
      "symbol": "odd one-cycle frame/holonomy feature",
      "exact_form": "(p_sigma,p_H)=(1,1)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ODD SCALAR ONE-CYCLE CONTROL",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "odd one-cycle frame/holonomy feature",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q308",
      "symbol": "odd two-cycle frame/holonomy feature",
      "exact_form": "(p_sigma,p_H)=(1,0) with intrinsic odd framing fixed",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / DOUBLED-HISTORY CONTROL",
      "next_gate": "do not relabel as even framing",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "odd two-cycle frame/holonomy feature",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q309",
      "symbol": "rank-2 frame-holonomy history matrix",
      "exact_form": "X=[[1,1],[1,0]], det=-1, rank=2",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT IDENTIFIABILITY MATRIX",
      "next_gate": "requires matched burden residuals for coefficient scoring",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "rank-2 frame-holonomy history matrix",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q310",
      "symbol": "rank-2 coefficient inversion",
      "exact_form": "kappa_frame=y2; kappa_hol=y1-y2",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / TWO-FEATURE MATCHED RESIDUAL MODEL",
      "next_gate": "source y1,y2 without target fitting",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "rank-2 coefficient inversion",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q311",
      "symbol": "static endpoint-defect holonomy burden",
      "exact_form": "same-state traversal invariance y1=y2 => kappa_hol=0",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / ENDPOINT-DEFECT-ONLY STATIC BURDEN COEFFICIENT ZERO UNDER SAME-STATE MODE",
      "next_gate": "richer holonomy burden object may remain",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "static endpoint-defect holonomy burden",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q312",
      "symbol": "higher-winding use of rank-2 control",
      "exact_form": "two-cycle state can isolate holonomy only after all other winding-dependent burden differences are matched",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / CONTROL LEDGER REQUIRED",
      "next_gate": "derive higher-winding matched ledger",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "higher-winding use of rank-2 control",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q313",
      "symbol": "even-framed carrier rank-2 criterion",
      "exact_form": "X=[[1,h_odd],[0,h_even]] rank2 iff h_even !=0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / CONTROL DESIGN THEOREM",
      "next_gate": "construct source-valid h_even nonzero carrier",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "even-framed carrier rank-2 criterion",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q314",
      "symbol": "even-framed primitive-winding control",
      "exact_form": "M_sigma=+1 with matched primitive winding and source-resolved nonzero holonomy",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE CONTROL / REQUIRED CLASS EXISTS, HOLONOMY SOURCE OPEN",
      "next_gate": "source construct and validate carrier",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "even-framed primitive-winding control",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "O60",
      "symbol": "frame-holonomy rank2 control status",
      "exact_form": "EXACT history-control rank2 CLOSED; independent carrier-control rank2 OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / CONTROL DISTINCTION",
      "next_gate": "obtain matched residual burden or even-framed carrier",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "frame-holonomy rank2 control status",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "O61",
      "symbol": "rank2 control scoring protocol",
      "exact_form": "same-state diagnostic and higher-winding carrier modes must not be mixed",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN / TWO-MODE FIREWALL",
      "next_gate": "apply source-complete mode-specific score",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "rank2 control scoring protocol",
      "reconciliation_notes": "v0.63 rank-2 frame/holonomy control audit; physical promotion 0"
    },
    {
      "id": "Q315",
      "symbol": "direct closure mixing total-burden correction",
      "exact_form": "Delta_B_closure^mix,total=0 for arbitrary hard gate history",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / TOTAL BURDEN CONSERVATION",
      "next_gate": "static closure burden remains open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "direct closure mixing total-burden correction",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q316",
      "symbol": "closure deficit receipts",
      "exact_form": "N_closed=2 w_H(theta); c_cl=w_H(theta)/3",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT CLOSURE FEATURES",
      "next_gate": "not burden values",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "closure deficit receipts",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q317",
      "symbol": "S3-invariant static closure family",
      "exact_form": "Delta_B_closure^static=f_cl(w), f_cl(0)=0; three nontrivial shell values remain",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / SYMMETRY DOES NOT FIX ONE COEFFICIENT",
      "next_gate": "derive shell law or additivity",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "S3-invariant static closure family",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q318",
      "symbol": "pair-additive closure burden candidate",
      "exact_form": "Delta_B_closure=kappa_cl w_H(theta) under equal-pair additivity",
      "claim_bin": "QUARANTINED_CANDIDATE",
      "status": "CANDIDATE / ADDITIVITY NOT DERIVED",
      "next_gate": "derive kappa_cl and actual C3_7 closure branch",
      "use_class": "QUARANTINED",
      "claim_bin_meaning": "Promising or historically important candidate retained for testing but blocked from mainline use as settled canon.",
      "display_symbol": "pair-additive closure burden candidate",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q319",
      "symbol": "direct transport gate-mixing total-burden correction",
      "exact_form": "Delta_B_transport^gate-mix,total=0 for arbitrary integrity gate history",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / GATE CHANGES REDISTRIBUTION NOT TOTAL",
      "next_gate": "transport residual cross-carrier map open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "direct transport gate-mixing total-burden correction",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q320",
      "symbol": "unitary transport loss null",
      "exact_form": "U^dagger U=I => Q_T=0, ell_T=0, D_evt=0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / LOSS-ASSOCIATED TRANSPORT NULL",
      "next_gate": "reversible transport burden separately typed",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "unitary transport loss null",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q321",
      "symbol": "transport receipt to burden map",
      "exact_form": "{Q_T,ell_T,D_evt,rank loss} not=> Delta_B_transport without M_T_to_B",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / TRANSPORT-BURDEN TYPE FIREWALL",
      "next_gate": "derive receipt/aggregation/intertwiner",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "transport receipt to burden map",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q322",
      "symbol": "direct coherence mixing total-burden correction",
      "exact_form": "Delta_B_coherence^mix,total=0 because K_ctx/sigma_E/V_alpha absent from D_B(H)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / CURRENT BURDEN FLOW CONTEXT-BLIND",
      "next_gate": "residual context burden open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "direct coherence mixing total-burden correction",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q323",
      "symbol": "context coherence to burden map",
      "exact_form": "K_ctx not=> Delta_B_coherence without environment-state/burden-record map M_B",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / CONTEXT-BURDEN TYPE FIREWALL",
      "next_gate": "derive M_B or alternate coherence-burden law",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "context coherence to burden map",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q324",
      "symbol": "seed coherence rebate",
      "exact_form": "B_coh^seed=1/6 already included in H_seed=17-1/6=101/6",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / TYPED BASELINE REBATE",
      "next_gate": "do not count again",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "seed coherence rebate",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q325",
      "symbol": "residual coherence ledger repair",
      "exact_form": "later term typed Delta_B_coherence^res; B_e=101/6+...-Delta_B_coherence^res",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / PROVENANCE REPAIR / NUMERIC BASELINE UNCHANGED",
      "next_gate": "derive residual coherence law",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "residual coherence ledger repair",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "O62",
      "symbol": "remaining B_e correction status",
      "exact_form": "all direct homogeneous-mixing total corrections ZERO; residual/static cross-carrier terms OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / MATTER LEDGER NARROWED",
      "next_gate": "derive residual maps and closure branch",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "remaining B_e correction status",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "O63",
      "symbol": "remaining B_e correction protocol",
      "exact_form": "closure shell/additivity, transport-to-burden, and coherence-to-burden admission rules frozen",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN PRE-RESIDUAL",
      "next_gate": "execute source-complete residual derivations",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "remaining B_e correction protocol",
      "reconciliation_notes": "v0.64 closure/transport/coherence Be correction audit; physical promotion 0"
    },
    {
      "id": "Q326",
      "symbol": "Theta closure branch index",
      "exact_form": "chi=w_H(theta) under current endogenous Theta branch realization",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / P_w^Theta ARE HAMMING BRANCH PROJECTORS",
      "next_gate": "physical branch interpretation separately gated",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "Theta closure branch index",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q327",
      "symbol": "closure-open graph cycle ranks",
      "exact_form": "beta1(w=0,1,2,3)=(3,1,0,0)",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / HARD K4 CLOSURE GRAPH",
      "next_gate": "none internally",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "closure-open graph cycle ranks",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q328",
      "symbol": "C3_7 closure shell",
      "exact_form": "nonreference + nonzero edge-supported winding => chi=w=1",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / CURRENT HARD-GATE WINDING REALIZATION",
      "next_gate": "specific address remains open",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "C3_7 closure shell",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q329",
      "symbol": "C3_7 w1 address orbit",
      "exact_form": "theta in {100,010,001}; one S4 orbit",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / ADDRESS DEGENERACY",
      "next_gate": "localized pair-address receipt required",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "C3_7 w1 address orbit",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q330",
      "symbol": "C3_7 closure receipts",
      "exact_form": "w=1 => 2 closed,4 open,c_cl=1/3,g_open=2/3,beta1=1,C4 open graph",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / EXACT BRANCH FEATURES",
      "next_gate": "closure burden coefficient separately open",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "C3_7 closure receipts",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q331",
      "symbol": "C3_7 closure static evaluation",
      "exact_form": "Delta_B_closure^static=f_cl(1); pair-additive candidate gives kappa_cl",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / BRANCH ARGUMENT CLOSED",
      "next_gate": "derive f_cl(1) numerically",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "C3_7 closure static evaluation",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q332",
      "symbol": "matched n1/n2 closure cancellation",
      "exact_form": "same chi=1 => Delta closure static difference=0",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / DIFFERENTIAL CONTROL DOES NOT NEED NUMERIC CLOSURE COEFFICIENT",
      "next_gate": "construct true n2 carrier",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "matched n1/n2 closure cancellation",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q333",
      "symbol": "matched n1/n2 burden difference",
      "exact_form": "B2-B1=delta_hol+delta_transport-delta_coherence under same seed/frame/closure",
      "claim_bin": "EXACT_CONDITIONAL",
      "status": "AUTO_LOCK CONDITIONAL / SOURCE-MATCHED CONTROL",
      "next_gate": "source residual transport/coherence",
      "use_class": "CURRENT_CONDITIONAL",
      "claim_bin_meaning": "Exact if the stated source/addendum/assumptions hold; not unconditional canon outside that scope.",
      "display_symbol": "matched n1/n2 burden difference",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q334",
      "symbol": "true higher-winding rank2 determinant",
      "exact_form": "X=[[1,h1],[1,h2]], det=h2-h1",
      "claim_bin": "LOCKED_INTERNAL_MATHEMATICS",
      "status": "AUTO_LOCK / RANK2 IFF h1!=h2",
      "next_gate": "source true h1,h2",
      "use_class": "CURRENT_LOCKED_MATH",
      "claim_bin_meaning": "Locked internal mathematical relation; physical mapping remains separate unless explicitly stated.",
      "display_symbol": "true higher-winding rank2 determinant",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "Q335",
      "symbol": "true n2 vs doubled diagnostic identity",
      "exact_form": "two traversals of n1 not=> genuine winding n=2 carrier",
      "claim_bin": "LOCKED_NO_GO",
      "status": "AUTO_LOCK / HISTORY-WINDING TYPE FIREWALL",
      "next_gate": "construct n2 source state independently",
      "use_class": "LOCKED_NO_GO",
      "claim_bin_meaning": "A specific inference is ruled out under current definitions/assumptions.",
      "display_symbol": "true n2 vs doubled diagnostic identity",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "O64",
      "symbol": "C3_7 closure branch status",
      "exact_form": "SHELL CLOSED chi=1 / ADDRESS OPEN",
      "claim_bin": "LOCKED_STATUS",
      "status": "AUTO_LOCK / ACTUAL C3_7 BRANCH NARROWED TO W1 ORBIT",
      "next_gate": "source localized address if needed",
      "use_class": "LOCKED_STATUS",
      "claim_bin_meaning": "A locked closure/status statement rather than a numerical coefficient.",
      "display_symbol": "C3_7 closure branch status",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    },
    {
      "id": "O65",
      "symbol": "matched n1/n2 control status",
      "exact_form": "CONTROL SPECIFIED / SCORE SOURCE INCOMPLETE",
      "claim_bin": "PROTOCOL_CONTROL",
      "status": "FROZEN HIGHER-WINDING CONTROL",
      "next_gate": "construct n2,h1,h2,B1,B2,residual maps",
      "use_class": "PROTOCOL_CONTROL",
      "claim_bin_meaning": "Simulation/method control only; never silently promote to a theory constant.",
      "display_symbol": "matched n1/n2 control status",
      "reconciliation_notes": "v0.65 C3_7 closure branch and matched n1/n2 control; physical promotion 0"
    }
  ],
  "source_date": "2026-09-06",
  "reconciliation_date": "2026-09-06",
  "patch_type": "SCIENTIFIC_APPEND_ONLY_C3_7_CLOSURE_BRANCH_N1_N2_CONTROL"
}