condensation-correspondence-theorem.improvable
or · drafted
Statement
Eisenstat's correspondence theorem for condensation can be improved until it reflects concepts shared between reasoning agents and kept across changes of theory well.
Source
Ruling 35 (the form). projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 4: "Spend real time analyzing the notion of function, and the notion of isomorphism, involved" and "a dynamics of theories". Demski's LessWrong posts "Condensation" (2025-11-09) and "Condensation & Relevance" (2026-01-23) for the algorithmic, variable-cost and storage-retrieval directions.
Notes
The improvement claim on condensation. Its routes are directions from the two posts and the roadmap, each conditioned on the theorem's validity as an implication; the theorem's being kernel-checked is evidence for improvability, not a condition of it.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of stage4-condensation-dynamics
- root (shared-claim) of stage4-condensation-dynamics
Children
- part: route-condensation-relational-morphisms leaf/route
- part: route-condensation-givens-morphism leaf/route
- part: route-condensation-dynamic leaf/route
- part: route-condensation-algorithmic leaf/route
- part: route-condensation-storage-retrieval leaf/route
- part: route-condensation-computational-cost leaf/route
- part: route-condensation-support-sensitive leaf/route
- part: condensation-correspondence-theorem.residual leaf/route
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"improvement claim on condensation-correspondence-theorem (reality: concepts shared between reasoning agents and kept across changes of theory)"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "6553599937/6553600000",
"lo": "0/1",
"mid": "31167043312276117/32768000000000000"
},
"value": null,
"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.