Skip to content

Re-pin rewritten RFIsher and RadioFisher commits - #9

Merged
djgormley merged 3 commits into
mainfrom
repin-rewritten-commits-2026-10-24
Oct 24, 2026
Merged

djgormley merged 3 commits into
mainfrom
repin-rewritten-commits-2026-10-24

Conversation

@djgormley

@djgormley djgormley commented Oct 24, 2026 •

Copy link
Copy Markdown
Contributor

RFIsher and RadioFisher now live on rewritten histories, so the old commit IDs no longer resolve. This re-pins every reference to them (same trees, same abbreviation length):

  • RFIsher f72bf34 to a281112: frozen evidence in ca_os_archive_bulk_2026-09-29 and ch37_rank_injection_2026-09-30
  • RFIsher e041d5e to 7edf11c: detector register, transmitter-off eras, the profile-literal test and its golden file (now selection_policy_7edf11c_detector_entries.json)
  • RFIsher 2303580 to 17eee76: tolerance table
  • RFIsher b397289 to 1f842b4: threshold decisions test data
  • RadioFisher 8294315 to 9c40ee4: tolerance table and threshold decisions test data

The evidence checksums are recomputed over the edited files (release-manifest.json, MANIFEST.json, and the manifest hashes and byte totals in F1_INVENTORY.md). Re-pinned copies are labeled as such, and source_sha256 still names the original source bytes. Both verify.py checkers pass. No results change.

Checked with the full test suite, ruff, the doc-spec, vocabulary, profile, configuration, and schema checkers, and the twiddle-table check.

@djgormley
djgormley merged commit 7b3ec84 into main Oct 24, 2026
8 checks passed
@djgormley
djgormley deleted the repin-rewritten-commits-2026-10-24 branch October 24, 2026 18:56
@djgormley djgormley changed the title Name the rewritten RFIsher and RadioFisher commits Re-pin rewritten RFIsher and RadioFisher commits Oct 26, 2026
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.

1 participant