Module record 

Durable execution records and the checkpoint materialization view.

Definition home adjudicated to pointlock-ir (type truth source, R12) so pointlock-store and pointlock-runner share one shape without violating the dependency direction; pending spine batch incorporation.

Shapes follow spine §6.6 (CheckpointView/StepRecord), §6.7-A (AlignmentReport), and 07 §3.2 (CallFrame refinement, humanPending.purpose).

Structs

AlignmentEntry

One aligned step in a resume alignment report (spine §6.7-A).

AlignmentReport

The alignment report a resume records in runResumed (spine §6.7-A).

AssertionOutcomeRecord

Outcome of one assertion evaluation along its verify chain (spine §6.6).

AttemptRecord

One attempt of an action step (spine §6.6): every dispatch, successful or not, leaves one record keyed by its WAL callId.

AttestationSnapshot

The two attestation facts 07 §2.2 pins into the summary (deliberately not the full CapabilityAttestation).

BindingState

The run’s provider binding state (spine §6.6).

CallFrame

One frame of the live call stack (07 §3.2 refinement; frames[0] is the root flow frame). Pending spine incorporation of the refined fields.

CheckpointView

The deterministic materialized view of a RunLog at a safe point (spine §6.6); always reconstructible by folding the log.

EventCursor

Event-log cursor of the bound provider session (spine §6.6; advanced ack-after-persist, never across session generations).

Frontier

The execution frontier: the single in-flight step (spine §6.6).

HumanPending

A pending human interaction (spine §6.6 + R13 purpose discriminator; 06 §8-Q4 adopted — mode/deadlineAtMs are carried so lazy timeout settlement needs no event-stream re-read).

IterState

One live foreach iteration inside a call frame (07 §3.2).

ObservationRecord

A localized observation record (spine §6.6; omissions are typed data).

PendingIntent

The WAL’d intent of a dispatched-but-unsettled action (spine §6.6).

ProviderStateSummary

The provider-side session profile captured at a failure or suspension instant (07 §2.2, incorporated 2026-07-18): pure forensic material for the dossier/overview — resume reconcile, the fold’s binding provenance and alignment never consume it. Rides stepExited (fail/unknown verdict in force at exit) and runSuspended as an additive optional payload field; absent on ledgers recorded before incorporation.

RequiresConfirmation

A step whose re-execution needs explicit human authorization (07 §5.2/§5.4 unified gate).

SessionHealthSnapshot

Wire twin of the provider-kit SessionHealth (defined here because provider-kit depends on ir, not vice versa).

StepRecord

The durable record of one completed step (spine §6.6).

VisionJudgeRecord

Identity and self-reported basis of the vision judge that completed a vision-channel evaluation. Evidence honesty for a pluggable judge: once the model behind the vision channel is swappable, a verdict that does not say which model answered — and on what facts it says it based the answer — cannot be audited, compared across deployments, or meaningfully re-judged offline.

Enums

ActionOutcomeKind

Discriminant-only projection of an ActionOutcome for durable attempt records (the full outcome lives in the RunLog actionSettled payload). Pending incorporation.