---

title: e2e:list_prints_mutants_without_running 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:50:48.760Z' id: TEST-e2e-list-prints-mutants-without-running type: test proof_receipts:

version:kibi.proof-receipt.v2

receipt_id: PR-f9b4115db539ef464c2a6dca test_id: TEST-e2e-list-prints-mutants-without-running 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: a7b7066042a6c972c15ffc61ef32a84295fe90a9133db23d9a864182b3bbad81 binding_hash: 919c8f98c95d62323fd8327b2facde36e18a741a139fdbdee43a098a5a0462da fingerprint: b24948c1866ba79987e21197bf11bc4c7f55ad12b03475f93e8c3cc6c4d25207 fingerprint_components: contract: a7b7066042a6c972c15ffc61ef32a84295fe90a9133db23d9a864182b3bbad81 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:list_prints_mutants_without_running in test/test_e2e.plt. It drives the installed command line or pack the way a user would.

Context

Given the example project, when the user runs mutalog list, then every mutant is printed with its change and no report directory is created, because no test ran.

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