---

title: e2e:pack_has_no_node_dependency 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:25.527Z' id: TEST-e2e-pack-has-no-node-dependency type: test proof_receipts:

version:kibi.proof-receipt.v2

receipt_id: PR-5f9c53c10339c3c606bb9ad9 test_id: TEST-e2e-pack-has-no-node-dependency 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: fa2fe13a390269d5c79817aeca358acdf94ed06d847c327e4bf492be70beb357 binding_hash: 085e42e4dee01d1ebd07a51ba8f7d44184ddc8202ca57ed54f9be702d6a691e6 fingerprint: 9cfcc1817bce9fb9872e5cbe17333cbf9bb59a5640d46cffc3a25dc4e0772434 fingerprint_components: contract: fa2fe13a390269d5c79817aeca358acdf94ed06d847c327e4bf492be70beb357 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:pack_has_no_node_dependency in test/test_e2e.plt. It drives the installed command line or pack the way a user would.

Context

Given the pack files, then they hold only Prolog, the HTML template and the shell wrapper, with no package.json, and the wrapper never calls node or npm.

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