[INFO] cloning repository https://github.com/BTCDecoded/consensus-proof [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/BTCDecoded/consensus-proof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBTCDecoded%2Fconsensus-proof", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBTCDecoded%2Fconsensus-proof'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ee1cdf3697fc6df9d9fbba898b1dc14e40f610a3 [INFO] documenting BTCDecoded/consensus-proof against 1.97.0-beta.6 for beta-rustdoc-1.98-4 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBTCDecoded%2Fconsensus-proof" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/BTCDecoded/consensus-proof [INFO] finished tweaking git repo https://github.com/BTCDecoded/consensus-proof [INFO] tweaked toml for git repo https://github.com/BTCDecoded/consensus-proof written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/BTCDecoded/consensus-proof on toolchain 1.97.0-beta.6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 251 packages to latest Rust 1.85 compatible versions [INFO] [stderr] Adding bincode v1.3.3 (available: v3.0.0) [INFO] [stderr] Adding bitcoin_hashes v0.11.0 (available: v1.1.0) [INFO] [stderr] Adding bolero v0.11.1 (available: v0.13.4) [INFO] [stderr] Adding criterion v0.5.1 (available: v0.7.0) [INFO] [stderr] Adding digest v0.10.7 (available: v0.11.3) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding icu_collections v2.1.1 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_locale_core v2.1.1 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_normalizer v2.1.1 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_normalizer_data v2.1.1 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_properties v2.1.2 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_properties_data v2.1.2 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding icu_provider v2.1.1 (available: v2.2.0, requires Rust 1.86) [INFO] [stderr] Adding idna_adapter v1.2.1 (available: v1.2.2, requires Rust 1.86) [INFO] [stderr] Adding lru v0.16.4 (available: v0.18.1) [INFO] [stderr] Adding proptest v1.5.0 (available: v1.11.0) [INFO] [stderr] Adding reqwest v0.11.27 (available: v0.13.4) [INFO] [stderr] Adding ripemd v0.1.3 (available: v0.2.0) [INFO] [stderr] Adding rustc-hash v2.1.1 (available: v2.1.3) [INFO] [stderr] Adding secp256k1 v0.28.2 (available: v0.31.1) [INFO] [stderr] Adding serde v1.0.228 (available: v1.0.229) [INFO] [stderr] Adding serde_core v1.0.228 (available: v1.0.229) [INFO] [stderr] Adding serde_derive v1.0.228 (available: v1.0.229) [INFO] [stderr] Adding serde_json v1.0.133 (available: v1.0.150) [INFO] [stderr] Adding sha1 v0.10.6 (available: v0.10.7) [INFO] [stderr] Adding sha2 v0.10.9 (available: v0.11.0) [INFO] [stderr] Adding siphasher v0.3.11 (available: v1.0.3) [INFO] [stderr] Adding toml v0.8.2 (available: v0.8.23) [INFO] [stderr] Adding toml_datetime v0.6.3 (available: v0.6.11) [INFO] [stderr] Adding toml_edit v0.20.2 (available: v0.20.7) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded sha2-asm v0.6.4 [INFO] [stderr] Downloaded serde_json v1.0.133 [INFO] [stderr] Downloaded rand_xorshift v0.3.0 [INFO] [stderr] Downloaded ripemd v0.1.3 [INFO] [stderr] Downloaded fastrand v2.5.0 [INFO] [stderr] Downloaded bolero-engine v0.11.2 [INFO] [stderr] Downloaded bolero v0.11.1 [INFO] [stderr] Downloaded proc-macro-crate v2.0.2 [INFO] [stderr] Downloaded pretty-hex v0.4.2 [INFO] [stderr] Downloaded bolero-generator-derive v0.11.0 [INFO] [stderr] Downloaded bolero-kani v0.11.2 [INFO] [stderr] Downloaded crossbeam-queue v0.3.13 [INFO] [stderr] Downloaded bolero-generator v0.11.1 [INFO] [stderr] Downloaded secp256k1 v0.28.2 [INFO] [stderr] Downloaded blvm-muhash v0.1.9 [INFO] [stderr] Downloaded clap v4.6.2 [INFO] [stderr] Downloaded bitcoin_hashes v0.11.0 [INFO] [stderr] Downloaded blvm-primitives v0.1.18 [INFO] [stderr] Downloaded proptest v1.5.0 [INFO] [stderr] Downloaded bolero-libfuzzer v0.11.0 [INFO] [stderr] Downloaded bolero-afl v0.11.0 [INFO] [stderr] Downloaded clap_builder v4.6.2 [INFO] [stderr] Downloaded blvm-spec-lock v0.1.32 [INFO] [stderr] Downloaded bolero-honggfuzz v0.11.0 [INFO] [stderr] Downloaded blvm-secp256k1 v0.1.10 [INFO] [stderr] Downloaded secp256k1-sys v0.9.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c [INFO] running `Command { std: "docker" "start" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", 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" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", 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" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.107 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.47 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling find-msvc-tools v0.1.9 [INFO] [stderr] Compiling shlex v2.0.1 [INFO] [stderr] Checking typenum v1.20.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling crossbeam-utils v0.8.22 [INFO] [stderr] Compiling autocfg v1.5.1 [INFO] [stderr] Compiling cc v1.3.0 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling crossbeam-epoch v0.9.20 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling memchr v2.8.3 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling serde_json v1.0.133 [INFO] [stderr] Compiling anstyle-parse v1.0.0 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Compiling syn v2.0.119 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Compiling anstyle v1.0.14 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling colorchoice v1.0.5 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling anstyle-query v1.1.5 [INFO] [stderr] Compiling hashbrown v0.17.1 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.2 [INFO] [stderr] Compiling crossbeam-deque v0.8.7 [INFO] [stderr] Compiling anstream v1.0.0 [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling indexmap v2.14.0 [INFO] [stderr] Compiling sha2-asm v0.6.4 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling clap_lex v1.1.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling anyhow v1.0.104 [INFO] [stderr] Compiling regex-syntax v0.8.11 [INFO] [stderr] Compiling clap_builder v4.6.2 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Compiling blvm-secp256k1 v0.1.10 [INFO] [stderr] Checking foldhash v0.2.0 [INFO] [stderr] Checking ryu v1.0.23 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking hashbrown v0.16.1 [INFO] [stderr] Checking num-bigint v0.4.8 [INFO] [stderr] Checking ripemd v0.1.3 [INFO] [stderr] Checking rustc-hash v2.1.1 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking bitcoin_hashes v0.11.0 [INFO] [stderr] Checking either v1.16.0 [INFO] [stderr] Checking rayon v1.12.0 [INFO] [stderr] Checking lru v0.16.4 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking crossbeam-queue v0.3.13 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling regex-automata v0.4.16 [INFO] [stderr] Checking siphasher v0.3.11 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling clap_derive v4.6.1 [INFO] [stderr] Compiling regex v1.13.1 [INFO] [stderr] Compiling clap v4.6.2 [INFO] [stderr] Checking smallvec v1.15.2 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling toml_datetime v0.6.3 [INFO] [stderr] Compiling toml_edit v0.20.2 [INFO] [stderr] Checking blvm-primitives v0.1.18 [INFO] [stderr] Compiling toml v0.8.2 [INFO] [stderr] Compiling blvm-spec-lock v0.1.32 [INFO] [stderr] Documenting blvm-consensus v0.1.34 (/opt/rustwide/workdir) [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/transaction.rs:159:1 [INFO] [stdout] | [INFO] [stdout] 159 | / /// CheckTransaction: 𝒯𝒳 → {valid, invalid} [INFO] [stdout] 160 | | /// [INFO] [stdout] 161 | | /// A transaction tx = (v, ins, outs, lt) is valid if and only if: [INFO] [stdout] 162 | | /// 1. |ins| > 0 ∧ |outs| > 0 [INFO] [stdout] ... | [INFO] [stdout] 170 | | /// [INFO] [stdout] 171 | | /// Uses fast-path checks before full validation. [INFO] [stdout] | |_________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] 8. If tx is coinbase: 2 ≤ |ins[0].scriptSig| ≤ 100 [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `0` in scope [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: unresolved link to `0` [INFO] [stdout] --> src/pow.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 29 | /// - prev[0] is the first block of the adjustment period [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:821:1 [INFO] [stdout] | [INFO] [stdout] 821 | / /// Compress target to compact representation [INFO] [stdout] 822 | | /// [INFO] [stdout] 823 | | /// Reverse of expand_target: converts U256 target back to compact bits format. [INFO] [stdout] 824 | | /// Implements GetCompact() algorithm for nBits. [INFO] [stdout] ... | [INFO] [stdout] 847 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 848 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: expanded.0[2] = target.0[2] ∧ expanded.0[3] = target.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:821:1 [INFO] [stdout] | [INFO] [stdout] 821 | / /// Compress target to compact representation [INFO] [stdout] 822 | | /// [INFO] [stdout] 823 | | /// Reverse of expand_target: converts U256 target back to compact bits format. [INFO] [stdout] 824 | | /// Implements GetCompact() algorithm for nBits. [INFO] [stdout] ... | [INFO] [stdout] 847 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 848 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: expanded.0[2] = target.0[2] ∧ expanded.0[3] = target.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:821:1 [INFO] [stdout] | [INFO] [stdout] 821 | / /// Compress target to compact representation [INFO] [stdout] 822 | | /// [INFO] [stdout] 823 | | /// Reverse of expand_target: converts U256 target back to compact bits format. [INFO] [stdout] 824 | | /// Implements GetCompact() algorithm for nBits. [INFO] [stdout] ... | [INFO] [stdout] 847 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 848 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: expanded.0[2] = target.0[2] ∧ expanded.0[3] = target.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:821:1 [INFO] [stdout] | [INFO] [stdout] 821 | / /// Compress target to compact representation [INFO] [stdout] 822 | | /// [INFO] [stdout] 823 | | /// Reverse of expand_target: converts U256 target back to compact bits format. [INFO] [stdout] 824 | | /// Implements GetCompact() algorithm for nBits. [INFO] [stdout] ... | [INFO] [stdout] 847 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 848 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: expanded.0[2] = target.0[2] ∧ expanded.0[3] = target.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/segwit.rs:268:14 [INFO] [stdout] | [INFO] [stdout] 268 | /// script[0] = 0x6a (OP_RETURN) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/segwit.rs:269:14 [INFO] [stdout] | [INFO] [stdout] 269 | /// script[1] = 0x24 (push 36 bytes) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `validate_block_with_time_context` [INFO] [stdout] --> src/lib.rs:169:32 [INFO] [stdout] | [INFO] [stdout] 169 | /// wall-clock time. Use [`validate_block_with_time_context`] with explicit witnesses, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `validate_block_with_time_context` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `StackElement` [INFO] [stdout] --> src/script/mod.rs:384:62 [INFO] [stdout] | [INFO] [stdout] 384 | /// for optimal performance. This function works with any Vec. [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(rustdoc::invalid_html_tags)]` on by default [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 384 | /// for optimal performance. This function works with any `Vec`. [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `Witness` [INFO] [stdout] --> src/mempool.rs:27:62 [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = Vec) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (`Vec` where Witness = Vec) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `ByteString` [INFO] [stdout] --> src/mempool.rs:27:91 [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = Vec) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = `Vec`) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `Witness` [INFO] [stdout] --> src/reorganization.rs:113:80 [INFO] [stdout] | [INFO] [stdout] 113 | /// * `new_chain_witnesses` - Witness data for each block in new_chain (one Vec per block) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 113 | /// * `new_chain_witnesses` - Witness data for each block in new_chain (one `Vec` per block) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `witness-program` [INFO] [stdout] --> src/witness.rs:141:1 [INFO] [stdout] | [INFO] [stdout] 141 | / /// Validate witness version in scriptPubKey [INFO] [stdout] 142 | | /// [INFO] [stdout] 143 | | /// Shared function for extracting and validating witness version [INFO] [stdout] 144 | | /// from SegWit v0 (OP_0 ) or Taproot v1 (OP_1 ) [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 05s [INFO] [stderr] Generated /opt/rustwide/target/doc/blvm_consensus/index.html [INFO] running `Command { std: "docker" "inspect" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", 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" "-e" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "rustdoc" "--lib" "-Zrustdoc-map" "--all-features" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.107 [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Compiling libm v0.2.16 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling zerocopy v0.8.54 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling getrandom v0.4.3 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Checking linux-raw-sys v0.12.1 [INFO] [stderr] Checking bitflags v2.13.1 [INFO] [stderr] Compiling secp256k1-sys v0.9.2 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking fastrand v2.5.0 [INFO] [stderr] Compiling anyhow v1.0.104 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Compiling quote v1.0.47 [INFO] [stderr] Compiling syn v2.0.119 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Checking regex-syntax v0.8.11 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-bigint v0.4.8 [INFO] [stderr] Checking tempfile v3.27.0 [INFO] [stderr] Checking rusty-fork v0.3.1 [INFO] [stderr] Checking blvm-secp256k1 v0.1.10 [INFO] [stderr] Checking secp256k1 v0.28.2 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling clap_derive v4.6.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.7 [INFO] [stderr] Checking proptest v1.5.0 [INFO] [stderr] Compiling clap v4.6.2 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking smallvec v1.15.2 [INFO] [stderr] Checking serde_json v1.0.133 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling toml_datetime v0.6.3 [INFO] [stderr] Compiling toml_edit v0.20.2 [INFO] [stderr] Checking blvm-primitives v0.1.18 [INFO] [stderr] Compiling toml v0.8.2 [INFO] [stderr] Compiling blvm-spec-lock v0.1.32 [INFO] [stderr] Documenting blvm-consensus v0.1.34 (/opt/rustwide/workdir) [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/transaction.rs:159:1 [INFO] [stdout] | [INFO] [stdout] 159 | / /// CheckTransaction: 𝒯𝒳 → {valid, invalid} [INFO] [stdout] 160 | | /// [INFO] [stdout] 161 | | /// A transaction tx = (v, ins, outs, lt) is valid if and only if: [INFO] [stdout] 162 | | /// 1. |ins| > 0 ∧ |outs| > 0 [INFO] [stdout] ... | [INFO] [stdout] 170 | | /// [INFO] [stdout] 171 | | /// Uses fast-path checks before full validation. [INFO] [stdout] | |_________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] 8. If tx is coinbase: 2 ≤ |ins[0].scriptSig| ≤ 100 [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `0` in scope [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: unresolved link to `template_hash` [INFO] [stdout] --> src/bip119.rs:51:18 [INFO] [stdout] | [INFO] [stdout] 51 | //! - Consumes: [template_hash] (32 bytes from stack) [INFO] [stdout] | ^^^^^^^^^^^^^ no item named `template_hash` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/pow.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 29 | /// - prev[0] is the first block of the adjustment period [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `2` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/pow.rs:720:1 [INFO] [stdout] | [INFO] [stdout] 720 | / /// Expand target from compact representation [INFO] [stdout] 721 | | /// [INFO] [stdout] 722 | | /// Expand compact target representation to full U256 target [INFO] [stdout] 723 | | /// [INFO] [stdout] ... | [INFO] [stdout] 747 | | /// The round-trip property is formally verified by `_target_expand_compress_round_trip()` [INFO] [stdout] 748 | | /// which proves the mathematical specification holds for all valid target values. [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] | [INFO] [stdout] = note: the link appears in this line: [INFO] [stdout] [INFO] [stdout] - And: re_expanded.0[2] = expanded.0[2] ∧ re_expanded.0[3] = expanded.0[3] [INFO] [stdout] ^ [INFO] [stdout] = note: no item named `3` in scope [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `PERF` [INFO] [stdout] --> src/script_profile.rs:2:33 [INFO] [stdout] | [INFO] [stdout] 2 | //! Used by block.rs to extend [PERF] with breakdown when profile feature is enabled. [INFO] [stdout] | ^^^^ no item named `PERF` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `validate_block_with_time_context` [INFO] [stdout] --> src/lib.rs:169:32 [INFO] [stdout] | [INFO] [stdout] 169 | /// wall-clock time. Use [`validate_block_with_time_context`] with explicit witnesses, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `validate_block_with_time_context` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `StackElement` [INFO] [stdout] --> src/script/mod.rs:384:62 [INFO] [stdout] | [INFO] [stdout] 384 | /// for optimal performance. This function works with any Vec. [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(rustdoc::invalid_html_tags)]` on by default [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 384 | /// for optimal performance. This function works with any `Vec`. [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `Witness` [INFO] [stdout] --> src/mempool.rs:27:62 [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = Vec) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (`Vec` where Witness = Vec) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `ByteString` [INFO] [stdout] --> src/mempool.rs:27:91 [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = Vec) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 27 | /// * `witnesses` - Optional witness data for each input (Vec where Witness = `Vec`) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `Witness` [INFO] [stdout] --> src/reorganization.rs:113:80 [INFO] [stdout] | [INFO] [stdout] 113 | /// * `new_chain_witnesses` - Witness data for each block in new_chain (one Vec per block) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 113 | /// * `new_chain_witnesses` - Witness data for each block in new_chain (one `Vec` per block) [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `witness-program` [INFO] [stdout] --> src/witness.rs:141:1 [INFO] [stdout] | [INFO] [stdout] 141 | / /// Validate witness version in scriptPubKey [INFO] [stdout] 142 | | /// [INFO] [stdout] 143 | | /// Shared function for extracting and validating witness version [INFO] [stdout] 144 | | /// from SegWit v0 (OP_0 ) or Taproot v1 (OP_1 ) [INFO] [stdout] | |__________________________________________________________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unclosed HTML tag `Witness` [INFO] [stdout] --> src/test_utils.rs:16:40 [INFO] [stdout] | [INFO] [stdout] 16 | /// Strategy yielding (Transaction, Vec) with |w| = |tx.inputs|. [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try marking as source code [INFO] [stdout] | [INFO] [stdout] 16 | /// Strategy yielding (Transaction, `Vec`) with |w| = |tx.inputs|. [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 47.26s [INFO] [stderr] Generated /opt/rustwide/target/doc/blvm_consensus/index.html [INFO] running `Command { std: "docker" "inspect" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c", kill_on_drop: false }` [INFO] [stdout] 81e4a8e5f1e811adedef1b1bdad6c1f7400d65160cce739b248ac25686d0435c