pic-D-asymptotic-introspection
leaf/picture · drafted
Statement
The expert is a logical inductor whose knowledge of its own estimates is only asymptotic, so Step 1 of the written proof, which asserts Γ ⊢ E*(D) = 0, is unavailable, and the theorem's conclusion rests on transferring the expert's asymptotic bounds E^A_n(±D_n) ≳_n 0 to the novice.
Source
projects/deference/note-dump-2026-08-11/wiki/total-trust-implies-mart.md, What the theorem costs, honestly, H2: "Step 1 uses provable introspection. If the expert's self-knowledge is only asymptotic (an LI stage knowing its own prices approximately), the weight is not provably 1 but is an observable, eventually-decided quantity converging to 1"; "This bookkeeping is routine but has not been written out."
Notes
The picture the roots need. Its conditional is where the attack on the proof lands and where the repair node, once traced, argues it back up: the response to this picture is an estimate event on its conditional, citing tt-mart-repair-via-bounds-transfer, not a new row.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of tt-implies-mart-gap-bets
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.