tt-mart-repair-via-bounds-transfer

leaf/step · drafted

Statement

With the expert's own linearity of expectation and asymptotic introspection, E^A_n(D_n) → 0 and so E^A_n(±D_n) ≳_n 0; Lemma 1 of the Total Trust implies Value page applied twice at threshold 0 transfers both bounds to the novice, giving E^H_n(D_n) ≈_n 0, so the gap-bet theorem's conclusion holds for an inductor expert without provable introspection and without the diagonalization step.

Source

projects/deference/note-dump-2026-08-11/wiki/total-trust-implies-mart.md, pending-rewrite note: "The true-setting replacement is short and already available: the expert's own loe plus asymptotic introspection give E^A_n(D_n) → 0, so E^A_n(±D_n) ≳_n 0, and Lemma 1 of [total-trust-implies-value] applied twice at threshold 0 transfers both bounds to the novice, giving E^H_n(D_n) ≈_n 0."

Notes

A shared claim of the bounded-agent programme: the literal claim that the asymptotic-introspection picture of the gap-bet theorem rests on, and that picture's evidence parent. Its own evidence parent is the centered-bet squeeze, the same mechanism on centered bets.

The clean room kernel-checked this shape (tower_instance_of_totalTrust_gapBets and towerValued_of_softTotalTrust_gapBets in def-lattice-arrows; the self-expert existence clauses in def-squeeze-diamond); the wiki page's own rewrite into the true-setting proof is the action on this node. Lemma 1 is "PROVED modulo one named gap" on its page; that gap is not a node here.

Author and human events

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

No human event has touched this node.

Edges

Above

part of deference-toward-bounded-agents
given of centered-bet-squeeze
root (shared-claim) of deference-toward-bounded-agents
given centered-bet-squeeze

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "given centered-bet-squeeze"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "4/5",
  "range": [
   "3/10",
   "1/1"
  ],
  "width": "1/1"
 },
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "871/4000",
   "mid": "3251/4000"
  },
  "value": null,
  "cost": "33/1",
  "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