inferability-positivity.bridge
leaf/bridge · drafted
Statement
The declarations state that the legitimate score is exactly inferable iff the atomwise products match, and some weighting is exact iff absolute continuity holds, so inferability and positivity are one condition.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/legit-neg-static/legit-neg-static-report.md, Phi_exact_iff and exists_Phi_exact_iff.
Author and human events
Author @smithy-verity; version 2; size S.
No human event has touched this node.
Edges
Above
- part of inferability-positivity
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": "167/200",
"range": [
"67/200",
"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.