ro-collapse-repair
and · drafted
Statement
Every convex-graph correspondence of the kind the reflective-oracle notes consider has a collapse fixed point, a point fixed after barycentric collapse, with a set-valued witness, by finite-dimensional Kakutani.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/fix-oracles-corresp/fix-oracles-corresp-report.md.
projects/deference/faf-cleanroom-2026-10-02/DIGEST.md.
Notes
The finite object ro-correlated-equilibrium-link conditions on.
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration Cleanroom.Fixpoint.FixOraclesCorresp.exists_collapse_fixed_point (record ro-collapse-repair.record)
The collapse fixed point is the repair of the notes' Dirac fixed point that the package proposes, on the same carrier.
Hypotheses, read:
Completeness (ro-collapse-repair.complete): No premise beyond the kernel-checked declaration and the reading its bridge states is needed for the claim of ro-collapse-repair to hold of the finite model.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Children
- part: ro-collapse-repair.record leaf/record
- part: ro-collapse-repair.bridge leaf/bridge
- part: ro-collapse-repair.complete leaf/completeness
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"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.