ro-composable-category
leaf/question · drafted
Statement
A class of multivalued maps with guaranteed fixed points is closed under composition and contains the reflective-oracle fixed-point operator.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/internal-fixpoint/reflective-oracles-project/docs/discord-notes-2026-01-28.md: "Kakutani maps don't compose"
projects/deference/faf-cleanroom-2026-10-02/packages/fix-oracles-corresp/fix-oracles-corresp-report.md.
Notes
Candidates in the notes: total convex-graph relations, Vietoris fractions, limits of graphs of continuous functions. The clean room's collapse repair gives a set-valued fixed-point object on the finite core, which is where the action starts.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of reflective-oracles-correlated
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "19/40",
"range": [
"0/1",
"39/40"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.