Foundations templates
Ready-to-deploy state contracts in the Foundations category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.
| Template | What it does |
|---|---|
| Scheduled Compute (Heartbeat) | The automation primitive — a self-firing transition on the HulyaPulse cadence. running → running every 60 Zeqonds (swap every_zeqonds for a cron expression like |
| Threshold Monitor (Generic) | Domain-agnostic watchdog. Watches a stream of reading events; KO42 evaluates the windowed average each fire. normal → breached when the average over the last |
| Oracle Feed (External Ingest) | Brings the outside world in. Every 60 Zeqonds it calls your registered oracle external protocol, binds the response, runs KO42, and emits oracle_datum — a s |
| Approval Workflow (N-of-M) | Multi-party sign-off as a contract. pending → approved once N approve events land (default 3), or → rejected the moment a single reject event arrives. Every |
| Timelock Release Gate | A generic release gate — no funds, no escrow. held → released once N sign events land (default 2), or → expired when a one_shot deadline passes. Set at_unix |
| Supply-Chain Provenance | Tamper-evident custody chain. Each handoff event advances the chain and emits custody_changed; a delivered event closes it. Every hop is Zeqond-stamped on |
| Telemetry Rollup (IoT) | Fleet telemetry aggregator. Sums a metric across every telemetry event in a rolling window; collecting → flagged when the windowed total crosses your quota, a |
| Rate Limiter (Windowed) | A windowed rate gate. allowing → limiting when more than threshold request events land inside the rolling window (default 100 / 60 Zeqonds), and back when t |
| Subscription / Recurring Billing | A subscription lifecycle on a cron clock. active emits invoice_due on its billing schedule (default the 1st of each month); a payment_failed event moves it |
| Attestation / Notary Timestamp | A perpetual notary. Each notarize event runs KO42 through compute → prove → verify and emits attested — binding the submission to the Zeqond it arrived and |
| Physical Constants | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. NIST CODATA 2022 physical constants + f |
| Single Constant Lookup | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. Look up a single physical constant by k |
| Operator List | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. All operators (1,340+) enriched with ca |
| Operator Categories | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. Domain breakdown with operator counts, |
| Framework Parameters | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. Core framework tuning — pulse frequency |
| Canonical Operator Lookup | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. Single operator with full LaTeX, founde |
| Premade Experiments | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. 63 pre-built physics experiments with d |
| Core Equations | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. All 7 core Zeq equations plus the ZTB1 |
| Canonical Operator Registry | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. Full 1,576-operator registry with LaTeX |
| 7-Step Wizard Protocol | KO42 watch — idle → computing → verified when value crosses your thresholds; auto-logged with a ZeqProof per transition. The mandatory verification protocol. 7 |
| ZeqCompliance Envelope | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Per-call audit envelope (zeq.complian |
| ZeqCompute | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Core computation — select domain, res |
| ZeqLattice | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Multi-node cross-domain coherence com |
| ZeqProof Verify | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Verify a ZeqProof HMAC-SHA256 binding |
| Master Equation Builder | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Builds the synthesized HULYAS master |
| ZeqShift | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Time-series R(t) projection forward 1 |
| HULYAS ODE Solver | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Numerically integrates the full HULYA |
| HULYAS Strict Solver | KO42 watch — init → solving → converged when residual crosses your thresholds; auto-logged with a ZeqProof per transition. Auto-tunes β parameter iteratively un |
| ZeqPulse | KO42 watch — synced → drifting → desynced when drift crosses your thresholds; auto-logged with a ZeqProof per transition. Real-time HulyaPulse state — zeqond co |
| ZeqPulse SSE Stream | KO42 watch — synced → drifting → desynced when drift crosses your thresholds; auto-logged with a ZeqProof per transition. Server-Sent Events stream ticking ever |
| ZTB1 Timebase Bridge | KO42 watch — synced → drifting → desynced when drift crosses your thresholds; auto-logged with a ZeqProof per transition. Bidirectional Unix ↔ Zeqond time conve |
See the full Templates Library for all categories, or the State Contracts model for how to author your own.