Cached graph evidence — Nolan_Lwin FOUNDED Forall – An AI coding agent that generates machine-checkable proofs

Extracted entities

{
  "status": "Raw JSONL unavailable; reconstructed from graph edge provenance.",
  "relations": [
    {
      "edge_type": "FOUNDED",
      "from": {
        "kind": "founder",
        "name": "Nolan_Lwin"
      },
      "to": {
        "kind": "company",
        "name": "Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "valid_at": null,
      "provenance": {
        "source": "hackernews",
        "extractor": "ingest-v1",
        "confidence": 0.7,
        "source_url": "https://news.ycombinator.com/item?id=48929654",
        "observed_at": null,
        "source_signal_id": "backfill:launch:3488"
      }
    },
    {
      "edge_type": "LAUNCHED_VIA",
      "from": {
        "kind": "company",
        "name": "Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "to": {
        "kind": "launch_post",
        "name": "Show HN: Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "valid_at": null,
      "provenance": {
        "source": "hackernews",
        "extractor": "ingest-v1",
        "confidence": 0.7,
        "source_url": "https://news.ycombinator.com/item?id=48929654",
        "observed_at": null,
        "source_signal_id": "backfill:launch:3488"
      }
    }
  ]
}

Raw payload (verbatim — the evidence)

{
  "signal_id": "backfill:launch:3488",
  "raw_payload_status": "unavailable",
  "provenance": {
    "source": "hackernews",
    "extractor": "ingest-v1",
    "confidence": 0.7,
    "source_url": "https://news.ycombinator.com/item?id=48929654",
    "observed_at": null,
    "source_signal_id": "backfill:launch:3488"
  },
  "relations": [
    {
      "edge_type": "FOUNDED",
      "from": {
        "kind": "founder",
        "name": "Nolan_Lwin"
      },
      "to": {
        "kind": "company",
        "name": "Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "valid_at": null,
      "provenance": {
        "source": "hackernews",
        "extractor": "ingest-v1",
        "confidence": 0.7,
        "source_url": "https://news.ycombinator.com/item?id=48929654",
        "observed_at": null,
        "source_signal_id": "backfill:launch:3488"
      }
    },
    {
      "edge_type": "LAUNCHED_VIA",
      "from": {
        "kind": "company",
        "name": "Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "to": {
        "kind": "launch_post",
        "name": "Show HN: Forall – An AI coding agent that generates machine-checkable proofs"
      },
      "valid_at": null,
      "provenance": {
        "source": "hackernews",
        "extractor": "ingest-v1",
        "confidence": 0.7,
        "source_url": "https://news.ycombinator.com/item?id=48929654",
        "observed_at": null,
        "source_signal_id": "backfill:launch:3488"
      }
    }
  ]
}