category: empty

family: any

why_a_pass_is_unearned: an object with no members: there is no property here to check


why_a_pass_is_unearned: zero records; any 'all records satisfy P' is vacuously true


why_a_pass_is_unearned: zero bytes; a verifier that reports success has verified nothing


why_a_pass_is_unearned: no records, but not zero bytes — a naive length check passes this


family: graph

why_a_pass_is_unearned: no nodes: 'no cycle exists' is true and says nothing about your system


family: certificate

why_a_pass_is_unearned: nothing was bound, so nothing was compared


category: truncated

family: chain

content:
{  "decision": "admit",  "hash": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "decision": "admit",  "hash": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "prev": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "seq": 1}
{  "decision": "admit",  "hash": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "prev": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "seq": 2}
{  "decision": "admit",  "hash": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "prev": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "seq": 3}

why_a_pass_is_unearned: a prefix of a hash chain verifies PERFECTLY; only an anchor reveals the missing tail


content:
{  "decision": "admit",  "hash": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "decision": "admit",  "hash": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "prev": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "seq": 1}
{  "decision": "admit",  "hash": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "prev": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "seq": 2}
{  "decision": "admit",  "hash": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "prev": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "seq": 3}
{  "decision": "admit",  "hash": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "prev": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "seq": 4}
{  "decision": "admit",  "hash": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",  "prev": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "seq": 5}
{  "decision": "admit",  "hash": "764a9493aaff0c99ee17ea97d6c6e2b39982137aeea3b89df435255e1cb39771",  "prev": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",  "seq": 6}
{
  "anchor": {
    "sth": "1f037c91b91f

why_a_pass_is_unearned: the final record is cut mid-JSON: a line-wise reader may simply drop it


content:
{
  "bound": 0.01,
  "records"

why_a_pass_is_unearned: invalid JSON that begins validly; a streaming parser can emit a partial result


content:
{  "decision": "admit",  "hash": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "decision": "admit",  "hash": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "prev": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "seq": 1}
{  "decision": "admit",  "hash": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "prev": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "seq": 2}
{  "decision": "admit",  "hash": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "prev": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "seq": 3}
{  "decision": "admit",  "hash": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "prev": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "seq": 4}
{  "decision": "admit",  "hash": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",  "prev": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "seq": 5}

why_a_pass_is_unearned: internally consistent and tied to nothing; self-consistency is not authenticity


verdict: PASS

why_a_pass_is_unearned: a verdict with no signature and no pinned key: nothing attests to it


verified_against: index

why_a_pass_is_unearned: the artifact is checked against a value it itself supplies


witnessed_by: example-log

decision: admit

why_a_pass_is_unearned: one record with a valid genesis pointer. A chain of length one has no LINK to check, but it is a well-formed chain and accepting it is defensible.


why_a_pass_is_unearned: one node waiting on nothing. A verifier MAY pass this: a system where nobody waits genuinely cannot wedge. Listed so over-refusal is visible, not scored.


category: degenerate

why_a_pass_is_unearned: a bound of 1.0 excludes nothing; passing under it is not evidence


why_a_pass_is_unearned: 0 failures in 0 trials is a rate of nothing, not a rate of zero


why_a_pass_is_unearned: every case was skipped; a green result here means nobody ran anything


category: malformed

content: this is not json at all

why_a_pass_is_unearned: the correct response is a diagnosis naming the expected shape, not a verdict


content: "a bare string"

why_a_pass_is_unearned: a string where an object was required


why_a_pass_is_unearned: NaN compares false against every threshold, so a naive `bound < t` check rejects it, but a naive `not (bound > t)` check ACCEPTS it


why_a_pass_is_unearned: a negative count is not a count


why_a_pass_is_unearned: a byte-order mark ahead of the first record breaks strict parsers silently


why_a_pass_is_unearned: a schema version from the future: 'I do not recognise this' is the honest answer


why_a_pass_is_unearned: an unrecognised verdict string must not be coerced to the nearest known one


why_a_pass_is_unearned: a cyclic graph handed to something expecting a DAG; infinite loop or wrong answer


content:
{  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 1}
{  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 1}
{  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 2}

why_a_pass_is_unearned: a repeated sequence number: two records claim the same position


why_a_pass_is_unearned: identifiers containing a right-to-left override RENDER deceptively, but the graph is genuinely acyclic. Passing it is correct; the defect is in display, not the verdict, so scoring it would be a false accusation.


content:
{  "decision": "admit",  "hash": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "decision": "admit",  "hash": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "prev": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "seq": 1}
{  "decision": "admit",  "hash": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "prev": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "seq": 2}
{  "decision": "admit",  "hash": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "prev": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "seq": 3}
{  "decision": "admit",  "hash": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "prev": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "seq": 4}
{  "anchor": {    "sth": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",    "witnessed_by": "example-log"  },  "decision": "admit",  "hash": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",  "prev": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "seq": 5}

why_a_pass_is_unearned: a well-formed anchored chain: a working verifier SHOULD accept this


why_a_pass_is_unearned: a genuine acyclic wait-for graph with three nodes and two edges


scope: the enumerated domain

signature: deadbeef

why_a_pass_is_unearned: a complete certificate with a finite bound, a scope and a signature


content:
{  "decision": "admit",  "hash": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "prev": "0000000000000000000000000000000000000000000000000000000000000000",  "seq": 0}
{  "decision": "admit",  "hash": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "prev": "9d820cafe552ad3e28728cac1927198be0e9267a584d6a7db076d73bc9c884ac",  "seq": 1}
{  "decision": "admit",  "hash": "7656ce1424618d941e97920586146d81e9a18ad8dc8a56812bada4fb009ed38c",  "prev": "ed64379c2eb4ee2f809fd905476548bff93724da63d851745029341984d9693a",  "seq": 2}
{  "decision": "admit",  "hash": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "prev": "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",  "seq": 3}
{  "decision": "admit",  "hash": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "prev": "3aef950a80eb30260a6141f909c0688b97dab7d07ee32ab841f457518eab9728",  "seq": 4}
{  "anchor": {    "sth": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",    "witnessed_by": "example-log"  },  "decision": "admit",  "hash": "b53555f9c57db3cbc05eed932a2271d92ff68788b9cbec130b8e158c6650b0e7",  "prev": "7d8d27e038bfab875459975acc40aadb903416944239802668e6575ca34c31f4",  "seq": 5}

why_a_pass_is_unearned: record 3's back-pointer is wrong: a working verifier SHOULD reject this


why_a_pass_is_unearned: a two-cycle: a working deadlock checker SHOULD reject this