C.3.A:B.3 - Evidence matrix [I]
| Rows | Columns | Cell content |
|---|---|---|
| exact kind/subkind signature editions or RoleMask declaration editions | exact context slices with versions and Gamma_time | exact candidate(s) when current, judgment values, evidence units and support relations, freshness, bridge/assertion references, and receiving use |
Rows plan declared distinctions; they do not classify every candidate. A proof-only row may remain declaration-level when it genuinely proves a universal claim. A test or monitoring row becomes candidate-bearing and records exact judgments for the exercised candidates.