creusot-rs / creusot

Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.

Кожна точка охоплює 5 днів.

Повний розв'язаний набір залежностей із графа залежностей GitHub: 56 прямих і 165 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 181 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 1 мають відомі сповіщення, з них 1 прямі. 40 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза наведеним переліком пакетів.

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

{
  "data": {
    "repo": {
      "topics": [
        "rust-lang",
        "verification",
        "proof",
        "formal-verification",
        "deductive-reasoning",
        "why3",
        "rust",
        "formal-methods",
        "contracts"
      ],
      "is_fork": false,
      "size_kb": 111274,
      "has_wiki": true,
      "homepage": "https://creusot.rs",
      "languages": {
        "CSS": 3103,
        "Nix": 19947,
        "HTML": 349,
        "Rust": 2522491,
        "Shell": 10186,
        "JavaScript": 35690,
        "RenderScript": 1
      },
      "pushed_at": "2026-07-27T15:28:23Z",
      "created_at": "2021-01-25T15:49:30Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-27T15:45:08Z",
      "description": "Creusot helps you prove your Rust code is correct.",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "LGPL-2.1",
      "default_branch": "master",
      "license_spdx_raw": "LGPL-2.1",
      "primary_language": "Rust",
      "significant_languages": [
        "Rust"
      ]
    },
    "owner": {
      "blog": "https://creusot.rs",
      "name": "Creusot Rust Verifier",
      "type": "Organization",
      "login": "creusot-rs",
      "company": null,
      "location": null,
      "followers": 37,
      "avatar_url": "https://avatars.githubusercontent.com/u/160618561?v=4",
      "created_at": "2024-02-20T14:11:08Z",
      "is_verified": null,
      "public_repos": 9,
      "account_age_days": 888
    },
    "license": {
      "state": "standard",
      "spdx_id": "LGPL-2.1",
      "raw_spdx": "LGPL-2.1",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v0.12.0",
          "kind": "minor",
          "published_at": "2026-06-12T11:09:36Z"
        },
        {
          "tag": "v0.11.0",
          "kind": "minor",
          "published_at": "2026-04-20T12:17:57Z"
        },
        {
          "tag": "v0.10.0",
          "kind": "minor",
          "published_at": "2026-02-24T21:58:28Z"
        },
        {
          "tag": "v0.9.0",
          "kind": "minor",
          "published_at": "2026-01-17T15:05:10Z"
        },
        {
          "tag": "v0.8.0",
          "kind": "minor",
          "published_at": "2025-12-10T14:31:03Z"
        },
        {
          "tag": "v0.7.0",
          "kind": "minor",
          "published_at": "2025-11-03T09:29:33Z"
        },
        {
          "tag": "v0.6.0",
          "kind": "minor",
          "published_at": "2025-10-09T12:12:33Z"
        },
        {
          "tag": "v0.5.0",
          "kind": "minor",
          "published_at": "2025-10-09T12:11:54Z"
        },
        {
          "tag": "v0.4.0",
          "kind": "minor",
          "published_at": "2025-03-03T12:13:26Z"
        },
        {
          "tag": "v0.3.0",
          "kind": "minor",
          "published_at": "2024-10-27T11:20:18Z"
        },
        {
          "tag": "v0.2.0",
          "kind": "minor",
          "published_at": "2024-07-30T19:22:51Z"
        },
        {
          "tag": "v0.1.1",
          "kind": "patch",
          "published_at": "2024-06-25T15:11:44Z"
        },
        {
          "tag": "v0.1",
          "kind": "other",
          "published_at": "2024-05-20T14:57:44Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "318615be3b8bbc60d1f6d52469ba5c0bdebed4f1",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.13.0 (#2210)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-07-27T13:18:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "afd365f7a8ba33a90c67b0809de4e7a097421057",
          "body": null,
          "is_bot": false,
          "headline": "chore: Release",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-27T13:00:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8d73ab6e92fd7c5385a3d921df244a440b39970a",
          "body": "…omic API (#2209)",
          "is_bot": false,
          "headline": "creusot-std: RA requirements, semi-lattice RA, FMapKeyLocalUpdate, At…",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-22T16:53:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9b0328af6a37eeb577fdacec5e0c65b47d1dae3c",
          "body": null,
          "is_bot": false,
          "headline": "feat(ra): Change impl requirement from factor to incl",
          "author_name": "Vincent Lafeychine",
          "author_login": "lafeychine",
          "committed_at": "2026-07-22T16:04:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f5fe36c59edbd7a2f7753bc7a3866b45ace8b48c",
          "body": null,
          "is_bot": false,
          "headline": "feat(std): Add Semi-Lattice RA + FMapKeyLocalUpdate + rework Atomic API",
          "author_name": "Vincent Lafeychine",
          "author_login": "lafeychine",
          "committed_at": "2026-07-22T15:55:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d030c4c073ead94e88bf7f56547056cd7d14685a",
          "body": null,
          "is_bot": false,
          "headline": "Do not trust these id_ghost functions. (#2208)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-22T13:49:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5a72b0f764478579ac18ffad1355745f1ca7a4e2",
          "body": null,
          "is_bot": false,
          "headline": "Do not trust these id_ghost functions.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-22T13:42:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "71d3be0c9d27b3396715385b085e32fbc123be80",
          "body": null,
          "is_bot": false,
          "headline": "Minor refactor in extern_spec macro (#2207)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-07-17T08:57:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6ceb71846748b26bb22b3a8bff2f04fc41985bb5",
          "body": null,
          "is_bot": false,
          "headline": "Minor refactor in extern_spec macro",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-17T07:45:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e4f47af8d3f98d1bbba04762d13e8f390cd8f67a",
          "body": null,
          "is_bot": false,
          "headline": "Update to Nix 26.05 (#2204)",
          "author_name": "Vincent Lafeychine",
          "author_login": "lafeychine",
          "committed_at": "2026-07-14T14:12:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a4d1005e65f8c3b0433307ed3f55c2facb75e58e",
          "body": null,
          "is_bot": false,
          "headline": "chore(nix): Update to 26.05",
          "author_name": "Vincent Lafeychine",
          "author_login": "lafeychine",
          "committed_at": "2026-07-14T13:01:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0547a4306c442136a266dd7be1180002b5d8696e",
          "body": null,
          "is_bot": false,
          "headline": "Allow pointers to non-static content to be used in atomics. (#2202)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-12T01:41:01Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "95dfc8009ba8bf2065968f0beda34e9fb93a6095",
          "body": null,
          "is_bot": false,
          "headline": "Allow pointers to non-static content to be used in atomics.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-12T01:33:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "60035e7440063bd09d160a0beba31289b7a42e47",
          "body": null,
          "is_bot": false,
          "headline": "Add new crate kinds dylib and cdylib. (#2201)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-12T01:08:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e6fe32f68db9b14fc54d8d1b50924434bcf6f6fb",
          "body": null,
          "is_bot": false,
          "headline": "Add new crate kinds dylib and cdylib.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-12T00:59:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "059241ababa96ebfea3e983efbb25cfb8b1d1e13",
          "body": null,
          "is_bot": false,
          "headline": "Fix Hillel test. (#2200)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-11T07:11:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a4aa5e237e783b67eeb5916100667610fbdf72a8",
          "body": null,
          "is_bot": false,
          "headline": "Fix Hillel and Bdd tests.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-11T07:03:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7af97e00c2ded88868cfa3c304adefcb46f39708",
          "body": null,
          "is_bot": false,
          "headline": "Refactor imports in num.rs to make doc less error-prone (#2197)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-07-10T13:20:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c5162ab18bf1e87eb86927381926a7056b741e63",
          "body": "Having to remember to import the trait under `#[cfg(doc)]` is a pain.",
          "is_bot": false,
          "headline": "Refactor imports in num.rs to make doc less error-prone",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-10T13:12:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b51999c4c950de375064c0bd8a22a1fbbcc2c868",
          "body": null,
          "is_bot": false,
          "headline": "Fix translation of const to respect visibility (#2076)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-07-10T07:50:55Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "37b75d5e49bc1debe642f5dc88171d1088460924",
          "body": null,
          "is_bot": false,
          "headline": "Fix translation of const to respect opacity",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-10T07:43:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c78d6bf52f81eb94583c82a2af10292330ac399f",
          "body": "…es not depends on UInt module in bitwise mode. (#2195)",
          "is_bot": false,
          "headline": "Merge Slice module in prelude into SliceOps, so that the invariant do…",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-09T16:39:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "34274c896fc63e3ed65eb90778961af97a121b5e",
          "body": "…es not depends on UInt module in bitwise mode.",
          "is_bot": false,
          "headline": "Merge Slice module in prelude into SliceOps, so that the invariant do…",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-09T16:31:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e396c2de0cba04f9dd16fa5cb9fa823f72e7f0cc",
          "body": "…functions or const items (#2194)",
          "is_bot": false,
          "headline": "Detect recursion between logic functions and non-terminating program …",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-09T15:38:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f33473297c3e3e30f7404ea04aaad4b174ec9950",
          "body": "…functions or const items\n\nPreviously, program functions and const items were simply ignored by the termination checker.\nHowever those can be used in logic functions (program functions via `f.postcondition`,\nand consts are always accessible).\nSee `tests/should_fail/terminates/const.rs` and `tests/sh\n[…]\nrack of the variant).\n\nFor terminating program functions, this also fixes a bug where their pre-\nand postconditions could refer to themselves.\nSee `tests/should_fail/terminates/ensures_terminates.rs`.",
          "is_bot": false,
          "headline": "Detect recursion between logic functions and non-terminating program …",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-09T14:13:09Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "c37b7173cfb818eabdae82202e44c0e05a265505",
          "body": null,
          "is_bot": false,
          "headline": "Debug extern_spec! (#2192)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-04T14:07:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "493ab5289d5940bdd5a61e399d60097465333636",
          "body": "- Escape self and Self properly in all places (hopefully)\n- Honnor supertrait declaration\n- Allow adding trait constraints in generics directly instead of the where clause.",
          "is_bot": false,
          "headline": "Debug extern_spec!",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-04T13:47:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "63daff7f03f2bf9e007f3e3d5c1f5dc5c99df62d",
          "body": null,
          "is_bot": false,
          "headline": "Add external specifications for traits `AsRef` and `AsMut` (#2191)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-04T13:46:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c48d459d57a0e2beb15eb838334a8cf304eddd51",
          "body": null,
          "is_bot": false,
          "headline": "Fix specifications of `AsMut`",
          "author_name": "Nicolas Iooss",
          "author_login": "niooss-ledger",
          "committed_at": "2026-07-03T10:42:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9264a4aa9d8aacbf651d8392e69bb181021ee24a",
          "body": "Copy the traits and impls from\nhttps://github.com/rust-lang/rust/blob/1.96.1/library/core/src/convert/mod.rs\n\nFixes: https://github.com/creusot-rs/creusot/issues/2181",
          "is_bot": false,
          "headline": "Add external specifications for traits `AsRef` and `AsMut`",
          "author_name": "Nicolas Iooss",
          "author_login": "niooss-ledger",
          "committed_at": "2026-07-03T07:57:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bef58f6aa7493ac8c8012164a8eeab462c346d1a",
          "body": null,
          "is_bot": false,
          "headline": "Fix upper bound of integer shift operations in Coma prelude (#2190)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T19:09:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1428a386b385473565bb4f30b973929dbd24a5bc",
          "body": "In Rust, the bit-shift operations are considered to overflow when the\nshift is greater or equal to the number of bits. This is documented for\nexample in\nhttps://doc.rust-lang.org/reference/expressions/operator-expr.html#r-expr.operator.int-overflow.shift\nand in methods such as `u8::strict_shl`\n(http\n[…]\n(true)]\n    pub fn shr_one(s: u32) -> u8 {\n        1u8 >> s\n    }\n\n    #[ensures(true)]\n    fn main() {\n        shr_one(8);\n    }\n\nChange the upper bound of overflow checks to use a strict inequality.",
          "is_bot": false,
          "headline": "Fix upper bound of integer shift operations in Coma prelude",
          "author_name": "Nicolas Iooss",
          "author_login": "niooss-ledger",
          "committed_at": "2026-07-02T14:57:41Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "68076516209a1d523104b6fbba1315626ebb91fb",
          "body": null,
          "is_bot": false,
          "headline": "Fix bounds of `Int$bits_count$BW` in Coma prelude (#2188)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T14:51:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cbcb2684368f910f96c2d798d017a7593dcafdb8",
          "body": "`Int$bits_count$BW` was using the unsigned max value instead of the\nsigned one in predicate `in_bounds`. Moreover `min_sint_as_BV256` was\nmissing a minus sign.\n\nThe fixes were verified by regenerating the prelude and reading\n`target/creusot/packages/creusot/creusot/int.coma`.\n\nBefore:\n\n    constant \n[…]\nub`...\n  without using these intrinsics. So the fact that `Int8BW.in_bounds 0xFF`\n  incorrectly returned `true` does not seem to have any consequence on\n  the soundness of any Rust code using Creusot.",
          "is_bot": false,
          "headline": "Fix bounds of `Int$bits_count$BW` in Coma prelude",
          "author_name": "Nicolas Iooss",
          "author_login": "niooss-ledger",
          "committed_at": "2026-07-02T14:40:05Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2e0e1086688afa401e06b9732e3ee80dd4e40469",
          "body": null,
          "is_bot": false,
          "headline": "Remove the specialized extern spec for Option<T>::partial_eq. (#2178)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T14:33:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7a05ff5e87673892cf3dc914fcf8a41c164c1340",
          "body": null,
          "is_bot": false,
          "headline": "Remove the specialized extern spec for Option<T>::partial_eq.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T14:25:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "78d31c457e32e120101c6affeee8fb294a8c06fc",
          "body": null,
          "is_bot": false,
          "headline": "Add a doubly linked list example (#2187)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T14:19:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e9f14d3b0ebedc5cae38678c2340d5cf34b51eeb",
          "body": null,
          "is_bot": false,
          "headline": "test(examples): add a doubly linked list example",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-07-02T14:12:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "904d6ffa5f5e235e23cd35f3ce8961860bc31206",
          "body": null,
          "is_bot": false,
          "headline": "creusot-std: Make num-rational dependency optional (#2189)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-07-02T13:50:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ed3fbad6370e800d4812fe27cc6a58d693ec427e",
          "body": null,
          "is_bot": false,
          "headline": "creusot-std: Make num-rational dependency optional",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-07-02T13:44:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ec8c9fab85516c1f6821816313fb6ee8234868b3",
          "body": null,
          "is_bot": false,
          "headline": "Fix `char` upper bound in Coma prelude (#2185)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T10:43:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5f41a44469aeddbba1d8363640881bebd4eae0d9",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'master' into fix-coma-prelude-char-bound",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T10:11:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7b7cb59c398d0a40ebabe719434c146bdfd826fa",
          "body": "The documentation of Rust primitive types\n(https://doc.rust-lang.org/std/primitive.char.html#validity-and-layout ,\nhttps://github.com/rust-lang/rust/blob/1.96.1/library/core/src/primitive_docs.rs#L336-L339\n) states that:\n\n> A char is a ‘Unicode scalar value’, which is any ‘Unicode code point’\n> othe\n[…]\nThis has a fixed numerical\n> definition: code points are in the range 0 to 0x10FFFF, inclusive.\n\nThe Coma prelude was excluding `char::MAX = '\\u{10FFFF}'`. Include the\nupper bound in the inequalities.",
          "is_bot": false,
          "headline": "Fix `char` upper bound in Coma prelude",
          "author_name": "Nicolas Iooss",
          "author_login": "niooss-ledger",
          "committed_at": "2026-07-02T10:05:17Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "d55c2d6643e8a91682d73adc17b1bc79d20c9d36",
          "body": null,
          "is_bot": false,
          "headline": "Refine `size_of_logic` (#2180)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-02T09:50:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6559098827f46aadcce865056faa0a6e3b153291",
          "body": null,
          "is_bot": false,
          "headline": "doc(std/mem): clarify details on the doc of `size_of_logic`",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-07-02T09:34:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2804d7a69c943f02d9ac57f722f0492b3be7dc5f",
          "body": null,
          "is_bot": false,
          "headline": "feat(creusot): refine the check that a type is of size > 0",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-07-02T09:20:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c35b5d3712f4e61142c675774e3797295379af53",
          "body": null,
          "is_bot": false,
          "headline": "Do not warn for unspecified extern trait. (#2183)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-01T16:11:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f2f18e48d45ab332150c686e3cd931d6aade0f1d",
          "body": "Also, remove test should_succeed/constrained_types, which is not\nrelevent now that `PartialOrd` has an extern spec.",
          "is_bot": false,
          "headline": "Do not warn for unspecified extern trait.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-07-01T16:04:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b62490c15b0694f9a20f8925cdef427450527061",
          "body": null,
          "is_bot": false,
          "headline": "Fix `Seq::insert` (#2173)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T11:49:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ff5f1344d9b9832feacc6b0b10b666741966e0a2",
          "body": "…ost one",
          "is_bot": false,
          "headline": "feat!(std/logic): add a logical function `Seq::insert`, rename the gh…",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-26T11:42:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e02fcd4f378457be1a3b952aee384e3c7658eccb",
          "body": null,
          "is_bot": false,
          "headline": "feat(std/ghost): fix spec of `Seq::insert`",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-26T11:32:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a1474221fd68459984b54344f808dc46dcc42af7",
          "body": null,
          "is_bot": false,
          "headline": "Harden proof : union_find/full_ptr. (#2177)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T09:49:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "adbaff4c2d83f07487a781369fe8e22ba07b66ab",
          "body": null,
          "is_bot": false,
          "headline": "Harden proof : union_find/full_ptr.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T09:39:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5d7cea45fa5fe2b3de92d088dbef80e7988b1e1d",
          "body": null,
          "is_bot": false,
          "headline": "Add PartialOrdLogic (#2174)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T09:24:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "63a1fe3fd3bb6dc7c7f498fbdd024d820592e1fc",
          "body": null,
          "is_bot": false,
          "headline": "Remove the law attribute on some trivial lemmas for orders.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T08:49:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6011beeae29ea1354e5338da46681d88fae61d40",
          "body": "All the definitions are stated with respect to the strict order\nrelation lt_log, which is much simpler to manipulate than\npartial_cmp_log.\n\nThe only remaining unsatisfying aspect is the fact that when the\nOrdLogic trait is loaded, the `lt_log_total` law is not always loaded\nbecause laws auto-loading does not work for subtraits. Hence, we need\nto explicitly load this lemma in a few test cases.",
          "is_bot": false,
          "headline": "Refactor the PartialOrdLogic and OrdLogic traits",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T08:31:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c536abce9ea6ff89138651b0adf0762aa7df2c14",
          "body": null,
          "is_bot": false,
          "headline": "feat(std): Add PartialOrdLogic",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-26T08:31:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f1e16657f4a144dc7ad92bb4acf8ca62f224c93e",
          "body": null,
          "is_bot": false,
          "headline": "Doc sc (#2176)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-26T04:37:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a06bd69aca8a3f81210053db95f2f777733c92ed",
          "body": null,
          "is_bot": false,
          "headline": "ci: Enable sc-drf when building docs",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-26T04:22:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "eeb62acc39801d327f1877e5fcc1d9e8bc78129c",
          "body": null,
          "is_bot": false,
          "headline": "Weaken the autoloading mechanism of laws (#2175)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-25T23:46:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "70fc125d9d7772bcfe2969f1b26e8c67b4ea18dc",
          "body": "The implementor of a trait may decide not to use the `law` attribute\nfor a law. In this case, the autoloading mechanism is disabled when\nthe trait instance can be resolved.\n\nFor laws of the Fn/FnMut/FnOnce traits, we simulate this mechanism for\nbuiltin instances, because the definition of the post/precondition\npredicate are enough and the laws are not needed.",
          "is_bot": false,
          "headline": "Weaken the autoloading mechanism of laws",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-25T23:36:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fe68126063e92e92373c2636bd3445e01c7bc5db",
          "body": null,
          "is_bot": false,
          "headline": "Proper handling of builtin trait impls instead of ICE-ing (#2171)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-25T09:52:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8dba4356069f9f812f7c93ec804459710a65bc9e",
          "body": "The most interesting builtin impl that was not handled was the implementation\nof `Clone` for tuples, which we handle by synthesizing post-conditions\ncorresponding to the post-conditions of the underlying Clone implementations.\n\nCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>\nCo-Authored-By: François Thiré <francois.thire@nomadic-labs.com>",
          "is_bot": false,
          "headline": "Proper handling of builtin trait impls instead of ICE-ing",
          "author_name": "François Thiré",
          "author_login": "saroupille",
          "committed_at": "2026-06-25T09:44:51Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "1fda39ee7f400972cfc6f555bfddcab6f94b5764",
          "body": null,
          "is_bot": false,
          "headline": "Harden extern_specs (#2170)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-25T00:04:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7488c0ad8b5d4e184ea815cae4bd87b832fd1aad",
          "body": "…t, and they cannot trigger on items verified by Creusot.",
          "is_bot": false,
          "headline": "Harden extern_specs: they cannot be used on crates verified by Creuso…",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-24T23:57:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "891fc6e1e2c5cebc7dc3aab69eebae3241a903f8",
          "body": null,
          "is_bot": false,
          "headline": "Add test for 1293, which has been fixed earlier. (#2169)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-24T23:25:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d185bf8eda8e13d1e7cdfc1f5463bec964888ac7",
          "body": null,
          "is_bot": false,
          "headline": "Add test for 1293, which has been fixed earlier.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-24T23:19:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ae94fd9964782f9fdd3d4a7c35cae83f604bb955",
          "body": null,
          "is_bot": false,
          "headline": "Whitelist common traits used with dyn (#2168)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T15:43:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "421cc2ca8fd3d9d1bb622339efa11fd4e947c300",
          "body": null,
          "is_bot": false,
          "headline": "Whitelist common traits used with dyn",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T14:35:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ae7cb52ada00a9c0a10e1cef97d9b72987dd4d56",
          "body": null,
          "is_bot": false,
          "headline": "Disjointness of shared permissions (#2166)",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-24T14:28:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "666d200f76154974ce7674e86800ae0cc2b43a13",
          "body": null,
          "is_bot": false,
          "headline": "refactor!(std/ghost): reexport `Perm` rather than `PermTarget`",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-24T14:08:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cdc49a150a65979b0552d6c36e1435bdf3c2615b",
          "body": null,
          "is_bot": false,
          "headline": "doc(std/ghost): document `PermTarget`",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-24T14:08:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ad5712e008361b497cedb79356deb86e9641d885",
          "body": null,
          "is_bot": false,
          "headline": "feat(std/ghost): ghost lemma for disjointness of shared permissions",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-24T14:08:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b718165d0d16c59edc92429932cf09928075d229",
          "body": null,
          "is_bot": false,
          "headline": "Add extern specs for `From` and `FromIterator` on strings (#2165)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-24T13:55:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e3c4ee93fec0c8a4bb488f2eefc14025f9ec2d59",
          "body": null,
          "is_bot": false,
          "headline": "Add extern specs for `From` and `FromIterator` on strings",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T13:00:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "07e25161fa18e94a0a21b5669ece35897d055ca2",
          "body": null,
          "is_bot": false,
          "headline": "pearlite-syn: Fix printing of TermSeq (#2164)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T12:50:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d6b8a8826b43570dd7a6b3b4d1483182444c873c",
          "body": null,
          "is_bot": false,
          "headline": "pearlite-syn: Fix printing of TermSeq",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T12:42:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "40f5bbdf8682bcefc4930fc84a7771f952fa308b",
          "body": null,
          "is_bot": false,
          "headline": "test: remove alloc dependency from build-no-std test (#2163)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T11:52:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4d3377453a4a47edb6fc824a0a5c6bdb70b03183",
          "body": null,
          "is_bot": false,
          "headline": "test: remove alloc dependency from build-no-std test",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-24T11:19:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c8888c6e7ed8c349fb27195c7fa019950bd3e73e",
          "body": null,
          "is_bot": false,
          "headline": "add `Seq::insert` (#2160)",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-23T14:19:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6eaf109c6c409a0e612d28bccbd74f3fefa6cba4",
          "body": null,
          "is_bot": false,
          "headline": "feat(creusot-std): add `Seq::insert`",
          "author_name": "Diane Golfouse",
          "author_login": "dianegolfouse",
          "committed_at": "2026-06-23T14:09:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e8aa170c8b0ba425924aaddd829b0251cdd5707",
          "body": null,
          "is_bot": false,
          "headline": "Add specs for bitwise operations on references (#2158)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-23T11:53:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9d6481b405b2463770edb1eb7dffe0a739c418b7",
          "body": null,
          "is_bot": false,
          "headline": "Add specs for bitwise operations on references",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-23T11:45:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3ee630bc1e307b6cfd12251a93c55b51ae82f11f",
          "body": null,
          "is_bot": false,
          "headline": "Update toolchain to nightly-2026-06-22 (#2155)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-22T20:02:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "08f03d661e1f1af8216ec07c68a90c89f76ec861",
          "body": null,
          "is_bot": false,
          "headline": "Update toolchain to nightly-2026-06-22",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-22T17:10:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5ba3ac94952d7b0c0531c72f5cdad2d07358256b",
          "body": "Co-authored-by: Vincent Lafeychine <vincent.lafeychine@proton.me>",
          "is_bot": false,
          "headline": "Update Why3 (#2141)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-22T14:45:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "67d3aa9efc0e43af92024525448af95dbe37871b",
          "body": null,
          "is_bot": false,
          "headline": "Partially fix translation of non-trivial format strings (#2140)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-22T12:42:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e3dee4bec4cc0ccccacd87fc67891aa9366e3136",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'master' into fmt-strings",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-22T12:30:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e3424c6b08300127e4aa0110d56b0474523175e5",
          "body": null,
          "is_bot": false,
          "headline": "Reduce repetition of version numbers (#2150)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-22T07:52:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3fa346b9da7d1a8d968b9f9a134c042dd84b0f2b",
          "body": null,
          "is_bot": false,
          "headline": "Reduce repetition of version numbers",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-22T06:57:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "573db91a116191333f31b90c6a52ebd49461fd81",
          "body": null,
          "is_bot": false,
          "headline": "Add logic::any and logic::try_such_that (#2152)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-18T08:12:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27a6c3cb3083c6f1b2569669b0df99d0c9ccaf68",
          "body": null,
          "is_bot": false,
          "headline": "Add logic::any and logic::try_such_that",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-15T22:35:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "99ecf42c9f708030b2b260a8a48effe5b8c30058",
          "body": null,
          "is_bot": false,
          "headline": "Add Chain iterator. (#2148)",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-13T09:01:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "efe4e4857f65127b6db6d33e425646f5b0405d7e",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'master' into chain_iterator",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-13T08:49:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3101b0e83428e83ef65e3d674a3514d26d2beb06",
          "body": null,
          "is_bot": false,
          "headline": "Bump version to 0.13.0-dev (#2149)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-13T08:26:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c4874303e1ce718d107d65712de3bc5810426c1c",
          "body": null,
          "is_bot": false,
          "headline": "Bump version to 0.13.0-dev",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-13T08:15:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4263f0c5dc3f5f29691010e601369fcc74a4b2c0",
          "body": null,
          "is_bot": false,
          "headline": "Add Chain iterator.",
          "author_name": "Jacques-Henri Jourdan",
          "author_login": "jhjourdan",
          "committed_at": "2026-06-12T18:02:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cafe6b18b5b917fb6e80c9d8ec7a48e9fe844668",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.12.0 for real (#2146)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-12T09:31:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4776f78c753c2c6087286d77b8d08de59297d66b",
          "body": null,
          "is_bot": false,
          "headline": "chore: Release",
          "author_name": "Li-yao Xia",
          "author_login": "Lysxia",
          "committed_at": "2026-06-12T09:19:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f592661a843a963584561e99e595112837611a9a",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.12.0 (#2128)",
          "author_name": "Xia Li-yao",
          "author_login": "Lysxia",
          "committed_at": "2026-06-12T09:16:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 13,
      "commits_last_year": 1275,
      "latest_release_at": "2026-06-12T11:09:36Z",
      "latest_release_tag": "v0.12.0",
      "releases_from_tags": false,
      "days_since_last_push": 0,
      "active_weeks_last_year": 51,
      "days_since_latest_release": 45,
      "mean_days_between_releases": 65.9
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": true,
      "health_percentage": 50,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "why3",
          "exists": true,
          "license": "LGPL-2.1-or-later",
          "keywords": [
            "verification",
            "development-tools"
          ],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/why3",
          "is_deprecated": false,
          "latest_version": "0.13.0",
          "repository_url": "https://github.com/creusot-rs/creusot",
          "versions_count": 12,
          "total_downloads": 3828,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 23,
          "first_published_at": "2024-07-30T19:20:17.723350Z",
          "latest_published_at": "2026-07-27T13:11:55.649252Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "creusot-std",
          "exists": true,
          "license": "LGPL-2.1-or-later",
          "keywords": [
            "verification",
            "development-tools"
          ],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/creusot-std",
          "is_deprecated": false,
          "latest_version": "0.13.0",
          "repository_url": "https://github.com/creusot-rs/creusot",
          "versions_count": 5,
          "total_downloads": 21369,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 6693,
          "first_published_at": "2026-01-10T08:19:16.809241Z",
          "latest_published_at": "2026-07-27T13:12:14.156043Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "pearlite-syn",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [
            "verification",
            "development-tools"
          ],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/pearlite-syn",
          "is_deprecated": false,
          "latest_version": "0.13.0",
          "repository_url": "https://github.com/creusot-rs/creusot",
          "versions_count": 14,
          "total_downloads": 29130,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 6608,
          "first_published_at": "2024-05-20T15:23:58.736511Z",
          "latest_published_at": "2026-07-27T13:12:01.515830Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        }
      ]
    },
    "popularity": {
      "forks": 87,
      "stars": 1812,
      "watchers": 16,
      "fork_history": {
        "days": [
          {
            "date": "2021-03-05",
            "count": 1
          },
          {
            "date": "2021-03-13",
            "count": 1
          },
          {
            "date": "2021-04-01",
            "count": 1
          },
          {
            "date": "2021-04-28",
            "count": 1
          },
          {
            "date": "2021-05-19",
            "count": 1
          },
          {
            "date": "2021-07-18",
            "count": 1
          },
          {
            "date": "2021-10-21",
            "count": 1
          },
          {
            "date": "2021-10-27",
            "count": 1
          },
          {
            "date": "2022-02-11",
            "count": 1
          },
          {
            "date": "2022-02-14",
            "count": 1
          },
          {
            "date": "2022-03-14",
            "count": 1
          },
          {
            "date": "2022-03-31",
            "count": 1
          },
          {
            "date": "2022-04-14",
            "count": 1
          },
          {
            "date": "2022-06-05",
            "count": 1
          },
          {
            "date": "2022-06-17",
            "count": 1
          },
          {
            "date": "2022-06-18",
            "count": 1
          },
          {
            "date": "2022-07-07",
            "count": 1
          },
          {
            "date": "2022-07-13",
            "count": 1
          },
          {
            "date": "2022-07-20",
            "count": 1
          },
          {
            "date": "2022-07-26",
            "count": 1
          },
          {
            "date": "2022-09-06",
            "count": 1
          },
          {
            "date": "2022-09-08",
            "count": 1
          },
          {
            "date": "2022-10-06",
            "count": 1
          },
          {
            "date": "2022-12-15",
            "count": 1
          },
          {
            "date": "2022-12-18",
            "count": 1
          },
          {
            "date": "2022-12-29",
            "count": 1
          },
          {
            "date": "2022-12-31",
            "count": 1
          },
          {
            "date": "2023-02-22",
            "count": 1
          },
          {
            "date": "2023-02-28",
            "count": 1
          },
          {
            "date": "2023-03-27",
            "count": 1
          },
          {
            "date": "2023-04-01",
            "count": 1
          },
          {
            "date": "2023-04-03",
            "count": 1
          },
          {
            "date": "2023-04-13",
            "count": 1
          },
          {
            "date": "2023-06-05",
            "count": 1
          },
          {
            "date": "2023-06-23",
            "count": 1
          },
          {
            "date": "2023-10-26",
            "count": 1
          },
          {
            "date": "2024-02-19",
            "count": 1
          },
          {
            "date": "2024-02-20",
            "count": 1
          },
          {
            "date": "2024-03-10",
            "count": 1
          },
          {
            "date": "2024-03-27",
            "count": 1
          },
          {
            "date": "2024-03-29",
            "count": 1
          },
          {
            "date": "2024-05-19",
            "count": 1
          },
          {
            "date": "2024-05-20",
            "count": 1
          },
          {
            "date": "2024-06-21",
            "count": 1
          },
          {
            "date": "2024-07-22",
            "count": 1
          },
          {
            "date": "2024-07-23",
            "count": 1
          },
          {
            "date": "2024-09-06",
            "count": 1
          },
          {
            "date": "2024-12-03",
            "count": 1
          },
          {
            "date": "2025-01-09",
            "count": 1
          },
          {
            "date": "2025-02-10",
            "count": 2
          },
          {
            "date": "2025-02-23",
            "count": 1
          },
          {
            "date": "2025-03-05",
            "count": 1
          },
          {
            "date": "2025-03-10",
            "count": 1
          },
          {
            "date": "2025-04-09",
            "count": 1
          },
          {
            "date": "2025-04-15",
            "count": 1
          },
          {
            "date": "2025-06-01",
            "count": 1
          },
          {
            "date": "2025-07-06",
            "count": 1
          },
          {
            "date": "2025-08-01",
            "count": 1
          },
          {
            "date": "2025-11-04",
            "count": 1
          },
          {
            "date": "2025-12-08",
            "count": 1
          },
          {
            "date": "2025-12-11",
            "count": 1
          },
          {
            "date": "2025-12-18",
            "count": 1
          },
          {
            "date": "2026-01-11",
            "count": 1
          },
          {
            "date": "2026-01-23",
            "count": 1
          },
          {
            "date": "2026-01-28",
            "count": 1
          },
          {
            "date": "2026-02-04",
            "count": 1
          },
          {
            "date": "2026-02-13",
            "count": 1
          },
          {
            "date": "2026-02-22",
            "count": 1
          },
          {
            "date": "2026-03-23",
            "count": 1
          },
          {
            "date": "2026-04-13",
            "count": 1
          },
          {
            "date": "2026-05-07",
            "count": 1
          },
          {
            "date": "2026-05-12",
            "count": 1
          },
          {
            "date": "2026-05-14",
            "count": 1
          },
          {
            "date": "2026-05-19",
            "count": 1
          },
          {
            "date": "2026-05-28",
            "count": 1
          },
          {
            "date": "2026-06-04",
            "count": 1
          },
          {
            "date": "2026-06-18",
            "count": 1
          },
          {
            "date": "2026-06-21",
            "count": 1
          },
          {
            "date": "2026-06-29",
            "count": 1
          },
          {
            "date": "2026-07-02",
            "count": 1
          },
          {
            "date": "2026-07-10",
            "count": 3
          },
          {
            "date": "2026-07-19",
            "count": 1
          },
          {
            "date": "2026-07-24",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 86,
        "total_forks": 87
      },
      "star_history": null,
      "open_issues_and_prs": 103
    },
    "ai_readiness": {
      "has_nix": true,
      "example_dirs": [
        "examples"
      ],
      "has_llms_txt": false,
      "has_dockerfile": false,
      "has_mcp_signal": false,
      "bootstrap_files": [],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "toolchain_manifests": [
        "Cargo.toml",
        "cargo-creusot/Cargo.toml",
        "creusot-args/Cargo.toml",
        "creusot-dev-config/Cargo.toml",
        "creusot-install/Cargo.toml",
        "creusot-metadata/Cargo.toml",
        "creusot-rustc/Cargo.toml",
        "creusot-setup/Cargo.toml",
        "creusot-std-proc/Cargo.toml",
        "creusot-std/Cargo.toml",
        "creusot/Cargo.toml",
        "pearlite-syn/Cargo.toml",
        "prelude-generator/Cargo.toml",
        "tests/Cargo.toml",
        "why3/Cargo.toml",
        "why3tests/Cargo.toml"
      ],
      "largest_source_bytes": 73319,
      "source_files_sampled": 710,
      "oversized_source_files": 2,
      "agent_instruction_files": [],
      "agent_instruction_max_bytes": null
    },
    "dependencies": {
      "manifests": [
        "Cargo.toml",
        "cargo-creusot/Cargo.toml",
        "creusot-args/Cargo.toml",
        "creusot-dev-config/Cargo.toml",
        "creusot-install/Cargo.toml",
        "creusot-metadata/Cargo.toml",
        "creusot-rustc/Cargo.toml",
        "creusot-setup/Cargo.toml",
        "creusot-std-proc/Cargo.toml",
        "creusot-std/Cargo.toml",
        "creusot/Cargo.toml",
        "pearlite-syn/Cargo.toml",
        "prelude-generator/Cargo.toml",
        "tests/Cargo.toml",
        "why3/Cargo.toml",
        "why3tests/Cargo.toml"
      ],
      "advisories": {
        "error": null,
        "scope": "repository_graph",
        "source": "osv",
        "findings": [
          {
            "name": "anyhow",
            "direct": true,
            "version": "1.0.102",
            "severity": "unknown",
            "ecosystem": "crates",
            "cvss_score": null,
            "advisory_ids": [
              "RUSTSEC-2026-0190"
            ],
            "fixed_version": "1.0.103",
            "advisory_count": 1,
            "oldest_advisory_days": 32
          }
        ],
        "collected": true,
        "malicious": [],
        "truncated": false,
        "by_severity": {
          "unknown": 1
        },
        "advisory_count": 1,
        "affected_count": 1,
        "assessed_count": 181,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 40,
        "direct_affected_count": 1
      },
      "ecosystems": [
        "crates"
      ],
      "dependencies": [
        {
          "name": "clap",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5"
        },
        {
          "name": "serde_json",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "toml",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.9"
        },
        {
          "name": "env_logger",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "serde",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot-args",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "creusot-setup",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "anyhow",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "cargo_metadata",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.23"
        },
        {
          "name": "glob",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3"
        },
        {
          "name": "toml_edit",
          "manifest": "cargo-creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.24"
        },
        {
          "name": "clap",
          "manifest": "creusot-args/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5"
        },
        {
          "name": "serde",
          "manifest": "creusot-args/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot-setup",
          "manifest": "creusot-dev-config/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "anyhow",
          "manifest": "creusot-dev-config/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "which",
          "manifest": "creusot-dev-config/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "8.0"
        },
        {
          "name": "clap",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5"
        },
        {
          "name": "creusot-setup",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "anyhow",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "directories",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "6.0"
        },
        {
          "name": "sha2",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.10"
        },
        {
          "name": "hex",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "zip",
          "manifest": "creusot-install/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "8.1.0"
        },
        {
          "name": "indexmap",
          "manifest": "creusot-metadata/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.7"
        },
        {
          "name": "serde_json",
          "manifest": "creusot-rustc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot",
          "manifest": "creusot-rustc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "env_logger",
          "manifest": "creusot-rustc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "serde",
          "manifest": "creusot-rustc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot-args",
          "manifest": "creusot-rustc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "creusot-args",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "serde",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "toml",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.9"
        },
        {
          "name": "directories",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "6.0"
        },
        {
          "name": "which",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "8.0"
        },
        {
          "name": "anyhow",
          "manifest": "creusot-setup/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "quote",
          "manifest": "creusot-std-proc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "uuid",
          "manifest": "creusot-std-proc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.12"
        },
        {
          "name": "pearlite-syn",
          "manifest": "creusot-std-proc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.13.0"
        },
        {
          "name": "syn",
          "manifest": "creusot-std-proc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.0"
        },
        {
          "name": "proc-macro2",
          "manifest": "creusot-std-proc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot-std-proc",
          "manifest": "creusot-std/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.13.0"
        },
        {
          "name": "itertools",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.14"
        },
        {
          "name": "log",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "serde",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "petgraph",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.6"
        },
        {
          "name": "indexmap",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.7"
        },
        {
          "name": "why3",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "creusot-metadata",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "creusot-args",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "pathdiff",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "once_map",
          "manifest": "creusot/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "syn",
          "manifest": "pearlite-syn/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.0"
        },
        {
          "name": "proc-macro2",
          "manifest": "pearlite-syn/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "quote",
          "manifest": "pearlite-syn/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "creusot-setup",
          "manifest": "prelude-generator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "anyhow",
          "manifest": "prelude-generator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "itertools",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.14"
        },
        {
          "name": "pretty",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12"
        },
        {
          "name": "indexmap",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.7"
        },
        {
          "name": "serde",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "num",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "serde_json",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "string-interner",
          "manifest": "why3/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.19"
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "anyhow",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "anyhow",
            "direct": true,
            "version": "1.0.102",
            "ecosystem": "crates"
          },
          {
            "name": "cargo_metadata",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cargo_metadata",
            "direct": true,
            "version": "0.23.1",
            "ecosystem": "crates"
          },
          {
            "name": "clap",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "clap",
            "direct": true,
            "version": "4.6.1",
            "ecosystem": "crates"
          },
          {
            "name": "creusot-std-proc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "directories",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "directories",
            "direct": true,
            "version": "6.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "env_logger",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "env_logger",
            "direct": true,
            "version": "0.11.10",
            "ecosystem": "crates"
          },
          {
            "name": "glob",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "glob",
            "direct": true,
            "version": "0.3.3",
            "ecosystem": "crates"
          },
          {
            "name": "hex",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "hex",
            "direct": true,
            "version": "0.4.3",
            "ecosystem": "crates"
          },
          {
            "name": "indexmap",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "indexmap",
            "direct": true,
            "version": "2.14.0",
            "ecosystem": "crates"
          },
          {
            "name": "itertools",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "itertools",
            "direct": true,
            "version": "0.14.0",
            "ecosystem": "crates"
          },
          {
            "name": "log",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "log",
            "direct": true,
            "version": "0.4.29",
            "ecosystem": "crates"
          },
          {
            "name": "num",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "num",
            "direct": true,
            "version": "0.4.3",
            "ecosystem": "crates"
          },
          {
            "name": "once_map",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "once_map",
            "direct": true,
            "version": "0.4.24",
            "ecosystem": "crates"
          },
          {
            "name": "pathdiff",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "pathdiff",
            "direct": true,
            "version": "0.2.3",
            "ecosystem": "crates"
          },
          {
            "name": "pearlite-syn",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "petgraph",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "petgraph",
            "direct": true,
            "version": "0.6.5",
            "ecosystem": "crates"
          },
          {
            "name": "pretty",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "pretty",
            "direct": true,
            "version": "0.12.5",
            "ecosystem": "crates"
          },
          {
            "name": "proc-macro2",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "proc-macro2",
            "direct": true,
            "version": "1.0.106",
            "ecosystem": "crates"
          },
          {
            "name": "quote",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "quote",
            "direct": true,
            "version": "1.0.45",
            "ecosystem": "crates"
          },
          {
            "name": "serde",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "serde",
            "direct": true,
            "version": "1.0.228",
            "ecosystem": "crates"
          },
          {
            "name": "serde_json",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "serde_json",
            "direct": true,
            "version": "1.0.149",
            "ecosystem": "crates"
          },
          {
            "name": "sha2",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "sha2",
            "direct": true,
            "version": "0.10.9",
            "ecosystem": "crates"
          },
          {
            "name": "string-interner",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "string-interner",
            "direct": true,
            "version": "0.19.0",
            "ecosystem": "crates"
          },
          {
            "name": "syn",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "syn",
            "direct": true,
            "version": "2.0.117",
            "ecosystem": "crates"
          },
          {
            "name": "toml",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "toml",
            "direct": true,
            "version": "0.9.12+spec-1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "toml_edit",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "toml_edit",
            "direct": true,
            "version": "0.24.1+spec-1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "uuid",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "uuid",
            "direct": true,
            "version": "1.23.1",
            "ecosystem": "crates"
          },
          {
            "name": "which",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "which",
            "direct": true,
            "version": "8.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "zip",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "zip",
            "direct": true,
            "version": "8.5.1",
            "ecosystem": "crates"
          },
          {
            "name": "adler2",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "crates"
          },
          {
            "name": "ahash",
            "direct": false,
            "version": "0.8.12",
            "ecosystem": "crates"
          },
          {
            "name": "aho-corasick",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "crates"
          },
          {
            "name": "anstream",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "anstyle",
            "direct": false,
            "version": "1.0.14",
            "ecosystem": "crates"
          },
          {
            "name": "anstyle-parse",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "anstyle-query",
            "direct": false,
            "version": "1.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "anstyle-wincon",
            "direct": false,
            "version": "3.0.11",
            "ecosystem": "crates"
          },
          {
            "name": "arrayvec",
            "direct": false,
            "version": "0.5.2",
            "ecosystem": "crates"
          },
          {
            "name": "assert_cmd",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "assert_cmd",
            "direct": false,
            "version": "2.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "autocfg",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "bit-set",
            "direct": false,
            "version": "0.8.0",
            "ecosystem": "crates"
          },
          {
            "name": "bit-vec",
            "direct": false,
            "version": "0.8.0",
            "ecosystem": "crates"
          },
          {
            "name": "bitflags",
            "direct": false,
            "version": "2.11.1",
            "ecosystem": "crates"
          },
          {
            "name": "block-buffer",
            "direct": false,
            "version": "0.10.4",
            "ecosystem": "crates"
          },
          {
            "name": "bstr",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "crates"
          },
          {
            "name": "bumpalo",
            "direct": false,
            "version": "3.20.2",
            "ecosystem": "crates"
          },
          {
            "name": "camino",
            "direct": false,
            "version": "1.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "cargo-platform",
            "direct": false,
            "version": "0.3.3",
            "ecosystem": "crates"
          },
          {
            "name": "cfg-if",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "crates"
          },
          {
            "name": "clap_builder",
            "direct": false,
            "version": "4.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "clap_derive",
            "direct": false,
            "version": "4.6.1",
            "ecosystem": "crates"
          },
          {
            "name": "clap_lex",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "colorchoice",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "crates"
          },
          {
            "name": "console",
            "direct": false,
            "version": "0.16.3",
            "ecosystem": "crates"
          },
          {
            "name": "cpufeatures",
            "direct": false,
            "version": "0.2.17",
            "ecosystem": "crates"
          },
          {
            "name": "crc32fast",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "crypto-common",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "difflib",
            "direct": false,
            "version": "0.4.0",
            "ecosystem": "crates"
          },
          {
            "name": "digest",
            "direct": false,
            "version": "0.10.7",
            "ecosystem": "crates"
          },
          {
            "name": "dirs-sys",
            "direct": false,
            "version": "0.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "either",
            "direct": false,
            "version": "1.15.0",
            "ecosystem": "crates"
          },
          {
            "name": "encode_unicode",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "env_filter",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "crates"
          },
          {
            "name": "equivalent",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "errno",
            "direct": false,
            "version": "0.3.14",
            "ecosystem": "crates"
          },
          {
            "name": "fastrand",
            "direct": false,
            "version": "2.4.1",
            "ecosystem": "crates"
          },
          {
            "name": "fixedbitset",
            "direct": false,
            "version": "0.4.2",
            "ecosystem": "crates"
          },
          {
            "name": "flate2",
            "direct": false,
            "version": "1.1.9",
            "ecosystem": "crates"
          },
          {
            "name": "fnv",
            "direct": false,
            "version": "1.0.7",
            "ecosystem": "crates"
          },
          {
            "name": "foldhash",
            "direct": false,
            "version": "0.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "generic-array",
            "direct": false,
            "version": "0.14.7",
            "ecosystem": "crates"
          },
          {
            "name": "getrandom",
            "direct": false,
            "version": "0.2.17",
            "ecosystem": "crates"
          },
          {
            "name": "getrandom",
            "direct": false,
            "version": "0.3.4",
            "ecosystem": "crates"
          },
          {
            "name": "getrandom",
            "direct": false,
            "version": "0.4.2",
            "ecosystem": "crates"
          },
          {
            "name": "hashbrown",
            "direct": false,
            "version": "0.15.5",
            "ecosystem": "crates"
          },
          {
            "name": "hashbrown",
            "direct": false,
            "version": "0.17.0",
            "ecosystem": "crates"
          },
          {
            "name": "heck",
            "direct": false,
            "version": "0.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "id-arena",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "insta",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "insta",
            "direct": false,
            "version": "1.47.2",
            "ecosystem": "crates"
          },
          {
            "name": "is_terminal_polyfill",
            "direct": false,
            "version": "1.70.2",
            "ecosystem": "crates"
          },
          {
            "name": "itoa",
            "direct": false,
            "version": "1.0.18",
            "ecosystem": "crates"
          },
          {
            "name": "jiff",
            "direct": false,
            "version": "0.2.23",
            "ecosystem": "crates"
          },
          {
            "name": "jiff-static",
            "direct": false,
            "version": "0.2.23",
            "ecosystem": "crates"
          },
          {
            "name": "js-sys",
            "direct": false,
            "version": "0.3.95",
            "ecosystem": "crates"
          },
          {
            "name": "leb128fmt",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "libc",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "libc",
            "direct": false,
            "version": "0.2.185",
            "ecosystem": "crates"
          },
          {
            "name": "libredox",
            "direct": false,
            "version": "0.1.16",
            "ecosystem": "crates"
          },
          {
            "name": "linux-raw-sys",
            "direct": false,
            "version": "0.12.1",
            "ecosystem": "crates"
          },
          {
            "name": "lock_api",
            "direct": false,
            "version": "0.4.14",
            "ecosystem": "crates"
          },
          {
            "name": "memchr",
            "direct": false,
            "version": "2.8.0",
            "ecosystem": "crates"
          },
          {
            "name": "miniz_oxide",
            "direct": false,
            "version": "0.8.9",
            "ecosystem": "crates"
          },
          {
            "name": "num-bigint",
            "direct": false,
            "version": "0.4.6",
            "ecosystem": "crates"
          },
          {
            "name": "num-complex",
            "direct": false,
            "version": "0.4.6",
            "ecosystem": "crates"
          },
          {
            "name": "num-integer",
            "direct": false,
            "version": "0.1.46",
            "ecosystem": "crates"
          },
          {
            "name": "num-iter",
            "direct": false,
            "version": "0.1.45",
            "ecosystem": "crates"
          },
          {
            "name": "num-rational",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "num-rational",
            "direct": false,
            "version": "0.4.2",
            "ecosystem": "crates"
          },
          {
            "name": "num-traits",
            "direct": false,
            "version": "0.2.19",
            "ecosystem": "crates"
          },
          {
            "name": "once_cell",
            "direct": false,
            "version": "1.21.4",
            "ecosystem": "crates"
          },
          {
            "name": "once_cell_polyfill",
            "direct": false,
            "version": "1.70.2",
            "ecosystem": "crates"
          },
          {
            "name": "option-ext",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "parking_lot",
            "direct": false,
            "version": "0.12.5",
            "ecosystem": "crates"
          },
          {
            "name": "parking_lot_core",
            "direct": false,
            "version": "0.9.12",
            "ecosystem": "crates"
          },
          {
            "name": "portable-atomic",
            "direct": false,
            "version": "1.13.1",
            "ecosystem": "crates"
          },
          {
            "name": "portable-atomic-util",
            "direct": false,
            "version": "0.2.7",
            "ecosystem": "crates"
          },
          {
            "name": "ppv-lite86",
            "direct": false,
            "version": "0.2.21",
            "ecosystem": "crates"
          },
          {
            "name": "predicates",
            "direct": false,
            "version": "3.1.4",
            "ecosystem": "crates"
          },
          {
            "name": "predicates-core",
            "direct": false,
            "version": "1.0.10",
            "ecosystem": "crates"
          },
          {
            "name": "predicates-tree",
            "direct": false,
            "version": "1.0.13",
            "ecosystem": "crates"
          },
          {
            "name": "prettyplease",
            "direct": false,
            "version": "0.2.37",
            "ecosystem": "crates"
          },
          {
            "name": "proptest",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "proptest",
            "direct": false,
            "version": "1.11.0",
            "ecosystem": "crates"
          },
          {
            "name": "quick-error",
            "direct": false,
            "version": "1.2.3",
            "ecosystem": "crates"
          },
          {
            "name": "r-efi",
            "direct": false,
            "version": "5.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "r-efi",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "rand",
            "direct": false,
            "version": "0.9.4",
            "ecosystem": "crates"
          },
          {
            "name": "rand_chacha",
            "direct": false,
            "version": "0.9.0",
            "ecosystem": "crates"
          },
          {
            "name": "rand_core",
            "direct": false,
            "version": "0.9.5",
            "ecosystem": "crates"
          },
          {
            "name": "rand_xorshift",
            "direct": false,
            "version": "0.4.0",
            "ecosystem": "crates"
          },
          {
            "name": "redox_syscall",
            "direct": false,
            "version": "0.5.18",
            "ecosystem": "crates"
          },
          {
            "name": "redox_users",
            "direct": false,
            "version": "0.5.2",
            "ecosystem": "crates"
          },
          {
            "name": "ref-cast",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "ref-cast",
            "direct": false,
            "version": "1.0.25",
            "ecosystem": "crates"
          },
          {
            "name": "ref-cast-impl",
            "direct": false,
            "version": "1.0.25",
            "ecosystem": "crates"
          },
          {
            "name": "regex",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "regex",
            "direct": false,
            "version": "1.12.3",
            "ecosystem": "crates"
          },
          {
            "name": "regex-automata",
            "direct": false,
            "version": "0.4.14",
            "ecosystem": "crates"
          },
          {
            "name": "regex-syntax",
            "direct": false,
            "version": "0.8.10",
            "ecosystem": "crates"
          },
          {
            "name": "roxmltree",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "roxmltree",
            "direct": false,
            "version": "0.21.1",
            "ecosystem": "crates"
          },
          {
            "name": "rustix",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "crates"
          },
          {
            "name": "rustversion",
            "direct": false,
            "version": "1.0.22",
            "ecosystem": "crates"
          },
          {
            "name": "rusty-fork",
            "direct": false,
            "version": "0.3.1",
            "ecosystem": "crates"
          },
          {
            "name": "scopeguard",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "semver",
            "direct": false,
            "version": "1.0.28",
            "ecosystem": "crates"
          },
          {
            "name": "serde_core",
            "direct": false,
            "version": "1.0.228",
            "ecosystem": "crates"
          },
          {
            "name": "serde_derive",
            "direct": false,
            "version": "1.0.228",
            "ecosystem": "crates"
          },
          {
            "name": "serde_spanned",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "crates"
          },
          {
            "name": "simd-adler32",
            "direct": false,
            "version": "0.3.9",
            "ecosystem": "crates"
          },
          {
            "name": "similar",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "similar",
            "direct": false,
            "version": "2.7.0",
            "ecosystem": "crates"
          },
          {
            "name": "smallvec",
            "direct": false,
            "version": "1.15.1",
            "ecosystem": "crates"
          },
          {
            "name": "stable_deref_trait",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "strsim",
            "direct": false,
            "version": "0.11.1",
            "ecosystem": "crates"
          },
          {
            "name": "tempfile",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "tempfile",
            "direct": false,
            "version": "3.27.0",
            "ecosystem": "crates"
          },
          {
            "name": "termcolor",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "termcolor",
            "direct": false,
            "version": "1.4.1",
            "ecosystem": "crates"
          },
          {
            "name": "termtree",
            "direct": false,
            "version": "0.5.1",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror",
            "direct": false,
            "version": "2.0.18",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror-impl",
            "direct": false,
            "version": "2.0.18",
            "ecosystem": "crates"
          },
          {
            "name": "toml_datetime",
            "direct": false,
            "version": "0.7.5+spec-1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "toml_parser",
            "direct": false,
            "version": "1.1.2+spec-1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "toml_writer",
            "direct": false,
            "version": "1.1.1+spec-1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "typed-arena",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "typed-path",
            "direct": false,
            "version": "0.12.3",
            "ecosystem": "crates"
          },
          {
            "name": "typenum",
            "direct": false,
            "version": "1.20.0",
            "ecosystem": "crates"
          },
          {
            "name": "unarray",
            "direct": false,
            "version": "0.1.4",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-ident",
            "direct": false,
            "version": "1.0.24",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-width",
            "direct": false,
            "version": "0.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-xid",
            "direct": false,
            "version": "0.2.6",
            "ecosystem": "crates"
          },
          {
            "name": "utf8parse",
            "direct": false,
            "version": "0.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "version_check",
            "direct": false,
            "version": "0.9.5",
            "ecosystem": "crates"
          },
          {
            "name": "wait-timeout",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "wasi",
            "direct": false,
            "version": "0.11.1+wasi-snapshot-preview1",
            "ecosystem": "crates"
          },
          {
            "name": "wasip2",
            "direct": false,
            "version": "1.0.3+wasi-0.2.9",
            "ecosystem": "crates"
          },
          {
            "name": "wasip3",
            "direct": false,
            "version": "0.4.0+wasi-0.3.0-rc-2026-01-06",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-bindgen",
            "direct": false,
            "version": "0.2.118",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-bindgen-macro",
            "direct": false,
            "version": "0.2.118",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-bindgen-macro-support",
            "direct": false,
            "version": "0.2.118",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-bindgen-shared",
            "direct": false,
            "version": "0.2.118",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-encoder",
            "direct": false,
            "version": "0.244.0",
            "ecosystem": "crates"
          },
          {
            "name": "wasm-metadata",
            "direct": false,
            "version": "0.244.0",
            "ecosystem": "crates"
          },
          {
            "name": "wasmparser",
            "direct": false,
            "version": "0.244.0",
            "ecosystem": "crates"
          },
          {
            "name": "winapi-util",
            "direct": false,
            "version": "0.1.11",
            "ecosystem": "crates"
          },
          {
            "name": "windows-link",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "windows-sys",
            "direct": false,
            "version": "0.61.2",
            "ecosystem": "crates"
          },
          {
            "name": "winnow",
            "direct": false,
            "version": "0.7.15",
            "ecosystem": "crates"
          },
          {
            "name": "winnow",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen",
            "direct": false,
            "version": "0.51.0",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen",
            "direct": false,
            "version": "0.57.1",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen-core",
            "direct": false,
            "version": "0.51.0",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen-rust",
            "direct": false,
            "version": "0.51.0",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen-rust-macro",
            "direct": false,
            "version": "0.51.0",
            "ecosystem": "crates"
          },
          {
            "name": "wit-component",
            "direct": false,
            "version": "0.244.0",
            "ecosystem": "crates"
          },
          {
            "name": "wit-parser",
            "direct": false,
            "version": "0.244.0",
            "ecosystem": "crates"
          },
          {
            "name": "zerocopy",
            "direct": false,
            "version": "0.8.48",
            "ecosystem": "crates"
          },
          {
            "name": "zerocopy-derive",
            "direct": false,
            "version": "0.8.48",
            "ecosystem": "crates"
          },
          {
            "name": "zlib-rs",
            "direct": false,
            "version": "0.6.3",
            "ecosystem": "crates"
          },
          {
            "name": "zmij",
            "direct": false,
            "version": "1.0.21",
            "ecosystem": "crates"
          },
          {
            "name": "zopfli",
            "direct": false,
            "version": "0.8.3",
            "ecosystem": "crates"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 221,
        "direct_count": 56,
        "indirect_count": 165
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 9,
        "merged_prs": 1501,
        "open_issues": 94,
        "closed_ratio": 0.844,
        "closed_issues": 507,
        "closed_unmerged_prs": 72
      },
      "bus_factor": 2,
      "bot_contributors": 0,
      "top_contributors": [
        {
          "type": "User",
          "login": "xldenis",
          "commits": 1588,
          "avatar_url": "https://avatars.githubusercontent.com/u/451373?v=4"
        },
        {
          "type": "User",
          "login": "jhjourdan",
          "commits": 1048,
          "avatar_url": "https://avatars.githubusercontent.com/u/1917144?v=4"
        },
        {
          "type": "User",
          "login": "Lysxia",
          "commits": 857,
          "avatar_url": "https://avatars.githubusercontent.com/u/2515201?v=4"
        },
        {
          "type": "User",
          "login": "dianegolfouse",
          "commits": 707,
          "avatar_url": "https://avatars.githubusercontent.com/u/53786772?v=4"
        },
        {
          "type": "User",
          "login": "voidc",
          "commits": 210,
          "avatar_url": "https://avatars.githubusercontent.com/u/5302792?v=4"
        },
        {
          "type": "User",
          "login": "lafeychine",
          "commits": 119,
          "avatar_url": "https://avatars.githubusercontent.com/u/1568355?v=4"
        },
        {
          "type": "User",
          "login": "dewert99",
          "commits": 109,
          "avatar_url": "https://avatars.githubusercontent.com/u/33990711?v=4"
        },
        {
          "type": "User",
          "login": "Armael",
          "commits": 84,
          "avatar_url": "https://avatars.githubusercontent.com/u/315125?v=4"
        },
        {
          "type": "User",
          "login": "jhaye",
          "commits": 28,
          "avatar_url": "https://avatars.githubusercontent.com/u/7195008?v=4"
        },
        {
          "type": "User",
          "login": "shiatsumat",
          "commits": 25,
          "avatar_url": "https://avatars.githubusercontent.com/u/529217?v=4"
        }
      ],
      "contributors_sampled": 47,
      "top_contributor_share": 0.322
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "deploy.yml",
        "nightly.yml",
        "rust.yml"
      ],
      "has_docs_dir": false,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": false,
      "has_precommit_config": false
    },
    "security_signals": {
      "lockfiles": [
        "Cargo.lock"
      ],
      "scorecard": {
        "checks": [
          {
            "name": "Binary-Artifacts",
            "score": 10,
            "reason": "no binaries found in the repo",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
          },
          {
            "name": "Branch-Protection",
            "score": null,
            "reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
          },
          {
            "name": "CI-Tests",
            "score": 10,
            "reason": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
          },
          {
            "name": "CII-Best-Practices",
            "score": 0,
            "reason": "no effort to earn an OpenSSF best practices badge detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
          },
          {
            "name": "Code-Review",
            "score": 2,
            "reason": "Found 3/14 approved changesets -- score normalized to 2",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 12 contributing companies or organizations",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
          },
          {
            "name": "Dangerous-Workflow",
            "score": 10,
            "reason": "no dangerous workflow patterns detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
          },
          {
            "name": "Dependency-Update-Tool",
            "score": 0,
            "reason": "no update tool detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
          },
          {
            "name": "Fuzzing",
            "score": 0,
            "reason": "project is not fuzzed",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
          },
          {
            "name": "License",
            "score": 10,
            "reason": "license file detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
          },
          {
            "name": "Maintained",
            "score": 10,
            "reason": "30 commit(s) and 23 issue activity found in the last 90 days -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
          },
          {
            "name": "Packaging",
            "score": null,
            "reason": "packaging workflow not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
          },
          {
            "name": "Pinned-Dependencies",
            "score": 0,
            "reason": "dependency not pinned by hash detected -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
          },
          {
            "name": "SAST",
            "score": 0,
            "reason": "SAST tool is not run on all commits -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
          },
          {
            "name": "Security-Policy",
            "score": 0,
            "reason": "security policy file not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
          },
          {
            "name": "Signed-Releases",
            "score": null,
            "reason": "no releases found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
          },
          {
            "name": "Token-Permissions",
            "score": 0,
            "reason": "detected GitHub workflow tokens with excessive permissions",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
          },
          {
            "name": "Vulnerabilities",
            "score": 9,
            "reason": "1 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "318615be3b8bbc60d1f6d52469ba5c0bdebed4f1",
        "ran_at": "2026-07-27T21:33:03Z",
        "aggregate_score": 4.8,
        "scorecard_version": "v5.5.0"
      },
      "has_codeql_workflow": false,
      "has_security_policy": false,
      "has_dependabot_config": false
    },
    "contribution_flow": {
      "collected": true,
      "ci_last_run_at": "2026-07-27T13:26:17Z",
      "oldest_open_prs": [
        {
          "number": 1346,
          "created_at": "2025-02-05T14:49:35Z",
          "last_comment_at": "2026-02-07T20:19:28Z",
          "last_comment_author": "xldenis"
        },
        {
          "number": 1972,
          "created_at": "2026-03-10T12:58:00Z",
          "last_comment_at": "2026-03-10T20:48:18Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 1997,
          "created_at": "2026-03-20T22:35:56Z",
          "last_comment_at": "2026-03-22T20:05:50Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 2036,
          "created_at": "2026-04-13T18:35:50Z",
          "last_comment_at": "2026-04-14T08:05:29Z",
          "last_comment_author": "Kixunil"
        },
        {
          "number": 2075,
          "created_at": "2026-04-28T13:11:48Z",
          "last_comment_at": "2026-04-28T13:29:52Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 2154,
          "created_at": "2026-06-22T14:26:11Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 2196,
          "created_at": "2026-07-10T11:01:05Z",
          "last_comment_at": "2026-07-10T14:34:37Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 2198,
          "created_at": "2026-07-10T13:10:47Z",
          "last_comment_at": "2026-07-10T15:54:48Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 2205,
          "created_at": "2026-07-14T12:52:50Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-07-27T13:18:59Z",
      "ci_last_conclusion": "SUCCESS",
      "oldest_open_issues": [
        {
          "number": 117,
          "created_at": "2021-10-06T20:11:19Z",
          "last_comment_at": "2024-11-18T09:24:02Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 454,
          "created_at": "2022-07-07T07:08:54Z",
          "last_comment_at": "2024-11-18T10:06:54Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 609,
          "created_at": "2022-10-06T13:47:32Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 739,
          "created_at": "2023-04-06T08:53:43Z",
          "last_comment_at": "2023-11-16T08:22:40Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 767,
          "created_at": "2023-05-04T14:42:45Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 794,
          "created_at": "2023-06-03T00:52:03Z",
          "last_comment_at": "2023-06-04T14:18:44Z",
          "last_comment_author": "sarsko"
        },
        {
          "number": 824,
          "created_at": "2023-07-03T21:09:40Z",
          "last_comment_at": "2026-07-24T13:08:22Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 879,
          "created_at": "2023-10-03T14:43:21Z",
          "last_comment_at": "2025-06-18T15:13:41Z",
          "last_comment_author": "dianegolfouse"
        },
        {
          "number": 881,
          "created_at": "2023-10-04T09:44:53Z",
          "last_comment_at": "2025-05-02T15:42:12Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 910,
          "created_at": "2023-11-14T16:12:12Z",
          "last_comment_at": "2023-11-15T13:38:16Z",
          "last_comment_author": "xldenis"
        },
        {
          "number": 911,
          "created_at": "2023-11-24T17:02:04Z",
          "last_comment_at": "2026-03-26T10:51:21Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 996,
          "created_at": "2024-04-30T08:07:31Z",
          "last_comment_at": "2024-08-12T15:16:16Z",
          "last_comment_author": "xldenis"
        },
        {
          "number": 1012,
          "created_at": "2024-05-28T15:23:07Z",
          "last_comment_at": "2024-05-28T15:39:45Z",
          "last_comment_author": "jhjourdan"
        },
        {
          "number": 1017,
          "created_at": "2024-06-03T12:29:55Z",
          "last_comment_at": "2024-06-03T15:12:30Z",
          "last_comment_author": "xldenis"
        },
        {
          "number": 1101,
          "created_at": "2024-09-18T11:29:00Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1103,
          "created_at": "2024-09-18T11:49:25Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1105,
          "created_at": "2024-09-18T13:27:08Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1116,
          "created_at": "2024-09-23T12:26:50Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1121,
          "created_at": "2024-09-25T11:57:02Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1146,
          "created_at": "2024-10-09T03:46:26Z",
          "last_comment_at": "2024-10-10T00:24:54Z",
          "last_comment_author": "nishanthkarthik"
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/creusot-rs/creusot",
    "host": "github.com",
    "name": "creusot",
    "owner": "creusot-rs"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "good",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 75,
      "inputs": {
        "security": 56,
        "vitality": 96,
        "community": 72,
        "governance": 72,
        "engineering": 71
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "excellent",
        "name": "Vitality",
        "value": 96,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "excellent",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 99,
            "inputs": {
              "commits_last_year": 1275,
              "human_commit_share": 1,
              "days_since_last_push": 0,
              "active_weeks_last_year": 51
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 0 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "51/52 weeks with commits",
                "points": 35.3,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 51
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "1275 commits in the last year",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 1275
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "30 commit(s) and 23 issue activity found in the last 90 days -- score normalized to 10",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "release_discipline",
            "band": "excellent",
            "name": "Release discipline",
            "note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "openssf_scorecard_signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 92,
            "inputs": {
              "releases_count": 13,
              "latest_release_tag": "v0.12.0",
              "releases_from_tags": false,
              "days_since_latest_release": 45,
              "mean_days_between_releases": 65.9
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "13 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 13
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 45 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 45
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~65.9 days",
                "points": 19.8,
                "status": "partial",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 65.9
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 0,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 0 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "good",
        "name": "Community & Adoption",
        "value": 72,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "good",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 75,
            "inputs": {
              "forks": 87,
              "stars": 1812,
              "watchers": 16,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "1,812 stars",
                "points": 52.8,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 1812
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "87 forks",
                "points": 16.1,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 87
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "16 watchers",
                "points": 6.5,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 16
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "good",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 70,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": true,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "has_pull_request_template": false
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 22.5,
                "status": "met",
                "details": [],
                "max_points": 22.5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "recognized license (LGPL-2.1)",
                "points": 22.5,
                "status": "met",
                "details": [
                  {
                    "code": "license_standard",
                    "params": {}
                  },
                  {
                    "code": "license_spdx",
                    "params": {
                      "spdx": "LGPL-2.1"
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 18,
                "status": "met",
                "details": [],
                "max_points": 18
              },
              {
                "key": "code_of_conduct",
                "name": "Code of conduct",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 13.5
              },
              {
                "key": "issue_template",
                "name": "Issue template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.2
              },
              {
                "key": "pr_template",
                "name": "PR template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.3
              }
            ]
          },
          {
            "key": "ecosystem_adoption",
            "band": "moderate",
            "name": "Ecosystem adoption (downloads)",
            "note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "registry_dependents"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 69,
            "inputs": {
              "packages": [
                "why3",
                "creusot-std",
                "pearlite-syn"
              ],
              "dependents": null,
              "ecosystems": "crates",
              "total_downloads": 54327,
              "monthly_downloads": 13324
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "13,324 downloads/month across crates",
                "points": 55,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 13324,
                      "ecosystems": "crates"
                    }
                  }
                ],
                "max_points": 80
              },
              {
                "key": "registry_dependents",
                "name": "Registry dependents",
                "detail": "not reported by this ecosystem",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "not_reported_by_this_ecosystem",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
      },
      {
        "key": "governance",
        "band": "good",
        "name": "Sustainability & Governance",
        "value": 72,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "moderate",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 64,
            "inputs": {
              "bus_factor": 2,
              "contributors_sampled": 47,
              "top_contributor_share": 0.322
            },
            "components": [
              {
                "key": "bus_factor",
                "name": "Bus factor",
                "detail": "2 contributor(s) cover half of all commits",
                "points": 25.2,
                "status": "partial",
                "details": [
                  {
                    "code": "bus_factor",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 54
              },
              {
                "key": "commit_distribution",
                "name": "Commit distribution",
                "detail": "top contributor authored 32% of commits",
                "points": 15.3,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 32
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "47 contributors",
                "points": 13.5,
                "status": "met",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 47
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 12 contributing companies or organizations",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "good",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 79,
            "inputs": {
              "merged_prs": 1501,
              "open_issues": 94,
              "closed_issues": 507,
              "issue_closed_ratio": 0.844,
              "closed_unmerged_prs": 72
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "84% of issues closed",
                "points": 39.5,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 84
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "1501/1573 decided PRs merged",
                "points": 36.5,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 1501,
                      "decided": 1573
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 3/14 approved changesets -- score normalized to 2",
                "points": 3,
                "status": "partial",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 54,
            "inputs": {
              "followers": 37,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "creusot-rs",
              "public_repos": 9,
              "account_age_days": 888
            },
            "components": [
              {
                "key": "ownership_backing",
                "name": "Ownership backing",
                "detail": "organization-owned",
                "points": 30,
                "status": "met",
                "details": [
                  {
                    "code": "owner_organization",
                    "params": {}
                  }
                ],
                "max_points": 30
              },
              {
                "key": "verified_domain",
                "name": "Verified domain",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "owner_reach",
                "name": "Owner reach",
                "detail": "37 followers of creusot-rs",
                "points": 11.4,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 37,
                      "login": "creusot-rs"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "9 public repos, account ~2 yr old",
                "points": 12.1,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 9
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 2
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "why3",
                "creusot-std",
                "pearlite-syn"
              ],
              "ecosystems": "crates",
              "any_deprecated": false,
              "min_days_since_publish": 0
            },
            "components": [
              {
                "key": "published_resolvable",
                "name": "Published & resolvable",
                "detail": "3 package(s) on crates",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "packages_published",
                    "params": {
                      "count": 3,
                      "ecosystems": "crates"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "publish_recency",
                "name": "Publish recency",
                "detail": "latest publish 0 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "14 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 14
                    }
                  }
                ],
                "max_points": 20
              },
              {
                "key": "not_deprecated",
                "name": "Not deprecated",
                "detail": "active, not deprecated or yanked",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "package_not_deprecated",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
      },
      {
        "key": "engineering",
        "band": "good",
        "name": "Engineering Quality",
        "value": 71,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "moderate",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 68,
            "inputs": {
              "has_ci": true,
              "has_tests": true,
              "has_editorconfig": false,
              "has_linter_config": false,
              "has_precommit_config": false
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": "3 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 3
                    }
                  }
                ],
                "max_points": 24
              },
              {
                "key": "tests_present",
                "name": "Tests present",
                "detail": null,
                "points": 24,
                "status": "met",
                "details": [],
                "max_points": 24
              },
              {
                "key": "linter_config",
                "name": "Linter config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 9.6
              },
              {
                "key": "editorconfig",
                "name": ".editorconfig",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.4
              },
              {
                "key": "openssf_scorecard_ci_tests",
                "name": "OpenSSF Scorecard: CI-Tests",
                "detail": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
                "points": 20,
                "status": "met",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "good",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 75,
            "inputs": {
              "topics": [
                "rust-lang",
                "verification",
                "proof",
                "formal-verification",
                "deductive-reasoning",
                "why3",
                "rust",
                "formal-methods",
                "contracts"
              ],
              "has_wiki": true,
              "homepage": "https://creusot.rs",
              "has_readme": true,
              "has_docs_dir": false,
              "has_description": true
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 30,
                "status": "met",
                "details": [],
                "max_points": 30
              },
              {
                "key": "documentation_directory",
                "name": "Documentation directory",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": "https://creusot.rs",
                "points": 15,
                "status": "met",
                "details": [],
                "max_points": 15
              },
              {
                "key": "repository_description",
                "name": "Repository description",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "topics",
                "name": "Topics",
                "detail": "9 topics",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "topics_count",
                    "params": {
                      "count": 9
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "wiki",
                "name": "Wiki",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          }
        ],
        "description": "Are baseline engineering and documentation practices in place?"
      },
      {
        "key": "security",
        "band": "moderate",
        "name": "Security",
        "value": 56,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "at_risk",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging, Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "branch_protection",
                    "packaging",
                    "signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 48,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 15,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 3,
              "scorecard_aggregate": 4.8
            },
            "components": [
              {
                "key": "binary_artifacts",
                "name": "Binary-Artifacts",
                "detail": "no binaries found in the repo",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "branch_protection",
                "name": "Branch-Protection",
                "detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "cii_best_practices",
                "name": "CII-Best-Practices",
                "detail": "no effort to earn an OpenSSF best practices badge detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "code_review",
                "name": "Code-Review",
                "detail": "Found 3/14 approved changesets -- score normalized to 2",
                "points": 1.5,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 12 contributing companies or organizations",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "dangerous_workflow",
                "name": "Dangerous-Workflow",
                "detail": "no dangerous workflow patterns detected",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "dependency_update_tool",
                "name": "Dependency-Update-Tool",
                "detail": "no update tool detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "fuzzing",
                "name": "Fuzzing",
                "detail": "project is not fuzzed",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "license file detected",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "maintained",
                "name": "Maintained",
                "detail": "30 commit(s) and 23 issue activity found in the last 90 days -- score normalized to 10",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "packaging",
                "name": "Packaging",
                "detail": "packaging workflow not detected",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 5
              },
              {
                "key": "pinned_dependencies",
                "name": "Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "sast",
                "name": "SAST",
                "detail": "SAST tool is not run on all commits -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "security_policy",
                "name": "Security-Policy",
                "detail": "security policy file not detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "token_permissions",
                "name": "Token-Permissions",
                "detail": "detected GitHub workflow tokens with excessive permissions",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "vulnerabilities",
                "name": "Vulnerabilities",
                "detail": "1 existing vulnerabilities detected",
                "points": 6.8,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "dependency_advisories",
            "band": "excellent",
            "name": "Dependency advisories",
            "note": "Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories. Remaining weights renormalized. Matched 181 resolved dependencies against OSV; 40 could not be assessed (no resolved version, an unsupported ecosystem, or beyond the reported package list). This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. Reachability is not analyzed.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "indirect_dependencies_free_of_known_advisories"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              },
              {
                "code": "advisories_scope_repository",
                "params": {
                  "assessed": 181
                }
              },
              {
                "code": "advisories_unassessed",
                "params": {
                  "count": 40
                }
              },
              {
                "code": "advisories_repo_graph_caveat",
                "params": {}
              },
              {
                "code": "advisories_reachability",
                "params": {}
              }
            ],
            "value": 89,
            "inputs": {
              "source": "osv",
              "advisories": 1,
              "affected_packages": 1,
              "assessed_packages": 181,
              "unassessed_packages": 40,
              "affected_by_severity": "unknown 1",
              "direct_affected_packages": 1
            },
            "components": [
              {
                "key": "direct_dependencies_free_of_known_advisories",
                "name": "Direct dependencies free of known advisories",
                "detail": "1 affected: anyhow 1.0.102 (unknown)",
                "points": 26.6,
                "status": "partial",
                "details": [
                  {
                    "code": "advisories_affected",
                    "params": {
                      "count": 1,
                      "packages": "anyhow 1.0.102 (unknown)"
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "indirect_dependencies_free_of_known_advisories",
                "name": "Indirect dependencies free of known advisories",
                "detail": "transitive set not separable from development and test dependencies in this scope",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "advisories_scope_not_separable",
                    "params": {}
                  }
                ],
                "max_points": 25
              },
              {
                "key": "no_advisories_left_outstanding",
                "name": "No advisories left outstanding",
                "detail": "no advisory has been public longer than 90 days",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "advisories_none_stale",
                    "params": {
                      "days": 90
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "malicious_dependencies",
            "band": "excellent",
            "name": "Malicious dependencies",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "source": "osv",
              "meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
              "packages": [],
              "red_flag": false,
              "assessed_packages": 181,
              "malicious_packages": 0,
              "direct_malicious_packages": 0,
              "withdrawn_malicious_packages": 0,
              "installable_malicious_packages": 0
            },
            "components": [
              {
                "key": "no_dependency_reported_as_a_malicious_package",
                "name": "No dependency reported as a malicious package",
                "detail": "no dependency is reported as a malicious package",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "no_malicious_dependencies",
                    "params": {}
                  }
                ],
                "max_points": 100
              }
            ]
          },
          {
            "key": "high_risk_jurisdiction_exposure",
            "band": "excellent",
            "name": "High-Risk Jurisdiction Exposure",
            "note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
            "notes": [
              {
                "code": "jurisdiction_evidence_limits",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "meaning": "self-published location evidence; not nationality or citizenship",
              "red_flag": false,
              "exposures": [],
              "policy_countries": [
                "Russia",
                "Iran",
                "North Korea"
              ],
              "review_only_matches": 0,
              "assessed_self_published_locations": 6
            },
            "components": [
              {
                "key": "policy_exposure_multiplier",
                "name": "Policy exposure multiplier",
                "detail": "no confirmed policy-scope location match",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "jurisdiction_no_match",
                    "params": {}
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
      },
      {
        "key": "ai_readiness",
        "band": "moderate",
        "name": "AI Readiness",
        "value": 55,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "at_risk",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 36,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 0.68,
              "agent_instruction_files": [],
              "agent_instruction_max_bytes": null
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": "no CLAUDE.md / AGENTS.md / editor rules",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_agent_instructions",
                    "params": {}
                  }
                ],
                "max_points": 45
              },
              {
                "key": "machine_readable_docs_llms_txt",
                "name": "Machine-readable docs (llms.txt)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "legible_commit_history",
                "name": "Legible commit history",
                "detail": "68 of 100 human commits state their intent (structured subject or explanatory body)",
                "points": 36.3,
                "status": "partial",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 68,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "moderate",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 58,
            "inputs": {
              "has_nix": true,
              "has_tests": true,
              "lockfiles": [
                "Cargo.lock"
              ],
              "has_dockerfile": false,
              "typed_language": true,
              "bootstrap_files": [],
              "has_devcontainer": false,
              "has_linter_config": false,
              "typecheck_configs": [],
              "agent_commit_share": 0.01,
              "toolchain_manifests": [
                "Cargo.toml",
                "cargo-creusot/Cargo.toml",
                "creusot-args/Cargo.toml",
                "creusot-dev-config/Cargo.toml",
                "creusot-install/Cargo.toml",
                "creusot-metadata/Cargo.toml",
                "creusot-rustc/Cargo.toml",
                "creusot-setup/Cargo.toml",
                "creusot-std-proc/Cargo.toml",
                "creusot-std/Cargo.toml",
                "creusot/Cargo.toml",
                "pearlite-syn/Cargo.toml",
                "prelude-generator/Cargo.toml",
                "tests/Cargo.toml",
                "why3/Cargo.toml",
                "why3tests/Cargo.toml"
              ],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "Cargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml (toolchain convention, no task runner)",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "toolchain_convention",
                    "params": {
                      "files": "Cargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml"
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "automated_tests",
                "name": "Automated tests",
                "detail": null,
                "points": 22,
                "status": "met",
                "details": [],
                "max_points": 22
              },
              {
                "key": "lint_format_config",
                "name": "Lint / format config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "Rust (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": "Nix, lockfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Nix, lockfile"
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "1 of the last 100 commits agent-authored or agent-credited",
                "points": 2,
                "status": "partial",
                "details": [
                  {
                    "code": "agent_authored_commits",
                    "params": {
                      "count": 1,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "automated_maintenance",
                "name": "Automated maintenance",
                "detail": "no automated dependency updates observed",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_dependency_automation",
                    "params": {}
                  }
                ],
                "max_points": 8
              },
              {
                "key": "openssf_scorecard_pinned_dependencies",
                "name": "OpenSSF Scorecard: Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "ai_code_legibility",
            "band": "excellent",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "primary_language": "Rust",
              "largest_source_bytes": 73319,
              "source_files_sampled": 710,
              "oversized_source_files": 2
            },
            "components": [
              {
                "key": "type_checkable_code",
                "name": "Type-checkable code",
                "detail": "Rust (statically typed)",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "manageable_file_sizes",
                "name": "Manageable file sizes",
                "detail": "2/710 source files over 60KB",
                "points": 54.8,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 710,
                      "oversized": 2
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "at_risk",
            "name": "Machine-readable interfaces",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "example_dirs": [
                "examples"
              ],
              "has_mcp_signal": false,
              "api_schema_files": []
            },
            "components": [
              {
                "key": "api_schema_openapi_graphql_proto",
                "name": "API schema (OpenAPI/GraphQL/proto)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 40
              },
              {
                "key": "mcp_server",
                "name": "MCP server",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "runnable_examples",
                "name": "Runnable examples",
                "detail": "examples",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "examples"
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          }
        ],
        "description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
      }
    ],
    "metrics_version": "1.13.0"
  },
  "warnings": [
    "Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
    "Could not fetch crates package 'creusot' from its registry",
    "Could not fetch crates package 'why3tests' from its registry",
    "Could not fetch crates package 'creusot-args' from its registry",
    "Could not fetch crates package 'cargo-creusot' from its registry",
    "Could not fetch crates package 'creusot-rustc' from its registry",
    "deps.dev does not index crates:why3@0.13.0; advisories assessed against the repository dependency graph instead"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-27T21:33:30.343634Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/c/creusot-rs/creusot.svg",
  "full_name": "creusot-rs/creusot",
  "license_state": "standard",
  "license_spdx": "LGPL-2.1"
}