Repair a broken week

Choose a real scheduling shock, then let Dira find the commitments it affects, make only authorized repairs, and verify the result. The flight recorder below makes every decision and side effect inspectable.

Judge-controlled repair

Change the world, then inspect how Dira repairs the commitments that no longer fit.

CHECKING RUNTIMEChecking runtime…

Test scenario

A midterm moves 48 hours earlier. Dira must protect study time, rebook the interview, and delegate team QA; the first listed slot is deliberately stale, so it must replan and verify a second.

The recording will show detection, interpretation, graph propagation, planning, policy review, ledgered actions, failure recovery, and postcondition verification.

Reference run evidence — ECON 402, the 48-Hour Shock

Deterministic baseline flight recorder

RESOLVED

Slack before

+4.1h

After mutation

-3.6h

After repair

+1.3h

Replans

13:30:01EVENTgmail message received: "ECON 402 — Midterm 2 schedule change"

13:30:02INTERPRET"ECON 402 Midterm 2" moved 2026-08-21T14:00:00-05:00 → 2026-08-19T14:00:00-05:00

13:30:03GRAPHCommitment mutation persisted for "ECON 402 Midterm 2"

13:30:04PROPAGATE6 commitments affected via 12 typed-edge impacts

13:30:05FEASIBILITYGlobal slack +4.1h → -3.6h; 3 violation(s)

13:30:06PLAN6 candidate repair(s) evaluated

13:30:07SELECTLowest-cost feasible plan selected: rebook interview + delegate QA + move workout + move side-project build block + rebuild study plan (cost 360, restored slack +1.3h)

13:30:08POLICYALLOW: Book "TechCorp technical interview" at 2026-08-20T10:00:00-05:00 [interview-slots-recruiter-approved-only] · authorized by gmail-thread-jordan-alt-slots

13:30:12POLICYALLOW: Update calendar for "TechCorp technical interview" to 2026-08-20T10:00:00-05:00 [sync-calendar-with-approved-booking] · authorized by gmail-thread-jordan-alt-slots

13:30:16POLICYALLOW_AND_NOTIFY: Delegate "Sponsor deck visual QA" to Maya Okafor [delegate-explicitly-delegatable] · authorized by user_policy_config, edge:edge-qa-delegate

13:30:20POLICYALLOW_AND_NOTIFY: Notify Maya Okafor about the delegation [routine-operational-updates] · authorized by user_policy_config:notify-on-delegation

13:30:24POLICYALLOW: Move "Workout" to 2026-08-19T16:45:00-05:00 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=OPTIONAL

13:30:28POLICYALLOW: Move "Side-project build block" to 2026-08-20T12:00:00-05:00 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=FLEXIBLE

13:30:32POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-19T20:30:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:36POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-20T19:00:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:40POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-20T21:15:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:44POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-21T08:30:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:48POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-21T10:00:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:52POLICYALLOW: Reserve 204 min for "ECON 402 exam preparation" at 2026-08-18T19:30:00-05:00 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:56POLICYALLOW: Reserve 156 min for "ECON 402 exam preparation" at 2026-08-19T09:00:00-05:00 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:00LEDGER13 action intent(s) persisted to durable ledger

13:31:02ACTIONBook "TechCorp technical interview" at 2026-08-20T10:00:00-05:00

13:31:03ERRORBook "TechCorp technical interview" at 2026-08-20T10:00:00-05:00 failed: 409 SLOT_NO_LONGER_AVAILABLE: 2026-08-20T10:00:00-05:00

13:31:18OBSERVEExternal state refreshed after failure

13:31:19REPLANRe-evaluating remaining repair options against refreshed external state

13:31:20PLAN5 candidate repair(s) evaluated

13:31:21SELECTLowest-cost feasible plan selected: rebook interview + delegate QA + move workout + move side-project build block + rebuild study plan (cost 360, restored slack +1.3h)

13:31:22POLICYALLOW: Book "TechCorp technical interview" at 2026-08-20T13:00:00-05:00 [interview-slots-recruiter-approved-only] · authorized by gmail-thread-jordan-alt-slots

13:31:26POLICYALLOW: Update calendar for "TechCorp technical interview" to 2026-08-20T13:00:00-05:00 [sync-calendar-with-approved-booking] · authorized by gmail-thread-jordan-alt-slots

13:31:30POLICYALLOW_AND_NOTIFY: Delegate "Sponsor deck visual QA" to Maya Okafor [delegate-explicitly-delegatable] · authorized by user_policy_config, edge:edge-qa-delegate

13:31:33POLICYALLOW_AND_NOTIFY: Notify Maya Okafor about the delegation [routine-operational-updates] · authorized by user_policy_config:notify-on-delegation

13:31:36POLICYALLOW: Move "Workout" to 2026-08-19T16:45:00-05:00 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=OPTIONAL

13:31:39POLICYALLOW: Move "Side-project build block" to 2026-08-20T14:00:00-05:00 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=FLEXIBLE

