super-turing-guides-engineering
or · drafted
Statement
A formal theory of trust developed at the limit-computable level guides AI safety engineering work.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/summer-research-plan-2026--research-ideas-may-2026.md: "The impact of this project would be to refine our picture of computationally unbounded intelligence, with the hope that doing so will also help our understanding of bounded intelligence, and AI safety."
Notes
Member of the level family (one shared claim per level, so the levels compare on the same claim). Two routes: analogies that carry to bounded systems (conditioned on the representability crux) and the ROSI = ROLI bridge. AI reading of the routes.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of stance-and-level
- root (shared-claim) of stance-and-level
Children
- part: st-guides-via-analogy leaf/step
- part: st-guides-via-bridge leaf/step
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": "307673/320000",
"lo": "0/1",
"mid": "112173/320000"
},
"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.