Skip to content

spec(port): port the padding length class transition uniformity guard (Refs #8884) - #9700

Closed
dmitrii-f-t27 wants to merge 2 commits into
gHashTag:masterfrom
dmitrii-f-t27:port/cr-chat-04-wave2-q
Closed

dmitrii-f-t27 wants to merge 2 commits into
gHashTag:masterfrom
dmitrii-f-t27:port/cr-chat-04-wave2-q

Conversation

@dmitrii-f-t27

Copy link
Copy Markdown
Contributor

Refs #8884 (CR-CHAT-04 ring tracker). Parent epic: gHashTag/trios#1812 (W2, own lane, T-PORT). Eighteenth W2 target delivered: the uniformity rules for padding length class transitions — batch ceiling (4096), minimum floor (8), per-record from/to class ceilings (< 4), strictly-increasing u64 timestamps, no-self-transition, then the chi-squared ceiling (15.0) over destination-class counts — D5 verdict carrying idx / got / bound / class / got_f / bound_f / prev / current for every variant, original rule order, all ten PLCT tests transcribed plus chi-squared helper and rule-order tests (12 total, 0 vacuous). Original accumulates usize counts and casts to f64 in chi_squared_flat; t27b rejects the int-to-float cast, so counts accumulate in f64 from the start — identical arithmetic for integer counts (documented in the header). The 4097-record ceiling fixture builds in a loop (batch rule fires before any record). t27b 12/12 native; t27c 12/12; gen-rust compiles under rustc (0 errors, 0 &'static str, 0 Vec<const); coverage Untested 0; seal all hashes MATCH; ledger row included (pass, non-pass untouched). Dedup checked. Sequencing: one-line ledger rebase if the earlier lane PRs land first — I take it on request.

@dmitrii-f-t27

Copy link
Copy Markdown
Contributor Author

Merge request for the gHashTag merger: steward READY (required all SUCCESS — validate, check-linked-issue, parse-ratchet, t27b-native-linux, t27b-native-macos; the red ones are non-required per Q16 and red on master too). Ledger row included; one-line rebase if the earlier lane PRs land first — I take it on request.

… (Refs gHashTag#8884)

Rebuilt as one commit on master b68e954 so it merges;
docs/reports/t27b_expectations.json rows from both sides kept (union, sorted).
Content is otherwise the PR head c024e25 unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag force-pushed the port/cr-chat-04-wave2-q branch from c024e25 to 66d1f48 Compare October 17, 2026 18:17
# Conflicts:
#	docs/reports/t27b_expectations.json
@gHashTag
gHashTag disabled auto-merge October 17, 2026 18:41
gHashTag added a commit that referenced this pull request Oct 17, 2026
… (Refs #8884)

Landed from #9700 as part of one combined PR (the Actions queue could not
carry 28 single runs while master kept moving under the ledger rows).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag

Copy link
Copy Markdown
Owner

Carried unchanged, with its original author, as one commit of #10097 (tracking #10096). That PR lands all 25 green CR-CHAT-04/07 ports at once, because each single PR kept conflicting on the ledger rows before its CI could finish. Closing this one so its queued jobs free the Actions queue.

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.

2 participants