li-compatible-abstraction-theory
or · drafted
Statement
A theory of abstraction exists whose abstracted object is a logically uncertain belief state, carried by a latent over a market's price sequence, by a sub-language with projected prices, or by a coarser trader class.
Source
projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 5 ("within a theory of abstraction compatible with logical induction"). projects/deference/faf-cleanroom-2026-10-02/sources/udt-representation-theorem/superconditioning-mismatched-ontologies.md, §15 item 9 (logical uncertainty in the world-model).
Notes
A mid-level plan of Stage 5, an or over the three candidate carriers. The claim that condensation ignores computational cost (condensation-ignores-computation) is the given parent of the price-latent carrier; the generalized-criterion question and the superconditioning question are given parents of the other two.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of stage5-li-representation-theorem
- root (plan) of stage5-li-representation-theorem
Children
- part: li-abstraction-price-latent leaf/question
- part: li-abstraction-sublanguage-projection leaf/question
- part: li-abstraction-coarser-traders leaf/question
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": "102379/102400",
"lo": "0/1",
"mid": "3868818809/5120000000"
},
"value": {
"hi": "1/1",
"lo": "-1/1",
"mid": "3868818809/5120000000"
},
"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.