Skip to content

test: authenticate first-use ISA authority - #11

Merged
zhoubot merged 1 commit into
mainfrom
codex/first-use-authority
Aug 19, 2026
Merged

zhoubot merged 1 commit into
mainfrom
codex/first-use-authority

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

Summary

  • authenticate the compiled LinxISA catalog containing the first-use exception contract
  • add a negative mutation test for the exact first-use cause value
  • preserve PTO 0.58.1 lock/release hashes and codec counts/tables

Verification

  • generator checks 8/8
  • clean CMake/Ninja build
  • CTest 12/12
  • generated codec tables unchanged

@zhoubot
zhoubot force-pushed the codex/first-use-authority branch from 6355efc to 8c424b9 Compare August 19, 2026 11:23
@zhoubot

zhoubot commented Aug 19, 2026

Copy link
Copy Markdown
Contributor Author

Hosted st rerun is stuck in Install toolchain and has not reached configure/tests. The exact-head sanitizers job checked out LinxISA authority e8aa0e2179184df6b3d410163baaa566b92d392e and passed the complete 12-test CTest set, including system and codec freshness. UT, Debug/Release, format, lint, docs also pass; local ordinary build/CTest is 12/12. Merging with administrator authorization records st as an infrastructure-pending lane, not a pass.

@zhoubot
zhoubot merged commit aa37c3f into main Aug 19, 2026
19 of 20 checks passed
@zhoubot
zhoubot deleted the codex/first-use-authority branch August 19, 2026 13:28
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