Repository navigation

Give finer results a second oracle - #182

Merged

jmgirard merged 16 commits into

mainfrom

m166-finer-second-oracle

Oct 31, 2026

Merged

Give finer results a second oracle#182
jmgirard merged 16 commits into
mainfrom
m166-finer-second-oracle

Commits on Oct 31, 2026
- M166 T1: final fit under a multi-element eval_time, invariant
  jmgirard
  committed
  524b312
- M166 T2: weights on a left-out fold, invariant
  jmgirard
  committed
  c68fb36
- M166 T3: desirability rule by its definitions, closed-form
  jmgirard
  committed
  c8d2a4a
- M166 T4: final fit's first metric against the set's first name
  jmgirard
  committed
  a9ee299
- M166 T5: registry rows, D-123 lines, and D-123
  jmgirard
  committed
  c45e54f
- M166: implement done, status review
  jmgirard
  committed
  c745506
- M166 review pass 1: findings and the stop
  jmgirard
  committed
  9186062
- M166 review: route the AC5 and AC6 amendments, status in-progress
  jmgirard
  committed
  b220af0
- M166: two averaging tests and the re-audit record
  jmgirard
  committed
  a1af273
- M166 T8-T9: registry rework, D-123 narrowed, failed-fold plant
  jmgirard
  committed
  7161e18
- M166: implement pass 2 done, status review
  jmgirard
  committed
  417a8d1
- M166 review pass 2: registry credits narrowed (checkpoint; test tweaks pending)
  jmgirard
  committed
  6a50ea2
- M166 review pass 2: drop the result count from the registry header
  jmgirard
  committed
  e1d3f35
- M166 review pass 2: findings, gate evidence, two test tweaks
  jmgirard
  committed
  22bc50c
- M166 review: criterion evidence (checkpoint)
  jmgirard
  committed
  1a06658
- M166: step-7 approval
  jmgirard
  committed
  83bf2d6