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. |
| ZeqShielding | NP1 watch — safe → elevated → critical when dose_rate crosses your thresholds; auto-logged with a ZeqProof per transition. Radiation shielding design. Gamma att |
| ZeqDosimetry | NP1 watch — safe → elevated → critical when dose_rate crosses your thresholds; auto-logged with a ZeqProof per transition. Personal dosimetry and ALARA optimiza |
| ZeqNuclearWaste | NP1 watch — safe → elevated → critical when dose_rate crosses your thresholds; auto-logged with a ZeqProof per transition. Nuclear waste management. Decay heat |
| ZeqReactor | NP1 watch — safe → elevated → critical when dose_rate crosses your thresholds; auto-logged with a ZeqProof per transition. Nuclear reactor core simulation. Neut |
| ZeqFusion | NP1 watch — safe → elevated → critical when dose_rate crosses your thresholds; auto-logged with a ZeqProof per transition. Fusion plasma modeling. Lawson criter |
See the full Templates Library for all categories, or the State Contracts model for how to author your own.