train/gate_retrieve.jsonl

{"id": "nav-00", "query": "Lambda uniqueness conjecture TH_L1 formula-ledger", "handles": [{"nodeId": "ingest:szl-formula-ledger:001", "nodeKind": "INDEX", "label": "DECLARED", "note": "A pass means EXACTLY what it checked: units-check \u2260 uniqueness proof"}, {"nodeId": "formula:led-9b9f5e8bb845", "nodeKind": "INDEX", "label": "DECLARED", "note": "formula-ledger \u00b7 TH_L1-lambda-uniqueness"}, {"nodeId": "doc:architecture-notes:0010", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "formula:fdx-201fec2c31d5", "nodeKind": "INDEX", "label": "DECLARED", "note": "forge-index \u00b7 TH-TOPOLOGY-PH"}, {"nodeId": "doc:data-surfaces:0003", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /frontier` (`src/routes/frontier.ts`)"}], "expect": "NAVIGATE", "expect_cite": ["ingest:szl-formula-ledger:001"]}
{"id": "nav-01", "query": "conj:lambda-uniqueness formal-blocks", "handles": [{"nodeId": "formula:blk-d1507e347013", "nodeKind": "INDEX", "label": "DECLARED", "note": "formal-blocks \u00b7 conj:lambda-uniqueness"}, {"nodeId": "formula:blk-9ff3e45e4855", "nodeKind": "INDEX", "label": "DECLARED", "note": "formal-blocks \u00b7 def:epistemic-floor"}, {"nodeId": "ingest:szl-formula-ledger:001", "nodeKind": "INDEX", "label": "DECLARED", "note": "A pass means EXACTLY what it checked: units-check \u2260 uniqueness proof"}, {"nodeId": "formula:fdx-201fec2c31d5", "nodeKind": "INDEX", "label": "DECLARED", "note": "forge-index \u00b7 TH-TOPOLOGY-PH"}, {"nodeId": "doc:data-surfaces:0003", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /frontier` (`src/routes/frontier.ts`)"}], "expect": "NAVIGATE", "expect_cite": ["formula:blk-d1507e347013"]}
{"id": "nav-02", "query": "Ouroboros receipt chain continuity invariants", "handles": [{"nodeId": "ingest:radicle-heartwood:001", "nodeKind": "INDEX", "label": "DECLARED", "note": "Append-only, tamper-evident history is the same property the Ouroboros closes on its own tail"}, {"nodeId": "doc:data-surfaces:0083", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /invariants` (`src/routes/invariants.ts`) \u2014 Ouroboros invariants"}, {"nodeId": "doc:architecture-notes:0010", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "formula:fdx-201fec2c31d5", "nodeKind": "INDEX", "label": "DECLARED", "note": "forge-index \u00b7 TH-TOPOLOGY-PH"}, {"nodeId": "doc:data-surfaces:0003", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /frontier` (`src/routes/frontier.ts`)"}], "expect": "NAVIGATE", "expect_cite": ["ingest:radicle-heartwood:001"]}
{"id": "nav-03", "query": "ed25519 signed receipt verify", "handles": [{"nodeId": "ingest:radicle-heartwood:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "Ed25519-signed refs with no central host is the sovereign-git thesis \u2014 it maps onto Alloy's receipt chain, not onto a forge SZL runs"}, {"nodeId": "invariant:receipt-ed25519-verify", "nodeKind": "INDEX", "label": "DECLARED", "note": "Each signed receipt verifies under ed25519"}, {"nodeId": "doc:architecture-notes:0010", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "formula:fdx-201fec2c31d5", "nodeKind": "INDEX", "label": "DECLARED", "note": "forge-index \u00b7 TH-TOPOLOGY-PH"}, {"nodeId": "doc:data-surfaces:0003", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /frontier` (`src/routes/frontier.ts`)"}], "expect": "NAVIGATE", "expect_cite": ["ingest:radicle-heartwood:000"]}
{"id": "nav-04", "query": "Flywheel eats only its own verified tail", "handles": [{"nodeId": "invariant:flywheel-lineage", "nodeKind": "INDEX", "label": "DECLARED", "note": "Flywheel eats only its own verified tail (own-metal, never demo/cloud)"}, {"nodeId": "doc:architecture-notes:0011", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "invariant:ouroboros-doctrine", "nodeKind": "INDEX", "label": "DECLARED", "note": "Ouroboros invariants \u2014 doctrine"}, {"nodeId": "formula:fdx-201fec2c31d5", "nodeKind": "INDEX", "label": "DECLARED", "note": "forge-index \u00b7 TH-TOPOLOGY-PH"}, {"nodeId": "doc:data-surfaces:0003", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /frontier` (`src/routes/frontier.ts`)"}], "expect": "NAVIGATE", "expect_cite": ["invariant:flywheel-lineage"]}