PTO ISA publication 0.58.4.1

PTO ISA publication 0.58.4.1

This publication refreshes the bilingual PTO specification portal while retaining architecture version 0.58.4 and encoding ABI pto-isa-0.58.4-mode-function-v1.

• Normative meaning remains owned by ASL/NDF sources.
• English and Simplified Chinese reader guides cover all 708 target architecture and mnemonic pages.
• Encoding diagrams are generated from JSON and rendered with embedded WaveDrom.
• The exact release commit 5114fb699fa510abd9a3c42bcfa5c592cd724961 passed the authoritative 3717-point ASL release matrix, fail-closed evidence aggregation, cross-browser site checks, and Lighthouse budgets.
• The content-addressed site tree is a8b0e813c06767cc696028e72a632996038f1ac3cec48b0e3f4cd70f1a2d35ba.

The publication manifest, release manifest, and release evidence bundle are attached. The public site is deployed atomically from the immutable workflow artifact whose digest and content tree are verified by the pto-isa.github.io Pages controller.

PTO ISA v0.58.4

Release 0.58.4

Cross-cutting

• ADR-0097: Local and Shared capacity pools with cooperative M-sharding
• ADR-0098: B.SUBVIEW and B.ASSEMBLE range-modifier association
• ADR-0099: PTO ISA 0.58.3 to 0.58.4 compatibility boundary
• ADR-0100: Cooperative Group-M Distribution and Inactive PE Semantics
• ADR-0101: Matrix Scale Cell Layouts, HiF4 Scale Words, and CScale

PTO ISA v0.58.3

Release 0.58.3

Architecture

• ADR-0068: Extension first-use is a target-profile hook

Cross-cutting

• ADR-0064: B.FPATR Complete-Bundle Matrix PostProcess
• ADR-0070: GM/Local CUBE Layout Transport
• ADR-0071: Local CUBE Matrix Operand Contract
• ADR-0072: Cooperative Shared CUBE Inputs and Transpose
• ADR-0073: CUBE Accumulator and Atomic Output Contract
• ADR-0074: TLOAD/TSTORE GM Byte Row Stride
• ADR-0096: Re-encode B.IOT and B.IOS size and PE mode fields

Tile

• ADR-0069: Local CUBE CELL State and Geometry

PTO ISA v0.58.2

PTO ISA v0.58.2 closes the audited decision-to-ASL gaps and publishes the exact merged specification at 652e9b5bbee2ffea8917f9caa8c6e87be99fe05c.

Highlights:

• bit-exact B.FPATR matrix post-processing and TCVT FP16/BF16/FP32 to E8M0 profile semantics
• corrected Tile dtype-family legality, regular TLSU assigned types, integer IndexTile domains, Shared state behavior, and precise memory preflight
• exact numeric-format descriptors and finite decompositions
• refreshed ASL-generated documentation, independent AVS points, traceability, and release evidence

Exact-head release verification succeeded across identity, lightweight contracts, strict normative model, all 8 ASL pages, fail-closed aggregation, and final validation:
https://github.com/PTO-ISA/pto-spec/actions/runs/32211395779

Encoding ABI remains pto-isa-0.58.2-mode-function-v1 with release encoding hash 9738fbfb67c90b90dacdae926c6ee206a2d517691ae27e5e5fc019702cc0e447.

PTO ISA v0.58.1

PTO ISA v0.58.1

This release republishes the PTO ISA 0.58 hard-break contract from the exact reviewed ASL source after closing the mnemonic-mirrored AVS matrix and release orchestration.

• ASL remains the single normative source, mirrored into generated documentation and independently runnable AVS points.
• Publishes 474 Scalar forms, 74 Block command forms, 109 Tile operations, and 32 Linx extension-encoding reservations.
• Keeps the Mode/Function carrier ABI stable while distinguishing VEC, SFU, TLSU, and CUBE execution classes.
• Preserves the accepted B.IOS, B.IOT, BSTART.CALL/BSTART.ICALL, TLOAD/TSTORE stride, TFMA, CUBE, shared-tile, datatype, and reserved-space contracts.
• Runs the ASL validation matrix in eight fail-closed parallel pages and aggregates exact-head evidence before release validation.

Release verification:

• Exact release commit: c381465b2b8e457e162a4246ee58bb9a2c5b49fd
• Exact reviewed tree: 463a19db3d6ba70022f18bdbca0d4b2c6ed586e4
• Release manifest version: 0.58.1
• Encoding ABI: pto-isa-0.58.1-mode-function-v1
• Release content hash: 693e8c0734b48598ac35ffe7fe6f2a01037788fba30ebe026895808d23139f2c
• Encoding projection: 89b872d6eaf0252200bc9349d49b9346e2a69d894cdcc2dcd0fd71911c1e0b8c
• Exact-head AVS matrix: 3193/3193 independent points passed
• Hosted exact-head verification: run 31943256382

Published evidence includes the exact release manifest, aggregate AVS matrix, aggregate AVS coverage, and matrix checksum.

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, and asl/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.VEC and BSTART.SFU are assembly aliases of the unchanged BSTART.TEPL encoding 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.