Skip to main content

PTO-ARCH-DATA-TYPES-PACKED

PTO-ARCH-DATA-TYPES-PACKED

ASL pseudocode

The complete ASL owner is shown directly below.

// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-PACKED","surface":"arch","classification":["data-types","packed"],"depends_on":["PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES"]}// This unit owns the named architecture concept; executable state is defined by its dependencies.

Architecture behavior

purpose scope

Purpose and scope

This unit is the current architecture identity for packed data types and depends on the tile data-type namespace.

It exists as a named ownership point so packed behavior can be referenced without placing an alternate encoding or execution contract in prose.

concepts state

Concepts and visible state

  • The unit contains no independent ASL type, state, or executable helper beyond its PTO-UNIT identity.
  • Its dependency, PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES, owns the assigned packed tile members such as S4X2, U4X2, E2M1X2, E1M2X2, and HiF4X2.
  • Packing layout, lane interpretation, memory movement, and arithmetic remain in the current owners that define those mechanisms.
rules interactions

Rules and interactions

Do not infer a universal lane order or carrier width from the word packed; consult the selected TileDataType and its format or execution owner.

The named concept creates no architectural state and performs no transition.

A packed mnemonic remains governed by its own decode, legality, movement, and result contracts.

boundaries

Architectural boundaries

This page cannot supply missing packed semantics because the owner intentionally contains none; a new rule would require a change to an owning ASL/NDF unit.

Historical ADR material can explain why ownership exists, but current meaning must be read from the reachable ASL owners.

example usage

illustrative reading example

When encountering TileDataType_U4X2, use the tile-data-type owner for its assigned identity and then follow the consuming instruction for lane and memory behavior.

The absence of a helper here is therefore a navigation boundary, not permission to choose an implementation-defined packed representation.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

No NDF clause is attached to this unit.

Evidence index

7 matching entries

Executable evidence1
  • PTO-ARCH-DATA-TYPES-PACKED compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-PACKED
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-PACKED-STATIC-001
    Path
    tests/asl/arch/data-types/packed/arch-static-packed-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    831ed265302066cb917e49fb855527781b1ec7517fcf5b7ab37384520e0d3932
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-PACKED-STATIC-001
Commit-scoped evidence5
  • spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-TRACEABILITY
    Path
    spec/evidence/release-traceability-readiness.json
    Kind / role
    ASL/NDF/documentation/AVS traceability
    SHA-256
    c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
  • spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
    Path
    spec/evidence/instruction-contract-closure.json
    Kind / role
    mnemonic and encoding contract closure
    SHA-256
    3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
    Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
  • spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-ARCHITECTURE-READINESS
    Path
    spec/evidence/architecture-readiness.json
    Kind / role
    architecture maturity and blockers
    SHA-256
    4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
    Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
  • spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-GATE-READINESS
    Path
    spec/evidence/release-gate-readiness.json
    Kind / role
    exact-head gate readiness
    SHA-256
    a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
  • spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-MANIFEST
    Path
    spec/release-manifest.json
    Kind / role
    release content and encoding fingerprints
    SHA-256
    1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST
Decision history1
  • TLSU four-bit memory packing and totality · accepted
    1. decision recordADR
    2. case0033

    Decision record

    Loading ADR-0033…

    Sources and references
    Complete stable ID
    ADR-0033
    Path
    docs/status/decisions/0033-tlsu-four-bit-memory-packing.md
    Affected units
    PTO-ARCH-DATA-TYPES-PACKED, PTO-ARCH-STATE-TILE-DESCRIPTOR, PTO-BLOCK-BSTART-GMOV, PTO-BLOCK-BSTART-MGATHER, PTO-BLOCK-BSTART-MGATHER-CAS, PTO-BLOCK-BSTART-MGATHER-MASK, PTO-BLOCK-BSTART-MSCATTER, PTO-BLOCK-BSTART-MSCATTER-MASK, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TLOAD, PTO-TILE-TMOV, PTO-TILE-TPREFETCH, PTO-TILE-TSTORE
    Affected NDF
    PTO-BSTART-GMOV-COLLECTIVE-001, PTO-BSTART-MGATHER-CAS-SCHEMA-001, PTO-BSTART-MGATHER-MASK-SCHEMA-001, PTO-BSTART-MGATHER-SCHEMA-001, PTO-BSTART-MSCATTER-MASK-SCHEMA-001, PTO-BSTART-MSCATTER-SCHEMA-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-GMOV-CORE4-PEER-001, PTO-MGATHER-BYTE-DISPLACEMENT-001, PTO-MGATHER-CAS-ATOMIC-001, PTO-MGATHER-CAS-PUBLICATION-001, PTO-MGATHER-MASK-PREDICATE-001, PTO-MGATHER-MASK-PUBLICATION-001, PTO-MGATHER-MASK-TYPE-002, PTO-MSCATTER-BYTE-DISPLACEMENT-001, PTO-MSCATTER-DUPLICATE-ORDER-001, PTO-MSCATTER-MASK-DUPLICATE-001, PTO-MSCATTER-MASK-PREDICATE-001, PTO-MSCATTER-MASK-TYPE-002, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TMOV-CONTRACT-001, PTO-TPREFETCH-FOOTPRINT-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001
    SHA-256
    6fd4f3016f503498cf6a1068907f48998e39f3c29b034d7ddfc486cd6494104b
    Open exact decision source ↗ for ADR-0033

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-DATA-TYPES-PACKED
surface
arch
classification
[
  "data-types",
  "packed"
]
depends_on
[
  "PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES"
]
Open generated traceability record
{
  "classification": [
    "data-types",
    "packed"
  ],
  "documentation": "docs/arch/data-types/packed.md",
  "id": "PTO-ARCH-DATA-TYPES-PACKED",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0033"
  ],
  "semantic_tests": [],
  "source": "asl/arch/data-types/packed.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-DATA-TYPES-PACKED-STATIC-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners
Release
0.58.5 · Release candidate
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL
asl/arch/data-types/packed.asl
ASL SHA-256
4ec9fb1eb2d1b14dcba562a5dc1462724c407fa67e5887ac99eb919887777d42
Generated documentation
docs/arch/data-types/packed.md · embedded in this page
Documentation SHA-256
48f84c32db8eb0f49f6209b0017190ebb13f7f3d992f84ebfc53202cd13db435

Exact owners