Repository navigation

Upgrade the Linx ISA projection to PTO 0.57.1 - #161

Merged

zhoubot merged 22 commits into

mainfrom

codex/linx-isa-0.57.1

Aug 2, 2026

Commits on Jul 30, 2026
- Bind LinxISA v0.57 to the normative PTO release
  LinxISA Automation
  committed
  4f8a4f2
- Keep generated manuals aligned with the PTO ABI
  LinxISA Automation
  committed
  a440edc
- Remove stale pre-0.57.1 manual contracts
  LinxISA Automation
  committed
  e1a702d
- Make the 0.57.1 manual render warning-free
  LinxISA Automation
  committed
  c5067fa
- Validate Sail status against the active ISA release
  LinxISA Automation
  committed
  42a0eb8
- Keep the Linx projection locked to the complete PTO identity wire format
  LinxISA Automation
  committed
  fdd29ec
- Make the 0.57.1 promotion plan name one ELF wire contract
  LinxISA Automation
  committed
  56b6279
- Make the executable catalog honor the frozen PTO closure
  LinxISA Automation
  committed
  52ac3e0
- Keep the Linx projection faithful to the frozen PTO selector contract
  LinxISA Automation
  committed
  2a674de
- Bind numeric conformance to the ISA release identity
  LinxISA Automation
  committed
  3e95122
- Make the public examples reproducible from the 0.57.1 toolchain
  LinxISA Automation
  committed
  4d416aa
- Keep the strict manual closed over generated 0.57.1 pages
  LinxISA Automation
  committed
  15ceaf0
- Bind the final leaf candidates to reproducible compiler closure
  LinxISA Automation
  committed
  4678ce5
- Make the executable ISA model reflect the frozen PTO contract
  LinxISA Automation
  committed
  2439155
- Keep AVS on the canonical matrix-multiply surface
  LinxISA Automation
  committed
  17cce46
- Pin the reviewed Tile execution candidates
  LinxISA Automation
  committed
  c1964f9
- Pin the end-to-end Tile lifetime corrections
  LinxISA Automation
  committed
  646b932
- Keep executable coverage bound to the final QEMU semantics
  LinxISA Automation
  committed
  4134e98
- Make clean Linux outputs authoritative in end-to-end gates
  LinxISA Automation
  committed
  e177a6d
- Keep documentation freshness bound to final ISA evidence
  LinxISA Automation
  committed
  2ff2b21
Commits on Aug 2, 2026
- Converge superproject on PTO ISA 0.57.1
  LinxISA Automation
  committed
  7454a47
- Refresh translation freshness metadata
  LinxISA Automation
  committed
  96860ff

Navigation Menu

Repository navigation

Upgrade the Linx ISA projection to PTO 0.57.1 - #161

Upgrade the Linx ISA projection to PTO 0.57.1#161
zhoubot merged 22 commits into
mainfrom
codex/linx-isa-0.57.1

Commits on Jul 30, 2026

Bind LinxISA v0.57 to the normative PTO release

Keep generated manuals aligned with the PTO ABI

Remove stale pre-0.57.1 manual contracts

Make the 0.57.1 manual render warning-free

Validate Sail status against the active ISA release

Keep the Linx projection locked to the complete PTO identity wire format

Make the 0.57.1 promotion plan name one ELF wire contract

Make the executable catalog honor the frozen PTO closure

Keep the Linx projection faithful to the frozen PTO selector contract

Bind numeric conformance to the ISA release identity

Make the public examples reproducible from the 0.57.1 toolchain

Keep the strict manual closed over generated 0.57.1 pages

Bind the final leaf candidates to reproducible compiler closure

Make the executable ISA model reflect the frozen PTO contract

Keep AVS on the canonical matrix-multiply surface

Pin the reviewed Tile execution candidates

Pin the end-to-end Tile lifetime corrections

Keep executable coverage bound to the final QEMU semantics

Make clean Linux outputs authoritative in end-to-end gates

Keep documentation freshness bound to final ISA evidence

Commits on Aug 2, 2026

Converge superproject on PTO ISA 0.57.1

Refresh translation freshness metadata