faf-pin-bump-and-public-port
leaf/task · drafted
Statement
The public repository's FAF pin advances to one carrying the clean room's dependencies, and a first batch of deference results is in lean/Workspace/Deference/Contrib/ with registry entries.
Source
projects/deference/faf-cleanroom-2026-10-02/README.md: moving selected results into lean/ needs a FAF pin bump there and is future work.
Notes
Id per the activity sweep's map, which points this work here. The evidence parent of registering the collapse's claims.
Author and human events
Author @smithy-verity-opus55; version 1; size L.
No human event has touched this node.
Edges
Above
- part of public-port-of-deference-results
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": "29/40",
"range": [
"9/40",
"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.