13:31:43POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-19T20:30:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:46POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-20T19:00:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:49POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-20T21:15:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:52POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-21T08:30:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:55POLICYALLOW: Remove invalidated block "Study: ECON 402" (2026-08-21T10:00:00-05:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:58POLICYALLOW: Reserve 204 min for "ECON 402 exam preparation" at 2026-08-18T19:30:00-05:00 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:32:01POLICYALLOW: Reserve 156 min for "ECON 402 exam preparation" at 2026-08-19T09:00:00-05:00 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:32:04LEDGER13 action intent(s) persisted to durable ledger (10 revived from invalidated plan)

13:32:06ACTIONBook "TechCorp technical interview" at 2026-08-20T13:00:00-05:00

13:32:08VERIFYVerified: Book "TechCorp technical interview" at 2026-08-20T13:00:00-05:00

13:32:11ACTIONUpdate calendar for "TechCorp technical interview" to 2026-08-20T13:00:00-05:00

13:32:13VERIFYVerified: Update calendar for "TechCorp technical interview" to 2026-08-20T13:00:00-05:00

13:32:16ACTIONDelegate "Sponsor deck visual QA" to Maya Okafor

13:32:18VERIFYVerified: Delegate "Sponsor deck visual QA" to Maya Okafor

13:32:21ACTIONNotify Maya Okafor about the delegation

13:32:23VERIFYVerified: Notify Maya Okafor about the delegation

13:32:26ACTIONMove "Workout" to 2026-08-19T16:45:00-05:00

13:32:28VERIFYVerified: Move "Workout" to 2026-08-19T16:45:00-05:00

13:32:31ACTIONMove "Side-project build block" to 2026-08-20T14:00:00-05:00

13:32:33VERIFYVerified: Move "Side-project build block" to 2026-08-20T14:00:00-05:00

13:32:36ACTIONRemove invalidated block "Study: ECON 402" (2026-08-19T20:30:00-05:00)

13:32:38VERIFYVerified: Remove invalidated block "Study: ECON 402" (2026-08-19T20:30:00-05:00)

13:32:41ACTIONRemove invalidated block "Study: ECON 402" (2026-08-20T19:00:00-05:00)

13:32:43VERIFYVerified: Remove invalidated block "Study: ECON 402" (2026-08-20T19:00:00-05:00)

13:32:46ACTIONRemove invalidated block "Study: ECON 402" (2026-08-20T21:15:00-05:00)

13:32:48VERIFYVerified: Remove invalidated block "Study: ECON 402" (2026-08-20T21:15:00-05:00)

13:32:51ACTIONRemove invalidated block "Study: ECON 402" (2026-08-21T08:30:00-05:00)

13:32:53VERIFYVerified: Remove invalidated block "Study: ECON 402" (2026-08-21T08:30:00-05:00)

13:32:56ACTIONRemove invalidated block "Study: ECON 402" (2026-08-21T10:00:00-05:00)

13:32:58VERIFYVerified: Remove invalidated block "Study: ECON 402" (2026-08-21T10:00:00-05:00)

13:33:01ACTIONReserve 204 min for "ECON 402 exam preparation" at 2026-08-18T19:30:00-05:00

13:33:03VERIFYVerified: Reserve 204 min for "ECON 402 exam preparation" at 2026-08-18T19:30:00-05:00

13:33:06ACTIONReserve 156 min for "ECON 402 exam preparation" at 2026-08-19T09:00:00-05:00

13:33:08VERIFYVerified: Reserve 156 min for "ECON 402 exam preparation" at 2026-08-19T09:00:00-05:00

13:33:10RESOLVEDFeasibility restored — global slack +1.3h

Candidate plans — deterministic reference, round 1

From the reproducible baseline run of the default scenario; a live run above derives its own candidate set from the world it finds.

Candidate	Plan	Cost	Restored slack	Verdict
plan-0-s3480	rebook interview + delegate QA + rebuild study plan	295	-3.6h	hard constraint violated: INSUFFICIENT_PREP_CAPACITY
plan-1-s3480	rebook interview + delegate QA + move workout + rebuild study plan	325	-2.6h	hard constraint violated: INSUFFICIENT_PREP_CAPACITY
plan-2-s3480	rebook interview + delegate QA + move side-project build block + rebuild study plan	330	+0.3h	insufficient repair margin: 18 min < 60 min required
plan-3-s3480	rebook interview + delegate QA + move workout + move side-project build block + rebuild study plan	360	+1.3h	selected pool
plan-4-alt1	rebook interview + delegate QA + move workout + move side-project build block + rebuild study plan	360	+1.3h	selected pool
plan-defer-deliverable	rebook interview + defer deliverable + rebuild study plan	770	-3.6h	policy: Sponsor deck freeze is FIXED

13 adapter mutations verified across 4 simulated integration surfaces · 0 policy violations · repair derived from state, not a scenario id — see the runtime variation matrix in CI.