Appendix A: Worked Claim Examples with Evaluation Traces
A.1 Example: Supply Concentration (Deterministic)
Claim:
{
"statement": "The top 10 holders of token XYZ control more than 50% of circulating supply within the first 24 hours of launch.",
"predicate": "supply_concentration",
"subject": { "type": "TOKEN", "chain": "solana", "ref": { "mint": "XYZ_MINT_ADDRESS" } },
"context": { "blockFrom": 285000000, "blockTo": 285172800, "timeFrom": "2026-02-01T00:00:00Z", "timeTo": "2026-02-02T00:00:00Z" },
"scope": { "maxNodes": null, "maxEdges": null, "maxHops": null }
}
Evaluation Trace:
| Phase | Step | Result |
|---|---|---|
| 1 | CLAIM_VALIDATION | PASS (schema valid, predicate registered) |
| 2 | SUBJECT_RESOLUTION | Resolved: token mint found, 18 decimals, name: "Token XYZ" |
| 3 | EVIDENCE_COLLECTION | 1,247 token accounts at slot 285172800; token supply = 1,000,000,000; evidence units: 2 |
| 4 | GRAPH_CONSTRUCTION | 1,247 ACCOUNT nodes, 1 TOKEN node; no expansion needed (deterministic) |
| 5 | EVALUATION | Top 10 balances: [85M, 72M, 68M, 45M, 38M, 32M, 28M, 22M, 18M, 15M]; sum = 423M / 1B = 42.3%; threshold: 50%; result: BELOW threshold → claim NOT supported |
| 6 | QUALIFICATION | VERIFIED (deterministic, all data available) |
| 7 | ASSEMBLY | voId: 0xabc123... |
Result:
{
"qualification": "VERIFIED",
"confidence": 100,
"verdictText": "Top 10 holders control 42.3% of supply, below the 50% threshold.",
"lineStatus": "ABOVE"
}
A.2 Example: Wallet Clustering (Inferential)
Claim:
{
"statement": "Multiple wallets holding token ABC appear to be controlled by a coordinated group.",
"predicate": "wallet_clustering",
"subject": { "type": "TOKEN", "chain": "solana", "ref": { "mint": "ABC_MINT_ADDRESS" } },
"context": { "blockFrom": 284000000, "blockTo": 284604800 },
"scope": { "maxHops": 3, "maxNodes": 5000 }
}
Evaluation Trace:
| Phase | Step | Result |
|---|---|---|
| 3 | EVIDENCE_COLLECTION | 3,421 token accounts; 18,750 transfer events; 2,340 funding transactions |
| 4 | GRAPH_CONSTRUCTION | 2,891 nodes, 12,430 edges; maxHops reached at depth 3, scopeExhausted = true |
| 5 | EVALUATION | wallet_clustering v1.0.0 (Louvain deterministic variant, γ=1.0): Common funder: 47 wallets share 3 sources; Timing correlation: 23 wallets in same 3 blocks; Amount similarity: 18 wallets <1% variance; Cluster A: 32 wallets, 8.7% supply, 3 heuristics matched, confidence 85; Cluster B: 15 wallets, 4.2% supply, 2 heuristics matched, confidence 60 |
| 6 | QUALIFICATION | INFERRED (inference used, primary hypothesis above threshold) |
Result:
{
"qualification": "INFERRED",
"confidence": 87,
"verdictText": "Two coordinated wallet clusters detected holding combined 12.9% of supply.",
"lineStatus": "ABOVE"
}
A.3 Example: Liquidity Depth (Deterministic)
Claim:
{
"statement": "The primary liquidity pool for token DEF can absorb a 10 SOL sell without moving the price by more than 5%.",
"predicate": "liquidity_depth",
"subject": { "type": "POOL", "chain": "solana", "ref": { "poolAddress": "DEF_POOL_ADDRESS" } },
"context": { "blockFrom": 285200000, "blockTo": 285200000 }
}
Evaluation Trace:
| Phase | Step | Result |
|---|---|---|
| 3 | EVIDENCE_COLLECTION | Pool reserves: reserveA = 500,000 DEF (tokenA), reserveB = 100 SOL (tokenB) |
| 5 | EVALUATION | Constant product: k = 500,000 * 100 = 50,000,000; sellAmount = 10 SOL; amountOut = 500,000 * 10 / (100 + 10) = 45,454 DEF; expectedOut = 500,000 * 10 / 100 = 50,000 DEF; price_impact = 10 * 100 / 110 = 9.09% (equivalently: (50,000 - 45,454) / 50,000); threshold: 5%; result: EXCEEDS → claim NOT supported |
| 6 | QUALIFICATION | VERIFIED |
Arithmetic trace (fixedpoint64, scale 10^8):
reserveA = 500_000 (token units, scale 10^0)
reserveB = 100_000_000_000 (lamports, scale 10^9)
sellAmount = 10_000_000_000 (lamports, scale 10^9)
amountOut = 500_000 * 10_000_000_000 / (100_000_000_000 + 10_000_000_000)
= 5_000_000_000_000_000 / 110_000_000_000
= 45_454 (truncating integer division)
price_impact = 10_000_000_000 * 100 * 100_000_000 / (100_000_000_000 + 10_000_000_000)
= 100_000_000_000_000_000_000 / 110_000_000_000
= 909_090_909 (fixedpoint64: 9.09090909%)
threshold = 500_000_000 (fixedpoint64: 5.00000000%)
result = 909_090_909 > 500_000_000 → EXCEEDS
Result:
{
"qualification": "VERIFIED",
"confidence": 100,
"verdictText": "10 SOL sell would cause 9.09% execution price impact, exceeding the 5% threshold.",
"lineStatus": "ABOVE"
}