Skip to content

Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por - #7969

Merged
gHashTag merged 2 commits into
masterfrom
queen-7945
Oct 9, 2026
Merged

gHashTag merged 2 commits into
masterfrom
queen-7945

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 8, 2026

Copy link
Copy Markdown
Collaborator

Closes #7945

Written by a bee on queen-7945 and published by tools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.

1 file changed, 158 insertions(+)

🤖 Generated with Claude Code

Trinity Bee and others added 2 commits October 8, 2026 22:19
Re-author crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs
(gHashTag/trios at 8b229e9489ee) as
specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.t27,
so the ring is generated from .t27 instead of hand-written Rust.

- validate_decoy_ratio ported in full: window bounds, real/cover presence,
  both ratio bounds via cross-multiplication. The Rust Result<(), DecoyRatioError>
  verdict becomes an i32 code (0 = Ok, 1..6 = the DecoyRatioError variants in
  declaration order), since .t27 has no Result.
- The six ratio/window constants and the DecoyRatioError enum carried over.
- 11 tests: the original's CDRG-01..10 plus the exact-max-window edge.

t27c parse and typecheck clean (0 errors, 0 warnings); test-report 11/11 pass,
0 FAIL, no BLOCKED; coverage 1/1 functions. Scratch kept under /tmp.

Closes #7945
A pull request must add exactly one docs/now entry and a bee has no way
to know that: its brief names a boundary file and acceptance criteria,
and docs/now/ is neither. The publisher adds it rather than failing the
gate.

Closes #7945

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-08 23:54:03 UTC

Summary

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

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

Seal Status

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

This was referenced Oct 9, 2026
This was referenced Oct 9, 2026
@gHashTag
gHashTag merged commit cfe753c into master Oct 9, 2026
28 of 29 checks passed
@gHashTag
gHashTag deleted the queen-7945 branch October 26, 2026 06:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants