{
  "V": {
    "pairs": {
      "alpha__1_uniform": {
        "comparator": "1_uniform",
        "comparator_share": [
          0.3333333333333333,
          0.3333333333333333,
          0.3333333333333333
        ],
        "environment": "alpha"
      },
      "alpha__2_entropy_conditional": {
        "comparator": "2_entropy_conditional",
        "comparator_share": [
          0.4755040328724469,
          0.2269186087507068,
          0.2975773583768463
        ],
        "environment": "alpha"
      },
      "alpha__3_inferability_only": {
        "comparator": "3_inferability_only",
        "comparator_share": [
          0.36441500784950404,
          0.34781007466773467,
          0.2877749174827613
        ],
        "environment": "alpha"
      },
      "alpha__4_isolated_causal_value": {
        "comparator": "4_isolated_causal_value",
        "comparator_share": [
          0.273972602739726,
          0.6164383561643837,
          0.10958904109589043
        ],
        "environment": "alpha"
      },
      "alpha__8_proportional_one_step_value": {
        "comparator": "8_proportional_one_step_value",
        "comparator_share": [
          0.2877310848961586,
          0.6558816408683638,
          0.05638727423547759
        ],
        "environment": "alpha"
      },
      "beta__1_uniform": {
        "comparator": "1_uniform",
        "comparator_share": [
          0.3333333333333333,
          0.3333333333333333,
          0.3333333333333333
        ],
        "environment": "beta"
      },
      "beta__2_entropy_conditional": {
        "comparator": "2_entropy_conditional",
        "comparator_share": [
          0.4755040328724469,
          0.2269186087507068,
          0.2975773583768463
        ],
        "environment": "beta"
      },
      "beta__3_inferability_only": {
        "comparator": "3_inferability_only",
        "comparator_share": [
          0.36441500784950404,
          0.34781007466773467,
          0.2877749174827613
        ],
        "environment": "beta"
      },
      "beta__4_isolated_causal_value": {
        "comparator": "4_isolated_causal_value",
        "comparator_share": [
          0.6666666666666666,
          0.12000000000000004,
          0.21333333333333337
        ],
        "environment": "beta"
      },
      "beta__8_proportional_one_step_value": {
        "comparator": "8_proportional_one_step_value",
        "comparator_share": [
          0.7468352796673061,
          0.13592340145258128,
          0.11724131888011258
        ],
        "environment": "beta"
      },
      "beta__9_nearest_training_environment_identity_proxy": {
        "comparator": "9_nearest_training_environment_identity_proxy",
        "comparator_share": [
          0.591911507190471,
          0.31556664980239585,
          0.09252184300713316
        ],
        "environment": "beta"
      }
    },
    "tau_share_role": "eligibility only",
    "v2_shares": {
      "alpha": [
        0.1354654288659274,
        0.8645345711340725,
        0.0
      ],
      "beta": [
        0.8476557636436921,
        0.06320497525448655,
        0.08913926110182148
      ]
    }
  },
  "conditions": [
    [
      "base",
      4.5
    ],
    [
      "base",
      0.8
    ],
    [
      "shift",
      4.5
    ],
    [
      "shift",
      0.8
    ],
    [
      "alpha",
      0.8
    ],
    [
      "beta",
      0.8
    ]
  ],
  "design": {
    "active_gap_max_bits": 0.01,
    "budget_slack": 0.02,
    "final_eval_steps": [
      24000,
      24500,
      25000,
      25500,
      26000,
      26500,
      27000,
      27500,
      28000
    ],
    "full": {
      "alpha": 9.6,
      "base": 4.2,
      "beta": 7.8,
      "shift": 8.25
    },
    "headroom": {
      "alpha": 4.10625,
      "base": 2.08125,
      "beta": 4.21875,
      "shift": 3.6
    },
    "nonbinding_fraction": 0.01,
    "plateau_fraction": 0.002,
    "plateau_threshold": {
      "alpha": 0.008212500000000001,
      "base": 0.0041624999999999995,
      "beta": 0.0084375,
      "shift": 0.007200000000000001
    },
    "public": {
      "alpha": 5.49375,
      "base": 2.11875,
      "beta": 3.58125,
      "shift": 4.65
    },
    "rate_total_tolerance": 1e-09,
    "reference_upper_tolerance": 1e-09,
    "replacement_original_tolerance": 5e-12,
    "total_steps": 28000,
    "training": "byte-identical MB1-PCR4-v1 (vendor/historical); schedule as TRAINING_SCHEDULE_RC3 plus dual step 0.005*lr_factor"
  },
  "disclosures": {
    "composite_feasibility_identity": "mean = (1-p)*mu_valid; U clears 0.02 only if mu_valid > 0.02/(1-p) (0.032 at p=3/8; 0.06915 at the 3/8 one-sided 95% upper bound); interpretive, not a threshold",
    "selection_bias": "valid-population analyses are conditional and do not identify an unconditional mechanism effect",
    "v_transport": "2.0x SD multiplier is an assumption, not an estimate",
    "x2_return_J": "X2 return_J discrepancy remains disclosed in PCR-5; reference v2 adopted only for k=4, C=0.8"
  },
  "document": "Sidus E1 confirmation contract v1.0-RC4",
  "exclusions": "R, L, G, Arm R, eta>0, U2-T, comparison fixture, k=2, k=3: excluded; cannot rescue or broaden any primary claim",
  "execution": {
    "assembly": "only after every registered seed-condition is terminal; closeout is the only early-termination path and marks remaining conditions failed",
    "authorization": "conditional on adopted numbered PCR-6 GO naming this contract, the package manifest and a CF-4 PASS record",
    "exception_retry": "one retry from the same ledgered checkpoint; a second exception from the same step is terminal (irrecoverable_crash)",
    "order": "fixed: seeds ascending, conditions in listed order, one 2,000-step chunk per call",
    "pre_first_checkpoint_replay": "ALLOWED",
    "pre_first_checkpoint_replay_basis": "Author decision 2026-10-16 03:27 (RC4_BUILD_AUTHOR_DECISIONS.md item 1): a crash before the first sealed checkpoint replays from initialization; crashes after a checkpoint resume from it",
    "resume": "deterministic continuation from the latest ledgered sealed checkpoint after ciphertext and plaintext hash verification; mismatch is terminal",
    "sealing": "all outcome-bearing files of all six conditions sealed per file (RSA-OAEP + AES-256-GCM, AAD = condition/file); public status = state, step, failure category only"
  },
  "governing_records": {
    "author_decision_01_json": {
      "path": "15_CONFIRMATION_RC4_PREPARATION_20261016/AUTHOR_DECISION_01_ESTIMAND_AND_PUBLIC_FEASIBILITY_RC4.json",
      "sha256": "34d5b195be369ee43f0a45263c86fe73aea70a34974b7b3c4d7f9bf465b9a4d4"
    },
    "author_decision_01_md": {
      "path": "15_CONFIRMATION_RC4_PREPARATION_20261016/AUTHOR_DECISION_01_ESTIMAND_AND_PUBLIC_FEASIBILITY_RC4.md",
      "sha256": "f9bd6712f622aada8e20f6806c7bb45c638768e54d3858d57d2365f2a823dcb8"
    },
    "author_decision_02_md": {
      "path": "16_CONFIRMATION_RC4_PLANNING_01_20261016/AUTHOR_DECISION_02_SAMPLE_SIZE_INPUTS_RC4.md",
      "sha256": "e0e6eb221cd6d42a062c1f11e4730ae785c3ebad9456b064d3222518e86acb2f"
    },
    "author_decision_03_json": {
      "path": "17_CONFIRMATION_RC4_JOINT_ASSURANCE_DECISION_20261016/AUTHOR_DECISION_03_JOINT_V_ASSURANCE_RC4.json",
      "sha256": "74f866d70e3dbe9cfeadd3c0f5787ec371928f6067628eeac9467e70b396cd39"
    },
    "author_decision_04_json": {
      "path": "18_CONFIRMATION_RC4_PLANNING_02_20261016/AUTHOR_DECISION_04_ASSURANCE_SCOPE_CLARIFICATION_RC4.json",
      "sha256": "956f2d5110723bc45c58baaa84b25d7521d69c54430cc496279bbb70b072128a"
    },
    "collision_review_disposition": {
      "path": "18_CONFIRMATION_RC4_PLANNING_02_20261016/registry/COLLISION_REVIEW_DISPOSITION_RC4.json",
      "sha256": "477c007a885aa7039046b986d767b432d1f59c7c7e900cbdc265a4ed261ae73b"
    },
    "planning_01_manifest": {
      "path": "16_CONFIRMATION_RC4_PLANNING_01_20261016/SHA256SUMS.txt",
      "sha256": "3d272e677cc1235d79b7423ab0d71de0dfd3abe7c517481d1af8d6513aa920e7"
    },
    "planning_01_record": {
      "path": "16_CONFIRMATION_RC4_PLANNING_01_20261016/planning/PRECISION_AND_SAMPLE_SIZE_RC4.json",
      "sha256": "68b345c7713ce5f718e5ef215904cda26c88b7d2ce7df9fe633f3a390ed007a0"
    },
    "planning_02_manifest": {
      "path": "18_CONFIRMATION_RC4_PLANNING_02_20261016/SHA256SUMS.txt",
      "sha256": "aad4e6495615f900d0977fca1a337dc729a4c3cbde74ffb6949073131a178c75"
    },
    "planning_02_record": {
      "path": "18_CONFIRMATION_RC4_PLANNING_02_20261016/planning/SAMPLE_SIZE_JOINT_ASSURANCE_RC4.json",
      "sha256": "d432d562b678933312153513b1ef3dec90b291c5e18848ea7fe7597735008b61"
    },
    "rc3_contract": {
      "path": "14_CONFIRMATION_FREEZE_RC3_20261015/CONFIRMATION_CONTRACT_RC3.json",
      "sha256": "8e4d12dd70f2c75761deee356ccdb494425dc4902ce81f899d88685ea3446290"
    },
    "rc4_preparation_manifest": {
      "path": "15_CONFIRMATION_RC4_PREPARATION_20261016/SHA256SUMS.txt",
      "sha256": "aca4f84ba43f2e34f1f2850c98cd1ef8a06fe8f031d6a04dd8a47f96fb706487"
    }
  },
  "inference": {
    "alpha": 0.05,
    "confirmation_population": "all registered seeds; invalid component := 0 (composite, Decision 01)",
    "conflict_rule": "confirmed and disconfirmed simultaneously -> INCONCLUSIVE with conflict flag",
    "disconfirmation_equivalence_population": "valid seeds only; test performed only at or above min_valid, else p := 1 within a fixed-size Holm family",
    "margins": {
      "T1": 0.05,
      "T2": 0.05,
      "U": 0.02,
      "V": 0.05
    },
    "min_valid": {
      "T1": 20,
      "T2": 20,
      "U": 20,
      "V": 324
    },
    "success_interval": "two-sided 95% Clopper-Pearson"
  },
  "mandatory_diagnostics": {
    "defined_in_RC2": [
      "T2 source-1 change",
      "T2 source-3 change",
      "T2 full L1 displacement",
      "U binding-budget (C=0.8) total-reliance replacement"
    ],
    "final_definitions_author_delegated_review_2026_10_16": {
      "action_TV": "for every source v, at each (I,S) average the policy over S_v_prime ~ q(S_v|I) holding S_-v fixed, then take TV from the original policy and average over (I,S); report the joint-action value and every target marginal; historical exact-evaluator convention, not average pairwise TV",
      "target_specific_effects": "J = sum_u J_u over coordinator targets u; report (J_u(original) - J_u(S_v -> S_v ~ q(S_v|I))) / H_env for every (v,u); rows sum to the total-reliance loss",
      "unique_reliance": "(J - J(S_v -> S_v ~ q(S_v | I, S_-v))) / H_env; equals total reliance exactly under independent sources (eta=0), so it also serves as a structural check"
    },
    "role": "descriptive only; never change a primary label"
  },
  "overall_rule": "PASS iff T1,T2,U,V all CONFIRMED; FAIL iff any DISCONFIRMED; otherwise HOLD",
  "registry": {
    "adaptive_extension": "none",
    "count": 501,
    "first": 9201,
    "last": 9701,
    "replacement": "none",
    "seeds_sha256": "7a12dca70ce7965526abea68813353d1167e405da6f985d34e18cd8d730630dd",
    "source": "Planning 02 candidate registry (byte-identical copy in contract/inputs)"
  },
  "required_files": [
    {
      "path": "rc4/__init__.py",
      "sha256": "68a034a5a9bd33d99633a85150dad767877a400ad3ffa22a5887d399697cf2dc"
    },
    {
      "path": "rc4/common.py",
      "sha256": "dc015d3a7ccf80acf1dc517376ded7363ef8dea08f38c92a6cff2f4907b202c3"
    },
    {
      "path": "rc4/sealing.py",
      "sha256": "57a2285430b98e8b8ecb9c477601600e441b9272073b27065b7e125216508ac3"
    },
    {
      "path": "rc4/guard.py",
      "sha256": "5a600bd93ff65ae2789471480be3111af942d6a579e88fa6c9bc2f4bc075b48a"
    },
    {
      "path": "rc4/runner.py",
      "sha256": "74ef3bf211a459b580b66d1a6426267560ba7af4d86bb6396a0dfd993bc4c722"
    },
    {
      "path": "rc4/readout.py",
      "sha256": "8d9961c88c801226d65e44cab96fc14760cfd0d82e2961eab25715f9302b0c2b"
    },
    {
      "path": "rc4/assemble.py",
      "sha256": "522f09bb4320567f1c611ae9c48752d776d607c284ab74378113e69decafc02c"
    },
    {
      "path": "analysis/__init__.py",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "analysis/confirmation_analysis.py",
      "sha256": "c08b803c1c41d6a30edc52b692585fd94d35b442c1fe785c91675b1e503703f1"
    },
    {
      "path": "analysis/run_analysis.py",
      "sha256": "32542541b791d43835870eede315b109c4394780d6aa14e7fb7567395359136a"
    },
    {
      "path": "env/environment_probe.py",
      "sha256": "6f96e14716293ebfbaabf6378cf505c3cd0f9e05916336bc63eea6c8c2f72501"
    },
    {
      "path": "env/verify_environment.py",
      "sha256": "e5c0c377113c5393a077e40c9369c28b124b2633a086bee662ad73d3c30abd0d"
    },
    {
      "path": "env/ENVIRONMENT_LOCK_RC4.json",
      "sha256": "0c88da5e10e01ce9e4492639107609f761cf7b38877edc12bf7f69c674344740"
    },
    {
      "path": "contract/CONFIRMATION_DATA_SCHEMA_RC4.json",
      "sha256": "a600fc12a619cb73ed8ede0245dbf572d3de43c3bcfe2de00eb28040636fdc11"
    },
    {
      "path": "vendor/historical/mb1/src/train_mb1.py",
      "sha256": "9750d14c5c1c7be040a5cd56751ab790b79e9fbcbcae1b424540d9125f740623"
    },
    {
      "path": "vendor/historical/mb0bRF4/src/rf4.py",
      "sha256": "82bc9482652876c0a1b11371d6c72a8adae6df39316397c78a869f4d4eab6778"
    },
    {
      "path": "vendor/historical/mb0bRF/src/retry.py",
      "sha256": "e4437920ad786ace600c7a411eaa3614a14f79fdd08a935a8d50a75019176690"
    },
    {
      "path": "vendor/historical/mb0/src/reference.py",
      "sha256": "bc315579d1eeeddc5d0bf4168baedc87891b174ad6dda48b8f3c01cf5c3cf61e"
    },
    {
      "path": "vendor/historical/mb0/src/evaluator.py",
      "sha256": "2c14d10066e80d30ffe332d9cd2dbcd2417261aabc99b3ed0a86a1ec60451bc7"
    },
    {
      "path": "vendor/historical/mb0bR/src/checkpointed_feasibility.py",
      "sha256": "1451b9f4386ac427ae51fb64b56277d708591771dfa14c099768b76af1c40417"
    }
  ],
  "status": "RC4 CANDIDATE FOR CF-4 REVIEW; NOT ADOPTED; execution requires an adopted numbered PCR-6 GO",
  "validity": {
    "C0.8 (all four environments)": "completed; steps 28000; finite primary values; rate total; budget; recomputed plateau",
    "C4.5 (base, shift)": "completed; steps 28000; finite primary values; rate total consistent and positive; budget; plateau recomputed over steps 24000-28000 against frozen threshold; reference upper equals frozen full value; historical nonbinding gate recomputed",
    "T1_env": "C4.5_env valid and C0.8_env valid (component-specific; base failure does not affect shift)",
    "T2": "base_C0.8 and shift_C0.8 valid",
    "U_env_source": "C4.5_env valid, that source active-channel gap <= 0.01 bits, finite replacement return, replacement original equals return_J within 5e-12",
    "V_env": "that environment C0.8 valid"
  }
}