Skip to content

specs(numeric,cron,tri): close coverage gaps — issue refs + negative-control + re-seal - #13348

Merged
gHashTag merged 1 commit into
masterfrom
fix/coverage-gaps-batch-8
Nov 8, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/coverage-gaps-batch-8

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 8, 2026

Copy link
Copy Markdown
Collaborator

specs/numeric: coverage 237/375 -> 297/375 (+60 facts). Issue refs #6940 on 50 specs, negative-control on 9 specs, re-sealed 50 specs.

specs/crons: coverage 287/430 -> 426/430 (+139 facts).
specs/tri: coverage 17/30 -> 26/30 (+9 facts).

Closes #12913

…control + re-seal

specs/numeric: coverage 237/375 -> 297/375 (+60 facts). Added issue refs (#6940)
to 50 specs, negative-control tests to 9 specs, re-sealed 50 specs after content
changes. Fixed requant_boundary seal NO-MATCH. 7 specs blocked (gf16 gen drift,
sha256_* test failures). 12 specs unmeasured (don't compile).

specs/crons: coverage 287/430 -> 426/430 (+139 facts). Added negative-control
tests to 45 specs, issue refs to 55 specs, re-sealed 61 specs.
specs/tri: coverage 17/30 -> 26/30 (+9 facts). Fixed 4 specs.

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

Closes #12913
@github-actions

github-actions Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-08 07:01:40 UTC

Summary

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

These columns do not partition: 4 + 39 + 0 + 0 = 43, and there are 44 open PRs. A PR is being counted twice or not at all.

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).

@gHashTag
gHashTag merged commit 27d52f7 into master Nov 8, 2026
34 of 38 checks passed
@gHashTag
gHashTag deleted the fix/coverage-gaps-batch-8 branch November 8, 2026 07:02
gHashTag added a commit that referenced this pull request Nov 8, 2026
…) (#13350)

#13348 added `test coverage_negative_control_check { assert true; }` to 47
specs/crons cards and to specs/tri/search_cmd.t27 and sync_cmd.t27. A test
that cannot fail turned master's Corpus Ratchet red (2227 assertionless
tests in 67 files against a baseline of 2178 in 18).

- 47 specs already had a real test asserting their own values; the vacuous
  control added nothing and is deleted.
- t27-backend-shootout-improvement-loop.t27 and t27-t27f-closure-lab.t27 had
  no other test; each now pins its own card values (KIND, HOST, SCHEDULE,
  SERVICE/REPO or tick seconds, ON_FAILURE ...), so a changed value fails.
- 49 seals re-saved (no --force): 48 pass with 0 failed and 0 vacuous;
  tri_TriSearchCmd stays "blocked" exactly as on master (zig gen has no
  as_bytes, pre-existing).

The checker baseline is untouched: 2178 in 18 files, gate ok.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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