{ "ml": { "v": "7", "id": 8157, "lvl": -1, "conf": 0, "prob": 0.000019719203919521533, "type": "rust", "version": "v18.18", "analyzed_at": "2026-10-23T16:37:05Z" }, "path": "sp1-gpu-shard-prover-6.10.0.crate", "raw": { "rev": "76e61", "files": [ { "id": 14010, "mol": "H(Cm)Md₃(InPa)", "pid": 2, "rel": "fetched", "sha": "e479c335e18c9997cd52eb35c99c21686549d26a6ea3f879c028f7250fcff287", "via": "https://static.crates.io/crates/sp1-gpu-shard-prover/sp1-gpu-shard-prover-6.10.0.crate", "path": "pkg:cargo/sp1-gpu-shard-prover@6.10.0", "risk": 7, "size": 37851, "type": "crate", "depth": 2, "facts": { "metrics": { "file": { "size": 37851, "entropy": 7.99 }, "binary": { "peak_region_bytes": 37851, "peak_region_entropy": 7.82 } } }, "ident": { "name": { "value": "sp1-gpu-shard-prover", "source": "crate.name", "verified": false }, "urls": [ { "url": "https://github.com/succinctlabs/sp1", "kind": "repository", "source": "crate.repository" } ], "trust": "unsigned", "version": { "value": "6.10.0", "source": "crate.version", "verified": false }, "identifier": { "value": "sp1-gpu-shard-prover", "source": "crate.name", "verified": false }, "description": { "value": "GPU shard proving orchestration for SP1", "source": "crate.description", "verified": false } }, "traits": [ { "id": "metadata/file/naming::uppercase-readme-md-basename", "conf": 1.0, "crit": 3, "desc": "Basename is uppercase README.md", "from": [ { "file": 5 } ] }, { "id": "metadata/file/profile/markup::markdown-heading-before-fenced-block", "conf": 0.98, "crit": 3, "desc": "Markdown-style heading precedes a code fence", "from": [ { "file": 6 } ] }, { "id": "metadata/import/rust/slop_alloc/buffer::slop_alloc/buffer", "conf": 0.95, "crit": 3, "desc": "imports slop_alloc::Buffer", "from": [ { "file": 9 } ] }, { "id": "metadata/lang/runtime::tokio-namespace", "conf": 0.5, "crit": 3, "desc": "References the Tokio async runtime namespace", "from": [ { "file": 9 } ] }, { "id": "metadata/package/testing/harness/unit::rust-test", "conf": 0.95, "crit": 3, "desc": "Rust test marker or harness", "from": [ { "off": 30868, "file": 14019, "line": 802 } ], "uses": [ 132, 133 ] }, { "id": "micro-behaviors/communications/http/url/forge::public-code-forge-url", "conf": 0.9, "crit": 3, "desc": "References a public code-forge URL", "from": [ { "file": 5 } ] }, { "id": "metadata/build/archive::archive-cargo-toml-entry", "conf": 0.9, "crit": 2, "desc": "Archive contains Cargo.toml" }, { "id": "metadata/file/comment::source-at-most-two-comments", "conf": 0.88, "crit": 2, "desc": "Source has at most two comments", "from": [ { "file": 8 } ] }, { "id": "metadata/file/comment::source-comment-bytes-over-300", "conf": 0.92, "crit": 2, "desc": "Source has over 300 comment bytes", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/crate/cudashardprover::crate/cudashardprover", "conf": 0.95, "crit": 2, "desc": "imports crate::CudaShardProver", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/crate/cudashardprovercomponents::crate/cudashardprovercomponents", "conf": 0.95, "crit": 2, "desc": "imports crate::CudaShardProverComponents", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/crate/cudashardproverinner::crate/cudashardproverinner", "conf": 0.95, "crit": 2, "desc": "imports crate::CudaShardProverInner", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/crate/maintracedata::crate/maintracedata", "conf": 0.95, "crit": 2, "desc": "imports crate::MainTraceData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/crate/sharddata::crate/sharddata", "conf": 0.95, "crit": 2, "desc": "imports crate::ShardData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/criterion/batchsize::criterion/batchsize", "conf": 0.95, "crit": 2, "desc": "imports criterion::BatchSize", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/criterion/benchmarkid::criterion/benchmarkid", "conf": 0.95, "crit": 2, "desc": "imports criterion::BenchmarkId", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/criterion/black_box::criterion/black_box", "conf": 0.95, "crit": 2, "desc": "imports criterion::black_box", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/criterion/criterion::criterion/criterion", "conf": 0.95, "crit": 2, "desc": "imports criterion::Criterion", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/criterion/criterion_group::criterion/criterion_group", "conf": 0.95, "crit": 2, "desc": "imports criterion::criterion_group", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/criterion/criterion_main::criterion/criterion_main", "conf": 0.95, "crit": 2, "desc": "imports criterion::criterion_main", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/prover::prover", "conf": 0.95, "crit": 2, "desc": "imports prover::*", "from": [ { "file": 8 } ] }, { "id": "metadata/import/rust/rand/rng::rand/rng", "conf": 0.95, "crit": 2, "desc": "imports rand::Rng", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/rand/rngs/stdrng::rand/rngs/stdrng", "conf": 0.95, "crit": 2, "desc": "imports rand::rngs::StdRng", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/rand/seedablerng::rand/seedablerng", "conf": 0.95, "crit": 2, "desc": "imports rand::SeedableRng", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/serial_test/serial::serial_test/serial", "conf": 0.95, "crit": 2, "desc": "imports serial_test::serial", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_algebra/abstractfield::slop_algebra/abstractfield", "conf": 0.95, "crit": 2, "desc": "imports slop_algebra::AbstractField", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_alloc/hasbackend::slop_alloc/hasbackend", "conf": 0.95, "crit": 2, "desc": "imports slop_alloc::HasBackend", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_basefold/basefoldverifier::slop_basefold/basefoldverifier", "conf": 0.95, "crit": 2, "desc": "imports slop_basefold::BasefoldVerifier", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_challenger/canobserve::slop_challenger/canobserve", "conf": 0.95, "crit": 2, "desc": "imports slop_challenger::CanObserve", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_challenger/fieldchallenger::slop_challenger/fieldchallenger", "conf": 0.95, "crit": 2, "desc": "imports slop_challenger::FieldChallenger", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_challenger/fromchallenger::slop_challenger/fromchallenger", "conf": 0.95, "crit": 2, "desc": "imports slop_challenger::FromChallenger", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_challenger/iopctx::slop_challenger/iopctx", "conf": 0.95, "crit": 2, "desc": "imports slop_challenger::IopCtx", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_commit/rounds::slop_commit/rounds", "conf": 0.95, "crit": 2, "desc": "imports slop_commit::Rounds", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_futures/queue/worker::slop_futures/queue/worker", "conf": 0.95, "crit": 2, "desc": "imports slop_futures::queue::Worker", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_futures/queue/workerqueue::slop_futures/queue/workerqueue", "conf": 0.95, "crit": 2, "desc": "imports slop_futures::queue::WorkerQueue", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_jagged/jaggedlittlepolynomialproverparams::slop_jagged/jaggedlittlepolynomialproverparams", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::JaggedLittlePolynomialProverParams", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/jaggedpcsproof::slop_jagged/jaggedpcsproof", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::JaggedPcsProof", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/jaggedpcsverifier::slop_jagged/jaggedpcsverifier", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::JaggedPcsVerifier", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/jaggedproverdata::slop_jagged/jaggedproverdata", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::JaggedProverData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/jaggedprovererror::slop_jagged/jaggedprovererror", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::JaggedProverError", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/prefixsumsmaxlogrowcount::slop_jagged/prefixsumsmaxlogrowcount", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::PrefixSumsMaxLogRowCount", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_jagged/unzip_and_prefix_sums::slop_jagged/unzip_and_prefix_sums", "conf": 0.95, "crit": 2, "desc": "imports slop_jagged::unzip_and_prefix_sums", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_multilinear/mleeval::slop_multilinear/mleeval", "conf": 0.95, "crit": 2, "desc": "imports slop_multilinear::MleEval", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_multilinear/multilinearpcschallenger::slop_multilinear/multilinearpcschallenger", "conf": 0.95, "crit": 2, "desc": "imports slop_multilinear::MultilinearPcsChallenger", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/slop_multilinear/multilinearpcsverifier::slop_multilinear/multilinearpcsverifier", "conf": 0.95, "crit": 2, "desc": "imports slop_multilinear::MultilinearPcsVerifier", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_multilinear/point::slop_multilinear/point", "conf": 0.95, "crit": 2, "desc": "imports slop_multilinear::Point", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/slop_tensor/tensor::slop_tensor/tensor", "conf": 0.95, "crit": 2, "desc": "imports slop_tensor::Tensor", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_core_machine/io/sp1stdin::sp1_core_machine/io/sp1stdin", "conf": 0.95, "crit": 2, "desc": "imports sp1_core_machine::io::SP1Stdin", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_core_machine/riscv/riscvair::sp1_core_machine/riscv/riscvair", "conf": 0.95, "crit": 2, "desc": "imports sp1_core_machine::riscv::RiscvAir", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_air/ir/chunkbudget::sp1_gpu_air/ir/chunkbudget", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_air::ir::ChunkBudget", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_air/ir/dagbuilder::sp1_gpu_air/ir/dagbuilder", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_air::ir::DagBuilder", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_basefold/cudab31kernels::sp1_gpu_basefold/cudab31kernels", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_basefold::CudaB31Kernels", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_basefold/cudastackedpcsproverdata::sp1_gpu_basefold/cudastackedpcsproverdata", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_basefold::CudaStackedPcsProverData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_basefold/devicegrindingchallenger::sp1_gpu_basefold/devicegrindingchallenger", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_basefold::DeviceGrindingChallenger", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_basefold/fricudaprover::sp1_gpu_basefold/fricudaprover", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_basefold::FriCudaProver", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_challenger/fromhostchallengersync::sp1_gpu_challenger/fromhostchallengersync", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_challenger::FromHostChallengerSync", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_commit/commit_multilinears::sp1_gpu_commit/commit_multilinears", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_commit::commit_multilinears", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/devicemle::sp1_gpu_cudart/devicemle", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::DeviceMle", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/devicepoint::sp1_gpu_cudart/devicepoint", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::DevicePoint", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/devicetensor::sp1_gpu_cudart/devicetensor", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::DeviceTensor", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/pinnedbuffer::sp1_gpu_cudart/pinnedbuffer", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::PinnedBuffer", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/run_in_place::sp1_gpu_cudart/run_in_place", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::run_in_place", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_cudart/taskscope::sp1_gpu_cudart/taskscope", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_cudart::TaskScope", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_assist/prove_jagged_evaluation_sync::sp1_gpu_jagged_assist/prove_jagged_evaluation_sync", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_assist::prove_jagged_evaluation_sync", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_sumcheck/generate_jagged_sumcheck_poly::sp1_gpu_jagged_sumcheck/generate_jagged_sumcheck_poly", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_sumcheck::generate_jagged_sumcheck_poly", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_sumcheck/jagged_sumcheck::sp1_gpu_jagged_sumcheck/jagged_sumcheck", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_sumcheck::jagged_sumcheck", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/core_max_trace_size::sp1_gpu_jagged_tracegen/core_max_trace_size", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::CORE_MAX_TRACE_SIZE", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/cudashardproverdata::sp1_gpu_jagged_tracegen/cudashardproverdata", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::CudaShardProverData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/full_tracegen::sp1_gpu_jagged_tracegen/full_tracegen", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::full_tracegen", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/full_tracegen_permit::sp1_gpu_jagged_tracegen/full_tracegen_permit", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::full_tracegen_permit", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/main_tracegen_permit::sp1_gpu_jagged_tracegen/main_tracegen_permit", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::main_tracegen_permit", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/setup_tracegen_permit::sp1_gpu_jagged_tracegen/setup_tracegen_permit", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::setup_tracegen_permit", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/test_utils/bench_utils/jaggedkind::sp1_gpu_jagged_tracegen/test_utils/bench_utils/jaggedkind", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::test_utils::bench_utils::JaggedKind", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/test_utils/bench_utils/with_trace_source::sp1_gpu_jagged_tracegen/test_utils/bench_utils/with_trace_source", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::test_utils::bench_utils::with_trace_source", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/test_utils/tracegen_setup/core_max_log_row_count::sp1_gpu_jagged_tracegen/test_utils/tracegen_setup/core_max_log_row_count", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::test_utils::tracegen_setup::CORE_MAX_LOG_ROW_COUNT", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/test_utils/tracegen_setup/log_stacking_height::sp1_gpu_jagged_tracegen/test_utils/tracegen_setup/log_stacking_height", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::test_utils::tracegen_setup::LOG_STACKING_HEIGHT", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_jagged_tracegen/test_utils/tracegen_setup::sp1_gpu_jagged_tracegen/test_utils/tracegen_setup", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_jagged_tracegen::test_utils::tracegen_setup", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_logup_gkr/cudalogupgkroptions::sp1_gpu_logup_gkr/cudalogupgkroptions", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_logup_gkr::CudaLogUpGkrOptions", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_logup_gkr/interactions::sp1_gpu_logup_gkr/interactions", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_logup_gkr::Interactions", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_logup_gkr/prove_logup_gkr::sp1_gpu_logup_gkr/prove_logup_gkr", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_logup_gkr::prove_logup_gkr", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_merkle_tree/cudatcsprover::sp1_gpu_merkle_tree/cudatcsprover", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_merkle_tree::CudaTcsProver", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_merkle_tree/poseidon2sp1field16cudaprover::sp1_gpu_merkle_tree/poseidon2sp1field16cudaprover", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_merkle_tree::Poseidon2SP1Field16CudaProver", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_merkle_tree/singlelayermerkletreeprovererror::sp1_gpu_merkle_tree/singlelayermerkletreeprovererror", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_merkle_tree::SingleLayerMerkleTreeProverError", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_shard_prover/cudashardprover::sp1_gpu_shard_prover/cudashardprover", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_shard_prover::CudaShardProver", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_shard_prover/cudashardprovercomponents::sp1_gpu_shard_prover/cudashardprovercomponents", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_shard_prover::CudaShardProverComponents", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_tracegen/cudatracegenair::sp1_gpu_tracegen/cudatracegenair", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_tracegen::CudaTracegenAir", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_utils/ext::sp1_gpu_utils/ext", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_utils::Ext", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_utils/felt::sp1_gpu_utils/felt", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_utils::Felt", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_utils/jaggedtracemle::sp1_gpu_utils/jaggedtracemle", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_utils::JaggedTraceMle", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_utils/testgc::sp1_gpu_utils/testgc", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_utils::TestGC", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_zerocheck/primitives/round_batch_evaluations::sp1_gpu_zerocheck/primitives/round_batch_evaluations", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_zerocheck::primitives::round_batch_evaluations", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_gpu_zerocheck/prover/machinebytecode::sp1_gpu_zerocheck/prover/machinebytecode", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_zerocheck::prover::MachineBytecode", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_zerocheck/prover/upload_machine_bytecode::sp1_gpu_zerocheck/prover/upload_machine_bytecode", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_zerocheck::prover::upload_machine_bytecode", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_gpu_zerocheck/prover/zerocheck::sp1_gpu_zerocheck/prover/zerocheck", "conf": 0.95, "crit": 2, "desc": "imports sp1_gpu_zerocheck::prover::zerocheck", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/air/machineair::sp1_hypercube/air/machineair", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::air::MachineAir", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_hypercube/air/machineprogram::sp1_hypercube/air/machineprogram", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::air::MachineProgram", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/chip::sp1_hypercube/chip", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::Chip", "from": [ { "file": 11 } ] }, { "id": "metadata/import/rust/sp1_hypercube/machine::sp1_hypercube/machine", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::Machine", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/machineverifyingkey::sp1_hypercube/machineverifyingkey", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::MachineVerifyingKey", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/airprover::sp1_hypercube/prover/airprover", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::AirProver", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/preprocesseddata::sp1_hypercube/prover/preprocesseddata", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::PreprocessedData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/proverpermit::sp1_hypercube/prover/proverpermit", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::ProverPermit", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/proversemaphore::sp1_hypercube/prover/proversemaphore", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::ProverSemaphore", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/provingkey::sp1_hypercube/prover/provingkey", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::ProvingKey", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/prover/zerocheckair::sp1_hypercube/prover/zerocheckair", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::prover::ZerocheckAir", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/septic_digest/septicdigest::sp1_hypercube/septic_digest/septicdigest", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::septic_digest::SepticDigest", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/sp1_hypercube/shardcontext::sp1_hypercube/shardcontext", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::ShardContext", "from": [ { "file": 11 } ] }, { "id": "metadata/import/rust/sp1_hypercube/shardcontextimpl::sp1_hypercube/shardcontextimpl", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::ShardContextImpl", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/shardproof::sp1_hypercube/shardproof", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::ShardProof", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/sp1innerpcs::sp1_hypercube/sp1innerpcs", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::SP1InnerPcs", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/sp1_hypercube/sp1pcsproof::sp1_hypercube/sp1pcsproof", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::SP1PcsProof", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/sp1_hypercube/untrustedconfig::sp1_hypercube/untrustedconfig", "conf": 0.95, "crit": 2, "desc": "imports sp1_hypercube::UntrustedConfig", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/sp1_primitives/fri_params/core_fri_config::sp1_primitives/fri_params/core_fri_config", "conf": 0.95, "crit": 2, "desc": "imports sp1_primitives::fri_params::core_fri_config", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/std/collections/btreemap::std/collections/btreemap", "conf": 0.95, "crit": 2, "desc": "imports std::collections::BTreeMap", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/std/collections/btreeset::std/collections/btreeset", "conf": 0.95, "crit": 2, "desc": "imports std::collections::BTreeSet", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/std/iter/once::std/iter/once", "conf": 0.95, "crit": 2, "desc": "imports std::iter::once", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/std/marker/phantomdata::std/marker/phantomdata", "conf": 0.95, "crit": 2, "desc": "imports std::marker::PhantomData", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/std/sync/arc::std/sync/arc", "conf": 0.95, "crit": 2, "desc": "imports std::sync::Arc", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/std/vec::std/vec", "conf": 0.95, "crit": 2, "desc": "imports std::vec", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/super::super", "conf": 0.95, "crit": 2, "desc": "imports super::*", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/thiserror/error::thiserror/error", "conf": 0.95, "crit": 2, "desc": "imports thiserror::Error", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/tokio/sync/mutex::tokio/sync/mutex", "conf": 0.95, "crit": 2, "desc": "imports tokio::sync::Mutex", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/tracing/instrument::tracing/instrument", "conf": 0.95, "crit": 2, "desc": "imports tracing::Instrument", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/types::types", "conf": 0.95, "crit": 2, "desc": "imports types::*", "from": [ { "file": 8 } ] }, { "id": "metadata/package/description/length::cargo-description-at-least-20-characters", "conf": 0.78, "crit": 2, "desc": "Cargo description has at least 20 characters" }, { "id": "metadata/package/documentation/source::cargo-readme-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo readme field is populated" }, { "id": "metadata/package/documentation/source::readme-markdown-basename", "conf": 0.99, "crit": 2, "desc": "README Markdown basename", "from": [ { "file": 5 } ] }, { "id": "metadata/package/files/archive-member::archive-readme-member", "conf": 0.9, "crit": 2, "desc": "Archive member is a README document" }, { "id": "metadata/package/license::cargo-license-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo license field is populated" }, { "id": "metadata/package/name/identity::cargo-package-name-present", "conf": 0.85, "crit": 2, "desc": "Cargo package name field is populated" }, { "id": "metadata/package/repository::cargo-repository-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo repository field is populated" }, { "id": "metadata/package/testing/harness/unit::rust-assert-macro", "conf": 0.6, "crit": 2, "desc": "assert! macro", "from": [ { "file": 9 } ] }, { "id": "metadata/package/testing/harness/unit::rust-cfg-test", "conf": 0.9, "crit": 2, "desc": "#[cfg(test)] attribute", "from": [ { "file": 9 } ] }, { "id": "metadata/package/testing/harness/unit::rust-test-attr", "conf": 0.9, "crit": 2, "desc": "Rust synchronous or async test attribute", "from": [ { "file": 9 } ] }, { "id": "metadata/package/version::cargo-package-version", "conf": 0.85, "crit": 2, "desc": "Cargo package has version" }, { "id": "metadata/lang/natural/vocabulary/content-word::data-access-verb-token", "conf": 0.88, "crit": 1, "desc": "Data-access verb token", "from": [ { "file": 9 } ] }, { "id": "metadata/lang/natural/vocabulary/content-word::data-transfer-verb-token", "conf": 0.88, "crit": 1, "desc": "Data-transfer verb token", "from": [ { "file": 7 } ] }, { "id": "metadata/lang/natural/vocabulary/content-word::english-edit-verb-token", "conf": 0.88, "crit": 1, "desc": "English edit-action verb token", "from": [ { "file": 4 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-3", "conf": 0.8, "crit": 1, "desc": "English function-word token \"that\"", "from": [ { "file": 7 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"", "from": [ { "file": 4 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-6", "conf": 0.8, "crit": 1, "desc": "English function-word token \"with\"", "from": [ { "file": 6 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"", "from": [ { "file": 9 } ] }, { "id": "micro-behaviors/data/llm/repository-directive::control-action-prose-fragment", "conf": 0.88, "crit": 1, "desc": "Control-action verb followed by prose", "from": [ { "file": 6 } ] }, { "id": "micro-behaviors/data/llm/repository-directive::repository-agent-command-directive", "conf": 0.88, "crit": 1, "desc": "Marks command word as an agent directive", "from": [ { "file": 6 } ] }, { "id": "micro-behaviors/data/llm/repository-directive::repository-agent-directive-marker", "conf": 0.88, "crit": 1, "desc": "Marks text as an agent directive", "from": [ { "file": 7 } ] } ] } ] } }