eval: add 6 new gold-standard specs for broader evaluation

Added Pixel Wars (game, server), Settle Up (expenses, settlements),
User Service, and TicTacToe game engine. Score dropped 0.9640→0.8298
exposing type accuracy and hierarchy weaknesses on new domains.

experiments/results.tsv

···
 2026-03-26T23:12:45.269Z	0.9265	100.0	94.4	95.5	33.8	100.0	6.2	x0da3a
 2026-03-26T23:13:07.799Z	0.9640	100.0	94.4	95.5	8.8	100.0	6.2	42knqt
 2026-03-26T23:14:22.740Z	0.9640	100.0	94.4	95.5	8.8	100.0	6.2	42knqt
[phone]T23:23:35.323Z	0.8298	93.8	70.7	91.3	12.8	58.3	4.3	42knqt

tests/eval/gold-standard.ts

···
     ],
     expectedEdges: [],
   },
+  {
+    name: 'Pixel Wars: game',
+    path: 'examples/pixel-wars/spec/game.md',
+    docId: 'spec/game.md',
+    expectedMinCoverage: 85,
+    expectedMinNodes: 10,
+    expectedMaxNodes: 25,
+    expectedNodes: [
+      { statement: '20', type: 'CONSTRAINT' },
+      { statement: 'cooldown', type: 'CONSTRAINT' },
+      { statement: 'rejected', type: 'REQUIREMENT' },
+      { statement: 'broadcast', type: 'REQUIREMENT' },
+      { statement: '120 seconds', type: 'CONSTRAINT' },
+      { statement: 'round-robin', type: 'CONSTRAINT' },
+    ],
+    expectedEdges: [],
+  },
+  {
+    name: 'Pixel Wars: server',
+    path: 'examples/pixel-wars/spec/server.md',
+    docId: 'spec/server.md',
+    expectedMinCoverage: 85,
+    expectedMinNodes: 8,
+    expectedMaxNodes: 20,
+    expectedNodes: [
+      { statement: 'websocket', type: 'REQUIREMENT' },
+      { statement: 'maximum 20', type: 'CONSTRAINT' },
+      { statement: 'disconnected', type: 'REQUIREMENT' },
+      { statement: 'room_full', type: 'REQUIREMENT' },
+    ],
+    expectedEdges: [],
+  },
+  {
+    name: 'Settle Up: expenses',
+    path: 'examples/settle-up/spec/expenses.md',
+    docId: 'spec/expenses.md',
+    expectedMinCoverage: 90,
+    expectedMinNodes: 12,
+    expectedMaxNodes: 30,
+    expectedNodes: [
+      { statement: 'unique id', type: 'REQUIREMENT' },
+      { statement: 'positive', type: 'CONSTRAINT' },
+      { statement: 'equal', type: 'REQUIREMENT' },
+      { statement: 'remainder', type: 'INVARIANT' },
+      { statement: 'sum of all individual shares must always equal', type: 'INVARIANT' },
+      { statement: 'reverse chronological', type: 'REQUIREMENT' },
+      { statement: 'only creator can delete', type: 'CONSTRAINT' },
+      { statement: 'deterministic', type: 'INVARIANT' },
+    ],
+    expectedEdges: [],
+  },
+  {
+    name: 'Settle Up: settlements',
+    path: 'examples/settle-up/spec/settlements.md',
+    docId: 'spec/settlements.md',
+    expectedMinCoverage: 85,
+    expectedMinNodes: 8,
+    expectedMaxNodes: 22,
+    expectedNodes: [
+      { statement: 'minimum number of payments', type: 'REQUIREMENT' },
+      { statement: 'same net effect', type: 'INVARIANT' },
+      { statement: 'cycles', type: 'INVARIANT' },
+      { statement: 'zero balances', type: 'INVARIANT' },
+      { statement: 'exceeds', type: 'CONSTRAINT' },
+      { statement: 'settled up', type: 'REQUIREMENT' },
+    ],
+    expectedEdges: [],
+  },
+  {
+    name: 'User Service',
+    path: 'examples/microservices/spec/user-service.md',
+    docId: 'spec/user-service.md',
+    expectedMinCoverage: 85,
+    expectedMinNodes: 18,
+    expectedMaxNodes: 40,
+    expectedNodes: [
+      { statement: 'system of record', type: 'DEFINITION' },
+      { statement: 'email addresses must be unique', type: 'CONSTRAINT' },
+      { statement: 'never store or return plaintext passwords', type: 'INVARIANT' },
+      { statement: 'soft delete', type: 'REQUIREMENT' },
+      { statement: '100 characters', type: 'CONSTRAINT' },
+      { statement: 'locked for 1 hour', type: 'CONSTRAINT' },
+      { statement: 'parameterized statements', type: 'CONSTRAINT' },
+      { statement: 'event payloads must never contain passwords', type: 'INVARIANT' },
+      { statement: '50 results per page', type: 'CONSTRAINT' },
+      { statement: 'usercreated', type: 'REQUIREMENT' },
+    ],
+    expectedEdges: [],
+  },
+  {
+    name: 'TicTacToe: game engine',
+    path: 'examples/tictactoe/spec/game-engine.md',
+    docId: 'spec/game-engine.md',
+    expectedMinCoverage: 90,
+    expectedMinNodes: 10,
+    expectedMaxNodes: 25,
+    expectedNodes: [
+      { statement: '3', type: 'CONSTRAINT' },
+      { statement: 'cell already occupied', type: 'REQUIREMENT' },
+      { statement: 'x always moves first', type: 'CONSTRAINT' },
+      { statement: 'win', type: 'REQUIREMENT' },
+      { statement: 'draw', type: 'REQUIREMENT' },
+      { statement: 'game status', type: 'DEFINITION' },
+    ],
+    expectedEdges: [],
+  },
 ];