Expand description
Canonical typed live-state checkpoint domain (ContextCheckpointV1).
A ContextCheckpointV1 is the portable semantic state needed to continue
work: the active task, its progress, the decisions taken, the files in
scope, the pinned policies and packages, and the lineage refs that bind the
checkpoint to its project, workspace, plan, and receipts. It is explicitly
not a Session Bundle (bounded session transfer), a Handoff Bundle
(point-to-point handoff), a .ctxpkg (installable asset), or a Context
Snapshot (signed point-in-time evidence).
The domain carries no machine-local or process-local state: absolute paths, credentials, API keys, provider cache handles, PIDs, locks, temp directories, and live-zone payloads are rejected at construction time, not merely discouraged. Every bounded string and every collection has an explicit cap, every identity is validated, and every public constructor is fallible so that invalid state can never reach a digest or a signature through an infallible API.
Projections, merge, migration, signing, and trust evaluation are downstream
slices. They are represented here only by stable typed seams
(ContextCheckpointProjectionV1, ContextCheckpointMergePolicyV1,
ContextCheckpointMigrationV1, ContextCheckpointSignerV1) plus the
sealed ContextCheckpointSigningPayloadV1 and
ContextCheckpointDigestInputsV1 carriers those slices consume.
Structs§
- Context
Checkpoint Artifact Lineage V1 - Authoritative content references for the task, plan, and signed receipts represented by a V2 checkpoint.
- Context
Checkpoint Branch IdV1 - Bounded slug naming the checkpoint branch a device writes to.
- Context
Checkpoint Carrier Binding V1 - Binding to an existing P6
.ctxpkgcheckpoint carrier envelope. - Context
Checkpoint Decision V1 - One decision taken while working the task.
- Context
Checkpoint Device IdV1 - Bounded slug naming the device that produced a checkpoint.
- Context
Checkpoint Digest Inputs V1 - Domain-separated digests derived from one validated checkpoint.
- Context
Checkpoint Encryption Metadata V1 - Reference-only encryption metadata bound into the checkpoint digest.
- Context
Checkpoint File V1 - One file in scope for the checkpointed work, identified without any path.
- Context
Checkpoint IdV1 - Canonical lowercase hyphenated UUID identifying one checkpoint.
- Context
Checkpoint Identity V1 - Parent, branch, and device identity of one checkpoint.
- Context
Checkpoint Learning State V1 - Portable reference to a separately stored learning-state projection.
- Context
Checkpoint Lineage V1 - Lineage references binding a checkpoint to the rest of the work graph.
- Context
Checkpoint Lineage V2 - V2 checkpoint lineage that adds authoritative artifact references without
changing the deployed
ContextCheckpointLineageV1wire shape. - Context
Checkpoint Live State V1 - The portable live state needed to continue the task.
- Context
Checkpoint Package PinV1 - A package pinned by the checkpoint.
- Context
Checkpoint Policy PinV1 - A policy pinned by the checkpoint.
- Context
Checkpoint Progress V1 - Bounded progress report for the active task.
- Context
Checkpoint Session State V1 - Portable, bounded session state needed to continue work.
- Context
Checkpoint Signing Payload V1 - Sealed signature payload for one validated checkpoint.
- Context
Checkpoint Task V1 - The task a checkpoint continues.
- Context
Checkpoint Text V1 - Bounded single-line free text carried by the live state.
- Context
Checkpoint V1 - Canonical typed live-state checkpoint.
- Context
Checkpoint V2 - Canonical checkpoint contract carrying authoritative artifact lineage.
Enums§
- Context
Checkpoint Decision Status V1 - Status of a decision recorded in the live state.
- Context
Checkpoint Encryption Algorithm V1 - Encryption metadata for a separately encrypted checkpoint projection.
- Context
Checkpoint File Role V1 - Role a file plays in the checkpointed work.
- Context
Checkpoint Task Status V1 - Lifecycle status of the task a checkpoint continues.
Constants§
- CONTEXT_
CHECKPOINT_ CARRIER_ ENVELOPE_ DIGEST_ DOMAIN - Digest domain string used by the P6 carrier for
envelope_digest. - CONTEXT_
CHECKPOINT_ CARRIER_ LOGICAL_ STATE_ KEYS - Exact key set of the P6 carrier
logical_stateobject, in canonical order. - CONTEXT_
CHECKPOINT_ CARRIER_ LOGICAL_ STATE_ SCHEMA_ ID - Schema identity of the P6 carrier
logical_stateobject. - CONTEXT_
CHECKPOINT_ CARRIER_ SCHEMA_ ID - Schema identity of the P6
.ctxpkgcheckpoint carrier envelope. - CONTEXT_
CHECKPOINT_ CARRIER_ STATE_ DIGEST_ DOMAIN - Digest domain string used by the P6 carrier for
state_digest. - CONTEXT_
CHECKPOINT_ DIGEST_ DOMAIN - Domain prefix for the whole-checkpoint content digest.
- CONTEXT_
CHECKPOINT_ IDENTITY_ DIGEST_ DOMAIN - Domain prefix for the checkpoint identity digest.
- CONTEXT_
CHECKPOINT_ LINEAGE_ DIGEST_ DOMAIN - Domain prefix for the checkpoint lineage digest.
- CONTEXT_
CHECKPOINT_ LIVE_ STATE_ DIGEST_ DOMAIN - Domain prefix for the checkpoint live-state digest.
- CONTEXT_
CHECKPOINT_ SCHEMA_ ID - Schema identity of the canonical live-state checkpoint contract.
- CONTEXT_
CHECKPOINT_ SIGNATURE_ DOMAIN - Domain prefix covered by a downstream checkpoint signature.
- CONTEXT_
CHECKPOINT_ V2_ DIGEST_ DOMAIN - Domain prefix for the V2 checkpoint content digest.
- CONTEXT_
CHECKPOINT_ V2_ LINEAGE_ DIGEST_ DOMAIN - Domain prefix for the V2 checkpoint lineage digest.
- CONTEXT_
CHECKPOINT_ V2_ SCHEMA_ ID - Schema identity of the additive artifact-lineage checkpoint contract.
- CONTEXT_
CHECKPOINT_ V2_ SIGNATURE_ DOMAIN - Domain prefix covered by a V2 checkpoint signature.
- MAX_
CONTEXT_ CHECKPOINT_ DECISIONS - Maximum decisions carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ DECISION_ REFS - Maximum evidence refs carried by one decision.
- MAX_
CONTEXT_ CHECKPOINT_ ENCODED_ BYTES - Maximum encoded checkpoint size accepted before JSON parsing/allocation.
- MAX_
CONTEXT_ CHECKPOINT_ FILES - Maximum file entries carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ FINDINGS - Maximum findings carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ ID_ BYTES - Maximum byte length of an existing protocol identity admitted by a checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ LINEAGE_ REFS - Maximum entries in any one checkpoint lineage reference list.
- MAX_
CONTEXT_ CHECKPOINT_ NEXT_ STEPS - Maximum next steps carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ PACKAGE_ PINS - Maximum package pins carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ POLICY_ PINS - Maximum policy pins carried by one checkpoint.
- MAX_
CONTEXT_ CHECKPOINT_ REFERENCE_ BYTES - Maximum byte length of a scheme-prefixed checkpoint reference.
- MAX_
CONTEXT_ CHECKPOINT_ SLUG_ BYTES - Maximum byte length of a bounded checkpoint identity slug.
- MAX_
CONTEXT_ CHECKPOINT_ STEPS - Maximum step count a checkpoint may report as progress.
- MAX_
CONTEXT_ CHECKPOINT_ TEXT_ BYTES - Maximum byte length of a bounded checkpoint free-text value.
Traits§
- Context
Checkpoint Merge Policy V1 - Seam for the downstream branch-merge slice.
- Context
Checkpoint Migration V1 - Seam for the downstream migration slice.
- Context
Checkpoint Projection V1 - Seam for the downstream projection slice.
- Context
Checkpoint Signer V1 - Seam for the downstream signing and trust slice.