Did you know ... Search Documentation:
Pack mutalog -- .kb/tests/TEST-e2e-json-report-follows-schema-v2.md

title: e2e:json_report_follows_schema_v2 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:22.364Z' id: TEST-e2e-json-report-follows-schema-v2 type: test proof_receipts:
version:kibi.proof-receipt.v2
receipt_id: PR-2901ab16530f419ff6bc879e test_id: TEST-e2e-json-report-follows-schema-v2 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: 4beec563fb991eff3f8a736b40757416ceac5097c796da8a819c98f9c8f623cf binding_hash: 7c15c5bec9c8df389d042282f58cf0235365306f38d34e94db02d4e5e6a69511 fingerprint: c100529055dbd8ed33fb71e3649bc6f36278e2f23071be678f0b27d97ab53b32 fingerprint_components: contract: 4beec563fb991eff3f8a736b40757416ceac5097c796da8a819c98f9c8f623cf 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:json_report_follows_schema_v2 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 run with the json reporter, then mutation.json has schemaVersion 2, thresholds, the file source and language, and each mutant has an id, mutatorName, location and a schema status.

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