Module external_observation 

Typed external observations are run inputs. Clearing one requires a newer observation of the same subject or a LOOP-1 waiver, not a sentence.

Concurrent writes to a path another session has dirtied fail closed.

Structs

ExternalObservationV1

Enums

RequiredAction

Constants

EXTERNAL_OBSERVATION_SCHEMA

Functions

adopt_write_claim

Drop a claim this session holds, and no other session’s claim. Move a finished child’s claim to the parent, or claim an unowned dirty path for the parent. A path another live session already owns is left alone.

blocks_success

claim_bound_write

Refuse a missing session instead of sharing an "anonymous" owner.

claim_write

foreign_workspace_claim

Refuse a workspace-wide overwrite when another session already owns a path here. Checkout and stash do not name every file they will touch.

observation_from_value

refuse_foreign_workspace_owner

Refuse when a different session already owns a dirty path in this workspace.

release_session

release_write_claim

session_owns_write

still_open