Skip to main content

Module endpoint

Module endpoint 

Source

Structs§

EndpointHybridReport
Value-bearing report for endpoint structural verification.
EndpointHybridTick
Inputs for one endpoint-hybrid certificate decision.
EndpointNegativeGuardReport
Negative-guard report for endpoint old-wrong paths.

Enums§

EndpointCertificateStatus
Combined endpoint certificate disposition.
EndpointHybridError
EndpointKind
Endpoint class for one update tick.
EndpointStructuralStatus
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.