route-support-small-set
leaf/route · drafted
Statement
The syntactic small set is replaced by the paper's support-based small set, removing the vacuity of the linked self-trust instances at FAF's logical induction algorithm.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/bli-linkage/bli-linkage-report.md, the round-4 flag that every K3 instance of the mandate's shape is vacuous for the record package and that the vacuity may be an artifact of the syntactic small set.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of bli-picture-improvable
- given of computational-updatelessness-direct
- given computational-updatelessness-direct
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given computational-updatelessness-direct"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "11/40",
"range": [
"0/1",
"31/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.