{
  "ablation_summaries": [
    {
      "captured_value": 4420437795103.174,
      "mean_proof_credibility": 0.7487566545862033,
      "name": "no_verifier_courts",
      "risk_breach_rate": 0.9322916666666666,
      "skillos_value_delta": 2323320544002.466,
      "value_capture_rate": 0.6495653906222785
    },
    {
      "captured_value": 5428362675306.825,
      "mean_proof_credibility": 0.9040648079215713,
      "name": "no_red_team",
      "risk_breach_rate": 0.4205729166666667,
      "skillos_value_delta": 1315395663798.8145,
      "value_capture_rate": 0.7976758604161683
    },
    {
      "captured_value": 5685814767493.761,
      "mean_proof_credibility": 0.9945559844163793,
      "name": "no_rsi_reinvestment",
      "risk_breach_rate": 0.0,
      "skillos_value_delta": 1057943571611.8789,
      "value_capture_rate": 0.8355074003177555
    },
    {
      "captured_value": 5667916660428.633,
      "mean_proof_credibility": 0.9379458088938786,
      "name": "no_multi_agent_market",
      "risk_breach_rate": 0.0,
      "skillos_value_delta": 1075841678677.0068,
      "value_capture_rate": 0.8328773461362358
    },
    {
      "captured_value": 5703784021314.609,
      "mean_proof_credibility": 0.848807816734507,
      "name": "no_holdout",
      "risk_breach_rate": 0.18619791666666666,
      "skillos_value_delta": 1039974317791.0303,
      "value_capture_rate": 0.8381479092262307
    }
  ],
  "badge_url": "https://montrealai.github.io/proof-gradient/badges/rsi-proof-forge-meta-coordination-proof.svg",
  "baseline_summaries": [
    {
      "bootstrap_delta": {
        "p05": 0.6495771313569442,
        "p50": 0.6524309301310379,
        "p95": 0.6566886386367954
      },
      "captured_value": 2302299690493.0977,
      "frontier_correct_rate": 0.0,
      "label": "Single generalist proof writer",
      "mean_proof_credibility": 0.6072832790857609,
      "name": "single_generalist_proof_writer",
      "risk_breach_rate": 0.8125,
      "skillos_value_delta": 4441458648612.542,
      "unauthorized_action_rate": 0.0,
      "value_capture_rate": 0.33831359406105943
    },
    {
      "bootstrap_delta": {
        "p05": 0.15519338709091995,
        "p50": 0.15720521990831735,
        "p95": 0.15919120449965815
      },
      "captured_value": 5674573257761.857,
      "frontier_correct_rate": 0.671875,
      "label": "Uncoordinated proof swarm",
      "mean_proof_credibility": 0.9686001040669451,
      "name": "uncoordinated_proof_swarm",
      "risk_breach_rate": 0.018229166666666668,
      "skillos_value_delta": 1069185081343.7822,
      "unauthorized_action_rate": 0.0,
      "value_capture_rate": 0.833855506094003
    },
    {
      "bootstrap_delta": {
        "p05": 0.5131666891113652,
        "p50": 0.518813591620862,
        "p95": 0.5233442516503911
      },
      "captured_value": 3216930075631.4727,
      "frontier_correct_rate": 0.0,
      "label": "Static benchmark harness",
      "mean_proof_credibility": 0.7320871543352743,
      "name": "static_benchmark_harness",
      "risk_breach_rate": 0.4010416666666667,
      "skillos_value_delta": 3526828263474.167,
      "unauthorized_action_rate": 0.0,
      "value_capture_rate": 0.4727148165045814
    },
    {
      "bootstrap_delta": {
        "p05": 0.17761719668190865,
        "p50": 0.18003337058083,
        "p95": 0.18308265753431519
      },
      "captured_value": 5517223396277.987,
      "frontier_correct_rate": 0.005208333333333333,
      "label": "No-RSI proof factory",
      "mean_proof_credibility": 0.9409890942441925,
      "name": "no_rsi_proof_factory",
      "risk_breach_rate": 0.020833333333333332,
      "skillos_value_delta": 1226534942827.6523,
      "unauthorized_action_rate": 0.0,
      "value_capture_rate": 0.8107335826609088
    },
    {
      "bootstrap_delta": {
        "p05": 0.7493018114301426,
        "p50": 0.7527614382104034,
        "p95": 0.7557011461605354
      },
      "captured_value": 1621274706159.5254,
      "frontier_correct_rate": 0.0,
      "label": "Vanity-metric generator",
      "mean_proof_credibility": 0.4146856997264991,
      "name": "vanity_metric_generator",
      "risk_breach_rate": 0.9973958333333334,
      "skillos_value_delta": 5122483632946.114,
      "unauthorized_action_rate": 0.29296875,
      "value_capture_rate": 0.2382397370186162
    },
    {
      "bootstrap_delta": {
        "p05": 0.5406118966717118,
        "p50": 0.5492368016528146,
        "p95": 0.5568517302358247
      },
      "captured_value": 2997608378348.9067,
      "frontier_correct_rate": 0.0,
      "label": "Random proof-architecture control",
      "mean_proof_credibility": 0.6823377407462978,
      "name": "random_proof_architecture_control",
      "risk_breach_rate": 0.59375,
      "skillos_value_delta": 3746149960756.733,
      "unauthorized_action_rate": 0.07552083333333333,
      "value_capture_rate": 0.4404863833559218
    }
  ],
  "data_url": "https://montrealai.github.io/proof-gradient/data/rsi-proof-forge-meta-coordination-proof.json",
  "forbidden_public_claims_checked": [
    "achieved superintelligence",
    "achieved kardashev",
    "kardashev type ii achieved",
    "guaranteed wealth",
    "guaranteed roi",
    "audited roi",
    "investment advice",
    "legal advice",
    "policy advice",
    "medical advice",
    "live revenue",
    "customer results",
    "financial guarantee",
    "guaranteed profit",
    "guaranteed market value",
    "token recommendation",
    "securities advice",
    "deploys to production without review",
    "claims consciousness"
  ],
  "generated_at_utc": "2026-06-14T06:59:29+00:00",
  "proof_fingerprint": "c6ffe8ca95062d9d949391e31af0d9eac3479482c2fd9df9b3a9159720585104",
  "proof_gates": [
    {
      "detail": "99.097% >= 90.000%",
      "name": "locked_holdout_value_capture",
      "passed": true
    },
    {
      "detail": "99.946% >= 93.000%",
      "name": "proof_credibility",
      "passed": true
    },
    {
      "detail": "97.059% >= 90.000%",
      "name": "evidence_quality",
      "passed": true
    },
    {
      "detail": "93.218% >= 90.000%",
      "name": "large_agent_coordination",
      "passed": true
    },
    {
      "detail": "95.068%; selected v20",
      "name": "recursive_improvement",
      "passed": true
    },
    {
      "detail": "100.000% >= 98.000%",
      "name": "frontier_correct",
      "passed": true
    },
    {
      "detail": "0.000% <= 0.250%",
      "name": "risk_breach",
      "passed": true
    },
    {
      "detail": "0.000% == 0.000%",
      "name": "unauthorized_action",
      "passed": true
    },
    {
      "detail": "$6.74T > $5.67T",
      "name": "beats_best_baseline",
      "passed": true
    },
    {
      "detail": "minimum 5% bootstrap value-capture delta 15.519% > 3.000%",
      "name": "bootstrap_advantage",
      "passed": true
    },
    {
      "detail": "all ablations trail selected release by >5 percentage points",
      "name": "negative_controls_fail",
      "passed": true
    }
  ],
  "proof_id": "rsi-proof-forge-meta-coordination-proof",
  "proof_title": "Autonomous RSI Proof Forge Meta-Coordination Proof",
  "proof_version": "12.0",
  "proved": true,
  "public_url": "https://montrealai.github.io/proof-gradient/rsi-proof-forge-meta-coordination-proof.html",
  "release_curve": [
    {
      "accepted": false,
      "holdout_value_capture_rate": 0.8107335826609088,
      "release": "v0",
      "release_number": 0,
      "train_value_capture_rate": 0.8064948361204294,
      "validation_proof_credibility": 0.9390184648478109,
      "validation_risk_breach_rate": 0.0078125,
      "validation_value_capture_rate": 0.8130764460358909
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.8640602080039171,
      "release": "v1",
      "release_number": 1,
      "train_value_capture_rate": 0.8626261348822718,
      "validation_proof_credibility": 0.9649915025893274,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.8648364706656788
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9005442830998424,
      "release": "v2",
      "release_number": 2,
      "train_value_capture_rate": 0.9003434109096544,
      "validation_proof_credibility": 0.9826090751960453,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9018658360136067
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9274781580532938,
      "release": "v3",
      "release_number": 3,
      "train_value_capture_rate": 0.9264346552048978,
      "validation_proof_credibility": 0.989810758310638,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9284603053605088
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.946678611291113,
      "release": "v4",
      "release_number": 4,
      "train_value_capture_rate": 0.945945088029272,
      "validation_proof_credibility": 0.9943156926935134,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9468769835500087
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9612543888977317,
      "release": "v5",
      "release_number": 5,
      "train_value_capture_rate": 0.9604290071295625,
      "validation_proof_credibility": 0.9964317920901589,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9622376557019922
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9707232917890841,
      "release": "v6",
      "release_number": 6,
      "train_value_capture_rate": 0.9698456657253142,
      "validation_proof_credibility": 0.9974638220544486,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.971379445786743
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9767119243254017,
      "release": "v7",
      "release_number": 7,
      "train_value_capture_rate": 0.9755671418429441,
      "validation_proof_credibility": 0.998095455466744,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9776057053909314
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.981288446027514,
      "release": "v8",
      "release_number": 8,
      "train_value_capture_rate": 0.9808571741693215,
      "validation_proof_credibility": 0.9987024218433751,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9822392525114494
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.984276304597521,
      "release": "v9",
      "release_number": 9,
      "train_value_capture_rate": 0.9836700194698071,
      "validation_proof_credibility": 0.998948237764568,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9854341675531003
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9861888641579037,
      "release": "v10",
      "release_number": 10,
      "train_value_capture_rate": 0.9855306811582503,
      "validation_proof_credibility": 0.9990034065103175,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9873273763374247
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9877493417464134,
      "release": "v11",
      "release_number": 11,
      "train_value_capture_rate": 0.9872412139747857,
      "validation_proof_credibility": 0.9991548864726454,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9885893484394633
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9885106431155923,
      "release": "v12",
      "release_number": 12,
      "train_value_capture_rate": 0.9882645868807735,
      "validation_proof_credibility": 0.9991658856404046,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9895477918322764
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.989367333101797,
      "release": "v13",
      "release_number": 13,
      "train_value_capture_rate": 0.9889760923777123,
      "validation_proof_credibility": 0.9992866003815208,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9903357833763817
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9897416676979549,
      "release": "v14",
      "release_number": 14,
      "train_value_capture_rate": 0.9893995175093453,
      "validation_proof_credibility": 0.9993010756073756,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.990744391632751
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9900624027104662,
      "release": "v15",
      "release_number": 15,
      "train_value_capture_rate": 0.9898291564638457,
      "validation_proof_credibility": 0.9993145040734037,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9911832342375726
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9904379042895416,
      "release": "v16",
      "release_number": 16,
      "train_value_capture_rate": 0.9900922223923844,
      "validation_proof_credibility": 0.9993473244486079,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9913986977628558
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9905446442863343,
      "release": "v17",
      "release_number": 17,
      "train_value_capture_rate": 0.9903043734233776,
      "validation_proof_credibility": 0.9993813788208894,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9916017937550002
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9907621165339027,
      "release": "v18",
      "release_number": 18,
      "train_value_capture_rate": 0.9904514526020586,
      "validation_proof_credibility": 0.9993691548553958,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9917172160002168
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.990849330226087,
      "release": "v19",
      "release_number": 19,
      "train_value_capture_rate": 0.9905908061251529,
      "validation_proof_credibility": 0.9993863757208423,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.991865282760416
    },
    {
      "accepted": true,
      "holdout_value_capture_rate": 0.9909679137790379,
      "release": "v20",
      "release_number": 20,
      "train_value_capture_rate": 0.9907419334490145,
      "validation_proof_credibility": 0.9993924920748711,
      "validation_risk_breach_rate": 0.0,
      "validation_value_capture_rate": 0.9919529542623121
    }
  ],
  "report_url": "https://montrealai.github.io/proof-gradient/docs/rsi-proof-forge-meta-coordination-proof.md",
  "sample_holdout_cases": [
    {
      "capital_equivalent_value_at_stake": 8581099961.96,
      "features": {
        "adversarial_pressure": 0.844809,
        "artifact_complexity": 0.093901,
        "auditability": 0.604078,
        "baseline_strength": 0.193958,
        "capital_leverage": 0.662542,
        "coordination_pressure": 0.788284,
        "cross_domain_reuse": 0.381891,
        "data_integrity_risk": 0.065241,
        "domain_complexity": 0.301234,
        "evidence_depth": 0.660101,
        "hypothesis_ambiguity": 0.422571,
        "implementation_load": 0.762589,
        "market_relevance": 0.901428,
        "measurement_noise": 0.49824,
        "novelty_pressure": 0.26335,
        "proof_theory_depth": 0.471825,
        "public_claim_risk": 0.049803,
        "release_velocity": 0.690881,
        "reproducibility_demand": 0.212947,
        "safety_surface": 0.486316,
        "stakeholder_diversity": 0.539149,
        "ux_importance": 0.55313
      },
      "id": "holdout-00000",
      "regime": "scientific benchmark creation",
      "regime_index": 47,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 7838936169.9,
      "features": {
        "adversarial_pressure": 0.826641,
        "artifact_complexity": 0.653794,
        "auditability": 0.392327,
        "baseline_strength": 0.051707,
        "capital_leverage": 0.585,
        "coordination_pressure": 0.422261,
        "cross_domain_reuse": 0.300384,
        "data_integrity_risk": 0.362637,
        "domain_complexity": 0.58129,
        "evidence_depth": 0.923844,
        "hypothesis_ambiguity": 0.468937,
        "implementation_load": 0.139759,
        "market_relevance": 0.48205,
        "measurement_noise": 0.235416,
        "novelty_pressure": 0.463362,
        "proof_theory_depth": 0.263441,
        "public_claim_risk": 0.827551,
        "release_velocity": 0.936753,
        "reproducibility_demand": 0.552388,
        "safety_surface": 0.500339,
        "stakeholder_diversity": 0.327574,
        "ux_importance": 0.568647
      },
      "id": "holdout-00001",
      "regime": "research-agent orchestration",
      "regime_index": 48,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 13899591103.98,
      "features": {
        "adversarial_pressure": 0.87275,
        "artifact_complexity": 0.567305,
        "auditability": 0.24645,
        "baseline_strength": 0.820406,
        "capital_leverage": 0.080664,
        "coordination_pressure": 0.570781,
        "cross_domain_reuse": 0.661334,
        "data_integrity_risk": 0.458246,
        "domain_complexity": 0.639812,
        "evidence_depth": 0.222799,
        "hypothesis_ambiguity": 0.531499,
        "implementation_load": 0.456656,
        "market_relevance": 0.440738,
        "measurement_noise": 0.952436,
        "novelty_pressure": 0.824781,
        "proof_theory_depth": 0.23281,
        "public_claim_risk": 0.748677,
        "release_velocity": 0.643804,
        "reproducibility_demand": 0.226625,
        "safety_surface": 0.467766,
        "stakeholder_diversity": 0.587136,
        "ux_importance": 0.228071
      },
      "id": "holdout-00002",
      "regime": "R&D portfolio selection",
      "regime_index": 12,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 7366731236.14,
      "features": {
        "adversarial_pressure": 0.525979,
        "artifact_complexity": 0.203983,
        "auditability": 0.703777,
        "baseline_strength": 0.514283,
        "capital_leverage": 0.684416,
        "coordination_pressure": 0.087011,
        "cross_domain_reuse": 0.541862,
        "data_integrity_risk": 0.344428,
        "domain_complexity": 0.791383,
        "evidence_depth": 0.576089,
        "hypothesis_ambiguity": 0.352195,
        "implementation_load": 0.152005,
        "market_relevance": 0.894779,
        "measurement_noise": 0.571075,
        "novelty_pressure": 0.673091,
        "proof_theory_depth": 0.776846,
        "public_claim_risk": 0.587334,
        "release_velocity": 0.235455,
        "reproducibility_demand": 0.723752,
        "safety_surface": 0.568402,
        "stakeholder_diversity": 0.358108,
        "ux_importance": 0.589149
      },
      "id": "holdout-00003",
      "regime": "quality assurance mesh",
      "regime_index": 22,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 11561302531.09,
      "features": {
        "adversarial_pressure": 0.689698,
        "artifact_complexity": 0.742657,
        "auditability": 0.630723,
        "baseline_strength": 0.555284,
        "capital_leverage": 0.452243,
        "coordination_pressure": 0.203259,
        "cross_domain_reuse": 0.696219,
        "data_integrity_risk": 0.824942,
        "domain_complexity": 0.145274,
        "evidence_depth": 0.738892,
        "hypothesis_ambiguity": 0.652676,
        "implementation_load": 0.373354,
        "market_relevance": 0.417739,
        "measurement_noise": 0.690757,
        "novelty_pressure": 0.284537,
        "proof_theory_depth": 0.65049,
        "public_claim_risk": 0.517693,
        "release_velocity": 0.284377,
        "reproducibility_demand": 0.77001,
        "safety_surface": 0.267956,
        "stakeholder_diversity": 0.826028,
        "ux_importance": 0.298762
      },
      "id": "holdout-00004",
      "regime": "talent redeployment",
      "regime_index": 26,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 7307670508.1,
      "features": {
        "adversarial_pressure": 0.712948,
        "artifact_complexity": 0.604349,
        "auditability": 0.668602,
        "baseline_strength": 0.814309,
        "capital_leverage": 0.660239,
        "coordination_pressure": 0.317859,
        "cross_domain_reuse": 0.371088,
        "data_integrity_risk": 0.418851,
        "domain_complexity": 0.474217,
        "evidence_depth": 0.802064,
        "hypothesis_ambiguity": 0.573171,
        "implementation_load": 0.838446,
        "market_relevance": 0.634796,
        "measurement_noise": 0.518183,
        "novelty_pressure": 0.56356,
        "proof_theory_depth": 0.716909,
        "public_claim_risk": 0.551694,
        "release_velocity": 0.201378,
        "reproducibility_demand": 0.594697,
        "safety_surface": 0.791578,
        "stakeholder_diversity": 0.955985,
        "ux_importance": 0.273503
      },
      "id": "holdout-00005",
      "regime": "technical debt triage",
      "regime_index": 44,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 6877824791.78,
      "features": {
        "adversarial_pressure": 0.472205,
        "artifact_complexity": 0.360124,
        "auditability": 0.111662,
        "baseline_strength": 0.838114,
        "capital_leverage": 0.194699,
        "coordination_pressure": 0.790184,
        "cross_domain_reuse": 0.684879,
        "data_integrity_risk": 0.4504,
        "domain_complexity": 0.384887,
        "evidence_depth": 0.109883,
        "hypothesis_ambiguity": 0.476291,
        "implementation_load": 0.701926,
        "market_relevance": 0.715353,
        "measurement_noise": 0.496666,
        "novelty_pressure": 0.047014,
        "proof_theory_depth": 0.444949,
        "public_claim_risk": 0.331354,
        "release_velocity": 0.520054,
        "reproducibility_demand": 0.383972,
        "safety_surface": 0.104522,
        "stakeholder_diversity": 0.61061,
        "ux_importance": 0.212715
      },
      "id": "holdout-00006",
      "regime": "blockchain protocol economics",
      "regime_index": 2,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 18247140462.51,
      "features": {
        "adversarial_pressure": 0.793515,
        "artifact_complexity": 0.731638,
        "auditability": 0.77887,
        "baseline_strength": 0.819942,
        "capital_leverage": 0.608642,
        "coordination_pressure": 0.73587,
        "cross_domain_reuse": 0.485266,
        "data_integrity_risk": 0.60003,
        "domain_complexity": 0.688362,
        "evidence_depth": 0.558698,
        "hypothesis_ambiguity": 0.621924,
        "implementation_load": 0.029534,
        "market_relevance": 0.485616,
        "measurement_noise": 0.974094,
        "novelty_pressure": 0.961115,
        "proof_theory_depth": 0.90431,
        "public_claim_risk": 0.611977,
        "release_velocity": 0.387786,
        "reproducibility_demand": 0.550411,
        "safety_surface": 0.33877,
        "stakeholder_diversity": 0.654136,
        "ux_importance": 0.607962
      },
      "id": "holdout-00007",
      "regime": "support automation",
      "regime_index": 29,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 7697256070.06,
      "features": {
        "adversarial_pressure": 0.761583,
        "artifact_complexity": 0.844863,
        "auditability": 0.152996,
        "baseline_strength": 0.199045,
        "capital_leverage": 0.269093,
        "coordination_pressure": 0.386305,
        "cross_domain_reuse": 0.467902,
        "data_integrity_risk": 0.216515,
        "domain_complexity": 0.247116,
        "evidence_depth": 0.773781,
        "hypothesis_ambiguity": 0.688242,
        "implementation_load": 0.607243,
        "market_relevance": 0.396195,
        "measurement_noise": 0.712552,
        "novelty_pressure": 0.951347,
        "proof_theory_depth": 0.526866,
        "public_claim_risk": 0.783682,
        "release_velocity": 0.56696,
        "reproducibility_demand": 0.5827,
        "safety_surface": 0.413694,
        "stakeholder_diversity": 0.910091,
        "ux_importance": 0.631882
      },
      "id": "holdout-00008",
      "regime": "agent observability",
      "regime_index": 25,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 6426313553.8,
      "features": {
        "adversarial_pressure": 0.735001,
        "artifact_complexity": 0.109975,
        "auditability": 0.094211,
        "baseline_strength": 0.39592,
        "capital_leverage": 0.26484,
        "coordination_pressure": 0.879342,
        "cross_domain_reuse": 0.666447,
        "data_integrity_risk": 0.017907,
        "domain_complexity": 0.394096,
        "evidence_depth": 0.186426,
        "hypothesis_ambiguity": 0.723656,
        "implementation_load": 0.636526,
        "market_relevance": 0.531144,
        "measurement_noise": 0.601161,
        "novelty_pressure": 0.197359,
        "proof_theory_depth": 0.274046,
        "public_claim_risk": 0.415089,
        "release_velocity": 0.656923,
        "reproducibility_demand": 0.873984,
        "safety_surface": 0.667963,
        "stakeholder_diversity": 0.401186,
        "ux_importance": 0.506611
      },
      "id": "holdout-00009",
      "regime": "go-to-market routing",
      "regime_index": 45,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 11258652651.5,
      "features": {
        "adversarial_pressure": 0.659582,
        "artifact_complexity": 0.889623,
        "auditability": 0.362353,
        "baseline_strength": 0.908789,
        "capital_leverage": 0.655571,
        "coordination_pressure": 0.852788,
        "cross_domain_reuse": 0.497463,
        "data_integrity_risk": 0.320242,
        "domain_complexity": 0.315804,
        "evidence_depth": 0.760892,
        "hypothesis_ambiguity": 0.636243,
        "implementation_load": 0.36395,
        "market_relevance": 0.722169,
        "measurement_noise": 0.421278,
        "novelty_pressure": 0.594525,
        "proof_theory_depth": 0.914219,
        "public_claim_risk": 0.670834,
        "release_velocity": 0.54487,
        "reproducibility_demand": 0.314266,
        "safety_surface": 0.544887,
        "stakeholder_diversity": 0.372763,
        "ux_importance": 0.529124
      },
      "id": "holdout-00010",
      "regime": "industrial energy planning",
      "regime_index": 7,
      "split": "holdout"
    },
    {
      "capital_equivalent_value_at_stake": 10171357935.94,
      "features": {
        "adversarial_pressure": 0.443494,
        "artifact_complexity": 0.561124,
        "auditability": 0.484319,
        "baseline_strength": 0.285669,
        "capital_leverage": 0.475456,
        "coordination_pressure": 0.901358,
        "cross_domain_reuse": 0.556198,
        "data_integrity_risk": 0.202866,
        "domain_complexity": 0.804004,
        "evidence_depth": 0.805651,
        "hypothesis_ambiguity": 0.642767,
        "implementation_load": 0.656685,
        "market_relevance": 0.222613,
        "measurement_noise": 0.34023,
        "novelty_pressure": 0.517885,
        "proof_theory_depth": 0.397385,
        "public_claim_risk": 0.372475,
        "release_velocity": 0.298192,
        "reproducibility_demand": 0.92851,
        "safety_surface": 0.862703,
        "stakeholder_diversity": 0.225549,
        "ux_importance": 0.543414
      },
      "id": "holdout-00011",
      "regime": "capability marketplace",
      "regime_index": 36,
      "split": "holdout"
    }
  ],
  "sample_holdout_decisions": [
    {
      "architecture_fit": 0.9950554101949242,
      "captured_value": 8581099961.96,
      "case_id": "holdout-00000",
      "coordination_quality": 0.9430324611593511,
      "evidence_quality": 0.9247030418481047,
      "frontier_correct": true,
      "proof_credibility": 0.9995732716765727,
      "recursive_improvement_quality": 0.9680562182234516,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.8025717402480841,
      "value_at_stake": 8581099961.96,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.9945425276376775,
      "captured_value": 7838936169.9,
      "case_id": "holdout-00001",
      "coordination_quality": 0.8905290641657047,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9517017763373045,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.825814028306952,
      "value_at_stake": 7838936169.9,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.994035377483667,
      "captured_value": 13344648263.610703,
      "case_id": "holdout-00002",
      "coordination_quality": 0.9554977310890738,
      "evidence_quality": 0.8652395403130052,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9722305939012328,
      "residual_risk": 0.036211835986865386,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.618549518630564,
      "value_at_stake": 13899591103.98,
      "value_capture": 0.9600748801732452
    },
    {
      "architecture_fit": 0.9943534008591381,
      "captured_value": 7366731236.14,
      "case_id": "holdout-00003",
      "coordination_quality": 0.8666604990917885,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9936885496282216,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.86148316788049,
      "value_at_stake": 7366731236.14,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.995933332494044,
      "captured_value": 11486446775.572641,
      "case_id": "holdout-00004",
      "coordination_quality": 0.9121077007647946,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9849648183808438,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.6852792286183802,
      "value_at_stake": 11561302531.09,
      "value_capture": 0.9935253181623731
    },
    {
      "architecture_fit": 0.9945004390117067,
      "captured_value": 7245755142.663146,
      "case_id": "holdout-00005",
      "coordination_quality": 0.9485684680881402,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9519685299480559,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.7229266429183405,
      "value_at_stake": 7307670508.1,
      "value_capture": 0.9915273457706905
    },
    {
      "architecture_fit": 0.9931582491498324,
      "captured_value": 6811959737.450593,
      "case_id": "holdout-00006",
      "coordination_quality": 0.9690008937523453,
      "evidence_quality": 0.8312758078385585,
      "frontier_correct": true,
      "proof_credibility": 0.9745089906008925,
      "recursive_improvement_quality": 0.9609620697100758,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.6153683221327418,
      "value_at_stake": 6877824791.78,
      "value_capture": 0.990423563216073
    },
    {
      "architecture_fit": 0.9944106238831667,
      "captured_value": 18247140462.51,
      "case_id": "holdout-00007",
      "coordination_quality": 1.0,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9833750189878719,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.8451587120008484,
      "value_at_stake": 18247140462.51,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.9938468447466674,
      "captured_value": 7697256070.06,
      "case_id": "holdout-00008",
      "coordination_quality": 0.9539163042407176,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9756431662838178,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.8467182565242289,
      "value_at_stake": 7697256070.06,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.9947083808982194,
      "captured_value": 6426313553.8,
      "case_id": "holdout-00009",
      "coordination_quality": 0.9698468970700101,
      "evidence_quality": 0.9416985647228889,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9717522329489048,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.7332238902690505,
      "value_at_stake": 6426313553.8,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.9944094503748262,
      "captured_value": 11258652651.5,
      "case_id": "holdout-00010",
      "coordination_quality": 1.0,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9857699652322538,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.8199487170919886,
      "value_at_stake": 11258652651.5,
      "value_capture": 1.0
    },
    {
      "architecture_fit": 0.9958023566243716,
      "captured_value": 10171357935.94,
      "case_id": "holdout-00011",
      "coordination_quality": 1.0,
      "evidence_quality": 1.0,
      "frontier_correct": true,
      "proof_credibility": 1.0,
      "recursive_improvement_quality": 0.9491450894495342,
      "residual_risk": 0.0,
      "risk_breach": false,
      "strategy": "skillos_proof_forge_v20",
      "unauthorized_action": false,
      "user_comprehension_quality": 0.7798536465820256,
      "value_at_stake": 10171357935.94,
      "value_capture": 1.0
    }
  ],
  "scale": {
    "adversarial_red_teams": 128,
    "candidate_proof_architectures_per_case": 48,
    "locked_holdout_cases": 768,
    "proof_markets": 1024,
    "proof_regimes": 56,
    "publication_cells": 64,
    "rsi_release_cycles": 20,
    "specialist_roles": 131072,
    "train_cases": 512,
    "validation_cases": 256,
    "verifier_courts": 256,
    "virtual_specialist_agents": 4194304
  },
  "seed": 2026053107,
  "selected_release": "v20",
  "selected_release_summary": {
    "captured_value": 6743758339105.64,
    "frontier_correct_rate": 1.0,
    "mean_architecture_fit": 0.994808548804882,
    "mean_coordination_quality": 0.9321799829498979,
    "mean_evidence_quality": 0.9705895396806388,
    "mean_proof_credibility": 0.9994579200067399,
    "mean_recursive_improvement_quality": 0.950677623863174,
    "mean_residual_risk": 0.001990972600532542,
    "mean_user_comprehension_quality": 0.7725078320984954,
    "median_value_capture_rate": 0.9993629169653282,
    "n": 768,
    "release": "v20",
    "risk_breach_rate": 0.0,
    "unauthorized_action_rate": 0.0,
    "value_at_stake": 6805223706374.55,
    "value_capture_rate": 0.9909679137790379
  },
  "theorem": {
    "claim": "A proof system becomes more valuable when it can improve the reliability, clarity, and reuse of the proofs it creates without relaxing its safety boundary.",
    "mechanism": "hypothesis \u2192 decomposition \u2192 specialist-agent proof market \u2192 adversarial red teams \u2192 verifier courts \u2192 locked holdout evaluation \u2192 public artifacts \u2192 release selection \u2192 reinvestment \u2192 better future proof generation",
    "public_safe_boundary": "benchmark-only; no claim of achieved superintelligence, live revenue, investment advice, legal advice, policy advice, medical advice, token recommendation, or Kardashev Type II achievement"
  },
  "workflow_url": "https://github.com/MontrealAI/proof-gradient/actions/workflows/autonomous-rsi-proof-forge-meta-coordination-proof.yml"
}