Module min_gate 

Structs

MinGateInputs

Inputs for the story #150 gate-to-step reference path.

MinGateNegativeGuardReport

Negative-guard report for old-wrong gate paths.

MinGateReport

Value-bearing report for g_t and alpha_t.

RhoConfig

Monotone bounded rho configuration for alpha_t = rho(g_t).

Enums

MinGateError

Constants

CONSTANT_ALPHA_OLD_WRONG_PATH

Old-wrong path guarded by story #150.

MIN_GATE_JOURNEY_ID

The command/runtime journey for story #150.

MIN_GATE_STORY_ID

The SpecFlow story id for the hard min-gate and rho coupling.

PER_ELEMENT_ALPHA_OLD_WRONG_PATH

Old-wrong path guarded by story #150.

SOFT_MIN_GATE_OLD_WRONG_PATH

Old-wrong path guarded by story #150.

WEIGHTED_AVERAGE_GATE_OLD_WRONG_PATH

Old-wrong path guarded by story #150.

Functions

hard_min_gate_step

Canonical story #150 path: g_t = min(C_inst, C_ctx), alpha_t = rho(g_t).

reject_constant_alpha

Reject constant-alpha canonical mode.

reject_per_element_alpha

Reject per-element alpha canonical mode.

reject_soft_min_gate

Reject soft-min as an old-wrong substitute for the hard min-gate.

reject_weighted_average_gate

Reject a weighted average as an old-wrong substitute for the hard min-gate.