PTO ISA v0.58
PTO ISA v0.58
This is the in-place reissue of the PTO ISA 0.58 hard-break contract from the exact, reviewed four-surface ASL source architecture.
- Publishes 474 Scalar forms, 99 Block command forms, and 109 Tile operations.
- Keeps ASL as the single normative source, with mirrored generated documentation and independently runnable AVS test points.
- Organizes the normative source under exactly
asl/arch,asl/block,asl/scalar, andasl/tile; active docs and tests mirror those categories. - Keeps the PTO 0.58 Mode/Function encoding ABI unchanged: 87 operations use the TEPL encoding carrier, 10 use TLSU, and 12 use CUBE.
- Classifies semantic execution by hardware implementation as VEC (35), SFU (52), TLSU (10), and CUBE (12). VEC is element-wise; SFU owns complex operations.
BSTART.VECandBSTART.SFUare assembly aliases of the unchangedBSTART.TEPLencoding carrier. - Classifies Tile operations as elementwise-tile-tile (25), tile-scalar-and-immediate (15), reduce-and-expand (28), memory-and-data-movement (9), matrix-and-matrix-vector (12), layout-and-rearrangement (7), and irregular-and-complex (13).
- Defines absolute core-private Shared registers S0–S255, shared by the four PEs in a core, with atomic descriptor-and-payload read-modify-write semantics.
- Defines the optional 4-bit B.IOT PE predicate mask; multiple bits are allowed and zero is a NOP.
- Retains BSTART.MGATHER.MASK, BSTART.MSCATTER.MASK, BSTART.MGATHER.CAS, and TFMA.
- Reserves the five Linx-only vector encodings so future PTO additions cannot conflict.
- Permanently removes B.IOD and BSTART.PAR as active names; B.IOS owns the former B.IOD encoding slot, while the former BSTART.PAR slot is not reserved.
Release verification:
- Exact release commit:
3b8cd26c600f0939a143422f175a19cc3ed2999b - Exact release tree:
ae99dc7251737aaf2ee64a7752f5849559b75611 - Release manifest version:
0.58.0 - Encoding ABI:
pto-isa-0.58.0-mode-function-v1 - Release content hash:
cfe4e4e562e5149c82ac3bddef85b5a84b2f695de3827d0de0b2f5e010581351 - Encoding projection:
0cad2272ada8f53fc8354e22568099fe8d6bd4b7832c837260cd370b0fc76ffa - Binary closure: 573 encoded forms, fingerprint
a46ed057b3bce69ccd19e9085a2ed11f2a47d8d57c79e9190f90232aa922872c - Traceability: 788 ASL units / 788 documentation pages, 651 executable requirements, zero uncovered
- Exact-head release suite: 906/906 independent AVS points passed
- Hosted exact-head verification: run 31325502380
Published evidence includes the exact release manifest, aggregate AVS matrix, aggregate AVS coverage, and matrix checksum.