Module envelope 

Structs

EnvelopeMonitorReport

Value-bearing report for one envelope update.

EnvelopeMonitorTick

Inputs for one C-1 envelope monitor update.

EnvelopeNegativeGuardReport

Negative-guard report for old-wrong envelope interpretations.

Enums

EnvelopeMonitorError

EnvelopeStatus

Envelope monitor status exposed to runtime consumers.

Constants

ENVELOPE_MONITOR_JOURNEY_ID

The command/runtime journey for story #157.

ENVELOPE_MONITOR_STORY_ID

The SpecFlow story id for the C-1 envelope monitor.

MIN_GATE_CONVERGENCE_OLD_WRONG_PATH

Old-wrong path guarded by story #157.

NO_TARGET_MOTION_TELEMETRY_OLD_WRONG_PATH

Old-wrong path guarded by story #157.

Functions

compute_envelope_tick

Compute one C-1 envelope monitor update.

reject_min_gate_unconditional_convergence

Reject treating min-gating as an unconditional convergence theorem.

reject_missing_target_motion_telemetry

Reject envelope certification when target-motion telemetry is missing.