Alignment Workspace

inter-inductor-total-trust

frame · drafted

Question

Which pairs of a novice inductor and a distinct inductor expert satisfy Total Trust, and on what minimal conditions?

Owners: @abram (GitHub abramdemski)

Path: the-program › corrigibility-landscape › deference-and-trust › inter-inductor-total-trust

Roots (the frame's goals)

plan

Total Trust from a novice inductor toward a distinct inductor expert is characterized by minimal sufficient conditions.

shared-claim

future-self-maximal-expert leaf/question drafted

Every expert the novice can observe is Blackwell-dominated by the novice's own day-f(n) self.

trust-composes leaf/step drafted

A novice's Total Trust in its own future self, composed with the expert's calibration to that future self, yields deference to the expert as an inference.

theorem-b-robust-self-trust leaf/step drafted

For every efficiently describable question sequence, rational t and δ > 0, the human's soft total trust in a fallible forecaster of its own future self falls short by at most (1 + t) times the human's expectation of min(1, |a_n − Y_n|/δ), so composition closes under per-day accuracy.

Statement

Total Trust from a novice inductor toward a distinct inductor expert is characterized by minimal sufficient conditions, the future self's status as the maximal expert is settled, and the collapse's dependence on the expert being the future self is settled.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/def-squeeze-diamond/def-squeeze-diamond-report.md; projects/deference/faf-cleanroom-2026-10-02/packages/tt-finite-frames/tt-finite-frames-report.md.

Notes

Deference to experts other than the future self, which every result of the line presupposes when it is applied to a human and an AI.

Author and human events

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

No human event has touched this node.

Edges

Above

Children

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": null,
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "1060177859/1280000000",
   "mid": "1279744121/1280000000"
  },
  "value": {
   "hi": "1/1",
   "lo": "-1/1",
   "mid": "1279744121/1280000000"
  },
  "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