[INFO] fetching crate lemma-cli 0.8.10...
[INFO] testing lemma-cli-0.8.10 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1
[INFO] extracting crate lemma-cli 0.8.10 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate lemma-cli 0.8.10
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma-cli 0.8.10
[INFO] tweaked toml for crates.io crate lemma-cli 0.8.10 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma-cli 0.8.10 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lemma-cli 0.8.10 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ansi-str v0.9.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.115
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.115
[INFO] [stderr]   Downloaded assert_cmd v2.2.0
[INFO] [stderr]   Downloaded inotify v0.11.1
[INFO] [stderr]   Downloaded ariadne v0.6.0
[INFO] [stderr]   Downloaded inquire v0.9.4
[INFO] [stderr]   Downloaded super-table v1.1.1
[INFO] [stderr]   Downloaded js-sys v0.3.92
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.115
[INFO] [stderr]   Downloaded vte v0.14.1
[INFO] [stderr]   Downloaded fuzzy-matcher v0.3.7
[INFO] [stderr]   Downloaded boolean_expression v0.4.4
[INFO] [stderr]   Downloaded gloo-net v0.6.0
[INFO] [stderr]   Downloaded lemma-openapi v0.8.10
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.65
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.115
[INFO] [stderr]   Downloaded ansitok v0.3.0
[INFO] [stderr]   Downloaded lemma-engine v0.8.10
[INFO] [stderr]   Downloaded strip-ansi-escapes v0.2.1
[INFO] [stderr]   Downloaded web-sys v0.3.92
[INFO] [stderr]   Downloaded aws-lc-sys v0.39.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8afd1b35966b38d7f20091c6b091c7cb860e804eddbe454e8f6157a004b588a5
[INFO] running `Command { std: "docker" "start" "-a" "8afd1b35966b38d7f20091c6b091c7cb860e804eddbe454e8f6157a004b588a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8afd1b35966b38d7f20091c6b091c7cb860e804eddbe454e8f6157a004b588a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8afd1b35966b38d7f20091c6b091c7cb860e804eddbe454e8f6157a004b588a5", kill_on_drop: false }`
[INFO] [stdout] 8afd1b35966b38d7f20091c6b091c7cb860e804eddbe454e8f6157a004b588a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] be2433bdd2e3ffc4b98c338d6852127c548aa42e5fd32b13e6814fb9c61fe3df
[INFO] running `Command { std: "docker" "start" "-a" "be2433bdd2e3ffc4b98c338d6852127c548aa42e5fd32b13e6814fb9c61fe3df", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling dunce v1.0.5
[INFO] [stderr]    Compiling aws-lc-rs v1.16.2
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling rustls-pki-types v1.14.0
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling futures-task v0.3.32
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling cc v1.2.58
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling unicode-segmentation v1.13.2
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling convert_case v0.10.0
[INFO] [stderr]    Compiling openssl-probe v0.2.1
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling hash32 v0.2.1
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling cmake v0.1.58
[INFO] [stderr]    Compiling rustls-native-certs v0.8.3
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling vte v0.14.1
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling iana-time-zone v0.1.65
[INFO] [stderr]    Compiling aws-lc-sys v0.39.1
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]    Compiling iri-string v0.7.12
[INFO] [stderr]    Compiling rust_decimal v1.41.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling derive_more v2.1.1
[INFO] [stderr]    Compiling cobs v0.3.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling inotify-sys v0.1.5
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling inotify v0.11.1
[INFO] [stderr]    Compiling ansitok v0.3.0
[INFO] [stderr]    Compiling postcard v1.1.3
[INFO] [stderr]    Compiling crossterm v0.29.0
[INFO] [stderr]    Compiling boolean_expression v0.4.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling notify-types v2.1.0
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling axum-core v0.5.6
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling notify v8.2.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling ansi-str v0.9.0
[INFO] [stderr]    Compiling fuzzy-matcher v0.3.7
[INFO] [stderr]    Compiling serde_path_to_error v0.1.20
[INFO] [stderr]    Compiling matchit v0.8.4
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling inquire v0.9.4
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling ariadne v0.6.0
[INFO] [stderr]    Compiling super-table v1.1.1
[INFO] [stderr]    Compiling notify-debouncer-mini v0.7.0
[INFO] [stderr]    Compiling strip-ansi-escapes v0.2.1
[INFO] [stderr]    Compiling axum v0.8.8
[INFO] [stderr]    Compiling rustls-webpki v0.103.10
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling rustls-platform-verifier v0.6.2
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.13.2
[INFO] [stderr]    Compiling lemma-engine v0.8.10
[INFO] [stderr]    Compiling lemma-openapi v0.8.10
[INFO] [stderr]    Compiling lemma-cli v0.8.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 23s
[INFO] running `Command { std: "docker" "inspect" "be2433bdd2e3ffc4b98c338d6852127c548aa42e5fd32b13e6814fb9c61fe3df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be2433bdd2e3ffc4b98c338d6852127c548aa42e5fd32b13e6814fb9c61fe3df", kill_on_drop: false }`
[INFO] [stdout] be2433bdd2e3ffc4b98c338d6852127c548aa42e5fd32b13e6814fb9c61fe3df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6889d52f4c9fd3cf0a8d58792ba76022ff58bef7edd956fd0d5f7c7d555c90a9
[INFO] running `Command { std: "docker" "start" "-a" "6889d52f4c9fd3cf0a8d58792ba76022ff58bef7edd956fd0d5f7c7d555c90a9", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling futures-sink v0.3.32
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling predicates-core v1.0.10
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling boolean_expression v0.4.4
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling rust_decimal v1.41.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling assert_cmd v2.2.0
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling predicates-tree v1.0.13
[INFO] [stderr]    Compiling inquire v0.9.4
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling axum v0.8.8
[INFO] [stderr]    Compiling reqwest v0.13.2
[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 proptest v1.11.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling lemma-engine v0.8.10
[INFO] [stderr]    Compiling lemma-openapi v0.8.10
[INFO] [stderr]    Compiling lemma-cli v0.8.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 49s
[INFO] running `Command { std: "docker" "inspect" "6889d52f4c9fd3cf0a8d58792ba76022ff58bef7edd956fd0d5f7c7d555c90a9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6889d52f4c9fd3cf0a8d58792ba76022ff58bef7edd956fd0d5f7c7d555c90a9", kill_on_drop: false }`
[INFO] [stdout] 6889d52f4c9fd3cf0a8d58792ba76022ff58bef7edd956fd0d5f7c7d555c90a9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5bcb8028fb0fd5f9ae7f0c4b0879cb84e27d36d64dffedbe3b1e8eb36510868d
[INFO] running `Command { std: "docker" "start" "-a" "5bcb8028fb0fd5f9ae7f0c4b0879cb84e27d36d64dffedbe3b1e8eb36510868d", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.59s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/lemma-fb8a850960077e53)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration.rs (/opt/rustwide/target/debug/deps/integration-0c49efa1864d7be7)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 70 tests
[INFO] [stdout] test integrations::examples::test_example_02_rules_and_unless ... ok
[INFO] [stdout] test integrations::examples::test_example_05_date_handling ... ok
[INFO] [stdout] test integrations::examples::test_example_06_tax_calculation ... ok
[INFO] [stdout] test integrations::examples::test_example_07_shipping_policy ... ok
[INFO] [stdout] test integrations::examples::test_example_01_simple_facts ... ok
[INFO] [stdout] test integrations::examples::test_example_04_unit_conversions ... ok
[INFO] [stdout] test integrations::examples::test_example_08_rule_references ... ok
[INFO] [stdout] test integrations::examples::test_schema_includes_hash ... ok
[INFO] [stdout] test integrations::examples::test_schema_hash_only_outputs_hash ... ok
[INFO] [stdout] test integrations::interactive::test_interactive_mode_help ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_add_spec_empty_code ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_add_spec_invalid_code ... ok
[INFO] [stdout] test integrations::examples::test_example_03_spec_references ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_add_spec_then_evaluate ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_all_rules ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_empty_spec_name ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_includes_reasoning ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_invalid_effective ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_veto_result ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_with_effective_datetime ... ok
[INFO] [stdout] test integrations::examples::test_example_11_spec_composition ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_with_fact_overrides ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_schema_empty_spec_name ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_schema_for_specific_rule ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_schema_full_spec ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_schema_missing_spec ... ok
[INFO] [stdout] test integrations::examples::test_example_13_temporal_versioning ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_spec_source ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_spec_source_missing_spec ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_get_spec_source_blocked_without_admin ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_help_shows_admin_flag ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_invalid_jsonrpc_version ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_initialize_response ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_list_specs_empty_workspace_admin_suggests_add ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_list_specs_empty_workspace ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_list_specs_includes_schema ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_response_ids_match_request_ids ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_read_only_by_default ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_call_missing_params ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_call_missing_tool_name ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_call_unknown_tool ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_malformed_json ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_server_starts ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_list_admin_tools ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_list_read_only_tools ... ok
[INFO] [stdout] test integrations::run::test_cli_explain_shows_all_operands_in_nested_arithmetic ... ok
[INFO] [stdout] test integrations::run::test_cli_explain_shows_negated_comparison_not_false ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_unknown_method ... ok
[INFO] [stdout] test integrations::run::test_cli_list_summary ... ok
[INFO] [stdout] test integrations::run::test_cli_parse_error_handling ... ok
[INFO] [stdout] test integrations::run::test_cli_run_nonexistent_spec ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_tools_have_input_schemas ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_evaluate_missing_spec ... ok
[INFO] [stdout] test integrations::mcp::test_mcp_admin_enables_add_spec ... ok
[INFO] [stdout] test integrations::run::test_cli_reports_errors_from_all_files ... ok
[INFO] [stdout] test integrations::run::test_cli_run_with_unless_clause ... ok
[INFO] [stdout] test integrations::run::test_cli_run_rejects_dash_source ... ok
[INFO] [stdout] test integrations::run::test_cli_run_with_arithmetic ... ok
[INFO] [stdout] test integrations::run::test_cli_run_with_fact_values ... ok
[INFO] [stdout] Starting HTTP server with 1 spec(s) loaded...
[INFO] [stdout] test integrations::run::test_cli_run_simple_spec ... ok
[INFO] [stdout] 2026-04-10T09:11:07.801881Z  INFO lemma::server::http: Lemma server listening on http://127.0.0.1:19999
[INFO] [stdout] 2026-04-10T09:11:07.801926Z  INFO lemma::server::http: Interactive docs at http://127.0.0.1:19999/docs
[INFO] [stdout] test integrations::examples::test_example_09_stress_test ... ok
[INFO] [stdout] test integrations::examples::test_all_examples_parse_via_cli ... ok
[INFO] [stdout] test integrations::server::test_server_command_available ... ok
[INFO] [stdout] test integrations::server::test_server_help_shows_new_routes ... ok
[INFO] [stdout] Starting HTTP server with 1 spec(s) loaded...
[INFO] [stdout] 2026-04-10T09:11:07.839650Z  INFO lemma::server::http: Lemma server listening on http://127.0.0.1:19998
[INFO] [stdout] 2026-04-10T09:11:07.839698Z  INFO lemma::server::http: Interactive docs at http://127.0.0.1:19998/docs
[INFO] [stdout] test integrations::server::test_server_help_shows_explanations_flag ... ok
[INFO] [stdout] test integrations::server::test_server_help_shows_watch_flag ... ok
[INFO] [stdout] test integrations::run::test_cli_schema_spec ... ok
[INFO] [stdout] test integrations::examples::test_example_10_compensation_policy ... ok
[INFO] [stdout] test integrations::server::test_get_spec_route_returns_200 ... ok
[INFO] [stdout] test integrations::server::test_get_with_x_explanations_header_returns_explanation_when_explanations_enabled ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.16s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5bcb8028fb0fd5f9ae7f0c4b0879cb84e27d36d64dffedbe3b1e8eb36510868d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5bcb8028fb0fd5f9ae7f0c4b0879cb84e27d36d64dffedbe3b1e8eb36510868d", kill_on_drop: false }`
[INFO] [stdout] 5bcb8028fb0fd5f9ae7f0c4b0879cb84e27d36d64dffedbe3b1e8eb36510868d