Skip to content

docs: anchor on live arXiv ID 2606.05017 #1053

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 2 commits into from
Jun 14, 2026
Merged

docs: anchor on live arXiv ID 2606.05017 #1053

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e1f606d
docs: anchor on live arXiv ID 2606.05017
AgentMedia1942 Jun 7, 2026
f2a9aa4
Merge branch 'master' into chore/arxiv-id-2606-05017-propagation
gHashTag Jun 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion conformance/FORMAT-SPEC-001.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@
"cross_repo_consumers": [
"gHashTag/tt-trinity-gamma -- RTL for GF4..GF256 (frozen silicon for GF16)",
"gHashTag/tt-trinity-corona -- ROM records for all 80 formats; GF cluster routed via D2D to Gamma",
"gHashTag/goldenfloat-preprint -- arXiv cs.AR (Hunhold endorsed, code QFHDTL)",
"gHashTag/goldenfloat-preprint -- arXiv:2606.05017 (cs.AR, live 2026-06-03)",
"gHashTag/arith2027-goldenfloat -- ARITH 2027 submission",
"gHashTag/trinity-s3ai -- Coq proofs, claims.yaml ledger",
"gHashTag/claim-audit-lab -- public self-audit ledger"
Expand Down
7 changes: 7 additions & 0 deletions docs/NOW.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,13 @@ Last updated: 2026-06-14
- **Why**: Dependabot opened #1057 (rusqlite 0.40.1) and #1058 (chrono 0.4.45). Both PRs failed all three gates simultaneously because bots cannot reference issues with `Closes #N` and do not update `docs/NOW.md` for routine dependency bumps. The failures were structural, not substantive. After this PR merges, trusted-bot PRs SKIP the three gates (not FAIL); human PRs remain fully gated by Constitutional Law L1. L6 untouched (gf16 SSOT and conformance JSON unchanged); L5 untouched (no silicon impact); L4 not applicable (workflow YAML, not a `.t27` spec). Acceptance: rerun #1057 and #1058 after merge -- all three gates show `skipped`.
- **Anchor**: phi^2 + phi^-2 = 3

## chore-arxiv-id-propagation -- replace QFHDTL endorsement code with live arXiv ID (Closes #1056)

- **WHERE** (conformance metadata): `conformance/FORMAT-SPEC-001.json` line 99 -- the internal QFHDTL endorsement code is replaced by the live arXiv anchor `arXiv:2606.05017` (cs.AR, 2026-06-03). One-line metadata change; no schema, no field widths, no claim-status row touched. The internal workflow code predates the live preprint and should not appear in committed public artefacts now that the canonical anchor exists.
- **Why**: track-D arXiv ID propagation. The GoldenFloat preprint is live and citable; the public conformance contract now references the canonical anchor instead of an opaque internal code. No L5/L6 surface, no codegen, no spec change. Companion sync to `docs/NUMERIC_FORMATS_SSOT.md` follows in a separate PR once this lands. Closes #1056.
- **Anchor**: phi^2 + phi^-2 = 3


## feat-gf-ladder-expansion-v1.2 -- GF ladder expansion v1.2 closed-form rule + Corona ROM CATALOG fix (Closes #1052)

- **WHERE** (numeric specs + conformance + codegen): `specs/numeric/goldenfloat_family.t27` extended from 9 rungs (GF4..GF256) to 17 binary rungs (GF4..GF1024) using the single closed-form rule `e = round((N-1)/phi^2)`, all field widths verified at 50 digits with mpmath. Nine new per-rung spec files `specs/numeric/gf{6,10,14,48,96,128,256,512,1024}.t27`. `conformance/FORMAT-SPEC-001.json` bumped to v1.2 with `frozen_silicon_anchor` for GF16. `docs/NUMERIC_FORMATS_SSOT.md` updated to 18-rung table (GFTernary + 17 binary + TF3 container). `specs/numeric/formats_catalog.t27` GF128 typo fixed, 8 rule-derived entries added. Corona ROM CATALOG: 8 corrections to broken rung entries in `tools/gen_rom.py` CATALOG cluster 3 (GF16/24/32/48/64/96/128/256), RECORD_COUNT expanded 80->82 for GF512/GF1024.
Expand Down
Loading