Skip to content

chore(release): t27c 0.5.1 -- device DNA is named on every die (Closes #7762) - #7763

Merged
dmitrii-f-t27 merged 1 commit into
masterfrom
release/t27c-0.5.1
Oct 8, 2026
Merged

dmitrii-f-t27 merged 1 commit into
masterfrom
release/t27c-0.5.1

Conversation

@dmitrii-f-t27

@dmitrii-f-t27 dmitrii-f-t27 commented Oct 8, 2026 •

Copy link
Copy Markdown
Collaborator

Closes #7762
Refs #7669, #7758, #7761

t27c 0.5.0 refuses the DNA of every die whose FUSE_DNA tail is not die A's 0x4F. On die B, t27c silicon passed but wrote device_dna: null (#7759). The fix is #7761. R3-3 operators build from the tag, so the fix only reaches their receipts through a new tag.

This PR bumps the three files that release.yml's VERSION TRUTH gate reads for a t27c-v* tag, all in one commit, as #7603 did for 0.5.0:

  • bootstrap/Cargo.toml 0.5.0 → 0.5.1
  • .zenodo.json 0.5.0 → 0.5.1
  • Cargo.lock t27c entry; cargo metadata --locked is consistent

No code change. Patch, not minor: it relaxes a rule in the verified specs, adds no subcommand, and leaves the backends untouched. ZENODO_DEPOSITION_T27C stays unset, so no DOI is minted.

Order: #7761 and this PR merge, then the tag t27c-v0.5.1 goes on that master commit. After it, the ternary_link seal is re-saved by the tag build (as #7681 did) and die B is rerun for #7759.

🤖 Generated with Claude Code

Refs #7669, #7758, #7761

t27c 0.5.0 refuses the DNA of every die whose FUSE_DNA tail is not die A's `0x4F`. On die B, `t27c silicon` passed but wrote `device_dna: null` (#7759). The fix is #7761. R3-3 operators build from the tag, so the fix only reaches their receipts through a new tag.

This PR bumps the three files that release.yml's VERSION TRUTH gate reads for a `t27c-v*` tag, all in one commit, as #7603 did for 0.5.0:
- `bootstrap/Cargo.toml` 0.5.0 → 0.5.1
- `.zenodo.json` 0.5.0 → 0.5.1
- `Cargo.lock` t27c entry; `cargo metadata --locked` is consistent

No code change. Patch, not minor: it relaxes a rule in the verified specs, adds no subcommand, and leaves the backends untouched. `ZENODO_DEPOSITION_T27C` stays unset, so no DOI is minted.

Order: #7761 and this PR merge, then the tag `t27c-v0.5.1` goes on that master commit. After it, the ternary_link seal is re-saved by the tag build (as #7681 did) and die B is rerun for #7759.

🤖 Generated with [Claude Code](https://claude.com/claude-code)
EOF2
chore(release): t27c 0.5.1 -- device DNA is named on every die (Closes #7762)

t27c 0.5.0 refuses the DNA of any die whose FUSE_DNA tail is not die
A's 0x4F (#7758, fixed by #7761). R3-3 receipts come from the tag build,
so the fix needs a tag. Both manifests the release VERSION TRUTH gate
reads for t27c-v* (bootstrap/Cargo.toml, .zenodo.json) and the t27c
entry in Cargo.lock move together (cargo metadata --locked: consistent).

Co-Authored-By: Claude Opus 5.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 11:17:52 UTC

Summary

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

These columns do not partition: 4 + 44 + 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)=39fa3908f9fd != 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).

@dmitrii-f-t27

Copy link
Copy Markdown
Collaborator Author

t27b-native-ratchet is red here exactly as on master, so it is not caused by this PR. The ratchet line on this run (37768930215): UNEXPECTED FAILURE 0, UNEXPECTED PASS 2, UNLISTED 29, STALE 1, OVER CAP 0, BAD REASON 0, MOVED 4. On master d42df2b (run 37759711631) it is the same line with the same three entries: STALE static_slice_literal.t27, UNEXPECTED PASS weight_bram.t27 and fuzz.t27. The ledger needs a refresh on master; that is out of scope here. All other checks pass, including the required validate, check-linked-issue, parse-ratchet and own-language.

@dmitrii-f-t27
dmitrii-f-t27 merged commit 579bc55 into master Oct 8, 2026
40 of 41 checks passed
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.

release: t27c 0.5.1 -- device DNA is named on every die, not only on die A

1 participant