Skip to content

spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096) - #10097

Merged
gHashTag merged 27 commits into
masterfrom
sweep/land-28-port-prs
Oct 17, 2026
Merged

spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096)#10097
gHashTag merged 27 commits into
masterfrom
sweep/land-28-port-prs

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 17, 2026

Copy link
Copy Markdown
Owner

Closes #10096

Lands these 25 port PRs, one commit each, original author kept:

Why one PR: each original adds one row to docs/reports/t27b_expectations.json, so every merge on master made the next one conflict again before its ~29 jobs left the Actions queue.

How the ledger was resolved: the rows from both sides were unioned, sorted, kept in master's 2-space layout, with one verdict per path (the resolver stops on a path that has two different verdicts). The ledger diff is +25 rows and nothing else.

Checked on the Railway lab, master 9506315 against this head:

  • tools/dupe_scan.py: the same 3 errors as master (hashes32_equal, is_zero_id, sched_sqrt are already on master), no new one;
  • the diff touches only specs/port/**.t27, .trinity/seals/*.json and the ledger; no foreign code, no secret-shaped added line.

Left out: #9650, #9651 and #9652, because each adds another copy of ids_equal / hashes32_equal.

🤖 Generated with Claude Code

dmitrii-f-t27 and others added 25 commits October 18, 2026 01:41
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the header extension order guard (Refs #8884)
38f75cf 
Landed from #9641 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 @claude
spec(port): port the padding byte entropy guard (Refs #8884)
6098487 
Landed from #9660 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 @claude
spec(port): port the padding-class oracle guard (Refs #8884)
5b58ee3 
Landed from #9669 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding class selection entropy guard (Refs #8884)
5f1318b 
Landed from #9670 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 @claude
spec(port): port the padding class collision guard (Refs #8884)
0b16c5d 
Landed from #9678 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 @claude
spec(port): port the padding class transition audit (Refs #8884)
2ff0949 
Landed from #9679 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding class transition monotonicity guard (Refs …
0785b17 
…#8884)

Landed from #9695 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding crypto binding guard (Refs #8884)
aa42750 
Landed from #9697 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 @claude
spec(port): port the padding length class transition uniformity guard…
400166d 
… (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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding length distribution guard (Refs #8884)
94d4b3e 
Landed from #9708 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding oracle timing side-channel guard (Refs #…
1c5fcf8 
…8884)

Landed from #9739 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding ciphertext length consistency guard (Refs …
999324d 
…#8884)

Landed from #9754 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the padding class downgrade guard (Refs #8884)
32fa8c0 
Landed from #9757 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the AEAD/MAC tag truncation defence (Refs #8884)
c47fff0 
Landed from #9794 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the safety-number OOB identity verification (Refs #8884
451db20 
)

Landed from #9802 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic burst detection guard (Refs #8887)
c3294a0 
Landed from #9805 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic emission jitter guard (Refs #8887)
2a24830 
Landed from #9810 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic emission pattern randomness guard …
248d075 
…(Refs #8887)

Landed from #9811 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic entropy fingerprint guard (Refs #8887
8f34b81 
)

Landed from #9813 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic generation rate stability guard (R…
5d09ef9 
…efs #8887)

Landed from #9814 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic inter-epoch continuity guard (Refs #…
64e6eca 
…8887)

Landed from #9819 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic payload length distribution guard …
9342a85 
…(Refs #8887)

Landed from #9820 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic payload size variance guard (Refs #…
536c092 
…8887)

Landed from #9822 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic starvation guard (Refs #8887)
7a18ac1 
Landed from #9826 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>
@dmitrii-f-t27 @claude @gHashTag
spec(port): port the cover-traffic timing correlation guard (Refs #8887)
0d4fe82 
Landed from #9828 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
gHashTag enabled auto-merge (rebase) October 17, 2026 18:45
This was referenced Oct 17, 2026
Closed
Closed
Closed
Closed
This was referenced Oct 17, 2026
Closed
Closed
Closed
Closed
Closed
Closed
This was referenced Oct 17, 2026
Merged
Merged
Merged
Merged
Merged
Merged
Closed
Merged
Merged
@github-actions

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 19:06:39 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 48
PRs with All Checks Green 2
READY 0
FAILING 48
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 48 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

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

@gHashTag gHashTag mentioned this pull request Oct 17, 2026
Merged
This was referenced Oct 17, 2026
Merged
Merged
@gHashTag @claude
spec(port): name the emission guard's interval type apart (types ratc…
f3d55bd 
…het, #2774)

cover_traffic_emission_pattern_randomness_guard.t27 (from #9811) declared
`IntervalObservation`, a name master already defines in
cover_traffic_inter_arrival_autocorrelation_guard.t27. Two definitions of
one type name leave its domain size undetermined, so `tri types ratchet`
went red (ledger 109, observed 110). Rename it EmissionIntervalObservation
in this file only and reseal; the ratchet is CLEAN at 109 again.

Refs #10096

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag mentioned this pull request Oct 17, 2026
Merged
@github-actions

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 19:31:11 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 50
PRs with All Checks Green 0
READY 0
FAILING 50
PENDING 0
NO CHECKS YET 0

Seal Status

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

gHashTag added a commit that referenced this pull request Oct 17, 2026
@gHashTag @claude
spec(port): name four duplicated port types apart (types ratchet, #2774)
427ef22 
The batch brought four type names that two specs each define, and two
definitions of one name leave its domain size undetermined:
`tri types ratchet` went red, ledger 109 vs observed 113.

- IntervalObservation: the emission pattern randomness guard (#9811)
  repeats master's inter-arrival guard. Renamed EmissionIntervalObservation,
  byte-identical to #10097's fix, so the two batches merge cleanly.
- SizeObservation / SizeDistVerdict: message_size_class_distribution_guard
  repeats cover_traffic_size_distribution_guard. Renamed SizeClassObservation
  / SizeClassDistVerdict.
- TransitionObservation: padding_class_transition_entropy_guard repeats
  padding_length_class_transition_uniformity_guard. Renamed
  EntropyTransitionObservation.

Each renamed spec is resealed. Checked on the Railway lab: types ratchet
CLEAN at 109, dupe_scan finds no new duplicate body.

Refs #8884

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot mentioned this pull request Oct 17, 2026
Merged
@gHashTag @claude
Merge master into sweep/land-28-port-prs (ledger union after #10098)
4ab1ed8 
#10098 landed 20 of this batch's PRs with byte-identical files, so only
docs/reports/t27b_expectations.json conflicted. Resolved as the union of
both sides' rows (sorted, one verdict per path; no path had two verdicts).
Against master this PR now adds 5 specs, their 5 seals and 5 ledger rows
(#9739 #9754 #9757 #9794 #9802).

Refs #10096

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag disabled auto-merge October 17, 2026 19:39
@gHashTag
gHashTag enabled auto-merge October 17, 2026 19:39
@gHashTag

gHashTag commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

Merged master after #10098 landed (4ab1ed8). #10098 already carried 20 of this batch's PRs with byte-identical files, so only the ledger conflicted, and it was resolved as the row union. Against master, this PR now adds the remaining 5: #9739 #9754 #9757 #9794 #9802 (5 specs, 5 seals, 5 ledger rows). The red t27b-native-ratchet is master's own: emit_kit was fixed by #10103, which arrives with this merge, and rust_convert is tracked in #9637. Auto-merge has been switched from rebase to a merge commit because the branch now contains a merge.

@github-actions

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 19:41:10 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 50
PRs with All Checks Green 0
READY 0
FAILING 50
PENDING 0
NO CHECKS YET 0

Seal Status

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

@gHashTag
gHashTag merged commit 56e8f58 into master Oct 17, 2026
29 of 32 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Land 25 green trios-chat port PRs as one combined PR

2 participants

@gHashTag @dmitrii-f-t27