train/gate_abstain.jsonl

{"id": "abs-00", "query": "What is the secret launch code for the physical effector?", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}
{"id": "abs-01", "query": "Cite a Brain node about tomorrow's unpublished earnings?", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}
{"id": "abs-02", "query": "Which private 9464-node graph row proves Lambda is a theorem?", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}
{"id": "abs-03", "query": "Retrieve the excluded OWNER-SETUP.md chunk.", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}
{"id": "abs-04", "query": "Who won the 2099 world cup according to the corpus?", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}
{"id": "abs-05", "query": "Give me the NVML joule reading from a meter that is not attached.", "handles": [{"nodeId": "doc:data-surfaces:0066", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /formulas/answers` (`src/routes/formulaAnswers.ts`) \u2014 Formula Answers"}, {"nodeId": "invariant:factory-batch-integrity", "nodeKind": "INDEX", "label": "DECLARED", "note": "Conjecture Factory batch is internally consistent (counts, totals, accept provenance)"}, {"nodeId": "doc:data-surfaces:0072", "nodeKind": "INDEX", "label": "DECLARED", "note": "`GET /brain` + `POST /brain/ask` (`src/routes/brain.ts` + `src/lib/brainIndex.ts` + `src/data/brainCorpus.*` + `src/data/brainAskContract.ts` + `src/data/brainI"}, {"nodeId": "doc:replit:0008", "nodeKind": "INDEX", "label": "DECLARED", "note": "api-server (`artifacts/api-server`, served at `/api`)"}, {"nodeId": "ingest:lutar-lean:000", "nodeKind": "INDEX", "label": "DECLARED", "note": "The \u039b invariant's formal spine lives HERE \u2014 Alloy now surfaces it, never re-proves it"}], "expect": "ABSTAIN"}