sincerity.rows-keep-verdicts-counted.h-fixture
leaf/hypothesis · drafted
Statement
The landed consultation model's counted rows (1, 6, 7, 9, 12, 14 in its second round, 17, 18 and 20), lifted to the sincere model in which the honest agent recommends what it believes, at the initial state and the admit states.
Source
projects/deference/CLAIMS.md, entry sincerity.rows-keep-verdicts-counted (class lean-proved, status active, origin round 2026-10-01-thin-legitimacy-and-effective-authority; answers item 107). The signature in lean/Workspace/Deference/Contrib/Sincerity.lean, read by the site-vertical-slice round (projects/enabling/rounds/2026-10-24-site-vertical-slice); projects/deference/rounds/2026-10-01-thin-legitimacy-and-effective-authority/REPORT.md, Parts B and C.
Notes
The fixture: the landed consultation model's rows (the Rows of the gate-is-legitimacy model) lifted to the sincere model, with the initial state and the admit states, all finite and decided by decide. Definitional: the theorem has no binders; its hypothesis is the fixture it is decided on, and it is its own inhabitant.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"no belief"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.