# Core Claim Disposition Ledger

Last updated: 2026-07-24

This report is generated by `python3 scripts/validate_v1_x_core_claim_dispositions.py --write`.
It consolidates the per-chapter core-claim disposition state from the manifest, Appendix C, the evidence plan, accepted no-change transitions, and accepted no-promotion decisions.

## Summary

| Metric | Count |
|---|---:|
| Manifest chapter core claims | 87 |
| Accepted core-transition dispositions | 22 |
| Accepted no-promotion dispositions | 65 |
| Promoted core claims | 0 |
| Core claims remaining at `argument` | 87 |

## Dispositions

| Claim ID | Current support | Disposition | Record | What would move it |
|---|---|---|---|---|
| `asi-is-a-stack-not-a-model.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A state-machine proof plus a replayed handoff fixture; no broad ASI claim. |
| `the-efficient-asi-hypothesis.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/efficient_asi_no_change.json` | Public fixture with baseline, negative control, and repeated run record. |
| `system-boundaries-and-authority.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/system_boundaries_no_change.json` | Derived theorem or harness showing escalation blocked across handoff paths. |
| `failure-modes-of-ungoverned-intelligence.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Replayed red-team fixture routes residuals to claims/tests/proofs. |
| `dangerous-capability-domains-and-misuse-uplift.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Source-disjoint natural evaluations improve calibrated uplift or release decisions over competent simpler domain baselines without unacceptable information leakage or burden; no universal danger or safety claim. |
| `military-ai-autonomous-weapons-and-strategic-stability.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independently designed safe simulations preserve judgment and off-ramps and reduce bounded decision risk across multiple doctrine and adversary assumptions without operational weapon guidance or a universal policy claim. |
| `evidence-states-and-claim-discipline.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/evidence_states_no_change.json` | Appendix C/sibling ledger validates transitions without core-claim promotion. |
| `scalable-oversight-and-adversarial-ai-control.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A replayed matched direct-review, assisted-review, correlated-failure, and abstention workload with held-out outcome reference, baseline, costs, disagreement, residuals, permitted consumers, and accountable escalation; no local supervisor calibration, debate efficacy, weak-to-strong generalization, alignment, safety, execution-authority, or ASI claim. |
| `human-intent-as-a-formal-input.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Intent fixture rejects underspecified or authority-widening execution. |
| `human-factors-and-meaningful-control-in-oversight.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Representative preregistered human-subject trials beat strong interface and allocation baselines on joint detection, comprehension, correct intervention, useful throughput, workload, and residual harm without responsibility or authority laundering. |
| `human-ai-communication-persuasion-and-epistemic-security.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independently scored heterogeneous-audience work improves comprehension and calibration without unacceptable autonomy loss, disparate effect, manipulation, or correction failure; no general influence-safety claim. |
| `constitutional-alignment-substrate.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/constitutional_alignment_no_change.json` | Nontrivial theorem plus harness case showing protected predicates and high-impact human-control paths survive transition or block action. |
| `inner-alignment-mesa-optimization-and-learned-objective-integrity.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across multiple seeds and model families, a use-specific integrity process detects or preserves uncertainty about positive-controlled shortcuts and conditional policies better than behavioral-only and fine-tuning baselines under held-out shifts, independently reproduces causal and white-box findings, records capability damage and concealment, and never turns residual uncertainty into an alignment or safety certificate. |
| `moral-uncertainty-and-value-conflict.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/moral_uncertainty_no_change.json` | High-stakes unresolved conflict cannot become unconditional promotion, and proof or fixture shows redaction/fork still preserves audit and safety obligations. |
| `governed-objective-formation-value-learning-and-goal-integrity.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across matched small environments, the contract detects positive-controlled proxy failure and goal misgeneralization without claiming correct human values, moral truth, or stable alignment. |
| `institutions-international-coordination-and-public-legitimacy.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Adversarial cases improve conflict and remedy routing over checklist baselines without claiming legal compliance, public trust, democratic legitimacy, or geopolitical stability. |
| `societal-resilience-and-misuse-defense.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independent exercises and observed incidents improve containment, recovery, and equitable burden over competent response baselines without unacceptable civil-liberties or access cost; no general social-resilience claim. |
| `stable-capability-fields.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/stable_capability_fields_no_change.json` | Qualification fixture with rollback/residual path and no route widening. |
| `capability-replacement-and-rollback.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/capability_replacement_no_change.json` | Valid replacement transaction and invalid promotion fixture both replay. |
| `security-kernel-and-digital-scifs.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/security_kernel_no_change.json` | Receipt fixture proves handle-mediated use and rejects leak paths. |
| `adversarial-machine-learning-and-model-attack-surface.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Multiple attack implementations and adaptive controls reproduce on a second model family under bounded budgets; no frontier or production robustness claim. |
| `privacy-data-rights-and-information-flow-governance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across multiple seeds, a governed information lifecycle reduces purpose violations, cross-user leakage, extraction, membership advantage, and incomplete rights propagation relative to strong matched baselines without unacceptable utility or governance cost; any stronger privacy or rights claim reproduces independently within its exact threat, unit, mechanism, and jurisdictional nonclaim envelope. |
| `confidential-and-verifiable-ai-computation.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | At least one protected path improves a named distrust-boundary guarantee under matched useful work and independent verification without unacceptable leakage, silent downgrade, or lifecycle cost; no general security or privacy claim. |
| `model-weight-custody-and-hardware-roots-of-trust.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Next unrun campaign: public-safe mock key service and verifier with independently generated valid/invalid evidence, observed effects, stale/changed-policy/widened-scope/open-release/revocation/missing-lineage controls, baseline false acceptance/denial, latency, operator cost, and residuals; no real weights, keys, hardware, confidentiality, security, safety, readiness, authority, or deployment claim. |
| `open-weight-release-and-post-release-control.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independent derivative and propagation tests improve release calibration and safer-alternative selection without pretending downstream recall or universal enforcement; no high-risk release authorization follows. |
| `ai-supply-chain-integrity-and-lifecycle-provenance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Next unrun campaign: natural lifecycle work with independently generated rebuild/supplier evidence, false quarantine, alert fan-out, propagation cost, repair latency, availability impact, and unresolved residuals; no world-complete inventory, artifact integrity, supplier truth, data fitness, safety, readiness, authority, or deployment claim. |
| `recursive-self-improvement-boundaries.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/recursive_self_improvement_no_change.json` | A self-proposed real implementation change cannot widen authority or weaken protected invariants, and failed canaries roll back exact state while invalidating descendants under independent evaluation. |
| `open-ended-improvement-engines.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | The unrun campaign must demonstrate useful novelty and transfer while preserving evaluator scope, archive negatives, resource limits, stop authority, and independent admission; the present bridge does not. |
| `autonomous-replication-proliferation-and-containment.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Component and end-to-end positive controls work only inside synthetic containment; all descendants remain externally discoverable and terminable, with no real provider or deployment authority. |
| `intent-to-execution-contracts.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/intent_to_execution_contracts_no_change.json` | A broader deployed or externally reviewable intent-to-effect comparison preserves authority, observed effects, receipt/path reconciliation, residuals, useful throughput, and rollback under natural workloads. |
| `perception-sensor-fusion-and-observation-trust.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | On representative tasks and at least two sensor/model families, the governed route improves calibration and task-relative useful outcomes over strong single-channel, naive-fusion, and learned-fusion baselines under preregistered faults without worse unsafe action, latency, or sensing cost; joint-channel attacks, shared-cause controls, and independent reproduction preserve explicit residuals and bounded authority. |
| `planning-as-a-control-layer.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/planning_control_no_change.json` | Public-safe DAG replay validates, invalid DAG fails, and route selection passes only when adequacy and cost constraints both hold without displaced verification or cleanup. |
| `governed-world-models-and-reality-grounding.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | On partially observed natural tasks, governed world-model routes outperform strong reactive, model-free, and single-model baselines on useful outcomes and calibration under shift without worse unsafe action, latency, or governance cost, then reproduce and transfer. |
| `cognitive-compilation-and-semantic-ir.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | IR translation preserves required fields and rejects lossy lowering. |
| `virtual-context-abi.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/virtual_context_abi_no_change.json` | Admission fixture rejects stale, conflicting, mode-confused, stale-certificate, missing-certificate, or authority-escalating packets and records residual. |
| `durable-semantic-memory-and-knowledge-lattices.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Hybrid memory improves bounded update-heavy tasks while preserving provenance, contradiction calibration, rights closure, and recovery; no truth, complete-memory, or erasure claim. |
| `context-transactions-snapshots-mounts-and-taint.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Transaction replay proves conflict/deletion gates fire. |
| `verification-bandwidth-and-context-adequacy.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Adequacy record rejects context that exceeds verifier bandwidth. |
| `claim-ledgers-and-belief-revision.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/claim_ledgers_no_change.json` | Contradictory evidence changes ledger state without silent promotion. |
| `spinoza-verification-and-proof-carrying-claims.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/spinoza_no_change.json` | Invalid proof artifact, missing tribunal review, captured reviewer path, or evidence-thin verdict blocks claim tier escalation or accepted review. |
| `labor-os-and-typed-jobs.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Job cannot dispatch without requirements, permissions, and receipt path. |
| `ai-work-surfaces-agent-harnesses-and-organizational-absorption.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A bounded transition may advance only when exact identity, authority, effect, review, accountability, rollback, and residual obligations are preserved; task success cannot establish role competence, organizational legitimacy, harness superiority, safety, or general transfer. |
| `human-ai-organizations-delegation-and-accountability.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Preregistered representative workflows with real participants and strong manual, automation-first, and nominal-human-review baselines improve joint task outcomes without worse error, rubber-stamping, workload, deskilling, inequitable burden, inaccessible appeal, or accountability mismatch; effects persist longitudinally and reproduce independently without implying legitimacy beyond the studied setting. |
| `human-ai-symbiosis-neurotechnology-and-cognitive-sovereignty.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Durable complementarity beats the strongest component without unacceptable deskilling, dependence, mental-data misuse, inequity, or exit loss and reproduces independently; no clinical, stimulation, enhancement, or universal synergy claim. |
| `ai-deployment-transition-distribution-and-human-agency.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Useful gains persist without unacceptable subgroup harm, deskilling, dependency, access loss, or agency loss; no economy-wide welfare or ASI-transition forecast. |
| `artifact-graphs-audit-logs-and-replay.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A deployed or externally reviewable artifact service reconstructs real work and revocation effects without erasing verifier limits, failed rollback, or residuals. |
| `runtime-adapters-tool-permissions-and-human-approval.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/runtime_adapters_no_change.json` | High-impact adapter call fails without current approval and receipt. |
| `embodied-agency-real-time-control-and-physical-safety.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across representative plants and preregistered sensing, timing, saturation, communication, power, payload, human-entry, and model-mismatch faults, the governed controller reduces safety-envelope violations without unacceptable task, latency, nuisance-stop, or operator cost; fallback is demonstrated reachable under deadline, effects are independently observed, irreversible residuals remain explicit, and transfer reproduces without a universal safety claim. |
| `inter-stack-protocols-identity-and-economic-exchange.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Measure false dispatch, false denial, stale acceptance, dispute recovery, latency, disclosure, operator effort, and residual obligations; no peer trust, task truth, effect safety, payment, settlement, privacy, authorization, or deployment claim. |
| `multi-agent-dynamics-collective-intelligence-and-systemic-risk.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across multiple seeds, model families, population sizes, games, and topologies, preregistered population interventions detect positive-controlled collusion, cascade, and common-mode risk and improve beneficial cooperation over strong pairwise and aggregate-reward baselines without hiding externalities, concentration, exclusion, or human-agency loss; results reproduce independently and remain bounded to the tested populations rather than forecasting society. |
| `procedural-memory-and-cognitive-loop-closure.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Memory update fixture preserves failed attempts and rollback path. |
| `routing-heads-and-specialist-cores.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Learned, rule, specialist, generalist, fallback, and abstention routes separate under ambiguous held-out work with matched cost, calibration, interference, residual, and authority records. |
| `replaceable-cognitive-substrates-beyond-transformer-monoculture.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A bounded heterogeneous-kernel substitution and mixed-kernel route reproduce and transfer without authority widening, exact-state loss, hidden assistance, unsafe release, or dominated lifecycle cost; otherwise narrow or refute the relevant atoms. |
| `relational-dimension-compilation-and-polyadic-cognition.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | RDC improves natural and synthetic role-sensitive tasks over competent lower-order rescues under matched compute and memory, preserves calibration and lifecycle integrity, and reproduces independently; no irreducibility, universal arity, general-intelligence, or SOTA claim. |
| `governed-model-training-distributed-optimization-and-scaling.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Across multiple seeds and representative model scales, a governed run preserves declared semantics and state under fault and resume, selects without qualification leakage, beats strong distributed-training and checkpoint baselines on joint time-to-quality, recovery correctness, useful throughput, and governance cost, and reproduces independently without granting release authority. |
| `learning-compute-topology-and-adaptive-process-architecture.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independent encoders agree within a frozen equivalence tolerance; the semantic compiler predicts protected trace and cost differences; topology metrics add held-out predictive value beyond model, task, optimizer, and hardware variables; and a governed adaptive topology improves retained useful learning over competent matched fixed baselines without exceeding preregistered unsafe-release, rollback, latency, storage, and governance-cost ceilings across reproduction and transfer. |
| `learning-theory-generalization-and-scaling-science.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Frozen curve families and explanatory lenses predict held-out scale/task points with calibrated intervals and survive metric-artifact and regime-break tests; no universal scaling law. |
| `readiness-gates-residual-escrow-and-quarantine.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/readiness_residual_no_change.json` | Promotion blocked on expired evidence or uncustodied residuals. |
| `personal-compute-hives-and-federated-edge-intelligence.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Lease fixture proves bounded compute delegation and revocation. |
| `compact-generative-systems-and-residual-honesty.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Fixture records what is compressed, represented, lost, checked, repaired, residualized, superseded, quarantined, or rejected before any compactness or semantic-representation claim promotes. |
| `fast-generation-architectures.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/fast_generation_no_change.json` | Faster mode cannot promote on latency-only metrics; stronger support needs a clean replay or public task bundle with quality/residual review. |
| `governed-deliberation-and-test-time-scaling.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A language-model workload shows when verifier-gated stopping helps or harms relative to fixed and no deliberation under matched budgets and independently assessed verification. |
| `rankfold-neuralfold-and-artifact-compression.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Compression ratio and quality/residual metrics are recorded separately. |
| `resource-economics-and-token-budgets.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/resource_economics_no_change.json` | Production or externally reviewable workloads jointly report useful output, unsafe release, verification cost, latency, review burden, residuals, and displaced work. |
| `physical-compute-infrastructure-energy-and-environmental-constraints.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Local workloads report quality-adjusted useful work and physical costs across failures and placements; no frontier-facility, grid, environmental, or community transfer claim. |
| `mathematical-and-search-substrates.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Trace separates search legality from performance or intelligence claims. |
| `circle-calculus-and-proof-carrying-ai-contracts.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | ASI validator accepts valid Circle receipt and rejects malformed ones. |
| `coil-attention-cyclic-memory-and-recurrence-contracts.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Fixture proves structural recurrence boundary, not quality. |
| `coilra-multicoil-rope-and-cyclic-mixers.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Receipt validates distinguishability boundary and rejects performance overclaim. |
| `executable-specifications-and-lean-proof-envelope.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/proof_envelope_no_change.json` | Proof matrix distinguishes finite-record proof, derived invariant, and executable behavior. |
| `benchmark-ratchets-and-anti-goodhart-evidence.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/benchmark_ratchets_no_change.json` | Ratchet fixture blocks promotion on contaminated or saturated benchmark. |
| `white-box-evidence-interpretability-and-activation-governance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Two independently implemented method families on held-out behaviors survive negative controls, causal interventions, checkpoint and transformation tests, predict behavioral change, report unexplained residuals and all failures, and reproduce on a second model family without granting authority. |
| `capability-thresholds-and-deployment-commitments.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Measure false clearance/block, stale acceptance, exception misuse, reassessment and safeguard latency, operator effort, and residual age; no local capability, threshold adequacy, safeguard efficacy, readiness, safety, or deployment claim. |
| `adversarial-evaluation-sandbagging-and-training-time-deception.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Measure task outcome, context discrepancy, detector error, unsupported intent inference, unsafe promotion, quarantine, cost, and throughput; no local deception, sandbagging resistance, capability, alignment, or safety claim. |
| `safety-cases-and-structured-assurance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A replayed scoped case-compilation workload with support, stale dependency, unresolved-defeater, missing-acceptance, missing-residual, and affected-release controls; no local threat model, safety case, safety, readiness, authority, or deployment claim. |
| `content-authenticity-watermarking-and-synthetic-media-integrity.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Independent cross-platform tests improve provenance continuity, calibrated detection, comprehension, and remedy under realistic edits without unacceptable privacy, accessibility, or false-attribution harm; no universal authenticity or truth oracle claim. |
| `governed-operations-incident-command-and-graceful-degradation.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Adversarial compound and detector-degrading game days detect partial rollback across model, optimizer, scheduler, RNG, cache, memory, data, credentials, replicas, descendants, and external effects; recovery beats strong SRE baselines on bounded harm and useful throughput, reproduces independently, and does not retain widened authority. |
| `adjudicated-persistence-and-the-adaptive-commit-boundary.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A prospectively frozen LocusBench campaign beats outcome-only and fixed-locus baselines on held-out placement and recovery without unacceptable useful-throughput, latency, compute, human-burden, carrying-cost, guard-bypass, stale-lease, or descendant-escape results; finite Lean checks establish only encoded transaction properties, and no safety or universal placement claim follows. |
| `policy-optimization-and-learning-from-feedback.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A feedback-driven policy update improves held-out utility without reward laundering or hidden forgetting and survives independent evaluation, canary, rollback, and residual review. |
| `data-engines-continual-learning-and-unlearning.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | A real governed data pipeline traces deletion and retained utility through every affected descendant and storage surface with contamination, privacy, rollback, and independent verification. |
| `scientific-discovery-and-experimental-governance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Injected null and known effects are distinguished with complete attempts and independent replication; no general autonomous-science or cross-domain discovery claim. |
| `artifact-steward-agents-and-living-project-governance.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Steward action fixture validates governance, treasury, release, and sunset boundaries. |
| `integrated-reference-architecture.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Trace crosses intent, plan, authority, evidence, and artifact replay without hidden promotion. |
| `project-theseus-as-report-first-implementation-reference.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | First Theseus report validates and records non-claims. |
| `prototype-roadmap.core` | `argument` | `retained_at_argument_via_accepted_no_promotion_decision` | `claim_decisions/v1_0_core_claim_no_promotion.json` | Each prototype lane has owner, fixture, command, support boundary, and blocker state. |
| `living-book-methodology.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/living_book_methodology_no_change.json` | Registry runner remains replayable and non-core evidence is visible. |
| `open-research-agenda-and-bibliography-plan.core` | `argument` | `retained_at_argument_via_accepted_no_change_transition` | `evidence_transitions/v1_0_pilot/research_agenda_no_change.json` | Bibliography agenda ties each open question to source notes, proof targets, or experiments. |

## Boundary

- This ledger does not promote any chapter core claim above its manifest support state.
- Non-core transitions remain visible only as relevant side-lane references; they do not count as chapter-core support.
- Future support-state movement still requires a separate accepted evidence-transition record.