Repository navigation

PRD-002: a rederivation eval, and what its dev baseline found - #2

Open

ifrit98 wants to merge 13 commits into

mainfrom

prd-002-rederivation

Open

PRD-002: a rederivation eval, and what its dev baseline found#2
ifrit98 wants to merge 13 commits into
mainfrom
prd-002-rederivation

Commits on Oct 20, 2026
- PRD-002: a rederivation eval, and its plan
  
  ifrit98
  and
  claude
  committed
  fcec771
- rederive: target format, validation, and the checker
  
  ifrit98
  and
  claude
  committed
  1244915
- Freeze the rederivation targets: 30 subjects, model-checked
  
  ifrit98
  and
  claude
  committed
  6b61cdf
- rederive: the reader works the target out and cites the parts it rests on
  
  ifrit98
  and
  claude
  committed
  1bea9c6
- rederive: blind grading of each chain, scores, and the separation rule
  
  ifrit98
  and
  claude
  committed
  b1b7ba6
- rederive: three-pass run, report, and the eval rederive command; eval artifact runs it
  
  ifrit98
  and
  claude
  committed
  5258c2d
- rederive: name the builds folder relative to the project, never through the home folder
  
  ifrit98
  and
  claude
  committed
  637af1d
- rederive: a human check graded with the same rubric
  
  ifrit98
  and
  claude
  committed
  7c29fe5
- Rederivation dev baseline on the v0.8 builds: three passes
  
  ifrit98
  and
  claude
  committed
  67fe861
- Docs: the rederivation eval and what its dev baseline found
  
  ifrit98
  and
  claude
  committed
  4575769
- rederive: a build with no explanation scores nothing and is shown; a grader reply that does not fit is asked again, and its raw marks are kept
  
  ifrit98
  and
  claude
  committed
  4cbf192
- Pin all 30 rederivation targets to the freeze
  
  ifrit98
  and
  claude
  committed
  9140d7d
- Docs: the one separation rests on half a building block; float-sum and length stated exactly
  
  ifrit98
  and
  claude
  committed
  e294795

Commits

Commits on Oct 20, 2026