verus-lang / verusfmt

Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.

Cada punto abarca 3 días.

Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 25 paquetes directos y 284 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.

Este repositorio no publica ningún paquete que el índice resuelva, así que se evaluó su propio grafo de dependencias — 304 paquetes, que incluyen también fijaciones de desarrollo y prueba que nunca se distribuyen: 3 tienen avisos conocidos, de los cuales 0 son directas. 5 no pudieron evaluarse: sin versión resuelta, ecosistema no admitido, o fuera de la lista de paquetes informada.

Un aviso significa que la versión registrada en el grafo de dependencias cae dentro del rango afectado de un aviso. No se analiza la alcanzabilidad, y el grafo incluye fijaciones de desarrollo y prueba: un hallazgo puede referirse al utillaje y no al software distribuido.

{
  "data": {
    "repo": {
      "topics": [
        "formatter",
        "pretty-printer",
        "verus"
      ],
      "is_fork": false,
      "size_kb": 3317,
      "has_wiki": false,
      "homepage": null,
      "languages": {
        "Rust": 171976,
        "Shell": 3226,
        "Python": 864
      },
      "pushed_at": "2026-07-29T21:43:26Z",
      "created_at": "2023-07-12T00:55:46Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-29T21:43:52Z",
      "description": "An Opinionated Formatter for Verus",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "MIT",
      "default_branch": "main",
      "license_spdx_raw": "MIT",
      "primary_language": "Rust",
      "significant_languages": [
        "Rust"
      ]
    },
    "owner": {
      "blog": null,
      "name": null,
      "type": "Organization",
      "login": "verus-lang",
      "company": null,
      "location": null,
      "followers": 74,
      "avatar_url": "https://avatars.githubusercontent.com/u/107117217?v=4",
      "created_at": "2022-06-08T11:47:03Z",
      "is_verified": null,
      "public_repos": 16,
      "account_age_days": 1513
    },
    "license": {
      "state": "standard",
      "spdx_id": "MIT",
      "raw_spdx": "MIT",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v0.7.2",
          "kind": "patch",
          "published_at": "2026-06-10T21:36:57Z"
        },
        {
          "tag": "v0.7.1",
          "kind": "patch",
          "published_at": "2026-06-01T18:47:27Z"
        },
        {
          "tag": "v0.7.0",
          "kind": "minor",
          "published_at": "2026-05-07T23:38:45Z"
        },
        {
          "tag": "v0.6.4",
          "kind": "patch",
          "published_at": "2026-03-30T18:37:56Z"
        },
        {
          "tag": "v0.6.3",
          "kind": "patch",
          "published_at": "2026-02-23T22:51:00Z"
        },
        {
          "tag": "v0.6.2",
          "kind": "patch",
          "published_at": "2026-02-12T23:36:53Z"
        },
        {
          "tag": "v0.6.1",
          "kind": "patch",
          "published_at": "2025-10-25T00:13:33Z"
        },
        {
          "tag": "v0.6.0",
          "kind": "minor",
          "published_at": "2025-10-01T01:57:47Z"
        },
        {
          "tag": "v0.5.7",
          "kind": "patch",
          "published_at": "2025-06-02T23:55:44Z"
        },
        {
          "tag": "v0.5.6",
          "kind": "patch",
          "published_at": "2025-05-02T18:10:59Z"
        },
        {
          "tag": "v0.5.5",
          "kind": "patch",
          "published_at": "2025-04-10T01:06:08Z"
        },
        {
          "tag": "v0.5.4",
          "kind": "patch",
          "published_at": "2025-03-27T22:43:07Z"
        },
        {
          "tag": "v0.5.3",
          "kind": "patch",
          "published_at": "2025-02-18T22:41:41Z"
        },
        {
          "tag": "v0.5.2",
          "kind": "patch",
          "published_at": "2025-01-15T23:15:17Z"
        },
        {
          "tag": "v0.5.1",
          "kind": "patch",
          "published_at": "2025-01-15T00:28:50Z"
        },
        {
          "tag": "v0.5.0",
          "kind": "minor",
          "published_at": "2024-10-24T22:21:04Z"
        },
        {
          "tag": "v0.4.3",
          "kind": "patch",
          "published_at": "2024-10-07T22:03:31Z"
        },
        {
          "tag": "v0.4.2",
          "kind": "patch",
          "published_at": "2024-09-25T01:32:10Z"
        },
        {
          "tag": "v0.4.1",
          "kind": "patch",
          "published_at": "2024-08-21T01:18:47Z"
        },
        {
          "tag": "v0.4.0",
          "kind": "minor",
          "published_at": "2024-07-23T22:38:02Z"
        },
        {
          "tag": "v0.3.8",
          "kind": "patch",
          "published_at": "2024-07-08T20:44:00Z"
        },
        {
          "tag": "v0.3.7",
          "kind": "patch",
          "published_at": "2024-06-25T19:26:31Z"
        },
        {
          "tag": "v0.3.6",
          "kind": "patch",
          "published_at": "2024-06-15T20:30:41Z"
        },
        {
          "tag": "v0.3.5",
          "kind": "patch",
          "published_at": "2024-06-01T04:04:50Z"
        },
        {
          "tag": "v0.3.4",
          "kind": "patch",
          "published_at": "2024-05-24T04:52:22Z"
        },
        {
          "tag": "v0.3.3",
          "kind": "patch",
          "published_at": "2024-05-21T20:21:39Z"
        },
        {
          "tag": "v0.3.2",
          "kind": "patch",
          "published_at": "2024-05-16T19:14:55Z"
        },
        {
          "tag": "v0.3.1",
          "kind": "patch",
          "published_at": "2024-04-23T16:01:46Z"
        },
        {
          "tag": "v0.3.0",
          "kind": "minor",
          "published_at": "2024-04-11T20:25:50Z"
        },
        {
          "tag": "v0.2.11",
          "kind": "patch",
          "published_at": "2024-04-02T19:58:36Z"
        },
        {
          "tag": "v0.2.10",
          "kind": "patch",
          "published_at": "2024-03-27T17:53:06Z"
        },
        {
          "tag": "v0.2.9",
          "kind": "patch",
          "published_at": "2024-03-25T19:54:54Z"
        },
        {
          "tag": "v0.2.8",
          "kind": "patch",
          "published_at": "2024-03-12T16:40:02Z"
        },
        {
          "tag": "v0.2.7",
          "kind": "patch",
          "published_at": "2024-02-29T18:38:08Z"
        },
        {
          "tag": "v0.2.6",
          "kind": "patch",
          "published_at": "2024-02-28T03:37:52Z"
        },
        {
          "tag": "v0.2.5",
          "kind": "patch",
          "published_at": "2024-02-27T16:25:36Z"
        },
        {
          "tag": "v0.2.4",
          "kind": "patch",
          "published_at": "2024-02-23T20:58:30Z"
        },
        {
          "tag": "v0.2.3",
          "kind": "patch",
          "published_at": "2024-02-21T02:05:59Z"
        },
        {
          "tag": "v0.2.2",
          "kind": "patch",
          "published_at": "2024-02-20T21:38:53Z"
        },
        {
          "tag": "v0.2.1",
          "kind": "patch",
          "published_at": "2024-02-19T18:03:55Z"
        },
        {
          "tag": "v0.2.0",
          "kind": "minor",
          "published_at": "2024-02-13T03:06:29Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "3f77a8a235c83ce3e27b53f5084eece30f54738b",
          "body": "Co-authored-by: Leon Schuermann <t-leonsc@microsoft.com>",
          "is_bot": false,
          "headline": "Support labeled loops (#212)",
          "author_name": "Leon Schuermann",
          "author_login": "lschuermann",
          "committed_at": "2026-07-29T21:43:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c0efaefe88325818eebae1e7e211cbb142c294be",
          "body": "Co-authored-by: Leon Schuermann <t-leonsc@microsoft.com>",
          "is_bot": false,
          "headline": "Allow compiling with `axoupdater` feature disabled (#211)",
          "author_name": "Leon Schuermann",
          "author_login": "lschuermann",
          "committed_at": "2026-07-29T21:26:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7c04895181632c96945cc06498ba7ba6131dd27d",
          "body": null,
          "is_bot": true,
          "headline": "Verus snapshot update (#210)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-07-02T22:43:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "610d4ee7fa4d5a8f0132aad70f8df07fd64adc87",
          "body": null,
          "is_bot": false,
          "headline": "chore: release v0.7.2 (#209)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-06-10T21:24:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a8ded8a37624600358198e31e2ece296409c893d",
          "body": null,
          "is_bot": false,
          "headline": "Support `const unsafe trait` (#208)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-06-09T23:05:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "88e74f59946285a2dd49cdd3de9d257d2a51b7eb",
          "body": null,
          "is_bot": false,
          "headline": "chore: release v0.7.1 (#204)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-06-01T18:39:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e5b1e3fa98cf4bc174a700b5a3f439befbef1c0b",
          "body": null,
          "is_bot": true,
          "headline": "Verus snapshot update (#203)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-06-01T05:37:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3837df2ec9fbbfff1ea332db833acc607b766fbe",
          "body": null,
          "is_bot": false,
          "headline": "fix: multiline block comment panic (#198)",
          "author_name": "Yuwei LIU",
          "author_login": "Marsman1996",
          "committed_at": "2026-05-30T03:31:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "30890c4e4b227e582a5f34167b049a385abf3ca5",
          "body": null,
          "is_bot": false,
          "headline": "Add support for `--edition` for parts outside verus macro (#197)",
          "author_name": "Yuwei LIU",
          "author_login": "Marsman1996",
          "committed_at": "2026-05-30T03:17:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e30b6665ea3f174aefec055305ef5b71d6f5f278",
          "body": null,
          "is_bot": false,
          "headline": "Support `const impl` and `[const]` trait bounds (#196)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-05-28T03:05:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "28b9abca07a332d15a7a1fa3c01b18e9d65681c4",
          "body": null,
          "is_bot": false,
          "headline": "chore: release v0.7.0 (#194)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-05-07T22:12:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "86658f89104b5408cb1dac49a463a092104caeed",
          "body": "`final_expr` was missing a `attr*`.\n\n---------\n\nCo-authored-by: Jay Bosamiya <jayb@microsoft.com>",
          "is_bot": false,
          "headline": "Parse attributes for `final` expressions (#193)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-05-07T00:45:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "006382c8ba501a6e883ad5ec7885f0ae6edb23c3",
          "body": "See https://github.com/verus-lang/verus/pull/2134\n\n---------\nCo-authored-by: jaybosamiya-ms <171180729+jaybosamiya-ms@users.noreply.github.com>",
          "is_bot": false,
          "headline": "Return value patterns in function signatures (#192)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-05-07T00:31:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d1d2daba7ca1816f06a7263613e7136e58bfd6b4",
          "body": null,
          "is_bot": false,
          "headline": "chore: upgrade dependencies (#188)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-04-14T20:27:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "db10fbfb7564718433969d79d667f218943a5201",
          "body": null,
          "is_bot": false,
          "headline": "Fix unnecessary space after return/break/continue (#185)",
          "author_name": "Chase Harkcom",
          "author_login": "ChaseParate",
          "committed_at": "2026-03-31T22:04:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ac830a392134a086bbd192e87b15793895335d1f",
          "body": null,
          "is_bot": false,
          "headline": "chore: release v0.6.4 (#186)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-03-30T18:28:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ad24d4f33b737ab2de46e491bde837f934abb7d6",
          "body": null,
          "is_bot": false,
          "headline": "Fix parsing of trait associated const declarations (#183)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-03-30T03:29:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5159cd01bdb5a7a2fdafa8dd0d16f21c6791add5",
          "body": null,
          "is_bot": true,
          "headline": "Verus snapshot update (#178)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-01T02:21:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8fd89c0a36d35d7c8a4b2d3f3c259a4258da5a9a",
          "body": null,
          "is_bot": false,
          "headline": "Release v0.6.3 (#177)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-02-23T22:42:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "15d531eaceef72c5303132e6d614d5bc33979aa4",
          "body": null,
          "is_bot": false,
          "headline": "Add support for `final` expressions (#176)",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2026-02-23T22:07:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "368de32f4bc97da5ece22663167167d9779d2043",
          "body": "Attempted re-landing after updating cargo-dist.",
          "is_bot": false,
          "headline": "Release v0.6.2 (#173)",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-02-12T23:29:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ab06cd140db7cc4c2d5e8eb911b7dc7925ff568a",
          "body": "Also uses the new `dist`-specific config file.",
          "is_bot": false,
          "headline": "Update cargo-dist to 0.30.3 to access current GitHub runners (#174)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-02-12T23:20:01Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "74ee19a0782bffef4199a0573db34f18c6f5a430",
          "body": null,
          "is_bot": false,
          "headline": "Release v0.6.2 (#173)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2026-02-12T23:03:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "901f012ecda28190e32d4fbfecf3ac4830bb3169",
          "body": "---------\n\nCo-authored-by: Jay Bosamiya <jaybosamiya@gmail.com>",
          "is_bot": false,
          "headline": "Support raw identifiers (r# prefix) (#172)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2026-02-11T08:48:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0450f3dce0d4ca6d8a39da703681d0b413334838",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#170)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-02-02T18:55:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8cba433ae489a5cbf84dbc8df50da734f678f9ff",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#169)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-01-03T01:52:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9a89bf3c5363eb87de18c3219599755c66ed712a",
          "body": null,
          "is_bot": false,
          "headline": "Support real literals (#168)",
          "author_name": "Copilot",
          "author_login": "Copilot",
          "committed_at": "2025-12-10T01:31:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ea2fa0606001bf7015216cd969966fdc649a81d4",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#166)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-12-01T18:59:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3728831daa1c4921d05ca155a8149235154ee498",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#165)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-11-01T01:27:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c9749a296d3f7128a8347a4e319ca354e761be62",
          "body": null,
          "is_bot": false,
          "headline": "Release v0.6.1 (#164)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-10-25T00:04:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "898d2e518695b439352ecffb1b4dc73b5b3987bd",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#163)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-10-24T23:57:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a29f81e76be34d27f05ccee1178c915b53c4c8e1",
          "body": "…162)\n\nEquivalent to #158 but with some cleanups\n\n---------\n\nCo-authored-by: Theodore Ehrenborg <theodore.ehrenborg@gmail.com>",
          "is_bot": false,
          "headline": "Improved parsing for underscored literals and compound assignments (#…",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-10-24T23:48:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5a26edb9c317e3c99a42d0b5ed02ff1d2c42afd8",
          "body": null,
          "is_bot": false,
          "headline": "Document the verusfmt::skip attribute (#161)",
          "author_name": "Bryan Parno",
          "author_login": "parno",
          "committed_at": "2025-10-24T21:37:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c105cf50e5f6db4840df7a012f9940e6b1dff97e",
          "body": null,
          "is_bot": false,
          "headline": "Add escape char support (#157)",
          "author_name": "JakeGinesin",
          "author_login": "JakeGinesin",
          "committed_at": "2025-10-20T21:27:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "66edface5ee2282b421f005bfe38224317a310fc",
          "body": null,
          "is_bot": true,
          "headline": "Bump tracing-subscriber from 0.3.19 to 0.3.20 (#156)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2025-10-01T02:45:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6fc029507a32c16588056c333f938e0e63bb26e7",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#149)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-10-01T02:01:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "dfc83c952c974d313f9c8da882d4483552705829",
          "body": null,
          "is_bot": false,
          "headline": "Release v0.6.0 (#155)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-10-01T01:51:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "39f647060a9e4c8b83af3e566989f06955c85fc6",
          "body": "This is to support an upcoming change in Verus  (verus-lang/verus#1825)",
          "is_bot": false,
          "headline": "Add support for `assume_specification` for consts (#154)",
          "author_name": "Bryan Parno",
          "author_login": "parno",
          "committed_at": "2025-09-29T23:27:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1d6ecb862b1381e5ac324904bc646123ec86b7be",
          "body": null,
          "is_bot": false,
          "headline": "Fix `no_unwind` parsing immediately after another clause (#151)",
          "author_name": "Xinyi Wan",
          "author_login": "rikosellic",
          "committed_at": "2025-07-02T17:44:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b6a166c0f4814411ea46d06fcec3fe9877f47e2f",
          "body": "Fixes #146 \n\nInterestingly, this surfaces a _tiny_ part of vstd that we were not\nparsing/formatting before, weirdly enough. Seems to essentially not\nimpact anything else though, but I am surprised by the part of vstd it\nimpacted.\n\nAt a high level, the `non_verus` rule exists to gobble up anything\nbe\n[…]\ndled elsewhere, this is purely a \"before\nwe see the `verus! {` thing. Related reading (for why `non_verus`\nexists): f17e9f6fb6bc6b4c8aa244bce96efe1464b10621. See #72 for fixing\nthis issue for strings.",
          "is_bot": false,
          "headline": "Fix accidental attempted parse inside comments (#147)",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2025-06-24T14:41:44Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "beff2fa686d856d5e60df368fd027d94ead11ac5",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-06-02T23:46:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bd97a969b92b549d41e7ea84ccc95c66d6e3ebef",
          "body": null,
          "is_bot": false,
          "headline": "Update PR template to use superscript for license confirmation",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-06-02T23:46:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b26ac009632a0b3980bb980a4cd6c7d0df4b4382",
          "body": "Adds support for version bumping with `jj` alongside existing `git` support",
          "is_bot": false,
          "headline": "Improved utility script for version bumping",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-06-02T23:45:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "aa7f3bcb51751bfebe7cd8090d48f45245a7bd8a",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#143)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-06-02T23:09:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3462b942316fe56bbe9ba35a847e656e00820378",
          "body": "See\nhttps://github.com/verus-lang/verus/commit/8707ef26789e8b734c2d5bfe6d866356314bd859",
          "is_bot": false,
          "headline": "Verus recently renamed its examples directory (#142)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-06-02T23:00:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f3f98038a05dca56ea5aca442fc4d97edbc968fa",
          "body": "See https://github.com/verus-lang/verus/pull/1551",
          "is_bot": false,
          "headline": "Add support for `default_ensures` syntax (#135)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-06-02T22:50:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "94b03066dacc9e5297dae0472683b786f00c51fb",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-05-02T18:03:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ae9ea5357a094ceac1fd867cdc6738e7f588c0ba",
          "body": null,
          "is_bot": false,
          "headline": "Braced syntax for `broadcast use` (#134)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-05-02T18:01:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c7359c58d1c9b2b40e825026ef9b2f988eca4282",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#139)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-05-01T21:31:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fa68532e4313473dd60d7877d5c28a73e863ace6",
          "body": null,
          "is_bot": false,
          "headline": "Update parser to handle `@` identifier binding in patterns (#138)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-26T15:23:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a8e74db64c3d2861223f38df4718144f6861abe6",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-10T00:57:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "af423570ace62381122d1a23f10117251357912c",
          "body": "See https://github.com/verus-lang/verus/pull/1524",
          "is_bot": false,
          "headline": "Support proof closures (#125)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-10T00:30:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8691719575b0815a962ce4999b868096465dcaad",
          "body": null,
          "is_bot": false,
          "headline": "ci: switch to astral cargo-dist (#133)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-10T00:19:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4d0e2c6696db2b99a3f65f1490c04e336fa6016e",
          "body": null,
          "is_bot": false,
          "headline": "Add a pull request template for contributor acknowledgment",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-10T00:09:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0557cc538217ba0eec9c3125d59714631d939f9e",
          "body": null,
          "is_bot": false,
          "headline": "Update changelog",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-04-09T23:55:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6f0408652a923e808cc6e244f1d6a1ed8cf4e9c7",
          "body": "This handles the support for specifying a vstd::Set<int> expression in\nthe opens_invariants clause, which was added in\nhttps://github.com/verus-lang/verus/pull/1502",
          "is_bot": false,
          "headline": "Add support for opens_invariants set expr notation (#132)",
          "author_name": "Nickolai Zeldovich",
          "author_login": "zeldovich",
          "committed_at": "2025-04-09T23:42:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6dabbf27e14a194a6ce47ecbd0905eeff42de9da",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#131)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2025-04-01T20:48:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "69f091f7801b171f5907ab6935a48b52f0725034",
          "body": "See https://github.com/verus-lang/verus/pull/1533",
          "is_bot": false,
          "headline": "Add support for visibility qualifiers on `open` (#129)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-30T00:49:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9eeed56d47c5ff6b9db66e2ee2dfd07ab4b8bc60",
          "body": null,
          "is_bot": false,
          "headline": "Fix accidentally incorrect position of #123 in changelog",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-28T20:00:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "dab80d3c628a521157d7e453cd9a9c2824f826c6",
          "body": "See https://github.com/verus-lang/verus/pull/1518",
          "is_bot": false,
          "headline": "Support the `axiom` keyword (#123)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-28T17:59:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e929e86f620a9079eb75b8044e67c1642594724e",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-27T22:34:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e79db4ab931ced2b697505ece537dae478c5675",
          "body": null,
          "is_bot": false,
          "headline": "Revert \"Update to Rust 2024 edition\" (#128)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-27T17:11:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5d5f4650c92d7e5a0faffe1b61f16f7557968572",
          "body": null,
          "is_bot": false,
          "headline": "Revert \"Update to Rust 2024 edition\"",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-27T17:06:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d4d6c6473c7cab3d45d95c86f417e3e90fe6934c",
          "body": "Turns out the only difference between 2021 and 2024 edition for this\nrepo is formatting (heh!). While we don't _need_ to update to the latest\nedition, the formatting style used by the 2024 edition is slightly\nbetter, so this PR just updates things to that.\n\nThis does NOT impact the output of verusfmt at all and is instead only a\nchange at the _source_ of verusfmt.",
          "is_bot": false,
          "headline": "Update to Rust 2024 edition (#126)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-26T21:57:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0918becc67c3834df406908411af9ec8378b89be",
          "body": null,
          "is_bot": false,
          "headline": "Update to Rust 2024 edition",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-26T21:53:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "78c126b8d5534a170d7d9bbc20eb9f779c88b8a5",
          "body": "See https://github.com/verus-lang/verus/pull/1473",
          "is_bot": false,
          "headline": "Support for `uninterp`reted spec functions (#124)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-26T20:21:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ddf7763589ad7c4d77a7bfa65510b83005754e2e",
          "body": null,
          "is_bot": false,
          "headline": "Support for `uninterp`reted spec functions",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-26T20:17:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1d58d8366f831de6ff3521f98d1d5c1c47c2c449",
          "body": "Essentially, this just disables out some of the slowest tests from running locally",
          "is_bot": false,
          "headline": "Speed up local testing, while running all tests on CI (#122)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-26T18:48:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5b79cda26ea23db6cb7fb651143c3f2efb943c97",
          "body": null,
          "is_bot": false,
          "headline": "Speed up local testing, while doing more testing on CI",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-25T23:58:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "efc20a0991b362a701ff74000c77f22c1110888b",
          "body": "Fixes #118.",
          "is_bot": false,
          "headline": "Add support for backslashed character literals (#119)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-18T01:53:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2fe6cd9ec205cb6884e7c9c18706c280bae87b74",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": false,
          "headline": "Verus snapshot update (#120)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-03-03T22:11:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b1ab94fbf661ba5b02759b28a9162732df529550",
          "body": null,
          "is_bot": false,
          "headline": "chore: update to latest Verus snapshot",
          "author_name": "jaybosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2025-03-01T01:09:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "214299b2ba481eb55d38f7cc02f362bddaf775da",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-18T22:33:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b83297da04804189a0ba4ab94c02734f962081aa",
          "body": null,
          "is_bot": false,
          "headline": "Make it easier to bump versions",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-08T01:35:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fe4097379ea4c8e0f6c89501ae1c7d3dc0f18037",
          "body": "See https://github.com/verus-lang/verus/pull/1435",
          "is_bot": false,
          "headline": "Add support for `!is`/`!has` syntax (#117)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-07T23:11:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ae4c428143bc75605b76df2080a4aed99bce61c0",
          "body": null,
          "is_bot": false,
          "headline": "Simplify `macro_call`",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-06T22:36:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e5f1f60b98247f578a1214e1a397457fcf60928a",
          "body": null,
          "is_bot": false,
          "headline": "Add support for `!is`/`!has` syntax",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-06T22:26:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d2c3a9fc247da0bc55ce4b455b3118511c3b08ca",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": false,
          "headline": "Verus snapshot update (#116)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-02-03T20:11:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "11ae4aed7b461c58f4fe0856817b61e7b724d571",
          "body": null,
          "is_bot": false,
          "headline": "chore: update to latest Verus snapshot",
          "author_name": "jaybosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2025-02-01T01:05:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5bd6be53ee0f3e776d295b08d2dbca5155bc177b",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T23:08:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6da8747fc0109d6a7ce0e83ebaa72344abf1c294",
          "body": "Fixes #114",
          "is_bot": false,
          "headline": "Fix parser for `assume_specification` (#115)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T23:06:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e75e20f812bb13ce9de3e95cd06335b92db0c78a",
          "body": null,
          "is_bot": false,
          "headline": "chore: dependency version upgrades (#113)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T00:49:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f6850fc488c3040f8322bcde646b1b4840f114b6",
          "body": null,
          "is_bot": false,
          "headline": "chore: update to latest cargo-dist",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T00:41:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "71fb9a3d95f446c18b3d22c4c79bcbb9ff0ce5ba",
          "body": null,
          "is_bot": false,
          "headline": "chore: upgrade dependencies",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T00:36:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f5429ee8e55f4ae128d942a8c2e66d0d05700e22",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump the patch version",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-15T00:14:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4aea890736921d9a90cc1f8deb2c60dcbe34368e",
          "body": "Co-authored-by: Jay Bosamiya <jayb@microsoft.com>",
          "is_bot": false,
          "headline": "Support `returns` clause (#98)",
          "author_name": "Travis Hance",
          "author_login": "tjhance",
          "committed_at": "2025-01-15T00:07:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fd14b5dfea4b810fe731a6c782d894aa2bb28dc3",
          "body": "This PR adds support for the upcoming `assume_specification` (https://github.com/verus-lang/verus/pull/1368) syntax in Verus.",
          "is_bot": false,
          "headline": "Add support for `assume_specification` (#112)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-14T22:59:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "99d7031949bd35704639861edea56bef66914dfd",
          "body": null,
          "is_bot": false,
          "headline": "Add support for `assume_specification`",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-12T03:38:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "872806bb02ee45ac3d6d858fa9249ba96a202a9c",
          "body": "This reverts commit 18578a8012e3eadc8b2fa67018cf82705f42883a, reversing\nchanges made to a20d83adac4df31d231f37789dc2d7d00be85df9.",
          "is_bot": false,
          "headline": "Revert accidentally-auto-merged #111",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-12T03:32:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "18578a8012e3eadc8b2fa67018cf82705f42883a",
          "body": "This PR adds support for the upcoming `assume_specification`\r\n(https://github.com/verus-lang/verus/pull/1368) syntax in Verus.",
          "is_bot": false,
          "headline": "Add support for `assume_specification` (#111)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-12T03:25:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2437721a31d44a59b4f631011e0a4265f1962c42",
          "body": null,
          "is_bot": false,
          "headline": "Add support for `assume_specification`",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-12T03:00:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a20d83adac4df31d231f37789dc2d7d00be85df9",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": false,
          "headline": "Verus snapshot update (#110)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2025-01-02T20:21:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5ef3aca2c38c04e07c35ce887b5b605b88bf1b36",
          "body": null,
          "is_bot": false,
          "headline": "chore: update to latest Verus snapshot",
          "author_name": "jaybosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2025-01-01T01:09:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ef06bbe9b8d561d1f74c611b0fd6c01d51701bea",
          "body": "As in title; see comment in Cargo.toml as well as #107. Basically, with\r\nthis PR, users of verusfmt _as a library_ can use `default-features =\r\nfalse` to obtain a stripped down version that doesn't inlcude\r\n`axoupdater` as a dependency.\r\n\r\nCloses #107",
          "is_bot": false,
          "headline": "Make axoupdater an optional dependency (#109)",
          "author_name": "Bryan Parno",
          "author_login": "parno",
          "committed_at": "2024-12-02T16:16:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9ea9c5a52a96f7004487ccac63d137dac6161809",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' into optional-updater",
          "author_name": "Bryan Parno",
          "author_login": "parno",
          "committed_at": "2024-12-02T16:09:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b4946519cc5fd766227f488ce9c583638636df17",
          "body": null,
          "is_bot": false,
          "headline": "Make axoupdater an optional dependency",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya",
          "committed_at": "2024-12-01T03:53:55Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6b720caf35b953811dc736a71ecb29ad0e532744",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#108)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2024-12-01T03:46:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "223a22a34ef756fa640e8f3d521793d5310e279b",
          "body": "Automated verus snapshot update by GitHub Actions.",
          "is_bot": true,
          "headline": "Verus snapshot update (#105)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2024-11-09T21:25:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "36170d3be2efe7d538664cee38781415700d807d",
          "body": "Just the regularly scheduled chore of updating dependencies; also cleaning up some dependency usage that we're no longer using since #95.",
          "is_bot": false,
          "headline": "chore: dependency updates (#104)",
          "author_name": "Jay Bosamiya (Microsoft)",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2024-10-24T22:39:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "62a262580790649daa388ef778bc54307bf4b98f",
          "body": null,
          "is_bot": false,
          "headline": "chore: upgrade deps to latest",
          "author_name": "Jay Bosamiya",
          "author_login": "jaybosamiya-ms",
          "committed_at": "2024-10-24T22:26:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 41,
      "commits_last_year": 38,
      "latest_release_at": "2026-06-10T21:36:57Z",
      "latest_release_tag": "v0.7.2",
      "releases_from_tags": false,
      "days_since_last_push": 1,
      "active_weeks_last_year": 19,
      "days_since_latest_release": 50,
      "mean_days_between_releases": 44.9
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": false,
      "health_percentage": 50,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": true
    },
    "ecosystem": {
      "packages": [
        {
          "name": "verusfmt",
          "exists": true,
          "license": "MIT",
          "keywords": [
            "formatter",
            "pretty-printer",
            "verus",
            "development-tools"
          ],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/verusfmt",
          "is_deprecated": false,
          "latest_version": "0.7.2",
          "repository_url": "https://github.com/verus-lang/verusfmt",
          "versions_count": 45,
          "total_downloads": 42459,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 193,
          "first_published_at": "2024-01-29T21:19:05.706294Z",
          "latest_published_at": "2026-06-10T21:38:26.961754Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 50
        }
      ]
    },
    "popularity": {
      "forks": 16,
      "stars": 22,
      "watchers": 6,
      "fork_history": {
        "days": [
          {
            "date": "2023-12-14",
            "count": 1
          },
          {
            "date": "2024-02-02",
            "count": 1
          },
          {
            "date": "2024-05-23",
            "count": 1
          },
          {
            "date": "2024-05-29",
            "count": 1
          },
          {
            "date": "2024-10-07",
            "count": 1
          },
          {
            "date": "2025-04-02",
            "count": 1
          },
          {
            "date": "2025-06-09",
            "count": 1
          },
          {
            "date": "2025-07-02",
            "count": 1
          },
          {
            "date": "2025-10-20",
            "count": 2
          },
          {
            "date": "2025-11-12",
            "count": 1
          },
          {
            "date": "2026-03-30",
            "count": 1
          },
          {
            "date": "2026-05-25",
            "count": 2
          },
          {
            "date": "2026-06-23",
            "count": 1
          },
          {
            "date": "2026-07-29",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 16,
        "total_forks": 16
      },
      "star_history": null,
      "open_issues_and_prs": 25
    },
    "ai_readiness": {
      "has_nix": false,
      "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",
        "glob-macro/Cargo.toml"
      ],
      "largest_source_bytes": 1044855,
      "source_files_sampled": 210,
      "oversized_source_files": 13,
      "agent_instruction_files": [],
      "agent_instruction_max_bytes": null
    },
    "dependencies": {
      "manifests": [
        "Cargo.toml",
        "glob-macro/Cargo.toml"
      ],
      "advisories": {
        "error": null,
        "scope": "repository_graph",
        "source": "osv",
        "findings": [
          {
            "name": "quinn-proto",
            "direct": false,
            "version": "0.11.14",
            "severity": "high",
            "ecosystem": "crates",
            "cvss_score": 7.5,
            "advisory_ids": [
              "GHSA-4w2j-m93h-cj5j",
              "RUSTSEC-2026-0185"
            ],
            "fixed_version": "0.11.15",
            "advisory_count": 2,
            "oldest_advisory_days": 38
          },
          {
            "name": "rustls-webpki",
            "direct": false,
            "version": "0.103.12",
            "severity": "high",
            "ecosystem": "crates",
            "cvss_score": 7.5,
            "advisory_ids": [
              "GHSA-82j2-j2ch-gfr8",
              "RUSTSEC-2026-0104"
            ],
            "fixed_version": "0.104.0-alpha.7",
            "advisory_count": 2,
            "oldest_advisory_days": 99
          },
          {
            "name": "anyhow",
            "direct": false,
            "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": 35
          }
        ],
        "collected": true,
        "malicious": [],
        "truncated": false,
        "by_severity": {
          "high": 2,
          "unknown": 1
        },
        "advisory_count": 5,
        "affected_count": 3,
        "assessed_count": 304,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 5,
        "direct_affected_count": 0
      },
      "ecosystems": [
        "crates"
      ],
      "dependencies": [
        {
          "name": "axoupdater",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.10.0"
        },
        {
          "name": "clap",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.6.0"
        },
        {
          "name": "fs-err",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.3.0"
        },
        {
          "name": "miette",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "7.6.0"
        },
        {
          "name": "pest",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.8"
        },
        {
          "name": "pest_derive",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.8"
        },
        {
          "name": "pretty",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.5"
        },
        {
          "name": "regex",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.12.3"
        },
        {
          "name": "similar",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.1.0"
        },
        {
          "name": "tempfile",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.27.0"
        },
        {
          "name": "thiserror",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.0.18"
        },
        {
          "name": "tracing",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.1.44"
        },
        {
          "name": "tracing-subscriber",
          "manifest": "Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.23"
        },
        {
          "name": "glob",
          "manifest": "glob-macro/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.3"
        },
        {
          "name": "proc-macro2",
          "manifest": "glob-macro/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.106"
        },
        {
          "name": "quote",
          "manifest": "glob-macro/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.45"
        },
        {
          "name": "syn",
          "manifest": "glob-macro/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.0.117"
        },
        {
          "name": "syn-mid",
          "manifest": "glob-macro/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.6.1"
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "axoupdater",
            "direct": true,
            "version": "0.10.0",
            "ecosystem": "crates"
          },
          {
            "name": "clap",
            "direct": true,
            "version": "4.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "fs-err",
            "direct": true,
            "version": "3.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "glob",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "glob",
            "direct": true,
            "version": "0.3.3",
            "ecosystem": "crates"
          },
          {
            "name": "miette",
            "direct": true,
            "version": "7.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "pest",
            "direct": true,
            "version": "2.8.6",
            "ecosystem": "crates"
          },
          {
            "name": "pest_derive",
            "direct": true,
            "version": "2.8.6",
            "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": "regex",
            "direct": true,
            "version": "1.12.3",
            "ecosystem": "crates"
          },
          {
            "name": "similar",
            "direct": true,
            "version": "2.7.0",
            "ecosystem": "crates"
          },
          {
            "name": "similar",
            "direct": true,
            "version": "3.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "syn",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "syn",
            "direct": true,
            "version": "2.0.117",
            "ecosystem": "crates"
          },
          {
            "name": "syn-mid",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "syn-mid",
            "direct": true,
            "version": "0.6.1",
            "ecosystem": "crates"
          },
          {
            "name": "tempfile",
            "direct": true,
            "version": "3.27.0",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror",
            "direct": true,
            "version": "1.0.69",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror",
            "direct": true,
            "version": "2.0.18",
            "ecosystem": "crates"
          },
          {
            "name": "tracing",
            "direct": true,
            "version": "0.1.44",
            "ecosystem": "crates"
          },
          {
            "name": "tracing-subscriber",
            "direct": true,
            "version": "0.3.23",
            "ecosystem": "crates"
          },
          {
            "name": "addr2line",
            "direct": false,
            "version": "0.25.1",
            "ecosystem": "crates"
          },
          {
            "name": "adler2",
            "direct": false,
            "version": "2.0.1",
            "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": "anyhow",
            "direct": false,
            "version": "1.0.102",
            "ecosystem": "crates"
          },
          {
            "name": "ar_archive_writer",
            "direct": false,
            "version": "0.5.1",
            "ecosystem": "crates"
          },
          {
            "name": "arrayvec",
            "direct": false,
            "version": "0.5.2",
            "ecosystem": "crates"
          },
          {
            "name": "atomic-waker",
            "direct": false,
            "version": "1.1.2",
            "ecosystem": "crates"
          },
          {
            "name": "autocfg",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "aws-lc-rs",
            "direct": false,
            "version": "1.16.2",
            "ecosystem": "crates"
          },
          {
            "name": "aws-lc-sys",
            "direct": false,
            "version": "0.39.1",
            "ecosystem": "crates"
          },
          {
            "name": "axoasset",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "crates"
          },
          {
            "name": "axoprocess",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "axotag",
            "direct": false,
            "version": "0.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "backtrace",
            "direct": false,
            "version": "0.3.76",
            "ecosystem": "crates"
          },
          {
            "name": "backtrace-ext",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "base64",
            "direct": false,
            "version": "0.22.1",
            "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": "bytemuck",
            "direct": false,
            "version": "1.25.0",
            "ecosystem": "crates"
          },
          {
            "name": "byteorder-lite",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "bytes",
            "direct": false,
            "version": "1.11.1",
            "ecosystem": "crates"
          },
          {
            "name": "camino",
            "direct": false,
            "version": "1.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "cc",
            "direct": false,
            "version": "1.2.60",
            "ecosystem": "crates"
          },
          {
            "name": "cesu8",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "cfg-if",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "crates"
          },
          {
            "name": "cfg_aliases",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "clap_builder",
            "direct": false,
            "version": "4.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "clap_derive",
            "direct": false,
            "version": "4.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "clap_lex",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "cmake",
            "direct": false,
            "version": "0.1.58",
            "ecosystem": "crates"
          },
          {
            "name": "colorchoice",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "crates"
          },
          {
            "name": "combine",
            "direct": false,
            "version": "4.6.7",
            "ecosystem": "crates"
          },
          {
            "name": "console",
            "direct": false,
            "version": "0.16.3",
            "ecosystem": "crates"
          },
          {
            "name": "core-foundation",
            "direct": false,
            "version": "0.10.1",
            "ecosystem": "crates"
          },
          {
            "name": "core-foundation-sys",
            "direct": false,
            "version": "0.8.7",
            "ecosystem": "crates"
          },
          {
            "name": "cpufeatures",
            "direct": false,
            "version": "0.2.17",
            "ecosystem": "crates"
          },
          {
            "name": "crypto-common",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "digest",
            "direct": false,
            "version": "0.10.7",
            "ecosystem": "crates"
          },
          {
            "name": "displaydoc",
            "direct": false,
            "version": "0.2.5",
            "ecosystem": "crates"
          },
          {
            "name": "dunce",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "crates"
          },
          {
            "name": "encode_unicode",
            "direct": false,
            "version": "1.0.0",
            "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": "find-msvc-tools",
            "direct": false,
            "version": "0.1.9",
            "ecosystem": "crates"
          },
          {
            "name": "foldhash",
            "direct": false,
            "version": "0.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "form_urlencoded",
            "direct": false,
            "version": "1.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "fs_extra",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "futures-channel",
            "direct": false,
            "version": "0.3.32",
            "ecosystem": "crates"
          },
          {
            "name": "futures-core",
            "direct": false,
            "version": "0.3.32",
            "ecosystem": "crates"
          },
          {
            "name": "futures-task",
            "direct": false,
            "version": "0.3.32",
            "ecosystem": "crates"
          },
          {
            "name": "futures-util",
            "direct": false,
            "version": "0.3.32",
            "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": "gimli",
            "direct": false,
            "version": "0.32.3",
            "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": "homedir",
            "direct": false,
            "version": "0.3.6",
            "ecosystem": "crates"
          },
          {
            "name": "http",
            "direct": false,
            "version": "1.4.0",
            "ecosystem": "crates"
          },
          {
            "name": "http-body",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "crates"
          },
          {
            "name": "http-body-util",
            "direct": false,
            "version": "0.1.3",
            "ecosystem": "crates"
          },
          {
            "name": "httparse",
            "direct": false,
            "version": "1.10.1",
            "ecosystem": "crates"
          },
          {
            "name": "hyper",
            "direct": false,
            "version": "1.9.0",
            "ecosystem": "crates"
          },
          {
            "name": "hyper-rustls",
            "direct": false,
            "version": "0.27.9",
            "ecosystem": "crates"
          },
          {
            "name": "hyper-util",
            "direct": false,
            "version": "0.1.20",
            "ecosystem": "crates"
          },
          {
            "name": "icu_collections",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_locale_core",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_normalizer",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_normalizer_data",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_properties",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_properties_data",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "icu_provider",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "id-arena",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "idna",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "idna_adapter",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "image",
            "direct": false,
            "version": "0.25.10",
            "ecosystem": "crates"
          },
          {
            "name": "indexmap",
            "direct": false,
            "version": "2.14.0",
            "ecosystem": "crates"
          },
          {
            "name": "insta",
            "direct": false,
            "version": "1.47.2",
            "ecosystem": "crates"
          },
          {
            "name": "ipnet",
            "direct": false,
            "version": "2.12.0",
            "ecosystem": "crates"
          },
          {
            "name": "iri-string",
            "direct": false,
            "version": "0.7.12",
            "ecosystem": "crates"
          },
          {
            "name": "is_ci",
            "direct": false,
            "version": "1.2.0",
            "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": "jni",
            "direct": false,
            "version": "0.21.1",
            "ecosystem": "crates"
          },
          {
            "name": "jni-sys",
            "direct": false,
            "version": "0.3.1",
            "ecosystem": "crates"
          },
          {
            "name": "jni-sys",
            "direct": false,
            "version": "0.4.1",
            "ecosystem": "crates"
          },
          {
            "name": "jni-sys-macros",
            "direct": false,
            "version": "0.4.1",
            "ecosystem": "crates"
          },
          {
            "name": "jobserver",
            "direct": false,
            "version": "0.1.34",
            "ecosystem": "crates"
          },
          {
            "name": "js-sys",
            "direct": false,
            "version": "0.3.95",
            "ecosystem": "crates"
          },
          {
            "name": "lazy_static",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "leb128fmt",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "libc",
            "direct": false,
            "version": "0.2.185",
            "ecosystem": "crates"
          },
          {
            "name": "linux-raw-sys",
            "direct": false,
            "version": "0.12.1",
            "ecosystem": "crates"
          },
          {
            "name": "litemap",
            "direct": false,
            "version": "0.8.2",
            "ecosystem": "crates"
          },
          {
            "name": "lock_api",
            "direct": false,
            "version": "0.4.14",
            "ecosystem": "crates"
          },
          {
            "name": "log",
            "direct": false,
            "version": "0.4.29",
            "ecosystem": "crates"
          },
          {
            "name": "lru-slab",
            "direct": false,
            "version": "0.1.2",
            "ecosystem": "crates"
          },
          {
            "name": "memchr",
            "direct": false,
            "version": "2.8.0",
            "ecosystem": "crates"
          },
          {
            "name": "miette-derive",
            "direct": false,
            "version": "7.6.0",
            "ecosystem": "crates"
          },
          {
            "name": "mime",
            "direct": false,
            "version": "0.3.17",
            "ecosystem": "crates"
          },
          {
            "name": "miniz_oxide",
            "direct": false,
            "version": "0.8.9",
            "ecosystem": "crates"
          },
          {
            "name": "mio",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "moxcms",
            "direct": false,
            "version": "0.8.1",
            "ecosystem": "crates"
          },
          {
            "name": "nix",
            "direct": false,
            "version": "0.30.1",
            "ecosystem": "crates"
          },
          {
            "name": "nu-ansi-term",
            "direct": false,
            "version": "0.50.3",
            "ecosystem": "crates"
          },
          {
            "name": "num-traits",
            "direct": false,
            "version": "0.2.19",
            "ecosystem": "crates"
          },
          {
            "name": "object",
            "direct": false,
            "version": "0.37.3",
            "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": "openssl-probe",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "owo-colors",
            "direct": false,
            "version": "4.3.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": "percent-encoding",
            "direct": false,
            "version": "2.3.2",
            "ecosystem": "crates"
          },
          {
            "name": "pest_generator",
            "direct": false,
            "version": "2.8.6",
            "ecosystem": "crates"
          },
          {
            "name": "pest_meta",
            "direct": false,
            "version": "2.8.6",
            "ecosystem": "crates"
          },
          {
            "name": "pin-project-lite",
            "direct": false,
            "version": "0.2.17",
            "ecosystem": "crates"
          },
          {
            "name": "potential_utf",
            "direct": false,
            "version": "0.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "ppv-lite86",
            "direct": false,
            "version": "0.2.21",
            "ecosystem": "crates"
          },
          {
            "name": "prettyplease",
            "direct": false,
            "version": "0.2.37",
            "ecosystem": "crates"
          },
          {
            "name": "psm",
            "direct": false,
            "version": "0.1.30",
            "ecosystem": "crates"
          },
          {
            "name": "pxfm",
            "direct": false,
            "version": "0.1.28",
            "ecosystem": "crates"
          },
          {
            "name": "quinn",
            "direct": false,
            "version": "0.11.9",
            "ecosystem": "crates"
          },
          {
            "name": "quinn-proto",
            "direct": false,
            "version": "0.11.14",
            "ecosystem": "crates"
          },
          {
            "name": "quinn-udp",
            "direct": false,
            "version": "0.5.14",
            "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": "redox_syscall",
            "direct": false,
            "version": "0.5.18",
            "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": "reqwest",
            "direct": false,
            "version": "0.13.2",
            "ecosystem": "crates"
          },
          {
            "name": "ring",
            "direct": false,
            "version": "0.17.14",
            "ecosystem": "crates"
          },
          {
            "name": "rustc-demangle",
            "direct": false,
            "version": "0.1.27",
            "ecosystem": "crates"
          },
          {
            "name": "rustc-hash",
            "direct": false,
            "version": "2.1.2",
            "ecosystem": "crates"
          },
          {
            "name": "rustix",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "crates"
          },
          {
            "name": "rustls",
            "direct": false,
            "version": "0.23.38",
            "ecosystem": "crates"
          },
          {
            "name": "rustls-native-certs",
            "direct": false,
            "version": "0.8.3",
            "ecosystem": "crates"
          },
          {
            "name": "rustls-pki-types",
            "direct": false,
            "version": "1.14.0",
            "ecosystem": "crates"
          },
          {
            "name": "rustls-platform-verifier",
            "direct": false,
            "version": "0.6.2",
            "ecosystem": "crates"
          },
          {
            "name": "rustls-platform-verifier-android",
            "direct": false,
            "version": "0.1.1",
            "ecosystem": "crates"
          },
          {
            "name": "rustls-webpki",
            "direct": false,
            "version": "0.103.12",
            "ecosystem": "crates"
          },
          {
            "name": "rustversion",
            "direct": false,
            "version": "1.0.22",
            "ecosystem": "crates"
          },
          {
            "name": "same-file",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "crates"
          },
          {
            "name": "schannel",
            "direct": false,
            "version": "0.1.29",
            "ecosystem": "crates"
          },
          {
            "name": "scopeguard",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "security-framework",
            "direct": false,
            "version": "3.7.0",
            "ecosystem": "crates"
          },
          {
            "name": "security-framework-sys",
            "direct": false,
            "version": "2.17.0",
            "ecosystem": "crates"
          },
          {
            "name": "self-replace",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "semver",
            "direct": false,
            "version": "1.0.28",
            "ecosystem": "crates"
          },
          {
            "name": "serde",
            "direct": false,
            "version": "1.0.228",
            "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_json",
            "direct": false,
            "version": "1.0.149",
            "ecosystem": "crates"
          },
          {
            "name": "sha2",
            "direct": false,
            "version": "0.10.9",
            "ecosystem": "crates"
          },
          {
            "name": "sharded-slab",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "shlex",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "crates"
          },
          {
            "name": "signal-hook-registry",
            "direct": false,
            "version": "1.4.8",
            "ecosystem": "crates"
          },
          {
            "name": "slab",
            "direct": false,
            "version": "0.4.12",
            "ecosystem": "crates"
          },
          {
            "name": "smallvec",
            "direct": false,
            "version": "1.15.1",
            "ecosystem": "crates"
          },
          {
            "name": "socket2",
            "direct": false,
            "version": "0.6.3",
            "ecosystem": "crates"
          },
          {
            "name": "stable_deref_trait",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "stacker",
            "direct": false,
            "version": "0.1.23",
            "ecosystem": "crates"
          },
          {
            "name": "strsim",
            "direct": false,
            "version": "0.11.1",
            "ecosystem": "crates"
          },
          {
            "name": "subtle",
            "direct": false,
            "version": "2.6.1",
            "ecosystem": "crates"
          },
          {
            "name": "supports-color",
            "direct": false,
            "version": "3.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "supports-hyperlinks",
            "direct": false,
            "version": "3.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "supports-unicode",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "crates"
          },
          {
            "name": "sync_wrapper",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "synstructure",
            "direct": false,
            "version": "0.13.2",
            "ecosystem": "crates"
          },
          {
            "name": "terminal_size",
            "direct": false,
            "version": "0.4.4",
            "ecosystem": "crates"
          },
          {
            "name": "textwrap",
            "direct": false,
            "version": "0.16.2",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror-impl",
            "direct": false,
            "version": "1.0.69",
            "ecosystem": "crates"
          },
          {
            "name": "thiserror-impl",
            "direct": false,
            "version": "2.0.18",
            "ecosystem": "crates"
          },
          {
            "name": "thread_local",
            "direct": false,
            "version": "1.1.9",
            "ecosystem": "crates"
          },
          {
            "name": "tinystr",
            "direct": false,
            "version": "0.8.3",
            "ecosystem": "crates"
          },
          {
            "name": "tinyvec",
            "direct": false,
            "version": "1.11.0",
            "ecosystem": "crates"
          },
          {
            "name": "tinyvec_macros",
            "direct": false,
            "version": "0.1.1",
            "ecosystem": "crates"
          },
          {
            "name": "tokio",
            "direct": false,
            "version": "1.52.0",
            "ecosystem": "crates"
          },
          {
            "name": "tokio-macros",
            "direct": false,
            "version": "2.7.0",
            "ecosystem": "crates"
          },
          {
            "name": "tokio-rustls",
            "direct": false,
            "version": "0.26.4",
            "ecosystem": "crates"
          },
          {
            "name": "tower",
            "direct": false,
            "version": "0.5.3",
            "ecosystem": "crates"
          },
          {
            "name": "tower-http",
            "direct": false,
            "version": "0.6.8",
            "ecosystem": "crates"
          },
          {
            "name": "tower-layer",
            "direct": false,
            "version": "0.3.3",
            "ecosystem": "crates"
          },
          {
            "name": "tower-service",
            "direct": false,
            "version": "0.3.3",
            "ecosystem": "crates"
          },
          {
            "name": "tracing-attributes",
            "direct": false,
            "version": "0.1.31",
            "ecosystem": "crates"
          },
          {
            "name": "tracing-core",
            "direct": false,
            "version": "0.1.36",
            "ecosystem": "crates"
          },
          {
            "name": "tracing-log",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "try-lock",
            "direct": false,
            "version": "0.2.5",
            "ecosystem": "crates"
          },
          {
            "name": "typed-arena",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "crates"
          },
          {
            "name": "typenum",
            "direct": false,
            "version": "1.19.0",
            "ecosystem": "crates"
          },
          {
            "name": "ucd-trie",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-ident",
            "direct": false,
            "version": "1.0.24",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-linebreak",
            "direct": false,
            "version": "0.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "unicode-width",
            "direct": false,
            "version": "0.1.14",
            "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": "untrusted",
            "direct": false,
            "version": "0.9.0",
            "ecosystem": "crates"
          },
          {
            "name": "url",
            "direct": false,
            "version": "2.5.8",
            "ecosystem": "crates"
          },
          {
            "name": "utf8_iter",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "crates"
          },
          {
            "name": "utf8parse",
            "direct": false,
            "version": "0.2.2",
            "ecosystem": "crates"
          },
          {
            "name": "valuable",
            "direct": false,
            "version": "0.1.1",
            "ecosystem": "crates"
          },
          {
            "name": "version_check",
            "direct": false,
            "version": "0.9.5",
            "ecosystem": "crates"
          },
          {
            "name": "walkdir",
            "direct": false,
            "version": "2.5.0",
            "ecosystem": "crates"
          },
          {
            "name": "want",
            "direct": false,
            "version": "0.3.1",
            "ecosystem": "crates"
          },
          {
            "name": "wasi",
            "direct": false,
            "version": "0.11.1+wasi-snapshot-preview1",
            "ecosystem": "crates"
          },
          {
            "name": "wasip2",
            "direct": false,
            "version": "1.0.2+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-futures",
            "direct": false,
            "version": "0.4.68",
            "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": "web-sys",
            "direct": false,
            "version": "0.3.95",
            "ecosystem": "crates"
          },
          {
            "name": "web-time",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "webpki-root-certs",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "crates"
          },
          {
            "name": "widestring",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "winapi-util",
            "direct": false,
            "version": "0.1.11",
            "ecosystem": "crates"
          },
          {
            "name": "windows",
            "direct": false,
            "version": "0.61.3",
            "ecosystem": "crates"
          },
          {
            "name": "windows-collections",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows-core",
            "direct": false,
            "version": "0.61.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows-future",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "windows-implement",
            "direct": false,
            "version": "0.60.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows-interface",
            "direct": false,
            "version": "0.59.3",
            "ecosystem": "crates"
          },
          {
            "name": "windows-link",
            "direct": false,
            "version": "0.1.3",
            "ecosystem": "crates"
          },
          {
            "name": "windows-link",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "crates"
          },
          {
            "name": "windows-numerics",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows-result",
            "direct": false,
            "version": "0.3.4",
            "ecosystem": "crates"
          },
          {
            "name": "windows-strings",
            "direct": false,
            "version": "0.4.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows-sys",
            "direct": false,
            "version": "0.45.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows-sys",
            "direct": false,
            "version": "0.52.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows-sys",
            "direct": false,
            "version": "0.59.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows-sys",
            "direct": false,
            "version": "0.61.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows-targets",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows-targets",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows-threading",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "crates"
          },
          {
            "name": "windows_aarch64_gnullvm",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_aarch64_gnullvm",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_aarch64_msvc",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_aarch64_msvc",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_i686_gnu",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_i686_gnu",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_i686_gnullvm",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_i686_msvc",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_i686_msvc",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_gnu",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_gnu",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_gnullvm",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_gnullvm",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_msvc",
            "direct": false,
            "version": "0.42.2",
            "ecosystem": "crates"
          },
          {
            "name": "windows_x86_64_msvc",
            "direct": false,
            "version": "0.52.6",
            "ecosystem": "crates"
          },
          {
            "name": "wit-bindgen",
            "direct": false,
            "version": "0.51.0",
            "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": "writeable",
            "direct": false,
            "version": "0.6.3",
            "ecosystem": "crates"
          },
          {
            "name": "yoke",
            "direct": false,
            "version": "0.8.2",
            "ecosystem": "crates"
          },
          {
            "name": "yoke-derive",
            "direct": false,
            "version": "0.8.2",
            "ecosystem": "crates"
          },
          {
            "name": "zerocopy",
            "direct": false,
            "version": "0.8.48",
            "ecosystem": "crates"
          },
          {
            "name": "zerocopy-derive",
            "direct": false,
            "version": "0.8.48",
            "ecosystem": "crates"
          },
          {
            "name": "zerofrom",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "zerofrom-derive",
            "direct": false,
            "version": "0.1.7",
            "ecosystem": "crates"
          },
          {
            "name": "zeroize",
            "direct": false,
            "version": "1.8.2",
            "ecosystem": "crates"
          },
          {
            "name": "zerotrie",
            "direct": false,
            "version": "0.2.4",
            "ecosystem": "crates"
          },
          {
            "name": "zerovec",
            "direct": false,
            "version": "0.11.6",
            "ecosystem": "crates"
          },
          {
            "name": "zerovec-derive",
            "direct": false,
            "version": "0.11.3",
            "ecosystem": "crates"
          },
          {
            "name": "zmij",
            "direct": false,
            "version": "1.0.21",
            "ecosystem": "crates"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 309,
        "direct_count": 25,
        "indirect_count": 284
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 5,
        "merged_prs": 139,
        "open_issues": 20,
        "closed_ratio": 0.667,
        "closed_issues": 40,
        "closed_unmerged_prs": 8
      },
      "bus_factor": 2,
      "bot_contributors": 3,
      "top_contributors": [
        {
          "type": "User",
          "login": "parno",
          "commits": 313,
          "avatar_url": "https://avatars.githubusercontent.com/u/1816417?v=4"
        },
        {
          "type": "User",
          "login": "jaybosamiya",
          "commits": 206,
          "avatar_url": "https://avatars.githubusercontent.com/u/5683582?v=4"
        },
        {
          "type": "User",
          "login": "jaybosamiya-ms",
          "commits": 112,
          "avatar_url": "https://avatars.githubusercontent.com/u/171180729?v=4"
        },
        {
          "type": "User",
          "login": "pratapsingh1729",
          "commits": 9,
          "avatar_url": "https://avatars.githubusercontent.com/u/8213281?v=4"
        },
        {
          "type": "User",
          "login": "tjhance",
          "commits": 3,
          "avatar_url": "https://avatars.githubusercontent.com/u/592054?v=4"
        },
        {
          "type": "User",
          "login": "utaal-b",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/154427257?v=4"
        },
        {
          "type": "User",
          "login": "lschuermann",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/5341193?v=4"
        },
        {
          "type": "User",
          "login": "XuhengLi",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/42981800?v=4"
        },
        {
          "type": "User",
          "login": "Marsman1996",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/22045841?v=4"
        },
        {
          "type": "User",
          "login": "utaal",
          "commits": 1,
          "avatar_url": "https://avatars.githubusercontent.com/u/791335?v=4"
        }
      ],
      "contributors_sampled": 14,
      "top_contributor_share": 0.477
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "ci.yml",
        "publish-crates.yml",
        "release.yml",
        "snapshot-refresh.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": "29 out of 29 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": 9,
            "reason": "Found 15/16 approved changesets -- score normalized to 9",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 10 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": 10,
            "reason": "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": "13 commit(s) and 7 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": 0,
            "reason": "Project has not signed or included provenance with any releases.",
            "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": 7,
            "reason": "3 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "3f77a8a235c83ce3e27b53f5084eece30f54738b",
        "ran_at": "2026-07-31T08:12:18Z",
        "aggregate_score": 5.6,
        "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-29T21:46:34Z",
      "oldest_open_prs": [
        {
          "number": 127,
          "created_at": "2025-03-26T01:46:02Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 148,
          "created_at": "2025-06-22T09:00:07Z",
          "last_comment_at": "2025-10-24T23:50:41Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 201,
          "created_at": "2026-05-30T03:24:08Z",
          "last_comment_at": "2026-06-06T08:22:46Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 202,
          "created_at": "2026-05-30T16:41:45Z",
          "last_comment_at": "2026-05-31T03:28:54Z",
          "last_comment_author": "Marsman1996"
        },
        {
          "number": 207,
          "created_at": "2026-06-06T08:16:46Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-07-29T21:43:26Z",
      "ci_last_conclusion": "SUCCESS",
      "oldest_open_issues": [
        {
          "number": 18,
          "created_at": "2023-12-18T20:54:16Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 49,
          "created_at": "2024-03-27T17:42:15Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 50,
          "created_at": "2024-03-29T20:59:24Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 59,
          "created_at": "2024-04-23T15:48:51Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 83,
          "created_at": "2024-07-23T13:10:38Z",
          "last_comment_at": "2024-07-23T20:41:59Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 86,
          "created_at": "2024-08-15T17:02:45Z",
          "last_comment_at": "2025-06-26T22:59:13Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 106,
          "created_at": "2024-11-04T19:45:16Z",
          "last_comment_at": "2024-11-09T21:25:05Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 121,
          "created_at": "2025-03-13T21:45:33Z",
          "last_comment_at": "2025-03-13T23:53:39Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 130,
          "created_at": "2025-03-30T22:47:52Z",
          "last_comment_at": "2025-03-31T21:20:18Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 141,
          "created_at": "2025-05-26T18:40:35Z",
          "last_comment_at": "2025-06-05T01:14:37Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 144,
          "created_at": "2025-06-09T17:06:11Z",
          "last_comment_at": "2025-10-31T01:58:35Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 145,
          "created_at": "2025-06-17T20:50:13Z",
          "last_comment_at": "2025-06-26T12:35:46Z",
          "last_comment_author": "parno"
        },
        {
          "number": 153,
          "created_at": "2025-08-05T21:22:06Z",
          "last_comment_at": "2025-10-01T02:43:51Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 159,
          "created_at": "2025-10-24T14:23:59Z",
          "last_comment_at": "2025-10-31T01:54:27Z",
          "last_comment_author": "jaybosamiya"
        },
        {
          "number": 179,
          "created_at": "2026-03-04T02:22:18Z",
          "last_comment_at": "2026-03-04T02:24:08Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 181,
          "created_at": "2026-03-04T22:22:51Z",
          "last_comment_at": "2026-05-20T03:08:36Z",
          "last_comment_author": "hiroki-chen"
        },
        {
          "number": 184,
          "created_at": "2026-03-30T02:23:46Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 199,
          "created_at": "2026-05-27T20:29:02Z",
          "last_comment_at": "2026-05-30T03:23:41Z",
          "last_comment_author": "jaybosamiya-ms"
        },
        {
          "number": 200,
          "created_at": "2026-05-30T03:20:48Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 205,
          "created_at": "2026-06-03T07:10:39Z",
          "last_comment_at": "2026-06-06T08:16:37Z",
          "last_comment_author": "jaybosamiya"
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/verus-lang/verusfmt",
    "host": "github.com",
    "name": "verusfmt",
    "owner": "verus-lang"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "good",
      "name": "Overall health",
      "note": "The weighted overall 65 is calibrated to 75 on the published index scale (record calibration 2026-08-02).",
      "notes": [
        {
          "code": "overall_calibration",
          "params": {
            "raw": 65,
            "calibrated": 75,
            "calibration": "2026-08-02"
          }
        }
      ],
      "value": 75,
      "inputs": {
        "security": 65,
        "vitality": 80,
        "community": 43,
        "governance": 73,
        "calibration": "2026-08-02",
        "engineering": 61,
        "ai_readiness": 58,
        "weighted_overall_raw": 65
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "excellent",
        "name": "Vitality",
        "value": 80,
        "weight": 0.21,
        "metrics": [
          {
            "key": "development_activity",
            "band": "good",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 74,
            "inputs": {
              "commits_last_year": 38,
              "human_commit_share": 0.85,
              "days_since_last_push": 1,
              "active_weeks_last_year": 19
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 1 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 1
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "19/52 weeks with commits",
                "points": 13.2,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 19
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "38 commits in the last year",
                "points": 14.3,
                "status": "partial",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 38
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "13 commit(s) and 7 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": null,
            "notes": [],
            "value": 90,
            "inputs": {
              "releases_count": 41,
              "latest_release_tag": "v0.7.2",
              "releases_from_tags": false,
              "days_since_latest_release": 50,
              "mean_days_between_releases": 44.9
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "41 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 41
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 50 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 50
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~44.9 days",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 44.9
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "exceptional",
            "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": 4,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 4 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 4
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "weak",
        "name": "Community & Adoption",
        "value": 43,
        "weight": 0.17,
        "metrics": [
          {
            "key": "popularity",
            "band": "weak",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 35,
            "inputs": {
              "forks": 16,
              "stars": 22,
              "watchers": 6,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "22 stars",
                "points": 21.4,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 22
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "16 forks",
                "points": 9.8,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 16
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "6 watchers",
                "points": 3.9,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 6
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "moderate",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 57,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "readme_badges": null,
              "has_contributing": false,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "readme_badge_services": [],
              "has_pull_request_template": true
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 22.5,
                "status": "met",
                "details": [],
                "max_points": 22.5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "recognized license (MIT)",
                "points": 22.5,
                "status": "met",
                "details": [
                  {
                    "code": "license_standard",
                    "params": {}
                  },
                  {
                    "code": "license_spdx",
                    "params": {
                      "spdx": "MIT"
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 0,
                "status": "missed",
                "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": 6.3,
                "status": "met",
                "details": [],
                "max_points": 6.3
              }
            ]
          },
          {
            "key": "ecosystem_adoption",
            "band": "weak",
            "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": 38,
            "inputs": {
              "packages": [
                "verusfmt"
              ],
              "dependents": null,
              "ecosystems": "crates",
              "total_downloads": 42459,
              "monthly_downloads": 193
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "193 downloads/month across crates",
                "points": 30.5,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 193,
                      "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": 73,
        "weight": 0.23,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "moderate",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 60,
            "inputs": {
              "bus_factor": 2,
              "contributors_sampled": 14,
              "top_contributor_share": 0.477
            },
            "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 48% of commits",
                "points": 11.8,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 48
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "14 contributors",
                "points": 13.5,
                "status": "met",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 14
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 10 contributing companies or organizations",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "excellent",
            "name": "Issue & PR responsiveness",
            "note": "Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "newcomer_pr_acceptance"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 80,
            "inputs": {
              "merged_prs": 139,
              "open_issues": 20,
              "closed_issues": 40,
              "prs_merged_7d": null,
              "prs_decided_7d": null,
              "prs_merged_30d": null,
              "prs_decided_30d": null,
              "issue_closed_ratio": 0.667,
              "closed_unmerged_prs": 8,
              "first_time_authors_30d": null,
              "first_time_prs_merged_30d": null,
              "first_time_prs_decided_30d": null
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "67% of issues closed",
                "points": 28,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 67
                    }
                  }
                ],
                "max_points": 42
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "139/147 decided PRs merged",
                "points": 28.4,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 139,
                      "decided": 147
                    }
                  }
                ],
                "max_points": 30
              },
              {
                "key": "newcomer_pr_acceptance",
                "name": "Newcomer PR acceptance",
                "detail": "no first-time contributor's PR decided in 30d",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_newcomer_prs",
                    "params": {
                      "days": 30
                    }
                  }
                ],
                "max_points": 13
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 15/16 approved changesets -- score normalized to 9",
                "points": 13.5,
                "status": "partial",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 61,
            "inputs": {
              "followers": 74,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "verus-lang",
              "public_repos": 16,
              "account_age_days": 1513
            },
            "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": "74 followers of verus-lang",
                "points": 13.5,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 74,
                      "login": "verus-lang"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "16 public repos, account ~4 yr old",
                "points": 17.2,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 16
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 4
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "exceptional",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "verusfmt"
              ],
              "ecosystems": "crates",
              "any_deprecated": false,
              "min_days_since_publish": 50
            },
            "components": [
              {
                "key": "published_resolvable",
                "name": "Published & resolvable",
                "detail": "1 package(s) on crates",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "packages_published",
                    "params": {
                      "count": 1,
                      "ecosystems": "crates"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "publish_recency",
                "name": "Publish recency",
                "detail": "latest publish 50 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 50
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "45 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 45
                    }
                  }
                ],
                "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": "moderate",
        "name": "Engineering Quality",
        "value": 61,
        "weight": 0.19,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "good",
            "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": "4 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 4
                    }
                  }
                ],
                "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": "29 out of 29 merged PRs checked by a CI test -- score normalized to 10",
                "points": 20,
                "status": "met",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "moderate",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 50,
            "inputs": {
              "topics": [
                "formatter",
                "pretty-printer",
                "verus"
              ],
              "has_wiki": false,
              "homepage": null,
              "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": null,
                "points": 0,
                "status": "missed",
                "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": "3 topics",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "topics_count",
                    "params": {
                      "count": 3
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "wiki",
                "name": "Wiki",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          }
        ],
        "description": "Are baseline engineering and documentation practices in place?"
      },
      {
        "key": "security",
        "band": "good",
        "name": "Security",
        "value": 65,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "moderate",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "branch_protection",
                    "packaging"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 56,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 16,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 2,
              "scorecard_aggregate": 5.6
            },
            "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": "29 out of 29 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 15/16 approved changesets -- score normalized to 9",
                "points": 6.8,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 10 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": "update tool detected",
                "points": 7.5,
                "status": "met",
                "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": "13 commit(s) and 7 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": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "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": "3 existing vulnerabilities detected",
                "points": 5.2,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "dependency_advisories",
            "band": "exceptional",
            "name": "Dependency advisories",
            "note": "Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 304 resolved dependencies against OSV; 5 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",
                    "no_advisories_left_outstanding"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              },
              {
                "code": "advisories_scope_repository",
                "params": {
                  "assessed": 304
                }
              },
              {
                "code": "advisories_unassessed",
                "params": {
                  "count": 5
                }
              },
              {
                "code": "advisories_repo_graph_caveat",
                "params": {}
              },
              {
                "code": "advisories_reachability",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "source": "osv",
              "advisories": 5,
              "affected_packages": 3,
              "assessed_packages": 304,
              "unassessed_packages": 5,
              "affected_by_severity": "high 2, unknown 1",
              "direct_affected_packages": 0
            },
            "components": [
              {
                "key": "direct_dependencies_free_of_known_advisories",
                "name": "Direct dependencies free of known advisories",
                "detail": "no direct dependency carries a known advisory",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "no_direct_advisories",
                    "params": {}
                  }
                ],
                "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 carries a publication date",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "advisories_no_publication_date",
                    "params": {}
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "malicious_dependencies",
            "band": "exceptional",
            "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": 304,
              "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": "exceptional",
            "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"
              ],
              "commit_weight_rule": {
                "min_commits": 50,
                "min_commit_share": 0.1
              },
              "review_only_matches": 0,
              "below_threshold_exposures": [],
              "assessed_self_published_locations": 11
            },
            "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": 58,
        "weight": 0.04,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "weak",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 0.824,
              "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": "70 of 85 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 70,
                      "sampled": 85
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "moderate",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 64,
            "inputs": {
              "has_nix": false,
              "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,
              "toolchain_manifests": [
                "Cargo.toml",
                "glob-macro/Cargo.toml"
              ],
              "dependency_bot_commit_share": 0.01
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "Cargo.toml, glob-macro/Cargo.toml (toolchain convention, no task runner)",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "toolchain_convention",
                    "params": {
                      "files": "Cargo.toml, glob-macro/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": "lockfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "lockfile"
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "no agent-authored commits among the last 100",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_agent_authored_commits",
                    "params": {
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "automated_maintenance",
                "name": "Automated maintenance",
                "detail": "1 of the last 100 commits are automated dependency updates",
                "points": 8,
                "status": "met",
                "details": [
                  {
                    "code": "dependency_bot_commits",
                    "params": {
                      "count": 1,
                      "sampled": 100
                    }
                  }
                ],
                "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": "exceptional",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 97,
            "inputs": {
              "primary_language": "Rust",
              "largest_source_bytes": 1044855,
              "source_files_sampled": 210,
              "oversized_source_files": 13
            },
            "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": "13/210 source files over 60KB",
                "points": 51.6,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 210,
                      "oversized": 13
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "weak",
            "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? Carries a deliberately small weight: agent tooling is a real maintenance signal, but its absence must never gate the top of the scale (calibration saturates at raw 91, so 100/100 remains reachable with AI Readiness at zero)."
      }
    ],
    "classification": {
      "labels": [
        "library",
        "cli"
      ],
      "scores": {
        "cli": 4,
        "library": 6
      },
      "primary": "library",
      "evidence": [
        {
          "tier": "distribution",
          "label": "library",
          "source": "registry:crates",
          "weight": 6
        },
        {
          "tier": "dependencies",
          "label": "cli",
          "source": "dep:clap",
          "weight": 4
        }
      ],
      "artifacts": [],
      "confidence": "medium",
      "host_extension": false,
      "runs_as_process": true,
      "consumed_by_code": true
    },
    "metrics_version": "2.3.1"
  },
  "warnings": [
    "Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
    "Could not fetch crates package 'glob-macro' from its registry"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-31T08:12:41.673514Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/v/verus-lang/verusfmt.svg",
  "full_name": "verus-lang/verusfmt",
  "license_state": "standard",
  "license_spdx": "MIT"
}