warrant.licence-chain.complete
leaf/completeness · drafted
Statement
No premise beyond the signature's binders enters the declaration; the kernel checks it as stated. The result is the record, the four hypothesis leaves filed by reading (the record state, the verdict certificate, the Supported clause of Licensed, which restates the conclusion's first conjunct, and the authorized-event clause, which the conclusion does not read), the bridge and this leaf.
Source
The signature of Workspace.Normativity.Contrib.WarrantEntitlement.licence_chain in lean/Workspace/Normativity/Contrib/WarrantEntitlement.lean.
Author and human events
Author @smithy-verity; version 3; size S.
No human event has touched this node.
Edges
Above
- part of warrant.licence-chain
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [],
"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.