[INFO] fetching crate prolog8 26.9.30...
[INFO] testing prolog8-26.9.30 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate prolog8 26.9.30 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate prolog8 26.9.30
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate prolog8 26.9.30
[INFO] tweaked toml for crates.io crate prolog8 26.9.30 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate prolog8 26.9.30 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prolog8 26.9.30 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0
[INFO] running `Command { std: "docker" "start" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling find-msvc-tools v0.1.11
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling blake3 v1.8.6
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling prolog8 v26.9.30 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:21:15
[INFO] [stderr]    |
[INFO] [stderr] 21 | [dependencies.serde_json]
[INFO] [stderr]    |               ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] warning: unused dependency `smallvec`
[INFO] [stderr]   --> Cargo.toml:25:15
[INFO] [stderr]    |
[INFO] [stderr] 25 | [dependencies.smallvec]
[INFO] [stderr]    |               ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `smallvec`
[INFO] [stderr] warning: `prolog8` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.77s
[INFO] running `Command { std: "docker" "inspect" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling bitflags v2.13.1
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling clap_builder v4.6.6
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling clap v4.6.6
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling prolog8 v26.9.30 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stdout] warning: fields `strong`, `kind`, `bad`, `sad`, `dull`, and `little` are never read
[INFO] [stdout]    --> src/pararule_tests.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 105 | struct PeopleWorld {
[INFO] [stdout]     |        ----------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 112 |     strong: PredicateId,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 116 |     kind: PredicateId,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 117 |     bad: PredicateId,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 118 |     sad: PredicateId,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 |     dull: PredicateId,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 124 |     little: PredicateId,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:21:15
[INFO] [stderr]    |
[INFO] [stderr] 21 | [dependencies.serde_json]
[INFO] [stderr]    |               ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: unused dependency `smallvec`
[INFO] [stderr]   --> Cargo.toml:25:15
[INFO] [stderr]    |
[INFO] [stderr] 25 | [dependencies.smallvec]
[INFO] [stderr]    |               ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `smallvec`
[INFO] [stderr] warning: `prolog8` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 31.92s
[INFO] running `Command { std: "docker" "inspect" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: fields `strong`, `kind`, `bad`, `sad`, `dull`, and `little` are never read
[INFO] [stderr]    --> src/pararule_tests.rs:112:5
[INFO] [stderr]     |
[INFO] [stderr] 105 | struct PeopleWorld {
[INFO] [stderr]     |        ----------- fields in this struct
[INFO] [stderr] ...
[INFO] [stderr] 112 |     strong: PredicateId,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 116 |     kind: PredicateId,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 117 |     bad: PredicateId,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 118 |     sad: PredicateId,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] ...
[INFO] [stderr] 123 |     dull: PredicateId,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 124 |     little: PredicateId,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `prolog8` (lib test) generated 1 warning
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:21:15
[INFO] [stderr]    |
[INFO] [stderr] 21 | [dependencies.serde_json]
[INFO] [stderr]    |               ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: unused dependency `smallvec`
[INFO] [stderr]   --> Cargo.toml:25:15
[INFO] [stderr]    |
[INFO] [stderr] 25 | [dependencies.smallvec]
[INFO] [stderr]    |               ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `smallvec`
[INFO] [stderr] warning: `prolog8` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/prolog8/72862e7467c2eee2/out/prolog8-72862e7467c2eee2)
[INFO] [stdout] 
[INFO] [stdout] running 73 tests
[INFO] [stdout] test admission::tests::binding_pattern_count_is_two_to_the_eighth ... ok
[INFO] [stdout] test catalog::tests::catalog_root_is_deterministic ... ok
[INFO] [stdout] test admission::tests::admit_rule_rejects_oversize_body ... ok
[INFO] [stdout] test hash::tests::combine_roots_is_collision_resistant_under_length_prefix ... ok
[INFO] [stdout] test catalog::tests::predicate_round_trip ... ok
[INFO] [stdout] test kernel::tests::deny_decision_emits_nonzero_receipt_hash ... ok
[INFO] [stdout] test hash::tests::domain_keys_are_distinct ... ok
[INFO] [stdout] test kernel::tests::query_known_fact_returns_allow_with_proof ... ok
[INFO] [stdout] test admission::tests::admit_rule_rejects_negation_without_feature ... ok
[INFO] [stdout] test catalog::tests::intern_term_returns_existing_id ... ok
[INFO] [stdout] test admission::tests::admit_atom_rejects_oob_binding_mask ... ok
[INFO] [stdout] test admission::tests::admit_rule_accepts_negation_with_feature ... ok
[INFO] [stdout] test admission::tests::admit_atom_accepts_valid_input ... ok
[INFO] [stdout] test hash::tests::link_hash_chains_consistently ... ok
[INFO] [stdout] test pararule_tests::conjunction_requires_both_premises_bob_not_short ... ok
[INFO] [stdout] test kernel::tests::test_backtracking_finds_all_answers ... ok
[INFO] [stdout] test pararule_tests::animal_wolf_is_slow_via_dull_and_sleepy ... ok
[INFO] [stdout] test kernel::tests::test_double_run_deterministic ... ok
[INFO] [stdout] test kernel::tests::test_grandparent_unification ... ok
[INFO] [stdout] test kernel::tests::query_unknown_fact_returns_deny_with_negative_proof ... ok
[INFO] [stdout] test kernel::tests::query_with_oversize_arity_returns_invalid ... ok
[INFO] [stdout] test pararule_tests::all_deny_receipts_are_nonzero ... ok
[INFO] [stdout] test pararule_tests::cyclic_rules_terminate_with_deny ... ok
[INFO] [stdout] test kernel::tests::receipt_is_deterministic_across_runs ... ok
[INFO] [stdout] test kernel::tests::rule_one_step_chain_yields_answer ... ok
[INFO] [stdout] test kernel::tests::test_head_var_not_in_body_terminates ... ok
[INFO] [stdout] test pararule_tests::conjunction_requires_both_premises_charlie_not_short ... ok
[INFO] [stdout] test pararule_tests::fact_hash_is_nonzero ... ok
[INFO] [stdout] test pararule_tests::depth_2_chain_works_in_single_query ... ok
[INFO] [stdout] test pararule_tests::naf_blocks_when_negated_atom_derived_by_rule ... ok
[INFO] [stdout] test pararule_tests::fact_hash_encodes_argument_order ... ok
[INFO] [stdout] test pararule_tests::depth5_five_conjunct_rule_all_facts_present ... ok
[INFO] [stdout] test pararule_tests::naf_quiet_fiona_denied_after_rough_fact_added ... ok
[INFO] [stdout] test pararule_tests::fact_hash_encodes_predicate_id ... ok
[INFO] [stdout] test pararule_tests::conjunction_charlie_becomes_short_when_thin_added ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_charlie_is_not_quiet_denied ... ok
[INFO] [stdout] test pararule_tests::naf_unbound_quiet_returns_only_not_rough_entities ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_charlie_not_wealthy_denied ... ok
[INFO] [stdout] test pararule_tests::naf_quiet_fiona_derived_when_not_rough ... ok
[INFO] [stdout] test pararule_tests::multi_rule_alice_is_smart ... ok
[INFO] [stdout] test pararule_tests::multi_rule_bob_gets_one_derivation ... ok
[INFO] [stdout] test pararule_tests::multi_rule_carol_gets_one_derivation ... ok
[INFO] [stdout] test pararule_tests::multi_rule_unbound_finds_all_entities ... ok
[INFO] [stdout] test pararule_tests::naf_quiet_gary_denied_when_rough ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_bob_not_wealthy_denied ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_erin_is_quiet_fact ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_erin_not_poor_denied ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_poor_anne_via_rule ... ok
[INFO] [stdout] test pararule_tests::receipt_hash_differs_for_different_predicates ... ok
[INFO] [stdout] test pararule_tests::receipt_changes_when_rule_set_changes ... ok
[INFO] [stdout] test pararule_tests::receipt_hash_differs_for_different_queries ... ok
[INFO] [stdout] test pararule_tests::proof_dag_missing_fact_node_for_deny ... ok
[INFO] [stdout] test pararule_tests::pararule_d2_wealthy_erin_via_rule ... ok
[INFO] [stdout] test pararule_tests::proof_dag_has_correct_structure_for_rule_answer ... ok
[INFO] [stdout] test pararule_tests::receipt_hash_is_deterministic_across_repeated_queries ... ok
[INFO] [stdout] test pararule_tests::proof_dag_has_single_fact_node_for_direct_lookup ... ok
[INFO] [stdout] test pararule_tests::rule_ordering_does_not_affect_derivability ... ok
[INFO] [stdout] test replay::tests::valid_replay_succeeds ... ok
[INFO] [stdout] test types::tests::arity_cap_constant ... ok
[INFO] [stdout] test types::tests::fact_block_skip_for_out_of_range_term ... ok
[INFO] [stdout] test pararule_tests::variable_output_binding_returns_multiple_entities ... ok
[INFO] [stdout] test replay::tests::modified_proof_root_fails_replay ... ok
[INFO] [stdout] test pararule_tests::variable_output_binding_returns_erin ... ok
[INFO] [stdout] test replay::tests::tampered_receipt_hash_is_detected ... ok
[INFO] [stdout] test replay::tests::wrong_engine_version_fails_replay ... ok
[INFO] [stdout] test types::tests::atom8_clamps_oversize_arity ... ok
[INFO] [stdout] test types::tests::atom8_pads_unused_args_with_sentinel ... ok
[INFO] [stdout] test types::tests::fact_row_hash_is_deterministic ... ok
[INFO] [stdout] test types::tests::feature_bit_mask_round_trips ... ok
[INFO] [stderr]      Running tests/aat_live_counterfactual.rs (/opt/rustwide/target/debug/build/prolog8/7fadc742eefc04e0/out/aat_live_counterfactual-7fadc742eefc04e0)
[INFO] [stdout] test kernel::tests::test_variable_binding_extraction ... ok
[INFO] [stdout] test admission::tests::admit_atom_rejects_arity_mismatch ... ok
[INFO] [stdout] test catalog::tests::term_id_zero_is_sentinel_and_not_assigned ... ok
[INFO] [stdout] test admission::tests::admit_atom_rejects_uninterned_bound_term ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 73 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 36 tests
[INFO] [stdout] test cf1_arity_at_cap_passes ... ok
[INFO] [stdout] test cf2_output_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf1_binding_mask_at_cap_passes ... ok
[INFO] [stdout] test cf2_fact_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf1_body_beyond_cap_rejected ... ok
[INFO] [stdout] test cf3_allow_has_no_missing_fact_nodes ... ok
[INFO] [stdout] test cf1_body_at_cap_passes ... ok
[INFO] [stdout] test cf2_input_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf2_rule_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf2_output_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf2_catalog_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf2_proof_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf2_rule_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf4_empty_fact_block_yields_deny ... ok
[INFO] [stdout] test cf3_deny_emits_only_missing_fact_nodes ... ok
[INFO] [stdout] test cf1_binding_mask_beyond_arity_rejected ... ok
[INFO] [stdout] test cf3_fact_match_emits_only_fact_proof_nodes ... ok
[INFO] [stdout] test cf2_catalog_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf2_input_root_tampered_with_hash_recompute ... ok
[INFO] [stdout] test cf2_fact_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf2_proof_root_tampered_without_hash_recompute ... ok
[INFO] [stdout] test cf1_padding_slot_not_sentinel ... ok
[INFO] [stdout] test cf1_arity_beyond_cap_rejected ... ok
[INFO] [stdout] test cf4_deny_receipt_is_deterministic ... ok
[INFO] [stdout] test cf6_independent_kernel_instances_produce_identical_receipts ... ok
[INFO] [stdout] test cf4_predicate_with_no_fact_block_yields_deny ... ok
[INFO] [stdout] test cf5_all_domain_keys_are_pairwise_distinct ... ok
[INFO] [stdout] test cf8_body_mask_zero_with_nonzero_body_len_rejected ... ok
[INFO] [stdout] test cf8_negation_mask_beyond_body_len_rejected ... ok
[INFO] [stdout] test cf8_body_mask_correct_for_body_len_passes ... ok
[INFO] [stdout] test cf7_combine_roots_length_prefix_distinct ... ok
[INFO] [stdout] test cf8_body_mask_full_with_small_body_len_rejected ... ok
[INFO] [stdout] test cf4_deny_proof_is_nonempty ... ok
[INFO] [stdout] test cf7_combine_roots_is_order_sensitive ... ok
[INFO] [stdout] test cf4_deny_receipt_hash_is_nonzero ... ok
[INFO] [stdout] test cf3_rule_derivation_includes_rule_proof_node ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/kernel_integration.rs (/opt/rustwide/target/debug/build/prolog8/cddffc9a04c12246/out/kernel_integration-cddffc9a04c12246)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test admit_atom_rejects_arity_beyond_cap ... ok
[INFO] [stdout] test unbound_query_returns_all_matching_rows ... ok
[INFO] [stdout] test receipt_hash_is_deterministic_across_runs ... ok
[INFO] [stdout] test replay_detects_tampered_receipt_hash ... ok
[INFO] [stdout] test replay_with_wrong_facts_yields_mismatch_not_panic ... ok
[INFO] [stdout] test replay_detects_tampered_proof_root ... ok
[INFO] [stdout] test known_fact_query_yields_allow_with_proof_and_receipt ... ok
[INFO] [stdout] test admit_atom_rejects_unknown_predicate ... ok
[INFO] [stdout] test replay_verifies_fresh_allow_receipt ... ok
[INFO] [stdout] test one_step_rule_chain_yields_allow_with_rule_proof_node ... ok
[INFO] [stdout] test output_mask_returns_requested_bindings_in_decision ... ok
[INFO] [stdout] test unknown_fact_query_yields_deny_with_negative_proof ... ok
[INFO] [stdout] test load_facts_rejects_predicate_not_in_catalog ... ok
[INFO] [stdout] test query_with_predicate_not_in_catalog_returns_invalid ... ok
[INFO] [stdout] test kernel_returns_all_answers_beyond_wasm_max ... ok
[INFO] [stdout] test byte_cap_guard_length_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests prolog8
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0", kill_on_drop: false }`
[INFO] [stdout] 4b671aaaf0050626789f4b219758bcaef1afe9214b4d472e942deb9f0d98ddd0
