Module precheck 

Structs

AccumulatorSnapshot

Sentinel accumulator state before a proposed update.

PrecheckNegativeGuardReport

Negative-guard report for old-wrong precheck paths.

PrecheckReport

Value-bearing report for one precheck decision.

PrecheckTick

Inputs needed by the pre-update invalidity guard.

Enums

CertificateEventClass

Certificate stream class emitted by the precheck gate.

PrecheckError

Constants

EPSILON_T_NAME_COLLISION_OLD_WRONG_PATH

Old-wrong path guarded by story #154.

FORBIDDEN_WRITE_BYPASS_OLD_WRONG_PATH

Old-wrong path guarded by story #154.

POST_UPDATE_INVALIDITY_OLD_WRONG_PATH

Old-wrong path guarded by story #154.

PRECHECK_FORBIDDEN_JOURNEY_ID

The command/runtime journey for stories #154 and #156.

PRECHECK_FORBIDDEN_STORY_ID

The SpecFlow story id for the precheck invalidity guard.

Functions

reject_epsilon_t_name_collision

Reject naming the invalidity guard epsilon_t or EpsilonReason.

reject_forbidden_write_bypassing_guard

Reject forbidden writes that bypass the precheck guard.

reject_post_update_invalidity_check

Reject invalidity checks that run after mutating the accumulator.

run_precheck_before_update

Run precheck_t before the canonical update can execute.