跳到主要内容
NDF · contract · accepted

PTO-CUBE-SHARED-TRANSPOSE-001

以下正文直接来自 canonical NDF owner。

1 个 owner

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryCUBE-SHARED-TRANSPOSE
    4. case001

    规范契约

    contract · L1 · accepted

    B.FPATR bits 7 and 8 MUST independently select logical transpose for a corresponding Shared A or B primary and its separately bound scale, while Local-side transpose MUST remain illegal and neither source is mutated.

    来源与引用
    完整稳定 ID
    PTO-CUBE-SHARED-TRANSPOSE-001
    来源路径
    asl/block/attributes/B.FPATR.asl
    适用单元
    PTO-BLOCK-B-FPATR
    源 SHA-256
    865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
    条款 SHA-256
    d5cc28aa7a795099be222fef9def3d839ad01587ab3849a9385c12269bb64774
    打开精确 canonical source ↗

对应 instruction / unit 页面

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

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

20 matching entries

Executable evidence13
  • B.FPATR bits seven and eight latch independent Shared A and B transpose controls
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryDECODE-POSITIVE
    4. case011
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011
    Path
    tests/asl/block/attributes/B.FPATR/block-decode-b-fpatr-transpose-011.asl
    Kind / role
    decode-positive
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    all four TransA and TransB combinations decode and preserve the exact two booleans
    SHA-256
    c73850ac7324b9a970e768cb6a999e75d215fb862aa92d12631e33594766e213
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011
  • 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
  • TGEMV rejects every participating Shared operand binding
    1. surfaceBLOCK
    2. ownerBSTART.TGEMV
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TGEMV-SHARED-001
    Path
    tests/asl/block/execution/BSTART.TGEMV/block-fault-bstart-tgemv-shared-001.asl
    Kind / role
    fault
    Requirements
    PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    one B.IOS source raises Fault_TileLegality before Shared consumption
    SHA-256
    7ba8634d6575d9c9b77ac39942f86d02b62bd301d0d4e3f8ccb7d95300649205
    Open exact source ↗ for PTO-AVS-BLOCK-TGEMV-SHARED-001
  • Local CUBE Matrix keeps zero-mask no-op precedence and accepts partial participation
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case010
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-cube-mask-010.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    zero mask bypasses malformed operands while full and partial masks execute CUBE primaries with exact destination masks
    SHA-256
    cb1fa427401aed3f617de23450f3066998978f93dd30aa757db05467b66a1aef
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
  • TransA is illegal when A is a Local CUBE primary
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case013
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-LOCAL-TRANSPOSE-013
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-local-transpose-013.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    a right-only Shared form with TransA set rejects before destination allocation source consumption or status
    SHA-256
    9faf2fbcad024027e76653fad599caef1909b381f9cea62d2c799f8abb8211d0
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-LOCAL-TRANSPOSE-013
  • TMATMUL distinguishes strict zero participation from legal partial participation
    1. surfaceBLOCK
    2. ownerBSTART.TMATMUL
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-MASK-001
    Path
    tests/asl/block/execution/BSTART.TMATMUL/block-bound-bstart-tmatmul-mask-001.asl
    Kind / role
    boundary
    Requirements
    PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    a zero-mask block has no effects while a nonzero partial mask allocates and publishes only the selected destination producers
    SHA-256
    59aaab11f1eb109c8d1e7b6100d71400c5b1ed317be13109928107ecbfa6b58d
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-MASK-001
  • Cooperative Matrix resolves one deterministic Local CUBE destination layout
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATE-TRANSITION
    4. case014
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-LAYOUT-014
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-shared-layout-014.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    right-only inherits A all-Shared ACC inherits C and all-Shared non-ACC selects M16 through M16 then M32 through M32
    SHA-256
    81f7fb6d6b6c5e7a0f5c2b1a7bd6387f846ff91ce0dcfdf61b1bd33928e18926
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-LAYOUT-014
  • Cooperative Shared Matrix waits for whole-parent Shared readiness without fault or effects
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case012
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-readiness-012.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    a partial Shared A allocation waits without destination allocation binding consumption payload numeric status or fault
    SHA-256
    18311caf9d2528a1a9ea12ae5f6c93b4daa7b2ac29f6b652370c074226f91e38
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
  • Successful cooperative Matrix reads leave persistent Shared state unchanged
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATE-TRANSITION
    4. case018
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-READONLY-018
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-shared-readonly-018.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    descriptor masks publication payload and initialized state are identical after both Shared bindings are consumed
    SHA-256
    928a4964b044d4f3424dc3fe3af0fb19fcb3882ec9433f6786222f7b0895c338
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-READONLY-018
  • Late cooperative CUBE destination failure rolls back every output effect
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case019
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-ROLLBACK-019
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-shared-rollback-019.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    an undersized D rejects after complete Shared readiness without allocation consumption Shared mutation or numeric status
    SHA-256
    979efc05a67a6d36fc547e33e7715ccad3727930b97f3d72f978c6deae3f3e3b
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-ROLLBACK-019
  • Shared A and B transpose controls normalize ordinary descriptors before CUBE computation
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case011
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-TRANSPOSE-011
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-transpose-011.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    all four TransA and TransB combinations produce the same exact logical two-by-two matrix product
    SHA-256
    bd3a645c49a4e3fe7685b2fbf8f018dc4b0e3b940ed274863ae909a3d0e22b59
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-TRANSPOSE-011
  • Cooperative TMATMUL waits for an unallocated Shared primary without fault or effects
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case020
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-undef-020.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    the undefined-register fallback remains legal generally while Matrix readiness waits without allocation consumption Shared mutation numeric status or fault
    SHA-256
    74fb3304acd1e4df9118089ab05b60c19b7c3eae11ffe1dbe724beaa316635b7
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
  • Cooperative Matrix mask zero exits before every transpose and Shared readiness rule
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case016
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-ZERO-016
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-zero-016.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    a zero-mask binding with missing attributes and invalid sources succeeds without allocation state fault or consumption
    SHA-256
    af47d1a95cafaba909d6a2f403a6dc13ecfd50108b2fc1d21d08ec53dd0ceb26
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-ZERO-016
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 history2
  • Cooperative Shared CUBE Inputs and Transpose · accepted
    1. decision recordADR
    2. case0072

    Decision record

    Loading ADR-0072…

    Sources and references
    Complete stable ID
    ADR-0072
    Path
    docs/status/decisions/0072-cooperative-shared-cube-transpose.md
    Affected units
    PTO-ARCH-PROFILE-RESET, PTO-BLOCK-B-FPATR, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, 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, 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-MODEL-LEGALITY-MATRIX-INFO-DESCRIPTOR, PTO-TILE-MODEL-LEGALITY-MATRIX-OPERANDS, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE, PTO-TILE-MODEL-STATE-SHARED-REGISTERS
    Affected NDF
    PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-CUBE-SHARED-TRANSPOSE-001, 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-TGEMV-CONTRACT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001
    SHA-256
    9bc7340fea777ee543d4b9393f8f6002b55106833e55ff6d388f8beac504dd09
    Open exact decision source ↗ for ADR-0072
  • 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
显示 canonical path 与 hash

asl/block/attributes/B.FPATR.asl:17

Source SHA-256: 865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6

Clause SHA-256: d5cc28aa7a795099be222fef9def3d839ad01587ab3849a9385c12269bb64774