[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 1ed2df61a19042f231709eb05d032ae9e2cb2084 for pr-160235
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-3-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-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/seanchatmangpt/bcinr on toolchain 1ed2df61a19042f231709eb05d032ae9e2cb2084
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1ed2df61a19042f231709eb05d032ae9e2cb2084" "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" "+1ed2df61a19042f231709eb05d032ae9e2cb2084" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cc v1.3.0
[INFO] [stderr]   Downloaded divan-macros v0.1.21
[INFO] [stderr]   Downloaded prolog8 v26.7.1
[INFO] [stderr]   Downloaded target-triple v1.0.1
[INFO] [stderr]   Downloaded condtype v1.3.0
[INFO] [stderr]   Downloaded chicago-tdd-tools-proc-macros v26.7.1
[INFO] [stderr]   Downloaded trybuild v1.0.118
[INFO] [stderr]   Downloaded divan v0.1.21
[INFO] [stderr]   Downloaded tokio v1.53.0
[INFO] [stderr]   Downloaded chicago-tdd-tools v26.7.1
[INFO] [stderr]   Downloaded ocel v0.1.5
[INFO] [stderr]   Downloaded wasm4pm-compat v26.6.29
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e
[INFO] running `Command { std: "docker" "start" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e", 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" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e" "/opt/rustwide/cargo-home/bin/cargo" "+1ed2df61a19042f231709eb05d032ae9e2cb2084" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e", 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" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e" "/opt/rustwide/cargo-home/bin/cargo" "+1ed2df61a19042f231709eb05d032ae9e2cb2084" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling cc v1.3.0
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking bitflags v2.13.1
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking uuid v1.24.0
[INFO] [stderr]     Checking quick-xml v0.36.2
[INFO] [stderr]     Checking rustix v1.1.4
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking futures-core v0.3.33
[INFO] [stderr]     Checking futures-sink v0.3.33
[INFO] [stderr]     Checking futures-channel v0.3.33
[INFO] [stderr]     Checking futures-task v0.3.33
[INFO] [stderr]     Checking futures-io v0.3.33
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]    Compiling chicago-tdd-tools v26.7.1
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking bcinr-mfw-ir v26.7.28 (/opt/rustwide/workdir/crates/bcinr-mfw-ir)
[INFO] [stderr]     Checking regex-lite v0.1.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 condtype v1.3.0
[INFO] [stderr]     Checking bcinr-logic v26.7.28 (/opt/rustwide/workdir/crates/bcinr-logic)
[INFO] [stderr]    Compiling target-triple v1.0.1
[INFO] [stderr]     Checking winnow v1.0.4
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking serde_spanned v1.1.1
[INFO] [stderr]     Checking toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]     Checking toml_writer v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling libsqlite3-sys v0.30.1
[INFO] [stderr]     Checking toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling openssl-sys v0.9.117
[INFO] [stderr]    Compiling openssl v0.10.81
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]     Checking toml v1.1.3+spec-1.1.0
[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 dirs-next v2.0.0
[INFO] [stderr]     Checking csv-core v0.1.13
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking csv v1.4.0
[INFO] [stderr]     Checking term v0.7.0
[INFO] [stderr]     Checking clap v4.6.2
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking rust_audit v0.1.0 (/opt/rustwide/workdir/tools/rust_audit)
[INFO] [stderr]     Checking prettytable-rs v0.10.0
[INFO] [stderr]     Checking regex-automata v0.4.16
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking hashbrown v0.14.5
[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]     Checking rand_chacha v0.9.0
[INFO] [stderr]    Compiling tokio-macros v2.7.1
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]     Checking tokio v1.53.0
[INFO] [stderr]     Checking futures-util v0.3.33
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling chicago-tdd-tools-proc-macros v26.7.1
[INFO] [stderr]    Compiling divan-macros v0.1.21
[INFO] [stderr]     Checking hashlink v0.9.1
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]     Checking divan v0.1.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking rand v0.8.7
[INFO] [stderr]     Checking bcinr-contract-gate v26.7.25 (/opt/rustwide/workdir/tools/bcinr-contract-gate)
[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 futures-executor v0.3.33
[INFO] [stderr]     Checking futures v0.3.33
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking ggen v0.1.0 (/opt/rustwide/workdir/tools/ggen)
[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 toml_edit v0.22.27
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking dashmap v6.2.1
[INFO] [stderr]     Checking trybuild v1.0.118
[INFO] [stderr]     Checking quick-xml v0.41.0
[INFO] [stderr]     Checking wasm4pm-compat v26.6.29
[INFO] [stderr]     Checking prolog8 v26.7.1
[INFO] [stderr]     Checking toml v0.8.23
[INFO] [stderr]     Checking minreq v2.14.1
[INFO] [stderr]     Checking bcinr-reporter v26.7.25 (/opt/rustwide/workdir/tools/bcinr-reporter)
[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] [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/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 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/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: 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/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/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/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/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_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::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::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/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 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/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/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/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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 10s
[INFO] running `Command { std: "docker" "inspect" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e", kill_on_drop: false }`
[INFO] [stdout] c9ea8e6dbaebb246bdbf8f77611cb3b8e7d8d7927aab63643d4e1dea650dc12e
