factor-unbounded-then-relate
and · drafted
Statement
Solving the embedded-agency and trust questions for unbounded computation first, and then relating that solution to bounded computation by an approximation notion, yields a theory of trust that guides AI safety engineering work.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/planning-to-write-about-coles-theorem.md, notes on Cole Wyeth's published theorem: "The new plan is to factor the problem into solving the case for unbounded computation, and then appropriately relating that solution to bounded computation", where the unbounded case "specifically means something like limit-computable".
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/summer-research-plan-2026--research-ideas-may-2026.md: "It is important, in research, to focus on the simplest case where it is possible to study something you don't yet understand."
Notes
The three conjuncts are the plan's own two steps (an unbounded theory; its relation to bounded computation) and the route by which the relation reaches engineering, which runs through the logical-induction level: the step factor-reaches-engineering conditions on li-guides-engineering. The decomposition is the filing session's reading of the plan. The rival methodology takes bounded rationality as the primary object of study, with the unbounded case as what it approximates; the want want-methodology-note asks for a note weighing the two.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of level-super-turing
- root (plan) of level-super-turing
Children
- part: st-unbounded-theory-obtained leaf/step
- part: rosi-roli-bridge leaf/question
- part: factor-reaches-engineering leaf/step
- part: factor-unbounded-then-relate.complete leaf/completeness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"interval not a bound (negative evidential edge)"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "12694464289617/16384000000000",
"lo": "0/1",
"mid": "14191927039387153076762972814069624229/343597383680000000000000000000000000000"
},
"value": {
"hi": "1/1",
"lo": "-1/1",
"mid": "14191927039387153076762972814069624229/343597383680000000000000000000000000000"
},
"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.