xlsynth / xlsynth-crate

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

Jeder Punkt umfasst 2 Tage.

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 71 direkte und 20 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

Dieses Repository veröffentlicht kein vom Index auflösbares Paket, daher wurde sein eigener Abhängigkeitsgraph bewertet – 1 Pakete, darunter auch Entwicklungs- und Test-Pins, die nie ausgeliefert werden: 0 tragen bekannte Advisories, davon 0 direkte. 90 konnten nicht bewertet werden – keine aufgelöste Version, ein nicht unterstütztes Ökosystem, oder außerhalb der ausgewiesenen Paketliste.

Keine bekannten Advisories betreffen die bewerteten Abhängigkeiten.

Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.

{
  "data": {
    "repo": {
      "topics": [],
      "is_fork": false,
      "size_kb": 12031,
      "has_wiki": true,
      "homepage": "https://crates.io/crates/xlsynth",
      "languages": {
        "Rust": 12198231,
        "Shell": 13414,
        "Python": 195076,
        "Verilog": 13281,
        "Dockerfile": 922,
        "Vim Script": 7910,
        "SystemVerilog": 26029
      },
      "pushed_at": "2026-07-21T17:02:31Z",
      "created_at": "2024-05-29T15:53:29Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-21T17:04:24Z",
      "description": "Rust crate that publishes XLSynth capabilities (wrapping libxlsynth.so/.dylib)",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "Apache-2.0",
      "default_branch": "main",
      "license_spdx_raw": "Apache-2.0",
      "primary_language": "Rust",
      "significant_languages": [
        "Rust"
      ]
    },
    "owner": {
      "blog": null,
      "name": null,
      "type": "Organization",
      "login": "xlsynth",
      "company": null,
      "location": "United States of America",
      "followers": 16,
      "avatar_url": "https://avatars.githubusercontent.com/u/168481312?v=4",
      "created_at": "2024-04-29T20:08:22Z",
      "is_verified": null,
      "public_repos": 19,
      "account_age_days": 813
    },
    "license": {
      "state": "standard",
      "spdx_id": "Apache-2.0",
      "raw_spdx": "Apache-2.0",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v0.61.0",
          "kind": "minor",
          "published_at": "2026-07-17T00:12:09Z"
        },
        {
          "tag": "v0.60.0",
          "kind": "minor",
          "published_at": "2026-07-01T16:25:09Z"
        },
        {
          "tag": "v0.59.0",
          "kind": "minor",
          "published_at": "2026-06-25T21:27:23Z"
        },
        {
          "tag": "v0.58.0",
          "kind": "minor",
          "published_at": "2026-06-21T22:46:01Z"
        },
        {
          "tag": "v0.57.0",
          "kind": "minor",
          "published_at": "2026-06-21T05:13:53Z"
        },
        {
          "tag": "v0.56.0",
          "kind": "minor",
          "published_at": "2026-06-11T03:28:36Z"
        },
        {
          "tag": "v0.55.0",
          "kind": "minor",
          "published_at": "2026-06-10T02:28:12Z"
        },
        {
          "tag": "v0.54.0",
          "kind": "minor",
          "published_at": "2026-06-05T23:26:35Z"
        },
        {
          "tag": "v0.53.0",
          "kind": "minor",
          "published_at": "2026-06-05T22:34:13Z"
        },
        {
          "tag": "v0.52.1",
          "kind": "patch",
          "published_at": "2026-05-30T00:42:09Z"
        },
        {
          "tag": "v0.52.0",
          "kind": "minor",
          "published_at": "2026-05-29T19:40:53Z"
        },
        {
          "tag": "v0.51.0",
          "kind": "minor",
          "published_at": "2026-05-29T04:04:16Z"
        },
        {
          "tag": "v0.50.0",
          "kind": "minor",
          "published_at": "2026-05-21T23:02:58Z"
        },
        {
          "tag": "v0.49.0",
          "kind": "minor",
          "published_at": "2026-05-18T21:08:13Z"
        },
        {
          "tag": "v0.48.0",
          "kind": "minor",
          "published_at": "2026-05-15T19:55:47Z"
        },
        {
          "tag": "v0.47.0",
          "kind": "minor",
          "published_at": "2026-05-10T01:01:05Z"
        },
        {
          "tag": "v0.46.0",
          "kind": "minor",
          "published_at": "2026-05-07T20:08:05Z"
        },
        {
          "tag": "v0.45.0",
          "kind": "minor",
          "published_at": "2026-05-01T18:56:55Z"
        },
        {
          "tag": "v0.44.0",
          "kind": "minor",
          "published_at": "2026-04-27T23:47:23Z"
        },
        {
          "tag": "v0.43.0",
          "kind": "minor",
          "published_at": "2026-04-27T21:11:57Z"
        },
        {
          "tag": "v0.42.0",
          "kind": "minor",
          "published_at": "2026-04-27T00:48:22Z"
        },
        {
          "tag": "v0.41.0",
          "kind": "minor",
          "published_at": "2026-04-22T05:27:37Z"
        },
        {
          "tag": "v0.40.0",
          "kind": "minor",
          "published_at": "2026-04-12T20:23:28Z"
        },
        {
          "tag": "v0.39.0",
          "kind": "minor",
          "published_at": "2026-03-13T16:41:38Z"
        },
        {
          "tag": "v0.38.0",
          "kind": "minor",
          "published_at": "2026-03-12T22:10:58Z"
        },
        {
          "tag": "v0.37.0",
          "kind": "minor",
          "published_at": "2026-03-12T20:24:02Z"
        },
        {
          "tag": "v0.36.0",
          "kind": "minor",
          "published_at": "2026-03-09T18:25:55Z"
        },
        {
          "tag": "v0.35.0",
          "kind": "minor",
          "published_at": "2026-03-05T21:36:29Z"
        },
        {
          "tag": "v0.34.0",
          "kind": "minor",
          "published_at": "2026-03-02T17:35:04Z"
        },
        {
          "tag": "v0.33.0",
          "kind": "minor",
          "published_at": "2026-02-23T20:42:48Z"
        },
        {
          "tag": "v0.32.0",
          "kind": "minor",
          "published_at": "2026-02-22T20:40:07Z"
        },
        {
          "tag": "v0.31.0",
          "kind": "minor",
          "published_at": "2026-02-18T17:50:47Z"
        },
        {
          "tag": "v0.30.0",
          "kind": "minor",
          "published_at": "2026-02-18T15:28:31Z"
        },
        {
          "tag": "v0.29.0",
          "kind": "minor",
          "published_at": "2026-02-08T03:28:58Z"
        },
        {
          "tag": "v0.28.0",
          "kind": "minor",
          "published_at": "2026-02-02T07:31:28Z"
        },
        {
          "tag": "v0.27.0",
          "kind": "minor",
          "published_at": "2026-01-27T15:58:36Z"
        },
        {
          "tag": "v0.26.0",
          "kind": "minor",
          "published_at": "2026-01-19T04:06:05Z"
        },
        {
          "tag": "v0.25.0",
          "kind": "minor",
          "published_at": "2026-01-14T14:46:11Z"
        },
        {
          "tag": "v0.24.0",
          "kind": "minor",
          "published_at": "2026-01-02T08:27:19Z"
        },
        {
          "tag": "v0.23.0",
          "kind": "minor",
          "published_at": "2025-12-11T22:35:27Z"
        },
        {
          "tag": "v0.22.0",
          "kind": "minor",
          "published_at": "2025-12-03T20:11:03Z"
        },
        {
          "tag": "v0.21.0",
          "kind": "minor",
          "published_at": "2025-12-03T00:27:46Z"
        },
        {
          "tag": "v0.20.0",
          "kind": "minor",
          "published_at": "2025-12-02T06:14:50Z"
        },
        {
          "tag": "v0.19.0",
          "kind": "minor",
          "published_at": "2025-11-11T19:43:12Z"
        },
        {
          "tag": "v0.18.0",
          "kind": "minor",
          "published_at": "2025-11-08T23:36:58Z"
        },
        {
          "tag": "v0.17.0",
          "kind": "minor",
          "published_at": "2025-11-06T20:06:43Z"
        },
        {
          "tag": "v0.16.0",
          "kind": "minor",
          "published_at": "2025-11-06T19:21:05Z"
        },
        {
          "tag": "v0.15.0",
          "kind": "minor",
          "published_at": "2025-11-02T21:51:02Z"
        },
        {
          "tag": "v0.14.0",
          "kind": "minor",
          "published_at": "2025-10-28T23:14:31Z"
        },
        {
          "tag": "v0.13.0",
          "kind": "minor",
          "published_at": "2025-10-25T00:04:04Z"
        },
        {
          "tag": "v0.12.0",
          "kind": "minor",
          "published_at": "2025-10-23T23:29:37Z"
        },
        {
          "tag": "v0.11.0",
          "kind": "minor",
          "published_at": "2025-10-19T17:00:05Z"
        },
        {
          "tag": "v0.10.0",
          "kind": "minor",
          "published_at": "2025-10-19T05:58:11Z"
        },
        {
          "tag": "v0.9.0",
          "kind": "minor",
          "published_at": "2025-10-16T22:44:24Z"
        },
        {
          "tag": "v0.8.0",
          "kind": "minor",
          "published_at": "2025-10-16T04:54:11Z"
        },
        {
          "tag": "v0.7.0",
          "kind": "minor",
          "published_at": "2025-10-07T18:10:19Z"
        },
        {
          "tag": "v0.6.4",
          "kind": "patch",
          "published_at": "2025-10-20T19:53:11Z"
        },
        {
          "tag": "v0.6.3",
          "kind": "patch",
          "published_at": "2025-10-08T19:36:27Z"
        },
        {
          "tag": "v0.6.2",
          "kind": "patch",
          "published_at": "2025-10-07T16:54:57Z"
        },
        {
          "tag": "v0.6.1",
          "kind": "patch",
          "published_at": "2025-10-03T18:59:54Z"
        },
        {
          "tag": "v0.6.0",
          "kind": "minor",
          "published_at": "2025-10-02T22:11:21Z"
        },
        {
          "tag": "v0.5.0",
          "kind": "minor",
          "published_at": "2025-09-25T17:56:38Z"
        },
        {
          "tag": "v0.4.0",
          "kind": "minor",
          "published_at": "2025-09-25T17:02:01Z"
        },
        {
          "tag": "v0.3.0",
          "kind": "minor",
          "published_at": "2025-09-25T04:15:37Z"
        },
        {
          "tag": "v0.2.0",
          "kind": "minor",
          "published_at": "2025-09-24T21:06:43Z"
        },
        {
          "tag": "v0.1.5",
          "kind": "patch",
          "published_at": "2025-10-01T04:37:07Z"
        },
        {
          "tag": "v0.1.4",
          "kind": "patch",
          "published_at": "2025-10-01T02:45:20Z"
        },
        {
          "tag": "v0.1.3",
          "kind": "patch",
          "published_at": "2025-10-01T02:28:32Z"
        },
        {
          "tag": "v0.1.2",
          "kind": "patch",
          "published_at": "2025-10-01T02:05:58Z"
        },
        {
          "tag": "v0.1.1",
          "kind": "patch",
          "published_at": "2025-10-01T02:02:11Z"
        },
        {
          "tag": "v0.0.187",
          "kind": "patch",
          "published_at": "2025-09-18T01:03:22Z"
        },
        {
          "tag": "v0.0.186",
          "kind": "patch",
          "published_at": "2025-09-18T00:49:53Z"
        },
        {
          "tag": "v0.0.185",
          "kind": "patch",
          "published_at": "2025-09-17T17:55:26Z"
        },
        {
          "tag": "v0.0.184",
          "kind": "patch",
          "published_at": "2025-09-16T17:17:26Z"
        },
        {
          "tag": "v0.0.183",
          "kind": "patch",
          "published_at": "2025-09-16T01:16:55Z"
        },
        {
          "tag": "v0.0.182",
          "kind": "patch",
          "published_at": "2025-09-15T21:58:14Z"
        },
        {
          "tag": "v0.0.181",
          "kind": "patch",
          "published_at": "2025-08-24T23:39:26Z"
        },
        {
          "tag": "v0.0.180",
          "kind": "patch",
          "published_at": "2025-08-16T04:13:37Z"
        },
        {
          "tag": "v0.0.179",
          "kind": "patch",
          "published_at": "2025-08-14T20:15:10Z"
        },
        {
          "tag": "v0.0.178",
          "kind": "patch",
          "published_at": "2025-08-11T16:59:13Z"
        },
        {
          "tag": "v0.0.177",
          "kind": "patch",
          "published_at": "2025-08-09T02:21:19Z"
        },
        {
          "tag": "v0.0.176",
          "kind": "patch",
          "published_at": "2025-08-08T19:54:46Z"
        },
        {
          "tag": "v0.0.175",
          "kind": "patch",
          "published_at": "2025-08-01T06:00:06Z"
        },
        {
          "tag": "v0.0.174",
          "kind": "patch",
          "published_at": "2025-07-29T11:49:05Z"
        },
        {
          "tag": "v0.0.173",
          "kind": "patch",
          "published_at": "2025-07-23T05:46:15Z"
        },
        {
          "tag": "v0.0.172",
          "kind": "patch",
          "published_at": "2025-07-23T04:05:40Z"
        },
        {
          "tag": "v0.0.171",
          "kind": "patch",
          "published_at": "2025-07-21T03:28:24Z"
        },
        {
          "tag": "v0.0.170",
          "kind": "patch",
          "published_at": "2025-07-20T01:09:37Z"
        },
        {
          "tag": "v0.0.169",
          "kind": "patch",
          "published_at": "2025-07-17T22:09:24Z"
        },
        {
          "tag": "v0.0.168",
          "kind": "patch",
          "published_at": "2025-07-17T07:23:24Z"
        },
        {
          "tag": "v0.0.167",
          "kind": "patch",
          "published_at": "2025-07-15T22:00:56Z"
        },
        {
          "tag": "v0.0.166",
          "kind": "patch",
          "published_at": "2025-07-14T23:53:00Z"
        },
        {
          "tag": "v0.0.165",
          "kind": "patch",
          "published_at": "2025-07-11T20:57:39Z"
        },
        {
          "tag": "v0.0.164",
          "kind": "patch",
          "published_at": "2025-07-10T18:30:52Z"
        },
        {
          "tag": "v0.0.163",
          "kind": "patch",
          "published_at": "2025-06-25T05:47:16Z"
        },
        {
          "tag": "v0.0.162",
          "kind": "patch",
          "published_at": "2025-06-24T17:02:31Z"
        },
        {
          "tag": "v0.0.161",
          "kind": "patch",
          "published_at": "2025-06-22T21:33:51Z"
        },
        {
          "tag": "v0.0.160",
          "kind": "patch",
          "published_at": "2025-06-19T23:46:40Z"
        },
        {
          "tag": "v0.0.159",
          "kind": "patch",
          "published_at": "2025-06-18T15:58:14Z"
        },
        {
          "tag": "v0.0.158",
          "kind": "patch",
          "published_at": "2025-06-18T15:54:17Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "5f5e4c970058ddc2836da25791210399b72314b4",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-07-21T17:02:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "058f4295e39263222ad3bf638f917e64d8e21eba",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-07-21T17:02:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "94f3e9f2bfe2309a6668b24bf8937bdbe88615d0",
          "body": "Also fix up some warnings in ci.",
          "is_bot": false,
          "headline": "Add sequential power model to gv-eval. (#1039)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-17T00:12:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1d1a9e8b32292e1554b2ebcefca028dba1954b5d",
          "body": null,
          "is_bot": false,
          "headline": "Add sequential toggle support to gv-eval (#1038)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-16T22:14:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c18cfaa5eabe89b7bd8d806a8961c6f2184f3b39",
          "body": null,
          "is_bot": false,
          "headline": "Add support for hierarchy in netlist parsing. (#1037)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-16T21:05:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7046345860eb912431f72da5b5ce7c5fb349022d",
          "body": null,
          "is_bot": false,
          "headline": "Add sequential support to gv-eval. (#1036)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-16T17:58:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "916858cfea8cf9e825707a5ade52e7ed6a1f4a1b",
          "body": "As part of the change, add a feature which enables the use of yosys.\nThis is used in the fuzz test to generate a netlist from block ir\n(via verilog).",
          "is_bot": false,
          "headline": "Add a fuzz test which compares gv-eval and block ir eval. (#1035)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-16T15:26:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "635c9f26808af03be6c8cfa0d5eef852d8ac093d",
          "body": "Also add a fuzz test which uses this generator to verify that block IR\neval and g8r eval of the same block is equivalent.\n\nFix issue with download_release.py for macos.",
          "is_bot": false,
          "headline": "Add a random block IR generator. (#1034)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-15T17:15:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1b90525cd9c15f397d559f04a59f89f76a1a8b0c",
          "body": "ext_clz was not lowered correctly in some instances.",
          "is_bot": false,
          "headline": "Fix invalid g8r lowering. (#1033)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-14T20:21:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c775058aecd983352552b400bd3c27442912d17f",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-07-01T18:59:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2859e4590e7d8c3b684b26139932c45ffe540952",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-07-01T18:59:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "15e336d66eadb7dad430d90fefdbc813bda8d6a9",
          "body": "It computes a histogram of up/down slews for each pin in the design for\na given design input value transition. This is used to compute a\nweighted dynamic power value based on the liberty NLPM power model.",
          "is_bot": false,
          "headline": "Add NLPM power model to gv-eval (#1031)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-07-01T16:25:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7382d6f37a8a3e24174ddc5fb6e87783f9cb81fd",
          "body": "Transformation to left normalization didn't handle wrapping correctly.",
          "is_bot": false,
          "headline": "Fix normalization ext op bug. (#1030)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-30T18:53:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "de64263efcb36bec25dca8e6a4f380e25f9f98ba",
          "body": "Remove now superfluous fuzz-gatify test. fuzz-g8r tests g8r end-to-end.",
          "is_bot": false,
          "headline": "Add fuzz-g8r tests. (#1029)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-30T02:23:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9a85826c1261fd12ae1d6c619f9f18175001af07",
          "body": "Generally speeds up g8r by 3x or so. For large designs the win can be\n10x or more. Minor change to generated AIG graph, but generally neutral.\n\n- Reassociates only maximal AND/OR supergates, avoiding repeated work on\noverlapping subtrees.\n- Speeds up dynamic cut-DB rewriting through cached depths, reusable\nside state, dense bookkeeping, and targeted root requeueing.\n- Removes several hot-path allocations and makes provenance tracking\nopt-in.",
          "is_bot": false,
          "headline": "Various g8r speedups (#1028)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-29T23:55:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8b4c7a5b650a7fa85e3596bc507b2924035461fe",
          "body": "g8r-optimize runs the sequence of g8r-level optimizations which are run\nafter gatification.",
          "is_bot": false,
          "headline": "Add g8r-optimize subcommand. (#1027)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-29T18:51:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9510a557acd29db2451da3ff6d872957757a05c9",
          "body": "- Flatten multidimensional array_update gatification by combining\nselectors across dimensions, reducing redundant nested muxing. Reduces\nmultidimensional array handling AIG node counts significantly.\n\n- Add formal-based array index alias analysis across array_index and\narray_update operations. This drives IR transformations in\nprep-for-gatify. Improves AIG depth significantly.",
          "is_bot": false,
          "headline": "Various array optimizations (#1026)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-29T18:02:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "92a5a30eea15315dc39a81289c82dfedd59b57c4",
          "body": "This speeds up the ir2gates by a significant factor through more\nefficient hashing and specialization of literal indices.",
          "is_bot": false,
          "headline": "Speed up gatification. (#1025)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-28T21:34:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "55122e091c8cab9388355f93b4e925809b64ff8e",
          "body": "Simplifies and speeds up fraiging.\n- ~3x faster across a large corpus with small average improvement in\ndelay and area.\n- Replaces iterative/batched FRAIG with a deterministic one-pass flow\nusing one full-graph CaDiCaL instance.\n- Applies SAT counterexamples immediately to split the current and\nrema\n[…]\nill being able to take\nadvantage of the simplification in later proofs.\n- Sets the default per-query CaDiCaL resource limit to 1000 and removes\nthe obsolete iteration-limit and convergence interfaces.",
          "is_bot": false,
          "headline": "Various optimizations to fraig. (#1024)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-28T06:06:59Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "6aea0de75f3a2e8d71bc8f65f23272a911e9aa4e",
          "body": "Minor impact on total area/delay (~1% at aig level, in the noise a\nnetlist level) but fixes timeouts for large designs.",
          "is_bot": false,
          "headline": "Add cadical proof limit in fraiging. (#1023)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-26T19:05:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cb616119436f85e267a17489094e98bd11d00995",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-25T23:07:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fb7b13484a3dbc7ec9daccec5d3b18f3f5a4e7f9",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-25T23:07:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6aa6ffe2df9f06d80d5d9cb67c9560f50c1cbd94",
          "body": "The new(), to_X() methods now use narrower types than u64/i64. For\nexample, a AOT generated U7 type will have conversions to/from u8.",
          "is_bot": false,
          "headline": "Narrow types in AOT bits types conversion. (#1022)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-25T21:27:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8779ae1beba7dae2c12a311662936c0d001d7d15",
          "body": "The subcommand evaluates a g8r graph including stateful ones.\n\nAs part of the change, generalize irvals files to allow named values\nlike:\n\n{ x: bits[32]:33, y: bits[32]: 44}\n...\n\nThis is in addition to the existing, one (potentially tuple-shaped)\nvalue per line format.\nAll evaluators can now consume this file format.\n\nIncludes toggle counting like aig-eval.",
          "is_bot": false,
          "headline": "Add g8r-eval subcommand. (#1021)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-23T02:27:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "368ee9959f8456db7e6fbebb4587cafe70757c03",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-21T23:08:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d4707648f36118561d0a203152d96eeb8339d09d",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-21T23:08:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ed1de637a1bbbb85e932fe68923b862dc2724398",
          "body": null,
          "is_bot": false,
          "headline": "Remove legacy AOT infrastructure (#1020)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-21T22:46:01Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "95473025a3120ee6926cde5ad17cc0f40f2e917f",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-21T05:27:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "161fdb3b82185d78c5652cec5821ede4cd22ae31",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-21T05:27:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3ca07d2bfcc60fa44c3416f61ecf240a2bd51d5c",
          "body": "Changes:\n- Typed DSLX AOT generation now uses the shared metadata-driven PIR AOT\nrenderer instead of a separate native RustBridgeBuilder path. The old\nsingle-entry DSLX emission APIs and native bridge types/renderers are\nremoved.\n- DSLX-derived IR is now run through the XLS optimizer before Cranelif\n[…]\nre removed.\n- Generated-code goldens, integration tests, and benchmarks are updated\nfor the new APIs and optimized artifacts. There are also small\nClippy/style cleanups in the README and sample crate.",
          "is_bot": false,
          "headline": "Various AOT improvements (#1019)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-21T05:13:53Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "9e9e1f5f42edb27e5f9b814e85a669d05c8cf1aa",
          "body": "Add power information to the liberty proto and change representation to\nbe more compact.\n\nSpecific changes:\n* Added dynamic power information.\n* Commoned LUT axes information.\n* Use float instead of double for table data.\n* Add a native rust representation of the proto information (model.rs)\nfor use in the code instead of the proto.\n\nProto changes are not backwards compatible.",
          "is_bot": false,
          "headline": "Various changes to liberty proto (#1018)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-20T06:08:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "83009ee17f1792b3b547cab56c7de9a7eb77be52",
          "body": "Co-authored-by: Chris Leary <cdleary@openai.com>",
          "is_bot": false,
          "headline": "xlsynth: bump cargo_metadata (#1008)",
          "author_name": "Johan Euphrosine",
          "author_login": "proppy",
          "committed_at": "2026-06-20T00:54:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d3c1a72048057fc9d2e5ee6f84ec9efcdd6b321f",
          "body": "Evaluates a netlist by mapping it to an AIG. Cell inputs/outputs are\nassociated with particular values in the AIG. Interface is similar to\naig-eval including an option to dump toggling activity for cell\ninputs/outputs.",
          "is_bot": false,
          "headline": "Add gv-eval subcommand. (#1017)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-18T23:13:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4dfc033cee518ffde51956172c528b6ae393f649",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-11T03:47:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "59ef0ef6aa81f82a09db094d7010548c790bdb7c",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-11T03:47:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "872d3b3b9c8d2eeea764eb00c0690e6ce9124a2d",
          "body": null,
          "is_bot": false,
          "headline": "Bump xlsynth version to v0.52.0. (#1016)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-11T03:28:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "74a9793691243a362b6c86226b94c441983d6da0",
          "body": null,
          "is_bot": false,
          "headline": "Add TryFrom and zero-bit support to AOT. (#1015)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-11T01:25:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "05ed88d4342620da0ffb5567f6c4a975727e3304",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-10T02:46:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "11d235ed766f40ccaf0febe4f0f9d4ac8d87cd43",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-10T02:46:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "856cba6adce08f75d00f6941998db4b915fcde21",
          "body": "Add verbosity to trace PIR node.",
          "is_bot": false,
          "headline": "Add AOT event collection options and benchmarks (#1014)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-10T02:28:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6db869b483823b2ece5f6fe06a9739dd77bd2dfe",
          "body": "Also fix a PIR compiler bug related to for loops",
          "is_bot": false,
          "headline": "More AOT cleanup. (#1013)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-09T20:47:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1ef6c9288b38062dcb6134b65cac33e7a563d417",
          "body": null,
          "is_bot": false,
          "headline": "Add aot compiler. (#1012)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-09T05:20:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b316b7f1ffa147739ab9f654a4ad445e43978472",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-05T23:39:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "084c810c90c89321749cb83597cb3dcd61762bc0",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-06-05T23:39:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0931c8f6795d4c8352521145b428911c92d047a8",
          "body": "Also bump to 0.54.0.",
          "is_bot": false,
          "headline": "Fix publish breakage related to bitwuzla. (#1011)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-05T23:26:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5268c667c7fa385d8e5a4f67747616b40a1191e8",
          "body": "Also fix some netlist parsing bugs.",
          "is_bot": false,
          "headline": "Add support for output-to-output liberty timing arcs. (#1009)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-05T22:34:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d956db1c5e50fa0613ee49ae2917430b4d0d6316",
          "body": "This stitches a sequence of stages represented as g8r functions into a\npipeline.",
          "is_bot": false,
          "headline": "Add g8r-stitch-pipeline subcommand. (#1010)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-05T22:11:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2b39f9fffef09f0fcd6ccc532442d86efaca33a1",
          "body": "…#1003)\n\n## Summary\n\n- Refresh compatibility metadata after every successful xlsynth-crate\nrelease, including patch releases.\n- Add a newly discovered release only after every crate listed by that\nrelease tag's `publish_order.toml` is visible in crates.io.\n- Keep ordinary generation append-oriented:\n[…]\n- Ran `--recompute-all-entries` in a detached worktree and compared the\nJSON structurally.\n- Passed the focused Python suite: `43` helper tests and `4` generator\nintegration tests.\n- Passed GitHub CI.",
          "is_bot": false,
          "headline": "release: refresh compatibility metadata for complete patch releases (…",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-06-02T16:32:30Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "933a3202e2ae98a174bd2359b5cfa4ca90e90d99",
          "body": "It was previously a mishmash of 2018, 2021, and 2024.",
          "is_bot": false,
          "headline": "Update all edition annotations to 2024 across all crates. (#1006)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-02T01:57:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "406022db310c3ed5c329f9138aafd3ea6b9acab9",
          "body": null,
          "is_bot": false,
          "headline": "Add support for counted_for in ir eval and ir compiler. (#1007)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-02T01:33:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "31f0b9e1c39a923bf91bbd579b020a5055a0114d",
          "body": "… compiler. (#1004)",
          "is_bot": false,
          "headline": "Add support for zero-width bitvectors and invoke operations to the IR…",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-02T00:46:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c9d36267397d1413a43159811d20123ea560eaa6",
          "body": null,
          "is_bot": false,
          "headline": "Fix a bunch of fuzz failures. (#1005)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-06-02T00:16:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c35162b478db4f1752113602d9fad0a0deaec59f",
          "body": "Record that xlsynth-driver 0.52.1 consumes XLS v0.50.1.\nLeave the incomplete 0.52.0 publication out of the compatibility map because xlsynth-driver 0.52.0 was never published.",
          "is_bot": false,
          "headline": "metadata: record installable xlsynth-driver 0.52.1",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-06-01T14:12:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d80340abe54d795f054c73460552eebeb9678ce6",
          "body": "…002)\n\nBitwuzla is almost always what we want. This change does require passing\n--features with-bitwuzla-system for all tests to pass, but this should\navoid accidentally falling back on check_ir_eq_main ever.",
          "is_bot": false,
          "headline": "Use bitwuzla universally now unless --solver specifies otherwise. (#1…",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-31T21:45:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "78672525767cc5bd7ad6bf8678d7d1c06b84623e",
          "body": "Changes:\n- Rename PirFunctionJit to PirFunctionCompiler.\n- Add bulk aggregate copies and aliasing for aggregate sel,\npriority_sel, and gate.\n- Add liveness-based scratch-slot reuse.\n- Improve scalar scheduling to reduce register pressure and spills.\n- Lower common wide operations directly where practical.\n- Simplify statically provable bounds checks and outline uncommon\nreporting paths.\n- Lazily load scalar aggregate views.\n\nEffect: execution, compilation time and object size improved up to 10x.",
          "is_bot": false,
          "headline": "Various optimizations to the PIR compiler (#1001)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-31T19:46:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4962a959d9eeb20b72fdba42dd7c1333ecbd757e",
          "body": "… (#1000)",
          "is_bot": false,
          "headline": "Add support for assumed_in_bounds to compiler/evaluator/ir-generator.…",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T23:15:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b176b53a348cfdb5fd9d96908ddc3fa9087a9443",
          "body": "Easy to handle operations are done in the generated code. More\ncomplicated wide operations (shift, mul, etc) are handled via callbacks\nto the runtime.",
          "is_bot": false,
          "headline": "Add support for wide operations. (#999)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T21:07:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1ca935ff79f0bf809ac04f22a788242b60af42c5",
          "body": "This requires adding a small runtime library (as a crate).",
          "is_bot": false,
          "headline": "Add support for cover/trace/assert to the ir compiler. (#998)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T20:24:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c29ff10332c4764573fa659aafe39f6e625d0667",
          "body": null,
          "is_bot": false,
          "headline": "Extend the random ir generator to create assert/trace/cover ops. (#997)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T18:58:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27928f94eebd1c6d7e8abe4dbdd9389e4d64a9ac",
          "body": "Cleanup and extend IR verification to more closely match XLS's.",
          "is_bot": false,
          "headline": "Add more verification. (#996)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T17:51:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0175f34ed06028dab6083db2ffdb8f93fdf3e768",
          "body": "Currently just a JIT, but AOT is possible.\n\nAll ops supported except:\n*  bit types wider than 128\n* trace, cover, assert\n* block/proc ops\n\nThose should be easy to add.\n\nPerformance is about the same as the LLVM JIT compiled code, though\ncranelift compiles 10x or more faster. Shenanigans were required to get\nthe original LLVM JIT working without falling over back in the day.\nThese contortions probably slow down the LLVM generated code which makes\ncranelift competive speedwise.",
          "is_bot": false,
          "headline": "Add Cranelift-backed PIR compiler (#995)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T16:35:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4ddd9a655f177c628a93930051499f14dcdc3ea6",
          "body": "Create a single random IR generator which is used everywhere such as for\nfuzz tests. The generator covers many more corner cases. Also fix new\nbugs found along the way.\n\nAlso, bump to v0.53.0.",
          "is_bot": false,
          "headline": "Unify and beef up random IR generator (#994)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-30T06:40:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "199094ae15969a9fb7aa191290f91a017ef5fe31",
          "body": "Make tag-triggered publication restartable after a partial crates.io\nrelease. The publisher skips exact crate versions already visible in the\nsparse index, retries recognized transient upload failures only after\nreconciling sparse-index visibility, and permits the exact tag version\nduring the workfl\n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "release: resume crates.io publication after transient failures (#993)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-30T00:42:09Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "ad27e752efed28bc6cd2212f4040d2dbbf894626",
          "body": "<!-- spr-stack:start -->\n**Stack**:\n-   #993\n- ➡ #992\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "release: prepare v0.52.1 after partial publication (#992)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-29T21:08:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "06edeac82f3dd4a9595d974f5b295ba94770d355",
          "body": "Advance the lockstep Rust crate versions from `0.51.0` to `0.52.0` for\nthe next release.\n\n<!-- spr-stack:start -->\n**Stack**:\n- ➡ #991\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "release: prepare v0.52.0 after the partial publication (#991)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-29T19:40:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f7546f30de7c60f6d0a0079dd7723a803d2d3df5",
          "body": "Read published crate versions from the crates.io sparse index in the\nrelease tooling, so an uploaded crate is no longer stranded when\ncrates.io rejects the REST API polling request.\n\n## Problem Solved\n\nThe `v0.51.0` publish attempt uploaded `xlsynth-sys 0.51.0`, then\n`scripts/sleep_until_version_see\n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "release: prevent partial crates.io publications (#990)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-29T19:24:56Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2cfa55582bb33b198561a71b28a7250b0a3d1b7d",
          "body": "Now includes computation of sequential cell area, per stage area/delay,\ninput-to-reg and reg-to-output delay and other metrics.",
          "is_bot": false,
          "headline": "Add support for flops to gv-stats. (#989)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-29T15:43:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cb9c2454d67624dcf60daa053725add96924fef6",
          "body": "- Bump workspace crate versions from 0.50.0 to 0.51.0 after the failed,\nunpublished v0.50.0 release attempt.\n- Make scripts/download_release.py download the XLS DSO and standalone\nAOT runtime artifacts by default, while providing opt-out flags.\n- Configure the publish workflow and Codex maintenance \n[…]\nired by\nxlsynth-aot-runtime.\n- Regenerate version metadata to record that release tags have been\nexamined through v0.50.0; no compatibility entry is added because that\ncrate version was not published.",
          "is_bot": false,
          "headline": "Various crate version and infrastructure fixes. (#988)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-29T04:04:16Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "43f26ee771e6590bc7406cbb47fa96a8a80d1e44",
          "body": null,
          "is_bot": false,
          "headline": "Add dslx-stitch-g8r-pipeline (#987)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-29T03:10:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5e3d105f6ac53a4b748d9396da354110b5f5b659",
          "body": "This builds CLI and netlist support on top of the existing\nSequentialGateFn and BLIF serialization work.\n\n- Extend ir2g8r so --top may select either an XLS function or an XLS\nblock. Function lowering remains combinational; block lowering produces\na SequentialGateFn preserving its clock and registers\n[…]\n-free designs.\n    - g8r2ir-block for designs that may contain registers.\n- Add g8r2blif and blif2g8r driver commands exposing the existing\nsynchronous BLIF serialization/deserialization library APIs.",
          "is_bot": false,
          "headline": "Add more support for sequential logic in g8r. (#986)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-29T02:40:29Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "bec7f5b4e6f50fb03a5a6ea997789dcc5680ffe1",
          "body": null,
          "is_bot": false,
          "headline": "Support serializing g8r to/from BLIF. (#985)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-29T00:53:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9cf2c520382263c1810779e9cee9c1cf085209d4",
          "body": "This new representation wraps GateFn to support registers at the g8r\nlevel. Current support includes XLS block to g8r conversion and\nserialization to .g8r/.g8rbin.",
          "is_bot": false,
          "headline": "Add SequentialGateFn to g8r. (#984)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-28T19:16:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "54a32fadf26cc792e9c7efd13a67840de676fa41",
          "body": "- Earlier PRs teach the system to produce:\n  - `libxls_aot_runtime.a`\n  - `libxls_aot_runtime_link.toml`\n- This PR teaches CI to:\n  1. download those released artifacts,\n  2. assemble an `XLSYNTH_ARTIFACT_CONFIG`,\n  3. run the standalone AOT consumer crates against that config.\n\nDownload the same-ve\n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "ci: validate standalone runtime release artifacts (#980)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-22T15:53:50Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "0910ee19072a39a960b8df85b4f1e25199a4b4be",
          "body": "Select the published XLS v0.50.1 release, make the native-link smoke fixture a valid archive, and ensure Valgrind uses the DSO matching the resolved XLS release tag.",
          "is_bot": false,
          "headline": "aot-runtime: adopt XLS v0.50.1 with valid native-link coverage (#983)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-22T15:31:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9bfcb2d3d6a1ba56caba246c60b99e4b8dba0306",
          "body": "This change lets `xlsynth-aot-runtime` run in a Bazel-declared link\nmode, so rules_rust can supply the standalone runtime dependency instead\nof the Rust crate also requesting the released static archive. Direct\nCargo consumers keep the existing native archive link behavior by\ndefault.\n\n# Problem Sol\n[…]\nclippy -p xlsynth-aot-runtime --tests`\n- `XLS_AOT_RUNTIME_PATH=<path-to-libxls_aot_runtime.a>\nXLS_AOT_RUNTIME_LINK_CONFIG_PATH=<path-to-libxls_aot_runtime_link.toml>\ncargo test -p xlsynth-aot-runtime`",
          "is_bot": false,
          "headline": "aot-runtime: let Bazel declare standalone runtime links (#982)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-22T05:31:20Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "c6a302d21568ce424143d49c1b31b3e14ed70035",
          "body": "ABC is sensitive to the AIG node ordering. Previously we would emit\ndifferent orders for .aig vs .aag files. This change canonicalizes them\nto the same order.",
          "is_bot": false,
          "headline": "Use the same ordering/numbering for aag and aig emission. (#981)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-21T23:02:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9bd0725626a99924514603b1b3d01fbbdb6dcdbd",
          "body": "Decode the producer-owned runtime-feature requirements envelope from\nentrypoint metadata and use it\nas the standalone admission authority. Remove the Rust IR-text\nclassifier, fail clearly when older\nproducer metadata omits the envelope, and keep runtime feature-bit\nconstruction covered in\nxlsynth-ao\n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "aot: consume XLS-authored runtime feature requirements (#971)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-20T03:01:17Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "afe7fabce7ab556f1b8c05c5e9c926ce030c72a3",
          "body": "Read the XLS-owned runtime link manifest alongside\n`libxls_aot_runtime.a` and turn it into the Cargo link directives for\nthe current target. That removes the Rust-side duplicate of the platform\nsupport-library list, so the producer artifact itself stays\nauthoritative about what must be linked.\n\nFor \n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "aot: consume producer-owned runtime link metadata (#968)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-20T01:50:59Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "3b441255e5c7ffb0f25c69b6bf6d19f516fee92a",
          "body": "# Problem Solved\nThe earlier standalone-runtime prototype proved the deployment boundary,\nbut it kept runtime ABI ownership in Rust by mirroring live XLS callback\nobjects. Runtime ABI ownership should come from XLS itself; Rust\nconsumers should only provide generated wrapper glue and link the\nreleas\n[…]\n\n⚠️ *Part of a stack created by\n[spr-multicommit](https://github.com/mattskl-openai/spr-multicommit). Do\nnot merge manually using the UI - doing so may have unexpected results.*\n<!-- spr-stack:end -->",
          "is_bot": false,
          "headline": "aot: link standalone wrappers against the XLS runtime archive (#964)",
          "author_name": "dank-openai",
          "author_login": "dank-openai",
          "committed_at": "2026-05-19T03:11:56Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "c8ea2f7629fa669eaf237ef3956b0f72079f4aad",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-18T22:32:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ba1a042dc3aca29396ade55519d2ffe3b006c805",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-18T22:31:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e4681288e26f98abfe13906d9bd67813d51e119d",
          "body": "Adds `ext_normalize_left`, an extension op for the common normalization\ncone:\n```\nshll(zero_ext(x), clz(x) + offset)\n```\n\nThe op zero-extends `x` to a requested normalized width, shifts it left\nby`clz(x) + shift_offset`, and can optionally return the raw `clz(x)`\nvalue alongside the normalized bits \n[…]\natches this pattern and does the conversion.\n\nAlso generalize `ext_clz` with explicit output width and constant offset\nsupport.\n\nImproves fp add/sub designs by a few percent or more on delay and area.",
          "is_bot": false,
          "headline": "Add normalization ext top to pir (#978)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-18T21:08:13Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "31b853fbbd7a0e6a986bf0a0efe8b6103183655c",
          "body": "The check is done on ir->verilog conversion in ir2combo, ir2pipeline,\nand dslx2pipeline.",
          "is_bot": false,
          "headline": "Add flag to disable extern_verilog handling. (#979)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-18T18:33:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b21ab34f6e5d865e2c901eef3cfecaeb8dfd89d6",
          "body": null,
          "is_bot": false,
          "headline": "[ir-query] add comm for commutative IR queries (#977)",
          "author_name": "Chris Leary",
          "author_login": "cdleary",
          "committed_at": "2026-05-18T04:44:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3c752ea162d1392a3caaec9447a597cc3c653d38",
          "body": null,
          "is_bot": false,
          "headline": "[ir-query] Add Rust-like default option matching to IR queries (#976)",
          "author_name": "Chris Leary",
          "author_login": "cdleary",
          "committed_at": "2026-05-17T23:32:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0208db7094ad6ddda692b55556f06c11ba3330dc",
          "body": "Add support for \"tran\" which abc sometimes emits in netlist. Also, clean\nup logic around consumers of netlists. Connectivity through\nassigns/concats/tran/etc is resolved in one place producing a\n\"normalized\" netlist which is used by downstream consumers.",
          "is_bot": false,
          "headline": "Fix more netlist parsing issues. (#975)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-16T04:40:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "49eab0d52b9f5aa1403baa34e6c4cb24ee1fd94c",
          "body": "Large AND expression are reassociated to minimize depth. This is run\nbefore and after cutdb. Improves delay 1.8%, increases area 1%.\n\nCurrent state of g8r vs yosys: Delay 4% better, delay 11% better\n\nAlso fix some more netlist parsing issues of yosys-generated netlists\nand speed up gv-stats by a huge amount.",
          "is_bot": false,
          "headline": "Add reassociation pass. (#974)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-16T01:22:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a7858a2042fd776499877a4a849c7564d95370af",
          "body": "Changes:\n* Unify all gv-* commands under the same netlist parser.\n* support slices, concats, literals which (at least) yosys sometimes\nemits.",
          "is_bot": false,
          "headline": "Support alias assignments in netlists in gv-sta. (#973)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-15T23:06:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "80f6eca050884c1aefd6c2b8ccc6670b318779e3",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-15T20:10:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bd71643648c66ce4ed5a49477a9ddc62d59caee7",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-15T20:10:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2da1895cb68d9c0ca82668648cd740091b1afa25",
          "body": "gv-area reports the total cell area of a design.\n\ngv-stats reports area, delay (same as gv-sta) and other metrics of the\nnetlist.\n\nVerified area against abc to the precision abc reports.\n\nAdjusted gv-sta in a few ways discovered along the way. Methodology was:\nchange gv-sta to match abc stime to mak\n[…]\nonditional timing arcs: use when when known\nscalar constants make an arc provably false; otherwise keep the arc\npossible.\n- Kept clamping extrapolated negative slew to zero as a physical sanity\nbound.",
          "is_bot": false,
          "headline": "Add gv-area and gv-stats subcommands. (#972)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-15T19:55:47Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "a8520ba59a4a134c67917771deda14ebc5cf6a6e",
          "body": "Array index operations of arrays with identical elements are lowered\nmore efficiently now. Predicates of identical elements are combined\nprior to the big OR-reduction which produces the final output.\nDramatically improves lookup heavy blocks (up to 50% reduction in area).\n\nAlso add --unsafe-gatify-g\n[…]\nn\non designs with gate operation. It is marked unsafe, because the intent\nof the gate operation is typically power optimization and the gate\noperation logic may be removed by downstream optimizations.",
          "is_bot": false,
          "headline": "Improve array index lowering. (#969)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-13T22:38:09Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "66cb30c2ea73d2a920896c5a1dfe6d5b26c4eeed",
          "body": "Specific changes:\n* Added AIG toggle measurement support through aig-eval, including\n.irvals stimulus input, JSON toggle output, and SIMD-backed toggle\ncounting in the g8r AIG simulation path.\n* Added ir-fn-generate-inputs, which emits deterministic .irvals input\ntuples for an IR function with uniform sampling by default and optional\nGaussian sampling for fp8, bf16, fp32, and fp64 parameters.",
          "is_bot": false,
          "headline": "Add AIG toggle measurement and synthetic input generation (#970)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-13T22:06:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d885c72d8e324df53f024fd315efcad850a4bc60",
          "body": null,
          "is_bot": false,
          "headline": "Update version metadata after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-12T18:09:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "52c6b0b3bad5a3af45d3e3de0f426a11ca534d62",
          "body": null,
          "is_bot": false,
          "headline": "Bump version numbers after successful publish",
          "author_name": "github-actions",
          "author_login": null,
          "committed_at": "2026-05-12T18:09:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "013b863599eb3fc8202a3827cfacdcdc694de1b2",
          "body": null,
          "is_bot": false,
          "headline": "Create versioned libxls DSO alias (#967)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-10T01:01:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "227e8a58a5157acdd810d89eb3a59b0cff29cd30",
          "body": "Expand cutdb to handle larger cuts. Transformation occurs in three\nphases:\n\n1. delay optimization for cuts with <=4 leaves\n2. delay optimization for cuts with up to 8 leaves\n3. area optimization for cuts with <=4 leaves\n4. area optimization for cuts with up to 8 leaves\n\nThe <= 4 leaves phases are si\n[…]\nred logic).\n\ndynamic_depth : similar to dynamic_structural_hash but for critical-path\nlevels from the inputs and to the output for each node. It can be\nupdated efficiently as the graph is transformed.",
          "is_bot": false,
          "headline": "Improve cutdb (#966)",
          "author_name": "meheff",
          "author_login": "meheff",
          "committed_at": "2026-05-09T16:13:06Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "615bbb5da9b0b281710397e5634d7075056c4979",
          "body": "this is a first structural mapper, and max-speed selection is still\nconvention-based rather than timing-driven",
          "is_bot": false,
          "headline": "[g8r] add naive tech mapping (#965)",
          "author_name": "Chris Leary",
          "author_login": "cdleary",
          "committed_at": "2026-05-09T00:33:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d4cd6500695c145593df8b386063d7ac65b1b5a0",
          "body": null,
          "is_bot": false,
          "headline": "[liberty] add threshold voltage class ordering (#963)",
          "author_name": "Chris Leary",
          "author_login": "cdleary",
          "committed_at": "2026-05-08T00:28:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6af785b23730f85a69e09f9093a0180c284f4268",
          "body": null,
          "is_bot": false,
          "headline": "[liberty] preserve threshold voltage groups (#961)",
          "author_name": "Chris Leary",
          "author_login": "cdleary",
          "committed_at": "2026-05-07T23:14:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 100,
      "commits_last_year": 664,
      "latest_release_at": "2026-07-17T00:12:09Z",
      "latest_release_tag": "v0.61.0",
      "releases_from_tags": true,
      "days_since_last_push": 0,
      "active_weeks_last_year": 50,
      "days_since_latest_release": 4,
      "mean_days_between_releases": 5.3
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": false,
      "health_percentage": 50,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "xlsynth",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 227,
          "total_downloads": 673170,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 51693,
          "first_published_at": "2024-05-30T17:08:18.175398Z",
          "latest_published_at": "2026-07-21T16:57:49.909817Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-g8r",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-g8r",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 142,
          "total_downloads": 59167,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 517,
          "first_published_at": "2025-03-19T08:19:28.745724Z",
          "latest_published_at": "2026-07-21T17:00:10.480007Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-pir",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-pir",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 63,
          "total_downloads": 20766,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 583,
          "first_published_at": "2025-09-16T01:22:42.729293Z",
          "latest_published_at": "2026-07-21T16:58:25.117702Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-sys",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-sys",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 215,
          "total_downloads": 654456,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 51714,
          "first_published_at": "2024-08-20T20:15:14.017331Z",
          "latest_published_at": "2026-07-21T16:57:27.473856Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-mcmc",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-mcmc",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 36,
          "total_downloads": 15461,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 452,
          "first_published_at": "2026-01-02T08:34:36.209738Z",
          "latest_published_at": "2026-07-21T16:58:59.212779Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-driver",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-driver",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 196,
          "total_downloads": 100765,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 484,
          "first_published_at": "2024-10-11T18:57:54.250668Z",
          "latest_published_at": "2026-07-21T17:02:01.483917Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        },
        {
          "name": "xlsynth-prover",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/xlsynth-prover",
          "is_deprecated": false,
          "latest_version": "0.61.0",
          "repository_url": "https://github.com/xlsynth/xlsynth-crate",
          "versions_count": 60,
          "total_downloads": 19382,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 532,
          "first_published_at": "2025-09-18T01:08:32.949865Z",
          "latest_published_at": "2026-07-21T16:59:07.845018Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 0
        }
      ]
    },
    "popularity": {
      "forks": 5,
      "stars": 3,
      "watchers": 2,
      "fork_history": {
        "days": [
          {
            "date": "2024-06-25",
            "count": 1
          },
          {
            "date": "2025-04-04",
            "count": 1
          },
          {
            "date": "2025-06-11",
            "count": 1
          },
          {
            "date": "2025-11-14",
            "count": 1
          },
          {
            "date": "2026-02-23",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 5,
        "total_forks": 5
      },
      "star_history": {
        "days": [
          {
            "date": "2025-06-08",
            "count": 1
          },
          {
            "date": "2026-03-28",
            "count": 1
          },
          {
            "date": "2026-05-07",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 3,
        "total_stars": 3
      },
      "open_issues_and_prs": 13
    },
    "ai_readiness": {
      "has_nix": false,
      "example_dirs": [],
      "has_llms_txt": false,
      "has_dockerfile": true,
      "has_mcp_signal": false,
      "bootstrap_files": [],
      "api_schema_files": [
        "xlsynth-estimator/proto/estimator_model.proto",
        "xlsynth-estimator/proto/sample_node.proto",
        "xlsynth-g8r/proto/liberty.proto",
        "xlsynth-g8r/proto/result.proto"
      ],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "toolchain_manifests": [
        "Cargo.toml",
        "sample-usage/Cargo.toml",
        "xlsynth-autocov/Cargo.toml",
        "xlsynth-driver/Cargo.toml",
        "xlsynth-driver/fuzz/Cargo.toml",
        "xlsynth-dslx-routines/Cargo.toml",
        "xlsynth-estimator/Cargo.toml",
        "xlsynth-g8r/Cargo.toml",
        "xlsynth-g8r/fuzz/Cargo.toml",
        "xlsynth-mcmc-pir/Cargo.toml",
        "xlsynth-mcmc-pir/fuzz/Cargo.toml",
        "xlsynth-mcmc/Cargo.toml",
        "xlsynth-pir-compiler-runtime/Cargo.toml",
        "xlsynth-pir-compiler/Cargo.toml",
        "xlsynth-pir-compiler/fuzz/Cargo.toml",
        "xlsynth-pir-compiler/tests/aot-dslx-test-crate/Cargo.toml",
        "xlsynth-pir-compiler/tests/aot-ir-test-crate/Cargo.toml",
        "xlsynth-pir/Cargo.toml",
        "xlsynth-pir/fuzz/Cargo.toml",
        "xlsynth-prover/Cargo.toml",
        "xlsynth-sys/Cargo.toml",
        "xlsynth-test-helpers/Cargo.toml",
        "xlsynth-vastly/Cargo.toml",
        "xlsynth-vastly/fuzz/Cargo.toml",
        "xlsynth/Cargo.toml"
      ],
      "largest_source_bytes": 482832,
      "source_files_sampled": 734,
      "oversized_source_files": 37,
      "agent_instruction_files": [
        "AGENTS.md"
      ],
      "agent_instruction_max_bytes": 16176
    },
    "dependencies": {
      "manifests": [
        "Cargo.toml",
        "requirements.txt",
        "sample-usage/Cargo.toml",
        "xlsynth-autocov/Cargo.toml",
        "xlsynth-driver/Cargo.toml",
        "xlsynth-dslx-routines/Cargo.toml",
        "xlsynth-estimator/Cargo.toml",
        "xlsynth-g8r/Cargo.toml",
        "xlsynth-mcmc-pir/Cargo.toml",
        "xlsynth-mcmc/Cargo.toml",
        "xlsynth-pir-compiler-runtime/Cargo.toml",
        "xlsynth-pir-compiler/Cargo.toml",
        "xlsynth-pir/Cargo.toml",
        "xlsynth-prover/Cargo.toml",
        "xlsynth-sys/Cargo.toml",
        "xlsynth-test-helpers/Cargo.toml",
        "xlsynth-vastly/Cargo.toml",
        "xlsynth/Cargo.toml"
      ],
      "advisories": {
        "error": null,
        "scope": "repository_graph",
        "source": "osv",
        "findings": [],
        "collected": true,
        "malicious": [],
        "truncated": false,
        "by_severity": {},
        "advisory_count": 0,
        "affected_count": 0,
        "assessed_count": 1,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 90,
        "direct_affected_count": 0
      },
      "ecosystems": [
        "crates",
        "pypi"
      ],
      "dependencies": [
        {
          "name": "xlsynth",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "log",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "env_logger",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "num_cpus",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "rayon",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.10"
        },
        {
          "name": "lazy_static",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.4"
        },
        {
          "name": "mimalloc",
          "manifest": "sample-usage/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.1.43"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-prover",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "blake3",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.5"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8"
        },
        {
          "name": "log",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "ctrlc",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.4.7"
        },
        {
          "name": "signal-hook",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "anyhow",
          "manifest": "xlsynth-autocov/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-g8r",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-mcmc-pir",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-autocov",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-prover",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "toml",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8.19"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "log",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "serde",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "serde_json",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "colored",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2"
        },
        {
          "name": "prost",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.6"
        },
        {
          "name": "prost-types",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.6"
        },
        {
          "name": "prost-reflect",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.0"
        },
        {
          "name": "bincode",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.3"
        },
        {
          "name": "rand_xoshiro",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.6"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8"
        },
        {
          "name": "once_cell",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.19"
        },
        {
          "name": "paste",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.15"
        },
        {
          "name": "regex",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.11.1"
        },
        {
          "name": "anyhow",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "which",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "5.0"
        },
        {
          "name": "libc",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "signal-hook",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3"
        },
        {
          "name": "flate2",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "comfy-table",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "7.2"
        },
        {
          "name": "csv",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "num_cpus",
          "manifest": "xlsynth-driver/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.16"
        },
        {
          "name": "prost",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12"
        },
        {
          "name": "prost-types",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12"
        },
        {
          "name": "prost-reflect",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12"
        },
        {
          "name": "nnls",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3"
        },
        {
          "name": "ndarray",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.15"
        },
        {
          "name": "log",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-estimator/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-prover",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-mcmc",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "log",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "num_cpus",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.16"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "serde",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "serde_json",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "flate2",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "=1.1.5"
        },
        {
          "name": "half",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2.6"
        },
        {
          "name": "blake3",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.5"
        },
        {
          "name": "once_cell",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.19"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8.5"
        },
        {
          "name": "varisat",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2.2"
        },
        {
          "name": "cadical",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.1.16"
        },
        {
          "name": "z3",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12"
        },
        {
          "name": "rand_xoshiro",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.6"
        },
        {
          "name": "num-traits",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2.19"
        },
        {
          "name": "prost",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.6"
        },
        {
          "name": "prost-types",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.6"
        },
        {
          "name": "prost-reflect",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.0"
        },
        {
          "name": "string-interner",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.15"
        },
        {
          "name": "anyhow",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.86"
        },
        {
          "name": "rand_pcg",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.1"
        },
        {
          "name": "ctrlc",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.4.4"
        },
        {
          "name": "libc",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "colored",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.0.0"
        },
        {
          "name": "atty",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "bincode",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.3"
        },
        {
          "name": "arbitrary",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.3"
        },
        {
          "name": "bitvec",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.1"
        },
        {
          "name": "rayon",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.10.0"
        },
        {
          "name": "regex",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.11.1"
        },
        {
          "name": "smallvec",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.13.2"
        },
        {
          "name": "sha2",
          "manifest": "xlsynth-g8r/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.10"
        },
        {
          "name": "xlsynth-mcmc",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-g8r",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-prover",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "anyhow",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.86"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8.5"
        },
        {
          "name": "rand_pcg",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.1"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "log",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "num_cpus",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.16"
        },
        {
          "name": "serde_json",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "serde",
          "manifest": "xlsynth-mcmc-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-mcmc/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8.5"
        },
        {
          "name": "num-bigint",
          "manifest": "xlsynth-pir-compiler-runtime/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4.6"
        },
        {
          "name": "cranelift-codegen",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cranelift-frontend",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cranelift-jit",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cranelift-module",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cranelift-native",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cranelift-object",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.132.0"
        },
        {
          "name": "cc",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "serde",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "serde_json",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "target-lexicon",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.13.5"
        },
        {
          "name": "thiserror",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir-compiler-runtime",
          "manifest": "xlsynth-pir-compiler/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "log",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "blake3",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.5"
        },
        {
          "name": "rand",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8"
        },
        {
          "name": "rand_pcg",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.1"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "bitvec",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0.1"
        },
        {
          "name": "sha2",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.10"
        },
        {
          "name": "smallvec",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.13.2"
        },
        {
          "name": "num-bigint",
          "manifest": "xlsynth-pir/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4.6"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-pir",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "num_cpus",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.16"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "log",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "serde",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "regex",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.11"
        },
        {
          "name": "boolector-sys",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.7.2"
        },
        {
          "name": "bitwuzla-sys",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8.0"
        },
        {
          "name": "easy-smt",
          "manifest": "xlsynth-prover/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.3.1"
        },
        {
          "name": "libc",
          "manifest": "xlsynth-sys/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "slang-rs",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.0"
        },
        {
          "name": "tempfile",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "3.20"
        },
        {
          "name": "log",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "env_logger",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.11"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-prover",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "arbitrary",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.3"
        },
        {
          "name": "pretty_assertions",
          "manifest": "xlsynth-test-helpers/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.4.1"
        },
        {
          "name": "clap",
          "manifest": "xlsynth-vastly/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "xlsynth",
          "manifest": "xlsynth-vastly/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "xlsynth-sys",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.62.0"
        },
        {
          "name": "thiserror",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "clap",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "4.5.21"
        },
        {
          "name": "log",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.4"
        },
        {
          "name": "regex",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.11.1"
        },
        {
          "name": "serde",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "serde_json",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1.0"
        },
        {
          "name": "toml",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.8"
        },
        {
          "name": "libc",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "prost",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.12.6"
        },
        {
          "name": "cc",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "1"
        },
        {
          "name": "prettyplease",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "0.2"
        },
        {
          "name": "syn",
          "manifest": "xlsynth/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": "2"
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "anyhow",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "arbitrary",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "atty",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "bincode",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "bitvec",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "bitwuzla-sys",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "blake3",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "boolector-sys",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cadical",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "clap",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "colored",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "comfy-table",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-codegen",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-frontend",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-jit",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-module",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-native",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cranelift-object",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "csv",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "ctrlc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "easy-smt",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "env_logger",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "flate2",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "flate2",
            "direct": true,
            "version": "1.1.5",
            "ecosystem": "crates"
          },
          {
            "name": "half",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "lazy_static",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "libc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "log",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "mimalloc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "ndarray",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "nnls",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "num-bigint",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "num-traits",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "num_cpus",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "once_cell",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "paste",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "pretty_assertions",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "prettyplease",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "prost",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "prost-reflect",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "prost-types",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "rand",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "rand_pcg",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "rand_xoshiro",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "rayon",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "regex",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "serde",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "serde_json",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "sha2",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "signal-hook",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "slang-rs",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "smallvec",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "string-interner",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "syn",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "target-lexicon",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "tempfile",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "thiserror",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "toml",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "varisat",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "which",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-autocov",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-g8r",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-mcmc",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-mcmc-pir",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-pir",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-pir-compiler-runtime",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-prover",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-sys",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "z3",
            "direct": true,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "cargo_metadata",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "criterion",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "glob",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "libfuzzer-sys",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "maplit",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "prost-build",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "semver",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "tar",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "test-case",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "ureq",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-driver",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-pir-compiler",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-test-helpers",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "xlsynth-vastly",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "certifi",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          },
          {
            "name": "charset-normalizer",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          },
          {
            "name": "idna",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          },
          {
            "name": "requests",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          },
          {
            "name": "termcolor",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          },
          {
            "name": "urllib3",
            "direct": false,
            "version": null,
            "ecosystem": "pypi"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 91,
        "direct_count": 71,
        "indirect_count": 20
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 6,
        "merged_prs": 955,
        "open_issues": 7,
        "closed_ratio": 0.667,
        "closed_issues": 14,
        "closed_unmerged_prs": 57
      },
      "bus_factor": 1,
      "bot_contributors": 0,
      "top_contributors": [
        {
          "type": "User",
          "login": "cdleary",
          "commits": 743,
          "avatar_url": "https://avatars.githubusercontent.com/u/123475?v=4"
        },
        {
          "type": "User",
          "login": "meheff",
          "commits": 139,
          "avatar_url": "https://avatars.githubusercontent.com/u/24232157?v=4"
        },
        {
          "type": "User",
          "login": "lsrcz",
          "commits": 80,
          "avatar_url": "https://avatars.githubusercontent.com/u/21142743?v=4"
        },
        {
          "type": "User",
          "login": "dank-openai",
          "commits": 23,
          "avatar_url": "https://avatars.githubusercontent.com/u/192034507?v=4"
        },
        {
          "type": "User",
          "login": "proppy",
          "commits": 5,
          "avatar_url": "https://avatars.githubusercontent.com/u/5268?v=4"
        },
        {
          "type": "User",
          "login": "jlebar",
          "commits": 4,
          "avatar_url": "https://avatars.githubusercontent.com/u/150663?v=4"
        },
        {
          "type": "User",
          "login": "mgottscho",
          "commits": 4,
          "avatar_url": "https://avatars.githubusercontent.com/u/2636813?v=4"
        },
        {
          "type": "User",
          "login": "psivaraj",
          "commits": 3,
          "avatar_url": "https://avatars.githubusercontent.com/u/34531431?v=4"
        },
        {
          "type": "User",
          "login": "sherbst-openai",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/178324328?v=4"
        },
        {
          "type": "User",
          "login": "allight",
          "commits": 1,
          "avatar_url": "https://avatars.githubusercontent.com/u/3878235?v=4"
        }
      ],
      "contributors_sampled": 13,
      "top_contributor_share": 0.738
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "ci.yml",
        "publish.yml"
      ],
      "has_docs_dir": true,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": true,
      "has_precommit_config": true
    },
    "security_signals": {
      "lockfiles": [],
      "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": 3,
            "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": "20 out of 20 merged PRs checked by a CI test -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
          },
          {
            "name": "CII-Best-Practices",
            "score": 0,
            "reason": "no effort to earn an OpenSSF best practices badge detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
          },
          {
            "name": "Code-Review",
            "score": 0,
            "reason": "Found 0/30 approved changesets -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 3 contributing companies or organizations -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
          },
          {
            "name": "Dangerous-Workflow",
            "score": 10,
            "reason": "no dangerous workflow patterns detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
          },
          {
            "name": "Dependency-Update-Tool",
            "score": 0,
            "reason": "no update tool detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
          },
          {
            "name": "Fuzzing",
            "score": 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": 10,
            "reason": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
          },
          {
            "name": "Packaging",
            "score": null,
            "reason": "packaging workflow not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
          },
          {
            "name": "Pinned-Dependencies",
            "score": 5,
            "reason": "dependency not pinned by hash detected -- score normalized to 5",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
          },
          {
            "name": "SAST",
            "score": 0,
            "reason": "SAST tool is not run on all commits -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
          },
          {
            "name": "Security-Policy",
            "score": 0,
            "reason": "security policy file not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
          },
          {
            "name": "Signed-Releases",
            "score": null,
            "reason": "no releases found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
          },
          {
            "name": "Token-Permissions",
            "score": 0,
            "reason": "detected GitHub workflow tokens with excessive permissions",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
          },
          {
            "name": "Vulnerabilities",
            "score": 10,
            "reason": "0 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "5f5e4c970058ddc2836da25791210399b72314b4",
        "ran_at": "2026-07-21T22:48:59Z",
        "aggregate_score": 5.4,
        "scorecard_version": "v5.5.0"
      },
      "has_codeql_workflow": false,
      "has_security_policy": false,
      "has_dependabot_config": false
    },
    "contribution_flow": {
      "collected": true,
      "ci_last_run_at": null,
      "oldest_open_prs": [
        {
          "number": 466,
          "created_at": "2025-07-20T00:34:43Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 676,
          "created_at": "2025-11-12T19:18:09Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 695,
          "created_at": "2025-12-17T03:16:47Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 848,
          "created_at": "2026-02-27T20:23:01Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 895,
          "created_at": "2026-04-10T04:58:22Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 1032,
          "created_at": "2026-07-06T19:05:40Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-07-17T00:12:09Z",
      "ci_last_conclusion": null,
      "oldest_open_issues": [
        {
          "number": 63,
          "created_at": "2024-11-25T19:40:24Z",
          "last_comment_at": "2025-07-09T17:09:20Z",
          "last_comment_author": "dank-openai"
        },
        {
          "number": 64,
          "created_at": "2024-11-26T00:36:48Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 65,
          "created_at": "2024-11-26T00:37:44Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 146,
          "created_at": "2025-03-21T08:19:59Z",
          "last_comment_at": "2025-06-06T06:09:41Z",
          "last_comment_author": "proppy"
        },
        {
          "number": 159,
          "created_at": "2025-03-23T23:29:15Z",
          "last_comment_at": "2025-04-01T18:28:19Z",
          "last_comment_author": "cdleary"
        },
        {
          "number": 467,
          "created_at": "2025-07-20T00:36:39Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 487,
          "created_at": "2025-08-04T17:31:17Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/xlsynth/xlsynth-crate",
    "host": "github.com",
    "name": "xlsynth-crate",
    "owner": "xlsynth"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "good",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 72,
      "inputs": {
        "security": 63,
        "vitality": 95,
        "community": 42,
        "governance": 61,
        "engineering": 92
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "excellent",
        "name": "Vitality",
        "value": 95,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "excellent",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 99,
            "inputs": {
              "commits_last_year": 664,
              "human_commit_share": 1,
              "days_since_last_push": 0,
              "active_weeks_last_year": 50
            },
            "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": "50/52 weeks with commits",
                "points": 34.6,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 50
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "664 commits in the last year",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 664
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "release_discipline",
            "band": "excellent",
            "name": "Release discipline",
            "note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "openssf_scorecard_signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 88,
            "inputs": {
              "releases_count": 100,
              "latest_release_tag": "v0.61.0",
              "releases_from_tags": true,
              "days_since_latest_release": 4,
              "mean_days_between_releases": 5.3
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "100 version tags (no GitHub releases)",
                "points": 16.2,
                "status": "partial",
                "details": [
                  {
                    "code": "version_tags_no_releases",
                    "params": {
                      "count": 100
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 4 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 4
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~5.3 days",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 5.3
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 0,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 0 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "at_risk",
        "name": "Community & Adoption",
        "value": 42,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "critical",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 10,
            "inputs": {
              "forks": 5,
              "stars": 3,
              "watchers": 2,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "below_threshold"
            },
            "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": "5 forks",
                "points": 5,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 5
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "2 watchers",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "moderate",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 50,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": false,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "has_pull_request_template": false
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 22.5,
                "status": "met",
                "details": [],
                "max_points": 22.5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "recognized license (Apache-2.0)",
                "points": 22.5,
                "status": "met",
                "details": [
                  {
                    "code": "license_standard",
                    "params": {}
                  },
                  {
                    "code": "license_spdx",
                    "params": {
                      "spdx": "Apache-2.0"
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 18
              },
              {
                "key": "code_of_conduct",
                "name": "Code of conduct",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 13.5
              },
              {
                "key": "issue_template",
                "name": "Issue template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.2
              },
              {
                "key": "pr_template",
                "name": "PR template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.3
              }
            ]
          },
          {
            "key": "ecosystem_adoption",
            "band": "good",
            "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": 84,
            "inputs": {
              "packages": [
                "xlsynth",
                "xlsynth-g8r",
                "xlsynth-pir",
                "xlsynth-sys",
                "xlsynth-mcmc",
                "xlsynth-driver",
                "xlsynth-prover"
              ],
              "dependents": null,
              "ecosystems": "crates",
              "total_downloads": 1543167,
              "monthly_downloads": 105975
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "105,975 downloads/month across crates",
                "points": 67,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 105975,
                      "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": 61,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "at_risk",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 38,
            "inputs": {
              "bus_factor": 1,
              "contributors_sampled": 13,
              "top_contributor_share": 0.738
            },
            "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 74% of commits",
                "points": 5.9,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 74
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "13 contributors",
                "points": 13.5,
                "status": "met",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 13
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 3 contributing companies or organizations -- score normalized to 10",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "moderate",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 67,
            "inputs": {
              "merged_prs": 955,
              "open_issues": 7,
              "closed_issues": 14,
              "issue_closed_ratio": 0.667,
              "closed_unmerged_prs": 57
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "67% of issues closed",
                "points": 31.2,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 67
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "955/1012 decided PRs merged",
                "points": 36.1,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 955,
                      "decided": 1012
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 0/30 approved changesets -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 53,
            "inputs": {
              "followers": 16,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "xlsynth",
              "public_repos": 19,
              "account_age_days": 813
            },
            "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": "16 followers of xlsynth",
                "points": 8.8,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 16,
                      "login": "xlsynth"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "19 public repos, account ~2 yr old",
                "points": 13.9,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 19
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 2
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "xlsynth",
                "xlsynth-g8r",
                "xlsynth-pir",
                "xlsynth-sys",
                "xlsynth-mcmc",
                "xlsynth-driver",
                "xlsynth-prover"
              ],
              "ecosystems": "crates",
              "any_deprecated": false,
              "min_days_since_publish": 0
            },
            "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 0 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "227 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 227
                    }
                  }
                ],
                "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": "excellent",
        "name": "Engineering Quality",
        "value": 92,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "excellent",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 94,
            "inputs": {
              "has_ci": true,
              "has_tests": true,
              "has_editorconfig": false,
              "has_linter_config": true,
              "has_precommit_config": true
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": "2 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "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": 16,
                "status": "met",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 9.6,
                "status": "met",
                "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": "20 out of 20 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": [],
              "has_wiki": true,
              "homepage": "https://crates.io/crates/xlsynth",
              "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://crates.io/crates/xlsynth",
                "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": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              },
              {
                "key": "wiki",
                "name": "Wiki",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          }
        ],
        "description": "Are baseline engineering and documentation practices in place?"
      },
      {
        "key": "security",
        "band": "moderate",
        "name": "Security",
        "value": 63,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "moderate",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Packaging, Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "packaging",
                    "signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 54,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 16,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 2,
              "scorecard_aggregate": 5.4
            },
            "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": 2.2,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "20 out of 20 merged PRs checked by a CI test -- score normalized to 10",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "cii_best_practices",
                "name": "CII-Best-Practices",
                "detail": "no effort to earn an OpenSSF best practices badge detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "code_review",
                "name": "Code-Review",
                "detail": "Found 0/30 approved changesets -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 3 contributing companies or organizations -- score normalized to 10",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "dangerous_workflow",
                "name": "Dangerous-Workflow",
                "detail": "no dangerous workflow patterns detected",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "dependency_update_tool",
                "name": "Dependency-Update-Tool",
                "detail": "no update tool detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "fuzzing",
                "name": "Fuzzing",
                "detail": "project is 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": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "packaging",
                "name": "Packaging",
                "detail": "packaging workflow not detected",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 5
              },
              {
                "key": "pinned_dependencies",
                "name": "Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 5",
                "points": 2.5,
                "status": "partial",
                "details": [],
                "max_points": 5
              },
              {
                "key": "sast",
                "name": "SAST",
                "detail": "SAST tool is not run on all commits -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "security_policy",
                "name": "Security-Policy",
                "detail": "security policy file not detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "token_permissions",
                "name": "Token-Permissions",
                "detail": "detected GitHub workflow tokens with excessive permissions",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "vulnerabilities",
                "name": "Vulnerabilities",
                "detail": "0 existing vulnerabilities detected",
                "points": 7.5,
                "status": "met",
                "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 1 resolved dependencies against OSV; 90 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": 1
                }
              },
              {
                "code": "advisories_unassessed",
                "params": {
                  "count": 90
                }
              },
              {
                "code": "advisories_repo_graph_caveat",
                "params": {}
              },
              {
                "code": "advisories_reachability",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "source": "osv",
              "advisories": 0,
              "affected_packages": 0,
              "assessed_packages": 1,
              "unassessed_packages": 90,
              "affected_by_severity": "none",
              "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": 1,
              "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": 8
            },
            "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": "good",
        "name": "AI Readiness",
        "value": 75,
        "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": 0.76,
              "agent_instruction_files": [
                "AGENTS.md"
              ],
              "agent_instruction_max_bytes": 16176
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": "AGENTS.md",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "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": "76 of 100 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 76,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "good",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 72,
            "inputs": {
              "has_nix": false,
              "has_tests": true,
              "lockfiles": [],
              "has_dockerfile": true,
              "typed_language": true,
              "bootstrap_files": [],
              "has_devcontainer": false,
              "has_linter_config": true,
              "typecheck_configs": [],
              "agent_commit_share": 0,
              "toolchain_manifests": [
                "Cargo.toml",
                "sample-usage/Cargo.toml",
                "xlsynth-autocov/Cargo.toml",
                "xlsynth-driver/Cargo.toml",
                "xlsynth-driver/fuzz/Cargo.toml",
                "xlsynth-dslx-routines/Cargo.toml",
                "xlsynth-estimator/Cargo.toml",
                "xlsynth-g8r/Cargo.toml",
                "xlsynth-g8r/fuzz/Cargo.toml",
                "xlsynth-mcmc-pir/Cargo.toml",
                "xlsynth-mcmc-pir/fuzz/Cargo.toml",
                "xlsynth-mcmc/Cargo.toml",
                "xlsynth-pir-compiler-runtime/Cargo.toml",
                "xlsynth-pir-compiler/Cargo.toml",
                "xlsynth-pir-compiler/fuzz/Cargo.toml",
                "xlsynth-pir-compiler/tests/aot-dslx-test-crate/Cargo.toml",
                "xlsynth-pir-compiler/tests/aot-ir-test-crate/Cargo.toml",
                "xlsynth-pir/Cargo.toml",
                "xlsynth-pir/fuzz/Cargo.toml",
                "xlsynth-prover/Cargo.toml",
                "xlsynth-sys/Cargo.toml",
                "xlsynth-test-helpers/Cargo.toml",
                "xlsynth-vastly/Cargo.toml",
                "xlsynth-vastly/fuzz/Cargo.toml",
                "xlsynth/Cargo.toml"
              ],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "Cargo.toml, sample-usage/Cargo.toml, xlsynth-autocov/Cargo.toml (toolchain convention, no task runner)",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "toolchain_convention",
                    "params": {
                      "files": "Cargo.toml, sample-usage/Cargo.toml, xlsynth-autocov/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": 11,
                "status": "met",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "Rust (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": "Dockerfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Dockerfile"
                    }
                  }
                ],
                "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": "no automated dependency updates observed",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_dependency_automation",
                    "params": {}
                  }
                ],
                "max_points": 8
              },
              {
                "key": "openssf_scorecard_pinned_dependencies",
                "name": "OpenSSF Scorecard: Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 5",
                "points": 5,
                "status": "partial",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "ai_code_legibility",
            "band": "excellent",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 97,
            "inputs": {
              "primary_language": "Rust",
              "largest_source_bytes": 482832,
              "source_files_sampled": 734,
              "oversized_source_files": 37
            },
            "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": "37/734 source files over 60KB",
                "points": 52.2,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 734,
                      "oversized": 37
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "at_risk",
            "name": "Machine-readable interfaces",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "example_dirs": [],
              "has_mcp_signal": false,
              "api_schema_files": [
                "xlsynth-estimator/proto/estimator_model.proto",
                "xlsynth-estimator/proto/sample_node.proto",
                "xlsynth-g8r/proto/liberty.proto",
                "xlsynth-g8r/proto/result.proto"
              ]
            },
            "components": [
              {
                "key": "api_schema_openapi_graphql_proto",
                "name": "API schema (OpenAPI/GraphQL/proto)",
                "detail": "xlsynth-estimator/proto/estimator_model.proto, xlsynth-estimator/proto/sample_node.proto, xlsynth-g8r/proto/liberty.proto, xlsynth-g8r/proto/result.proto",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "xlsynth-estimator/proto/estimator_model.proto, xlsynth-estimator/proto/sample_node.proto, xlsynth-g8r/proto/liberty.proto, xlsynth-g8r/proto/result.proto"
                    }
                  }
                ],
                "max_points": 40
              },
              {
                "key": "mcp_server",
                "name": "MCP server",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "runnable_examples",
                "name": "Runnable examples",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "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": [
    "Could not fetch crates package 'sample-usage' from its registry",
    "deps.dev does not index crates:xlsynth@0.61.0; advisories assessed against the repository dependency graph instead"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-21T22:49:17.607231Z",
  "schema_version": "0.25.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/x/xlsynth/xlsynth-crate.svg",
  "full_name": "xlsynth/xlsynth-crate",
  "license_state": "standard",
  "license_spdx": "Apache-2.0"
}