Foundation
The formal specifications. Each version is a separate document; earlier versions are never edited.
Current · Version.002
Version.002
Replaces the fixed four-channel claim with a stated criterion for what a channel is; separates process variables from estimator records; scopes the separation guarantee to one time slice; adds a read-only coupling monitor.
Superseded · Version.001 · June 2026
Version.001
The original formal specification, published verbatim.
The longer derivation is in the proof. Neither the specifications nor the proof have been tested by an outside party.