[INFO] cloning repository https://github.com/mookichi/proof-db
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mookichi/proof-db" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmookichi%2Fproof-db", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmookichi%2Fproof-db'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 647359cfa0e9c89ebc3f48c36fc450a08a5646ce
[INFO] documenting mookichi/proof-db against 1.98.0-beta.8 for beta-rustdoc-1.99-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmookichi%2Fproof-db" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-2-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/mookichi/proof-db
[INFO] finished tweaking git repo https://github.com/mookichi/proof-db
[INFO] tweaked toml for git repo https://github.com/mookichi/proof-db written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mookichi/proof-db on toolchain 1.98.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/mookichi/proof-db 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.98.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-2-tc1/source/nanoda/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded stacker v0.1.25
[INFO] [stderr]   Downloaded psm v0.1.32
[INFO] [stderr]   Downloaded tikv-jemalloc-ctl v0.6.1
[INFO] [stderr]   Downloaded rkyv_derive v0.7.46
[INFO] [stderr]   Downloaded ar_archive_writer v0.5.3
[INFO] [stderr]   Downloaded arrow-data v58.3.0
[INFO] [stderr]   Downloaded bitflags v2.12.1
[INFO] [stderr]   Downloaded arrow-arith v58.3.0
[INFO] [stderr]   Downloaded arrow-string v58.3.0
[INFO] [stderr]   Downloaded arrow-row v58.3.0
[INFO] [stderr]   Downloaded arrow-ord v58.3.0
[INFO] [stderr]   Downloaded log v0.4.31
[INFO] [stderr]   Downloaded arrow-schema v58.3.0
[INFO] [stderr]   Downloaded arrow v58.3.0
[INFO] [stderr]   Downloaded rkyv v0.7.46
[INFO] [stderr]   Downloaded arrow-select v58.3.0
[INFO] [stderr]   Downloaded arrow-buffer v58.3.0
[INFO] [stderr]   Downloaded zip v6.0.0
[INFO] [stderr]   Downloaded arrow-cast v58.3.0
[INFO] [stderr]   Downloaded rust_decimal v1.42.0
[INFO] [stderr]   Downloaded duckdb v1.10504.0
[INFO] [stderr]   Downloaded arrow-array v58.3.0
[INFO] [stderr]   Downloaded object v0.39.1
[INFO] [stderr]   Downloaded libduckdb-sys v1.10504.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011
[INFO] running `Command { std: "docker" "start" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011", 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" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011", 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" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/nanoda/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling stable_deref_trait v1.2.1
[INFO] [stderr]    Compiling memchr v2.8.1
[INFO] [stderr]    Compiling zerocopy v0.8.50
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]     Checking bitflags v2.12.1
[INFO] [stderr]    Compiling pin-project-lite v0.2.17
[INFO] [stderr]    Compiling bytes v1.11.1
[INFO] [stderr]    Compiling futures-core v0.3.32
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling litemap v0.8.2
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling writeable v0.6.3
[INFO] [stderr]    Compiling futures-sink v0.3.32
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]    Compiling zeroize v1.8.2
[INFO] [stderr]     Checking arrow-schema v58.3.0
[INFO] [stderr]    Compiling futures-task v0.3.32
[INFO] [stderr]    Compiling futures-io v0.3.32
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]     Checking chrono v0.4.44
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]     Checking lexical-util v1.0.7
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling object v0.39.1
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling atomic-waker v1.1.2
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling http v1.4.1
[INFO] [stderr]    Compiling sync_wrapper v1.0.2
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling tower-layer v0.3.3
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling ipnet v2.12.0
[INFO] [stderr]    Compiling log v0.4.31
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling zlib-rs v0.6.3
[INFO] [stderr]    Compiling bumpalo v3.20.3
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling socket2 v0.6.4
[INFO] [stderr]    Compiling mio v1.2.1
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]     Checking rustix v0.38.44
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling zopfli v0.8.3
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling filetime v0.2.29
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]     Checking lexical-parse-integer v1.0.6
[INFO] [stderr]     Checking lexical-write-integer v1.0.6
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking lexical-parse-float v1.0.6
[INFO] [stderr]     Checking lexical-write-float v1.0.6
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling nix v0.31.3
[INFO] [stderr]     Checking crossterm v0.28.1
[INFO] [stderr]     Checking atoi v2.0.0
[INFO] [stderr]     Checking lexical-core v1.0.6
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling rust_decimal v1.42.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking comfy-table v7.1.4
[INFO] [stderr]     Checking either v1.16.0
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking hashlink v0.10.0
[INFO] [stderr]     Checking twox-hash v2.1.2
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking semver v1.0.28
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking fallible-iterator v0.3.0
[INFO] [stderr]     Checking lz4_flex v0.11.6
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling tikv-jemalloc-sys v0.6.1+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]    Compiling stacker v0.1.25
[INFO] [stderr]     Checking ctrlc v3.5.2
[INFO] [stderr]    Compiling xattr v1.6.1
[INFO] [stderr]    Compiling tar v0.4.46
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling ar_archive_writer v0.5.3
[INFO] [stderr]    Compiling psm v0.1.32
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling zip v6.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.50
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.6
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]    Compiling hyper v1.10.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]     Checking zstd v0.13.3
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]     Checking strum v0.27.2
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking proof-db-lean-export v0.1.0 (/opt/rustwide/workdir/crates/proof-db-lean-export)
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]     Checking nanoda_lib v0.4.10-beta (/opt/rustwide/workdir/nanoda)
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking arrow-buffer v58.3.0
[INFO] [stderr]     Checking rand v0.8.6
[INFO] [stderr]     Checking arrow-data v58.3.0
[INFO] [stderr]     Checking arrow-array v58.3.0
[INFO] [stdout] warning: constant `MAX_EXPR_TRAVERSE_DEPTH` is never used
[INFO] [stdout]    --> nanoda/src/util.rs:191:18
[INFO] [stdout]     |
[INFO] [stdout] 191 | pub(crate) const MAX_EXPR_TRAVERSE_DEPTH: u32 = 500;
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling libduckdb-sys v1.10504.0
[INFO] [stderr]     Checking arrow-select v58.3.0
[INFO] [stderr]     Checking arrow-arith v58.3.0
[INFO] [stderr]     Checking arrow-row v58.3.0
[INFO] [stderr]     Checking arrow-ord v58.3.0
[INFO] [stderr]     Checking arrow-string v58.3.0
[INFO] [stderr]     Checking arrow-cast v58.3.0
[INFO] [stderr]     Checking arrow v58.3.0
[INFO] [stderr]     Checking duckdb v1.10504.0
[INFO] [stderr]     Checking tikv-jemallocator v0.6.1
[INFO] [stderr]     Checking tikv-jemalloc-ctl v0.6.1
[INFO] [stderr]     Checking proof-db v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]  Documenting proof-db v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `FxHashSet`
[INFO] [stdout]   --> src/cache.rs:13:29
[INFO] [stdout]    |
[INFO] [stdout] 13 | use rustc_hash::{FxHashMap, FxHashSet};
[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: `std::sync::Arc`
[INFO] [stdout]   --> src/cache.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::sync::Arc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::goal`
[INFO] [stdout]   --> src/lemma_index.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::goal;
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::atomic::Ordering`
[INFO] [stdout]   --> src/lemma_index.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 | use std::sync::atomic::Ordering;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> src/lemma_index.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 | use std::time::Duration;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]     --> src/dag_bfs.rs:1426:1
[INFO] [stdout]      |
[INFO] [stdout] 1426 | / /// hash_goal の仮説ハッシュを格納する再利用バッファ。
[INFO] [stdout] 1427 | | /// BFS の全ノード展開で hash_goal が高頻度に呼ばれるため、毎回 Vec を
[INFO] [stdout] 1428 | | /// 確保すると GC/アロケータ負荷になる。thread_local で使い回す。
[INFO] [stdout] 1429 | | /// 再入（hash_goal → hash_goal）は発生しない（hash_expr_ptr_deadline は
[INFO] [stdout] 1430 | | /// hash_goal を呼ばない）。万一再入した場合は RefCell が panic で検出する。
[INFO] [stdout]      | |_---------------------------------------------------------------------------^
[INFO] [stdout]      |   |
[INFO] [stdout]      |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]      |
[INFO] [stdout]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout]      = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]     --> src/dag_bfs.rs:6722:1
[INFO] [stdout]      |
[INFO] [stdout] 6722 | / /// Oracle failure diagnostics: records the FIRST point where a library-proof replay
[INFO] [stdout] 6723 | | /// fails (deepest stuck leaf, since successful paths never note a failure). Read by
[INFO] [stdout] 6724 | | /// [`oracle_follow_diag`] after a failed replay to explain WHY the search cannot
[INFO] [stdout] 6725 | | /// express the existing proof with its current transitions.
[INFO] [stdout]      | |_-----------------------------------------------------------^
[INFO] [stdout]      |   |
[INFO] [stdout]      |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]      |
[INFO] [stdout]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4132 |                 try_lemma_entry!(entry, source_congr_arg, success_congr_arg);
[INFO] [stdout]      |                 ------------------------------------------------------------ in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4167 |                     try_lemma_entry!(entry, source_by_dt, success_by_dt);
[INFO] [stdout]      |                     ---------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4202 |                 try_lemma_entry!(entry, source_by_shape, success_by_shape);
[INFO] [stdout]      |                 ---------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 | ...                   use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4240 | ...                    try_lemma_entry!(fake_entry, source_eq_pair, success_eq_pair);
[INFO] [stdout]      |                        ------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 | ...                   use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4255 | ...                   try_lemma_entry!(fake_entry, source_eq_pair, success_eq_pair);
[INFO] [stdout]      |                       ------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 | ...                   use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4272 | ...                       try_lemma_entry!(fake_entry, source_eq_pair, success_eq_pair);
[INFO] [stdout]      |                           ------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 | ...                   use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4290 | ...                       try_lemma_entry!(fake_entry, source_eq_pair, success_eq_pair);
[INFO] [stdout]      |                           ------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4315 |                         try_lemma_entry!(entry, source_by_struct, success_by_struct);
[INFO] [stdout]      |                         ------------------------------------------------------------ in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4358 |                         try_lemma_entry!(entry, source_by_head, success_by_head);
[INFO] [stdout]      |                         -------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4373 |                 try_lemma_entry!(entry, source_var_target, success_var_target);
[INFO] [stdout]      |                 -------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4387 |                     try_lemma_entry!(entry, source_sort_target, success_sort_target);
[INFO] [stdout]      |                     ---------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::kernel::convert::name_ptr_to_string`
[INFO] [stdout]     --> src/dag_bfs.rs:3997:49
[INFO] [stdout]      |
[INFO] [stdout] 3997 |                                             use crate::kernel::convert::name_ptr_to_string;
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 4399 |                         try_lemma_entry!(entry, source_all_lemmas, success_all_lemmas);
[INFO] [stdout]      |                         -------------------------------------------------------------- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `try_lemma_entry` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]     --> src/dag_bfs.rs:1426:1
[INFO] [stdout]      |
[INFO] [stdout] 1426 | / /// hash_goal の仮説ハッシュを格納する再利用バッファ。
[INFO] [stdout] 1427 | | /// BFS の全ノード展開で hash_goal が高頻度に呼ばれるため、毎回 Vec を
[INFO] [stdout] 1428 | | /// 確保すると GC/アロケータ負荷になる。thread_local で使い回す。
[INFO] [stdout] 1429 | | /// 再入（hash_goal → hash_goal）は発生しない（hash_expr_ptr_deadline は
[INFO] [stdout] 1430 | | /// hash_goal を呼ばない）。万一再入した場合は RefCell が panic で検出する。
[INFO] [stdout]      | |_---------------------------------------------------------------------------^
[INFO] [stdout]      |   |
[INFO] [stdout]      |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]      |
[INFO] [stdout]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout]      = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]     --> src/dag_bfs.rs:6722:1
[INFO] [stdout]      |
[INFO] [stdout] 6722 | / /// Oracle failure diagnostics: records the FIRST point where a library-proof replay
[INFO] [stdout] 6723 | | /// fails (deepest stuck leaf, since successful paths never note a failure). Read by
[INFO] [stdout] 6724 | | /// [`oracle_follow_diag`] after a failed replay to explain WHY the search cannot
[INFO] [stdout] 6725 | | /// express the existing proof with its current transitions.
[INFO] [stdout]      | |_-----------------------------------------------------------^
[INFO] [stdout]      |   |
[INFO] [stdout]      |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]      |
[INFO] [stdout]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `new` links to private item `Self::apply_memory_limit`
[INFO] [stdout]    --> src/db.rs:282:40
[INFO] [stdout]     |
[INFO] [stdout] 282 |     /// Also sets `memory_limit` via [`Self::apply_memory_limit`] to prevent
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout]     = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `in_memory` links to private item `Self::apply_memory_limit`
[INFO] [stdout]    --> src/db.rs:294:40
[INFO] [stdout]     |
[INFO] [stdout] 294 |     /// Also sets `memory_limit` via [`Self::apply_memory_limit`] to prevent
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Var`
[INFO] [stdout]    --> src/dag_bfs.rs:965:21
[INFO] [stdout]     |
[INFO] [stdout] 965 | /// - Var はワイルドカード（[Var]）。
[INFO] [stdout]     |                              ^^^ no item named `Var` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]     = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `prefix`
[INFO] [stdout]     --> src/db.rs:1659:19
[INFO] [stdout]      |
[INFO] [stdout] 1659 |     ///   name = '<prefix>' OR name LIKE '<prefix>.%'
[INFO] [stdout]      |                   ^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `prefix`
[INFO] [stdout]     --> src/db.rs:1659:43
[INFO] [stdout]      |
[INFO] [stdout] 1659 |     ///   name = '<prefix>' OR name LIKE '<prefix>.%'
[INFO] [stdout]      |                                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `bool`
[INFO] [stdout]    --> src/kernel/cache.rs:153:18
[INFO] [stdout]     |
[INFO] [stdout] 153 | /// Returns a Vec<bool> with `true` at positions corresponding to recursive fields.
[INFO] [stdout]     |                  ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 153 | /// Returns a `Vec<bool>` with `true` at positions corresponding to recursive fields.
[INFO] [stdout]     |               +         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Expr`
[INFO] [stdout]     --> src/lemma_index.rs:1879:34
[INFO] [stdout]      |
[INFO] [stdout] 1879 | /// 互換性: `premises` フィールド（従来の Vec<Expr>）を使用。
[INFO] [stdout]      |                                              ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 1879 | /// 互換性: `premises` フィールド（従来の `Vec<Expr>`）を使用。
[INFO] [stdout]      |                                           +         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `uparams_cache`
[INFO] [stdout]    --> src/kernel/convert.rs:252:5
[INFO] [stdout]     |
[INFO] [stdout] 252 |     uparams_cache: Option<&FxHashMap<String, LevelsPtr<'static>>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_uparams_cache`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `goal`
[INFO] [stdout]     --> src/lemma_index.rs:1242:9
[INFO] [stdout]      |
[INFO] [stdout] 1242 |         goal: &Goal,
[INFO] [stdout]      |         ^^^^ help: if this is intentional, prefix it with an underscore: `_goal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/dag_bfs.rs:1029:9
[INFO] [stdout]      |
[INFO] [stdout] 1029 |     let mut frontiers = dt_query_term(ctx, tree, 0, term, out);
[INFO] [stdout]      |         ----^^^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/dag_bfs.rs:1044:10
[INFO] [stdout]      |
[INFO] [stdout] 1044 |     for (i, arg) in args.iter().enumerate() {
[INFO] [stdout]      |          ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binder_type`
[INFO] [stdout]     --> src/dag_bfs.rs:1091:20
[INFO] [stdout]      |
[INFO] [stdout] 1091 |         Expr::Pi { binder_type, body, .. } => {
[INFO] [stdout]      |                    ^^^^^^^^^^^ help: try ignoring the field: `binder_type: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]     --> src/dag_bfs.rs:1091:33
[INFO] [stdout]      |
[INFO] [stdout] 1091 |         Expr::Pi { binder_type, body, .. } => {
[INFO] [stdout]      |                                 ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `alpha`
[INFO] [stdout]     --> src/dag_bfs.rs:3242:10
[INFO] [stdout]      |
[INFO] [stdout] 3242 |     for (alpha, subterm, repl, _eq_h, _use_symm, _is_iff) in steps {
[INFO] [stdout]      |          ^^^^^ help: if this is intentional, prefix it with an underscore: `_alpha`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f1`
[INFO] [stdout]     --> src/dag_bfs.rs:3518:31
[INFO] [stdout]      |
[INFO] [stdout] 3518 |             (Expr::App { fun: f1, .. }, Expr::Var { dbj_idx: 0, .. }) => true,
[INFO] [stdout]      |                               ^^ help: if this is intentional, prefix it with an underscore: `_f1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `batch_almost_done`
[INFO] [stdout]     --> src/dag_bfs.rs:4520:5
[INFO] [stdout]      |
[INFO] [stdout] 4520 |     batch_almost_done: Option<&std::sync::atomic::AtomicBool>,
[INFO] [stdout]      |     ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_batch_almost_done`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `num_subgoals`
[INFO] [stdout]     --> src/dag_bfs.rs:8362:56
[INFO] [stdout]      |
[INFO] [stdout] 8362 |                         ProofStep::Apply { lemma_name, num_subgoals, .. } => format!("apply:{}", lemma_name),
[INFO] [stdout]      |                                                        ^^^^^^^^^^^^ help: try ignoring the field: `num_subgoals: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `DiscriminationTree` is more private than the item `DagLemmaIndex::apply_dt`
[INFO] [stdout]    --> src/dag_bfs.rs:521:5
[INFO] [stdout]     |
[INFO] [stdout] 521 |     pub apply_dt: DiscriminationTree,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `DagLemmaIndex::apply_dt` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `DiscriminationTree` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/dag_bfs.rs:933:1
[INFO] [stdout]     |
[INFO] [stdout] 933 | struct DiscriminationTree {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `idx` is never read
[INFO] [stdout]    --> src/kernel/convert.rs:264:34
[INFO] [stdout]     |
[INFO] [stdout] 264 |         ProjDone { name: String, idx: u32 },
[INFO] [stdout]     |         --------                 ^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `neg` is never used
[INFO] [stdout]     --> src/dag_bfs.rs:5642:8
[INFO] [stdout]      |
[INFO] [stdout] 5637 | impl LinForm {
[INFO] [stdout]      | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 5642 |     fn neg(&self) -> LinForm {
[INFO] [stdout]      |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lin_mk_const_name` is never used
[INFO] [stdout]     --> src/dag_bfs.rs:5807:4
[INFO] [stdout]      |
[INFO] [stdout] 5807 | fn lin_mk_const_name<'t>(ctx: &mut TcCtx<'t, '_>, name: &str) -> ExprPtr<'t> {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not document `proof-db`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.98.0-beta.8-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type bin --crate-name scan_whnf_stats src/bin/scan_whnf_stats.rs -o /opt/rustwide/target/doc --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat -C metadata=93df40ded6130974 -L dependency=/opt/rustwide/target/debug/deps --extern bincode=/opt/rustwide/target/debug/deps/libbincode-48fe090b80a08bef.rmeta --extern ctrlc=/opt/rustwide/target/debug/deps/libctrlc-c497ba667f5e8fa0.rmeta --extern duckdb=/opt/rustwide/target/debug/deps/libduckdb-47e5af49929dc471.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-429dfd1ac78a8e90.rmeta --extern lz4_flex=/opt/rustwide/target/debug/deps/liblz4_flex-7ab5ac32488f7189.rmeta --extern nanoda_lib=/opt/rustwide/target/debug/deps/libnanoda_lib-00901c48232762a7.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-e1900a0a293a7ed7.rmeta --extern proof_db=/opt/rustwide/target/debug/deps/libproof_db-49350df74f936daa.rmeta --extern proof_db_lean_export=/opt/rustwide/target/debug/deps/libproof_db_lean_export-233bed6b9240c96a.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-1ca4837267da60b0.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-4c4ada2a09bdeead.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-ba0eae090a9795a0.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-73a437d338f1c1fd.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-5eb9389fd1a0a0b7.rmeta --extern stacker=/opt/rustwide/target/debug/deps/libstacker-b13f94c599dbc3ec.rmeta --extern tikv_jemalloc_ctl=/opt/rustwide/target/debug/deps/libtikv_jemalloc_ctl-b0e76f085ea62025.rmeta --extern tikv_jemallocator=/opt/rustwide/target/debug/deps/libtikv_jemallocator-55f8c74d10e33828.rmeta --extern zstd=/opt/rustwide/target/debug/deps/libzstd-09cc378103eafa6b.rmeta --document-private-items '-Arustdoc::private-intra-doc-links' --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not document `proof-db`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.98.0-beta.8-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type bin --crate-name analyze_goal_shapes src/bin/analyze_goal_shapes.rs -o /opt/rustwide/target/doc --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat -C metadata=ac6602c46ac73d56 -L dependency=/opt/rustwide/target/debug/deps --extern bincode=/opt/rustwide/target/debug/deps/libbincode-48fe090b80a08bef.rmeta --extern ctrlc=/opt/rustwide/target/debug/deps/libctrlc-c497ba667f5e8fa0.rmeta --extern duckdb=/opt/rustwide/target/debug/deps/libduckdb-47e5af49929dc471.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-429dfd1ac78a8e90.rmeta --extern lz4_flex=/opt/rustwide/target/debug/deps/liblz4_flex-7ab5ac32488f7189.rmeta --extern nanoda_lib=/opt/rustwide/target/debug/deps/libnanoda_lib-00901c48232762a7.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-e1900a0a293a7ed7.rmeta --extern proof_db=/opt/rustwide/target/debug/deps/libproof_db-49350df74f936daa.rmeta --extern proof_db_lean_export=/opt/rustwide/target/debug/deps/libproof_db_lean_export-233bed6b9240c96a.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-1ca4837267da60b0.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-4c4ada2a09bdeead.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-ba0eae090a9795a0.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-73a437d338f1c1fd.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-5eb9389fd1a0a0b7.rmeta --extern stacker=/opt/rustwide/target/debug/deps/libstacker-b13f94c599dbc3ec.rmeta --extern tikv_jemalloc_ctl=/opt/rustwide/target/debug/deps/libtikv_jemalloc_ctl-b0e76f085ea62025.rmeta --extern tikv_jemallocator=/opt/rustwide/target/debug/deps/libtikv_jemallocator-55f8c74d10e33828.rmeta --extern zstd=/opt/rustwide/target/debug/deps/libzstd-09cc378103eafa6b.rmeta --document-private-items '-Arustdoc::private-intra-doc-links' --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not document `proof-db`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.98.0-beta.8-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type bin --crate-name scan_parse_errors src/bin/scan_parse_errors.rs -o /opt/rustwide/target/doc --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat -C metadata=dca329db02031008 -L dependency=/opt/rustwide/target/debug/deps --extern bincode=/opt/rustwide/target/debug/deps/libbincode-48fe090b80a08bef.rmeta --extern ctrlc=/opt/rustwide/target/debug/deps/libctrlc-c497ba667f5e8fa0.rmeta --extern duckdb=/opt/rustwide/target/debug/deps/libduckdb-47e5af49929dc471.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-429dfd1ac78a8e90.rmeta --extern lz4_flex=/opt/rustwide/target/debug/deps/liblz4_flex-7ab5ac32488f7189.rmeta --extern nanoda_lib=/opt/rustwide/target/debug/deps/libnanoda_lib-00901c48232762a7.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-e1900a0a293a7ed7.rmeta --extern proof_db=/opt/rustwide/target/debug/deps/libproof_db-49350df74f936daa.rmeta --extern proof_db_lean_export=/opt/rustwide/target/debug/deps/libproof_db_lean_export-233bed6b9240c96a.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-1ca4837267da60b0.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-4c4ada2a09bdeead.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-ba0eae090a9795a0.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-73a437d338f1c1fd.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-5eb9389fd1a0a0b7.rmeta --extern stacker=/opt/rustwide/target/debug/deps/libstacker-b13f94c599dbc3ec.rmeta --extern tikv_jemalloc_ctl=/opt/rustwide/target/debug/deps/libtikv_jemalloc_ctl-b0e76f085ea62025.rmeta --extern tikv_jemallocator=/opt/rustwide/target/debug/deps/libtikv_jemallocator-55f8c74d10e33828.rmeta --extern zstd=/opt/rustwide/target/debug/deps/libzstd-09cc378103eafa6b.rmeta --document-private-items '-Arustdoc::private-intra-doc-links' --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not document `proof-db`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.98.0-beta.8-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type bin --crate-name dag_bfs_eval src/bin/dag_bfs_eval.rs -o /opt/rustwide/target/doc --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat -C metadata=e9daf6cd7f555f3f -L dependency=/opt/rustwide/target/debug/deps --extern bincode=/opt/rustwide/target/debug/deps/libbincode-48fe090b80a08bef.rmeta --extern ctrlc=/opt/rustwide/target/debug/deps/libctrlc-c497ba667f5e8fa0.rmeta --extern duckdb=/opt/rustwide/target/debug/deps/libduckdb-47e5af49929dc471.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-429dfd1ac78a8e90.rmeta --extern lz4_flex=/opt/rustwide/target/debug/deps/liblz4_flex-7ab5ac32488f7189.rmeta --extern nanoda_lib=/opt/rustwide/target/debug/deps/libnanoda_lib-00901c48232762a7.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-e1900a0a293a7ed7.rmeta --extern proof_db=/opt/rustwide/target/debug/deps/libproof_db-49350df74f936daa.rmeta --extern proof_db_lean_export=/opt/rustwide/target/debug/deps/libproof_db_lean_export-233bed6b9240c96a.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-1ca4837267da60b0.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-4c4ada2a09bdeead.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-ba0eae090a9795a0.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-73a437d338f1c1fd.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-5eb9389fd1a0a0b7.rmeta --extern stacker=/opt/rustwide/target/debug/deps/libstacker-b13f94c599dbc3ec.rmeta --extern tikv_jemalloc_ctl=/opt/rustwide/target/debug/deps/libtikv_jemalloc_ctl-b0e76f085ea62025.rmeta --extern tikv_jemallocator=/opt/rustwide/target/debug/deps/libtikv_jemallocator-55f8c74d10e33828.rmeta --extern zstd=/opt/rustwide/target/debug/deps/libzstd-09cc378103eafa6b.rmeta --document-private-items '-Arustdoc::private-intra-doc-links' --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not document `proof-db`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.98.0-beta.8-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type bin --crate-name verify_recs src/bin/verify_recs.rs -o /opt/rustwide/target/doc --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat -C metadata=884c9f2472327576 -L dependency=/opt/rustwide/target/debug/deps --extern bincode=/opt/rustwide/target/debug/deps/libbincode-48fe090b80a08bef.rmeta --extern ctrlc=/opt/rustwide/target/debug/deps/libctrlc-c497ba667f5e8fa0.rmeta --extern duckdb=/opt/rustwide/target/debug/deps/libduckdb-47e5af49929dc471.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-429dfd1ac78a8e90.rmeta --extern lz4_flex=/opt/rustwide/target/debug/deps/liblz4_flex-7ab5ac32488f7189.rmeta --extern nanoda_lib=/opt/rustwide/target/debug/deps/libnanoda_lib-00901c48232762a7.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-e1900a0a293a7ed7.rmeta --extern proof_db=/opt/rustwide/target/debug/deps/libproof_db-49350df74f936daa.rmeta --extern proof_db_lean_export=/opt/rustwide/target/debug/deps/libproof_db_lean_export-233bed6b9240c96a.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-1ca4837267da60b0.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-4c4ada2a09bdeead.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-ba0eae090a9795a0.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-73a437d338f1c1fd.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-5eb9389fd1a0a0b7.rmeta --extern stacker=/opt/rustwide/target/debug/deps/libstacker-b13f94c599dbc3ec.rmeta --extern tikv_jemalloc_ctl=/opt/rustwide/target/debug/deps/libtikv_jemalloc_ctl-b0e76f085ea62025.rmeta --extern tikv_jemallocator=/opt/rustwide/target/debug/deps/libtikv_jemallocator-55f8c74d10e33828.rmeta --extern zstd=/opt/rustwide/target/debug/deps/libzstd-09cc378103eafa6b.rmeta --document-private-items '-Arustdoc::private-intra-doc-links' --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stdout] warning: this URL is not a hyperlink
[INFO] [stdout]  --> src/bin/mathlib_lemma_prover.rs:3:24
[INFO] [stdout]   |
[INFO] [stdout] 3 | //! MathlibLemma リポジトリ（https://github.com/Sequential-Intelligence-Lab/MathlibLemma）
[INFO] [stdout]   |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: bare URLs are not automatically turned into clickable links
[INFO] [stdout]   = note: `#[warn(rustdoc::bare_urls)]` on by default
[INFO] [stdout] help: use an automatic link instead
[INFO] [stdout]   |
[INFO] [stdout] 3 | //! MathlibLemma リポジトリ（<https://github.com/Sequential-Intelligence-Lab/MathlibLemma>）
[INFO] [stdout]   |                              +                                                           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `duckdb-path`
[INFO] [stdout]  --> src/bin/dag_cache_test.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | //! Usage: dag-cache-test <duckdb-path> <export-file-path>
[INFO] [stdout]   |                           ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `export-file-path`
[INFO] [stdout]  --> src/bin/dag_cache_test.rs:4:41
[INFO] [stdout]   |
[INFO] [stdout] 4 | //! Usage: dag-cache-test <duckdb-path> <export-file-path>
[INFO] [stdout]   |                                         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011", kill_on_drop: false }`
[INFO] [stdout] 3195919be4423c1b5b134723d398232a5fe15ee749061b17a4a2b53d8244a011
