[gHashTag]

Summary

Closes #1120.

Issue #1120 reported that the committed gen/numeric/formats_catalog.json declares
77 formats while the SSOT specs/numeric/formats_catalog.t27 carries 83
(grep -c '// CATALOG:' specs/numeric/formats_catalog.t27 == 83 on this HEAD).

This PR removes the 16 stale committed codegen artifacts under gen/numeric/ from
tracking, so they can no longer drift against the SSOT. It does not modify any
file under gen/ (the L2 GENERATION gate forbids that); it only deletes (status D).

Why deletion, not regeneration

The repo constitution (L2 GENERATION) treats gen/ as DERIVED and never
hand-committed:

• gen/ is in .gitignore (line 6).
• The catalog-count gate (catalog-count-gate.yml) regenerates fresh into a temp
  dir and compares to the SSOT; it does NOT diff the committed gen/ file by design.
• The L2 gate (l1-traceability.yml) fails any PR with a modified (M) file under
  gen/. Re-committing a regenerated gen/ would therefore be rejected by CI.

The 16 catalog artifacts were historically force-added into tracking, which is the
only reason they can drift at all. Removing them from tracking returns gen/numeric/
to the gitignored, regenerate-on-demand state the constitution intends. After this
change, a fresh python3 tools/gen_formats_catalog.py specs/numeric/formats_catalog.t27 <out>
is the single source of these files, and the 83-vs-77 drift class can no longer exist.

The drift, measured

• count: SSOT 83 vs committed gen 77 (delta 6: gf10, gf14, gf48, gf96, gf512, gf1024 -- GoldenFloat rungs).
• 15 field mismatches across gf6/gf24/gf128/gf256 (mostly metadata).
• one substantive numeric mismatch: gf128 stored e_bits=48 / m_bits=79 in the stale
  committed file vs the SSOT-correct e_bits=49 / m_bits=78 (the SSOT line annotates
  "corrects v1.1 typo e=48"). The committed artifacts are a pre-correction snapshot.

A from-scratch independent second-implementation diff (a Rust SSOT-vs-gen oracle,
run locally; two-implementation differential-testing principle) confirmed:

• stale committed file -> VERDICT DIVERGENCE (exit 2)
• fresh regenerated file -> VERDICT CLEAN (exit 0; SSOT == gen == 83; gf128 e=49/m=78)

Non-breaking check

Nothing reads the committed gen/numeric/formats_catalog.json at build, test, or CI
time -- only the codegen tool references its own output path in a comment. Grep across
tools/, scripts/, tests/, and .github/workflows/ found no runtime dependency.

Files

• delete: gen/numeric/formats_catalog.{md,json,py,rs,h,hpp,ts,go,zig,swift,kt,vh,ml} + gen/numeric/FormatsCatalog.{hs,java,jl} (16 files).
• update: docs/NOW.md (freshness entry).

L6 gf16 SSOT untouched; catalog stays 83; no gen/ edits (deletions only); ASCII-only
added lines; no quality claim added.

-- Dmitrii Vasilev
ORCID 0009-0008-4294-6159
github.com/gHashTag
arXiv:2606.05017 (GoldenFloat)

[github-actions]

PR Dashboard

Generated at: 2026-06-14 17:20:49 UTC

• fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-06-14 | 12 failing / 18 total

Summary

Status	Count
Total Open PRs	1
PRs with Failing Checks	0
PRs with All Checks Green	1
READY	0
FAILING	0
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=7f77bc056def != manifest seal=49e55df6d444.
  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).

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-08-06 11:45:48 UTC

• fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
• fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-08-06 | 10 failing / 28 total

Summary

Status	Count
Total Open PRs	2
PRs with Failing Checks	1
PRs with All Checks Green	1
READY	0
FAILING	1
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=831aa0b41b88 != 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).

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-08-06 11:46:47 UTC

• fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
• fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-08-06 | 10 failing / 17 total

Summary

Status	Count
Total Open PRs	2
PRs with Failing Checks	1
PRs with All Checks Green	1
READY	0
FAILING	1
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=831aa0b41b88 != 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).