Skip to main content
NDF · contract · accepted

PTO-CUBE-CSCALE-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. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryCUBE-CSCALE
    4. case001

    Normative contract

    contract · L1 · accepted

    B.FPATR bit 9 MUST enable one final mathematical Local CScale source only for FP32 TMATMUL.ACC and TMATMULMX.ACC. CScale MUST be U8 CUBE_M32 [M,1], MUST not alias any output, and MUST scale C[m,n] by 2^-CScale[m,0] before RowMax, GroupMax, activation, quantization, and destination conversion. Bit 10 MUST remain reserved zero; disabled CScale MUST preserve prior results.

    Sources and references
    Complete stable ID
    PTO-CUBE-CSCALE-001
    Source path
    asl/block/attributes/B.FPATR.asl
    Affected units
    PTO-BLOCK-B-FPATR
    Source SHA-256
    865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
    Clause SHA-256
    5f83793d554cdb9cd7c968afa5be5a96326bcc54edbd7487e437a57e57deaff1
    Open exact canonical source ↗

Instruction and unit pages

  • B.FPATRPTO-BLOCK-B-FPATRasl/block/attributes/B.FPATR.asl

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

10 matching entries

Executable evidence4
  • Decoded CScale scales explicit FP32 C before Matrix post-processing.
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-CSCALE-001
    Path
    tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-cscale-001.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-CSCALE-001, PTO-INST-BLOCK-B-FPATR
    Pass condition
    TMATMUL.ACC with C=4.0, zero dot product, and U8 CScale exponent one publishes FP32 2.0 through a distinct destination.
    SHA-256
    270fe6450eeccf383df7e7722dd4081792c754ca7068ae86bfb2404357e39ca4
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CSCALE-001
  • CScale rejects every reserved, missing, surplus, alias, opcode, and accumulator-class misuse before effects.
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryFAULT
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002
    Path
    tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-cscale-002.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-CSCALE-001, PTO-INST-BLOCK-B-FPATR
    Pass condition
    Bit10, disabled-surplus, enabled-missing, CScale/output alias, non-ACC use, and non-FP32 ACC each reject without destination allocation or source mutation.
    SHA-256
    78703db8cf9b382c35994065aa1fd1f653b9503d9a9ae713c29d0237c66e9151
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002
  • B.FPATR dense scalar/vector parameter and maximum B.IOT routing
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001
    Path
    tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-operand-routing-001.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-CUBE-CSCALE-001
    Pass condition
    LReLU-only uses RegSrc0, scalar quant/LReLU pack densely, and nine sources/three destinations remain ordered
    SHA-256
    03be4b045c46306f4a54827dfad1e34160b1c56688fe9a6fc82b4b1e4a186e26
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001
  • B.FPATR bit ten remains reserved after assigning CScaleEn.
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryFAULT
    4. case012
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012
    Path
    tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-transpose-rsvd-012.asl
    Kind / role
    fault
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-CUBE-CSCALE-001
    Pass condition
    Bit ten rejects before TPC or fixed-point descriptor state changes while bit nine is owned by decoded CScale evidence.
    SHA-256
    87c5841391fd67fcf7886b5e8e7d09aaca44f13382dbf107a2a6d35d47ca8ca1
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012
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/block/attributes/B.FPATR.asl:24

Source SHA-256: 865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6

Clause SHA-256: 5f83793d554cdb9cd7c968afa5be5a96326bcc54edbd7487e437a57e57deaff1