[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-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBTCDecoded%2Fconsensus-proof" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-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-7-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.0.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_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 rand_xorshift v0.3.0
[INFO] [stderr]   Downloaded sha2-asm v0.6.4
[INFO] [stderr]   Downloaded plotters-svg v0.3.7
[INFO] [stderr]   Downloaded plotters-backend v0.3.7
[INFO] [stderr]   Downloaded ripemd v0.1.3
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded crossbeam-deque v0.8.7
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded serde_json v1.0.133
[INFO] [stderr]   Downloaded cast v0.3.0
[INFO] [stderr]   Downloaded crossbeam-queue v0.3.13
[INFO] [stderr]   Downloaded bolero-engine v0.11.2
[INFO] [stderr]   Downloaded tinytemplate v1.2.1
[INFO] [stderr]   Downloaded oorandom v11.1.5
[INFO] [stderr]   Downloaded bolero v0.11.1
[INFO] [stderr]   Downloaded bolero-generator-derive v0.11.0
[INFO] [stderr]   Downloaded bolero-kani v0.11.2
[INFO] [stderr]   Downloaded crossbeam-epoch v0.9.20
[INFO] [stderr]   Downloaded criterion-plot v0.5.0
[INFO] [stderr]   Downloaded pretty-hex v0.4.2
[INFO] [stderr]   Downloaded blvm-muhash v0.1.9
[INFO] [stderr]   Downloaded anes v0.1.6
[INFO] [stderr]   Downloaded crossbeam-utils v0.8.22
[INFO] [stderr]   Downloaded secp256k1 v0.28.2
[INFO] [stderr]   Downloaded bolero-generator v0.11.1
[INFO] [stderr]   Downloaded bitcoin_hashes v0.11.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.28
[INFO] [stderr]   Downloaded rand v0.8.7
[INFO] [stderr]   Downloaded blvm-primitives v0.1.18
[INFO] [stderr]   Downloaded criterion v0.5.1
[INFO] [stderr]   Downloaded num-bigint v0.4.8
[INFO] [stderr]   Downloaded bolero-afl v0.11.0
[INFO] [stderr]   Downloaded regex v1.13.0
[INFO] [stderr]   Downloaded plotters v0.3.7
[INFO] [stderr]   Downloaded bolero-libfuzzer v0.11.0
[INFO] [stderr]   Downloaded proptest v1.5.0
[INFO] [stderr]   Downloaded blvm-spec-lock v0.1.32
[INFO] [stderr]   Downloaded regex-automata v0.4.15
[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-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003
[INFO] running `Command { std: "docker" "start" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", 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" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003" "/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" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", 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" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003" "/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 quote v1.0.46
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.20
[INFO] [stderr]    Compiling serde_json v1.0.133
[INFO] [stderr]    Compiling crossbeam-deque v0.8.7
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling anyhow v1.0.103
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling winnow v0.5.40
[INFO] [stderr]    Compiling cc v1.2.67
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking either v1.16.0
[INFO] [stderr]     Checking bitcoin_hashes v0.11.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking siphasher v0.3.11
[INFO] [stderr]     Checking hashbrown v0.16.1
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]     Checking crossbeam-queue v0.3.13
[INFO] [stderr]     Checking lru v0.16.4
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling sha2-asm v0.6.4
[INFO] [stderr]    Compiling blvm-secp256k1 v0.1.10
[INFO] [stderr]     Checking ripemd v0.1.3
[INFO] [stderr]     Checking sha1 v0.10.6
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]    Compiling regex-automata v0.4.15
[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 thiserror v1.0.69
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling regex v1.13.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]    Compiling toml_datetime v0.6.3
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[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<StackElement>.
[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<StackElement>`.
[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<Witness> where Witness = Vec<ByteString>)
[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<Witness>` where Witness = Vec<ByteString>)
[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<Witness> where Witness = Vec<ByteString>)
[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<Witness> where Witness = `Vec<ByteString>`)
[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<Witness> 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<Witness>` 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 <witness-program>) or Taproot v1 (OP_1 <witness-program>)
[INFO] [stdout]     | |__________________________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.29s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/blvm_consensus/index.html
[INFO] running `Command { std: "docker" "inspect" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", 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" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003" "/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.106
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]     Checking bitflags v2.13.0
[INFO] [stderr]    Compiling secp256k1-sys v0.9.2
[INFO] [stderr]     Checking fastrand v2.4.1
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]    Compiling anyhow v1.0.103
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking rustix v1.1.4
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking blvm-secp256k1 v0.1.10
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking secp256k1 v0.28.2
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[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 v0.8.7
[INFO] [stderr]     Checking proptest v1.5.0
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling toml_datetime v0.6.3
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling serde_json v1.0.133
[INFO] [stderr]     Checking smallvec v1.15.2
[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<StackElement>.
[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<StackElement>`.
[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<Witness> where Witness = Vec<ByteString>)
[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<Witness>` where Witness = Vec<ByteString>)
[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<Witness> where Witness = Vec<ByteString>)
[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<Witness> where Witness = `Vec<ByteString>`)
[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<Witness> 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<Witness>` 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 <witness-program>) or Taproot v1 (OP_1 <witness-program>)
[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<Witness>) 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<Witness>`) with |w| = |tx.inputs|.
[INFO] [stdout]    |                                     +            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 28.72s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/blvm_consensus/index.html
[INFO] running `Command { std: "docker" "inspect" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003", kill_on_drop: false }`
[INFO] [stdout] 7983d50631de6f2ed43e6dc4f2d9c0b7f68b315480786d37698ec9ca9d902003
