Skip to main content
Release candidatev0.58.5.0Production reflects releases only7dc8b7e5b121

PTO ISA / FORMAL SPECIFICATION

Architecture

One released architecture, read in order through Scalar, Block, and direct Tile instruction surfaces.

Start with the whole

One architecture, three instruction surfaces

PTO defines one architecture-visible contract. Its released source tree separates shared architecture state and rules from the Scalar, Block, and Tile instruction surfaces that use them.

Read the architecture owner first. Use the three surface chapters below as navigation, then open each unit's embedded source and evidence when implementation detail is needed.

Read the architecture workbench →
72
architecture units
634
released mnemonics
3707
executable AVS identities

Read the instruction surfaces

Scalar, then Block, then Tile

466 mnemonics · 485 ASL units

Scalar

Begin with the scalar instruction surface and its architectural operands, control flow, memory access, arithmetic, and system forms.

AGU · ALU · AMO · BRU · FSU · SYS
Browse Scalar units

61 mnemonics · 120 ASL units

Block

Continue with the explicit Block and command surface: lifecycle, execution descriptors, operands, attributes, and control state.

Lifecycle · Execution · Attributes · Operands · Encoding
Browse Block units

107 mnemonics · 173 ASL units

Tile

Then read the direct Tile operation surface, organized by computation, reduction, layout, matrix, and data-movement families.

Elementwise · Reduce/expand · Layout · Matrix · Memory/data movement
Browse Tile units

Then inspect the records

ADR explains why. NDF points to what is current.

ADR102

Architecture Decision Records

ADRs preserve reviewed decisions, rationale, status, and affected owners. They are history—not a replacement for current ASL/NDF meaning.

Read the ADR process →
NDF1019

Normative Design Framework clauses

NDF identities are embedded in their owning ASL sources. The explorer connects clauses to owners, tests, and ADR history without inventing new semantics.

Explore NDF relationships →

Trace the current contract

NDF relationships at a glance

This complete build-generated overview connects ADR history, current NDF clauses, owning ASL units, and executable AVS evidence. Open the explorer to inspect exact identities and sources.

Open the interactive NDF explorer
Complete NDF relationship overview with 5678 nodes and 13675 relationships
ADR
102
NDF
1019
ASL
850
AVS
3707
Relationships
13675

Move from reading to implementation

Open an exact unit, clause, test, or decision

Search after choosing the architectural context, or jump directly to a stable released identity.

Try ADD, BSTART.TEPL, TLOAD, an NDF identity, or an exact source path.