[INFO] cloning repository https://github.com/seanchatmangpt/bcinr
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/seanchatmangpt/bcinr" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b76dcb377b297cb8826a5256b55f8b57a6b76462
[INFO] checking seanchatmangpt/bcinr against 98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/seanchatmangpt/bcinr
[INFO] finished tweaking git repo https://github.com/seanchatmangpt/bcinr
[INFO] tweaked toml for git repo https://github.com/seanchatmangpt/bcinr written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/seanchatmangpt/bcinr on toolchain 98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/seanchatmangpt/bcinr 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" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `rust_audit` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-1-tc1/source/target/.../rust_audit
[INFO] [stderr]    |                                                  ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `rust-audit`, convert `package.name`
[INFO] [stderr]   --> tools/rust_audit/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "rust_audit"
[INFO] [stderr]  2 + name = "rust-audit"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `rust-audit`, specify `bin.name`
[INFO] [stderr]   --> tools/rust_audit/Cargo.toml:12:16
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ [dependencies]
[INFO] [stderr] 13 + [[bin]]
[INFO] [stderr] 14 + name = "rust-audit"
[INFO] [stderr] 15 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `rust_audit` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> crates/encode_unicode_patch/Cargo.toml:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `encode_unicode` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> crates/bcinr-powl/Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: binary `soundness_cli` should have a kebab-case name
[INFO] [stderr]   |
[INFO] [stderr] 1 | /workspace/builds/worker-1-tc1/source/target/.../soundness_cli
[INFO] [stderr]   |                                                  ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `soundness-cli`, convert the file stem
[INFO] [stderr]   |
[INFO] [stderr] 1 - src/bin/soundness_cli.rs
[INFO] [stderr] 1 + src/bin/soundness-cli.rs
[INFO] [stderr]   |
[INFO] [stderr] warning: `bcinr-powl` (manifest) generated 2 warnings
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.126
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.126
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.126
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.126
[INFO] [stderr]   Downloaded divan-macros v0.1.21
[INFO] [stderr]   Downloaded condtype v1.3.0
[INFO] [stderr]   Downloaded terminal_size v0.4.4
[INFO] [stderr]   Downloaded tokio-macros v2.7.1
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded chicago-tdd-tools-proc-macros v26.7.1
[INFO] [stderr]   Downloaded target-triple v1.0.1
[INFO] [stderr]   Downloaded ciborium-ll v0.2.2
[INFO] [stderr]   Downloaded serde_spanned v1.1.1
[INFO] [stderr]   Downloaded plotters-svg v0.3.7
[INFO] [stderr]   Downloaded dirs-next v2.0.0
[INFO] [stderr]   Downloaded cast v0.3.0
[INFO] [stderr]   Downloaded plotters-backend v0.3.7
[INFO] [stderr]   Downloaded ciborium-io v0.2.2
[INFO] [stderr]   Downloaded dirs-sys-next v0.1.2
[INFO] [stderr]   Downloaded libredox v0.1.18
[INFO] [stderr]   Downloaded quote v1.0.46
[INFO] [stderr]   Downloaded anes v0.1.6
[INFO] [stderr]   Downloaded clap v4.6.2
[INFO] [stderr]   Downloaded toml_writer v1.1.2+spec-1.1.0
[INFO] [stderr]   Downloaded oorandom v11.1.5
[INFO] [stderr]   Downloaded prettytable-rs v0.10.0
[INFO] [stderr]   Downloaded tinytemplate v1.2.1
[INFO] [stderr]   Downloaded futures-executor v0.3.33
[INFO] [stderr]   Downloaded criterion-plot v0.5.0
[INFO] [stderr]   Downloaded ocel v0.1.5
[INFO] [stderr]   Downloaded trybuild v1.0.118
[INFO] [stderr]   Downloaded term v0.7.0
[INFO] [stderr]   Downloaded serde_yaml v0.9.34+deprecated
[INFO] [stderr]   Downloaded futures v0.3.33
[INFO] [stderr]   Downloaded toml v1.1.3+spec-1.1.0
[INFO] [stderr]   Downloaded minreq v2.14.1
[INFO] [stderr]   Downloaded prolog8 v26.7.1
[INFO] [stderr]   Downloaded ciborium v0.2.2
[INFO] [stderr]   Downloaded divan v0.1.21
[INFO] [stderr]   Downloaded regex-lite v0.1.9
[INFO] [stderr]   Downloaded unsafe-libyaml v0.2.11
[INFO] [stderr]   Downloaded cc v1.3.0
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.54
[INFO] [stderr]   Downloaded criterion v0.5.1
[INFO] [stderr]   Downloaded openssl-sys v0.9.117
[INFO] [stderr]   Downloaded js-sys v0.3.103
[INFO] [stderr]   Downloaded plotters v0.3.7
[INFO] [stderr]   Downloaded quick-xml v0.36.2
[INFO] [stderr]   Downloaded zerocopy v0.8.54
[INFO] [stderr]   Downloaded openssl v0.10.81
[INFO] [stderr]   Downloaded web-sys v0.3.103
[INFO] [stderr]   Downloaded wasm4pm-compat v26.6.29
[INFO] [stderr]   Downloaded tokio v1.53.0
[INFO] [stderr]   Downloaded chicago-tdd-tools v26.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c
[INFO] running `Command { std: "docker" "start" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", 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" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c" "/opt/rustwide/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", 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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c" "/opt/rustwide/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> crates/bcinr-powl/Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: binary `soundness_cli` should have a kebab-case name
[INFO] [stderr]   |
[INFO] [stderr] 1 | /opt/rustwide/target/.../soundness_cli
[INFO] [stderr]   |                          ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `soundness-cli`, convert the file stem
[INFO] [stderr]   |
[INFO] [stderr] 1 - src/bin/soundness_cli.rs
[INFO] [stderr] 1 + src/bin/soundness-cli.rs
[INFO] [stderr]   |
[INFO] [stderr] warning: `bcinr-powl` (manifest) generated 2 warnings
[INFO] [stderr] warning: binary `rust_audit` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /opt/rustwide/target/.../rust_audit
[INFO] [stderr]    |                          ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `rust-audit`, convert `package.name`
[INFO] [stderr]   --> tools/rust_audit/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "rust_audit"
[INFO] [stderr]  2 + name = "rust-audit"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `rust-audit`, specify `bin.name`
[INFO] [stderr]   --> tools/rust_audit/Cargo.toml:12:16
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ [dependencies]
[INFO] [stderr] 13 + [[bin]]
[INFO] [stderr] 14 + name = "rust-audit"
[INFO] [stderr] 15 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `rust_audit` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> crates/encode_unicode_patch/Cargo.toml:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `encode_unicode` (manifest) generated 1 warning
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]     Checking memchr v2.8.3
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking foldhash v0.2.0
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]     Checking bitflags v2.13.1
[INFO] [stderr]     Checking itoa v1.0.18
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking constant_time_eq v0.4.2
[INFO] [stderr]     Checking arrayvec v0.7.8
[INFO] [stderr]    Compiling cc v1.3.0
[INFO] [stderr]     Checking cpufeatures v0.3.0
[INFO] [stderr]     Checking log v0.4.33
[INFO] [stderr]     Checking iana-time-zone v0.1.65
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking rustc-hash v2.1.3
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]     Checking ryu v1.0.23
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]     Checking futures-core v0.3.33
[INFO] [stderr]     Checking futures-sink v0.3.33
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking fastrand v2.4.1
[INFO] [stderr]     Checking quick-xml v0.36.2
[INFO] [stderr]     Checking futures-task v0.3.33
[INFO] [stderr]     Checking futures-channel v0.3.33
[INFO] [stderr]     Checking futures-io v0.3.33
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]     Checking toml_write v0.1.2
[INFO] [stderr]     Checking winnow v0.7.15
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking unsafe-libyaml v0.2.11
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]    Compiling chicago-tdd-tools v26.7.1
[INFO] [stderr]     Checking anstyle v1.0.14
[INFO] [stderr]     Checking clap_lex v1.1.0
[INFO] [stderr]     Checking regex-lite v0.1.9
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking condtype v1.3.0
[INFO] [stderr]     Checking bcinr-logic v26.7.28 (/opt/rustwide/workdir/crates/bcinr-logic)
[INFO] [stderr]     Checking winnow v1.0.4
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]    Compiling target-triple v1.0.1
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]     Checking toml_writer v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]     Checking glob v0.3.3
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling vcpkg v0.2.15
[INFO] [stderr]    Compiling pkg-config v0.3.33
[INFO] [stderr]     Checking fallible-iterator v0.3.0
[INFO] [stderr]     Checking fallible-streaming-iterator v0.1.9
[INFO] [stderr]     Checking foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling openssl v0.10.81
[INFO] [stderr]     Checking foreign-types v0.3.2
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]     Checking openssl-probe v0.2.1
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking encode_unicode v1.0.1 (/opt/rustwide/workdir/crates/encode_unicode_patch)
[INFO] [stderr]     Checking dirs-sys-next v0.1.2
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking dirs-next v2.0.0
[INFO] [stderr]     Checking csv-core v0.1.13
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking term v0.7.0
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]     Checking rust_audit v0.1.0 (/opt/rustwide/workdir/tools/rust_audit)
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling libsqlite3-sys v0.30.1
[INFO] [stderr]    Compiling openssl-sys v0.9.117
[INFO] [stderr]     Checking bcinr-mfw-ir v26.7.28 (/opt/rustwide/workdir/crates/bcinr-mfw-ir)
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking terminal_size v0.4.4
[INFO] [stderr]     Checking clap_builder v4.6.2
[INFO] [stderr]     Checking regex-automata v0.4.16
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking uuid v1.24.0
[INFO] [stderr]     Checking toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]     Checking serde_spanned v1.1.1
[INFO] [stderr]     Checking csv v1.4.0
[INFO] [stderr]     Checking toml v1.1.3+spec-1.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling futures-macro v0.3.33
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tokio-macros v2.7.1
[INFO] [stderr]    Compiling chicago-tdd-tools-proc-macros v26.7.1
[INFO] [stderr]    Compiling divan-macros v0.1.21
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]     Checking prettytable-rs v0.10.0
[INFO] [stderr]     Checking tokio v1.53.0
[INFO] [stderr]     Checking futures-util v0.3.33
[INFO] [stderr]     Checking clap v4.6.2
[INFO] [stderr]     Checking divan v0.1.21
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.7
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking bcinr-bench-auditor v26.7.25 (/opt/rustwide/workdir/tools/bcinr-bench-auditor)
[INFO] [stderr]     Checking bcinr-cheat-scanner v26.7.25 (/opt/rustwide/workdir/tools/bcinr-cheat-scanner)
[INFO] [stderr]     Checking bcinr-contract-gate v26.7.25 (/opt/rustwide/workdir/tools/bcinr-contract-gate)
[INFO] [stderr]     Checking hashlink v0.9.1
[INFO] [stderr]     Checking chrono v0.4.45
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]     Checking toml_datetime v0.6.11
[INFO] [stderr]     Checking serde_spanned v0.6.9
[INFO] [stderr]     Checking serde_yaml v0.9.34+deprecated
[INFO] [stderr]     Checking bcinr-cmca v26.7.28 (/opt/rustwide/workdir/crates/bcinr-cmca)
[INFO] [stderr]     Checking trybuild v1.0.118
[INFO] [stderr]     Checking quick-xml v0.41.0
[INFO] [stderr]     Checking bcinr-reporter v26.7.25 (/opt/rustwide/workdir/tools/bcinr-reporter)
[INFO] [stderr]     Checking ggen v0.1.0 (/opt/rustwide/workdir/tools/ggen)
[INFO] [stderr]     Checking toml_edit v0.22.27
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking prolog8 v26.7.1
[INFO] [stderr]     Checking dashmap v6.2.1
[INFO] [stderr]     Checking minreq v2.14.1
[INFO] [stderr]     Checking futures-executor v0.3.33
[INFO] [stderr]     Checking futures v0.3.33
[INFO] [stderr]     Checking wasm4pm-compat v26.6.29
[INFO] [stderr]     Checking toml v0.8.23
[INFO] [stderr]     Checking rusqlite v0.32.1
[INFO] [stderr]     Checking ocel v0.1.5
[INFO] [stderr]     Checking bcinr-powl v26.7.28 (/opt/rustwide/workdir/crates/bcinr-powl)
[INFO] [stderr]     Checking bcinr-pddl v26.7.28 (/opt/rustwide/workdir/crates/bcinr-pddl)
[INFO] [stdout] warning: `feature(generic_const_exprs)` is not supported with the next-generation trait solver
[INFO] [stdout]   --> crates/bcinr-powl/src/lib.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | #![feature(generic_const_exprs)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `-Znext-solver=globally` is currently enabled by default for testing
[INFO] [stdout]    = note: reverted the setting to `-Znext-solver=coherence` for this crate
[INFO] [stdout]    = note: the currently stable trait solver will be used for this crate
[INFO] [stdout]    = note: see issues #160895 <https://github.com/rust-lang/rust/issues/160895> for more information
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking bcinr-guarded v26.7.25 (/opt/rustwide/workdir/crates/bcinr-guarded)
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:15
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:31
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:53
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:73
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:35:41
[INFO] [stdout]    |
[INFO] [stdout] 35 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:39:9
[INFO] [stdout]    |
[INFO] [stdout] 39 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:36:21
[INFO] [stdout]    |
[INFO] [stdout] 36 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:37:31
[INFO] [stdout]    |
[INFO] [stdout] 37 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:38:29
[INFO] [stdout]    |
[INFO] [stdout] 38 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:39:26
[INFO] [stdout]    |
[INFO] [stdout] 39 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:40:25
[INFO] [stdout]    |
[INFO] [stdout] 40 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:43:28
[INFO] [stdout]    |
[INFO] [stdout] 43 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:27
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:43
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:65
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                                                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:24
[INFO] [stdout]    |
[INFO] [stdout] 32 |     CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt,
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:63
[INFO] [stdout]    |
[INFO] [stdout] 32 |     CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt,
[INFO] [stdout]    |                                                               ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:162:26
[INFO] [stdout]     |
[INFO] [stdout] 162 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:162:41
[INFO] [stdout]     |
[INFO] [stdout] 162 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:163:5
[INFO] [stdout]     |
[INFO] [stdout] 163 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:164:9
[INFO] [stdout]     |
[INFO] [stdout] 164 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:165:9
[INFO] [stdout]     |
[INFO] [stdout] 165 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:163:21
[INFO] [stdout]     |
[INFO] [stdout] 163 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:164:31
[INFO] [stdout]     |
[INFO] [stdout] 164 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:165:29
[INFO] [stdout]     |
[INFO] [stdout] 165 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:166:26
[INFO] [stdout]     |
[INFO] [stdout] 166 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:167:25
[INFO] [stdout]     |
[INFO] [stdout] 167 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/single_lens_allocation.rs:170:28
[INFO] [stdout]     |
[INFO] [stdout] 170 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:31
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:53
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:73
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:36:26
[INFO] [stdout]    |
[INFO] [stdout] 36 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:36:41
[INFO] [stdout]    |
[INFO] [stdout] 36 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:39:9
[INFO] [stdout]    |
[INFO] [stdout] 39 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:37:21
[INFO] [stdout]    |
[INFO] [stdout] 37 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:38:31
[INFO] [stdout]    |
[INFO] [stdout] 38 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:39:29
[INFO] [stdout]    |
[INFO] [stdout] 39 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:41:25
[INFO] [stdout]    |
[INFO] [stdout] 41 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:44:28
[INFO] [stdout]    |
[INFO] [stdout] 44 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:10:15
[INFO] [stdout]    |
[INFO] [stdout] 10 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:10:31
[INFO] [stdout]    |
[INFO] [stdout] 10 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:10:53
[INFO] [stdout]    |
[INFO] [stdout] 10 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:10:73
[INFO] [stdout]    |
[INFO] [stdout] 10 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:11:22
[INFO] [stdout]    |
[INFO] [stdout] 11 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:18:26
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:18:41
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:383:16
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let p_ok = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:384:9
[INFO] [stdout]     |
[INFO] [stdout] 384 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:385:9
[INFO] [stdout]     |
[INFO] [stdout] 385 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:386:9
[INFO] [stdout]     |
[INFO] [stdout] 386 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:387:9
[INFO] [stdout]     |
[INFO] [stdout] 387 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:390:9
[INFO] [stdout]     |
[INFO] [stdout] 390 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:395:23
[INFO] [stdout]     |
[INFO] [stdout] 395 |     let p_temp_high = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:396:9
[INFO] [stdout]     |
[INFO] [stdout] 396 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:397:9
[INFO] [stdout]     |
[INFO] [stdout] 397 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:398:9
[INFO] [stdout]     |
[INFO] [stdout] 398 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:399:9
[INFO] [stdout]     |
[INFO] [stdout] 399 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:402:9
[INFO] [stdout]     |
[INFO] [stdout] 402 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:407:22
[INFO] [stdout]     |
[INFO] [stdout] 407 |     let p_dist_low = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:408:9
[INFO] [stdout]     |
[INFO] [stdout] 408 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:410:9
[INFO] [stdout]     |
[INFO] [stdout] 410 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:411:9
[INFO] [stdout]     |
[INFO] [stdout] 411 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:414:9
[INFO] [stdout]     |
[INFO] [stdout] 414 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:19:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:20:31
[INFO] [stdout]    |
[INFO] [stdout] 20 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:21:29
[INFO] [stdout]    |
[INFO] [stdout] 21 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:22:26
[INFO] [stdout]    |
[INFO] [stdout] 22 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:23:25
[INFO] [stdout]    |
[INFO] [stdout] 23 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/case_studies.rs:26:28
[INFO] [stdout]    |
[INFO] [stdout] 26 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:383:32
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let p_ok = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:384:31
[INFO] [stdout]     |
[INFO] [stdout] 384 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:385:29
[INFO] [stdout]     |
[INFO] [stdout] 385 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:386:26
[INFO] [stdout]     |
[INFO] [stdout] 386 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:387:25
[INFO] [stdout]     |
[INFO] [stdout] 387 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:390:28
[INFO] [stdout]     |
[INFO] [stdout] 390 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:395:39
[INFO] [stdout]     |
[INFO] [stdout] 395 |     let p_temp_high = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:396:31
[INFO] [stdout]     |
[INFO] [stdout] 396 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:397:29
[INFO] [stdout]     |
[INFO] [stdout] 397 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:398:26
[INFO] [stdout]     |
[INFO] [stdout] 398 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:402:28
[INFO] [stdout]     |
[INFO] [stdout] 402 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:407:38
[INFO] [stdout]     |
[INFO] [stdout] 407 |     let p_dist_low = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:408:31
[INFO] [stdout]     |
[INFO] [stdout] 408 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:409:29
[INFO] [stdout]     |
[INFO] [stdout] 409 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:410:26
[INFO] [stdout]     |
[INFO] [stdout] 410 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:411:25
[INFO] [stdout]     |
[INFO] [stdout] 411 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/case_studies.rs:414:28
[INFO] [stdout]     |
[INFO] [stdout] 414 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:37
[INFO] [stdout]    |
[INFO] [stdout] 30 |     allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:53
[INFO] [stdout]    |
[INFO] [stdout] 30 |     allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:75
[INFO] [stdout]    |
[INFO] [stdout] 30 |     allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                                                           ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     CertifiedLearning, EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:24
[INFO] [stdout]    |
[INFO] [stdout] 31 |     CertifiedLearning, EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:41
[INFO] [stdout]    |
[INFO] [stdout] 31 |     CertifiedLearning, EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:42:26
[INFO] [stdout]    |
[INFO] [stdout] 42 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:42:41
[INFO] [stdout]    |
[INFO] [stdout] 42 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/falsification_adversarial.rs:270:13
[INFO] [stdout]     |
[INFO] [stdout] 270 | ) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:43:21
[INFO] [stdout]    |
[INFO] [stdout] 43 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:44:31
[INFO] [stdout]    |
[INFO] [stdout] 44 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:45:29
[INFO] [stdout]    |
[INFO] [stdout] 45 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:46:26
[INFO] [stdout]    |
[INFO] [stdout] 46 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:47:25
[INFO] [stdout]    |
[INFO] [stdout] 47 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/falsification_adversarial.rs:50:28
[INFO] [stdout]    |
[INFO] [stdout] 50 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:26:15
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:26:31
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:26:53
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:26:73
[INFO] [stdout]    |
[INFO] [stdout] 26 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/examples/basic_allocation.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:25
[INFO] [stdout]    |
[INFO] [stdout] 34 |     allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:41
[INFO] [stdout]    |
[INFO] [stdout] 34 |     allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:63
[INFO] [stdout]    |
[INFO] [stdout] 34 |     allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt,
[INFO] [stdout]    |                                                               ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:24
[INFO] [stdout]    |
[INFO] [stdout] 35 |     CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:57
[INFO] [stdout]    |
[INFO] [stdout] 35 |     CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:225:17
[INFO] [stdout]     |
[INFO] [stdout] 225 |     let proof = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:226:9
[INFO] [stdout]     |
[INFO] [stdout] 226 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:227:9
[INFO] [stdout]     |
[INFO] [stdout] 227 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:228:9
[INFO] [stdout]     |
[INFO] [stdout] 228 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:229:9
[INFO] [stdout]     |
[INFO] [stdout] 229 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:232:9
[INFO] [stdout]     |
[INFO] [stdout] 232 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:31
[INFO] [stdout]    |
[INFO] [stdout] 20 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:53
[INFO] [stdout]    |
[INFO] [stdout] 20 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:73
[INFO] [stdout]    |
[INFO] [stdout] 20 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:21:22
[INFO] [stdout]    |
[INFO] [stdout] 21 |     EnvelopeReceipt, OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:59:55
[INFO] [stdout]    |
[INFO] [stdout] 59 | fn evaluate(artifact: &MeasurementArtifact) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:70:30
[INFO] [stdout]    |
[INFO] [stdout] 70 | fn material_certificate() -> CertificateReceipt {
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:81:18
[INFO] [stdout]    |
[INFO] [stdout] 81 |     certificate: CertificateReceipt,
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:84:13
[INFO] [stdout]    |
[INFO] [stdout] 84 | ) -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |             ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:84:28
[INFO] [stdout]    |
[INFO] [stdout] 84 | ) -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 85 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |         AdmittedControlState::admit_control_state(state_digest),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |         EnvelopeReceipt::admit_envelope(envelope_digest),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:89:9
[INFO] [stdout]    |
[INFO] [stdout] 89 |         OutcomeReceipt::admit_outcome(outcome_digest),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |         CertificateReceipt::admit_certificate(CONTROL_MODE_DIGEST),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:122:24
[INFO] [stdout]     |
[INFO] [stdout] 122 |         proof: Option<&AdaptiveUpdate<CertifiedLearning>>,
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:122:39
[INFO] [stdout]     |
[INFO] [stdout] 122 |         proof: Option<&AdaptiveUpdate<CertifiedLearning>>,
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:85:21
[INFO] [stdout]    |
[INFO] [stdout] 85 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:86:31
[INFO] [stdout]    |
[INFO] [stdout] 86 |         AdmittedControlState::admit_control_state(state_digest),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:88:26
[INFO] [stdout]    |
[INFO] [stdout] 88 |         EnvelopeReceipt::admit_envelope(envelope_digest),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:89:25
[INFO] [stdout]    |
[INFO] [stdout] 89 |         OutcomeReceipt::admit_outcome(outcome_digest),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:151:29
[INFO] [stdout]     |
[INFO] [stdout] 151 |         CertificateReceipt::admit_certificate(CONTROL_MODE_DIGEST),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:225:33
[INFO] [stdout]     |
[INFO] [stdout] 225 |     let proof = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:226:31
[INFO] [stdout]     |
[INFO] [stdout] 226 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:227:29
[INFO] [stdout]     |
[INFO] [stdout] 227 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:228:26
[INFO] [stdout]     |
[INFO] [stdout] 228 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:229:25
[INFO] [stdout]     |
[INFO] [stdout] 229 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:232:28
[INFO] [stdout]     |
[INFO] [stdout] 232 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:31
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:53
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:73
[INFO] [stdout]    |
[INFO] [stdout] 27 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:36:26
[INFO] [stdout]    |
[INFO] [stdout] 36 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:36:41
[INFO] [stdout]    |
[INFO] [stdout] 36 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:39:9
[INFO] [stdout]    |
[INFO] [stdout] 39 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:37:21
[INFO] [stdout]    |
[INFO] [stdout] 37 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:38:31
[INFO] [stdout]    |
[INFO] [stdout] 38 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:39:29
[INFO] [stdout]    |
[INFO] [stdout] 39 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:41:25
[INFO] [stdout]    |
[INFO] [stdout] 41 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:44:28
[INFO] [stdout]    |
[INFO] [stdout] 44 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:15
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:53
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:73
[INFO] [stdout]    |
[INFO] [stdout] 31 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:40:41
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:41:21
[INFO] [stdout]    |
[INFO] [stdout] 41 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:42:31
[INFO] [stdout]    |
[INFO] [stdout] 42 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:43:29
[INFO] [stdout]    |
[INFO] [stdout] 43 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:44:26
[INFO] [stdout]    |
[INFO] [stdout] 44 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:45:25
[INFO] [stdout]    |
[INFO] [stdout] 45 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:48:28
[INFO] [stdout]    |
[INFO] [stdout] 48 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:15
[INFO] [stdout]    |
[INFO] [stdout] 24 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:31
[INFO] [stdout]    |
[INFO] [stdout] 24 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:53
[INFO] [stdout]    |
[INFO] [stdout] 24 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:73
[INFO] [stdout]    |
[INFO] [stdout] 24 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:25:22
[INFO] [stdout]    |
[INFO] [stdout] 25 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:33:26
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:33:41
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:34:21
[INFO] [stdout]    |
[INFO] [stdout] 34 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:35:31
[INFO] [stdout]    |
[INFO] [stdout] 35 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:36:29
[INFO] [stdout]    |
[INFO] [stdout] 36 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:37:26
[INFO] [stdout]    |
[INFO] [stdout] 37 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:41:28
[INFO] [stdout]    |
[INFO] [stdout] 41 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]  --> crates/bcinr-cmca/tests/hostile_mutants.rs:3:28
[INFO] [stdout]   |
[INFO] [stdout] 3 | use bcinr_cmca::allocator::CertificateReceipt;
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/hostile_mutants.rs:45:13
[INFO] [stdout]    |
[INFO] [stdout] 45 | ) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/hostile_mutants.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 | ) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:145:13
[INFO] [stdout]     |
[INFO] [stdout] 145 | ) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:195:13
[INFO] [stdout]     |
[INFO] [stdout] 195 | ) -> Result<CertificateReceipt, ObservatoryFlag> {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:15
[INFO] [stdout]     |
[INFO] [stdout] 233 |     allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt,
[INFO] [stdout]     |               ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:31
[INFO] [stdout]     |
[INFO] [stdout] 233 |     allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:53
[INFO] [stdout]     |
[INFO] [stdout] 233 |     allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt,
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:72
[INFO] [stdout]     |
[INFO] [stdout] 233 |     allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt,
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:234:5
[INFO] [stdout]     |
[INFO] [stdout] 234 |     OutcomeReceipt, StabilityRefusal,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:241:26
[INFO] [stdout]     |
[INFO] [stdout] 241 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:241:41
[INFO] [stdout]     |
[INFO] [stdout] 241 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:242:5
[INFO] [stdout]     |
[INFO] [stdout] 242 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:243:9
[INFO] [stdout]     |
[INFO] [stdout] 243 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:244:9
[INFO] [stdout]     |
[INFO] [stdout] 244 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:245:9
[INFO] [stdout]     |
[INFO] [stdout] 245 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:249:9
[INFO] [stdout]     |
[INFO] [stdout] 249 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:242:21
[INFO] [stdout]     |
[INFO] [stdout] 242 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:243:31
[INFO] [stdout]     |
[INFO] [stdout] 243 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:244:29
[INFO] [stdout]     |
[INFO] [stdout] 244 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:245:26
[INFO] [stdout]     |
[INFO] [stdout] 245 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:246:25
[INFO] [stdout]     |
[INFO] [stdout] 246 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/hostile_mutants.rs:249:28
[INFO] [stdout]     |
[INFO] [stdout] 249 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]  --> crates/bcinr-cmca/tests/calibration.rs:9:28
[INFO] [stdout]   |
[INFO] [stdout] 9 | use bcinr_cmca::allocator::CertificateReceipt;
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/calibration.rs:139:27
[INFO] [stdout]     |
[INFO] [stdout] 139 |     assert_eq!(result, Ok(CertificateReceipt::admit_certificate(42))); // RECERTIFICATION_CANDIDATE
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/calibration.rs:139:47
[INFO] [stdout]     |
[INFO] [stdout] 139 |     assert_eq!(result, Ok(CertificateReceipt::admit_certificate(42))); // RECERTIFICATION_CANDIDATE
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:15
[INFO] [stdout]    |
[INFO] [stdout] 35 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:31
[INFO] [stdout]    |
[INFO] [stdout] 35 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:53
[INFO] [stdout]    |
[INFO] [stdout] 35 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:73
[INFO] [stdout]    |
[INFO] [stdout] 35 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:36:22
[INFO] [stdout]    |
[INFO] [stdout] 36 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:98:17
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let proof = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:101:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:105:9
[INFO] [stdout]     |
[INFO] [stdout] 105 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:98:33
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let proof = AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:99:31
[INFO] [stdout]    |
[INFO] [stdout] 99 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:100:29
[INFO] [stdout]     |
[INFO] [stdout] 100 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:101:26
[INFO] [stdout]     |
[INFO] [stdout] 101 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:102:25
[INFO] [stdout]     |
[INFO] [stdout] 102 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]    --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:105:28
[INFO] [stdout]     |
[INFO] [stdout] 105 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:13:31
[INFO] [stdout]    |
[INFO] [stdout] 13 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:13:53
[INFO] [stdout]    |
[INFO] [stdout] 13 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:13:73
[INFO] [stdout]    |
[INFO] [stdout] 13 |     allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning,
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:14:22
[INFO] [stdout]    |
[INFO] [stdout] 14 |     EnvelopeReceipt, OutcomeReceipt,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:25:26
[INFO] [stdout]    |
[INFO] [stdout] 25 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:25:41
[INFO] [stdout]    |
[INFO] [stdout] 25 | fn get_proof() -> Option<AdaptiveUpdate<CertifiedLearning>> {
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::<bcinr_cmca::allocator::CertifiedLearning>::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |     AdaptiveUpdate::admit_adaptive_update(
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:27:31
[INFO] [stdout]    |
[INFO] [stdout] 27 |         AdmittedControlState::admit_control_state(0),
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:28:29
[INFO] [stdout]    |
[INFO] [stdout] 28 |         CertificateReceipt::admit_certificate(0),
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:29:26
[INFO] [stdout]    |
[INFO] [stdout] 29 |         EnvelopeReceipt::admit_envelope(0),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:30:25
[INFO] [stdout]    |
[INFO] [stdout] 30 |         OutcomeReceipt::admit_outcome(0),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code
[INFO] [stdout]   --> crates/bcinr-cmca/tests/differential.rs:33:28
[INFO] [stdout]    |
[INFO] [stdout] 33 |         CertifiedLearning::admit_learning(),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `feature(generic_const_exprs)` is not supported with the next-generation trait solver
[INFO] [stdout]   --> crates/bcinr-powl/src/lib.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | #![feature(generic_const_exprs)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `-Znext-solver=globally` is currently enabled by default for testing
[INFO] [stdout]    = note: reverted the setting to `-Znext-solver=coherence` for this crate
[INFO] [stdout]    = note: the currently stable trait solver will be used for this crate
[INFO] [stdout]    = note: see issues #160895 <https://github.com/rust-lang/rust/issues/160895> for more information
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `serde`
[INFO] [stderr]   --> tools/bcinr-reporter/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | serde = { version = "1.0", features = ["derive"] }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `serde`
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]   --> tools/bcinr-reporter/Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | serde_json = "1.0"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] warning: `bcinr-reporter` (manifest) generated 2 warnings
[INFO] [stderr] warning: unused dependency `rand`
[INFO] [stderr]   --> tools/ggen/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | rand = { version = "0.8", features = ["small_rng"] }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `rand`
[INFO] [stderr] warning: `ggen` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 15s
[INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }`
[INFO] [stdout] 5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c
