{
 "record": "ARC theory registration, canonical machine-readable result chain",
 "purpose": "One row per proposition. The public surfaces generate their wording from this file and may not exceed the rung recorded here. Fields left null are unpopulated, never inferred.",
 "registration_version": "1.85",
 "registration_sha256": "96489518f68d16e3a6215e81922717d912010f4018ca81937de067416213f794",
 "source_commit": "c8a9987d9dc3f23756219d7602b2faf1d07fead3",
 "ladder": [
  "0 registered",
  "1 author-run support",
  "2 independently reproduced",
  "3 independently replicated",
  "4 independently reimplemented",
  "5 generalised across architectures",
  "6 prospectively predictive",
  "7 validated within the tested domain"
 ],
 "peer_review_is": "metadata on a rung, never a rung",
 "propositions": [
  {
   "id": "P1",
   "title": "POWER-LAW CONVERSION AND RECURSIVE-DEPTH ADVANTAGE",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P2",
   "title": "THE SUSTAINABLE GROWTH PROFILE HAS AN INTERIOR MAXIMUM",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P3",
   "title": "THE CORRECTED RELATION UPPER-BOUNDS THE SUSTAINABLE FRONTIER",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P4",
   "title": "CORRECTION OUT-SCALING DRIFT IS WHAT CARRIES THE ASYMPTOTIC ADVANTAGE",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P5",
   "title": "THE EXPONENT IS DERIVED, NOT FITTED",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P6",
   "title": "THE CORRECTION EXPONENT IS BOUNDED FOR SAME-CLASS CORRECTORS",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P7",
   "title": "DEPLOYED CORRECTION IS OF THE WEAKER CLASS",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P8",
   "title": "MEASURED EXPONENTS EXCEED THE NULL",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P9",
   "title": "THE CROSS-DOMAIN FORM",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P10",
   "title": "SCORER-FAMILY DEPENDENCE",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P11",
   "title": "THE RESIDUAL-DECAY AND CORRECTION-CAPACITY EXPONENTS ARE DISTINCT",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P12",
   "title": "BUILD ORDER MOVES THE CORRECTION-LEVERAGE EXPONENT",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P13",
   "title": "SAME-FAMILY AUTOMATED CORRECTION UNDERPERFORMS CROSS-FAMILY AT MATCHED RESOURCES, AND THROUGH THE MEASURED ERROR CORRELATION",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P14",
   "title": "GAINS SHRINK UNDER BLINDED CROSS-FAMILY SCORING",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P15",
   "title": "EXTERNALLY INSTALLED GAINS DECAY UNDER SUBSEQUENT CAPABILITY TRAINING",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P16",
   "title": "THE PROHIBITION ITSELF",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P17",
   "title": "PANEL CORRECTOR FAILURES ARE CONDITIONALLY INDEPENDENT ON A FROZEN FAULT SET",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P18",
   "title": "THE COMPOSITION OPERATOR PREDICTS THE FAMILY",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P19",
   "title": "EXTERNAL ALIGNMENT DOES NOT SCALE WITH CAPABILITY",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P20",
   "title": "THE CEILING RELATION TAKES THE CORRECTED FORM",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P21",
   "title": "IN-LOOP CORRECTION PULLS AWAY WITH DEPTH",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  },
  {
   "id": "P22",
   "title": "CHECKABLE CORRECTION CARRIES THE HIGHER EXPONENT, SO THE CEILING IS LOWEST WHERE THE SAFETY CLAIM LIVES",
   "scope": null,
   "primary_endpoint": null,
   "estimator": null,
   "rival_models": null,
   "exclusion_rules": null,
   "sensitivity_requirement": null,
   "verdict_function": null,
   "dependencies": null,
   "instrument_registration_id": null,
   "code_commit": null,
   "environment_digest": null,
   "dataset_hash": null,
   "raw_result_hash": null,
   "author_run_outcome": null,
   "rung": 0,
   "independent_replication_count": 0,
   "independent_implementation_count": 0,
   "peer_review_status": null,
   "licensed_public_wording": "registered, not tested"
  }
 ],
 "title_extraction": "read to the sentence end with no length cap; an earlier build capped at 120 characters and truncated P13 exactly at the bound"
}