sorokin.oleg.edu/learnharness
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 6 Wiki Activity

partitioner fix: chain ids lead every rendered line

Browse Source 
The partitioner was told to reference chain ids, but no rendered line
ever showed one — chainLine emitted bare 'premises → conclusion', so
the model re-typed whole rendered lines into submit_partition and every
call failed 'unknown chain ids' validation (owner live report,
2026-09-30 evening). The generator's YOUR TARGET block had the same
blindness.

- chainLine now leads with the chain's id: [arg_x] n_a, n_b → n_c;
  a bare proposition repeats its own id ([n_y] n_y (no premises)) —
  mechanically teaching that its chain id IS its proposition id.
- PARTITIONER_INSTRUCTIONS rewritten to chains-primary vocabulary
  (was still 'follows-edges, bijective re-encoding' — pre-chains
  framing) with the id-only doctrine and singular propositions
  first-class.
- partitionSchema/problemSchema gained field descriptions: ids
  VERBATIM, never re-type, never invent.
- Generator OUTPUT bullet + target-block header say the same.

Design ruling en route: partitioner stays an LLM partitioning chains
(deterministic partitioning and propositions-as-targets both
considered and declined by the owner).
This commit is contained in:
amosblomqvist
2026-10-01 23:56:34 +03:00
parent 91341a93da
commit d8cca61d1d
3 changed files with 64 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/practice-pipeline.test.ts
+5 -2
View File
@@ -108,8 +108,11 @@ function targetOf(prompt: string): string[] {
const section = prompt.split("THE FULL SET")[0] ?? "";
const ids: string[] = [];
for (const line of section.split("\n")) {
if (line.includes("→")) ids.push(line.split("→")[1]!.trim());
else if (line.includes("(no premises)")) ids.push(line.replace("(no premises)", "").trim());
// Chain ids now LEAD every line ([arg_x] a, b → c) — strip the anchor
// bracket to recover the id the submit must echo.
const body = line.replace(/^\[[^\]]+\]\s+/, "");
if (body.includes("→")) ids.push(body.split("→")[1]!.trim());
else if (body.includes("(no premises)")) ids.push(body.replace("(no premises)", "").trim());
}
return ids;
}