Skip to main content
NDF · contract · accepted

PTO-CUBE-HIF4-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. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE
    3. categoryCUBE-HIF4-SCALE
    4. case001

    Normative contract

    contract · L1 · accepted

    A HiF4 Matrix scale MUST be one raw U32 word containing E6M2 in bits 7:0, eight E1_8 exponents in bits 15:8, and sixteen E1_16 exponents in bits 31:16. E6M2 values 00..FE MUST be finite with bias 48 and two fraction bits; FF MUST be a legal quiet NaN scale. One word scales 64 logical HiF4 lanes through the selected E1_8 plus E1_16 exponent bits.

    Sources and references
    Complete stable ID
    PTO-CUBE-HIF4-SCALE-001
    Source path
    asl/arch/data-types/formats/hif4-scale.asl
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE
    Source SHA-256
    6244309630f70598af01ec16b5ccc1e33b896b1db47b9fc315a79b454fe0255a
    Clause SHA-256
    d8219c1758a63297a987e21d60b6c3cdf066ae5b4606665f133c6e654fc4456b
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

9 matching entries

Executable evidence3
  • PTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE-STATIC-001
    Path
    tests/asl/arch/data-types/formats/hif4-scale/arch-static-hif4-scale-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-HIF4-SCALE-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    46b5b244b12a06d0fc7c0387a000dc70045fc0728f59e7f38d0009c36246f76f
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE-STATIC-001
  • HiF4 E6M2 and exponent-bit scale boundaries are exact.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-HIF4-SCALE-001
    Path
    tests/asl/arch/data-types/formats/hif4-scale/arch-bound-hif4-scale-001.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-HIF4-SCALE-001
    Pass condition
    00 is 2^-48, FE is 1.5*2^15, FF is legal quiet NaN, and q selects its exact E1_8 plus E1_16 increment.
    SHA-256
    1008e5fad222db2f31dda4d47b9a2825c69630bc28016b3a3ff0b6a92aa4432f
    Open exact source ↗ for PTO-AVS-ARCH-HIF4-SCALE-001
  • 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
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/arch/data-types/formats/hif4-scale.asl:3

Source SHA-256: 6244309630f70598af01ec16b5ccc1e33b896b1db47b9fc315a79b454fe0255a

Clause SHA-256: d8219c1758a63297a987e21d60b6c3cdf066ae5b4606665f133c6e654fc4456b