shigoto-gate 0.1.2

shigoto — typed Gate trait + standard gates (AllUpstreamsTerminal, TtlElapsed, BudgetAvailable, OperatorApproved).
Documentation

shigoto-gate — typed precondition Gate trait + standard gates.

Spec: theory/SHIGOTO.md §III.9. Gates are PURE — they evaluate against the scheduler snapshot without IO. IO-dependent gating is itself a Job that produces a typed fact a downstream gate checks.