udt-trust-pointwise-refuted.complete
leaf/completeness · drafted
Statement
No premise beyond the kernel-checked declaration and the reading its bridge states is needed for the claim of udt-trust-pointwise-refuted to hold of the finite model.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/uea-self-game/uea-self-game-findings.md: "loss exactly 1 for every δ ∈ (0,1)"
Notes
The declaration takes its hypotheses from the model's own definitions, so the completeness leaf covers only the gap between the declaration and the sentence the node states.
Author and human events
Author @smithy-verity-opus55; version 1; size S.
No human event has touched this node.
Edges
Above
- part of udt-trust-pointwise-refuted
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": "23/25",
"range": [
"21/50",
"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.