---

title: e2e:crash_is_retried_on_a_fresh_worker status: active verification_scope: end_to_end verification_perspective: consumer proof_contract: version: kibi.proof-contract.v1 integration: unit required_proofs:

symbol_id:SYM

target: default success_policy: all_required_first_attempt origin: kind: agent recorded_at: '2026-10-29T17:51:16.590Z' id: TEST-e2e-crash-is-retried-on-a-fresh-worker type: test proof_receipts:

version:kibi.proof-receipt.v2

receipt_id: PR-357cd27e2ed308dc84b384e3 test_id: TEST-e2e-crash-is-retried-on-a-fresh-worker scope: end_to_end outcome: passed code_snapshot: 2f6e624f3911adb9cf78f8559299244a7a72fc7e02ca53c4319289bab545b210 environment_hash: 70794eb189f6bb0bd59b638fedca584356a0b61f01329f6f9f4e9f53a3b5be53 started_at: '2026-10-29T18:05:48.772Z' finished_at: '2026-10-29T18:06:25.804Z' artifact_digest: 11c7c63d178616c342276a172c41f3f1f4545f5bd37c1e205f6c5b6c8490153c contract_hash: 0de3b0ba5a8897f4c925c370aeca32199e33f83ee16e8309bb5a3ef694a0f968 binding_hash: e33ee3c6eff0e804d3cf3bb82fc78812f2635cf5774a640700e51f10d8ecbbb2 fingerprint: 5c34aeded9e32ce0ee1929995ccdbd18f8761be143e16c3c324a77bc2987f846 fingerprint_components: contract: 0de3b0ba5a8897f4c925c370aeca32199e33f83ee16e8309bb5a3ef694a0f968 integration: c737391e036529661d1133ede485cc0c7e0cd44f13a68e4ca3ca4ce96e583b98 command: c9ec4783a29134c6c0d1c8e48e18a94e22343779b220e65da267bcaebe14f40b bindings: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945 producer: 3f1ef45ea6f7a150dff44ba43ea098e729d8dcd4e35f67bb455191a7f38609be integration_id: unit producer: name: kibi-command-producer command_argv:

• npx
• kibi
• proof
• run-steps

run_outcome: passed proof_results:

symbol_id:SYM

target: default outcome: passed binding: aggregate_run attempts: status: unavailable kind: e2e evidence_level: tested --- End-to-end test e2e:crash_is_retried_on_a_fresh_worker in test/test_e2e.plt. It drives the installed command line or pack the way a user would.

Context

Given a project where a mutant halts its worker, when the user runs with retries(2) instead of retries(0), then each crashing mutant is attempted two more times.

Run it alone with `swipl test/run.pl e2e:crash_is_retried_on_a_fresh_worker`.