gen-verdict-0.1.31
gen — the DERIVED-VERDICT law as a type. A verdict is derived from the subject set it claims about, and CARRIES THE WITNESS of that derivation: `NonEmpty<T>` (head+tail, so empty is a compile error, not a smart-constructor Err), `Domain<T>` (emptiness is a named arm, never `Option`), `Verdict<S,F>` whose `Held` arm cannot be NAMED without a non-empty subject-set witness and whose `Vacuous`/`Unreached` are distinct no-claim arms, one `judge` classifier, a re-deriving `#[serde(try_from)]` wire border that REJECTS a forged pass, and a move-only `Permit<S>` capability that binds the witness to the guarded action's input. Deliberately tiny (serde + thiserror + gen-macros) so every gate, linter, reconciler observation and status field in the fleet can afford it. See theory/UNREPRESENTABILITY.md §II.4.
18 minutes ago