Skip to main content
NDF · contract · accepted

PTO-CUBE-CELL-STATE-001

The body below comes directly from the canonical NDF owner.

1 owners

NDF clauses

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

    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryCUBE-CELL-STATE
    4. case001

    Normative contract

    contract · L1 · accepted

    Local CUBE layouts MUST use the assigned 128-byte width-parametric CELL mappings, derive storage independently of valid M/N/K, and reject unsupported types or insufficient per-PE capacity before effects.

    Sources and references
    Complete stable ID
    PTO-CUBE-CELL-STATE-001
    Source path
    asl/tile/model/shape/cube-cell.asl
    Affected units
    PTO-TILE-MODEL-SHAPE-CUBE-CELL
    Source SHA-256
    44b94b34ae8927036a545aff963a206c746c9ec6b33f6d25093517b8023e462e
    Clause SHA-256
    639d3ed572b6d565f22b985657749a04cb3bd77e16b540ab5e4b57b3d210218b
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

21 matching entries

Executable evidence13
  • Release and architectural reset clear every persistent CUBE descriptor field
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-RESET
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-CUBE-RESET-001
    Path
    tests/asl/arch/profile/reset/arch-state-cube-reset-001.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    a configured CUBE Tile returns to the ordinary unallocated zero-geometry state after release and after reset
    SHA-256
    d95eb48711555ae060a0aca82c05bd8d295cb168402938142e51bbfbe4e26602
    Open exact source ↗ for PTO-AVS-ARCH-CUBE-RESET-001
  • CUBE allocation publishes persistent aligned descriptor geometry without defining payload
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-ALLOCATE-001
    Path
    tests/asl/tile/model/state/allocation/tile-state-cube-allocate-001.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    a 13 by 19 FP16 N8 Tile records 16 by 24 storage six CELLs and zero defined valid elements
    SHA-256
    98b1a87c3736c35aec627bd9249037ac3ebdd39f43949bd6ece2634e71c95f28
    Open exact source ↗ for PTO-AVS-TILE-CUBE-ALLOCATE-001
  • CUBE CELL descriptor legality rejects unsupported dimensions types and capacity before effects
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryFAULT
    4. case005
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-CELL-CAPACITY-005
    Path
    tests/asl/tile/model/shape/cube-cell/tile-fault-cube-cell-capacity-005.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CELL-STATE-001, PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    Exact capacity and HiF4X2 pass while one-byte-short, zero-dimension, primary-M row overflow, and b64 tuples reject
    SHA-256
    a518c7987c776063ec7a778c9b451decc8b62da352c8f7cc22999ff5dc71b870
    Open exact source ↗ for PTO-AVS-TILE-CUBE-CELL-CAPACITY-005
  • CUBE M16 b4 uses the assigned two-word interleave
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-CELL-M16-B4-002
    Path
    tests/asl/tile/model/shape/cube-cell/tile-exec-cube-cell-m16-b4-002.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    logical columns map to physical nibble positions 0 1 2 3 8 9 10 11 4 5 6 7 12 13 14 15
    SHA-256
    8ff9b2bd9fe504b3ebbe0edecac34d01baaedc67f2db97dd98c9437ee005d984
    Open exact source ↗ for PTO-AVS-TILE-CUBE-CELL-M16-B4-002
  • CUBE N8 multi-CELL storage uses K-fast and N-slow repeat order
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryEXECUTION
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-CELL-ORDER-003
    Path
    tests/asl/tile/model/shape/cube-cell/tile-exec-cube-cell-order-003.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    a 13 by 19 FP16 B shape has six CELLs and distinguishes n0k1 from n1k0 payload positions
    SHA-256
    d936cfc06b2d37539e9b4434ff8ee3902db9a99c871ab33c2dc509817e7c5547
    Open exact source ↗ for PTO-AVS-TILE-CUBE-CELL-ORDER-003
  • CUBE valid dimensions may be non-powers-of-two and derive aligned storage tails
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryBOUNDARY
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-CELL-TAIL-004
    Path
    tests/asl/tile/model/shape/cube-cell/tile-bound-cube-cell-tail-004.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    N8 and M layouts round physical storage while retaining valid dimensions 3 5 13 and 19
    SHA-256
    a100cd72ee311876e532651ec04126d673081178b8f25e5fb5a97d19e3adc8ee
    Open exact source ↗ for PTO-AVS-TILE-CUBE-CELL-TAIL-004
  • CUBE CELL geometry is exactly 128 bytes for each assigned width and layout
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-CELL-WIDTH-001
    Path
    tests/asl/tile/model/shape/cube-cell/tile-bound-cube-cell-width-001.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-CELL-STATE-001, PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    M16 M32 and N8 return assigned b32 b16 b8 and packed-b4 dimensions including HiF4X2, while b64 rejects
    SHA-256
    82cd00ec78a0d77487bedbb1c5818f0ae378f029f8a8c16d410c02309468bd9f
    Open exact source ↗ for PTO-AVS-TILE-CUBE-CELL-WIDTH-001
  • CUBE descriptors are legal state but remain unavailable to generic Tile consumers
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-GENERIC-001
    Path
    tests/asl/tile/model/legality/descriptor-shape/tile-fault-cube-generic-001.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    a dense-looking M16 FP16 descriptor passes CUBE legality while generic indexing and descriptor legality reject it
    SHA-256
    190d4e0ef1796f429474685276443fe897968fe12507d509c5ce2b98409e76e4
    Open exact source ↗ for PTO-AVS-TILE-CUBE-GENERIC-001
  • Persistent CUBE layouts are legal only in Local Matrix storage
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
    3. categoryFAULT
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-LOCATION-003
    Path
    tests/asl/tile/model/state/allocation/tile-fault-cube-location-003.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    Vector configuration rejects without allocation and a location-mutated descriptor fails CUBE legality
    SHA-256
    06248ca5f81661c842628ada347c465a4b869d849dbfffbfbd8a49cab84a0220
    Open exact source ↗ for PTO-AVS-TILE-CUBE-LOCATION-003
  • CUBE physical positions outside the valid region receive PadValue without becoming valid elements
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DEFINEDNESS-ELEMENTS
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-PADDING-001
    Path
    tests/asl/tile/model/definedness/elements/tile-state-cube-padding-001.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    K-tail N-tail and final physical positions contain FP16 Max and are physically defined while valid elements remain undefined
    SHA-256
    711adcf263934fb9acae9141b472b637c6c8a64e219ff0463e66f1ae04b3d8d6
    Open exact source ↗ for PTO-AVS-TILE-CUBE-PADDING-001
  • Rejected CUBE reconfiguration preserves the complete existing Tile and capacity accounting
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
    3. categoryFAULT
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-RECONFIGURE-002
    Path
    tests/asl/tile/model/state/allocation/tile-fault-cube-reconfigure-002.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    an undersized N8 replacement returns false without changing descriptor payload definedness mask or capacity
    SHA-256
    999f9b2a27e09baa81fb27ec6934947e9987f32880125c88d818fa06fb07d5ac
    Open exact source ↗ for PTO-AVS-TILE-CUBE-RECONFIGURE-002
  • Shared Tile schema preflight rejects persistent CUBE layouts before allocation or effects
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-SHARED-REGISTERS
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-CUBE-SHARED-REJECT-001
    Path
    tests/asl/tile/model/state/shared-registers/tile-fault-cube-shared-001.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CELL-STATE-001
    Pass condition
    dense-looking M16 descriptor update and unallocated Shared read schema both reject while Shared capacity remains zero
    SHA-256
    3086ae6ab27e2ef9bccfe577e38ff89c5fcff7660d5e699b492750eee7f61d00
    Open exact source ↗ for PTO-AVS-TILE-CUBE-SHARED-REJECT-001
  • PTO-TILE-MODEL-SHAPE-CUBE-CELL compiles as an independent normative unit
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-SHAPE-CUBE-CELL
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-SHAPE-CUBE-CELL-STATIC-001
    Path
    tests/asl/tile/model/shape/cube-cell/tile-static-cube-cell-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-CELL-STATE-001, PTO-CUBE-MATRIX-SCALE-CELL-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    91678d37b6943d8474a66e78e6c9cb33d806396b4fac98cea48b06da8326f75c
    Open exact source ↗ for PTO-AVS-TILE-MODEL-SHAPE-CUBE-CELL-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 history3
  • Local CUBE CELL State and Geometry · accepted
    1. decision recordADR
    2. case0069

    Decision record

    Loading ADR-0069…

    Sources and references
    Complete stable ID
    ADR-0069
    Path
    docs/status/decisions/0069-local-cube-cell-state-and-geometry.md
    Affected units
    PTO-TILE-MODEL-SHAPE-CUBE-CELL
    Affected NDF
    PTO-CUBE-CELL-STATE-001
    SHA-256
    14d77ad1d80ef27bcd9c604debe6a6e2984c2ddbb3d1fe760296ec33eea8f7a6
    Open exact decision source ↗ for ADR-0069
  • GM/Local CUBE Layout Transport · accepted
    1. decision recordADR
    2. case0070

    Decision record

    Loading ADR-0070…

    Sources and references
    Complete stable ID
    ADR-0070
    Path
    docs/status/decisions/0070-gm-local-cube-layout-transport.md
    Affected units
    PTO-BLOCK-B-DATR, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TSTORE, PTO-TILE-MODEL-SHAPE-CUBE-CELL, PTO-TILE-TLOAD, PTO-TILE-TSTORE
    Affected NDF
    PTO-B-DATR-FIELDS-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-CUBE-CELL-STATE-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001
    SHA-256
    63574a9b2d9ae41d4fa595638026a78f6944ed530bb303cfc5865662393c3dd3
    Open exact decision source ↗ for ADR-0070
  • Local CUBE Matrix Operand Contract · accepted
    1. decision recordADR
    2. case0071

    Decision record

    Loading ADR-0071…

    Sources and references
    Complete stable ID
    ADR-0071
    Path
    docs/status/decisions/0071-local-cube-matrix-operands.md
    Affected units
    PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY, PTO-TILE-MODEL-SHAPE-CUBE-CELL, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS
    Affected NDF
    PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-CUBE-CELL-STATE-001, PTO-CUBE-LOCAL-MATRIX-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001
    SHA-256
    c9c58c246498edab99aff612c6d645774e07f942e37fb92b14245e8aecbe8368
    Open exact decision source ↗ for ADR-0071
Show canonical path and hashes

asl/tile/model/shape/cube-cell.asl:2

Source SHA-256: 44b94b34ae8927036a545aff963a206c746c9ec6b33f6d25093517b8023e462e

Clause SHA-256: 639d3ed572b6d565f22b985657749a04cb3bd77e16b540ab5e4b57b3d210218b