Skip to content

specs(numeric): add test blocks to 12 unmeasured specs - #13353

Merged
gHashTag merged 1 commit into
masterfrom
fix/coverage-numeric-tests
Nov 8, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/coverage-numeric-tests

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 8, 2026

Copy link
Copy Markdown
Collaborator

Added test blocks (positive + negative-control) to 12 specs that had no tests:
bigint, gf4, gf8, gf12, gf20, gf24, gf32, gf64, gf_competitive,
goldenfloat_family, pellis_verify, phi_ratio.

All 12 specs were re-sealed (seal MATCH recorded). Coverage number
unchanged (320/375) because these specs don't compile to Zig — the
coverage tool cannot measure tests for blocked specs.

Closes #12913

Added test blocks (positive + negative-control) to 12 specs that had no tests:
bigint, gf4, gf8, gf12, gf20, gf24, gf32, gf64, gf_competitive,
goldenfloat_family, pellis_verify, phi_ratio.

All 12 specs were re-sealed (seal MATCH recorded). Coverage number
unchanged (320/375) because these specs don't compile to Zig — the
coverage tool cannot measure tests for blocked specs. The added tests
will become measurable once the compilation errors are fixed.

All changes are .t27 specs and seal JSONs only (Only t27 compliant).

Closes #12913
@gHashTag
gHashTag merged commit 31033db into master Nov 8, 2026
34 of 37 checks passed
@gHashTag
gHashTag deleted the fix/coverage-numeric-tests branch November 8, 2026 08:13
@github-actions

github-actions Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-08 08:14:20 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 39
PRs with All Checks Green 5
READY 5
FAILING 39
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b882be1e4933 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

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.

Epic: GOLDEN CHAIN — One .t27 Spec to Bit-Exact Software and Silicon

1 participant