Skip to content

Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 - #6801

Open
gHashTag wants to merge 2 commits into
masterfrom
queen-5614
Open

gHashTag wants to merge 2 commits into
masterfrom
queen-5614

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 6, 2026

Copy link
Copy Markdown
Owner

Closes #5614

Written by a bee on queen-5614 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.

4 files changed, 21 insertions(+), 4 deletions(-)

🤖 Generated with Claude Code

Trinity Bee and others added 2 commits October 6, 2026 02:33
Add FIXED_UPSTREAM section to both tri27_machine.t27 and tri27_bytecode.t27
documenting the six findings fixed in e7919fdc (2026-10-02):
- CALL return address (#1165)
- loader packing and pc (#1166)
- header agreement (#1167)
- CONSTANTS layout (#1168)
- modulus labels (#1169)
- SACR immediate (#1170)

PINNED_REVISION, FINDINGS, and FINDING_COUNT remain unchanged as required.
Run t27c parse and t27c typecheck on both specs, then seal both.

Closes #5614
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 #5614

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

github-actions Bot commented Oct 6, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-06 12:40:03 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=3c78f3c7ffb7 != 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 6, 2026
This was referenced Oct 6, 2026

This branch has not been deployed

No deployments
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.

Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250

2 participants