{
  "ml": {
    "v": "7",
    "id": 1196,
    "lvl": -1,
    "conf": 0,
    "prob": 0.000013162692084733862,
    "type": "rust",
    "version": "v18.18",
    "analyzed_at": "2026-10-11T01:58:35Z"
  },
  "path": "harn-ir-0.10.163.crate",
  "raw": {
    "rev": "17dc6",
    "files": [
      {
        "id": 1408,
        "mol": "H₂(CmDb₂)Md(Pa)",
        "pid": 2,
        "rel": "fetched",
        "sha": "4096cc1edac43bf54476bed90af951c220856c402bbf3f88276f65dd1eb86fcd",
        "via": "https://static.crates.io/crates/harn-ir/harn-ir-0.10.163.crate",
        "path": "pkg:cargo/harn-ir@0.10.163",
        "risk": 5,
        "size": 22293,
        "type": "crate",
        "depth": 2,
        "facts": {
          "metrics": {
            "file": {
              "size": 22293,
              "entropy": 7.99
            },
            "binary": {
              "peak_region_bytes": 22293,
              "peak_region_entropy": 7.83
            }
          }
        },
        "ident": {
          "name": {
            "value": "harn-ir",
            "source": "crate.name",
            "verified": false
          },
          "urls": [
            {
              "url": "https://github.com/burin-labs/harn",
              "kind": "repository",
              "source": "crate.repository"
            },
            {
              "url": "https://harnlang.com/",
              "kind": "homepage",
              "source": "crate.homepage"
            }
          ],
          "trust": "unsigned",
          "version": {
            "value": "0.10.163",
            "source": "crate.version",
            "verified": false
          },
          "identifier": {
            "value": "harn-ir",
            "source": "crate.name",
            "verified": false
          },
          "description": {
            "value": "CFG and invariant analysis for the Harn programming language",
            "source": "crate.description",
            "verified": false
          }
        },
        "traits": [
          {
            "id": "metadata/package/testing/harness/unit::rust-inline-tests-module-path",
            "conf": 0.95,
            "crit": 3,
            "desc": "Rust inline tests module path",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-test",
            "conf": 0.95,
            "crit": 3,
            "desc": "Rust test marker or harness",
            "from": [
              {
                "file": 10
              },
              {
                "file": 12
              }
            ],
            "uses": [
              40,
              41
            ]
          },
          {
            "id": "micro-behaviors/communications/ipc/unix-socket::unix-socket-path",
            "conf": 0.9,
            "crit": 3,
            "desc": "Rust names a Unix socket path",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "micro-behaviors/data/llm/agent::affirmative-tool-approval-required",
            "conf": 0.9,
            "crit": 3,
            "desc": "Tool approval requirement guideline",
            "from": [
              {
                "file": 9
              }
            ]
          },
          {
            "id": "micro-behaviors/data/llm/wire-marker::llm-term-reference",
            "conf": 0.88,
            "crit": 3,
            "desc": "Explicit LLM or language-model reference",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "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": 12
              }
            ]
          },
          {
            "id": "metadata/file/comment::source-comment-bytes-over-300",
            "conf": 0.92,
            "crit": 2,
            "desc": "Source has over 300 comment bytes",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/analysis::analysis",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports analysis::*",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "id": "metadata/import/rust/builder::builder",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports builder::*",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "id": "metadata/import/rust/classify/literal_value::classify/literal_value",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports classify::literal_value",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate/builder::crate/builder",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::builder::*",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate/classify::crate/classify",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::classify::*",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate/invariants::crate/invariants",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::invariants::*",
            "from": [
              {
                "file": 11
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate/spec_parse::crate/spec_parse",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::spec_parse::*",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate/types::crate/types",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::types::*",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/crate::crate",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports crate::*",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_builtin_meta/builtincontract::harn_builtin_meta/builtincontract",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_builtin_meta::BuiltinContract",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_builtin_meta/effectaccess::harn_builtin_meta/effectaccess",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_builtin_meta::EffectAccess",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_builtin_meta/effectkind::harn_builtin_meta/effectkind",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_builtin_meta::EffectKind",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_builtin_meta/resourceselector::harn_builtin_meta/resourceselector",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_builtin_meta::ResourceSelector",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_glob/match_path::glob_match",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_glob::match_path as glob_match",
            "from": [
              {
                "file": 9
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_lexer/span::harn_lexer/span",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_lexer::Span",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_parser/attribute::harn_parser/attribute",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_parser::Attribute",
            "from": [
              {
                "file": 11
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_parser/attributearg::harn_parser/attributearg",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_parser::AttributeArg",
            "from": [
              {
                "file": 11
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_parser/bindingpattern::harn_parser/bindingpattern",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_parser::BindingPattern",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_parser/node::harn_parser/node",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_parser::Node",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/harn_parser/snode::harn_parser/snode",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports harn_parser::SNode",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "metadata/import/rust/invariants::invariants",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports invariants::*",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "id": "metadata/import/rust/std/collections/btreemap::std/collections/btreemap",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports std::collections::BTreeMap",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "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/collections/hashset::std/collections/hashset",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports std::collections::HashSet",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/std/collections/vecdeque::std/collections/vecdeque",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports std::collections::VecDeque",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/import/rust/super::super",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports super::*",
            "from": [
              {
                "file": 7
              }
            ]
          },
          {
            "id": "metadata/import/rust/types::types",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports types::*",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "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-cfg-test",
            "conf": 0.9,
            "crit": 2,
            "desc": "#[cfg(test)] attribute",
            "from": [
              {
                "file": 10
              }
            ]
          },
          {
            "id": "metadata/package/testing/harness/unit::rust-test-attr",
            "conf": 0.9,
            "crit": 2,
            "desc": "#[test] attribute",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "metadata/package/version::cargo-package-version",
            "conf": 0.85,
            "crit": 2,
            "desc": "Cargo package has version"
          },
          {
            "id": "micro-behaviors/data/control-flow/loop::rust-collect-call",
            "conf": 0.85,
            "crit": 2,
            "desc": "Rust materializes an iterator with .collect()",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "micro-behaviors/data/control-flow/loop::rust-iter-call",
            "conf": 0.85,
            "crit": 2,
            "desc": "Rust creates an iterator with .iter()",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "micro-behaviors/fs/path/temp::tmp-path-content",
            "conf": 1.0,
            "crit": 2,
            "desc": "Contains a /tmp/ or /var/tmp/ path",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "metadata/file/string/file::tmp",
            "conf": 0.2,
            "crit": 1,
            "desc": "tmp literal keyword",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "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": 4
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-3",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"that\"",
            "from": [
              {
                "file": 8
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-5",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"for\"",
            "from": [
              {
                "file": 4
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-6",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"with\"",
            "from": [
              {
                "file": 9
              }
            ]
          },
          {
            "id": "metadata/lang/natural::lang-english--atom-7",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"this\"",
            "from": [
              {
                "file": 6
              }
            ]
          },
          {
            "id": "micro-behaviors/data/serialize/envelope::command-assignment-key",
            "conf": 0.4,
            "crit": 1,
            "desc": "Command field or assignment key",
            "from": [
              {
                "file": 13
              }
            ]
          },
          {
            "id": "micro-behaviors/data/serialize/schema-object::command-field-key",
            "conf": 0.9,
            "crit": 1,
            "desc": "JSON-like object command field",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "micro-behaviors/data/source/syntax/schema::object-arguments-field",
            "conf": 0.9,
            "crit": 1,
            "desc": "Object defines an arg or args field",
            "from": [
              {
                "file": 12
              }
            ]
          },
          {
            "id": "micro-behaviors/fs/write/file/stage::source-temp-path-reference",
            "conf": 0.92,
            "crit": 1,
            "desc": "Source references temporary path",
            "from": [
              {
                "file": 12
              }
            ]
          }
        ]
      }
    ]
  }
}