Skip to content
Open-Source Registry

cargo / intuit

intuit 0.0.1

bitbison: clean, with notes, behavior clean, dependencies notes, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
359
operations
8.7K
packages
32
compiler runs
7
connections
1
job time
37s
capture
123 KB
records
16K
bytes / record
7.8

Bounded, allocation-free intuitionistic forcing over finite information models.

Build behaviourcompiled and nothing more

Apache-2.0 OR MIT · published 2026-10-11 · source · home page · cargo formal-verificationintuitionistickripkelogicno-std

Artifact

file · retained · product · graph v2
1
ChecksDetections
Build behavior
✓ Network activity—
✓ Sensitive data access and transfer—
✓ Cross-process access—
✓ Build file changes—
✓ Build script activity—
✓ Data flow analysis—
✓ Filesystem writes—
✓ Context collection—
Supply chain
✓ Known vulnerabilities—
▲ Build-time dependency advisories—
✓ Dependency advisories—
✓ Declared and observed dependencies—
✓ Dependency and toolchain versions—
Pipeline
✓ Pipeline coverage—

Detections

0

No detections

No abnormal activity detected across 8.7K flows.

Network

0 peers
    cargo fetched 1,910 files from static.crates.io

    Raw data

    capture
    123 KB
    records
    15,813
    bytes per record
    7.8

    Loading a sample of the capture

    Want to see more? E-mail us at hello@bitbison.io about your use case.

    Dependencies

    32 packages, 6 with a build script that ran, 1 doing more than compiling
    PackageVersionUsageBuild behaviour
    wit-bindgen-rt0.39.0observedbuild script, not runprebuilt objects
    getrandom0.3.3observedbuild script
    ld-linux-x86-64.so.2linkedsystem library
    libc0.2.189observedbuild script
    libc.so.6linkedsystem library
    libgcc_s.so.1linkedsystem library
    libm.so.6linkedsystem library
    libmvec.so.1linkedsystem library
    num-traits0.2.19observedbuild script
    proc-macro21.0.95observedbuild script
    thiserror direct2.0.12observedbuild script
    thiserror-impl2.0.12observedproc macro
    zerocopy0.8.26observedbuild script
    zerocopy-derive0.8.26observedproc macro
    autocfg1.5.1observed
    bit-set0.8.0observed
    bit-vec0.8.0observed
    bitflags2.13.0observed
    cfg-if1.0.1observed
    ppv-lite860.2.21observed
    proptest1.11.0observed
    quote1.0.40observed
    r-efi5.3.0observed
    rand0.9.1observed
    rand_chacha0.9.0observed
    rand_core0.9.3observed
    rand_xorshift0.4.0observed
    regex-syntax0.8.11observed
    syn2.0.104observed
    unarray0.1.4observed
    unicode-ident1.0.18observed
    wasi0.14.2+wasi-0.2.4observed

    1 of 1 jobs captured: build-test success · Generated 2026-10-11 · run da7ad152-458e-496f-8ed2-c3352593b0e8

    analysis 0.1.0 · 2026-10-10 · ce2b8d5 · graph v2