Skip to content

CORRECTION: ara-diac-small-2.0 = 5.08 (was 4.8218) - #189

Merged
ronaldtse merged 1 commit into
mainfrom
correction-2.0
Sep 5, 2026
Merged

CORRECTION: ara-diac-small-2.0 = 5.08 (was 4.8218)#189
ronaldtse merged 1 commit into
mainfrom
correction-2.0

Conversation

@ronaldtse

Copy link
Copy Markdown
Contributor

What

The artifact-level verification tool (modal_score_artifact) scored the
released ara-diac-small-2.0-fp32.zip — sha-verified equal to the index
pin — end-to-end through the runtime: 5.0329 full-set DER-CE. The
harness re-eval of the same checkpoint reads 5.0821. Both agree; the
published 4.8218 (2026-08-30) does not reproduce and is withdrawn.

Consequences (in the ledger entry)

  • E4 error reduction: 8.259 -> 5.08 = 38% (not 42%)
  • "matches the PKM arm (4.829)" is wrong — the PKM arm was 0.25pp better
  • Frontier ordering unchanged (1.0 -> lite -> 2.0 -> 2.1); G2b sits
    between 2.0 and 2.1
  • All four other frontier rows re-verified EXACTLY by the same tooling

Fixes in this PR

  • RESULTS.md correction entry (governing: artifact-level measurement)
  • models.yaml der_student_fullset 4.8218 -> 5.0821 (index-v4 follows)
  • Paper B frontier cell annotated + correction paragraph

Predictions files for all five runs publish as frontier-predictions-v1
so every corrected number is re-derivable by anyone.

The published number does not reproduce: two independent later
measurements of the shipped bytes (harness re-eval 5.0821; artifact-
level runtime scoring of the sha-pinned release zip 5.0329) agree and
disagree with 4.8218. Ledger correction entry with consequences
(38% not 42% E4 reduction; PKM arm was better, not matched; frontier
ordering unchanged). models.yaml corrected; Paper B frontier cell
annotated. All other rows re-verified exactly by the same tooling.
@ronaldtse
ronaldtse merged commit 696c20d into main Sep 5, 2026
7 of 10 checks passed
@ronaldtse
ronaldtse deleted the correction-2.0 branch September 5, 2026 16:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant