{
  "schema_version": "1.0.0",
  "verification_stage_contract": "bounded-workflow-v2",
  "entity_id": "gh:openai/navierstokesandeuler",
  "points": [
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1806,
      "momentum": 9.0,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-12T17:04:32.267494Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_6458fb10f7f0de6296cceb5c",
        "version": "obs_7d90b232e6ba1f20a89f6a9b",
        "last_release_at": "obs_a31e740cc52deddb12038f9e",
        "last_release_url": "obs_c5e7416ef90e96dbcdde9fa6",
        "pushed_at": "obs_7e136807aa46dae35db7de66",
        "archived": "obs_003782df88208b3422800488",
        "default_branch": "obs_d898f0c8b4bf819eb227f441",
        "default_branch_updated_at": "obs_77d22391bea0c694d6bdc7c5",
        "maintenance_status": "obs_31fb0e42b2d53e32330e26ed",
        "momentum": "obs_de04915885c8d2ecce82adcb",
        "repository_topics": "obs_8d8a7ceded1b3b1de0e25317",
        "integrations": "obs_ec2afae505443857451ac40d",
        "integration_fingerprint": "obs_4ccfbecaa90bf3fe25556d35",
        "deployment_models": "obs_43c7c77b41a2bd6e1e860063",
        "extensibility": "obs_91d87175a3f06409bbd68570"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-12"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1834,
      "momentum": 9.0,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-13T05:04:21.529456Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_d500689b8e4438b02b22a426",
        "version": "obs_67dbb782bb143e977b1a9174",
        "last_release_at": "obs_94e52bba4d92c9186ed974d7",
        "last_release_url": "obs_6979d6279b158bcfd8a702f9",
        "pushed_at": "obs_04e1a0b1d98c87a6a69e45ff",
        "archived": "obs_695d901a2d89947cfb096c6c",
        "default_branch": "obs_0a2e2d9391d4002afc5f5073",
        "default_branch_updated_at": "obs_05e3af5293a7538e1ff14aed",
        "maintenance_status": "obs_8e41e4b28b48babcfb60a52b",
        "momentum": "obs_f66aa069554702046b334a48",
        "repository_topics": "obs_3a797757421737e5a457d53b",
        "integrations": "obs_8bf19e190218771d554e42da",
        "integration_fingerprint": "obs_fbaada9d63c973e0fc0b46be",
        "deployment_models": "obs_24a238992b0bac13abec9c4a",
        "extensibility": "obs_d2f640eb609afdea1ee29760"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-13"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1903,
      "momentum": 9.6,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-15T11:46:09.382347Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_85d5089086ed025744e0f8c4",
        "version": "obs_5e4052b5bb76461057a6ceb8",
        "last_release_at": "obs_20525e76d6cac0420aa01723",
        "last_release_url": "obs_d14cbe9447f6198caf058b1e",
        "pushed_at": "obs_7b3d270fb5b62a5687639e51",
        "archived": "obs_f0750452ceeae974c3d3720f",
        "default_branch": "obs_11233606594684feab734de8",
        "default_branch_updated_at": "obs_34a0fd64d119c0ddc707c052",
        "maintenance_status": "obs_eccae9389fe25f2b301dd0af",
        "momentum": "obs_e79eef80d95dc5c2396a069d",
        "repository_topics": "obs_592f552447c397af3e32be34",
        "integrations": "obs_1788d947c5f32f7bd511ee81",
        "integration_fingerprint": "obs_65205864a27ddda6aeec5746",
        "deployment_models": "obs_973c92aaf1cb59cc35b448df",
        "extensibility": "obs_4d1ade3a6aeeb4ecb3e4aa5e"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-15"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1936,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-17T21:45:13.795340Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_eddca90e5e9b3989eaf8b1e8",
        "version": "obs_a6ba315de38ce0934dcce8b6",
        "last_release_at": "obs_8d51a3a8fa6a70872a7fd01a",
        "last_release_url": "obs_43534544cff289e6f85da667",
        "pushed_at": "obs_282a41b9a9f30f5642f5917f",
        "archived": "obs_beda16c85dd7db29dcee1d8a",
        "default_branch": "obs_69cc47fa8018a6e291128c40",
        "default_branch_updated_at": "obs_9490d371ae62779d104a5dc5",
        "maintenance_status": "obs_b19d5440f2133af22e043934",
        "momentum": "obs_94a472d1d5a682f8f209344d",
        "repository_topics": "obs_32a07eb6022e26ea792413e4",
        "integrations": "obs_84991a5d76bfaeb42fbf709a",
        "integration_fingerprint": "obs_df19fde704c927e94cff95c1",
        "deployment_models": "obs_b3211b2c7f47314f8380400e",
        "extensibility": "obs_6d8ef0fbb92b6308beaf1a20"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-17"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1958,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-19T17:06:40.081307Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_c53dee2b76c8439ac37c34d2",
        "version": "obs_d45457b0e0bb257eb837b21f",
        "last_release_at": "obs_3eb503b93c12c6c176e949a9",
        "last_release_url": "obs_48b7b9cceb1457ca2d7b40a6",
        "pushed_at": "obs_95b3ca55d40d6149d8b6ec42",
        "archived": "obs_95bf3155875893f5e244d04c",
        "default_branch": "obs_45719078b18eef60ffec3586",
        "default_branch_updated_at": "obs_8599630fa29535cb1a8696bd",
        "maintenance_status": "obs_3a9cec2affab5305470a5463",
        "momentum": "obs_55b0d6f07a39205c1bfee801",
        "repository_topics": "obs_9265986b694acb0a4b0b867f",
        "integrations": "obs_815f39d0895536a40971d264",
        "integration_fingerprint": "obs_e0ac947cad7c702c8bcf725b",
        "deployment_models": "obs_5e43c584c8100542ad2dbe32",
        "extensibility": "obs_1b2a8d35702466005cc304fd"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-19"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1968,
      "momentum": 8.1,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-20T17:06:32.868873Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_36da744d849b3a942f952ef9",
        "version": "obs_8d030eaca5f10092e7e216c7",
        "last_release_at": "obs_1fa6be8499d890cc5c33006e",
        "last_release_url": "obs_73ba53421443edb0d3dee708",
        "pushed_at": "obs_eaff98cfa9336e7357cfefe1",
        "archived": "obs_564bd0f418021f55efad61cc",
        "default_branch": "obs_325a5a30ab43123a7fcdb3e0",
        "default_branch_updated_at": "obs_ad87b5f4b4f159bce5be652d",
        "maintenance_status": "obs_9425d0be47298031eda7d822",
        "momentum": "obs_6a15741a00320582bcab6092",
        "repository_topics": "obs_f1b39b99ef9b80e518cc443c",
        "integrations": "obs_7a5d80b1b4c9e0ecd5647619",
        "integration_fingerprint": "obs_09c92f0e6fcd5f613b9b80e1",
        "deployment_models": "obs_d7c1c88e8acd7c42d3727295",
        "extensibility": "obs_3e8f7bc2130d6c50811c1e75"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-20"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1973,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-21T23:47:16.337043Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_ff6635c7205aed801b3ba475",
        "version": "obs_7182a8578a0c0833464077ec",
        "last_release_at": "obs_977959db8df3d10e42ce241a",
        "last_release_url": "obs_0b1c19aced649f570034495e",
        "pushed_at": "obs_f46a3e8874e5c1e7b11568aa",
        "archived": "obs_24454cc54c14b5bffb2fdcad",
        "default_branch": "obs_3b4a858bc79a8549421d756a",
        "default_branch_updated_at": "obs_bdf88da496f649350458c5e7",
        "maintenance_status": "obs_81cc59f2db62110ffad93d10",
        "momentum": "obs_fc098f6a1502781862f58a6f",
        "repository_topics": "obs_a55dad256effa31eedecc2ab",
        "integrations": "obs_65b88d6e9301bdc5e15c4894",
        "integration_fingerprint": "obs_33f4a49eb7c48f04d0c2e5aa",
        "deployment_models": "obs_79be99dbbff21d678c73e00a",
        "extensibility": "obs_7bf855bdcc6110dd5a71fbc5"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-21"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1982,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-22T17:06:39.688103Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_b6992eb11bf1e2246651163b",
        "version": "obs_b7132d7749776c2aacb3f6c1",
        "last_release_at": "obs_c98a0b2f6655173cae007f16",
        "last_release_url": "obs_294d316a59c898aa72d39c7b",
        "pushed_at": "obs_6145d10dcd9c1878ecf4d642",
        "archived": "obs_b740da34173136707dd1144c",
        "default_branch": "obs_d16cb21bdea1b772866a1d4e",
        "default_branch_updated_at": "obs_6e4497165f85b66425d4a491",
        "maintenance_status": "obs_f7b23d2ae96ebd99468d309a",
        "momentum": "obs_130203b1fd4a70b7381ee306",
        "repository_topics": "obs_6b5e07ae2bb58ed56f758391",
        "integrations": "obs_3a312613084242bad08dee36",
        "integration_fingerprint": "obs_b4dd774dec929c91cccddeb7",
        "deployment_models": "obs_4e502afbd48a8dfe093abbc3",
        "extensibility": "obs_c00817880032fc53401b2ad0"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-22"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1984,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-23T19:48:29.703424Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_95b950f238f75d03580dbbe5",
        "version": "obs_8fd00534e1eb50a8358c9e53",
        "last_release_at": "obs_f760c895790b49027d88ad5b",
        "last_release_url": "obs_4d7e3994e6f8c9522b869c52",
        "pushed_at": "obs_cecb2917fc50094ffedaaa1e",
        "archived": "obs_5819d5c61239248739dc1cd7",
        "default_branch": "obs_65da41a2b91172c32c34f56d",
        "default_branch_updated_at": "obs_fa96caff6479d5167acfd2eb",
        "maintenance_status": "obs_56a32ba67e954801561451f9",
        "momentum": "obs_3bb77c202dc656c8a4a70c4d",
        "repository_topics": "obs_04800a4c3930e44cdbc5709f",
        "integrations": "obs_ba1b66a1dc08e00694d35004",
        "integration_fingerprint": "obs_4e204fb2b0f453761f91ab8c",
        "deployment_models": "obs_16eca6dda5f2f05cbfac7a9c",
        "extensibility": "obs_a656b7c651e5c7a48a97315e"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-23"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1994,
      "momentum": 8.1,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-24T21:49:16.463298Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_df43e00b9dec7a30727c827e",
        "version": "obs_baafbdd169cc2696d73da9be",
        "last_release_at": "obs_f9075e51c60dc2519c2b9d79",
        "last_release_url": "obs_531a9f9c78f29b4df74dcf21",
        "pushed_at": "obs_072afc8e1bbdcfff2592c488",
        "archived": "obs_0a9b7f54a1860ae68e89e4b8",
        "default_branch": "obs_72c01a6a31aa844703fa3179",
        "default_branch_updated_at": "obs_4f1a5872ba5e351c2be0fc5b",
        "maintenance_status": "obs_6d81c1360c35e004bddfca25",
        "momentum": "obs_6e5d65175bf356994217a13c",
        "repository_topics": "obs_06e14b6478124447b3351621",
        "integrations": "obs_bc7d0054e3a6a7919ef5552d",
        "integration_fingerprint": "obs_f34bfdeb570ad36e195bffbe",
        "deployment_models": "obs_37bd2e32e5e9f79107ea667b",
        "extensibility": "obs_f8ebdc1a56a67e45e807d732"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-24"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1995,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-25T13:50:57.994663Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_553a5cce456f24742be52bb4",
        "version": "obs_38fc3ea3d5b74a51e38b83d9",
        "last_release_at": "obs_63a8217603219f7073be1467",
        "last_release_url": "obs_27458941bbf0da1c9c66dc64",
        "pushed_at": "obs_7e02ccfdb44a300614f20f98",
        "archived": "obs_cecc041822ac1ce4f1d4c215",
        "default_branch": "obs_1ddcc7b7fc4d6ed0ec12663d",
        "default_branch_updated_at": "obs_5306011698711cffac02d896",
        "maintenance_status": "obs_ffef65c066de6d4f749ab0be",
        "momentum": "obs_52d8acbb0dccd5b46af81120",
        "repository_topics": "obs_c637991ff5c038cee84c9764",
        "integrations": "obs_bd0d1d0dbeab45be7fd28aab",
        "integration_fingerprint": "obs_e103f78b7b229b32149041db",
        "deployment_models": "obs_87fc3eec2ea74ff47689d3b5",
        "extensibility": "obs_8a9d101471629414db78684b"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-25"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 1999,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-26T09:47:30.421436Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_2ca9441b0f6a155aa5363248",
        "version": "obs_efb67804a178e3db3186fed2",
        "last_release_at": "obs_01392bbc18e765d3ed0b4b61",
        "last_release_url": "obs_baa500a04d6f6f629197cc7a",
        "pushed_at": "obs_ec39957c0055caae943abb7c",
        "archived": "obs_00ab8e2f96808bd9fb3a270a",
        "default_branch": "obs_166b90d52f78c3d119395546",
        "default_branch_updated_at": "obs_7bacd08734b60059efab8fbe",
        "maintenance_status": "obs_888b5aa524b1d51b5bc819e4",
        "momentum": "obs_03efb8145572fa062d17a4ff",
        "repository_topics": "obs_9facab179b9f42eff2daca6b",
        "integrations": "obs_a13e61eda844486576160229",
        "integration_fingerprint": "obs_af4b49d571922c62ccdfbcc0",
        "deployment_models": "obs_884a924bf17f7c2f176137ac",
        "extensibility": "obs_814046a94e3dd4eba95d616f"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-26"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2004,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-27T01:47:58.533096Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_51e427ed4a1660199ec9ca79",
        "version": "obs_be6054a743a4548e97b21479",
        "last_release_at": "obs_423207622a891b8a3b1fda56",
        "last_release_url": "obs_8dab4c9633b23dd900d7e5ca",
        "pushed_at": "obs_91cce98fda493d301ba12bbc",
        "archived": "obs_7e845cd546197a257f9f57a8",
        "default_branch": "obs_f61b320c9a0b8e2cab9cccbd",
        "default_branch_updated_at": "obs_47608647526219bf000003c5",
        "maintenance_status": "obs_6fbe0f4f057f5baea7386343",
        "momentum": "obs_c0d2bd97c5f311f9634a83a7",
        "repository_topics": "obs_95c36a302c62c5754aa3bee3",
        "integrations": "obs_9a4b6c656664bd119a9d45a7",
        "integration_fingerprint": "obs_f85af1a31a8c940c8492c402",
        "deployment_models": "obs_936081536f9a626c5cf3ca8a",
        "extensibility": "obs_4f318f8f49df1adfb54ea3b3"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-27"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2013,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-28T13:47:34.707135Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_a26a652d00a79de7cf1ea73b",
        "version": "obs_11651913c3e3e6551c4b46b8",
        "last_release_at": "obs_69c6b4fbb5e7830bd574e22f",
        "last_release_url": "obs_9abb1458cc62ef0d056c9062",
        "pushed_at": "obs_052d23e62241ca4b71397be8",
        "archived": "obs_fe78801de59667a16d296479",
        "default_branch": "obs_444d6c1b9b03f80e6ae7ec79",
        "default_branch_updated_at": "obs_e7c26c4b75ffd363265a9a63",
        "maintenance_status": "obs_250aa803c244c94a20a665c9",
        "momentum": "obs_cb957c5e6e1882a3ecaaa09d",
        "repository_topics": "obs_adc564d948d4bf051858d1e3",
        "integrations": "obs_2db4959367b12ea147c6b911",
        "integration_fingerprint": "obs_d98d63797eababa1e0b9249e",
        "deployment_models": "obs_6a3eee3769384e699c1efffb",
        "extensibility": "obs_dc37b9798029a2b8dd760e98"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-28"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2013,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-29T17:08:16.498456Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_5425c9fa7a118c8c49a646c0",
        "version": "obs_7763856097d28d7972ec0dc9",
        "last_release_at": "obs_b0a5b01ee61985782f542485",
        "last_release_url": "obs_74be3e6dcdc976913d344eff",
        "pushed_at": "obs_450b010b274a8f477098967e",
        "archived": "obs_f7f0facc99842c3d36f6e801",
        "default_branch": "obs_8919bcdb3d61662c341cdf41",
        "default_branch_updated_at": "obs_975fa6bd1d135db7b80b5a84",
        "maintenance_status": "obs_5d48e26e61f77a0a05868a70",
        "momentum": "obs_b254b10038303ed57ee27c4b",
        "repository_topics": "obs_159afe472333e3b22b82f3b6",
        "integrations": "obs_b5f7ccb34a5083fde5821436",
        "integration_fingerprint": "obs_fa7f935f0f3b5b6c5727400c",
        "deployment_models": "obs_d9ec3eb38b8d0f287bd6fa5f",
        "extensibility": "obs_3b47e5dab810f817d170c250"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-29"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2013,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-09-30T05:08:12.323055Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_3872937c37327e6e4ed3c998",
        "version": "obs_c78a3f7a0de49c46af976b40",
        "last_release_at": "obs_70a6023ccc4ab353db44a643",
        "last_release_url": "obs_583d2ce31dce5505d1ad9cc7",
        "pushed_at": "obs_7c74c69f9d72638fd83960f4",
        "archived": "obs_31031bfe32fa1beb22d9af96",
        "default_branch": "obs_8205a27cab4900f378c46c76",
        "default_branch_updated_at": "obs_46ff0c290aaaee30a3f228c2",
        "maintenance_status": "obs_fc799126615b4c11db62d643",
        "momentum": "obs_de2b5ffc103cefa9a705db97",
        "repository_topics": "obs_5ff3c55f1fc8ea65a49541f8",
        "integrations": "obs_b965d12c2893f7f4b532c5a5",
        "integration_fingerprint": "obs_6cc8fb54c745bc07ed8f3f88",
        "deployment_models": "obs_78d46c3d7c5e085971b41f32",
        "extensibility": "obs_e74071d357861d2ee1013b05"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-09-30"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2017,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-01T21:24:16.558226Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_3b4fc9d78e71703d4210c566",
        "version": "obs_0023a205c891ed8c279ec8df",
        "last_release_at": "obs_aa5034a27a1a094ad51c90d8",
        "last_release_url": "obs_d1d4376a1b9877221f372379",
        "pushed_at": "obs_be4f997cc7ade01f43ab9968",
        "archived": "obs_64329df90cd5e5687d049591",
        "default_branch": "obs_24e21fedac440fc6d153ef58",
        "default_branch_updated_at": "obs_7eb53ea56ee92e73c0f89499",
        "maintenance_status": "obs_b9ac475f0f24852b3a667950",
        "momentum": "obs_0fc6bc0ffcc3e6ed4656999d",
        "repository_topics": "obs_76c445529c908ca51b83d1f3",
        "integrations": "obs_fa0a2fdd6b042a07fc0aa187",
        "integration_fingerprint": "obs_73dad3f27ecd53bc66f9479b",
        "deployment_models": "obs_f54188844dbdfc8debdf4b83",
        "extensibility": "obs_6bad299e653e38a93de7b785"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-01"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2020,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-02T17:11:36.588066Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_3dea5303ba90ace50c51838c",
        "version": "obs_377eb4eb12bb0f139c487838",
        "last_release_at": "obs_cae8df0a757004ff836c3474",
        "last_release_url": "obs_f922977411ef13a6be7714da",
        "pushed_at": "obs_b927f4512383501393168dbe",
        "archived": "obs_6e4fb4eefcee07f8100fbf1d",
        "default_branch": "obs_69697782f519a00582feea90",
        "default_branch_updated_at": "obs_a323823b24649500e511636e",
        "maintenance_status": "obs_045e4e1ba7ecb4b1c73f63de",
        "momentum": "obs_90c70b72ce3863a6d6b8dfe6",
        "repository_topics": "obs_c5f6d1753761e4e49fb2517a",
        "integrations": "obs_39cd395ade59a53064407b18",
        "integration_fingerprint": "obs_1354af4a9cf6fc4c1e97d765",
        "deployment_models": "obs_bec5cf8d369645964a9e28de",
        "extensibility": "obs_41b6cbec09216524fedbf85c"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-02"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2022,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-03T17:13:14.190776Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_80b921b84d576fb62d030ab0",
        "version": "obs_f057f0789b73d5a619ad4fcb",
        "last_release_at": "obs_d37b1eeabaec22b497e503c3",
        "last_release_url": "obs_10e124e6a6dddc7b128408bd",
        "pushed_at": "obs_182ff9fc08a6f0c4d0ed0a40",
        "archived": "obs_6bacb891e800936ffa1e60f2",
        "default_branch": "obs_d0e1d1e27a2b70042fde5e94",
        "default_branch_updated_at": "obs_ab442eac0ef8814f52afa4e3",
        "maintenance_status": "obs_373fadfa4ad0d6912002f6ba",
        "momentum": "obs_48c9a619466b3508670fcb37",
        "repository_topics": "obs_6bcbb1afb807d81a3c69d2c4",
        "integrations": "obs_e2287d8ece4d6e18fadbf582",
        "integration_fingerprint": "obs_ce25d3d893426d225f6aeba4",
        "deployment_models": "obs_f8e71d7dcf57c539aad94358",
        "extensibility": "obs_96faf8a3150fc52c5ef08e28"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-03"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2029,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-05T17:12:19.837870Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_7412df00fbd271fec7df8ebf",
        "version": "obs_57478d07450f503bf762e705",
        "last_release_at": "obs_10b8d06e6bb547173ec6d179",
        "last_release_url": "obs_fee889560534d0e4a68faac0",
        "pushed_at": "obs_62d81da784162a36634f678e",
        "archived": "obs_9bb4ba38f5b91dac62feb31c",
        "default_branch": "obs_87dc81f66df3f4821243ce79",
        "default_branch_updated_at": "obs_9a08206eb5a840a715cfc2a0",
        "maintenance_status": "obs_c37fe549b005b4560e95c798",
        "momentum": "obs_25fb66773c6ad1e50e97228c",
        "repository_topics": "obs_44a534994985198382b07d6c",
        "integrations": "obs_45c83459b176d6239a8fdfbc",
        "integration_fingerprint": "obs_6d13798eb989043a4edbbe38",
        "deployment_models": "obs_07409442ea462b24f63511ed",
        "extensibility": "obs_38ab08de500f74fe05a77308"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-05"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2029,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-06T17:10:49.497470Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_bb9fd8eeb7a18400e3eb4648",
        "version": "obs_475490b243080a5cd2306c9c",
        "last_release_at": "obs_7151f02e4d581c37cd9a9205",
        "last_release_url": "obs_13079b40e132bea8601032fd",
        "pushed_at": "obs_dffb28dc5909da09aa191ab8",
        "archived": "obs_25710f47197eec5c9a1a5e71",
        "default_branch": "obs_2468930c0e8e849e7459b1e9",
        "default_branch_updated_at": "obs_c323079484e819c642076ffc",
        "maintenance_status": "obs_09c291dd49a59e703fdb6389",
        "momentum": "obs_2a1dc02e2cbff08b6613465c",
        "repository_topics": "obs_89a3130e533cf998092e92aa",
        "integrations": "obs_cdbe467e2da66b84637564df",
        "integration_fingerprint": "obs_2c3f9931d2bf3b6475ed4809",
        "deployment_models": "obs_694d201a322f38b0a9d65f6c",
        "extensibility": "obs_9be28f6019d10d7bb2a2b8ee"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-06"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2047,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-07T17:10:55.089768Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_505314d74b3d2171ae7a1882",
        "version": "obs_9f017c27cac02ba312f5ff16",
        "last_release_at": "obs_d8e377f938daf09c96880996",
        "last_release_url": "obs_818f251ec62e371a903d3d21",
        "pushed_at": "obs_932dfb75cb3aff7def942fb9",
        "archived": "obs_3aac597c69cca2e2c89982c0",
        "default_branch": "obs_ce5ab40c6098784990a7ab0e",
        "default_branch_updated_at": "obs_22bb47ab199d873e6936d522",
        "maintenance_status": "obs_31d1f0865e37667abc6fdab6",
        "momentum": "obs_2b01c6dca0a773f8b8a27d90",
        "repository_topics": "obs_e3f0702f7a6fe63b2c06006e",
        "integrations": "obs_be12f8bd7cba042726bdd335",
        "integration_fingerprint": "obs_d444dcadd500ed67e8b38141",
        "deployment_models": "obs_fc4dd56cdfce91a55678188d",
        "extensibility": "obs_8dde0b9d659138d36a32204e"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-07"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2050,
      "momentum": 7.8,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-08T05:15:53.503430Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_7cfdef36816ad80e954d360c",
        "version": "obs_346de0aeb61531dc3f2836ec",
        "last_release_at": "obs_57fc3e318e3c2a4219a50ec5",
        "last_release_url": "obs_38bc3c8b361a976baba21081",
        "pushed_at": "obs_2120d48c4ca4225ec4ed0d03",
        "archived": "obs_527e42d62df813bb0488a254",
        "default_branch": "obs_c4b0bcd51092783264276fa0",
        "default_branch_updated_at": "obs_6b84e7e37b00185f21e5757d",
        "maintenance_status": "obs_168d506e488c5939701ed83a",
        "momentum": "obs_0167db976a42558293d61879",
        "repository_topics": "obs_b0795ab93899d1b98e10a89d",
        "integrations": "obs_500e1c1fcc70363a7bb5177d",
        "integration_fingerprint": "obs_448202d9ba62e743a7f4484d",
        "deployment_models": "obs_9f8437478b61b65707464d7c",
        "extensibility": "obs_ac6e96eccadae00ff3a3ab86"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-08"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2074,
      "momentum": 7.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "active",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-09T17:10:43.538271Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_ece0b78594d4690af9b8ae41",
        "version": "obs_5ffd863094e39462e4981d74",
        "last_release_at": "obs_5eacd4418b5f60b5cef10217",
        "last_release_url": "obs_0551adfd474aa493d537fe19",
        "pushed_at": "obs_f229241268c71cd716d4147d",
        "archived": "obs_8e59b257067e1a55a2e5f679",
        "default_branch": "obs_157c1190933156462d3e98e8",
        "default_branch_updated_at": "obs_cc53ca17def37d0160b0856f",
        "maintenance_status": "obs_05f333e0a04c449c8ec2fe5d",
        "momentum": "obs_45c113929d42e860e1ca84b1",
        "repository_topics": "obs_901ac9e1ce9a5e9bfbda7b9b",
        "integrations": "obs_964099b8be55a25c9db5c8b5",
        "integration_fingerprint": "obs_289ee9058e6700fde8ed8ad7",
        "deployment_models": "obs_b1f8bf07567a8069dcd4f4a4",
        "extensibility": "obs_e2309253d31421c374b6e241"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-09"
    },
    {
      "id": "gh:openai/navierstokesandeuler",
      "score": 8.6,
      "popularity": 1801.0,
      "stars": 2073,
      "momentum": 5.5,
      "score_components": {
        "usefulness": 8.5,
        "novelty": 9.5,
        "momentum": 9.0,
        "maturity": 9.2,
        "open_source_build_quality": 8.4,
        "evidence": 7.2,
        "commercial_workflow_potential": 9.0,
        "setup_ease": 6.4
      },
      "tier": "Gold",
      "verdict": "watch",
      "risk": "none",
      "verification_stage": "discovered",
      "pricing_fingerprint": null,
      "pricing_summary": null,
      "pricing_facts": [],
      "pricing_checked_at": null,
      "pricing_stale": null,
      "version": null,
      "last_release_at": null,
      "last_release_url": null,
      "maintenance_status": "maintained",
      "integration_fingerprint": null,
      "integration_count": 0,
      "integrations": [],
      "source_observed_at": "2026-10-10T17:09:29.745535Z",
      "observation_source_url": "https://api.github.com/graphql",
      "observation_extractor_version": "github-observer-v2",
      "observation_refs": {
        "stars": "obs_35f984be04ff75b7088ed759",
        "version": "obs_7fa7821548380c4b1c0a1c0f",
        "last_release_at": "obs_a7dae7810766ed1c1369ad96",
        "last_release_url": "obs_706ff0c2570518912bee1982",
        "pushed_at": "obs_6799821690537e5e0964b5d9",
        "archived": "obs_6a92a6b801af27f1cac3b874",
        "default_branch": "obs_6ef0eb562b85381cadbedff0",
        "default_branch_updated_at": "obs_4fd7a7f09c9abf56a2207435",
        "maintenance_status": "obs_050e5e2c84ef0b1bcf1aa3d1",
        "momentum": "obs_b853afe89632ceace6e04acb",
        "repository_topics": "obs_aee27c7622f8c489dd34b798",
        "integrations": "obs_1081a35eaeafbd889cb8834b",
        "integration_fingerprint": "obs_55ed5d05e6db3f1c154fcb74",
        "deployment_models": "obs_d97fe896f75b238b814426ad",
        "extensibility": "obs_8fbdcf12399ec7cfc1fafb31"
      },
      "observed_fields": [
        "integration_count",
        "integration_fingerprint",
        "integrations",
        "last_release_at",
        "maintenance_status",
        "momentum",
        "popularity",
        "pricing_checked_at",
        "pricing_facts",
        "pricing_fingerprint",
        "pricing_stale",
        "pricing_summary",
        "risk",
        "score",
        "score_components",
        "stars",
        "tier",
        "verdict",
        "verification_stage",
        "version"
      ],
      "date": "2026-10-10"
    }
  ],
  "changes": [
    {
      "id": "evt_ebdf9f985ca107be29fd",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "maintenance_changed",
      "occurred_at": "2026-10-10T17:09:29.745535Z",
      "before": "active",
      "after": "maintained",
      "explanation": "Maintenance changed: active → maintained.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_5abdbc3ed2233dbe83de",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-10T05:15:01.956756Z",
      "before": 2074,
      "after": 2073,
      "explanation": "Stars changed: 2074 → 2073.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_a0a4b3fc52ab5d3c2f3b",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-09T17:10:43.538271Z",
      "before": 2063,
      "after": 2074,
      "explanation": "Stars changed: 2063 → 2074.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_d7b2c8449dc83eeb7ea9",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-09T05:11:59.425720Z",
      "before": 2050,
      "after": 2063,
      "explanation": "Stars changed: 2050 → 2063.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_b67ea8a01b8f7913206f",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-08T05:15:53.503430Z",
      "before": 2047,
      "after": 2050,
      "explanation": "Stars changed: 2047 → 2050.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_1ac721ba9e437f501c1b",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-07T17:10:55.089768Z",
      "before": 2034,
      "after": 2047,
      "explanation": "Stars changed: 2034 → 2047.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_3560d1c7b5a719ee21fd",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-07T05:14:31.025401Z",
      "before": 2029,
      "after": 2034,
      "explanation": "Stars changed: 2029 → 2034.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_1ab4347debc5103d0ad0",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-06T17:10:49.497470Z",
      "before": 2028,
      "after": 2029,
      "explanation": "Stars changed: 2028 → 2029.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_c101458377c944aef557",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-06T11:51:05.323120Z",
      "before": 2029,
      "after": 2028,
      "explanation": "Stars changed: 2029 → 2028.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_d6e54fcb50812f7ad09b",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-05T17:12:19.837870Z",
      "before": 2022,
      "after": 2029,
      "explanation": "Stars changed: 2022 → 2029.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_0a42ab8df3f334527e6a",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-03T17:13:14.190776Z",
      "before": 2021,
      "after": 2022,
      "explanation": "Stars changed: 2021 → 2022.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_7c204d1513db90749a36",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-03T11:14:47.510417Z",
      "before": 2020,
      "after": 2021,
      "explanation": "Stars changed: 2020 → 2021.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_cc2adf4d8473ea294713",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-02T17:11:36.588066Z",
      "before": 2021,
      "after": 2020,
      "explanation": "Stars changed: 2021 → 2020.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_7e833106dfa8bff170ee",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-02T13:49:49.476083Z",
      "before": 2017,
      "after": 2021,
      "explanation": "Stars changed: 2017 → 2021.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_bbe2e95f1eb6456cc4e9",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-10-01T17:20:20.713752Z",
      "before": 2013,
      "after": 2017,
      "explanation": "Stars changed: 2013 → 2017.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_ddc3fafb851422ad0f35",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-28T13:47:34.707135Z",
      "before": 2004,
      "after": 2013,
      "explanation": "Stars changed: 2004 → 2013.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_d129cebcd08d1263b46d",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-27T01:47:58.533096Z",
      "before": 1999,
      "after": 2004,
      "explanation": "Stars changed: 1999 → 2004.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_4077338ddcad576f273a",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-26T09:47:30.421436Z",
      "before": 1995,
      "after": 1999,
      "explanation": "Stars changed: 1995 → 1999.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_66285f9571a19b625ddb",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-25T13:50:57.994663Z",
      "before": 1994,
      "after": 1995,
      "explanation": "Stars changed: 1994 → 1995.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_f4f343f406cc9ea96fc8",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-24T21:49:16.463298Z",
      "before": 1987,
      "after": 1994,
      "explanation": "Stars changed: 1987 → 1994.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_44e0dc3ac8ad5f79f265",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-24T05:09:18.096595Z",
      "before": 1984,
      "after": 1987,
      "explanation": "Stars changed: 1984 → 1987.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_6f2a048bf680ce914a4b",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-23T19:48:29.703424Z",
      "before": 1982,
      "after": 1984,
      "explanation": "Stars changed: 1982 → 1984.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_e3ac3ff672051e0678ff",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-22T17:06:39.688103Z",
      "before": 1977,
      "after": 1982,
      "explanation": "Stars changed: 1977 → 1982.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_fe5a6b8342947b5a981a",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-22T07:47:03.349413Z",
      "before": 1973,
      "after": 1977,
      "explanation": "Stars changed: 1973 → 1977.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_f23915853e8d2e72fa10",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-21T21:47:01.452749Z",
      "before": 1968,
      "after": 1973,
      "explanation": "Stars changed: 1968 → 1973.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_4aa08de0f4fc73893cac",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-20T17:06:32.868873Z",
      "before": 1962,
      "after": 1968,
      "explanation": "Stars changed: 1962 → 1968.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_df94af3df33786055c05",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-20T05:06:31.934582Z",
      "before": 1958,
      "after": 1962,
      "explanation": "Stars changed: 1958 → 1962.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_202616b9fa5dd337286b",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-19T17:06:40.081307Z",
      "before": 1952,
      "after": 1958,
      "explanation": "Stars changed: 1952 → 1958.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_5c0ba9d6d07d45a123e6",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-19T07:48:56.009844Z",
      "before": 1936,
      "after": 1952,
      "explanation": "Stars changed: 1936 → 1952.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_66724427e0c24c4da175",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-17T21:45:13.795340Z",
      "before": 1932,
      "after": 1936,
      "explanation": "Stars changed: 1932 → 1936.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_706847ba9e1ae4b4a24f",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-17T11:46:10.011992Z",
      "before": 1903,
      "after": 1932,
      "explanation": "Stars changed: 1903 → 1932.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_9cbeb910456144486f0a",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-15T11:46:09.382347Z",
      "before": 1834,
      "after": 1903,
      "explanation": "Stars changed: 1834 → 1903.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": true
    },
    {
      "id": "evt_7c051beda76e8eaa6a42",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "stars_changed",
      "occurred_at": "2026-09-13T05:04:21.529456Z",
      "before": 1806,
      "after": 1834,
      "explanation": "Stars changed: 1806 → 1834.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    },
    {
      "id": "evt_d7b54a26a41b33f95222",
      "entity_id": "gh:openai/navierstokesandeuler",
      "item_url": "/item/navier-stokes-and-euler-lean-certificates-openai/",
      "title": "Navier-Stokes and Euler Lean certificates (OpenAI)",
      "category": "other",
      "kind": "new_entity",
      "occurred_at": "2026-09-12T17:04:32.267494Z",
      "before": null,
      "after": "watch",
      "explanation": "Newly added to RepoRadar's decision catalog.",
      "explanation_scope": "catalog_snapshot_delta",
      "evidence_refs": {},
      "tier": "Gold",
      "risk": "none",
      "verdict": "watch",
      "score": 8.6,
      "entity_kind": "open_source",
      "verification_stage": "discovered",
      "type": "GitHub repo",
      "section": "New Research With Code/Demo",
      "local_ai": false,
      "local_model_compatible": false,
      "discovery_topic": "research",
      "discovery_topic_status": "candidate",
      "setup_ease": 6.4,
      "best_for": [
        "developers and mathematicians auditing AI-generated proof claims",
        "Lean 4 users"
      ],
      "risk_categories": [],
      "search_text": "navier-stokes and euler lean certificates (openai) openai open_source other research gold none watch developers and mathematicians auditing ai-generated proof claims lean 4 users",
      "material_mover": false
    }
  ]
}