{
  "schema": "marici.electron-configuration-dimension-trial.v1",
  "verification_passed": true,
  "checks": {
    "existing_prerequisite_pin_matches_actual_source": true,
    "current_native_producer_replayed_in_isolation_with_identical_store": true,
    "actual_face_projectors_form_the_existing_tight_frame": true,
    "actual_144_arrows_reconstruct_the_existing_return": true,
    "source_face_decoder_recovers_all_logical_inputs_by_matrix_identity": true,
    "all_sample_spinors_recover_through_the_source_face_blocks": true,
    "two_ray_charts_cover_samples_including_both_poles_with_overlap_wv_one": true,
    "all_24_retained_binary_rotations_descend_to_ray_transports": true,
    "retained_complex_phase_is_preserved_by_the_source_encoder": true,
    "actual_rotation_commutator_is_minus_identity": true,
    "phase_erasure_merges_distinct_retained_amplitudes_and_pairing_outputs": true,
    "one_parameter_meridian_works_for_a_restricted_family_but_not_all_source_rotations": true,
    "normalized_spinor_has_three_independent_local_real_tangents": true,
    "ray_readout_has_two_independent_local_tangents_and_erases_phase_tangent": true,
    "display_fixture_four_rotation_prefixes_bound_to_source": true,
    "all_source_inputs_unchanged": true
  },
  "verification_level": "Isolated current-producer replay, exact finite source reconstruction, rational chart identities on declared samples, all 24 binary rotations, and exact local derivative ranks; not proof-assistant formalization.",
  "native_replay": {
    "historical_checker_pin_matches_current": false,
    "isolated_replay_passed": true,
    "isolated_replay_check_count": 16,
    "current_store_equals_retained_store": true,
    "note": "Historical receipt left unchanged; the trial uses a fresh isolated replay of the current producer."
  },
  "interpretation_of_n": "Number of independent smooth real configuration directions. Complex rank, embedding dimension, control-generator count and coherence-sector count remain distinct.",
  "source_carrier": {
    "logical_complex_dimension": 2,
    "raw_complex_coordinates": 8,
    "native_transfers": 144,
    "scaled_storage": "K=sqrt(2)J; decoder K*/2. This exact-field storage retains the same subspace and the same N, without rewriting the native fixture."
  },
  "trial": {
    "n1": "A restricted one-real-parameter orbit is viable. One local smooth real coordinate cannot faithfully cover the two-dimensional ray family. A one-complex-dimensional invariant carrier is separately obstructed by the central commutator.",
    "n2": "Viable as the projective spin-state base, with two charts and actual unitary-induced transports. The phase-erased base alone fails the retained amplitude/phase-sensitive continuation interface.",
    "n2_with_retained_phase": "Candidate base-plus-fiber packet: keep the phase/transport information in the retained label complex. This trial does not yet construct its 2-times-2 dependency sectors, two output capabilities, recoveries and higher coherence.",
    "full_normalized_spinor": "Three independent local real directions: two change the ray and one changes phase. This dimension statement does not by itself determine the proposed packet arity."
  },
  "hostile": {
    "route": "U V U* V* = -I",
    "same_ray": true,
    "different_source_amplitudes": true,
    "fixed_reference_pairing": [
      "+1",
      "-1"
    ],
    "scope": "A phase-sensitive amplitude continuation with its reference retained; not a distinct isolated-state projector measurement."
  },
  "display_fixture": {
    "initial_spinor": [
      [
        "3/5",
        "0"
      ],
      [
        "0",
        "4/5"
      ]
    ],
    "initial_bloch": [
      "0",
      "24/25",
      "-7/25"
    ],
    "steps": [
      {
        "label": "U",
        "matrix": [
          [
            [
              "0",
              "1"
            ],
            [
              "0",
              "0"
            ]
          ],
          [
            [
              "0",
              "0"
            ],
            [
              "0",
              "-1"
            ]
          ]
        ],
        "spinor": [
          [
            "0",
            "3/5"
          ],
          [
            "4/5",
            "0"
          ]
        ],
        "bloch": [
          "0",
          "-24/25",
          "-7/25"
        ]
      },
      {
        "label": "V",
        "matrix": [
          [
            [
              "0",
              "0"
            ],
            [
              "1",
              "0"
            ]
          ],
          [
            [
              "-1",
              "0"
            ],
            [
              "0",
              "0"
            ]
          ]
        ],
        "spinor": [
          [
            "4/5",
            "0"
          ],
          [
            "0",
            "-3/5"
          ]
        ],
        "bloch": [
          "0",
          "-24/25",
          "7/25"
        ]
      },
      {
        "label": "U inverse",
        "matrix": [
          [
            [
              "0",
              "-1"
            ],
            [
              "0",
              "0"
            ]
          ],
          [
            [
              "0",
              "0"
            ],
            [
              "0",
              "1"
            ]
          ]
        ],
        "spinor": [
          [
            "0",
            "-4/5"
          ],
          [
            "3/5",
            "0"
          ]
        ],
        "bloch": [
          "0",
          "24/25",
          "7/25"
        ]
      },
      {
        "label": "V inverse",
        "matrix": [
          [
            [
              "0",
              "0"
            ],
            [
              "-1",
              "0"
            ]
          ],
          [
            [
              "1",
              "0"
            ],
            [
              "0",
              "0"
            ]
          ]
        ],
        "spinor": [
          [
            "-3/5",
            "0"
          ],
          [
            "0",
            "-4/5"
          ]
        ],
        "bloch": [
          "0",
          "24/25",
          "-7/25"
        ]
      }
    ],
    "application_order": "Apply U, then V, then U inverse, then V inverse; the right-to-left composite V* U* V U is -I.",
    "interpolation_boundary": "Only these discrete source endpoints are certified here. Any browser interpolation between them is separately supplied illustrative data."
  },
  "local_tangent_columns_real_spinor": [
    [
      "0",
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "2",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "2"
    ]
  ],
  "local_tangent_columns_bloch_readout": [
    [
      "0",
      "0",
      "0"
    ],
    [
      "4",
      "0",
      "0"
    ],
    [
      "0",
      "4",
      "0"
    ]
  ],
  "candidate_accounting": {
    "1": {
      "dependency_sectors": 1,
      "directions": 1,
      "three_products": [
        1,
        1,
        1
      ]
    },
    "2": {
      "dependency_sectors": 4,
      "directions": 2,
      "three_products": [
        16,
        32,
        64
      ]
    },
    "3": {
      "dependency_sectors": 12,
      "directions": 3,
      "three_products": [
        108,
        432,
        1296
      ]
    }
  },
  "count_boundary": "For n=2 the candidate sum is 112, whereas the native supplied spinor protocol has 144 transfers. These are different accounting interfaces; no electron mass or packet dimension is selected by matching counts.",
  "source_sha256": {
    "research/voevodsky/checkers/check_belt_operator_inputs.py": "147731958aec379fccc851815af85f893dbc25cf54facef47e57de568dabe24d",
    "research/voevodsky/checkers/check_belt_three_by_twelve.py": "2900c313b58278d4a55db55cd3c7a05619b366b55e73800ec4c2bb1f5104b191",
    "research/voevodsky/checkers/check_coupled_six_piece_belt.py": "62a27d0941eece73951bd084a936198cfa0eb9e08df810c04b6bcabecb4aa845",
    "research/voevodsky/checkers/check_electron_charge_spin_frontier.py": "0071d35396f69b24d830d3882bdd4c2723d612bf3ada32afb45384ec9dcd85e8",
    "research/voevodsky/checkers/check_electron_configuration_dimension_trial.py": "6104c3a881c8cf194407aabd2f5b08ca4378ad4979840a62b221ff07b09b31f3",
    "research/voevodsky/checkers/check_electron_pairing_coupling.py": "a049cb826df65d2a8ba89110bd8fc8477131e5840b82d6845f31a519ea5825da",
    "research/voevodsky/checkers/check_electron_tetrahedral_spinor.py": "fe64285c27cfa7dbfe4946396d0003ada7cef51d196002336a1984da0571862c",
    "research/voevodsky/checkers/check_geometric_cycle_reversal.py": "ebf4303f56b37df3c4852ce74bf111c8c99c03a260dd7728e20ce5a2d7696d80",
    "research/voevodsky/checkers/check_mode_flux_charge.py": "ce9071abc5e6ef345d8d795abe92bdc7c13be20794390d8778e9c95955983635",
    "research/voevodsky/checkers/check_proton_merkle_reassembly.py": "44ee6a54cdc5ce19aa1e988a300745f0b1cb4fd4eb822cd5ff9ea52117036169",
    "research/voevodsky/checkers/check_retained_phase_attachment.py": "0cacfc4a7c891a83ccdda5b7cce3ce6d5c234c15d4a89c80578562e03edab193",
    "research/voevodsky/checkers/check_reversed_coefficient_attachment.py": "5fc85d70b3e916ad01d437b989edb16b8aeda015e4933fd4b642bf9d3cd94b08",
    "research/voevodsky/checkers/check_smaller_negative_flux_carrier.py": "97ce62ec2b562b497034ce0026e8ed00ee92c7bbc5f09e27f671fa69c656679f",
    "research/voevodsky/checkers/check_three_arrow_receiver.py": "a6a096252a8e7c6844b0b1d4ba962b1e00d4fcd0f4efc9cdc60ae6dd66ed8917",
    "research/voevodsky/checkers/check_three_arrow_receiver_geometry.py": "36064c6195a84e987d0daedca33a89dd9f755aa37c79e3ef41dff0e18532ddf5",
    "research/voevodsky/results/electron_charge_spin_frontier.json": "33d4ce991afc52c2419953d9206841f8226fc62e8ee9bdb53cdd2b81aeffaaf1",
    "research/voevodsky/results/electron_tetrahedral_spinor.json": "e28794feec80276a65cd70a36d9b44a669a1e6266e2192b96b7db6bb3a2d8cc9",
    "research/voevodsky/results/electron_tetrahedral_spinor_store.json": "5cc3002c0e1b4a5994f9e7bbde63cf35f7f22c34195feac5953d739f55975264"
  },
  "scope": "No native source files or receipts changed; no physical electron identification, mass, charge, statistics, or universal packet realization claimed."
}