Module harness_loop 

Causal completion and mutation observation for the coding loop.

A mutating run cannot succeed on assistant prose. Verification reports and host waivers must bind the same effect digest. Diagnostics after a write are an observation, never a pass.

Structs

CompletionWaiverV1

Host- or user-confirmed waiver. The model cannot mint this from prose.

MutationLedger

MutationObservationV1

Model-visible observation attached after a mutation. Never a verification pass.

MutationRecord

PlanRunAdmission

Whether this run is an ordinary execution or the admitted exit from plan mode.

Enums

CompletionGate

CompletionTerminal

How a successful run closed.

Constants

MUTATION_OBSERVATION_SCHEMA

Functions

absorb_open_workspace_children

Fold settled background writers into this ledger before the gate runs. A child that is still running is waited on. Cancellation leaves it open so narrative success cannot hide the write.

attach_observation

decide_completion

decide_with_observations

fold_step_completions

Fold step closures into the session terminal. A bound closure is not rewritten as narrative. Different digests are not hashed together.

model_visible_observation

Tool-result text the next model call sees. This is the observation attachment; it is not a code_diagnostics tool invocation.

observation_from_diagnostics

Build the observation attached to a mutation. A stale snapshot drops diagnostic items so a previous revision cannot be presented as current.