From c307c94ccf1b9982d487adb1d4f2827154d4c5ea Mon Sep 17 00:00:00 2001 From: Kyle Mathews Date: Fri, 13 Nov 2026 10:34:32 -0700 Subject: [PATCH] test(oracles): replay a slow load-failing draft under timeout presentation The shrunk counterexample of #59: a slow spec whose owns list is empty fails to load, runs no driver, and the timeout law reports a missing timeout presentation. This fixed history reproduces it; the law is fixed in the next commit. Co-authored-by: Isaac --- .../oracles/tests/oracle-property-self-oracle.test.ts | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/packages/oracles/tests/oracle-property-self-oracle.test.ts b/packages/oracles/tests/oracle-property-self-oracle.test.ts index 8f715c8..daf2e25 100644 --- a/packages/oracles/tests/oracle-property-self-oracle.test.ts +++ b/packages/oracles/tests/oracle-property-self-oracle.test.ts @@ -9106,6 +9106,17 @@ oracleProperty({ enters: [`timeout-presentation-equivalence`], history: timeoutRepresentationSuite(), }, + { + // The shrunk case of #59: a slow spec that fails to load never runs + // its driver, so the timeout obligation must not apply to it. + name: `timeout presentation of a slow spec that fails to load`, + enters: [`registration-error`], + history: { + seedless: false, + timeoutPresentation: true, + drafts: [generatedDraft({ timing: `slow`, ownsMode: `empty` })], + }, + }, ...([`wrapper`, `reason`, `combined`] as const).map((axis) => ({ name: `round11 outer wrapper ${axis}`, enters: [...callbackReceivingStates, ...callbackRepresentationStates],