Module context 

Structs

ContextAccumulator

One context’s independent accumulator state.

ContextAccumulatorSnapshot

Value-bearing snapshot used to prove inactive contexts remain byte-equal.

ContextIsolationReport

Report for a per-context update.

ContextNegativeGuardReport

Negative-guard report for old-wrong context-isolation paths.

ContextUpdateTick

Inputs for one active-context QAC update.

PerContextAccumulatorStore

A deterministic two-context store for the story #155 contract fixture.

Enums

ContextIsolationError

Constants

CONTEXT_ISOLATION_JOURNEY_ID

The command/runtime journey for story #155.

CONTEXT_ISOLATION_STORY_ID

The SpecFlow story id for per-context independent accumulators.

CROSS_CONTEXT_NORMALIZATION_OLD_WRONG_PATH

Old-wrong path guarded by story #155.

GLOBAL_SHARED_TIMESTAMP_OLD_WRONG_PATH

Old-wrong path guarded by story #155.

Functions

apply_active_context_update

Apply a QAC update to one active context without mutating inactive contexts.

reject_cross_context_normalization_leakage

Reject normalizing or rewriting inactive contexts during an active-context update.

reject_global_shared_timestamp

Reject a global tick or shared timestamp across independent contexts.