# Shipping Slice 1｜Declared Intent Corridor

Status: implemented and locally verified on Pi 0.80.6.

## Delivered

- Pi package manifest and extension entrypoint.
- `update_action_path` tool with Google-compatible TypeBox schema.
- Single-Agent, single-Execution-Token Workflow Net Core.
- Revision 0 `pl_session_start` and `tok_main` marking.
- Atomic, idempotent GraphPatch application.
- Place, Transition, Arc, reservation, completion, failure, retirement, supersession and Evidence semantics.
- Evidence-backed factual claims and mandatory evidence for completion, failure, Gate and Place-state changes.
- Evidence sanitization before state, tool-result checkpoint or SQLite persistence.
- Branch-aware reconstruction from verified Pi tool-result checkpoints.
- Private append-only SQLite audit cache; Pi branch history remains authoritative.
- Deterministic snapshot hashing.
- NOW / WHY / NEXT / WATCH attention projection.
- Compact Pi widget, footer status and `/intent-petri` corridor overlay.
- `/intent-petri status`, `doctor`, and widget controls.
- Print-mode command output.

## Explicitly deferred

- Observed tool episodes and alignment beyond `pending/unknown`.
- Human correction patches.
- Gate workflows beyond the core domain operations.
- Hierarchical `refine_transition`.
- Observer LLM.
- Web/SVG view.
- Subagents, split/join and recovery subnets.
- Herdr aggregation and macOS Pet.

## Verification

```text
nub run typecheck          PASS
nub run test               PASS · 7 files / 19 tests
nub run package:check      PASS
nub run smoke:extension    PASS
nub pack --dry-run         PASS
nub --node tests/smoke/sqlite-runtime.mjs  PASS
```

An interactive Pi smoke session also verified:

1. `/intent-petri doctor` initializes revision 0 and the private SQLite audit cache.
2. The model can call `update_action_path` with an eight-operation patch.
3. The patch advances to revision 1 and activates `tok_main`.
4. Footer and widget show NOW / WHY / NEXT / WATCH.
5. `/intent-petri` renders the active Place → Transition → success/failure corridor.
6. Branch checkpoint hash and SQLite audit count are verified by doctor.