ECT-SDK v1.0.0 — Reference Implementation

ECT-SDK v1.1 is a deterministic, stateless control computation coredesigned for embedded and resource-constrained systems. The SDK implements a strict single-step control pipeline that mapsengineering deviation to a bounded control command under an explicitformal contract. It does not include system-level logic, plant models,state estimation, scheduling, safety mechanisms, or learning components. This release provides the canonical verification baseline for ECT-SDK v1.1and includes: • a formal test log verifying core invariants (determinism, stateless execution, bounded output, monotonicity, sign preservation, and exact contraction behavior), • a behavioral simulation log documenting observed control behavior under explicitly defined simplified plant models, • a reproducible C++ implementation suitable for technical evaluation and controlled integration experiments. ECT-SDK is intended as a control primitive rather than a complete controlsystem. All system-level behavior, dynamics, timing, and safety guaranteesremain the responsibility of the integrating system. This Zenodo record corresponds to the GitHub release v1.1 and serves asthe archived, citable reference for this version.