Appendix D: Test Vector Suite
D.1 BCE Test Vectors
{
"input": {
"account": "So1ana...32bytes",
"balance": 1000000000,
"mint": "Token...32bytes",
"slot": 285000000
},
"expected_canonicalForm": "[hex bytes of BCE encoding]",
"expected_evidenceId": "[Keccak-256 hash]"
}
Full test vectors will be published alongside the reference implementation.
D.2 Claim Validation Test Vectors
| Input |
Expected Result |
Reason |
{ predicate: "supply_concentration", subject.type: TOKEN } |
PASS |
Valid predicate-subject combination |
{ predicate: "supply_concentration", subject.type: TX } |
REJECT |
Incompatible subject type |
{ context.blockFrom > context.blockTo } |
REJECT |
Empty block range |
{ predicate: "nonexistent_predicate" } |
REJECT |
Unregistered predicate |
D.3 Qualification Test Vectors
| Scenario |
Expected Qualification |
| All deterministic, all conclusive |
VERIFIED |
| One inferential, confidence 85 |
INFERRED |
| Evidence found, predicate not evaluable |
OBSERVED |
| Multiple hypotheses, all below threshold |
INCONCLUSIVE |
| No evidence retrievable |
UNQUALIFIED |