Skip to main content
NDF · contract · accepted

PTO-B-SUBVIEW-DESCRIPTOR-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-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryB-SUBVIEW-DESCRIPTOR
    4. case001

    Normative contract

    contract · L1 · accepted

    A legal Local CUBE B.SUBVIEW MUST derive a bounded descriptor from the parent descriptor, XLEN offset, and encoded view capacity in CELL order. Parent lifetime and payload remain unchanged; non-CUBE, zero-valid, and out-of-range geometry is rejected with Fault_TileLegality before effects.

    Sources and references
    Complete stable ID
    PTO-B-SUBVIEW-DESCRIPTOR-001
    Source path
    asl/block/model/operands/subview-descriptor.asl
    Affected units
    PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    Source SHA-256
    eb258e699e40f3e7745711d03c04cf91c7c622154dfa2e469355e0bc984f3cfb
    Clause SHA-256
    b1c937527276d30539ee0a46e9b263a7a2230362b143c135be727349c1264102
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

297 matching entries

Executable evidence291
  • Decoded aliased assembly preserves the committed old mapping and payload across a failed replacement generation.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-ASSEMBLE-ALIAS-CONSUMER-001
    Path
    tests/asl/block/model/operands/local-generation/block-exec-assemble-alias-consumer-001.asl
    Kind / role
    execution
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-INST-BLOCK-B-IOT
    Pass condition
    The decoded source/destination alias publishes a new working object only at LAST, retains the bound old parent/subview value, and a subsequent decoded incomplete replacement aborts without losing the committed old destination/name/definedness; no pending-consumer carrier is claimed.
    SHA-256
    89bb4d1bcf05798ae3073a89cb5e96a3b3cfa110b5b4a4e3d093cb1bca08944b
    Open exact source ↗ for PTO-AVS-BLOCK-ASSEMBLE-ALIAS-CONSUMER-001
  • PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR compiles as an independent normative unit
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR-STATIC-001
    Path
    tests/asl/block/model/operands/subview-descriptor/block-static-subview-descriptor-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    ea0b65d8e3a2bb75d9e57c8c9ccb4d97e0be7579db7658675da6281f46aea42d
    Open exact source ↗ for PTO-AVS-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR-STATIC-001
  • Decoded CUBE range carriers reach normal dispatch while selected operation legality remains authoritative; the operation-index totality matrix is supplemental.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-APPLICABILITY-TOTALITY-001
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-applicability-totality-001.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001
    Pass condition
    A decoded legal CUBE source/destination group reaches descriptor preflight and commit, an incompatible Local dtype/layout group reports TileLegality before effects, and the supplemental accepted-operation matrix has no private family allowlist.
    SHA-256
    b8a78d884d55db40d4271a65c635f591b1e125b1c4425a6383b5d6a160d6cfb3
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-APPLICABILITY-TOTALITY-001
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-001
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-001.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    fb2d1646243f9871faf41b888b4bd4f548053fa2f826dc443cf9014c3dda90d8
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-001
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-002
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-002.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    3887fa5cf8ee0af9dd309d604b2f98022dd48252c66aee5299c1c5f162763dc7
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-002
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-003
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-003.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    fb3338535d04f09cbe87403e378e43f4ccbbcce1a6a4b9d90a1a4b44aa0c924b
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-003
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-004
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-004.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    de4f29f62feff8c02b5c333ed45ff3d7186ffa2f27739ec082ff15d729c2dbdb
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-004
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case005
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-005
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-005.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    0b0a8d668a8f43169da475c2b5fa3461988a1e63593492842f0dfef2922db72a
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-005
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case006
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-006
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-006.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    68e09584c752ed839e511153b104b6d84ffb8b4f43972f023c511df2fad2fe87
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-006
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case007
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-007
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-007.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    dd2fa6428742c9c0335633b0d2b0356ee886cea7d49b20d50eb3dd9226fd208a
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-007
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case008
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-008
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-008.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    c13dcbdd1a872ef0ae38986873e3b60a449bcc722ee3c4ab778def821f6dc42a
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-008
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case009
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-009
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-009.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    4d67bce9b4c5731fe6bd960f3863ab24262c6dd64dce5e93c4f5fcd1337b3529
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-009
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case010
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-010
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-010.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    80391c1159497024f5a61fbc191cfa80b468ed176c164fc2e900df39b4e60e3c
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-010
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case011
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-011
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-011.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    64af7bc70fac9e23d6fb3da277dfc53c47964a49fe9a98b4ec95eb6837146743
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-011
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case012
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-012
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-012.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    b5853565d9ec1a248ba1d0b1df2933af8e7849a5449c2db27442abd68f78e7fd
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-012
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case013
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-013
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-013.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    7003c3e9c5e0a4a9b2f680630c995d99f0c34c644e2cee62a189208d70707483
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-013
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case014
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-014
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-014.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    19b71238565800c69a12fc282d5b15a1fc1f8827d3d5e14595b9feb29de7bfec
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-014
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case015
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-015
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-015.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    54dea16260df1142c0857aa05e81d128859cb443766ad3de626c356299b0e1a3
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-015
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case016
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-016
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-016.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    24549c428baf5ca77e6f3fb8533f11dc299857028e8f0e683489a76626b2c6d1
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-016
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case017
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-017
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-017.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    1ec629f7087c922d5bb24d1844f4417e1de3e08613e52b5da9dcc9438cb93eed
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-017
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case018
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-018
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-018.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    5fde8de3196193a794aa0e12f576512b6fff67f1493181fad4233f6f8b86b730
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-018
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case019
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-019
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-019.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    c091e46d893a07b727b9326c9665e580a0766aa6188ee0f2f5fe15c33281126f
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-019
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case020
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-020
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-020.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    9112e80a4ab1bed560650c457c65f0025dc8ad1c546da5c6323c38c817148076
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-020
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case021
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-021
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-021.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    5a288dd51bbb7df0aa213656bcd37d4c5e4214ef2be7c946c6b35d12eefcc1e3
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-021
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case022
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-022
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-022.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    acdcb33266815b1aef1e1e9bc5c8eb892f735ba2b8b9e62ff218e9a909e86c0e
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-022
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case023
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-023
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-023.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    45f5bda9b20e07c28229a961f2d0c3b4d69c9899c52c9dc4628fcc7629980d0f
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-023
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case024
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-024
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-024.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    383087f11f23963cbba40bfe17ddf95d36fd6977f644fcf4c48014683aaf9fdb
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-024
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case025
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-025
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-025.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    75c578f82a7b1ff23081fd38fa182d841718c60dc505d19260444390500ba7bc
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-025
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case026
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-026
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-026.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    54b10b97cc2b49e93f092c3d296d6a5657c27bc92b9e53aff1ab8353cd49bbf5
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-026
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case027
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-027
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-027.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    8193b91fb2407dc09cb54f7bd175c451a9a5cecb15bbf1deb4dc53f402c228d2
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-027
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case028
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-028
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-028.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    54eda58b7515ef425419032f6180ef7c5ac7941cf4ec7a18ac07b327d5468e83
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-028
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case029
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-029
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-029.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    20597dddebc8f026b81ed74a55ed6179998b8d812cf0b6341871159e3820b657
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-029
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case030
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-030
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-030.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    a92dc126a745761802428db9fea368b670949530279e2a97273a4ac092820d32
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-030
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case031
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-031
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-031.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    ee3bb8b0894f0c53e025f084989a2543397f33195cd73622d1a1c26de57f35c1
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-031
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case032
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-032
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-032.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    575544928ff43af7833ce9d3824feb128566358b32b19d8e97b3c6fec8b8f4a6
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-032
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case033
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-033
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-033.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    66513b3a7026478f11024c626c7dca33976b6ac74c15192ca0094600e9c95736
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-033
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case034
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-034
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-034.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    8f528465b822f4e88524b5823a2c0286b9ce5cf1e6da1ae8a6608d85c7c51d90
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-034
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case035
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-035
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-035.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    15950a198cf0357bc71dad1509d89ab8a71080b3a01c219dec56892b8ce6224c
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-035
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case036
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-036
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-036.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    e82d39a85e9fa282016de527caad02bbc54f61dadb6200800cb208221ee629cc
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-036
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case037
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-037
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-037.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    3a20737c4b021f305ccc5f723bf62f59f33022a207d20823c9d4c754f3dfe2ea
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-037
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case038
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-038
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-038.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    3ff7b434c6dbff8b9e172c672edad0d189d620bd58b4775d88b1291dc57c3683
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-038
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case039
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-039
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-039.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    d1f7dafd8821179307d513b3ff274fd6c499d1148584130228ca1bd3695e88e3
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-039
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case040
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-040
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-040.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    74373021243f400dcf0358ed84fec7325392359d3b93ff6663ca977efdff9705
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-040
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case041
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-041
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-041.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    f2f04070f7c46a46ebc359ce99f58a4ca46b69f262dcf694f203184bbe194043
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-041
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case042
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-042
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-042.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    b37999d2215d777bae57d3879bc6a3f0561481d7975221186c3b55983e6c397e
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-042
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case043
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-043
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-043.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    012ad1b0a68e9618c16d5a8a549104d82b5f9bc7762c8939b71b85f10346102d
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-043
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case044
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-044
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-044.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    d1ab7456ea199a5fef3e4c1ee2fa014f8b4c79cd49129ad41057924e504272e1
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-044
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case045
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-045
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-045.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    ab3c5501c5d935e8d09cdad91ea2439de50c3cfbb61fca568a1e6ca2b4d81631
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-045
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case046
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-046
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-046.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    dd03c7de044e3d0217b70a88b4b9b8084b2954fe826e9ba6aea88e36d61f0dc6
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-046
  • One decoded operation-role case exercises its required source or destination role through normal dispatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR
    3. categoryEXECUTION
    4. case047
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-047
    Path
    tests/asl/block/model/operands/subview-descriptor/block-exec-range-operation-matrix-047.asl
    Kind / role
    execution
    Requirements
    PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    Pass condition
    The case binds its authoritative fixture recipe and catalog-required operands/attributes, reaches normal modifier and applicability preflight, then asserts its exact normal observable or pre-effect fault.
    SHA-256
    475ed5638b27220d2a27710ead68dcb651b4b4b6923a884853fb95d166cbea09
    Open exact source ↗ for PTO-AVS-BLOCK-RANGE-OPERATION-MATRIX-047
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
  • B.SUBVIEW and B.ASSEMBLE range-modifier association · accepted
    1. decision recordADR
    2. case0098

    Decision record

    Loading ADR-0098…

    Sources and references
    Complete stable ID
    ADR-0098
    Path
    docs/status/decisions/0098-b-range-modifiers.md
    Affected units
    PTO-ARCH-PROFILE-RESET, PTO-BLOCK-B-IOT, PTO-BLOCK-B-IOS, PTO-BLOCK-B-SUBVIEW, PTO-BLOCK-B-ASSEMBLE, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-FAULTS-ROLLBACK, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-BLOCK-MODEL-STATE-SHARED-GENERATION, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS
    Affected NDF
    PTO-B-IOT-STREAM-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-RANGE-001, PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001, PTO-B-ASSEMBLE-SHARED-STANDALONE-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001, PTO-B-ASSEMBLE-SPECULATION-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    SHA-256
    e194ccc6b6922fd4b65066b533f5e4b0eba094e099970059bca8e25b4e466fba
    Open exact decision source ↗ for ADR-0098
Show canonical path and hashes

asl/block/model/operands/subview-descriptor.asl:3

Source SHA-256: eb258e699e40f3e7745711d03c04cf91c7c622154dfa2e469355e0bc984f3cfb

Clause SHA-256: b1c937527276d30539ee0a46e9b263a7a2230362b143c135be727349c1264102