Remove the unused per-query advice module by samuelburnham · Pull Request #78 · argumentcomputer/multi-stark

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>

samuelburnham · 2026-09-01T20:32:44Z

advice.rs re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references advice, and the only downstream user (aiur) imported just its AdviceError type, which it can define locally.

Drop the module and its pub mod advice; declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

`advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted.

* Bump Plonky3 dependency * Update the CUDA prover for Plonky3 multiproofs Adapt the CUDA PCS to Plonky3's pruned multiproof protocol while preserving the recursive verifier's compact per-query circuit. Add a verified advice re-encoder that expands native pruned authentication frontiers only at the recursion boundary, leaving native proof serialization and verification unchanged. Bring the CUDA PCS in line with upstream domain semantics by enforcing the minimum committed LDE height, restoring row bit reversal for domain evaluations, and covering Goldilocks log-height 32. Transfer the initial reduced FRI opening into its resident LDE without an extra allocation or device copy. Replace per-column cudaMemcpy2D submissions during Merkle construction with one coalesced gather kernel and cap staging at 32 MiB. Serialize concurrent quotient scheduling to prevent transient recursive-prover OOMs while retaining parallel GPU kernel execution. Update the compatibility digest and keep the CPU-only build independent of CUDA. The CUDA smoke suite passes 50 tests and produces byte-identical 17,213-byte CPU/GPU proofs. On the RTX PRO 6000 q50 Vector.extract_append workload, inner plus outer STARK proving is 65.87s on CPU and 8.81s on CUDA (7.48x), with identical proof sizes. * Fix the Nix Rust 1.98 toolchain hash Update the fixed-output hash used by Fenix to match the Rust 1.98 channel manifest selected by rust-toolchain.toml. This restores both the packaged Nix build and the development shell without changing the pinned toolchain or flake inputs. * Remove the unused per-query advice module (#78) `advice.rs` re-encoded a pruned FRI multiproof into one authentication path per query, for a recursive verifier that consumed the legacy per-query transport. That verifier now consumes the native pruned multiproof directly, so the expansion has no caller: nothing in this crate references `advice`, and the only downstream user (aiur) imported just its `AdviceError` type, which it can define locally. Drop the module and its `pub mod advice;` declaration. The library is self-consistent without it (lib + tests build clean; 35 tests pass). The frontier expansion remains recoverable from history if a fallback to the per-query transport is ever wanted. --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>