Skip to content

specs(numeric,t27os): close coverage gaps — negative-control tests + re-seal - #13325

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

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

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 7, 2026

Copy link
Copy Markdown
Collaborator

specs/numeric: added negative_control_refutes_* tests to 22 specs. Coverage: 188/375 -> 195/375

specs/t27os: re-sealed 17 specs with seal NO-MATCH. Added negative-control tests to 11 specs. Coverage: 478/630 -> 506/630

Closes #12913

…re-seal

specs/numeric: added negative_control_refutes_* tests to 22 specs
(bnf8-1024, catalog_paper_count, e8m0, formats, formats_catalog, gf16, gft4-1024).
Re-sealed gf16 (was seal NO-MATCH).
Coverage: 188/375 -> 195/375

specs/t27os: re-sealed 17 specs with seal NO-MATCH (agent_report, chat_log,
dev_swap, dsh_head_election, dsh_mcp_bridge, dsh_scope, filecmp_main,
frame_main, general_conductor_tick, godmode_001, godmode_contract,
godmode_host, godmode_journal, godmode_policy, godmode_run, godmode_tick,
keys_fleet). Added negative-control tests to 11 specs (agents, bench, dash,
doctor, domain_pulse, editors, editors_host, frame_gate, graph_transition,
identity_table, kanban).
Coverage: 478/630 -> 506/630

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

Closes #12913
@gHashTag
gHashTag merged commit f863148 into master Nov 7, 2026
36 of 39 checks passed
@gHashTag
gHashTag deleted the fix/coverage-gaps-batch-2 branch November 7, 2026 21:57
@github-actions

github-actions Bot commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-07 21:59:24 UTC

Summary

Status Count
Total Open PRs 46
PRs with Failing Checks 44
PRs with All Checks Green 2
READY 2
FAILING 44
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