Dashboard › opencode › Distillation
Distillation
ID: d976e136-2ae5-4f27-9fea-46a55bbaf397
Generation: 0
Tokens: 390
R_compression: 2.987
C_norm: 0.000
Archived: Yes
Created: 2026-09-17 08:47:30
Source IDs:
["lore_tm_v1_wqBF7xH0bQIhi60TQzckJZM6VKHQMD-eryVWAueZ-gs"]
Observations
Date: Sep 17, 2026
- 🔴 [required-recovery-invariant] (01:38) User specified the cancellation-claim invariant: “never recovers an expired cancellation claim”.
- 🔴 [required-recovery-invariant] (01:38) User specified the cancellation-expiry invariant: “never quarantines cancellation after recovery ownership expires”.
- 🔴 [required-recovery-invariant] (01:38) User specified the cancellation-transfer invariant: “never quarantines cancellation after recovery ownership transfers”.
- 🔴 [required-recovery-invariant] (01:38) User specified the projection-failure expiry invariant: “never quarantines projection failure after recovery ownership expires”.
- 🔴 [required-recovery-invariant] (01:38) User specified the projection-failure transfer invariant: “never quarantines projection failure after recovery ownership transfers”.
- 🔴 [required-recovery-invariant] (01:38) User specified the execution-retry invariant: “never arms durable wake for a conflicting execution retry”.
- 🟡 (01:38) Recovery ownership-transfer coverage creates the SQL trigger
transfer_cancellation_recovery_owner.
- 🟡 (01:38) Projection-failure recovery testing uses
TestClock.adjust("40 seconds").pipe(Effect.andThen(events.publish(definition, data, options))).
- 🟡 (01:38) Recovery retry coverage expects exactly
[{ attempts: 2 }, { attempts: 2 }].
- 🟡 (01:38) Recovery trigger logic checks
NEW.type = 'session.next.step.recovered.1'.
- 🟡 (01:38) Recovery ownership fixtures include
owner_id: "dead".
- 🟡 (01:38) A stale recovery fiber is expected to fail via
expect(yield* Fiber.await(stale)).toMatchObject({ _tag: "Failure" }).