Skip to main content
NDF · contract · accepted

PTO-CUBE-GROUP-M-DISTRIBUTION-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. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryCUBE-GROUP-M-DISTRIBUTION
    4. case001

    Normative contract

    contract · L1 · accepted

    Every cooperative Local-A/Shared-B or Shared-A/Shared-B TMATMUL form MUST interpret LB0 as Core-total group_M in 1..128 and MUST use PE_MASK=1111. group_M<=64 selects M_per_PE=16; group_M>=65 selects M_per_PE=32; PE i owns valid_M=clamp(group_M-i*M_per_PE,0,M_per_PE). A zero-row PE MUST retain structural, collective, and Shared preflight while suppressing all compute-only Local resolution, dependency, subview, alias, allocation, generation, payload, parameter, and output effects. TGEMV remains Local-only.

    Sources and references
    Complete stable ID
    PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Source path
    asl/block/model/dispatch/cube-tmatmul.asl
    Affected units
    PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    Source SHA-256
    513fbf21974f558b4d1ca1a6bafbeb8b40d5545ece88c429856acf58d64c234f
    Clause SHA-256
    297f1bad4eef7524a7a21df888ce4a1a0365aa34be08104843b8782fbdbb1feb
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

14 matching entries

Executable evidence7
  • PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL compiles as an independent normative unit
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL-STATIC-001
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-static-cube-tmatmul-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    45dce0bd4f7e68978b491c70631580891c1bc1a65490fc7966fbb6186a80ac5f
    Open exact source ↗ for PTO-AVS-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL-STATIC-001
  • Local M stays arbitrary positive while cooperative LB0 is Core-total group M.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-DIMENSIONS-003
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-cube-dimensions-003.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    Local M3 N9 K17 remains legal; cooperative group_M accepts non-power-of-two values through 128 with power-of-two N/K and rejects zero or 129.
    SHA-256
    b6925dac4754b8b946a9ff91f1dc0272c5de436b50243a20d9c4d33a7965e29d
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-DIMENSIONS-003
  • A zero-row cooperative PE ignores every compute-only Local mapping and generation.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case027
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-INACTIVE-LOCAL-027
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-inactive-local-027.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-GROUP-M-DISTRIBUTION-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001
    Pass condition
    A structurally complete Local-A/Shared-B block with unallocated Local source and destination plus subview and assemble carriers succeeds for an inactive PE without dependency, materialization, allocation, generation, payload, or fault effects.
    SHA-256
    af576d3c0e6deabce478ad9a4b67708389c4e7837a6cf31fa06d9ea299f0300b
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-INACTIVE-LOCAL-027
  • Inactive cooperative PEs retain no-fault Shared readiness preflight.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case029
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-INACTIVE-SHARED-029
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-inactive-shared-029.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    A zero-row PE with structurally present invalid Local mappings waits for an unpublished Shared B before every Local dependency allocation generation payload numeric-status or fault effect.
    SHA-256
    98a15edc160c0d28e47779f5a01c36f212a01257a39b1d1e25a9bf5392069ef4
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-INACTIVE-SHARED-029
  • Inactive cooperative PEs still require a structurally complete binder schema.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case028
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-INACTIVE-STRUCTURAL-028
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-inactive-structural-028.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    A zero-row PE with a valid Shared B but missing encoded Local A and D roles raises TileLegality before allocation or payload effects.
    SHA-256
    fad583911b95009e07ddd579e3a592ba540cb4e166e769b7ee060e470dd32da5
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-INACTIVE-STRUCTURAL-028
  • Cooperative TMATMUL accepts only all-four participation or the strict zero no-op.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case015
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-MASK-015
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-mask-015.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    Every sparse nonzero mask raises TileLegality before Local allocation, while 1111 executes and publishes only the current PE fragment.
    SHA-256
    8b0c783fa66657c93897b0de78cae1c0d7dea867fc2e31ee5ad0a28a24438749
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-MASK-015
  • Cooperative TMATMUL distributes Core-total group M into exact current-PE fragments.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case021
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-MSHARD-021
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-mshard-021.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    Boundary group sizes 1, 17, 64, 65, and 128 derive the frozen M16/M32 valid-row distribution; active PEs consume their exact Shared-A slice and inactive PEs publish no Local state.
    SHA-256
    3b5c9f34f63f620e5fe2ffbc7e1ec83f6e7a15b969377e5e2a99588c17bb834b
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-MSHARD-021
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
  • Local and Shared capacity pools with cooperative M-sharding · accepted
    1. decision recordADR
    2. case0097

    Decision record

    Loading ADR-0097…

    Sources and references
    Complete stable ID
    ADR-0097
    Path
    docs/status/decisions/0097-local-shared-capacity-and-cooperative-m-sharding.md
    Affected units
    PTO-ARCH-DATA-TYPES-INTEGER, PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-DESTINATION, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-CAPACITY-LOCAL, PTO-TILE-MODEL-CAPACITY-SHARED, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-STATE-ALLOCATION, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES
    Affected NDF
    PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001, PTO-TILE-CAPACITY-PER-PE
    SHA-256
    7de93019f9272a73d5f42e42bec242725edadbcf41ed34a3155d40fb37f0cd14
    Open exact decision source ↗ for ADR-0097
  • Cooperative Group-M Distribution and Inactive PE Semantics · accepted
    1. decision recordADR
    2. case0100

    Decision record

    Loading ADR-0100…

    Sources and references
    Complete stable ID
    ADR-0100
    Path
    docs/status/decisions/0100-cooperative-group-m-distribution.md
    Affected units
    PTO-BLOCK-MODEL-DISPATCH-CUBE-DESTINATION, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-TILE-MODEL-LEGALITY-MATRIX-OPERANDS, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE
    Affected NDF
    PTO-CUBE-GROUP-M-DISTRIBUTION-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001
    SHA-256
    adcfcca401a69fb4e7635fbe4d65d33b36fb2744b3fbedf6d7862cadbc8e7232
    Open exact decision source ↗ for ADR-0100
Show canonical path and hashes

asl/block/model/dispatch/cube-tmatmul.asl:11

Source SHA-256: 513fbf21974f558b4d1ca1a6bafbeb8b40d5545ece88c429856acf58d64c234f

Clause SHA-256: 297f1bad4eef7524a7a21df888ce4a1a0365aa34be08104843b8782fbdbb1feb