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 Fri 14:00 → Wed 14: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 Thu 10:00 [interview-slots-recruiter-approved-only] · authorized by gmail-thread-jordan-alt-slots

13:30:12POLICYALLOW: Update calendar for "TechCorp technical interview" to Thu 10: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 Wed 16:45 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=OPTIONAL

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

13:30:32POLICYALLOW: Remove invalidated block "Study: ECON 402" (Wed 20:30) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:36POLICYALLOW: Remove invalidated block "Study: ECON 402" (Thu 19:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:40POLICYALLOW: Remove invalidated block "Study: ECON 402" (Thu 21:15) [restructure-study-blocks] · authorized by user_policy_config:study-plan

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

13:30:48POLICYALLOW: Remove invalidated block "Study: ECON 402" (Fri 10:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:52POLICYALLOW: Reserve 204 min for "ECON 402 exam preparation" at Tue 19:30 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:30:56POLICYALLOW: Reserve 156 min for "ECON 402 exam preparation" at Wed 09: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 Thu 10:00

13:31:03ERRORBook "TechCorp technical interview" at Thu 10: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 Thu 13:00 [interview-slots-recruiter-approved-only] · authorized by gmail-thread-jordan-alt-slots

13:31:26POLICYALLOW: Update calendar for "TechCorp technical interview" to Thu 13: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 Wed 16:45 [move-flexible-or-optional-blocks] · authorized by user_policy_config:flexibility=OPTIONAL

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

13:31:43POLICYALLOW: Remove invalidated block "Study: ECON 402" (Wed 20:30) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:46POLICYALLOW: Remove invalidated block "Study: ECON 402" (Thu 19:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:49POLICYALLOW: Remove invalidated block "Study: ECON 402" (Thu 21:15) [restructure-study-blocks] · authorized by user_policy_config:study-plan

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

13:31:55POLICYALLOW: Remove invalidated block "Study: ECON 402" (Fri 10:00) [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:31:58POLICYALLOW: Reserve 204 min for "ECON 402 exam preparation" at Tue 19:30 [restructure-study-blocks] · authorized by user_policy_config:study-plan

13:32:01POLICYALLOW: Reserve 156 min for "ECON 402 exam preparation" at Wed 09: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 Thu 13:00

13:32:08VERIFYVerified: Book "TechCorp technical interview" at Thu 13:00

13:32:11ACTIONUpdate calendar for "TechCorp technical interview" to Thu 13:00

13:32:13VERIFYVerified: Update calendar for "TechCorp technical interview" to Thu 13: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 Wed 16:45

13:32:28VERIFYVerified: Move "Workout" to Wed 16:45

13:32:31ACTIONMove "Side-project build block" to Thu 14:00

13:32:33VERIFYVerified: Move "Side-project build block" to Thu 14:00

13:32:36ACTIONRemove invalidated block "Study: ECON 402" (Wed 20:30)

13:32:38VERIFYVerified: Remove invalidated block "Study: ECON 402" (Wed 20:30)

13:32:41ACTIONRemove invalidated block "Study: ECON 402" (Thu 19:00)

13:32:43VERIFYVerified: Remove invalidated block "Study: ECON 402" (Thu 19:00)

13:32:46ACTIONRemove invalidated block "Study: ECON 402" (Thu 21:15)

13:32:48VERIFYVerified: Remove invalidated block "Study: ECON 402" (Thu 21:15)

13:32:51ACTIONRemove invalidated block "Study: ECON 402" (Fri 08:30)

13:32:53VERIFYVerified: Remove invalidated block "Study: ECON 402" (Fri 08:30)

13:32:56ACTIONRemove invalidated block "Study: ECON 402" (Fri 10:00)

13:32:58VERIFYVerified: Remove invalidated block "Study: ECON 402" (Fri 10:00)

13:33:01ACTIONReserve 204 min for "ECON 402 exam preparation" at Tue 19:30

13:33:03VERIFYVerified: Reserve 204 min for "ECON 402 exam preparation" at Tue 19:30

13:33:06ACTIONReserve 156 min for "ECON 402 exam preparation" at Wed 09:00

13:33:08VERIFYVerified: Reserve 156 min for "ECON 402 exam preparation" at Wed 09: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.