# `core/execution_plane_contracts`

Owns the shared Execution Plane contract packet, failure taxonomy, validators,
and conformance fixtures for lineage continuity.

Current packet status:

- active
- canonical owner of the lower-boundary contract structs
- Wave 5 now enforces opaque credential-handle refs so lower intents carry
  handle-style references instead of raw secret material
- Phase 4 hardens hazmat attach and stream boundaries with
  `ExecutionPlane.AttachGrant.v1`, `ExecutionPlane.StreamBackpressure.v1`,
  `ExecutionPlane.StreamAttachRevocation.v1`, `ExecutionPlane.WorkerBudget.v1`,
  and `ExecutionPlane.NoBypassScan.v1`
- Phase 6 M10 adds `ExecutionPlane.ExecutionEvidenceBoundary.v1` and
  `ExecutionPlane.NoEgressPolicy.v1` so lower simulation reports persist only
  bounded shapes, refs, and scan results while `ExecutionOutcome.v1.raw_payload`
  remains the raw lower-family outcome.
- Phase 6 persistence posture adds memory-by-default and explicit durable
  storage evidence for target descriptors, attach grants, boundary sessions,
  stream attach state, cleanup receipts, and execution evidence. It never
  persists raw process state and does not change target attach authority.
- Native-agent Phase 7 adds `ExecutionPlane.LaneFact.v1`, the neutral bounded
  lower-lane fact shape for start, chunk, frame, complete, fail, timeout, and
  cancel evidence. It carries refs, bounded shapes, hashes, and lineage, not raw
  stdout, stderr, HTTP bodies, credentials, Citadel bypass flags, or product
  workflow decisions.
- Phase 4 durable workflow activities use
  `ExecutionPlane.ActivitySideEffectIdempotency.v1` to bind tenant, actor,
  workflow, activity, lower run, execution intent, lease evidence, heartbeat
  policy, timeout policy, and retry policy. Its side-effect retry scope is
  `intent_id + idempotency_key`.
- minimal-lane family-specific payload shapes remain provisional until Wave 3

## Persistence Documentation

See `docs/persistence.md` for tiers, defaults, adapters, unsupported selections, config examples, restart claims, durability claims, debug sidecar behavior, redaction guarantees, migration or preflight behavior, and no-bypass scope when applicable.