{
  "schema_version": "1.0.0",
  "verification_stage_contract": "bounded-workflow-v2",
  "generated_at": "2026-09-13T05:04:21.529456Z",
  "build_id": "rr-20260913T05042152945-c0f111e52e10",
  "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",
      "source_build_id": "rr-20260912T17043226749-4b7536538ed8"
    },
    {
      "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",
      "source_build_id": "rr-20260913T05042152945-c4476eca3a92"
    }
  ],
  "changes": [
    {
      "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
    }
  ]
}