{
  "ml": {
    "v": "7",
    "id": 3025,
    "lvl": -1,
    "conf": 0,
    "prob": 0.000014126300811767578,
    "type": "crate",
    "version": "v18.18",
    "analyzed_at": "2026-10-15T19:30:26Z"
  },
  "path": "witness-mcdc-checker-0.45.0.crate",
  "raw": {
    "rev": "17dc6",
    "files": [
      {
        "id": 3025,
        "mol": "Md(Pa₃)",
        "pid": 2,
        "rel": "fetched",
        "sha": "710763a9be4b7eac77fd6c1848e4f97ed5d38c955432b033acbbf26c39a28f53",
        "via": "https://static.crates.io/crates/witness-mcdc-checker/witness-mcdc-checker-0.45.0.crate",
        "path": "pkg:cargo/witness-mcdc-checker@0.45.0",
        "risk": 4,
        "size": 10773,
        "type": "crate",
        "depth": 2,
        "facts": {
          "metrics": {
            "file": {
              "size": 10773,
              "entropy": 7.98
            },
            "binary": {
              "peak_region_bytes": 10773,
              "peak_region_entropy": 7.81
            }
          }
        },
        "ident": {
          "name": {
            "value": "witness-mcdc-checker",
            "source": "crate.name",
            "verified": false
          },
          "urls": [
            {
              "url": "https://github.com/pulseengine/witness",
              "kind": "repository",
              "source": "crate.repository"
            },
            {
              "url": "https://pulseengine.eu",
              "kind": "homepage",
              "source": "crate.homepage"
            }
          ],
          "trust": "unsigned",
          "authors": [
            {
              "name": "Ralf Anton Beier",
              "role": "author",
              "source": "crate.authors"
            }
          ],
          "version": {
            "value": "0.45.0",
            "source": "crate.version",
            "verified": false
          },
          "identifier": {
            "value": "witness-mcdc-checker",
            "source": "crate.name",
            "verified": false
          },
          "description": {
            "value": "Pure-stdlib MC/DC independent-effect pair finder. The qualifiable kernel of witness — no I/O, no DWARF, no walrus, ~70 LoC of decision logic that safety-critic…",
            "source": "crate.description",
            "verified": false
          }
        },
        "traits": [
          {
            "id": "metadata/package/documentation/agent-safety::pentest-witness-vocabulary",
            "conf": 0.96,
            "crit": 3,
            "desc": "Playbook labels payloads as witnesses",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-test",
            "conf": 0.95,
            "crit": 3,
            "desc": "Rust test marker or harness",
            "from": [
              {
                "off": 8088,
                "file": 3030,
                "line": 211
              },
              {
                "file": 3031
              }
            ],
            "uses": [
              21,
              22
            ]
          },
          {
            "id": "metadata/package/testing/presence/path::archive-test-directory-member-path",
            "conf": 0.98,
            "crit": 3,
            "desc": "Archive ships a root-level test tree"
          },
          {
            "id": "metadata/build/archive::archive-cargo-toml-entry",
            "conf": 0.9,
            "crit": 2,
            "desc": "Archive contains Cargo.toml"
          },
          {
            "id": "metadata/file/comment::source-comment-bytes-over-300",
            "conf": 0.92,
            "crit": 2,
            "desc": "Source has over 300 comment bytes",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/file/naming::test-directory-component",
            "conf": 1.0,
            "crit": 2,
            "desc": "Path contains a test-directory component",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/alloc/collections/btreemap::alloc/collections/btreemap",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports alloc::collections::BTreeMap",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/alloc/vec::alloc/vec",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports alloc::vec",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/proptest/prelude::proptest/prelude",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports proptest::prelude::*",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/std/collections/btreemap::std/collections/btreemap",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports std::collections::BTreeMap",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/super::super",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports super::*",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/witness_mcdc_checker/find_independent_effect_pair::witness_mcdc_checker/find_independent_effect_pair",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports witness_mcdc_checker::find_independent_effect_pair",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/witness_mcdc_checker/interpretation::witness_mcdc_checker/interpretation",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports witness_mcdc_checker::Interpretation",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/witness_mcdc_checker/row::witness_mcdc_checker/row",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports witness_mcdc_checker::Row",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "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/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-eq-macro",
            "conf": 0.7,
            "crit": 2,
            "desc": "assert_eq! macro",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-assert-macro",
            "conf": 0.6,
            "crit": 2,
            "desc": "assert! macro",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-cfg-test",
            "conf": 0.9,
            "crit": 2,
            "desc": "#[cfg(test)] attribute",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-test-attr",
            "conf": 0.9,
            "crit": 2,
            "desc": "#[test] attribute",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/package/testing/presence/fixture::package-test-directory-member",
            "conf": 0.96,
            "crit": 2,
            "desc": "Package test directory member"
          },
          {
            "id": "metadata/package/testing/presence/harness::rust-tests-directory-path",
            "conf": 0.9,
            "crit": 2,
            "desc": "Path identifies Rust tests directory",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/package/testing/presence/path::shell-crate-test-path",
            "conf": 0.95,
            "crit": 2,
            "desc": "Shell crate test path",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/package/version::cargo-package-version",
            "conf": 0.85,
            "crit": 2,
            "desc": "Cargo package has version"
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-1",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"the\"",
            "from": [
              {
                "file": 4
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-2",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"and\"",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-3",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"that\"",
            "from": [
              {
                "file": 4
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-4",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"have\"",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-5",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"for\"",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-6",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"with\"",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-7",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"this\"",
            "from": [
              {
                "file": 4
              }
            ]
          },
          {
            "id": "micro-behaviors/data/serialize/envelope::result-assignment-key",
            "conf": 0.4,
            "crit": 1,
            "desc": "Result field or assignment key",
            "from": [
              {
                "file": 6
              }
            ]
          }
        ]
      }
    ]
  }
}