Structs§
- Endpoint
Hybrid Report - Value-bearing report for endpoint structural verification.
- Endpoint
Hybrid Tick - Inputs for one endpoint-hybrid certificate decision.
- Endpoint
Negative Guard Report - Negative-guard report for endpoint old-wrong paths.
Enums§
- Endpoint
Certificate Status - Combined endpoint certificate disposition.
- Endpoint
Hybrid Error - Endpoint
Kind - Endpoint class for one update tick.
- Endpoint
Structural Status - Structural-verification result for endpoint ticks.
Constants§
- ENDPOINT_
HYBRID_ JOURNEY_ ID - The command/runtime journey for story #153.
- ENDPOINT_
HYBRID_ STORY_ ID - The SpecFlow story id for endpoint hybrid structural verification.
- KAPPA_
ALONE_ ENDPOINT_ OLD_ WRONG_ PATH - Old-wrong path guarded by story #153.
Functions§
- classify_
endpoint_ hybrid_ tick - Classify one update tick, routing alpha_t endpoints through structural verification.
- reject_
kappa_ alone_ endpoint_ certificate - Reject endpoint acceptance that relies on kappa residual value alone.