Module workflow 

The change workflow (SPECIFICATION.md Phase 1; brief §42).

gemel change begin opens a pending change (workspace metadata); gemel change finish computes the resulting state from the working tree, synthesizes operations from the delta, records claims/evidence/residuals, creates the Change, and advances the Trajectory — all under one journaled ref transaction. Human names (I<n>, T<n>, C<n>, S<n>) are registered in the ref namespace; identities remain content-addressed.

Structs

BeginOptions

Options for change begin.

BeginOutcome

The outcome of change begin.

CheckpointOptions

Options for gemel checkpoint.

CheckpointOutcome

The outcome of gemel checkpoint.

ClaimSpec

A basic claim specification for change finish.

CloseTrajectoryOptions

Options for gemel trajectory close.

CloseTrajectoryOutcome

The outcome of gemel trajectory close.

EvidenceSpec

A basic evidence specification for change finish.

FinishOptions

Options for change finish.

FinishOutcome

The outcome of change finish.

ResidualSpec

A basic residual specification for change finish.

ResolveResidualOptions

Options for gemel residual resolve.

ResolveResidualOutcome

The outcome of gemel residual resolve.

Constants

DEFAULT_WORKSPACE

The default workspace id (Phase 1 has one workspace per repository).

PENDING_SCHEMA

The pending-change record schema.

Functions

begin_change

Opens a pending change in a (named) workspace.

close_trajectory

Publishes a new trajectory version with an outcome and termination reason (append-chained; the alternative remains canonical). The full change sequence stays the concatenation of added_changes across the chain.

create_checkpoint

Creates a checkpoint: a continuation boundary assembled from structured repository state (AGENT_PROTOCOL.md §9.2). Object family checkpoint (0x14); fields in strict ascending tag order.

finish_change

Finishes the pending change (SPECIFICATION.md Phase 1 demo: State S0 → Intent I1 → Trajectory T1 → Change C1 → State S1).

name_in_namespace

The name registered for gid in a namespace, if any.

next_name

Advances the named counter for kind and returns the next human name (I<n>/T<n>/C<n>/S<n>/K<n>/Re<n>). Callers hold the writer lock.

read_pending

The pending change record, if any (default workspace).

read_pending_named

The pending change record of a named workspace, if any.

resolve_residual

Publishes a new residual version with a disposition event. The original version stays referenced by its change; the derived disposition comes from the latest chain version (OBJECT_MODEL.md §6.12, §8.3).

set_workspace_named_state

Updates a named workspace’s materialized state (caller holds the writer lock).

set_workspace_state

Updates the default workspace’s materialized state (caller holds the writer lock).

workspace_dir

The workspace metadata directory.

workspace_named_dir

The metadata directory of a named workspace.

workspace_named_state

The state a named workspace is currently materialized from, if any.

workspace_state

The state the default workspace is currently materialized from, if any.