oq-manipulation-theorem

leaf/question · drafted

Statement

The manipulation theorem is assembled from its four ingredients: a second calibration condition separating calibration-to-self from calibration-to-truth, the evidence/preemption distinction, the transfer-of-trust attack, and non-recoverability.

Source

projects/deference/note-dump-2026-08-11/notes/deference-in-logical-induction-v6.md, section 8 ("The manipulation theorem", its four ingredients "a sketch awaiting assembly"); the ingredients originate in projects/deference/note-dump-2026-08-11/anson-notes/trust-between-inductors-summary-v2.md, line 162; ingredient (d) is the finite theorem trace-nonrecoverability; ingredient (c) has a public kernel claim, kernel-no-laundering.

Notes

Conditioned on the finite non-recoverability theorem as an implication: it is one of the four ingredients. The endpoint-preservation note claims the evidence/preemption distinction "falls out of the definition" (section 2.2).

Author and human events

Author @smithy-verity; version 1; size L.

No human event has touched this node.

Edges

Above

part of formalism-open-questions-0-3
given of trace-nonrecoverability
root (shared-claim) of formalism-open-questions-0-3
given trace-nonrecoverability (as valid)

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "given trace-nonrecoverability@valid"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "1/2",
  "range": [
   "0/1",
   "1/1"
  ],
  "width": "1/1"
 },
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "567/160000",
   "mid": "75767/160000"
  },
  "value": null,
  "cost": "inf",
  "margin": "no established leaves"
 }
}

Say something about it

Each verb opens a prefilled issue; a round files what lands as the ledger event it is.

comment · challenge · estimate · want