Skip to content

isa: regenerate codec for PTO 0.58.5 - #19

Merged
zhoubot merged 1 commit into
mainfrom
codex/pto-0585-codec
Sep 5, 2026
Merged

zhoubot merged 1 commit into
mainfrom
codex/pto-0585-codec

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Closes #18.

Summary

  • pins codec generation to the exact PTO 0.58.5 authority from LinxISA PR #191
  • regenerates 754 forms / 2648 fields / 3380 pieces / 815 constraints
  • updates B.IOS decode to the accepted six-bit SharedTileID encoding
  • preserves byte-level authority authentication and stale-output rejection

Verification

  • generator freshness check: passed
  • authority tests: 14/14 passed
  • full CTest: 12/12 passed

Integration chain

Draft only; do not merge before the producer chain is accepted.

@zhoubot

zhoubot commented Aug 31, 2026

Copy link
Copy Markdown
Contributor Author

Integration chain: PTO-ISA/pto-spec#188 -> PTO-ISA/asl-model#2 -> LinxISA/SuperScalarModel#428 -> LinxISA/linx-isa#191. This PR is the separate queue-model codec projection needed for the LinxISA 0.58.5 gate; it does not add a functional-model implementation or architecture decision.

@zhoubot
zhoubot merged commit e9f14d9 into main Sep 5, 2026
10 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.

[ISA] Regenerate Minst codec against PTO 0.58.5 authority

1 participant