Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [
"ai",
"compiler",
"contracts",
"formal-verification",
"programming-language",
"rust",
"smt",
"verification",
"z3"
],
"is_fork": false,
"size_kb": 7978,
"has_wiki": false,
"homepage": "https://assura-lang.github.io/assura/",
"languages": {
"Rust": 6955110,
"Shell": 73767,
"JavaScript": 8026,
"TypeScript": 12904,
"Tree-sitter Query": 1711
},
"pushed_at": "2026-07-27T14:09:27Z",
"created_at": "2026-06-11T00:15:32Z",
"owner_type": "Organization",
"updated_at": "2026-07-27T14:12:30Z",
"description": "Contract-first AI-native language. Write what it should do. AI proves it does.",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "Rust",
"significant_languages": [
"Rust"
]
},
"owner": {
"blog": "https://assura-lang.github.io/assura/",
"name": null,
"type": "Organization",
"login": "assura-lang",
"company": null,
"location": null,
"followers": 0,
"avatar_url": "https://avatars.githubusercontent.com/u/292618112?v=4",
"created_at": "2026-06-11T00:33:47Z",
"is_verified": null,
"public_repos": 2,
"account_age_days": 47
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.4.0",
"kind": "minor",
"published_at": "2026-07-14T18:19:08Z"
},
{
"tag": "v0.3.0",
"kind": "minor",
"published_at": "2026-07-07T19:32:52Z"
},
{
"tag": "v0.2.0",
"kind": "minor",
"published_at": "2026-07-04T17:01:28Z"
},
{
"tag": "v0.1.0",
"kind": "minor",
"published_at": "2026-07-04T01:52:11Z"
}
],
"recent_commits": [
{
"oid": "db54c49dd1b6a4b18472a3226ce30cd295d11a9d",
"body": "## Summary\n\nMPI cycle 2026-07-27 (gate: only human/blocked issues remain).\n\n### Docs / process\n- Fix SPEC JSON example `documentation_url` that pointed at\n**assura.dev** (wrong product)\n- Surface `docs/error-codes.md` in mdBook SUMMARY + docs homepage\n- Sample `assura_version` example bumped to 0.4.\n[…]\nild_produces_native_artifact`\n- [x] `cargo test -p assura --test cli_integration repl_load`\n- [x] `bash scripts/guards.sh`\n- [ ] CI green\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs+test: error URL, error-codes nav, tighter CLI asserts (#1437)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-27T14:09:25Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "792ced9e4db9097cd5cb1eb4067e67ee3c056410",
"body": "## Summary\n\nFollow-up to user review of #1432: human RFMIG outreach was closed too\nearly.\n\n- Reopened **#1411** for send/record steps\n- Filed **#1435** process rule\n- This PR: `docs/launch/rfmig-intro.md` links the open issue so the\nmarkdown section is not the only tracker\n\n## Test plan\n\n- [x] #1411 is OPEN\n- [x] Doc points at #1411\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: point RFMIG human steps at open issue #1411 (#1436)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-27T13:05:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba906e48ac27eafcf346edcfad8e3c29cab8ebca",
"body": "## Summary\n\nNew Contributor / End User (MPI): `docs/GETTING-STARTED.md` was not in\nthe mdBook SUMMARY or docs homepage, so the install-first path was hard\nto find.\n\n- Add Getting started to SUMMARY and intro doc list\n- Link SMT portfolio note from intro\n- Fix `CRATES-IO.md` href for mdBook (same-dir symlink)\n\n## Test plan\n\n- [ ] Docs / link-check CI green\n- [ ] After merge, docs site sidebar shows Getting started\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: surface Getting started in mdBook nav (#1434)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-27T02:04:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8dd5608c70beeec87ffe0c76774af1d1b915693b",
"body": "## Summary\n\nMPI Maintainer/Security: Dependabot reported **high** `brace-expansion`\nDoS advisories under `editors/vscode`.\n\n- Pin `brace-expansion@5.0.8` (vsce/minimatch 10 path)\n- Pin nested mocha path to `2.1.2`\n- Keep existing `serialize-javascript` / `diff` overrides\n\n## Test plan\n\n- [x] `npm ls brace-expansion` shows 5.0.8 and 2.1.2\n- [ ] CI editors-vscode job green\n- [ ] Dependabot alerts for brace-expansion auto-close after merge\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "security: pin brace-expansion in VS Code extension (#1433)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-27T02:03:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d2e157c903073e8f7a52dbcb3fe9e226d79240fe",
"body": "## Summary\n\nMPI pre-rotation gate: land accepted documentation backlog.\n\n- **#1413** Competitor-thread reply playbook\n(`docs/launch/competitor-replies.md`)\n- **#1411** RFMIG outreach outline (`docs/launch/rfmig-intro.md`)\n- **#1412** SMT / portfolio technical note (`docs/SMT-NOTE.md`, mdBook\nlink)\n-\n[…]\nn `docs/launch/README.md` and `docs/SMT-NOTE.md`\n- [ ] Confirm mdBook SUMMARY includes SMT note\n\nCloses #1413\nCloses #1411\nCloses #1412\nCloses #1399\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: launch playbooks, SMT note, Codespaces try path (#1432)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-27T02:00:55Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "05e2537e11de6d5b6a11789f34ff4bc6ff97f7b6",
"body": "Bumps [tokio](https://github.com/tokio-rs/tokio) from 1.52.4 to 1.53.1.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/tokio-rs/tokio/releases\">tokio's\nreleases</a>.</em></p>\n<blockquote>\n<h2>Tokio v1.53.1</h2>\n<h1>1.53.1 (July 20th, 2026)</h1>\n<h3>Fixed</\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump tokio from 1.52.4 to 1.53.1 (#1425)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:52:51Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5a633efb231110024cdeb0709cd9000a2e4d6180",
"body": "Bumps [tokio-stream](https://github.com/tokio-rs/tokio) from 0.1.18 to\n0.1.19.\n<details>\n<summary>Commits</summary>\n<ul>\n<li><a\nhref=\"https://github.com/tokio-rs/tokio/commit/bc0933ccffb62e010d3ccb497abc22cec2e73f54\"><code>bc0933c</code></a>\nchore: prepare tokio-stream v0.1.19 (<a\nhref=\"https://redi\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump tokio-stream from 0.1.18 to 0.1.19 (#1429)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:47:26Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "8a071395cfded4c58c90947b6c66446bb42fc78a",
"body": "Bumps [clap](https://github.com/clap-rs/clap) from 4.6.2 to 4.6.4.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/clap-rs/clap/releases\">clap's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v4.6.4</h2>\n<h2>[4.6.4] - 2026-07-21</h2>\n<h3>Internal</h3>\n<ul>\n<li>Upd\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump clap from 4.6.2 to 4.6.4 (#1431)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:42:27Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3a70197bb339b52fa1c316ba5cd1d98b958a53af",
"body": "Bumps [quote](https://github.com/dtolnay/quote) from 1.0.46 to 1.0.47.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/dtolnay/quote/releases\">quote's\nreleases</a>.</em></p>\n<blockquote>\n<h2>1.0.47</h2>\n<ul>\n<li>Documentation improvements</li>\n</ul>\n</block\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump quote from 1.0.46 to 1.0.47 (#1424)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:36:50Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "4c071d1428a16a5e670bf81dc059add116b665e2",
"body": "Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.150 to\n1.0.151.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/serde-rs/json/releases\">serde_json's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v1.0.151</h2>\n<ul>\n<li>Add RawValue::from_string_unche\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump serde_json from 1.0.150 to 1.0.151 (#1427)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:31:06Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "343f3fcd395e5482726efee816b023e5670b86eb",
"body": "…1426)\n\nBumps the codeql-action group with 3 updates in the / directory:\n[github/codeql-action/upload-sarif](https://github.com/github/codeql-action),\n[github/codeql-action/init](https://github.com/github/codeql-action) and\n[github/codeql-action/analyze](https://github.com/github/codeql-action).\n\nUp\n[…]\nils>\n<br />\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "ci: Bump the codeql-action group across 1 directory with 3 updates (#…",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:22:51Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "bdc7e46f642fe641b3d49fac02a224b1a85df778",
"body": "Bumps [ossf/scorecard-action](https://github.com/ossf/scorecard-action)\nfrom 2.4.3 to 2.4.4.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/ossf/scorecard-action/releases\">ossf/scorecard-action's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v2.4.4</h2>\n<h2>What\n[…]\n26124645441f03bc\">compare\nview</a></li>\n</ul>\n</details>\n<br />\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "ci: Bump ossf/scorecard-action from 2.4.3 to 2.4.4 (#1430)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:21:00Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "80a0fdb6754e923c6082416e12220bf50a183a94",
"body": "Bumps [actions/checkout](https://github.com/actions/checkout) from 7.0.0\nto 7.0.1.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/actions/checkout/releases\">actions/checkout's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v7.0.1</h2>\n<h2>What's Changed</h2>\n<ul>\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "ci: Bump actions/checkout from 7.0.0 to 7.0.1 (#1428)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-27T01:18:08Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "b144ad8f0b19dd64c6e0f704b822f398e4148dd6",
"body": "…de (#1423)\n\nBumps [@vscode/test-electron](https://github.com/Microsoft/vscode-test)\nfrom 3.0.0 to 3.1.0.\n<details>\n<summary>Commits</summary>\n<ul>\n<li>See full diff in <a\nhref=\"https://github.com/Microsoft/vscode-test/commits\">compare\nview</a></li>\n</ul>\n</details>\n<br />\n\n\n[![Dependabot compatibil\n[…]\nnless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "deps: Bump @vscode/test-electron from 3.0.0 to 3.1.0 in /editors/vsco…",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-26T17:36:14Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "9732b4b3c8e0fc77c85473b3cce80f33bd3d53f0",
"body": "Bumps [fast-uri](https://github.com/fastify/fast-uri) from 3.1.3 to\n3.1.4.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/fastify/fast-uri/releases\">fast-uri's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v3.1.4</h2>\n<h2>⚠️ Security Release</h2>\n<p>Fix for <a\nh\n[…]\nps://github.com/assura-lang/assura/network/alerts).\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "deps: Bump fast-uri from 3.1.3 to 3.1.4 in /editors/vscode (#1422)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-22T22:03:12Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ee9f3e3fea20781627b6938009708901e7c4e822",
"body": "## Summary\n\nCoordinated major-version bump for **syn 3** and **prettyplease 0.3**,\nwith the API migration Dependabot alone cannot do.\n\n- Direct `syn` deps: 2 → 3 (`assura-codegen`, `assura-cli`,\n`assura-macros`, `assura-rust-analyzer`)\n- `prettyplease`: 0.2 → 0.3\n- API fixes:\n - `Signature.unsafety\n[…]\nt -p assura-rust-analyzer --lib`\n- [x] `cargo test -p assura-macros --lib`\n- [x] `cargo test -p assura --lib rust_body_ir`\n- [ ] CI green on this PR\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "deps: upgrade syn to 3 and prettyplease to 0.3 (#1421)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-22T17:33:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a0ae5425c36651acfbed77de5e0e5f89af6106a5",
"body": "Bumps [thiserror](https://github.com/dtolnay/thiserror) from 2.0.18 to\n2.0.19.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/dtolnay/thiserror/releases\">thiserror's\nreleases</a>.</em></p>\n<blockquote>\n<h2>2.0.19</h2>\n<ul>\n<li>Update to syn 3</li>\n</ul>\n</\n[…]\ng any more for this dependency (unless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>\nCo-authored-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump thiserror from 2.0.18 to 2.0.19 (#1414)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-22T17:20:56Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "f11583b9ec8d74e83a89826887276995a5a623c4",
"body": "Bumps [proc-macro2](https://github.com/dtolnay/proc-macro2) from 1.0.106\nto 1.0.107.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/dtolnay/proc-macro2/releases\">proc-macro2's\nreleases</a>.</em></p>\n<blockquote>\n<h2>1.0.107</h2>\n<ul>\n<li>Documentation impr\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump proc-macro2 from 1.0.106 to 1.0.107 (#1420)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-22T17:12:48Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "8a3d85b7db597b0f6009b23bfd00c0fa563a4a8b",
"body": "Bumps [serde](https://github.com/serde-rs/serde) from 1.0.228 to\n1.0.229.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/serde-rs/serde/releases\">serde's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v1.0.229</h2>\n<ul>\n<li>Update to syn 3</li>\n</ul>\n</blockquote\n[…]\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Sebastien Tardif <SebTardif@ncf.ca>",
"is_bot": true,
"headline": "deps: Bump serde from 1.0.228 to 1.0.229 (#1417)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-22T17:05:16Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "1381f3aa14c102a9389db7e448947e732b7b5f48",
"body": "Bumps [actions/setup-node](https://github.com/actions/setup-node) from\n6.4.0 to 7.0.0.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/actions/setup-node/releases\">actions/setup-node's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v7.0.0</h2>\n<h2>What's Changed</\n[…]\nb0efc47a31fe5020\">compare\nview</a></li>\n</ul>\n</details>\n<br />\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "ci: Bump actions/setup-node from 6.4.0 to 7.0.0 (#1418)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-19T17:43:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "45f56dd7e05df774dcd73fa21b4060b87bb0448a",
"body": "Bumps the codeql-action group with 3 updates:\n[github/codeql-action/upload-sarif](https://github.com/github/codeql-action),\n[github/codeql-action/init](https://github.com/github/codeql-action) and\n[github/codeql-action/analyze](https://github.com/github/codeql-action).\n\nUpdates `github/codeql-action\n[…]\n of the specified dependency and ignore\nconditions\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "ci: Bump the codeql-action group with 3 updates (#1416)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-07-19T17:36:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "c8d51d97a90a94afd139203c163ab1c60b773ea0",
"body": "## Summary\n\n- Thread `VerifyOptions.timeout_ms` through `verify_file_with_cvc5` into\n`Cvc5ContractVerifySession`\n- Apply the same `clause_timeout_ms` floor as Z3 to CVC5 native `tlimit`\nand shell `--tlimit`\n- Add `clause_timeout_tlimit` helper so both CVC5 paths share the\nresolve logic\n- Portfolio m\n[…]\n --lib --locked -- -D warnings`\n- [x] `bash scripts/guards.sh`\n- [ ] CI CVC5 native job green (covers `Cvc5SolverOpts.tlimit_ms` path)\n\nCloses #1383\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "smt: honor verify.timeout for CVC5 shell and native tlimit (#1409)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T16:54:09Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5295f8d1f04ec32c58bae6027c98b02af1c8a461",
"body": "## Summary\n\nAdds `tests/fixtures/must_compile/safe_division.assura` for the\nSafeDivision onboarding pattern (good first issue #1403).\n\n## Test plan\n\n- [x] `assura check tests/fixtures/must_compile/safe_division.assura`\n(verified, no errors)\n- [ ] CI must_compile harness picks up the new file\n\nCloses #1403\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: must_compile fixture for SafeDivision-style contract (#1408)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T16:04:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "76177bf06ccde6fb983fdabde777824ff321f828",
"body": "## Summary\n\nSecond advertising slice after #1406.\n\n| Issue | Change |\n|------:|--------|\n| #1387 | Demo GIF + VHS tape, README embed |\n| #1405 | crates.io version badge |\n| #1397 | Shell installer docs; honest no-Homebrew |\n| #1394 | VS Code not published; from-source install |\n| #1395 | `docs/launc\n[…]\nund\n- GFI #1403 must_compile fixture\n\n### Test plan\n\n- [x] `assura check` showcase locally\n- [x] VHS recorded GIF\n- [x] README links resolve in tree\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: demo GIF, install paths, launch pack, VS Code status (#1407)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T15:47:10Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "58886f3b92175f655b74ee42db2b39c4645f48e7",
"body": "## Summary\n\nImplements the first advertising backlog slice (launch blockers +\ncommunity seeds).\n\n### Closed\n\n| Issue | What |\n|------:|------|\n| #1385 | Repo homepage → https://assura-lang.github.io/assura/ |\n| #1393 | Org description + website → docs site |\n| #1386 | `docs/URLS.md` brand safety (no\n[…]\n399 playground\n- GFI: #1403, #1405\n\n### Test plan\n\n- [x] `mdbook build docs/`\n- [x] Homepage / org fields verified via `gh`\n- [x] Discussions seeded\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: advertising readiness pages and public funnel (#1406)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T15:42:40Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "6ffd485fecafc95bb0fdfc4f4d015a8857f94ae8",
"body": "## Summary\n\nMPI cycle 2026-07-16 (Assura). Gate was clear except #436 (upstream\ncvc5-rs blocked). Rotation found that Layer 1 Z3 clause solvers ignored\ncaller `timeout_ms` and always used a hard-coded 10s budget, so FAQ\nadvice to set `timeout = 30000` did not raise clause solve time.\n\n## Changes\n\n- \n[…]\nssura-smt --locked --lib clause_timeout`\n- [x] `cargo clippy -p assura-smt --lib --locked -- -D warnings`\n- [x] `cargo check -p assura-smt --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "smt: honor longer verify.timeout for Z3 clause solvers (#1384)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T14:48:50Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "779175f347ec7804f74ca335c65f660f24de0222",
"body": "## Summary\n\nTriage of [AI\nfindings](https://github.com/assura-lang/assura/security/quality/ai-findings):\nfix only the items that improve clarity/hygiene without risking\nregressions.\n\n## Fixed\n\n| Finding | Change |\n|---------|--------|\n| CHANGELOG Unreleased mid-file | Move empty `[Unreleased]` to to\n[…]\n --lib\ncompile_valid_contract`\n- [x] `cargo check -p assura-smt --locked`\n- [x] CHANGELOG headings: Unreleased then 0.4.0 → 0.3.0 → 0.2.0\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "chore: address GitHub AI quality findings (safe subset) (#1382)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-16T13:51:40Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ac5896f9b0390087e5d87c0db81e3a800c4054b6",
"body": "## Summary\n\nApp-token tags from release-please fire `on.push.tags` for Release\n**and** `dispatch-release` always `workflow_dispatch`ed the same\npipeline, so each ship ran cargo-dist + publish twice (observed on\nv0.3.0 and v0.4.0).\n\n## Changes\n\n- **Skip dispatch** when a healthy tag-push Release alre\n[…]\nlint/zizmor) green on this PR\n- [ ] Logic review: tag-push path preferred; failed tag-push still\ndispatches; manual dispatch unchanged\n\nCloses #1380\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "ci: avoid dual Release runs on App-token tags (#1381)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-15T14:56:09Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "75baa15aa11579139568ab87e2bfae527afdd3e8",
"body": "Auto-cleanup after v0.4.0: curated RELEASE_NOTES.md was applied to the\nGitHub Release and should not stay on main for the next cut.\n\nCo-authored-by: assura-auto-approve[bot] <299660608+assura-auto-approve[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "chore: remove release notes override (#1379)",
"author_name": "assura-auto-approve[bot]",
"author_login": "assura-auto-approve[bot]",
"committed_at": "2026-07-14T18:51:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ccfac9ebed41f218e6a95d6f1af01810c08f5d4c",
"body": ":robot: I have created a release *beep* *boop*\n---\n\n\n##\n[0.4.0](https://github.com/assura-lang/assura/compare/v0.3.0...v0.4.0)\n(2026-07-14)\n\n\n### Features\n\n* assura fmt accepts directories of .assura files\n([#937](https://github.com/assura-lang/assura/issues/937))\n([eb50ef9](https://github.com/assur\n[…]\n.com>\nCo-authored-by: assura-auto-approve[bot] <299660608+assura-auto-approve[bot]@users.noreply.github.com>\nCo-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "chore(main): release 0.4.0 (#879)",
"author_name": "assura-auto-approve[bot]",
"author_login": "assura-auto-approve[bot]",
"committed_at": "2026-07-14T18:18:37Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5dccc0ce6619c00cf04c671f0a334f86192b8e3f",
"body": "## Summary\n\nMain Link Check is still red after #1377: one remaining failure on\n`CHANGELOG.md` → `issues/870` with **HTTP 500** from GitHub (valid\nclosed PR).\n\nRoot cause: dense auto-generated issue/PR HTML URLs flake from GHA IPs.\n\n## Fix\n\n`exclude_path = [\\\"CHANGELOG.md\\\"]` in `lychee.toml` (retries/metr\nexclude kept).\n\n## Why not re-run forever\n\nRetries alone do not fix intermittent GitHub 500s on issue HTML pages.\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "ci: exclude CHANGELOG.md from lychee (GitHub 500 flakes) (#1378)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T18:10:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a09cdae3bc69d960bd74473ab60a84aac4bef641",
"body": "## Summary\n\nMain [Link\nCheck](https://github.com/assura-lang/assura/actions/runs/29354971536)\nfailed after the release-notes merge:\n\n- HTTP **500** on real GitHub issue links in CHANGELOG (`#803`, `#832`,\n`#856`, `#870`) during a GitHub API storm\n- **Timeout** on `metr.org` in `docs/INVESTIGATION.md\n[…]\nxclude `metr.org` (times out from GHA runners)\n\nLocal: `lychee --config lychee.toml CHANGELOG.md docs/INVESTIGATION.md\nRELEASE_NOTES.md` → 0 errors.\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "ci: harden lychee against GitHub 500s and metr timeouts (#1377)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T17:52:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "84e5b97644439fea38ba9449c7f96527b6b76c14",
"body": "## Summary\n\nCurated `RELEASE_NOTES.md` for the upcoming **v0.4.0** release (override\napplied by the release host job when #879 merges).\n\nFramed for end users: synthesis-first ensures, multi-ensures + JSON IR\nsurface, dual-track write-ir/auto-implement, check-rust body encode\nexpansion, zero-warning \n[…]\nhen ready.\n2. Host job applies `RELEASE_NOTES.md` to the GitHub Release body.\n3. Cleanup workflow opens a PR to delete `RELEASE_NOTES.md` from main.\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: curated release notes for v0.4.0 (#1376)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T17:43:41Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "0cba8a04bbef136310adcac36e0cbda7926d9e82",
"body": "## Summary\n\nPre-release trust fixes so README-adjacent demos verify cleanly:\n\n1. **`result.length() >= 0` without IR** — do not Unknown-skip\nunconstrained-result ensures that are pure length nonneg; leave them for\nthe solver (length axioms). Fixes `demos/taint-tracking.assura` /\n`extern read_blob`.\n\n[…]\neterminism_non_boolean`\n- [x] `cargo test -p assura-smt --locked --lib e2e_extern_result_length`\n- [x] clippy + guards\n- [x] both demos zero-warning\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: zero-warning flagship demos (length nonneg + determinism) (#1375)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T16:21:15Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5877e9faea5cca910ae274c500dab3d1ab7d6a3e",
"body": "## Summary\n\nMPI cycle s3 (post-#1373 surface + agent IR observability).\n\n- **`file_info.ir` on `assura check --json`:** `colocated`,\n`synthesized`, `synth_notes` mirror human `check -v` IR lines for\nagents.\n- **Shared `collect_ir_surface_listing`** used by verbose human path and\nJSON.\n- **Tests:** s\n[…]\nn_call_and_method_clamp`\n- [x] `cargo test -p assura --test cli_integration\njson_check_includes_file_info verbose_check_lists`\n- [x] clippy + guards\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: file_info.ir in check --json + peel/synth tests (#1374)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T14:56:23Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "45f75616b08874516bccb66ea81f4ad4cc4d885d",
"body": "## Summary\n\nMPI cycle (s2) on the post-#1372 IR synthesis surface.\n\n- **`is_builtin_call`:** include `clamp`/`signum` so multi-fn call-chain\nplanning does not treat them as same-file callees.\n- **Tests:** method `max`/`signum` unit coverage for\n`peel_builtin_slots`.\n- **Perf/UX:** `check -v` uses on\n[…]\nbuiltin`\n- [x] `cargo test -p assura --lib synth_note`\n- [x] `cargo test -p assura --test cli_integration verbose_check_lists`\n- [x] clippy + guards\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: is_builtin clamp/signum + faster -v IR listing (#1373)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T13:51:16Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ed338e04786ca298f588bb88eaca9b229b44e3f3",
"body": "## Summary\n\n- **#1369:** `peel_builtin_slots` shared path for free\n`abs`/`min`/`max`/`clamp`/`signum` and method forms in\n`operand_to_slot`.\n- **#1370 (diagnostics-only):** generated IR carries `//\nassura-synth-body` / `// assura-synth-residual` comments; `assura check\n-v` prints body driver vs resi\n[…]\nura --lib synth_note`\n- [x] `cargo test -p assura --test cli_integration\nverbose_check_lists_multi`\n- [x] clippy + guards\n\nCloses #1369\nCloses #1370\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: DRY builtin peels + multi-ensures synth-note diagnostics (#1372)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T13:21:06Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3df1f47263b534e45f6dfc56bd364dd25080a83a",
"body": "## Summary\n\nMPI cycle on the post-#1368 IR synthesis surface.\n\n- **Multi-ensures ranking:** prefer top-level `result == e` over\nif/match and other non-bound plans; skip unplannable clauses without\nblocking a later equality; combined pure bounds still prefer lower-bound\nwitness.\n- **Tests:** unit (un\n[…]\n- [x] `cargo clippy -p assura --bins --locked -- -D warnings`\n- [x] `bash scripts/guards.sh`\n- [x] `bash scripts/preflight.sh assura-smt`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: multi-ensures result== preference + synthesis-first docs (#1371)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T11:43:31Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "6344bcfaeb6b4bd09e139b4fc886e4e3ab3db2f9",
"body": "## Summary\n\nRicher ensures-driven IR synthesis so more contracts verify without\nhand-written `.ir` or check-rust body-not-modeled paths.\n\n- **Multi-ensures planning:** `plan_from_all_ensures` prefers a\nnon-bound plan (`result == e`, calls, if/match, …) when any exists;\notherwise combines pure result\n[…]\nristic_ir`\n- [x] `cargo test -p assura-smt --locked --lib test_ir_generate_`\n- [x] `bash scripts/preflight.sh assura-smt` / `bash scripts/guards.sh`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: multi-ensures + method peels for richer IR synthesis (#1368)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T01:54:53Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "73951e3e0220adf9d87a40f1c6dad65f5eeb1d62",
"body": "## Summary\n\nCloses #1364, Closes #1365\n\n### #1365 Nested And chains\n- Flatten pure result-ordering `&&` chains of any depth (`result >= lo\n&& result <= mid && result <= hi`)\n- Leftmost conjunct witness; mixed And still stubs\n- Unit + e2e (`TripleBound`)\n\n### #1364 Verbose synthesis report\n- `assura \n[…]\nesized --locked`\n- [x] `cargo clippy -p assura-smt -p assura --lib --locked -- -D\nwarnings`\n- [x] `bash scripts/guards.sh`\n- [ ] CI green\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: nested result-bound And + verbose synthesized IR (#1367)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T01:23:27Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "21f881bfd988d2d068585e7fcb9ae3f54927f1bc",
"body": "…1366)\n\n## Summary\n\nMPI cycle after dual-track (#1363): close a high-friction residual and\nalign onboarding.\n\n### Code\n- Synthesize top-level `ensures { result >= lo && result <= hi }`\n(left-conjunct witness)\n- Refuse mixed And (`result >= lo && x > 0`) so synthesis is not unsound\n- Unit tests: clam\n[…]\n--locked` (via\nunit suite)\n- [x] `bash scripts/guards.sh`\n- [x] `cargo clippy -p assura-smt --lib --locked -- -D warnings`\n- [ ] CI green\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: result bound And synthesis + synthesis-first onboarding docs (#…",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-14T00:53:12Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "29e9c9830b0f0f531d13c6cb6218943d43511e9c",
"body": "## Summary\n\nCloses the two primary new-user friction tracks:\n\n1. **`assura check` without hand-written IR** for common result-bearing\nensures\n2. **`check-rust` fewer `body_not_modeled`** for wrapping/overflowing\ndiv-rem\n\n### Track 1: IR synthesis + SMT encode\n- Synthesize IR for `result == clamp(...\n[…]\ncked`\n- [x] `cargo clippy -p assura-smt -p assura --lib --locked -- -D\nwarnings`\n- [x] `bash scripts/guards.sh`\n- [ ] CI green on this PR\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: dual-track onboarding (IR synth + wrapping_div/rem) (#1363)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T23:38:33Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a30090098faa1a959650455aeb6bb22c18f8c966",
"body": "## Summary\n- Fix `assura ir --json -o` write/mkdir failures to emit JSON on stdout\n(were bare stderr in the verify+json path)\n- Suppress verbose human IR parse lines under `--json`\n- Peel `wrapping_abs()` as `if x >= 0 { x } else { wrapping_neg() }`\n(signed MIN stays MIN)\n- Unit + e2e encode/CE + cl\n[…]\nssura --test cli_integration ir_json_write\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: ir --json write purity and wrapping_abs peel (#1362)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T22:47:21Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "6abbce70c3f2b90318b4fa95a0a85c3382788c43",
"body": "## Summary\n- Peel `checked_*(…).unwrap_or_default()` as `unwrap_or(0)` (integer\nOption default)\n- Reuses the full existing unwrap_or overflow if-tree\n(add/sub/mul/div/neg/shl/…)\n- Unit + e2e encode/CE; CONTRIBUTING body-proof + residual peel list\nupdate\n\n## Test plan\n- [x] `cargo test -p assura --li\n[…]\n-p assura --test check_rust_body_ir unwrap_or_default\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: peel checked_*.unwrap_or_default as unwrap_or(0) (#1361)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T21:38:05Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "bf26fc3a7c76bd3bbb74322e591c2cc7f999d24d",
"body": "## Summary\n- Peel `overflowing_*(…).1` as the overflow flag bool (dual of\n`checked_*(…).is_none()`)\n- Covers add/sub/mul/neg/shl/shr/pow with the same const limits as the\nchecked is_some family\n- Drop unfinished residual row; document bare Option/tuple returns as\nintentional (peel required)\n- Unit +\n[…]\n -p assura --test check_rust_body_ir overflowing_flag\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode overflowing_*(…).1 overflow flag peels (#1360)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T21:09:21Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "600ed003fa2436678a49b5377ca495273a59e886",
"body": "## Summary\n- `assura --json mcp` failures emit parseable JSON on stdout (no bare\nhuman stderr)\n- Same for tokio runtime init failure under `--json`\n- Refresh `check-rust --help` about-text to point at CONTRIBUTING\nbody-proof list\n- Document residual `overflowing_*.1` and bare Option/tuple returns in\n[…]\n] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n- [x] Manual: `assura --json mcp` with null stdin → JSON `ok:false`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "fix: emit JSON for assura --json mcp failures (#1359)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T18:29:57Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "cd9d775b1c354e54cf0e18f8809e19fa5a7116d2",
"body": "…1358)\n\n## Summary\n- Complete the `checked_*(…).is_some()` / `.is_none()` peel family for\nthe same surface as `unwrap_or`: mul/div/rem, ilog2/10,\nnext_power_of_two, pow (const 0..=4)\n- Bounds still come from the receiver (bool return has empty SAT_BOUNDS)\n- Unit + e2e encode/CE; CONTRIBUTING body-pr\n[…]\n assura --test check_rust_body_ir\nchecked_mul_is_some --locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: complete checked_*.is_some()/is_none() for unwrap_or surface (#…",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T17:45:57Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "4b597091c191038d94816a92dd27ed807ddc8dd1",
"body": "## Summary\n- Expand `checked_{add,sub,neg,abs,shl,shr}(…).is_some()` / `.is_none()`\nto overflow-bound bools\n- Bounds come from the receiver (return type is often `bool`)\n- Unit + e2e encode/CE; CONTRIBUTING body-proof surface update\n\n## Test plan\n- [x] `cargo test -p assura --lib checked_is_some --l\n[…]\nt -p assura --test check_rust_body_ir checked_is_some\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_*.is_some()/is_none() overflow bounds (#1357)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T17:23:06Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ef776fd0a0e4c0f5c719bd2635eb12c2161f8c9f",
"body": "## Summary\n- Map `overflowing_shl`/`overflowing_shr`(const).0 through the existing\noverflowing→wrapping peel family\n- Encode `wrapping_{add,sub}_{signed,unsigned}` as modular wrap (same as\nwrapping_add/sub)\n- Unit + e2e encode and CE tests; `checked_shl` out-of-bounds\n`unwrap_or` e2e\n- Add `bxor` to\n[…]\n --test check_rust_body_ir checked_shl_oob\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --all`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode overflowing_shl/shr peels as wrapping_* (#1356)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T17:13:24Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "d1201312f044a76041e4375368af890b80263a9e",
"body": "## Summary\n\nMPI cycle 2026-07-13-2 (one batch PR, one commit):\n\n- **Encode:** signed i64 both-variable `BitAnd`/`BitOr`/`BitXor` use\n`emit_signed_modulus_slot` (synthetic 2^64). Previously hard BNM while\nconst-mask and reverse_bits already had the path.\n- **Cleanup:** const-mask signed branch uses t\n[…]\nust_body_ir` (98 ok)\n- [x] e2e `check_rust_encodes_i64_both_var_bitops` + CE\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode signed i64 both-variable bitops via synthetic 2^64 (#1355)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T16:21:32Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "adf901d047545da16088c38c92fbbf08687b67a8",
"body": "## Summary\n\nSplits the ~15k-line `cli_integration.rs` so check-rust body-IR\nencode/CE pairs live in their own integration binary.\n\n| File | Tests | Lines |\n|------|------:|------:|\n| `tests/check_rust_body_ir.rs` | 462 | ~12.7k |\n| `tests/cli_integration.rs` | 103 | ~3.0k |\n| `tests/common/mod.rs` |\n[…]\nes_project_structure`, `doctor_exits_zero`,\n`check_rejects_invalid_layer`\n- [x] `multi_block_ir_inject`\n`build_write_ir_abs_call_compiles_and_tests`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: split check-rust e2e out of cli_integration (#1354)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T14:46:34Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "2f38e9b913cdb0564d1a12afcc3f2cf087df9965",
"body": "## Summary\n\nMPI cycle 2026-07-13 (batch PR):\n\n- **Encode:** signed full-width i64 `reverse_bits` / `swap_bytes` /\ntrailing/leading peels use synthetic `2^64` modulus (same path as\n`count_ones`), via new `emit_signed_modulus_slot` helper.\n- **Tests:** unit + e2e encode/CE for i64 reverse_bits; e2e fo\n[…]\n64_reverse_bits` + CE\n- [x] e2e `check_rust_encodes_checked_shr_unwrap` + CE\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode signed i64 bit peels via synthetic 2^64 (#1353)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T14:17:11Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5339a82e70b6807317b98b23b44bbc634baf3354",
"body": "…els (#1351)\n\n## Summary\n\n- Encode `checked_next_power_of_two().unwrap_or` (unsigned),\n`checked_shl`/`checked_shr`(const).`unwrap_or`, and\n`overflowing_pow(…).0` → `wrapping_pow` in check-rust body IR.\n- Document residual `body_not_modeled` shapes in CONTRIBUTING (mut\nreassignment, i64 reverse_bits,\n[…]\nt_encodes_checked_shl_unwrap` + CE\n- [x] e2e: `check_rust_encodes_overflowing_pow` + CE\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_next_power_of_two/shl/shr and overflowing_pow pe…",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T13:31:04Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "09dfb478da927b50580296f8285a49a17dfda978",
"body": "## Summary\n\n- Expand `checked_ilog2`/`checked_ilog10().unwrap_or(alt)` (x<=0 → alt)\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_ilog_unwrap_or_encodes\n- [x] e2e checked_ilog2 + CE\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_ilog2/ilog10().unwrap_or (#1348)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:45:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "912babaabb820fd98dd779f2cda05df99e475cdf",
"body": "## Summary\n\n- Expand `x.checked_abs().unwrap_or(alt)` (MIN → alt, else abs)\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_abs_unwrap_or_encodes\n- [x] e2e checked_abs + CE\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_abs().unwrap_or (#1347)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:39:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7cd7b9be654395455ef11eed8cc4250fa4f6532d",
"body": "## Summary\n\n- E2E for multi-let fold where a binding is an if\n- Locks the check-rust distribute + fold path\n\n## Test plan\n\n- [x] `cargo test -p assura --test cli_integration multi_let_if\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e multi-let with if RHS encode (#1346)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:32:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6e65e6842e03a9d2870563619609f0278ce6cde7",
"body": "## Summary\n\n- Expand `x.checked_pow(n).unwrap_or(alt)` for n in 0..=4\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_pow_unwrap_or_encodes\n- [x] e2e checked_pow + CE\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_pow(0..=4).unwrap_or (#1345)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:26:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88a7807ddd4f7f146e4ddafcc2b4143976700623",
"body": "## Summary\n\n- Expand `x.checked_neg().unwrap_or(alt)` to multi-block if (MIN → alt)\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_neg_unwrap_or_encodes\n- [x] e2e checked_neg + CE\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_neg().unwrap_or (#1344)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:20:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "90dff942d71aeed12fcbf037c8fc722915123b34",
"body": "## Summary\n\n- `let mut y = e` folds like `let y = e` when there is no reassignment\n- Unit + e2e encode\n\n## Test plan\n\n- [x] unit let_mut_without_reassign_encodes\n- [x] e2e check_rust_encodes_let_mut_no_reassign\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: fold pure let mut in check-rust body IR (#1343)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:12:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7f8e85ea4cae9b3625c90ce5b34dc628a542656",
"body": "## Summary\n\n- Extend checked_* unwrap_or expand for `checked_div` / `checked_rem`\nwith const divisor\n- Div-by-zero → alt; signed MIN / -1 overflow → alt\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_div_rem_unwrap_or_encodes\n- [x] e2e checked_div + CE\n- [x] clippy + fmt\n\nDraft while #1335 is the ready feature PR.\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_div/rem(const).unwrap_or (#1342)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T12:04:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee592cb8d88c44f406b8168000ecdfcc3f5db458",
"body": "## Summary\n\nFix 15 codegen bugs found via runtime testing (`assura build` + `rustc`\ncompilation of generated Rust code). The bugs cause generated Rust code\nto fail `rustc` compilation in various scenarios.\n\n## Bugs Fixed\n\n### Numeric widening (i128::from)\n- Free identifiers in clause bodies not reco\n[…]\nworkspace tests pass (5225+ tests)\n- Clippy clean, guards OK\n- AGENTS.md updated with pipeline invariant 19 (numeric widening\nconvention)\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "codegen: fix 15 numeric widening and --bin generation bugs (#1335)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:51:58Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "1f28e562796423b728a5c68da35c4934576a3917",
"body": "## Summary\n\n- Extend `checked_*().unwrap_or` expand to `checked_mul` for const\nfactors 0, ±1, 2\n- Overflow thresholds use SAT bounds\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit checked_mul_unwrap_or_encodes\n- [x] e2e checked_mul + CE\n- [x] clippy + fmt\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_mul(const).unwrap_or (#1340)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:27:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1e6d122b0e95377af85045d9dd05ab6812985ec1",
"body": "## Summary\n\n- Expand `x.overflowing_{add,sub,mul}(y).0` and `overflowing_neg().0` to\nwrapping_*\n- Reuses existing wrapping encode paths\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] unit overflowing_add_tuple0_encodes\n- [x] e2e overflowing_add + CE\n- [x] clippy + fmt\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode overflowing_*(…).0 as wrapping_* (#1339)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:21:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b31e77a10b79c8adcac010ec450e2287cd408597",
"body": "## Summary\n\n- Expand `x.checked_add(c).unwrap_or(alt)` / `checked_sub` to\noverflow-guarded if-trees using type bounds\n- Const `c` only; multi-block IR after expand\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] `cargo test -p assura --lib checked_add --locked`\n- [x] `cargo test -p assura --test cli_integration checked_add --locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode checked_add/sub(const).unwrap_or (#1338)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:17:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13ad5b415318aabc17f4138e4de229e1e274ce9a",
"body": "## Summary\n\n- Before multi-block if/match encode, peel outer `Paren`, `&`, and `*`\nlayers\n- Enables `*& (if …)` and similar bodies that already distribute/encode\nafter peel\n- Unit + e2e encode/CE\n\n## Test plan\n\n- [x] `cargo test -p assura --lib rust_body_ir --locked`\n- [x] `cargo test -p assura --test cli_integration ref_deref_if\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: peel outer &/* before multi-block if encode (#1337)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:12:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "529fe892912e379c78799afa11d57b7f2bac6f60",
"body": "## Summary\n\n- Extend if/match distribute over binary (both sides), unary, cast,\nmethod receiver, and single method arg\n- Walk `Expr::Block` so else arms finish nested distribute\n- Unit + e2e encode/CE for if-on-right, let-match fold, unary-neg-if,\nmethod-on-if, cast-of-if, if method-arg\n\n## Test pla\n[…]\n, method_on_if,\ncast_of_if, if_as_method_arg\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --check --all`\n\n---------\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: distribute if/match over both binary sides (#1336)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T11:06:56Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "c8256d96e4ea2d2972ba892e03f9c9b7616569e7",
"body": "## Summary\n\n- Encode `let y = if c { a } else { b }; y + n` by distributing if over\nbinary so multi-block IR can prove the result\n- Parenthesize if/match operands for safe re-parse; strip outer parens\nbefore if-tree encode\n- Unit test + e2e encode + counterexample; CONTRIBUTING encode surface\nnote\n\n\n[…]\n -p assura --test cli_integration let_if_fold --locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n- [x] `cargo fmt --check --all`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode let-if fold (if-over-binary distribute) (#1334)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:45:08Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3e1849960bc1a4d48e035d3cf8c42e81c00d6ba7",
"body": "## Summary\n- E2E for `if x == 0 || y == 0 { ... }`\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration if_or --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for if with || condition (#1333)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:23:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "31219374b88db3d8b0fe6e735eb72014153ef4c5",
"body": "## Summary\n- E2E for `if x > 0 && y > 0 { ... }`\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration if_and --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for if with && condition (#1332)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:19:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b776fbe03033467293b6a41dff11ba4970043f82",
"body": "## Summary\n- E2E for `(x + 1) * (x + 2)` on u64\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration paren_arith --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for parenthesized u64 arith product (#1331)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:14:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "059d15e198f5ec66bf82d97007d12e9c39ea9b41",
"body": "## Summary\n- E2E for multi-let u64 body\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration multi_let --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for multi-let chain (#1330)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:09:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "07e92ea36b1d3ac629a7140b23a2c90e0e6184e4",
"body": "## Summary\n- E2E for match with multiple guard arms + wildcard\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration match_multi_guard\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for multi-guard match if-tree (#1329)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T10:04:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0a364d7d67cf02da7e0618aae6eb781268bf91f8",
"body": "## Summary\n- E2E for match with multiple lit arms + identity bind\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration match_multi --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for multi-literal match with bind (#1328)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:59:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "14a3bb60a14c76424ec2c787c92c5649a4c570b3",
"body": "## Summary\n- `rust_int_bounds`: `u128`, `i128`, `NonZeroU128`\n- Enables `x / n.get()` for NonZeroU128 path params\n- Unit IR + e2e + wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --lib signed_rem_euclid_encodes --locked`\n- [x] `cargo test -p assura --test cli_integration u128_div --locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: bound NonZeroU128 and u128/i128 for check-rust (#1327)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:53:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "37cac9e7cf93a2c28a2dabb195eb8c594df9139d",
"body": "## Summary\n- E2E for i128 `signum` with range ensures\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration i128_signum --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for i128 signum (#1326)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:45:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "12d790aeea026b57bad1739683518309c6910697",
"body": "## Summary\n- E2E for i128 `abs`\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration i128_abs --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for i128 abs (#1325)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:40:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4bfd836e4046136c632b18541cac28c4b2da0e2a",
"body": "## Summary\n- Wrong-ensures CE for u64 `wrapping_neg`\n- E2E for u128 path-param `+` (Nat mapping)\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration\nu64_wrapping_neg_wrong --locked`\n- [x] `cargo test -p assura --test cli_integration u128_add --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: CE for u64 wrapping_neg; e2e u128 add (#1324)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:35:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5583ccdfeb40cf8765c0367f4dcb27a219256ec",
"body": "## Summary\n- E2E for `Default::default()` and `<T as Default>::default()`\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration default_trait\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for Default::default path form (#1323)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:29:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c36213964057c98377e7d10848beeabb6a4a0998",
"body": "## Summary\n- E2E for u16/u32 `wrapping_pow`\n- Wrong-ensures CE for u16 wrapping_pow\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration\nmid_width_wrapping_pow --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for mid-width wrapping_pow (#1322)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:24:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ed9a23d3cff171a8f927612860fcf0cae626591",
"body": "## Summary\n- Align `rust_body_ir` module docs with encode surface after #1283–#1313\n\n## Test plan\n- [x] Docs-only\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: refresh rust_body_ir module encode surface notes (#1321)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:19:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "645dbf23df3cd48ee1d5f84e2880f640cb45f376",
"body": "## Summary\n- Wrong-ensures CE for u64 `pow(2)`\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_pow --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: CE for u64 pow (#1320)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:15:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4be498ac515ca39c45d237aeeb898065d87c144f",
"body": "## Summary\n- Wrong-ensures CE for i64 `signum` (parity with i16 CE)\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration i64_signum --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: CE for i64 signum (#1319)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:10:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "45e9d339d4379ee9e6a1e1e4155310413ee9ba4e",
"body": "## Summary\n- E2E for `x.max(1).min(10)` and `x.abs().min(10)`\n- Wrong-ensures CE for nested clamp-like chain\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration nested_min_max\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for nested min/max and abs.min (#1318)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:05:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "03a52ab37b9a08e6dd1bd503066bd2d9f712b990",
"body": "## Summary\n- Wrong-ensures CE for `a || b` always-false claim\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration bool_logic --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: CE for bool logical or (#1317)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T09:01:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f54dee22ea197241e9f7ab942ef4ec762039bfc4",
"body": "## Summary\n- E2E for usize `div_ceil` / `rem_euclid` (u64 width path)\n- Wrong-ensures CE for div_ceil\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration usize_div --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for usize div_ceil and rem_euclid (#1316)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:56:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ac6e3ae7d9619f332c1faafe2bffdde3a204856",
"body": "## Summary\n- E2E for `wrapping_add(...).wrapping_mul(2)` on u64\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_nested_wrapping\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for nested u64 wrapping_add/mul (#1315)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:51:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c8925cc507e43ff51769b9fc2a0491820d4b4431",
"body": "## Summary\n- Extend match-bind e2e with `n => n + 1` after #1313\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_match_literal\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: cover match bind arm with arithmetic body (#1314)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:46:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4e04879ceb599b0ab91d7525d33cb9cc2671eab8",
"body": "## Summary\n- IR match has no binds; rewrite plain `n => body` to `_` with scrutinee\nsubstitution\n- Unlocks lit+identity patterns such as `match x { 0 => 1, n => n }`\n- Unit IR + e2e + wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --lib match_plain_binding --locked`\n- [x] `cargo test -p \n[…]\n-locked`\n- [x] `cargo test -p assura --test cli_integration u64_match_literal\n--locked`\n- [x] `cargo clippy -p assura --lib --locked -- -D warnings`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "feat: encode match arms with plain ident bindings (#1313)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:41:01Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "2fbdec965d797fe6c5d0e4db5209cb503bf9ef36",
"body": "## Summary\n- Extend wrapping_pow e2e with const-base `2u8.wrapping_pow(4) == 16`\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration encodes_wrapping_pow\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: cover const-base wrapping_pow(4) e2e (#1312)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:28:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ab9fd3cae1eb15b45baaaaecc14ce111b37a75a6",
"body": "## Summary\n- Extend signed wrapping_pow e2e with i64 path param\n- Wrong-ensures CE for i64 wrapping_pow\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration wrapping_pow\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for i64 wrapping_pow (#1311)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:23:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ca6964628c1a0286fe85f942e964b7ff2c57c36a",
"body": "## Summary\n- E2E for `is_multiple_of` with NonZeroU64 path-param divisor\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration\nu64_is_multiple_of_nonzero --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 is_multiple_of with NonZeroU64 (#1310)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:18:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ca6447f9311c4bcde82d1e59528ec496d75837c8",
"body": "## Summary\n- E2E for u64 `<` / `==` / `>=`\n- Wrong-ensures CE for always-true `<`\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_cmp --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 binary comparisons (#1309)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:13:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "af0685d6b58fb3ec7dca726ccbf9e7fe1f096300",
"body": "## Summary\n- E2E for `saturating_add(...).saturating_mul(2)` on u64\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_nested_sat\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for nested u64 saturating chain (#1308)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:09:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d91de87dc4048aa84a05726c08070948d3264895",
"body": "## Summary\n- E2E for u64 match with `if` guards\n- Wrong-ensures CE\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_match --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 match with guards (#1307)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T08:04:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d8d0eae8a0cb4ef9507fa93133cfaced8617a1a",
"body": "## Summary\n- E2E for u64 if/else max pattern and multi-let\n- Wrong-ensures CE for if/else\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_if --locked`\n- [x] `cargo test -p assura --test cli_integration u64_arith --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 if/else and multi-let (#1306)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:59:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ce39606a198a329b606c2e545cc18eb5e4d6a4c2",
"body": "## Summary\n- E2E for u64 `/` and `%` with `NonZeroU64` divisors\n- Wrong-ensures CE for division\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_div_rem --locked`\n- [x] `cargo test -p assura --test cli_integration u64_div_nonzero\n--locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 div/rem with NonZeroU64 (#1305)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:53:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7f59a635ccd9dc66869cf3720910be5228de47ff",
"body": "## Summary\n- Extend u64 arith e2e with path-param `-`\n- Wrong-ensures CE for sub\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_arith --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 path-param sub (#1304)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:49:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7d76d4943510e819c2abdcd898447b548d69401",
"body": "## Summary\n- E2E for plain u64 `+` / `*` path params\n- Wrong-ensures CE for add\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration u64_arith --locked`\n- [x] `cargo test -p assura --test cli_integration u64_saturating\n--locked` (no regression)\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: e2e and CE for u64 path-param add and mul (#1303)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:44:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "601fb89932abc6372845109b509e5fe4d21ed81e",
"body": "## Summary\n- CONTRIBUTING body-proof surface: saturating ops include u64 via\nsynthetic max (#1285)\n\n## Test plan\n- [x] Docs-only review\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "docs: note u64 saturating in check-rust encode surface (#1302)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:38:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1aa82a6f3de584395da82359a38c9ef2c83083c8",
"body": "## Summary\n- Wrong-ensures CE for u64 variable `wrapping_shr` (parity with\nwrapping_shl CE)\n\n## Test plan\n- [x] `cargo test -p assura --test cli_integration\nu64_wrapping_shr_wrong --locked`\n\nSigned-off-by: Sebastien Tardif <sebtardif@ncf.ca>",
"is_bot": false,
"headline": "test: CE for u64 wrapping_shr (#1301)",
"author_name": "Sebastien Tardif",
"author_login": "SebTardif",
"committed_at": "2026-07-13T07:37:49Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 4,
"commits_last_year": 1656,
"latest_release_at": "2026-07-14T18:19:08Z",
"latest_release_tag": "v0.4.0",
"releases_from_tags": false,
"days_since_last_push": 0,
"active_weeks_last_year": 7,
"days_since_latest_release": 13,
"mean_days_between_releases": 3.6
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 87,
"has_issue_template": false,
"has_code_of_conduct": true,
"has_pull_request_template": true
},
"ecosystem": {
"packages": [
{
"name": "assura-ast",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-ast",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 4,
"total_downloads": 1364,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 455,
"first_published_at": "2026-07-04T03:03:33.211156Z",
"latest_published_at": "2026-07-14T18:32:59.479870Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 4,
"total_downloads": 71,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 24,
"first_published_at": "2026-06-11T00:15:46.228229Z",
"latest_published_at": "2026-07-14T18:46:18.774691Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura-fmt",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-fmt",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 4,
"total_downloads": 1160,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 387,
"first_published_at": "2026-07-04T03:54:38.175666Z",
"latest_published_at": "2026-07-14T18:39:35.809192Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura-llm",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-llm",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 3,
"total_downloads": 1122,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 374,
"first_published_at": "2026-07-05T19:33:18.415604Z",
"latest_published_at": "2026-07-14T18:38:55.722563Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura-lsp",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-lsp",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 3,
"total_downloads": 1114,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 371,
"first_published_at": "2026-07-05T19:35:14.421087Z",
"latest_published_at": "2026-07-14T18:44:33.637080Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura-mcp",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-mcp",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 3,
"total_downloads": 1113,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 371,
"first_published_at": "2026-07-05T19:36:48.695928Z",
"latest_published_at": "2026-07-14T18:45:22.773287Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
},
{
"name": "assura-smt",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"compiler",
"contracts",
"formal-methods",
"smt",
"verification",
"compilers",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/assura-smt",
"is_deprecated": false,
"latest_version": "0.4.0",
"repository_url": "https://github.com/assura-lang/assura",
"versions_count": 4,
"total_downloads": 1232,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 411,
"first_published_at": "2026-07-04T04:22:10.653988Z",
"latest_published_at": "2026-07-14T18:42:50.684980Z",
"latest_version_yanked": false,
"days_since_latest_publish": 13
}
]
},
"popularity": {
"forks": 1,
"stars": 3,
"watchers": 0,
"fork_history": {
"days": [
{
"date": "2026-07-14",
"count": 1
}
],
"complete": true,
"collected": 1,
"total_forks": 1
},
"star_history": null,
"open_issues_and_prs": 4
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"demos",
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [],
"api_schema_files": [
"crates/assura-server/proto/assura.proto"
],
"has_devcontainer": true,
"typecheck_configs": [
"editors/vscode/tsconfig.json"
],
"toolchain_manifests": [
"Cargo.toml",
"crates/assura-ast/Cargo.toml",
"crates/assura-bench/Cargo.toml",
"crates/assura-cli/Cargo.toml",
"crates/assura-codegen/Cargo.toml",
"crates/assura-config/Cargo.toml",
"crates/assura-diagnostics/Cargo.toml",
"crates/assura-driver/Cargo.toml",
"crates/assura-fmt/Cargo.toml",
"crates/assura-llm/Cargo.toml",
"crates/assura-lsp/Cargo.toml",
"crates/assura-macros/Cargo.toml",
"crates/assura-mcp/Cargo.toml",
"crates/assura-parser/Cargo.toml",
"crates/assura-parser/fuzz/Cargo.toml",
"crates/assura-pipeline/Cargo.toml",
"crates/assura-resolve/Cargo.toml",
"crates/assura-runtime/Cargo.toml",
"crates/assura-rust-analyzer/Cargo.toml",
"crates/assura-server/Cargo.toml",
"crates/assura-smt/Cargo.toml",
"crates/assura-stdlib/Cargo.toml",
"crates/assura-test-support/Cargo.toml",
"crates/assura-types/Cargo.toml",
"fuzz/Cargo.toml"
],
"largest_source_bytes": 438105,
"source_files_sampled": 464,
"oversized_source_files": 11,
"agent_instruction_files": [
".github/copilot-instructions.md",
"AGENTS.md"
],
"agent_instruction_max_bytes": 92746
},
"dependencies": {
"manifests": [
"Cargo.toml",
"fuzz/Cargo.toml"
],
"advisories": {
"error": null,
"scope": "repository_graph",
"source": "osv",
"findings": [
{
"name": "brace-expansion",
"direct": false,
"version": "2.1.2",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-mh99-v99m-4gvg"
],
"fixed_version": "5.0.8",
"advisory_count": 1,
"oldest_advisory_days": 3
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"high": 1
},
"advisory_count": 1,
"affected_count": 1,
"assessed_count": 811,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 54,
"direct_affected_count": 0
},
"ecosystems": [
"crates"
],
"dependencies": [
{
"name": "assura-parser",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-resolve",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-types",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-codegen",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-pipeline",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-config",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-fmt",
"manifest": "crates/assura-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-parser",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-resolve",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-types",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-codegen",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-smt",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-config",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-fmt",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "clap",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "4"
},
{
"name": "serde_json",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "notify",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "8"
},
{
"name": "toml",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.1"
},
{
"name": "clap_complete",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "4.6.5"
},
{
"name": "assura-lsp",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-mcp",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-pipeline",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-rust-analyzer",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-llm",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "syn",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3"
},
{
"name": "quote",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "tower-lsp",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.20"
},
{
"name": "tokio",
"manifest": "crates/assura-cli/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.52.3"
},
{
"name": "assura-ast",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-resolve",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-types",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-parser",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "prettyplease",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.3"
},
{
"name": "serde",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "syn",
"manifest": "crates/assura-codegen/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3"
},
{
"name": "serde",
"manifest": "crates/assura-config/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "toml",
"manifest": "crates/assura-config/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.1"
},
{
"name": "ariadne",
"manifest": "crates/assura-diagnostics/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.6"
},
{
"name": "serde",
"manifest": "crates/assura-diagnostics/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde",
"manifest": "crates/assura-driver/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-driver/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "assura-parser",
"manifest": "crates/assura-fmt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "rowan",
"manifest": "crates/assura-fmt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.16"
},
{
"name": "assura-rust-analyzer",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "serde",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "sha2",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.11"
},
{
"name": "reqwest",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.13"
},
{
"name": "thiserror",
"manifest": "crates/assura-llm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2"
},
{
"name": "assura-parser",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-resolve",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-types",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-fmt",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-pipeline",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-config",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-rust-analyzer",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "tower-lsp",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.20"
},
{
"name": "tokio",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "dashmap",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "6"
},
{
"name": "ropey",
"manifest": "crates/assura-lsp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "syn",
"manifest": "crates/assura-macros/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3"
},
{
"name": "quote",
"manifest": "crates/assura-macros/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "proc-macro2",
"manifest": "crates/assura-macros/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "assura-config",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-codegen",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-pipeline",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-smt",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-rust-analyzer",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "rmcp",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2.2"
},
{
"name": "serde",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "schemars",
"manifest": "crates/assura-mcp/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "assura-ast",
"manifest": "crates/assura-parser/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-parser/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "logos",
"manifest": "crates/assura-parser/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.16"
},
{
"name": "rowan",
"manifest": "crates/assura-parser/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.16"
},
{
"name": "assura-parser",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-resolve",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-types",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-smt",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-codegen",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-config",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "serde",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-pipeline/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "assura-parser",
"manifest": "crates/assura-resolve/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-resolve/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-stdlib",
"manifest": "crates/assura-resolve/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-config",
"manifest": "crates/assura-resolve/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "syn",
"manifest": "crates/assura-rust-analyzer/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3"
},
{
"name": "proc-macro2",
"manifest": "crates/assura-rust-analyzer/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "quote",
"manifest": "crates/assura-rust-analyzer/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "thiserror",
"manifest": "crates/assura-rust-analyzer/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2"
},
{
"name": "assura-diagnostics",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-pipeline",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "assura-config",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tonic",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.14"
},
{
"name": "prost",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.14"
},
{
"name": "tonic-prost",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.14"
},
{
"name": "tokio",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "axum",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.8"
},
{
"name": "serde",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "tower",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.5"
},
{
"name": "tokio-stream",
"manifest": "crates/assura-server/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.1"
},
{
"name": "assura-ast",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-types",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-config",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-parser",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "assura-resolve",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
},
{
"name": "z3",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.20"
},
{
"name": "cvc5",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4"
},
{
"name": "serde",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "rayon",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "sha2",
"manifest": "crates/assura-smt/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.11"
},
{
"name": "assura-parser",
"manifest": "crates/assura-stdlib/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4.0"
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "ariadne",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "ariadne",
"direct": true,
"version": "0.6.0",
"ecosystem": "crates"
},
{
"name": "assura-ast",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-codegen",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-config",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-diagnostics",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-fmt",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-llm",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-lsp",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-mcp",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-parser",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-pipeline",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-resolve",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-rust-analyzer",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-smt",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-stdlib",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "assura-types",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "axum",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "axum",
"direct": true,
"version": "0.8.9",
"ecosystem": "crates"
},
{
"name": "clap",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "clap",
"direct": true,
"version": "4.6.4",
"ecosystem": "crates"
},
{
"name": "clap_complete",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "clap_complete",
"direct": true,
"version": "4.6.7",
"ecosystem": "crates"
},
{
"name": "cvc5",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "cvc5",
"direct": true,
"version": "0.4.0",
"ecosystem": "crates"
},
{
"name": "dashmap",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "dashmap",
"direct": true,
"version": "5.5.3",
"ecosystem": "crates"
},
{
"name": "dashmap",
"direct": true,
"version": "6.2.1",
"ecosystem": "crates"
},
{
"name": "logos",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "logos",
"direct": true,
"version": "0.16.1",
"ecosystem": "crates"
},
{
"name": "notify",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "notify",
"direct": true,
"version": "8.2.0",
"ecosystem": "crates"
},
{
"name": "prettyplease",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "prettyplease",
"direct": true,
"version": "0.2.37",
"ecosystem": "crates"
},
{
"name": "prettyplease",
"direct": true,
"version": "0.3.0",
"ecosystem": "crates"
},
{
"name": "proc-macro2",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "proc-macro2",
"direct": true,
"version": "1.0.107",
"ecosystem": "crates"
},
{
"name": "prost",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "prost",
"direct": true,
"version": "0.14.4",
"ecosystem": "crates"
},
{
"name": "quote",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "quote",
"direct": true,
"version": "1.0.47",
"ecosystem": "crates"
},
{
"name": "rayon",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "rayon",
"direct": true,
"version": "1.12.0",
"ecosystem": "crates"
},
{
"name": "reqwest",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "reqwest",
"direct": true,
"version": "0.12.28",
"ecosystem": "crates"
},
{
"name": "reqwest",
"direct": true,
"version": "0.13.4",
"ecosystem": "crates"
},
{
"name": "rmcp",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "rmcp",
"direct": true,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "ropey",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "ropey",
"direct": true,
"version": "1.6.1",
"ecosystem": "crates"
},
{
"name": "rowan",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "rowan",
"direct": true,
"version": "0.16.1",
"ecosystem": "crates"
},
{
"name": "schemars",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "schemars",
"direct": true,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "serde",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "serde",
"direct": true,
"version": "1.0.229",
"ecosystem": "crates"
},
{
"name": "serde_json",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "serde_json",
"direct": true,
"version": "1.0.151",
"ecosystem": "crates"
},
{
"name": "sha2",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "sha2",
"direct": true,
"version": "0.11.0",
"ecosystem": "crates"
},
{
"name": "syn",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "syn",
"direct": true,
"version": "2.0.119",
"ecosystem": "crates"
},
{
"name": "syn",
"direct": true,
"version": "3.0.3",
"ecosystem": "crates"
},
{
"name": "thiserror",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "thiserror",
"direct": true,
"version": "2.0.19",
"ecosystem": "crates"
},
{
"name": "tokio",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tokio",
"direct": true,
"version": "1.53.1",
"ecosystem": "crates"
},
{
"name": "tokio-stream",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tokio-stream",
"direct": true,
"version": "0.1.19",
"ecosystem": "crates"
},
{
"name": "toml",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "toml",
"direct": true,
"version": "0.8.23",
"ecosystem": "crates"
},
{
"name": "toml",
"direct": true,
"version": "1.1.3+spec-1.1.0",
"ecosystem": "crates"
},
{
"name": "tonic",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tonic",
"direct": true,
"version": "0.14.6",
"ecosystem": "crates"
},
{
"name": "tonic-prost",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tonic-prost",
"direct": true,
"version": "0.14.6",
"ecosystem": "crates"
},
{
"name": "tower",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tower",
"direct": true,
"version": "0.4.13",
"ecosystem": "crates"
},
{
"name": "tower",
"direct": true,
"version": "0.5.3",
"ecosystem": "crates"
},
{
"name": "tower-lsp",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "tower-lsp",
"direct": true,
"version": "0.20.0",
"ecosystem": "crates"
},
{
"name": "z3",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "z3",
"direct": true,
"version": "0.20.2",
"ecosystem": "crates"
},
{
"name": "adler2",
"direct": false,
"version": "2.0.1",
"ecosystem": "crates"
},
{
"name": "aes",
"direct": false,
"version": "0.9.1",
"ecosystem": "crates"
},
{
"name": "aho-corasick",
"direct": false,
"version": "1.1.4",
"ecosystem": "crates"
},
{
"name": "alloca",
"direct": false,
"version": "0.4.0",
"ecosystem": "crates"
},
{
"name": "android_system_properties",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "anes",
"direct": false,
"version": "0.1.6",
"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.103",
"ecosystem": "crates"
},
{
"name": "assura-runtime",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "async-trait",
"direct": false,
"version": "0.1.89",
"ecosystem": "crates"
},
{
"name": "atomic-waker",
"direct": false,
"version": "1.1.2",
"ecosystem": "crates"
},
{
"name": "auto_impl",
"direct": false,
"version": "1.3.0",
"ecosystem": "crates"
},
{
"name": "autocfg",
"direct": false,
"version": "1.5.1",
"ecosystem": "crates"
},
{
"name": "axum-core",
"direct": false,
"version": "0.5.6",
"ecosystem": "crates"
},
{
"name": "base64",
"direct": false,
"version": "0.22.1",
"ecosystem": "crates"
},
{
"name": "bindgen",
"direct": false,
"version": "0.72.1",
"ecosystem": "crates"
},
{
"name": "bitflags",
"direct": false,
"version": "1.3.2",
"ecosystem": "crates"
},
{
"name": "bitflags",
"direct": false,
"version": "2.13.0",
"ecosystem": "crates"
},
{
"name": "block-buffer",
"direct": false,
"version": "0.12.1",
"ecosystem": "crates"
},
{
"name": "bumpalo",
"direct": false,
"version": "3.20.3",
"ecosystem": "crates"
},
{
"name": "bytes",
"direct": false,
"version": "1.11.1",
"ecosystem": "crates"
},
{
"name": "bzip2",
"direct": false,
"version": "0.6.1",
"ecosystem": "crates"
},
{
"name": "cast",
"direct": false,
"version": "0.3.0",
"ecosystem": "crates"
},
{
"name": "cc",
"direct": false,
"version": "1.2.64",
"ecosystem": "crates"
},
{
"name": "cexpr",
"direct": false,
"version": "0.6.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": "chrono",
"direct": false,
"version": "0.4.45",
"ecosystem": "crates"
},
{
"name": "ciborium",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "ciborium-io",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "ciborium-ll",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "cipher",
"direct": false,
"version": "0.5.2",
"ecosystem": "crates"
},
{
"name": "clang-sys",
"direct": false,
"version": "1.8.1",
"ecosystem": "crates"
},
{
"name": "clap_builder",
"direct": false,
"version": "4.6.2",
"ecosystem": "crates"
},
{
"name": "clap_derive",
"direct": false,
"version": "4.6.4",
"ecosystem": "crates"
},
{
"name": "clap_lex",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "cmov",
"direct": false,
"version": "0.5.4",
"ecosystem": "crates"
},
{
"name": "colorchoice",
"direct": false,
"version": "1.0.5",
"ecosystem": "crates"
},
{
"name": "console",
"direct": false,
"version": "0.16.3",
"ecosystem": "crates"
},
{
"name": "const-oid",
"direct": false,
"version": "0.10.2",
"ecosystem": "crates"
},
{
"name": "constant_time_eq",
"direct": false,
"version": "0.4.2",
"ecosystem": "crates"
},
{
"name": "convert_case",
"direct": false,
"version": "0.11.0",
"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": "countme",
"direct": false,
"version": "3.0.1",
"ecosystem": "crates"
},
{
"name": "cpubits",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "cpufeatures",
"direct": false,
"version": "0.3.0",
"ecosystem": "crates"
},
{
"name": "crc32fast",
"direct": false,
"version": "1.5.0",
"ecosystem": "crates"
},
{
"name": "criterion",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "criterion",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "criterion-plot",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "crossbeam-deque",
"direct": false,
"version": "0.8.6",
"ecosystem": "crates"
},
{
"name": "crossbeam-epoch",
"direct": false,
"version": "0.9.20",
"ecosystem": "crates"
},
{
"name": "crossbeam-utils",
"direct": false,
"version": "0.8.21",
"ecosystem": "crates"
},
{
"name": "crunchy",
"direct": false,
"version": "0.2.4",
"ecosystem": "crates"
},
{
"name": "crypto-common",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "ctutils",
"direct": false,
"version": "0.4.2",
"ecosystem": "crates"
},
{
"name": "cvc5-sys",
"direct": false,
"version": "0.4.0",
"ecosystem": "crates"
},
{
"name": "darling",
"direct": false,
"version": "0.23.0",
"ecosystem": "crates"
},
{
"name": "darling_core",
"direct": false,
"version": "0.23.0",
"ecosystem": "crates"
},
{
"name": "darling_macro",
"direct": false,
"version": "0.23.0",
"ecosystem": "crates"
},
{
"name": "deflate64",
"direct": false,
"version": "0.1.12",
"ecosystem": "crates"
},
{
"name": "deranged",
"direct": false,
"version": "0.5.8",
"ecosystem": "crates"
},
{
"name": "digest",
"direct": false,
"version": "0.11.3",
"ecosystem": "crates"
},
{
"name": "displaydoc",
"direct": false,
"version": "0.2.6",
"ecosystem": "crates"
},
{
"name": "dyn-clone",
"direct": false,
"version": "1.0.20",
"ecosystem": "crates"
},
{
"name": "either",
"direct": false,
"version": "1.16.0",
"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": "fixedbitset",
"direct": false,
"version": "0.5.7",
"ecosystem": "crates"
},
{
"name": "flate2",
"direct": false,
"version": "1.1.9",
"ecosystem": "crates"
},
{
"name": "fnv",
"direct": false,
"version": "1.0.7",
"ecosystem": "crates"
},
{
"name": "foldhash",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "foreign-types",
"direct": false,
"version": "0.3.2",
"ecosystem": "crates"
},
{
"name": "foreign-types-shared",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "form_urlencoded",
"direct": false,
"version": "1.2.2",
"ecosystem": "crates"
},
{
"name": "fsevent-sys",
"direct": false,
"version": "4.1.0",
"ecosystem": "crates"
},
{
"name": "futures",
"direct": false,
"version": "0.3.32",
"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-executor",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-io",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-macro",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-sink",
"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": "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": "glob",
"direct": false,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "h2",
"direct": false,
"version": "0.4.15",
"ecosystem": "crates"
},
{
"name": "half",
"direct": false,
"version": "2.7.1",
"ecosystem": "crates"
},
{
"name": "hashbrown",
"direct": false,
"version": "0.14.5",
"ecosystem": "crates"
},
{
"name": "hashbrown",
"direct": false,
"version": "0.15.5",
"ecosystem": "crates"
},
{
"name": "hashbrown",
"direct": false,
"version": "0.17.1",
"ecosystem": "crates"
},
{
"name": "heck",
"direct": false,
"version": "0.5.0",
"ecosystem": "crates"
},
{
"name": "hmac",
"direct": false,
"version": "0.13.0",
"ecosystem": "crates"
},
{
"name": "http",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "http",
"direct": false,
"version": "1.4.2",
"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": "httpdate",
"direct": false,
"version": "1.0.3",
"ecosystem": "crates"
},
{
"name": "hybrid-array",
"direct": false,
"version": "0.4.12",
"ecosystem": "crates"
},
{
"name": "hyper",
"direct": false,
"version": "1.10.1",
"ecosystem": "crates"
},
{
"name": "hyper-rustls",
"direct": false,
"version": "0.27.9",
"ecosystem": "crates"
},
{
"name": "hyper-timeout",
"direct": false,
"version": "0.5.2",
"ecosystem": "crates"
},
{
"name": "hyper-tls",
"direct": false,
"version": "0.6.0",
"ecosystem": "crates"
},
{
"name": "hyper-util",
"direct": false,
"version": "0.1.20",
"ecosystem": "crates"
},
{
"name": "iana-time-zone",
"direct": false,
"version": "0.1.65",
"ecosystem": "crates"
},
{
"name": "iana-time-zone-haiku",
"direct": false,
"version": "0.1.2",
"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": "ident_case",
"direct": false,
"version": "1.0.1",
"ecosystem": "crates"
},
{
"name": "idna",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "idna_adapter",
"direct": false,
"version": "1.2.2",
"ecosystem": "crates"
},
{
"name": "indexmap",
"direct": false,
"version": "2.14.0",
"ecosystem": "crates"
},
{
"name": "inotify",
"direct": false,
"version": "0.11.2",
"ecosystem": "crates"
},
{
"name": "inotify-sys",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "inout",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "insta",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "insta",
"direct": false,
"version": "1.48.0",
"ecosystem": "crates"
},
{
"name": "ipnet",
"direct": false,
"version": "2.12.0",
"ecosystem": "crates"
},
{
"name": "is_terminal_polyfill",
"direct": false,
"version": "1.70.2",
"ecosystem": "crates"
},
{
"name": "itertools",
"direct": false,
"version": "0.13.0",
"ecosystem": "crates"
},
{
"name": "itertools",
"direct": false,
"version": "0.14.0",
"ecosystem": "crates"
},
{
"name": "itoa",
"direct": false,
"version": "1.0.18",
"ecosystem": "crates"
},
{
"name": "jobserver",
"direct": false,
"version": "0.1.34",
"ecosystem": "crates"
},
{
"name": "js-sys",
"direct": false,
"version": "0.3.102",
"ecosystem": "crates"
},
{
"name": "kqueue",
"direct": false,
"version": "1.2.0",
"ecosystem": "crates"
},
{
"name": "kqueue-sys",
"direct": false,
"version": "1.1.2",
"ecosystem": "crates"
},
{
"name": "leb128fmt",
"direct": false,
"version": "0.1.0",
"ecosystem": "crates"
},
{
"name": "libbz2-rs-sys",
"direct": false,
"version": "0.2.5",
"ecosystem": "crates"
},
{
"name": "libc",
"direct": false,
"version": "0.2.186",
"ecosystem": "crates"
},
{
"name": "libfuzzer-sys",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "libloading",
"direct": false,
"version": "0.8.9",
"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.32",
"ecosystem": "crates"
},
{
"name": "logos-codegen",
"direct": false,
"version": "0.16.1",
"ecosystem": "crates"
},
{
"name": "logos-derive",
"direct": false,
"version": "0.16.1",
"ecosystem": "crates"
},
{
"name": "lru-slab",
"direct": false,
"version": "0.1.2",
"ecosystem": "crates"
},
{
"name": "lsp-types",
"direct": false,
"version": "0.94.1",
"ecosystem": "crates"
},
{
"name": "lzma-rust2",
"direct": false,
"version": "0.16.4",
"ecosystem": "crates"
},
{
"name": "matchit",
"direct": false,
"version": "0.8.4",
"ecosystem": "crates"
},
{
"name": "memchr",
"direct": false,
"version": "2.8.2",
"ecosystem": "crates"
},
{
"name": "mime",
"direct": false,
"version": "0.3.17",
"ecosystem": "crates"
},
{
"name": "minimal-lexical",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "miniz_oxide",
"direct": false,
"version": "0.8.9",
"ecosystem": "crates"
},
{
"name": "mio",
"direct": false,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "multimap",
"direct": false,
"version": "0.10.1",
"ecosystem": "crates"
},
{
"name": "native-tls",
"direct": false,
"version": "0.2.18",
"ecosystem": "crates"
},
{
"name": "nom",
"direct": false,
"version": "7.1.3",
"ecosystem": "crates"
},
{
"name": "notify-types",
"direct": false,
"version": "2.1.0",
"ecosystem": "crates"
},
{
"name": "num-conv",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "num-traits",
"direct": false,
"version": "0.2.19",
"ecosystem": "crates"
},
{
"name": "once_cell",
"direct": false,
"version": "1.21.4",
"ecosystem": "crates"
},
{
"name": "once_cell_polyfill",
"direct": false,
"version": "1.70.2",
"ecosystem": "crates"
},
{
"name": "oorandom",
"direct": false,
"version": "11.1.5",
"ecosystem": "crates"
},
{
"name": "openssl",
"direct": false,
"version": "0.10.81",
"ecosystem": "crates"
},
{
"name": "openssl-macros",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "openssl-probe",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "openssl-sys",
"direct": false,
"version": "0.9.117",
"ecosystem": "crates"
},
{
"name": "page_size",
"direct": false,
"version": "0.6.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": "pastey",
"direct": false,
"version": "0.2.3",
"ecosystem": "crates"
},
{
"name": "pbkdf2",
"direct": false,
"version": "0.13.0",
"ecosystem": "crates"
},
{
"name": "percent-encoding",
"direct": false,
"version": "2.3.2",
"ecosystem": "crates"
},
{
"name": "petgraph",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "pin-project",
"direct": false,
"version": "1.1.13",
"ecosystem": "crates"
},
{
"name": "pin-project-internal",
"direct": false,
"version": "1.1.13",
"ecosystem": "crates"
},
{
"name": "pin-project-lite",
"direct": false,
"version": "0.2.17",
"ecosystem": "crates"
},
{
"name": "pkg-config",
"direct": false,
"version": "0.3.33",
"ecosystem": "crates"
},
{
"name": "plotters",
"direct": false,
"version": "0.3.7",
"ecosystem": "crates"
},
{
"name": "plotters-backend",
"direct": false,
"version": "0.3.7",
"ecosystem": "crates"
},
{
"name": "plotters-svg",
"direct": false,
"version": "0.3.7",
"ecosystem": "crates"
},
{
"name": "potential_utf",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "powerfmt",
"direct": false,
"version": "0.2.0",
"ecosystem": "crates"
},
{
"name": "ppmd-rust",
"direct": false,
"version": "1.4.0",
"ecosystem": "crates"
},
{
"name": "ppv-lite86",
"direct": false,
"version": "0.2.21",
"ecosystem": "crates"
},
{
"name": "prost-build",
"direct": false,
"version": "0.14.4",
"ecosystem": "crates"
},
{
"name": "prost-derive",
"direct": false,
"version": "0.14.4",
"ecosystem": "crates"
},
{
"name": "prost-types",
"direct": false,
"version": "0.14.4",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-linux-aarch_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-linux-ppcle_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-linux-s390_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-linux-x86_32",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-linux-x86_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-macos-aarch_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-macos-x86_64",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "protoc-bin-vendored-win32",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "pulldown-cmark",
"direct": false,
"version": "0.13.4",
"ecosystem": "crates"
},
{
"name": "pulldown-cmark-to-cmark",
"direct": false,
"version": "22.0.0",
"ecosystem": "crates"
},
{
"name": "quinn",
"direct": false,
"version": "0.11.11",
"ecosystem": "crates"
},
{
"name": "quinn-proto",
"direct": false,
"version": "0.11.15",
"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": "rayon-core",
"direct": false,
"version": "1.13.0",
"ecosystem": "crates"
},
{
"name": "redox_syscall",
"direct": false,
"version": "0.5.18",
"ecosystem": "crates"
},
{
"name": "ref-cast",
"direct": false,
"version": "1.0.25",
"ecosystem": "crates"
},
{
"name": "ref-cast-impl",
"direct": false,
"version": "1.0.25",
"ecosystem": "crates"
},
{
"name": "regex",
"direct": false,
"version": "1.12.4",
"ecosystem": "crates"
},
{
"name": "regex-automata",
"direct": false,
"version": "0.4.14",
"ecosystem": "crates"
},
{
"name": "regex-syntax",
"direct": false,
"version": "0.8.11",
"ecosystem": "crates"
},
{
"name": "ring",
"direct": false,
"version": "0.17.14",
"ecosystem": "crates"
},
{
"name": "rmcp-macros",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "rustc-hash",
"direct": false,
"version": "1.1.0",
"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.41",
"ecosystem": "crates"
},
{
"name": "rustls-pki-types",
"direct": false,
"version": "1.14.1",
"ecosystem": "crates"
},
{
"name": "rustls-webpki",
"direct": false,
"version": "0.103.13",
"ecosystem": "crates"
},
{
"name": "rustversion",
"direct": false,
"version": "1.0.22",
"ecosystem": "crates"
},
{
"name": "ryu",
"direct": false,
"version": "1.0.23",
"ecosystem": "crates"
},
{
"name": "same-file",
"direct": false,
"version": "1.0.6",
"ecosystem": "crates"
},
{
"name": "schannel",
"direct": false,
"version": "0.1.29",
"ecosystem": "crates"
},
{
"name": "schemars_derive",
"direct": false,
"version": "1.2.1",
"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": "semver",
"direct": false,
"version": "1.0.28",
"ecosystem": "crates"
},
{
"name": "serde_core",
"direct": false,
"version": "1.0.229",
"ecosystem": "crates"
},
{
"name": "serde_derive",
"direct": false,
"version": "1.0.229",
"ecosystem": "crates"
},
{
"name": "serde_derive_internals",
"direct": false,
"version": "0.29.1",
"ecosystem": "crates"
},
{
"name": "serde_path_to_error",
"direct": false,
"version": "0.1.20",
"ecosystem": "crates"
},
{
"name": "serde_repr",
"direct": false,
"version": "0.1.20",
"ecosystem": "crates"
},
{
"name": "serde_spanned",
"direct": false,
"version": "0.6.9",
"ecosystem": "crates"
},
{
"name": "serde_spanned",
"direct": false,
"version": "1.1.1",
"ecosystem": "crates"
},
{
"name": "serde_urlencoded",
"direct": false,
"version": "0.7.1",
"ecosystem": "crates"
},
{
"name": "sha1",
"direct": false,
"version": "0.11.0",
"ecosystem": "crates"
},
{
"name": "shlex",
"direct": false,
"version": "1.3.0",
"ecosystem": "crates"
},
{
"name": "shlex",
"direct": false,
"version": "2.0.1",
"ecosystem": "crates"
},
{
"name": "signal-hook-registry",
"direct": false,
"version": "1.4.8",
"ecosystem": "crates"
},
{
"name": "simd-adler32",
"direct": false,
"version": "0.3.9",
"ecosystem": "crates"
},
{
"name": "similar",
"direct": false,
"version": "2.7.0",
"ecosystem": "crates"
},
{
"name": "slab",
"direct": false,
"version": "0.4.12",
"ecosystem": "crates"
},
{
"name": "smallvec",
"direct": false,
"version": "1.15.2",
"ecosystem": "crates"
},
{
"name": "socket2",
"direct": false,
"version": "0.6.4",
"ecosystem": "crates"
},
{
"name": "stable_deref_trait",
"direct": false,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "str_indices",
"direct": false,
"version": "0.4.4",
"ecosystem": "crates"
},
{
"name": "strsim",
"direct": false,
"version": "0.11.1",
"ecosystem": "crates"
},
{
"name": "subtle",
"direct": false,
"version": "2.6.1",
"ecosystem": "crates"
},
{
"name": "sync_wrapper",
"direct": false,
"version": "1.0.2",
"ecosystem": "crates"
},
{
"name": "synstructure",
"direct": false,
"version": "0.13.2",
"ecosystem": "crates"
},
{
"name": "tempfile",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "tempfile",
"direct": false,
"version": "3.27.0",
"ecosystem": "crates"
},
{
"name": "text-size",
"direct": false,
"version": "1.1.1",
"ecosystem": "crates"
},
{
"name": "thiserror-impl",
"direct": false,
"version": "2.0.19",
"ecosystem": "crates"
},
{
"name": "time",
"direct": false,
"version": "0.3.51",
"ecosystem": "crates"
},
{
"name": "time-core",
"direct": false,
"version": "0.1.9",
"ecosystem": "crates"
},
{
"name": "tinystr",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "tinytemplate",
"direct": false,
"version": "1.2.1",
"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-macros",
"direct": false,
"version": "2.7.0",
"ecosystem": "crates"
},
{
"name": "tokio-native-tls",
"direct": false,
"version": "0.3.1",
"ecosystem": "crates"
},
{
"name": "tokio-rustls",
"direct": false,
"version": "0.26.4",
"ecosystem": "crates"
},
{
"name": "tokio-util",
"direct": false,
"version": "0.7.18",
"ecosystem": "crates"
},
{
"name": "toml_datetime",
"direct": false,
"version": "0.6.11",
"ecosystem": "crates"
},
{
"name": "toml_datetime",
"direct": false,
"version": "1.1.1+spec-1.1.0",
"ecosystem": "crates"
},
{
"name": "toml_edit",
"direct": false,
"version": "0.22.27",
"ecosystem": "crates"
},
{
"name": "toml_parser",
"direct": false,
"version": "1.1.2+spec-1.1.0",
"ecosystem": "crates"
},
{
"name": "toml_write",
"direct": false,
"version": "0.1.2",
"ecosystem": "crates"
},
{
"name": "toml_writer",
"direct": false,
"version": "1.1.2+spec-1.1.0",
"ecosystem": "crates"
},
{
"name": "tonic-build",
"direct": false,
"version": "0.14.6",
"ecosystem": "crates"
},
{
"name": "tonic-prost-build",
"direct": false,
"version": null,
"ecosystem": "crates"
},
{
"name": "tonic-prost-build",
"direct": false,
"version": "0.14.6",
"ecosystem": "crates"
},
{
"name": "tower-http",
"direct": false,
"version": "0.6.11",
"ecosystem": "crates"
},
{
"name": "tower-layer",
"direct": false,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "tower-lsp-macros",
"direct": false,
"version": "0.9.0",
"ecosystem": "crates"
},
{
"name": "tower-service",
"direct": false,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "tracing",
"direct": false,
"version": "0.1.44",
"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": "try-lock",
"direct": false,
"version": "0.2.5",
"ecosystem": "crates"
},
{
"name": "typed-path",
"direct": false,
"version": "0.12.3",
"ecosystem": "crates"
},
{
"name": "typenum",
"direct": false,
"version": "1.20.1",
"ecosystem": "crates"
},
{
"name": "unicase",
"direct": false,
"version": "2.9.0",
"ecosystem": "crates"
},
{
"name": "unicode-ident",
"direct": false,
"version": "1.0.24",
"ecosystem": "crates"
},
{
"name": "unicode-segmentation",
"direct": false,
"version": "1.13.3",
"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": "vcpkg",
"direct": false,
"version": "0.2.15",
"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.4+wasi-0.2.12",
"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.125",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-futures",
"direct": false,
"version": "0.4.75",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-macro",
"direct": false,
"version": "0.2.125",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-macro-support",
"direct": false,
"version": "0.2.125",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-shared",
"direct": false,
"version": "0.2.125",
"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.102",
"ecosystem": "crates"
},
{
"name": "web-time",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "webpki-roots",
"direct": false,
"version": "1.0.8",
"ecosystem": "crates"
},
{
"name": "winapi",
"direct": false,
"version": "0.3.9",
"ecosystem": "crates"
},
{
"name": "winapi-i686-pc-windows-gnu",
"direct": false,
"version": "0.4.0",
"ecosystem": "crates"
},
{
"name": "winapi-util",
"direct": false,
"version": "0.1.11",
"ecosystem": "crates"
},
{
"name": "winapi-x86_64-pc-windows-gnu",
"direct": false,
"version": "0.4.0",
"ecosystem": "crates"
},
{
"name": "windows-core",
"direct": false,
"version": "0.62.2",
"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.2.1",
"ecosystem": "crates"
},
{
"name": "windows-result",
"direct": false,
"version": "0.4.1",
"ecosystem": "crates"
},
{
"name": "windows-strings",
"direct": false,
"version": "0.5.1",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.52.0",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.60.2",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.61.2",
"ecosystem": "crates"
},
{
"name": "windows-targets",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows-targets",
"direct": false,
"version": "0.53.5",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_gnullvm",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_msvc",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnu",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnu",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnullvm",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_i686_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_msvc",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnu",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnu",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnullvm",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_msvc",
"direct": false,
"version": "0.53.1",
"ecosystem": "crates"
},
{
"name": "winnow",
"direct": false,
"version": "0.7.15",
"ecosystem": "crates"
},
{
"name": "winnow",
"direct": false,
"version": "1.0.3",
"ecosystem": "crates"
},
{
"name": "wit-bindgen",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen",
"direct": false,
"version": "0.57.1",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-core",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-rust",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-rust-macro",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-component",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "wit-parser",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "writeable",
"direct": false,
"version": "0.6.3",
"ecosystem": "crates"
},
{
"name": "yansi",
"direct": false,
"version": "1.0.1",
"ecosystem": "crates"
},
{
"name": "yoke",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "yoke-derive",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "z3-sys",
"direct": false,
"version": "0.11.0",
"ecosystem": "crates"
},
{
"name": "zerocopy",
"direct": false,
"version": "0.8.52",
"ecosystem": "crates"
},
{
"name": "zerocopy-derive",
"direct": false,
"version": "0.8.52",
"ecosystem": "crates"
},
{
"name": "zerofrom",
"direct": false,
"version": "0.1.8",
"ecosystem": "crates"
},
{
"name": "zerofrom-derive",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "zeroize",
"direct": false,
"version": "1.9.0",
"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": "zip",
"direct": false,
"version": "8.6.0",
"ecosystem": "crates"
},
{
"name": "zlib-rs",
"direct": false,
"version": "0.6.4",
"ecosystem": "crates"
},
{
"name": "zmij",
"direct": false,
"version": "1.0.21",
"ecosystem": "crates"
},
{
"name": "zopfli",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "zstd",
"direct": false,
"version": "0.13.3",
"ecosystem": "crates"
},
{
"name": "zstd-safe",
"direct": false,
"version": "7.2.4",
"ecosystem": "crates"
},
{
"name": "zstd-sys",
"direct": false,
"version": "2.0.16+zstd.1.5.7",
"ecosystem": "crates"
},
{
"name": "@azu/format-text",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "@azu/style-format",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "@azure/abort-controller",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "@azure/core-auth",
"direct": false,
"version": "1.10.1",
"ecosystem": "npm"
},
{
"name": "@azure/core-client",
"direct": false,
"version": "1.10.2",
"ecosystem": "npm"
},
{
"name": "@azure/core-rest-pipeline",
"direct": false,
"version": "1.24.0",
"ecosystem": "npm"
},
{
"name": "@azure/core-tracing",
"direct": false,
"version": "1.3.1",
"ecosystem": "npm"
},
{
"name": "@azure/core-util",
"direct": false,
"version": "1.13.1",
"ecosystem": "npm"
},
{
"name": "@azure/identity",
"direct": false,
"version": "4.13.1",
"ecosystem": "npm"
},
{
"name": "@azure/logger",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "@azure/msal-browser",
"direct": false,
"version": "5.16.0",
"ecosystem": "npm"
},
{
"name": "@azure/msal-common",
"direct": false,
"version": "16.11.0",
"ecosystem": "npm"
},
{
"name": "@azure/msal-node",
"direct": false,
"version": "5.3.1",
"ecosystem": "npm"
},
{
"name": "@babel/code-frame",
"direct": false,
"version": "7.29.7",
"ecosystem": "npm"
},
{
"name": "@babel/helper-validator-identifier",
"direct": false,
"version": "7.29.7",
"ecosystem": "npm"
},
{
"name": "@isaacs/cliui",
"direct": false,
"version": "8.0.2",
"ecosystem": "npm"
},
{
"name": "@nodelib/fs.scandir",
"direct": false,
"version": "2.1.5",
"ecosystem": "npm"
},
{
"name": "@nodelib/fs.stat",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "@nodelib/fs.walk",
"direct": false,
"version": "1.2.8",
"ecosystem": "npm"
},
{
"name": "@pkgjs/parseargs",
"direct": false,
"version": "0.11.0",
"ecosystem": "npm"
},
{
"name": "@secretlint/config-creator",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/config-loader",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/core",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/formatter",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/node",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/profiler",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/resolver",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/secretlint-formatter-sarif",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/secretlint-rule-no-dotenv",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/secretlint-rule-preset-recommend",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/source-creator",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@secretlint/types",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "@sindresorhus/merge-streams",
"direct": false,
"version": "2.3.0",
"ecosystem": "npm"
},
{
"name": "@textlint/ast-node-types",
"direct": false,
"version": "15.7.1",
"ecosystem": "npm"
},
{
"name": "@textlint/linter-formatter",
"direct": false,
"version": "15.7.1",
"ecosystem": "npm"
},
{
"name": "@textlint/module-interop",
"direct": false,
"version": "15.7.1",
"ecosystem": "npm"
},
{
"name": "@textlint/resolver",
"direct": false,
"version": "15.7.1",
"ecosystem": "npm"
},
{
"name": "@textlint/types",
"direct": false,
"version": "15.7.1",
"ecosystem": "npm"
},
{
"name": "@types/mocha",
"direct": false,
"version": "10.0.10",
"ecosystem": "npm"
},
{
"name": "@types/node",
"direct": false,
"version": "26.1.1",
"ecosystem": "npm"
},
{
"name": "@types/normalize-package-data",
"direct": false,
"version": "2.4.4",
"ecosystem": "npm"
},
{
"name": "@types/sarif",
"direct": false,
"version": "2.1.7",
"ecosystem": "npm"
},
{
"name": "@types/vscode",
"direct": false,
"version": "1.125.0",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-aix-ppc64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-darwin-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-darwin-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-freebsd-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-freebsd-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-arm",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-loong64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-mips64el",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-ppc64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-riscv64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-s390x",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-linux-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-netbsd-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-netbsd-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-openbsd-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-openbsd-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-sunos-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-win32-arm64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typescript/typescript-win32-x64",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "@typespec/ts-http-runtime",
"direct": false,
"version": "0.3.6",
"ecosystem": "npm"
},
{
"name": "@vscode/test-electron",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce",
"direct": false,
"version": "3.9.2",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign",
"direct": false,
"version": "2.0.9",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-alpine-arm64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-alpine-x64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-darwin-arm64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-darwin-x64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-linux-arm",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-linux-arm64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-linux-x64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-win32-arm64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "@vscode/vsce-sign-win32-x64",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "agent-base",
"direct": false,
"version": "7.1.4",
"ecosystem": "npm"
},
{
"name": "ajv",
"direct": false,
"version": "8.20.0",
"ecosystem": "npm"
},
{
"name": "ansi-escapes",
"direct": false,
"version": "7.3.0",
"ecosystem": "npm"
},
{
"name": "ansi-regex",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "ansi-regex",
"direct": false,
"version": "6.2.2",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "6.2.3",
"ecosystem": "npm"
},
{
"name": "argparse",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "astral-regex",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "asynckit",
"direct": false,
"version": "0.4.0",
"ecosystem": "npm"
},
{
"name": "azure-devops-node-api",
"direct": false,
"version": "12.5.0",
"ecosystem": "npm"
},
{
"name": "balanced-match",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "balanced-match",
"direct": false,
"version": "4.0.4",
"ecosystem": "npm"
},
{
"name": "base64-js",
"direct": false,
"version": "1.5.1",
"ecosystem": "npm"
},
{
"name": "binaryextensions",
"direct": false,
"version": "6.11.0",
"ecosystem": "npm"
},
{
"name": "bl",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "boolbase",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "boundary",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "brace-expansion",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "brace-expansion",
"direct": false,
"version": "5.0.8",
"ecosystem": "npm"
},
{
"name": "braces",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "browser-stdout",
"direct": false,
"version": "1.3.1",
"ecosystem": "npm"
},
{
"name": "buffer",
"direct": false,
"version": "5.7.1",
"ecosystem": "npm"
},
{
"name": "buffer-crc32",
"direct": false,
"version": "0.2.13",
"ecosystem": "npm"
},
{
"name": "buffer-equal-constant-time",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "bundle-name",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "call-bind-apply-helpers",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "call-bound",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "camelcase",
"direct": false,
"version": "6.3.0",
"ecosystem": "npm"
},
{
"name": "chalk",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "chalk",
"direct": false,
"version": "5.6.2",
"ecosystem": "npm"
},
{
"name": "cheerio",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "cheerio-select",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "chokidar",
"direct": false,
"version": "4.0.3",
"ecosystem": "npm"
},
{
"name": "chownr",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "cli-cursor",
"direct": false,
"version": "5.0.0",
"ecosystem": "npm"
},
{
"name": "cli-spinners",
"direct": false,
"version": "2.9.2",
"ecosystem": "npm"
},
{
"name": "cliui",
"direct": false,
"version": "8.0.1",
"ecosystem": "npm"
},
{
"name": "cockatiel",
"direct": false,
"version": "3.2.1",
"ecosystem": "npm"
},
{
"name": "color-convert",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "color-name",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "combined-stream",
"direct": false,
"version": "1.0.8",
"ecosystem": "npm"
},
{
"name": "commander",
"direct": false,
"version": "12.1.0",
"ecosystem": "npm"
},
{
"name": "core-util-is",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "cross-spawn",
"direct": false,
"version": "7.0.6",
"ecosystem": "npm"
},
{
"name": "css-select",
"direct": false,
"version": "5.2.2",
"ecosystem": "npm"
},
{
"name": "css-what",
"direct": false,
"version": "6.2.2",
"ecosystem": "npm"
},
{
"name": "debug",
"direct": false,
"version": "4.4.3",
"ecosystem": "npm"
},
{
"name": "decamelize",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "decompress-response",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "deep-extend",
"direct": false,
"version": "0.6.0",
"ecosystem": "npm"
},
{
"name": "default-browser",
"direct": false,
"version": "5.5.0",
"ecosystem": "npm"
},
{
"name": "default-browser-id",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "define-lazy-prop",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "delayed-stream",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "detect-libc",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "diff",
"direct": false,
"version": "8.0.3",
"ecosystem": "npm"
},
{
"name": "dom-serializer",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "domelementtype",
"direct": false,
"version": "2.3.0",
"ecosystem": "npm"
},
{
"name": "domhandler",
"direct": false,
"version": "5.0.3",
"ecosystem": "npm"
},
{
"name": "domutils",
"direct": false,
"version": "3.2.2",
"ecosystem": "npm"
},
{
"name": "dunder-proto",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "eastasianwidth",
"direct": false,
"version": "0.2.0",
"ecosystem": "npm"
},
{
"name": "ecdsa-sig-formatter",
"direct": false,
"version": "1.0.11",
"ecosystem": "npm"
},
{
"name": "editions",
"direct": false,
"version": "6.22.0",
"ecosystem": "npm"
},
{
"name": "emoji-regex",
"direct": false,
"version": "10.6.0",
"ecosystem": "npm"
},
{
"name": "emoji-regex",
"direct": false,
"version": "8.0.0",
"ecosystem": "npm"
},
{
"name": "emoji-regex",
"direct": false,
"version": "9.2.2",
"ecosystem": "npm"
},
{
"name": "encoding-sniffer",
"direct": false,
"version": "0.2.1",
"ecosystem": "npm"
},
{
"name": "end-of-stream",
"direct": false,
"version": "1.4.5",
"ecosystem": "npm"
},
{
"name": "entities",
"direct": false,
"version": "4.5.0",
"ecosystem": "npm"
},
{
"name": "entities",
"direct": false,
"version": "6.0.1",
"ecosystem": "npm"
},
{
"name": "entities",
"direct": false,
"version": "7.0.1",
"ecosystem": "npm"
},
{
"name": "environment",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "es-define-property",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "es-errors",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "es-object-atoms",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "es-set-tostringtag",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "escalade",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "escape-string-regexp",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "expand-template",
"direct": false,
"version": "2.0.3",
"ecosystem": "npm"
},
{
"name": "fast-deep-equal",
"direct": false,
"version": "3.1.3",
"ecosystem": "npm"
},
{
"name": "fast-glob",
"direct": false,
"version": "3.3.3",
"ecosystem": "npm"
},
{
"name": "fast-uri",
"direct": false,
"version": "3.1.4",
"ecosystem": "npm"
},
{
"name": "fastq",
"direct": false,
"version": "1.20.1",
"ecosystem": "npm"
},
{
"name": "fill-range",
"direct": false,
"version": "7.1.1",
"ecosystem": "npm"
},
{
"name": "find-up",
"direct": false,
"version": "5.0.0",
"ecosystem": "npm"
},
{
"name": "flat",
"direct": false,
"version": "5.0.2",
"ecosystem": "npm"
},
{
"name": "foreground-child",
"direct": false,
"version": "3.3.1",
"ecosystem": "npm"
},
{
"name": "form-data",
"direct": false,
"version": "4.0.6",
"ecosystem": "npm"
},
{
"name": "fs-constants",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "fs-extra",
"direct": false,
"version": "11.3.6",
"ecosystem": "npm"
},
{
"name": "function-bind",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "get-caller-file",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "get-east-asian-width",
"direct": false,
"version": "1.6.0",
"ecosystem": "npm"
},
{
"name": "get-intrinsic",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "get-proto",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "github-from-package",
"direct": false,
"version": "0.0.0",
"ecosystem": "npm"
},
{
"name": "glob",
"direct": false,
"version": "10.5.0",
"ecosystem": "npm"
},
{
"name": "glob",
"direct": false,
"version": "13.0.6",
"ecosystem": "npm"
},
{
"name": "glob-parent",
"direct": false,
"version": "5.1.2",
"ecosystem": "npm"
},
{
"name": "globby",
"direct": false,
"version": "14.1.0",
"ecosystem": "npm"
},
{
"name": "gopd",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "graceful-fs",
"direct": false,
"version": "4.2.11",
"ecosystem": "npm"
},
{
"name": "has-flag",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "has-symbols",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "has-tostringtag",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "hasown",
"direct": false,
"version": "2.0.4",
"ecosystem": "npm"
},
{
"name": "he",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "hosted-git-info",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "hosted-git-info",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "htmlparser2",
"direct": false,
"version": "10.1.0",
"ecosystem": "npm"
},
{
"name": "http-proxy-agent",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "https-proxy-agent",
"direct": false,
"version": "7.0.6",
"ecosystem": "npm"
},
{
"name": "iconv-lite",
"direct": false,
"version": "0.6.3",
"ecosystem": "npm"
},
{
"name": "ieee754",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "ignore",
"direct": false,
"version": "7.0.5",
"ecosystem": "npm"
},
{
"name": "immediate",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "index-to-position",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "inherits",
"direct": false,
"version": "2.0.4",
"ecosystem": "npm"
},
{
"name": "ini",
"direct": false,
"version": "1.3.8",
"ecosystem": "npm"
},
{
"name": "is-docker",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "is-extglob",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "is-fullwidth-code-point",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "is-glob",
"direct": false,
"version": "4.0.3",
"ecosystem": "npm"
},
{
"name": "is-inside-container",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "is-interactive",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "is-number",
"direct": false,
"version": "7.0.0",
"ecosystem": "npm"
},
{
"name": "is-path-inside",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "is-plain-obj",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "is-unicode-supported",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
},
{
"name": "is-unicode-supported",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "is-unicode-supported",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "is-wsl",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "isarray",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "isexe",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "istextorbinary",
"direct": false,
"version": "9.5.0",
"ecosystem": "npm"
},
{
"name": "jackspeak",
"direct": false,
"version": "3.4.3",
"ecosystem": "npm"
},
{
"name": "js-tokens",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "js-yaml",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "json-schema-traverse",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "json5",
"direct": false,
"version": "2.2.3",
"ecosystem": "npm"
},
{
"name": "jsonc-parser",
"direct": false,
"version": "3.3.1",
"ecosystem": "npm"
},
{
"name": "jsonfile",
"direct": false,
"version": "6.2.1",
"ecosystem": "npm"
},
{
"name": "jsonwebtoken",
"direct": false,
"version": "9.0.3",
"ecosystem": "npm"
},
{
"name": "jszip",
"direct": false,
"version": "3.10.1",
"ecosystem": "npm"
},
{
"name": "jwa",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "jws",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "keytar",
"direct": false,
"version": "7.9.0",
"ecosystem": "npm"
},
{
"name": "leven",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "lie",
"direct": false,
"version": "3.3.0",
"ecosystem": "npm"
},
{
"name": "linkify-it",
"direct": false,
"version": "5.0.2",
"ecosystem": "npm"
},
{
"name": "locate-path",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "lodash",
"direct": false,
"version": "4.18.1",
"ecosystem": "npm"
},
{
"name": "lodash.includes",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "lodash.isboolean",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "lodash.isinteger",
"direct": false,
"version": "4.0.4",
"ecosystem": "npm"
},
{
"name": "lodash.isnumber",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "lodash.isplainobject",
"direct": false,
"version": "4.0.6",
"ecosystem": "npm"
},
{
"name": "lodash.isstring",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "lodash.once",
"direct": false,
"version": "4.1.1",
"ecosystem": "npm"
},
{
"name": "lodash.truncate",
"direct": false,
"version": "4.4.2",
"ecosystem": "npm"
},
{
"name": "log-symbols",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "log-symbols",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "lru-cache",
"direct": false,
"version": "10.4.3",
"ecosystem": "npm"
},
{
"name": "lru-cache",
"direct": false,
"version": "11.5.1",
"ecosystem": "npm"
},
{
"name": "lru-cache",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "markdown-it",
"direct": false,
"version": "14.3.0",
"ecosystem": "npm"
},
{
"name": "math-intrinsics",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "mdurl",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "merge2",
"direct": false,
"version": "1.4.1",
"ecosystem": "npm"
},
{
"name": "micromatch",
"direct": false,
"version": "4.0.8",
"ecosystem": "npm"
},
{
"name": "mime",
"direct": false,
"version": "1.6.0",
"ecosystem": "npm"
},
{
"name": "mime-db",
"direct": false,
"version": "1.52.0",
"ecosystem": "npm"
},
{
"name": "mime-types",
"direct": false,
"version": "2.1.35",
"ecosystem": "npm"
},
{
"name": "mimic-function",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "mimic-response",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "minimatch",
"direct": false,
"version": "10.2.5",
"ecosystem": "npm"
},
{
"name": "minimatch",
"direct": false,
"version": "9.0.9",
"ecosystem": "npm"
},
{
"name": "minimist",
"direct": false,
"version": "1.2.8",
"ecosystem": "npm"
},
{
"name": "minipass",
"direct": false,
"version": "7.1.3",
"ecosystem": "npm"
},
{
"name": "mkdirp-classic",
"direct": false,
"version": "0.5.3",
"ecosystem": "npm"
},
{
"name": "mocha",
"direct": false,
"version": "11.7.6",
"ecosystem": "npm"
},
{
"name": "ms",
"direct": false,
"version": "2.1.3",
"ecosystem": "npm"
},
{
"name": "mute-stream",
"direct": false,
"version": "0.0.8",
"ecosystem": "npm"
},
{
"name": "nan",
"direct": false,
"version": "2.28.0",
"ecosystem": "npm"
},
{
"name": "napi-build-utils",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "node-abi",
"direct": false,
"version": "3.94.0",
"ecosystem": "npm"
},
{
"name": "node-addon-api",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "node-sarif-builder",
"direct": false,
"version": "3.4.0",
"ecosystem": "npm"
},
{
"name": "normalize-package-data",
"direct": false,
"version": "6.0.2",
"ecosystem": "npm"
},
{
"name": "nth-check",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "object-inspect",
"direct": false,
"version": "1.13.4",
"ecosystem": "npm"
},
{
"name": "once",
"direct": false,
"version": "1.4.0",
"ecosystem": "npm"
},
{
"name": "onetime",
"direct": false,
"version": "7.0.0",
"ecosystem": "npm"
},
{
"name": "open",
"direct": false,
"version": "10.2.0",
"ecosystem": "npm"
},
{
"name": "ora",
"direct": false,
"version": "8.2.0",
"ecosystem": "npm"
},
{
"name": "p-limit",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "p-locate",
"direct": false,
"version": "5.0.0",
"ecosystem": "npm"
},
{
"name": "p-map",
"direct": false,
"version": "7.0.5",
"ecosystem": "npm"
},
{
"name": "package-json-from-dist",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "pako",
"direct": false,
"version": "1.0.11",
"ecosystem": "npm"
},
{
"name": "parse-json",
"direct": false,
"version": "8.3.0",
"ecosystem": "npm"
},
{
"name": "parse-semver",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "parse5",
"direct": false,
"version": "7.3.0",
"ecosystem": "npm"
},
{
"name": "parse5-htmlparser2-tree-adapter",
"direct": false,
"version": "7.1.0",
"ecosystem": "npm"
},
{
"name": "parse5-parser-stream",
"direct": false,
"version": "7.1.2",
"ecosystem": "npm"
},
{
"name": "path-exists",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "path-key",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "path-scurry",
"direct": false,
"version": "1.11.1",
"ecosystem": "npm"
},
{
"name": "path-scurry",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "path-type",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "pend",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "picocolors",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "picomatch",
"direct": false,
"version": "2.3.2",
"ecosystem": "npm"
},
{
"name": "pluralize",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "pluralize",
"direct": false,
"version": "8.0.0",
"ecosystem": "npm"
},
{
"name": "prebuild-install",
"direct": false,
"version": "7.1.3",
"ecosystem": "npm"
},
{
"name": "process-nextick-args",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "pump",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "punycode.js",
"direct": false,
"version": "2.3.1",
"ecosystem": "npm"
},
{
"name": "qs",
"direct": false,
"version": "6.15.3",
"ecosystem": "npm"
},
{
"name": "queue-microtask",
"direct": false,
"version": "1.2.3",
"ecosystem": "npm"
},
{
"name": "rc",
"direct": false,
"version": "1.2.8",
"ecosystem": "npm"
},
{
"name": "rc-config-loader",
"direct": false,
"version": "4.1.4",
"ecosystem": "npm"
},
{
"name": "read",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "read-pkg",
"direct": false,
"version": "9.0.1",
"ecosystem": "npm"
},
{
"name": "readable-stream",
"direct": false,
"version": "2.3.8",
"ecosystem": "npm"
},
{
"name": "readable-stream",
"direct": false,
"version": "3.6.2",
"ecosystem": "npm"
},
{
"name": "readdirp",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "require-directory",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "require-from-string",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "restore-cursor",
"direct": false,
"version": "5.1.0",
"ecosystem": "npm"
},
{
"name": "reusify",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "run-applescript",
"direct": false,
"version": "7.1.0",
"ecosystem": "npm"
},
{
"name": "run-parallel",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "safe-buffer",
"direct": false,
"version": "5.1.2",
"ecosystem": "npm"
},
{
"name": "safe-buffer",
"direct": false,
"version": "5.2.1",
"ecosystem": "npm"
},
{
"name": "safer-buffer",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "sax",
"direct": false,
"version": "1.6.0",
"ecosystem": "npm"
},
{
"name": "secretlint",
"direct": false,
"version": "10.2.2",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "5.7.2",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "7.8.5",
"ecosystem": "npm"
},
{
"name": "serialize-javascript",
"direct": false,
"version": "7.0.5",
"ecosystem": "npm"
},
{
"name": "setimmediate",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "shebang-command",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "shebang-regex",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "side-channel",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "side-channel-list",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "side-channel-map",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "side-channel-weakmap",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "signal-exit",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "simple-concat",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "simple-get",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "slash",
"direct": false,
"version": "5.1.0",
"ecosystem": "npm"
},
{
"name": "slice-ansi",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "spdx-correct",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "spdx-exceptions",
"direct": false,
"version": "2.5.0",
"ecosystem": "npm"
},
{
"name": "spdx-expression-parse",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "spdx-license-ids",
"direct": false,
"version": "3.0.23",
"ecosystem": "npm"
},
{
"name": "stdin-discarder",
"direct": false,
"version": "0.2.2",
"ecosystem": "npm"
},
{
"name": "string-width",
"direct": false,
"version": "4.2.3",
"ecosystem": "npm"
},
{
"name": "string-width",
"direct": false,
"version": "5.1.2",
"ecosystem": "npm"
},
{
"name": "string-width",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "string_decoder",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "strip-ansi",
"direct": false,
"version": "6.0.1",
"ecosystem": "npm"
},
{
"name": "strip-ansi",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "strip-json-comments",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "strip-json-comments",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "structured-source",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "supports-color",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "supports-color",
"direct": false,
"version": "8.1.1",
"ecosystem": "npm"
},
{
"name": "supports-hyperlinks",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "table",
"direct": false,
"version": "6.9.0",
"ecosystem": "npm"
},
{
"name": "tar-fs",
"direct": false,
"version": "2.1.5",
"ecosystem": "npm"
},
{
"name": "tar-stream",
"direct": false,
"version": "2.2.0",
"ecosystem": "npm"
},
{
"name": "terminal-link",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "text-table",
"direct": false,
"version": "0.2.0",
"ecosystem": "npm"
},
{
"name": "textextensions",
"direct": false,
"version": "6.11.0",
"ecosystem": "npm"
},
{
"name": "tmp",
"direct": false,
"version": "0.2.7",
"ecosystem": "npm"
},
{
"name": "to-regex-range",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "tree-sitter-cli",
"direct": false,
"version": "0.26.11",
"ecosystem": "npm"
},
{
"name": "tslib",
"direct": false,
"version": "2.8.1",
"ecosystem": "npm"
},
{
"name": "tunnel",
"direct": false,
"version": "0.0.6",
"ecosystem": "npm"
},
{
"name": "tunnel-agent",
"direct": false,
"version": "0.6.0",
"ecosystem": "npm"
},
{
"name": "type-fest",
"direct": false,
"version": "4.41.0",
"ecosystem": "npm"
},
{
"name": "typed-rest-client",
"direct": false,
"version": "1.8.11",
"ecosystem": "npm"
},
{
"name": "typescript",
"direct": false,
"version": "7.0.2",
"ecosystem": "npm"
},
{
"name": "uc.micro",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "underscore",
"direct": false,
"version": "1.13.8",
"ecosystem": "npm"
},
{
"name": "undici",
"direct": false,
"version": "7.28.0",
"ecosystem": "npm"
},
{
"name": "undici-types",
"direct": false,
"version": "8.3.0",
"ecosystem": "npm"
},
{
"name": "unicorn-magic",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
},
{
"name": "unicorn-magic",
"direct": false,
"version": "0.3.0",
"ecosystem": "npm"
},
{
"name": "universalify",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "url-join",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "util-deprecate",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "validate-npm-package-license",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "version-range",
"direct": false,
"version": "4.15.0",
"ecosystem": "npm"
},
{
"name": "vscode-jsonrpc",
"direct": false,
"version": "9.0.1",
"ecosystem": "npm"
},
{
"name": "vscode-languageclient",
"direct": false,
"version": "10.1.0",
"ecosystem": "npm"
},
{
"name": "vscode-languageserver-protocol",
"direct": false,
"version": "3.18.2",
"ecosystem": "npm"
},
{
"name": "vscode-languageserver-textdocument",
"direct": false,
"version": "1.0.13",
"ecosystem": "npm"
},
{
"name": "vscode-languageserver-types",
"direct": false,
"version": "3.18.0",
"ecosystem": "npm"
},
{
"name": "whatwg-encoding",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "whatwg-mimetype",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "which",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "workerpool",
"direct": false,
"version": "9.3.4",
"ecosystem": "npm"
},
{
"name": "wrap-ansi",
"direct": false,
"version": "7.0.0",
"ecosystem": "npm"
},
{
"name": "wrap-ansi",
"direct": false,
"version": "8.1.0",
"ecosystem": "npm"
},
{
"name": "wrappy",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "wsl-utils",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
},
{
"name": "xml2js",
"direct": false,
"version": "0.5.0",
"ecosystem": "npm"
},
{
"name": "xmlbuilder",
"direct": false,
"version": "11.0.1",
"ecosystem": "npm"
},
{
"name": "y18n",
"direct": false,
"version": "5.0.8",
"ecosystem": "npm"
},
{
"name": "yallist",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "yargs",
"direct": false,
"version": "17.7.3",
"ecosystem": "npm"
},
{
"name": "yargs-parser",
"direct": false,
"version": "21.1.1",
"ecosystem": "npm"
},
{
"name": "yargs-unparser",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "yauzl",
"direct": false,
"version": "3.4.0",
"ecosystem": "npm"
},
{
"name": "yazl",
"direct": false,
"version": "2.5.1",
"ecosystem": "npm"
},
{
"name": "yocto-queue",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
}
],
"collected": true,
"truncated": false,
"total_count": 865,
"direct_count": 83,
"indirect_count": 782
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 776,
"open_issues": 4,
"closed_ratio": 0.994,
"closed_issues": 633,
"closed_unmerged_prs": 21
},
"bus_factor": 1,
"bot_contributors": 3,
"top_contributors": [
{
"type": "User",
"login": "SebTardif",
"commits": 1602,
"avatar_url": "https://avatars.githubusercontent.com/u/1413412?v=4"
}
],
"contributors_sampled": 1,
"top_contributor_share": 1
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"auto-approve.yml",
"ci.yml",
"docs.yml",
"fuzz.yml",
"issue-triage.yml",
"link-check.yml",
"nightly.yml",
"release-please.yml",
"release.yml",
"scorecard.yml",
"security.yml",
"stale.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"Cargo.lock",
"package-lock.json"
],
"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": 8,
"reason": "branch protection is not maximal on development and all release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "30 out of 30 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": 5,
"reason": "badge detected: Passing",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 10,
"reason": "all changesets reviewed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 6,
"reason": "project has 2 contributing companies or organizations -- score normalized to 6",
"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": 10,
"reason": "project is 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": 0,
"reason": "project was created within the last 90 days. Please review its contents carefully",
"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": 9,
"reason": "dependency not pinned by hash detected -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 10,
"reason": "SAST tool is run on all commits",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 10,
"reason": "security policy file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": 8,
"reason": "4 out of the last 4 releases have a total of 4 signed artifacts.",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 10,
"reason": "GitHub workflow tokens follow principle of least privilege",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 9,
"reason": "1 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "db54c49dd1b6a4b18472a3226ce30cd295d11a9d",
"ran_at": "2026-07-28T10:16:46Z",
"aggregate_score": 8.6,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": true,
"has_dependabot_config": true
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-28T09:48:24Z",
"oldest_open_prs": [],
"last_merged_pr_at": "2026-07-27T14:09:26Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 436,
"created_at": "2026-06-24T21:43:23Z",
"last_comment_at": "2026-07-27T02:00:31Z",
"last_comment_author": "SebTardif"
},
{
"number": 1396,
"created_at": "2026-07-16T15:01:56Z",
"last_comment_at": "2026-07-27T02:00:30Z",
"last_comment_author": "SebTardif"
},
{
"number": 1410,
"created_at": "2026-07-16T19:10:26Z",
"last_comment_at": "2026-07-27T13:03:58Z",
"last_comment_author": "SebTardif"
},
{
"number": 1411,
"created_at": "2026-07-16T19:10:28Z",
"last_comment_at": "2026-07-27T13:03:57Z",
"last_comment_author": "SebTardif"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/assura-lang/assura",
"host": "github.com",
"name": "assura",
"owner": "assura-lang"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"security": 89,
"vitality": 75,
"community": 48,
"governance": 56,
"engineering": 77
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 75,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "moderate",
"name": "Development activity",
"note": null,
"notes": [],
"value": 59,
"inputs": {
"commits_last_year": 1656,
"human_commit_share": 0.83,
"days_since_last_push": 0,
"active_weeks_last_year": 7
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "7/52 weeks with commits",
"points": 4.8,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 7
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "1656 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 1656
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "project was created within the last 90 days. Please review its contents carefully",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": null,
"notes": [],
"value": 98,
"inputs": {
"releases_count": 4,
"latest_release_tag": "v0.4.0",
"releases_from_tags": false,
"days_since_latest_release": 13,
"mean_days_between_releases": 3.6
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "4 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 4
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 13 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 13
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~3.6 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 3.6
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "4 out of the last 4 releases have a total of 4 signed artifacts.",
"points": 8,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 48,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 5,
"inputs": {
"forks": 1,
"stars": 3,
"watchers": 0,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "3 stars",
"points": 4.9,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 3
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "1 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 1
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "0 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 0
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "excellent",
"name": "Community health",
"note": null,
"notes": [],
"value": 92,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": true,
"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": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 13.5,
"status": "met",
"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": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 56,
"inputs": {
"packages": [
"assura-ast",
"assura",
"assura-fmt",
"assura-llm",
"assura-lsp",
"assura-mcp",
"assura-smt"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 7176,
"monthly_downloads": 2393
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "2,393 downloads/month across crates",
"points": 45.1,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 2393,
"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": "moderate",
"name": "Sustainability & Governance",
"value": 56,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 16,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 1,
"top_contributor_share": 1
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 100% of commits",
"points": 0,
"status": "missed",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 100
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "1 contributors",
"points": 1.4,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 1
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 2 contributing companies or organizations -- score normalized to 6",
"points": 6,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 99,
"inputs": {
"merged_prs": 776,
"open_issues": 4,
"closed_issues": 633,
"issue_closed_ratio": 0.994,
"closed_unmerged_prs": 21
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "99% of issues closed",
"points": 46.5,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 99
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "776/797 decided PRs merged",
"points": 37.2,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 776,
"decided": 797
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "all changesets reviewed",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "at_risk",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 34,
"inputs": {
"followers": 0,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "assura-lang",
"public_repos": 2,
"account_age_days": 47
},
"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": "0 followers of assura-lang",
"points": 0,
"status": "missed",
"details": [
{
"code": "owner_followers",
"params": {
"count": 0,
"login": "assura-lang"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "2 public repos, account ~0 yr old",
"points": 3.7,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 2
}
},
{
"code": "account_age_years",
"params": {
"years": 0
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 92,
"inputs": {
"packages": [
"assura-ast",
"assura",
"assura-fmt",
"assura-llm",
"assura-lsp",
"assura-mcp",
"assura-smt"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 13
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "7 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 7,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 13 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 13
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "4 published versions",
"points": 12,
"status": "partial",
"details": [
{
"code": "published_versions",
"params": {
"count": 4
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 77,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "12 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 12
}
}
],
"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": "30 out of 30 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "excellent",
"name": "Documentation",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"topics": [
"ai",
"compiler",
"contracts",
"formal-verification",
"programming-language",
"rust",
"smt",
"verification",
"z3"
],
"has_wiki": false,
"homepage": "https://assura-lang.github.io/assura/",
"has_readme": true,
"has_docs_dir": true,
"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": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://assura-lang.github.io/assura/",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "9 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 9
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "excellent",
"name": "Security",
"value": 89,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "excellent",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Packaging. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"packaging"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 86,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 8.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": "branch protection is not maximal on development and all release branches",
"points": 6,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "30 out of 30 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": "badge detected: Passing",
"points": 1.2,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "all changesets reviewed",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 2 contributing companies or organizations -- score normalized to 6",
"points": 1.5,
"status": "partial",
"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 fuzzed",
"points": 5,
"status": "met",
"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": "project was created within the last 90 days. Please review its contents carefully",
"points": 0,
"status": "missed",
"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 9",
"points": 4.5,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is run on all commits",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "4 out of the last 4 releases have a total of 4 signed artifacts.",
"points": 6,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "GitHub workflow tokens follow principle of least privilege",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "1 existing vulnerabilities detected",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 811 resolved dependencies against OSV; 54 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": 811
}
},
{
"code": "advisories_unassessed",
"params": {
"count": 54
}
},
{
"code": "advisories_repo_graph_caveat",
"params": {}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 100,
"inputs": {
"source": "osv",
"advisories": 1,
"affected_packages": 1,
"assessed_packages": 811,
"unassessed_packages": 54,
"affected_by_severity": "high 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": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 811,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 2
},
"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": "excellent",
"name": "AI Readiness",
"value": 85,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "excellent",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 85,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 1,
"agent_instruction_files": [
".github/copilot-instructions.md",
"AGENTS.md"
],
"agent_instruction_max_bytes": 92746
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": ".github/copilot-instructions.md, AGENTS.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".github/copilot-instructions.md, AGENTS.md"
}
}
],
"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": "83 of 83 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 83,
"sampled": 83
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "good",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 73,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"Cargo.lock",
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": true,
"has_linter_config": false,
"typecheck_configs": [
"editors/vscode/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [
"Cargo.toml",
"crates/assura-ast/Cargo.toml",
"crates/assura-bench/Cargo.toml",
"crates/assura-cli/Cargo.toml",
"crates/assura-codegen/Cargo.toml",
"crates/assura-config/Cargo.toml",
"crates/assura-diagnostics/Cargo.toml",
"crates/assura-driver/Cargo.toml",
"crates/assura-fmt/Cargo.toml",
"crates/assura-llm/Cargo.toml",
"crates/assura-lsp/Cargo.toml",
"crates/assura-macros/Cargo.toml",
"crates/assura-mcp/Cargo.toml",
"crates/assura-parser/Cargo.toml",
"crates/assura-parser/fuzz/Cargo.toml",
"crates/assura-pipeline/Cargo.toml",
"crates/assura-resolve/Cargo.toml",
"crates/assura-runtime/Cargo.toml",
"crates/assura-rust-analyzer/Cargo.toml",
"crates/assura-server/Cargo.toml",
"crates/assura-smt/Cargo.toml",
"crates/assura-stdlib/Cargo.toml",
"crates/assura-test-support/Cargo.toml",
"crates/assura-types/Cargo.toml",
"fuzz/Cargo.toml"
],
"dependency_bot_commit_share": 0.15
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Cargo.toml, crates/assura-ast/Cargo.toml, crates/assura-bench/Cargo.toml (toolchain convention, no task runner)",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "toolchain_convention",
"params": {
"files": "Cargo.toml, crates/assura-ast/Cargo.toml, crates/assura-bench/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": "editors/vscode/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "editors/vscode/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "devcontainer, lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "devcontainer, 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": "15 of the last 100 commits are automated dependency updates",
"points": 8,
"status": "met",
"details": [
{
"code": "dependency_bot_commits",
"params": {
"count": 15,
"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 9",
"points": 9,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 99,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 438105,
"source_files_sampled": 464,
"oversized_source_files": 11
},
"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": "11/464 source files over 60KB",
"points": 53.7,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 464,
"oversized": 11
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "excellent",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"example_dirs": [
"demos",
"examples"
],
"has_mcp_signal": true,
"api_schema_files": [
"crates/assura-server/proto/assura.proto"
]
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": "crates/assura-server/proto/assura.proto",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "crates/assura-server/proto/assura.proto"
}
}
],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "demos, examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "demos, examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch crates package 'assura-bench' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-28T10:17:05.827419Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/a/assura-lang/assura.svg",
"full_name": "assura-lang/assura",
"license_state": "standard",
"license_spdx": "MIT"
}