Skip to content

test: authenticate LinxISA 0.58.1 model evidence - #10

Merged
zhoubot merged 2 commits into
mainfrom
codex/v0581-release-evidence
Aug 16, 2026
Merged

zhoubot merged 2 commits into
mainfrom
codex/v0581-release-evidence

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 16, 2026

Copy link
Copy Markdown
Contributor

Summary

  • authenticate complete LinxISA 0.58.1 codec authority and hosted regeneration
  • require canonical release-strict artifacts, fresh result memory, and exact consumer/golden pairwise proof
  • bind stored evidence to canonical suite, source, QEMU, compiler, model, ELF, manifest, and result hashes

Verification

  • independent review: PASS (0 Critical, 0 Important)
  • model CTest: 12/12
  • root strict units: 50/50
  • canonical release-strict suite: 7/7
  • codec freshness: 765 forms / 2661 fields / 3401 pieces / 780 constraints

The existing linxisa-v0.58.1 tag is immutable and is not moved.

@zhoubot
zhoubot merged commit 7537c19 into main Aug 16, 2026
10 checks passed
@zhoubot
zhoubot deleted the codex/v0581-release-evidence branch August 17, 2026 05:17
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.

1 participant