“Get my family ready for tomorrow morning. We need to leave by 7:30.”

P-13.01

Seed Pre-State Verification

FIXTURE VERIFIED

Disposable demo calendar verified with 07:45 event; prep task absent.

Inspect Evidence & Read-back Facts (2 properties)

prep_task_absent	True
start_time	07:45:00 UTC

P-13.02

Plan Intent & Observe Weather

FIXTURE OBSERVED

AWS planner compiled 3 actions (0 model authority). Weather observed with 0 writes.

Inspect Evidence & Read-back Facts (2 properties)

weather	mild/rainy
model_authority	ZERO

P-13.03

Create & Verify Prep Task

FIXTURE VERIFIED

Task 'Pack backpacks' created and independently verified via read-back.

Inspect Evidence & Read-back Facts (2 properties)

task_title	Pack backpacks
status	needsAction

P-13.04

Pause at Calendar Approval Boundary

FIXTURE PAUSED_APPROVAL

Departure shift to 07:30 paused fail-closed. 0 writes performed without human grant.

Inspect Evidence & Read-back Facts (2 properties)

approval_required	True
calendar_writes	0

P-13.05

Approve, Execute & Verify Calendar Shift

FIXTURE APPROVED

Operator grant consumed. Departure updated to 07:30 and read back independently.

Inspect Evidence & Read-back Facts (2 properties)

start_time	07:30:00 UTC
writes_performed	1

P-13.06

Produce READY Mission Receipt

FIXTURE VERIFIED

All predicates evaluated TRUE and FRESH. Mission promoted to READY with immutable hash.

Inspect Evidence & Read-back Facts (2 properties)

predicates_count	3
receipt_hash	5aa0ae701ac26800059f4618b2c642193d518a3fa3cce572c1d62d8488f92642

Receipt Hash: 5aa0ae701ac26800059f4618b2c642193d518a3fa3cce572c1d62d8488f92642