{
  "ml": {
    "v": "7",
    "id": 19,
    "lvl": -1,
    "conf": 0,
    "prob": 0.00001436471939086914,
    "type": "crate",
    "version": "v18.18",
    "analyzed_at": "2026-10-22T04:39:21Z"
  },
  "path": "prusti-contracts-proc-macros-0.3.0.crate",
  "raw": {
    "rev": "76e61",
    "files": [
      {
        "id": 19,
        "mol": "Md₂(Pt)",
        "pid": 3,
        "rel": "fetched",
        "sha": "89cdc1b3006dc15a7ea4e1ceb5cb7c0d422591c57c44401dced9e43ad7baa2ac",
        "via": "https://static.crates.io/crates/prusti-contracts-proc-macros/prusti-contracts-proc-macros-0.3.0.crate",
        "path": "pkg:cargo/prusti-contracts-proc-macros@0.3.0",
        "risk": 4,
        "size": 3858,
        "type": "crate",
        "depth": 2,
        "facts": {
          "metrics": {
            "file": {
              "size": 3858,
              "entropy": 7.94
            },
            "binary": {
              "peak_region_bytes": 3858,
              "peak_region_entropy": 7.77
            }
          }
        },
        "ident": {
          "name": {
            "value": "prusti-contracts-proc-macros",
            "source": "crate.name",
            "verified": false
          },
          "urls": [
            {
              "url": "https://github.com/prusti/prusti/tree/main/prusti-contracts/prusti-contracts-proc-macros/",
              "kind": "repository",
              "source": "crate.repository"
            },
            {
              "url": "https://www.pm.inf.ethz.ch/research/prusti.html",
              "kind": "homepage",
              "source": "crate.homepage"
            }
          ],
          "trust": "unsigned",
          "emails": [
            "prusti_developers@sympa.ethz.ch"
          ],
          "authors": [
            {
              "name": "Prusti Devs",
              "role": "author",
              "email": "prusti_developers@sympa.ethz.ch",
              "source": "crate.authors"
            }
          ],
          "version": {
            "value": "0.3.0",
            "source": "crate.version",
            "verified": false
          },
          "identifier": {
            "value": "prusti-contracts-proc-macros",
            "source": "crate.name",
            "verified": false
          },
          "description": {
            "value": "Internal `proc-macro` Prusti crate",
            "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": 6
              }
            ]
          },
          {
            "id": "metadata/lang/source/declaration::rust-proc-macro-entrypoint",
            "conf": 0.92,
            "crit": 3,
            "desc": "Rust procedural-macro entrypoint declaration"
          },
          {
            "id": "metadata/build/archive::archive-cargo-toml-entry",
            "conf": 0.9,
            "crit": 2,
            "desc": "Archive contains Cargo.toml"
          },
          {
            "id": "metadata/import/rust/proc_macro/tokenstream::proc_macro/tokenstream",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports proc_macro::TokenStream",
            "from": [
              {
                "file": 7
              }
            ]
          },
          {
            "id": "metadata/import/rust/prusti_specs/rewrite_prusti_attributes::prusti_specs/rewrite_prusti_attributes",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports prusti_specs::rewrite_prusti_attributes",
            "from": [
              {
                "file": 7
              }
            ]
          },
          {
            "id": "metadata/import/rust/prusti_specs/specattributekind::prusti_specs/specattributekind",
            "conf": 0.95,
            "crit": 2,
            "desc": "imports prusti_specs::SpecAttributeKind",
            "from": [
              {
                "file": 7
              }
            ]
          },
          {
            "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": 6
              }
            ]
          },
          {
            "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/version::cargo-package-version",
            "conf": 0.85,
            "crit": 2,
            "desc": "Cargo package has version"
          },
          {
            "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-2",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"and\"",
            "from": [
              {
                "file": 4
              }
            ]
          },
          {
            "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-7",
            "conf": 0.8,
            "crit": 1,
            "desc": "English function-word token \"this\"",
            "from": [
              {
                "file": 5
              }
            ]
          },
          {
            "id": "micro-behaviors/data/llm/repository-directive::repository-agent-role-label",
            "conf": 0.88,
            "crit": 1,
            "desc": "Labels an addressed agent role",
            "from": [
              {
                "file": 4
              }
            ]
          }
        ]
      }
    ]
  }
}