Nuclear templates

Ready-to-deploy state contracts in the Nuclear category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.

Template	What it does
Reactor Criticality Margin	Tracks effective multiplication factor k_eff: subcritical → critical → supercritical-warning with automatic scram. The core reactivity-safety contract.
Decay-Heat Removal Watch	Post-shutdown decay heat vs cooling capacity: adequate → marginal → insufficient. The Fukushima-class failure mode, made continuously provable.

See the full Templates Library for all categories, or the State Contracts model for how to author your own.