Skip to main content
NDF · contract · accepted

PTO-CUBE-MATRIX-SCALE-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-LEGALITY-MATRIX-FUNCTIONS
    3. categoryCUBE-MATRIX-SCALE
    4. case001

    Normative contract

    contract · L1 · accepted

    Each Matrix-MX primary side MUST independently select group-32 E8M0 scale for MX FP8/FP4 carriers or group-64 raw U32 scale for HiF4X2. HiF4X2 MUST be accepted only by Matrix-MX input roles; ordinary Matrix MUST not gain it. Each Local scale MUST use CUBE_M32 and each Shared scale MUST remain an independently bound ordinary Tile with the corresponding primary location.

    Sources and references
    Complete stable ID
    PTO-CUBE-MATRIX-SCALE-001
    Source path
    asl/tile/model/legality/matrix-functions.asl
    Affected units
    PTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS
    Source SHA-256
    2033750845ed44cc9b38e395c62399c66b1c4bd5ab8ba1b97153beafd992ef53
    Clause SHA-256
    d27d591456780e649a18505cd2554bd5d2729ac84db8e71a6225789748271575
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

15 matching entries

Executable evidence9
  • Shared Matrix transpose normalizes each independently bound primary and scale.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-CUBE-SCALE-TRANSPOSE-002
    Path
    tests/asl/block/model/dispatch/shared-cube-matrix/block-exec-shared-cube-scale-transpose-002.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-MATRIX-SCALE-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    Stored transposed A, AScale, B, and BScale shapes normalize to group_MxK, group_MxG, KxN, and GxN and produce the exact current-PE result without mutating Shared state.
    SHA-256
    fc9538d3ba766ac00a59249f5626bd7419cf9983f1a52abd70e68531bbd3c00e
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-CUBE-SCALE-TRANSPOSE-002
  • Ordinary non-MX TMATMUL keeps HiF4X2 reserved from its input set.
    1. surfaceBLOCK
    2. ownerBSTART.TMATMUL
    3. categoryFAULT
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-HIF4-FAULT-002
    Path
    tests/asl/block/execution/BSTART.TMATMUL/block-fault-bstart-tmatmul-hif4-002.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    A decoded ordinary TMATMUL with HiF4X2 A and B rejects before destination allocation or source effects.
    SHA-256
    eab0b5fd230875f426002f2203c6fc420abd1f562a3f66dc73a2388f097a1c2b
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-HIF4-FAULT-002
  • Decoded TMATMULMX accepts packed HiF4X2 sides with mandatory U32 group-64 scales.
    1. surfaceBLOCK
    2. ownerBSTART.TMATMULMX
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMULMX-HIF4-002
    Path
    tests/asl/block/execution/BSTART.TMATMULMX/block-exec-bstart-tmatmulmx-hif4-002.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-MATRIX-SCALE-001, PTO-CUBE-HIF4-SCALE-001
    Pass condition
    Two 1x1 packed HiF4X2 primaries and their Local CUBE_M32 U32 scale words execute through the Matrix-MX path and publish FP32 output.
    SHA-256
    91f5b9bff2f01f56f15768ed160eaef7f8e7b29073a15cb3c8cecd7de6211ba9
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMULMX-HIF4-002
  • 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 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 Matrix function and side-specific scale tables are closed.
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MATRIX-FN-BOUND-001
    Path
    tests/asl/tile/model/legality/matrix-functions/tile-bound-matrix-fn-001.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    All twelve functions are assigned; HiF4X2 is Matrix-MX-only with group-64 U32 scale, while MX FP8/FP4 retain group-32 E8M0 scale.
    SHA-256
    9ec87260b98aea961160cb34f3bb7f4b8a0f2b77576f2be030bb8f31d915ae36
    Open exact source ↗ for PTO-AVS-TILE-MATRIX-FN-BOUND-001
  • PTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS compiles as an independent normative unit
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS-STATIC-001
    Path
    tests/asl/tile/model/legality/matrix-functions/tile-static-matrix-functions-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    1428cdbfa987e195595b8d50982d69f540e74673ff46624950484f731db1da83
    Open exact source ↗ for PTO-AVS-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS-STATIC-001
  • TMATMULMX scale operands are omitted or required independently from each matrix type.
    1. surfaceTILE
    2. ownerTMATMUL_MX
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TMATMUL-MX-SCALE-001
    Path
    tests/asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX/tile-bound-tmatmul-mx-scale-001.asl
    Kind / role
    boundary
    Requirements
    PTO-INST-TILE-TMATMUL-MX, PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    FP16 sides reject supplied scales while E4M3 sides require correctly shaped Local CUBE_M32 E8M0 scales.
    SHA-256
    8ceb961034bd461b37d3268a18c6046570f797bd9fb84b1b06ceb46377feb75a
    Open exact source ↗ for PTO-AVS-TILE-TMATMUL-MX-SCALE-001
  • TMATMULMX accepts seven side types and derives scale kind per side.
    1. surfaceTILE
    2. ownerTMATMUL_MX
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TMATMUL-MX-TYPES-001
    Path
    tests/asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX/tile-bound-tmatmul-mx-types-001.asl
    Kind / role
    boundary
    Requirements
    PTO-INST-TILE-TMATMUL-MX, PTO-CUBE-MATRIX-SCALE-001
    Pass condition
    FP16 and BF16 omit scales; four MX compact formats require group-32 E8M0; HiF4X2 requires group-64 U32.
    SHA-256
    3300ebb15211699c9515cbcc9a26c4c83696f7fc9c0d0fa06301b3e8c99d31ae
    Open exact source ↗ for PTO-AVS-TILE-TMATMUL-MX-TYPES-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
  • Matrix Scale Cell Layouts, HiF4 Scale Words, and CScale · accepted
    1. decision recordADR
    2. case0101

    Decision record

    Loading ADR-0101…

    Sources and references
    Complete stable ID
    ADR-0101
    Path
    docs/status/decisions/0101-matrix-scale-and-cscale.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-BLOCK-B-FPATR, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-MATRIX-SCALE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-EXECUTION-CUBE, PTO-TILE-MODEL-EXECUTION-MATRIX-SCALE, PTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS, PTO-TILE-MODEL-LEGALITY-MATRIX-OPERANDS, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE, PTO-TILE-MODEL-SHAPE-CUBE-CELL
    Affected NDF
    PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-CUBE-CSCALE-001, PTO-CUBE-HIF4-SCALE-001, PTO-CUBE-MATRIX-SCALE-001, PTO-CUBE-MATRIX-SCALE-CELL-001, PTO-CUBE-SHARED-TRANSPOSE-001
    SHA-256
    a5c962437636c0d3f4f3585d3b529fcc9821d4b00c540243c2351978196e9be0
    Open exact decision source ↗ for ADR-0101
Show canonical path and hashes

asl/tile/model/legality/matrix-functions.asl:5

Source SHA-256: 2033750845ed44cc9b38e395c62399c66b1c4bd5ab8ba1b97153beafd992ef53

Clause SHA-256: d27d591456780e649a18505cd2554bd5d2729ac84db8e71a6225789748271575