From a26dda505db692a4621a3a9f48b0334acee6f1d3 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Sun, 18 Oct 2026 18:24:46 +0700 Subject: [PATCH] numeric: paper_claims.t27 no longer states the withdrawn 323 MHz clock in claim 10 (Closes #10418) The testbench row stays not checkable; its text now points at RESEARCH_CLAIMS.md, Retraction 2026-08-18. t27c 0.5.2 test-report on the Railway lab: 10 of 10 pass, 0 vacuous; t27c fmt leaves it unchanged. Co-Authored-By: Claude Opus 5.5 --- specs/numeric/paper_claims.t27 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/numeric/paper_claims.t27 b/specs/numeric/paper_claims.t27 index 151cb5b15c..5402f6a9bc 100644 --- a/specs/numeric/paper_claims.t27 +++ b/specs/numeric/paper_claims.t27 @@ -195,7 +195,7 @@ pub const CL_TEXT : [45]str = [ "GF16 code 0x47C0 (e = 6, f = 9, bias 31) decodes to 30", "30 = 1^2 + 2^2 + 3^2 + 4^2, the dot4 anchor", "p = K / N_s = 83 / 80000 = 1.04e-3", - "35 of 35 testbench vectors at 323 MHz on an XC7A35T", + "35 of 35 testbench vectors pass; the clock printed beside them is withdrawn (RESEARCH_CLAIMS.md, Retraction 2026-08-18)", "the catalog holds 109 formats", "the 109 formats span 12 clusters", "3.0 in BF16 is 0x4040",