| Did you know ... | Search Documentation: |
 | Pack mutalog -- .kb/tests/TEST-e2e-reads-custom-operators-and-syntax.md |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
title: e2e:reads_custom_operators_and_syntax 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:03.653Z' id: TEST-e2e-reads-custom-operators-and-syntax type: test proof_receipts:
- version:kibi.proof-receipt.v2
- receipt_id: PR-cef06f199ff00e99b964144e
test_id: TEST-e2e-reads-custom-operators-and-syntax
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: e14b4808bfc52c09dd7b917df8ea194b985b167e4f6c62d7d9e20653d82d8292
binding_hash: 74f33644b32e00b5f0cfc7f4deef30aa8dc1695de157e4aee376946e61e2df0c
fingerprint: 6301662e903d90586ee3c6d9766c2687ef6f8ca111f4c756a897c6a228f917cb
fingerprint_components:
contract: e14b4808bfc52c09dd7b917df8ea194b985b167e4f6c62d7d9e20653d82d8292
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:reads_custom_operators_and_syntaxin test/test_e2e.plt. It drives the installed command line or pack the way a user would.
Context
Given a fixture that declares and imports operators, when the user lists its mutants with --check, then mutants are found and every one re-reads as intended.
Run it alone with `swipl test/run.pl e2e:reads_custom_operators_and_syntax`.