TDLN Policy Gate — preflight & decision, proof-carrying, deterministic.
Event sequence (high-level): nl.utterance → plan.proposed → policy.preflight → user.consent → policy.decision → effect.exec → state.update