[INFO] cloning repository https://github.com/k-kinzal/spec-oracle
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/k-kinzal/spec-oracle" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3ccb49bb68c9b17c935082157f3673b6a8eadac1
[INFO] checking k-kinzal/spec-oracle/3ccb49bb68c9b17c935082157f3673b6a8eadac1 against master#55e86c996809902e8bbad512cfb4d2c18be446d9 for pr-153027
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/k-kinzal/spec-oracle
[INFO] finished tweaking git repo https://github.com/k-kinzal/spec-oracle
[INFO] tweaked toml for git repo https://github.com/k-kinzal/spec-oracle written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/k-kinzal/spec-oracle on toolchain 55e86c996809902e8bbad512cfb4d2c18be446d9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+55e86c996809902e8bbad512cfb4d2c18be446d9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/k-kinzal/spec-oracle 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" "+55e86c996809902e8bbad512cfb4d2c18be446d9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded clap v4.5.58
[INFO] [stderr]   Downloaded clap_builder v4.5.58
[INFO] [stderr]   Downloaded syn v2.0.115
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+55e86c996809902e8bbad512cfb4d2c18be446d9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dd3dcd9cab9c7e0046024d670e7219e8169f60b3b625e0a94b8216b17a312693
[INFO] running `Command { std: "docker" "start" "-a" "dd3dcd9cab9c7e0046024d670e7219e8169f60b3b625e0a94b8216b17a312693", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dd3dcd9cab9c7e0046024d670e7219e8169f60b3b625e0a94b8216b17a312693", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd3dcd9cab9c7e0046024d670e7219e8169f60b3b625e0a94b8216b17a312693", kill_on_drop: false }`
[INFO] [stdout] dd3dcd9cab9c7e0046024d670e7219e8169f60b3b625e0a94b8216b17a312693
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+55e86c996809902e8bbad512cfb4d2c18be446d9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 395a0ebf40cc43d05fe4908ab3df9c9da504811a5c886e2e91d6815e807a548b
[INFO] running `Command { std: "docker" "start" "-a" "395a0ebf40cc43d05fe4908ab3df9c9da504811a5c886e2e91d6815e807a548b", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling unicode-ident v1.0.23
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling anyhow v1.0.101
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling multimap v0.10.1
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking ryu v1.0.23
[INFO] [stderr]     Checking iana-time-zone v0.1.65
[INFO] [stderr]     Checking unsafe-libyaml v0.2.11
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]     Checking clap_lex v1.0.0
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking clap_builder v4.5.58
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking socket2 v0.6.2
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking socket2 v0.5.10
[INFO] [stderr]    Compiling tempfile v3.25.0
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]     Checking uuid v1.21.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]     Checking inotify-sys v0.1.5
[INFO] [stderr]     Checking filetime v0.2.27
[INFO] [stderr]     Checking mio v0.8.11
[INFO] [stderr]     Checking inotify v0.9.6
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]     Checking notify v6.1.1
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling prost-derive v0.13.5
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling pin-project-internal v1.1.10
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling async-stream-impl v0.3.6
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]     Checking async-stream v0.3.6
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]     Checking pin-project v1.1.10
[INFO] [stderr]     Checking axum-core v0.4.5
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling prost v0.13.5
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking clap v4.5.58
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]    Compiling prost-types v0.13.5
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]    Compiling prost-build v0.13.5
[INFO] [stderr]     Checking chrono v0.4.43
[INFO] [stderr]     Checking serde_yaml v0.9.34+deprecated
[INFO] [stderr]     Checking axum v0.7.9
[INFO] [stderr]    Compiling tonic-build v0.12.3
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]     Checking tokio-util v0.7.18
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]    Compiling specd v0.1.0 (/opt/rustwide/workdir/specd)
[INFO] [stderr]    Compiling spec-cli v0.1.0 (/opt/rustwide/workdir/spec-cli)
[INFO] [stderr]     Checking h2 v0.4.13
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking hyper v1.8.1
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking hyper-timeout v0.5.2
[INFO] [stderr]     Checking tonic v0.12.3
[INFO] [stderr]     Checking z3 v0.12.1
[INFO] [stderr]     Checking spec-core v0.1.0 (/opt/rustwide/workdir/spec-core)
[INFO] [stdout] warning: unused import: `ConstraintKind`
[INFO] [stdout]   --> spec-core/src/prover/z3_backend.rs:12:31
[INFO] [stdout]    |
[INFO] [stdout] 12 | use crate::udaf::{Constraint, ConstraintKind};
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `metadata_file` is never used
[INFO] [stdout]    --> spec-core/src/store.rs:132:8
[INFO] [stdout]     |
[INFO] [stdout] 117 | impl DirectoryStore {
[INFO] [stdout]     | ------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 132 |     fn metadata_file(&self) -> PathBuf {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> spec-core/src/prover/mod.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 136 | impl Prover {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 245 |     fn check_consistency_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 294 |     fn check_satisfiability_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 336 |     fn detect_obvious_contradiction(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 356 |     fn detect_obvious_unsatisfiability(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 |     fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 418 |     fn extract_minimum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 433 |     fn extract_maximum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 448 |     fn extract_number(&self, s: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `metadata_file` is never used
[INFO] [stdout]    --> spec-core/src/store.rs:132:8
[INFO] [stdout]     |
[INFO] [stdout] 117 | impl DirectoryStore {
[INFO] [stdout]     | ------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 132 |     fn metadata_file(&self) -> PathBuf {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> spec-core/src/prover/mod.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 136 | impl Prover {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 245 |     fn check_consistency_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 294 |     fn check_satisfiability_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 336 |     fn detect_obvious_contradiction(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 356 |     fn detect_obvious_unsatisfiability(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 |     fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 418 |     fn extract_minimum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 433 |     fn extract_maximum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 448 |     fn extract_number(&self, s: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `formatter::*`
[INFO] [stdout]  --> spec-cli/src/presentation/mod.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use formatter::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `NodeKind as CoreNodeKind`
[INFO] [stdout]  --> spec-cli/src/commands/add.rs:8:24
[INFO] [stdout]   |
[INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::proto`
[INFO] [stdout]  --> spec-cli/src/commands/api.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::proto;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self`
[INFO] [stdout]  --> spec-cli/src/commands/dispatcher.rs:8:20
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind};
[INFO] [stdout]   |                    ^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::path::PathBuf;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tonic::Request`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tonic::Request;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/find.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Store`
[INFO] [stdout]  --> spec-cli/src/commands/init.rs:9:17
[INFO] [stdout]   |
[INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph};
[INFO] [stdout]   |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Store`
[INFO] [stdout]   --> spec-cli/src/commands/migrate.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store};
[INFO] [stdout]    |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/query.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/trace.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_add`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server};
[INFO] [stdout]    |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_check`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:28:17
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server};
[INFO] [stdout]    |                 ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dispatch_server`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:30:43
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server};
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server};
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_query_standalone`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server};
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient`
[INFO] [stdout]   --> spec-cli/src/main.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind`
[INFO] [stdout]   --> spec-cli/src/main.rs:12:13
[INFO] [stdout]    |
[INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind};
[INFO] [stdout]    |             ^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/main.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]   --> spec-cli/src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::path::PathBuf;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tonic::Request`
[INFO] [stdout]   --> spec-cli/src/main.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tonic::Request;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind`
[INFO] [stdout]   --> spec-cli/src/main.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind};
[INFO] [stdout]    |                 ^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `persistence::store_router::*`
[INFO] [stdout]   --> spec-cli/src/main.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use persistence::store_router::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `formatter::*`
[INFO] [stdout]  --> spec-cli/src/presentation/mod.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use formatter::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `NodeKind as CoreNodeKind`
[INFO] [stdout]  --> spec-cli/src/commands/add.rs:8:24
[INFO] [stdout]   |
[INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::proto`
[INFO] [stdout]  --> spec-cli/src/commands/api.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::proto;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self`
[INFO] [stdout]  --> spec-cli/src/commands/dispatcher.rs:8:20
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind};
[INFO] [stdout]   |                    ^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::path::PathBuf;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tonic::Request`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tonic::Request;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/find.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Store`
[INFO] [stdout]  --> spec-cli/src/commands/init.rs:9:17
[INFO] [stdout]   |
[INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph};
[INFO] [stdout]   |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Store`
[INFO] [stdout]   --> spec-cli/src/commands/migrate.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store};
[INFO] [stdout]    |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/query.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::SpecGraph`
[INFO] [stdout]   --> spec-cli/src/commands/trace.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     use spec_core::SpecGraph;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_add`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server};
[INFO] [stdout]    |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_check`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:28:17
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server};
[INFO] [stdout]    |                 ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dispatch_server`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:30:43
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server};
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server};
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `execute_query_standalone`
[INFO] [stdout]   --> spec-cli/src/commands/mod.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server};
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient`
[INFO] [stdout]   --> spec-cli/src/main.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind`
[INFO] [stdout]   --> spec-cli/src/main.rs:12:13
[INFO] [stdout]    |
[INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind};
[INFO] [stdout]    |             ^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/main.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]   --> spec-cli/src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::path::PathBuf;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tonic::Request`
[INFO] [stdout]   --> spec-cli/src/main.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tonic::Request;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind`
[INFO] [stdout]   --> spec-cli/src/main.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind};
[INFO] [stdout]    |                 ^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `persistence::store_router::*`
[INFO] [stdout]   --> spec-cli/src/main.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use persistence::store_router::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `client`
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:370:5
[INFO] [stdout]     |
[INFO] [stdout] 370 |     client: &mut SpecOracleClient<tonic::transport::Channel>,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `client`
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:370:5
[INFO] [stdout]     |
[INFO] [stdout] 370 |     client: &mut SpecOracleClient<tonic::transport::Channel>,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_semantically_related` is never used
[INFO] [stdout]    --> spec-cli/src/main.rs:503:4
[INFO] [stdout]     |
[INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_node_summary` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub fn format_node_summary(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_contradiction` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:63:8
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub fn format_contradiction(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_omission` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:78:8
[INFO] [stdout]    |
[INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_summary_line` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_percentage` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find_spec_file` is never used
[INFO] [stdout]   --> spec-cli/src/persistence/store_router.rs:62:8
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn find_spec_file() -> Option<PathBuf> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `should_use_standalone_mode` is never used
[INFO] [stdout]   --> spec-cli/src/persistence/store_router.rs:75:8
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub fn should_use_standalone_mode() -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_spec_file_path` is never used
[INFO] [stdout]   --> spec-cli/src/persistence/store_router.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option<PathBuf> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_edge_kind` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:49:8
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_add_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/add.rs:66:14
[INFO] [stdout]    |
[INFO] [stdout] 66 | pub async fn execute_add_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_add` is never used
[INFO] [stdout]    --> spec-cli/src/commands/add.rs:137:8
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub fn execute_add(
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_check_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/check.rs:143:14
[INFO] [stdout]     |
[INFO] [stdout] 143 | pub async fn execute_check_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_check` is never used
[INFO] [stdout]    --> spec-cli/src/commands/check.rs:220:8
[INFO] [stdout]     |
[INFO] [stdout] 220 | pub fn execute_check(
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_contradictions_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/contradictions.rs:105:14
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub async fn execute_contradictions_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dispatch_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:304:14
[INFO] [stdout]     |
[INFO] [stdout] 304 | pub async fn dispatch_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dispatch_api_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:369:10
[INFO] [stdout]     |
[INFO] [stdout] 369 | async fn dispatch_api_server(
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_find_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/find.rs:97:14
[INFO] [stdout]    |
[INFO] [stdout] 97 | pub async fn execute_find_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_init` is never used
[INFO] [stdout]   --> spec-cli/src/commands/init.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_readme` is never used
[INFO] [stdout]   --> spec-cli/src/commands/init.rs:66:4
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_start_script` is never used
[INFO] [stdout]    --> spec-cli/src/commands/init.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_stop_script` is never used
[INFO] [stdout]    --> spec-cli/src/commands/init.rs:179:4
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/layer.rs:155:14
[INFO] [stdout]     |
[INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_omissions_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/omissions.rs:32:14
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub async fn execute_omissions_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_query_standalone` is never used
[INFO] [stdout]  --> spec-cli/src/commands/query.rs:7:14
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub async fn execute_query_standalone(
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_query_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/query.rs:59:14
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub async fn execute_query_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_trace_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/trace.rs:121:14
[INFO] [stdout]     |
[INFO] [stdout] 121 | pub async fn execute_trace_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_watch_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/watch.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub async fn execute_watch_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_and_sync` is never used
[INFO] [stdout]   --> spec-cli/src/commands/watch.rs:83:10
[INFO] [stdout]    |
[INFO] [stdout] 83 | async fn extract_and_sync(
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_specifications` is never used
[INFO] [stdout]    --> spec-cli/src/commands/watch.rs:149:10
[INFO] [stdout]     |
[INFO] [stdout] 149 | async fn verify_specifications(
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `should_process_event` is never used
[INFO] [stdout]    --> spec-cli/src/commands/watch.rs:192:4
[INFO] [stdout]     |
[INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_semantically_related` is never used
[INFO] [stdout]    --> spec-cli/src/main.rs:503:4
[INFO] [stdout]     |
[INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_node_summary` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub fn format_node_summary(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_contradiction` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:63:8
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub fn format_contradiction(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_omission` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:78:8
[INFO] [stdout]    |
[INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_summary_line` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_percentage` is never used
[INFO] [stdout]   --> spec-cli/src/presentation/formatter.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find_spec_file` is never used
[INFO] [stdout]   --> spec-cli/src/persistence/store_router.rs:62:8
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn find_spec_file() -> Option<PathBuf> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_spec_file_path` is never used
[INFO] [stdout]   --> spec-cli/src/persistence/store_router.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option<PathBuf> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_edge_kind` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:49:8
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_add_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/add.rs:66:14
[INFO] [stdout]    |
[INFO] [stdout] 66 | pub async fn execute_add_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_add` is never used
[INFO] [stdout]    --> spec-cli/src/commands/add.rs:137:8
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub fn execute_add(
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_check_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/check.rs:143:14
[INFO] [stdout]     |
[INFO] [stdout] 143 | pub async fn execute_check_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_check` is never used
[INFO] [stdout]    --> spec-cli/src/commands/check.rs:220:8
[INFO] [stdout]     |
[INFO] [stdout] 220 | pub fn execute_check(
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_contradictions_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/contradictions.rs:105:14
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub async fn execute_contradictions_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dispatch_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:304:14
[INFO] [stdout]     |
[INFO] [stdout] 304 | pub async fn dispatch_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dispatch_api_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/dispatcher.rs:369:10
[INFO] [stdout]     |
[INFO] [stdout] 369 | async fn dispatch_api_server(
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_find_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/find.rs:97:14
[INFO] [stdout]    |
[INFO] [stdout] 97 | pub async fn execute_find_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_init` is never used
[INFO] [stdout]   --> spec-cli/src/commands/init.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_readme` is never used
[INFO] [stdout]   --> spec-cli/src/commands/init.rs:66:4
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_start_script` is never used
[INFO] [stdout]    --> spec-cli/src/commands/init.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_stop_script` is never used
[INFO] [stdout]    --> spec-cli/src/commands/init.rs:179:4
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box<dyn std::error::Error>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/layer.rs:155:14
[INFO] [stdout]     |
[INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_omissions_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/omissions.rs:32:14
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub async fn execute_omissions_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_query_standalone` is never used
[INFO] [stdout]  --> spec-cli/src/commands/query.rs:7:14
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub async fn execute_query_standalone(
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_query_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/query.rs:59:14
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub async fn execute_query_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_trace_server` is never used
[INFO] [stdout]    --> spec-cli/src/commands/trace.rs:121:14
[INFO] [stdout]     |
[INFO] [stdout] 121 | pub async fn execute_trace_server(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `execute_watch_server` is never used
[INFO] [stdout]   --> spec-cli/src/commands/watch.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub async fn execute_watch_server(
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_and_sync` is never used
[INFO] [stdout]   --> spec-cli/src/commands/watch.rs:83:10
[INFO] [stdout]    |
[INFO] [stdout] 83 | async fn extract_and_sync(
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_specifications` is never used
[INFO] [stdout]    --> spec-cli/src/commands/watch.rs:149:10
[INFO] [stdout]     |
[INFO] [stdout] 149 | async fn verify_specifications(
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `should_process_event` is never used
[INFO] [stdout]    --> spec-cli/src/commands/watch.rs:192:4
[INFO] [stdout]     |
[INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 56.06s
[INFO] running `Command { std: "docker" "inspect" "395a0ebf40cc43d05fe4908ab3df9c9da504811a5c886e2e91d6815e807a548b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "395a0ebf40cc43d05fe4908ab3df9c9da504811a5c886e2e91d6815e807a548b", kill_on_drop: false }`
[INFO] [stdout] 395a0ebf40cc43d05fe4908ab3df9c9da504811a5c886e2e91d6815e807a548b
