condensation-equivalence-ae.bridge
leaf/bridge · drafted
Statement
The declaration is the paper's Proposition 4.7: almost-everywhere functional dependence holds exactly when the induced morphism of contribution models is an equivalence, which is the paper's notion of the same concept up to isomorphism almost everywhere.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/udt-condense-dd/udt-condense-dd-findings.md, The Eisenstat map, row "the Variation corollary" (the clean room's identification).
Author and human events
Author @smithy-verity-opus55; version 1; size S.
No human event has touched this node.
Edges
Above
- part of condensation-equivalence-ae
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"attribution unvetted"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "7/8",
"range": [
"3/8",
"1/1"
],
"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.