Skip to main content

PTO-TILE-MODEL-DISPATCH-TOP-LEVEL

PTO-TILE-MODEL-DISPATCH-TOP-LEVEL

ASL pseudocode

The complete ASL owner is shown directly below.

// PTO-UNIT: {"catalog_projection":{"catalog":"tile-operations","deleted_names":["ACCCVT","TADDC","TADDSC","TALLOC","TAXPY","TDEINTERLEAVE","TFMOD","TFMODS","TFREE","TGATHERB","TINTERLEAVE","TLRELU","TPARTARGMAX","TPARTARGMIN","TPOP","TPRELU","TPUSH","TRESHAPE","TSUBC","TSUBSC","TRANDOM","TSORT32"],"isa":"PTO Instruction Set Architecture","rejected_names":["TEXRACT","TFILL/TEXPANDS","TPOW","TPOWS"],"rejected_review_only_codes":{"CUBE":[],"TEPL":[],"TLSU":[]},"reserved":{"cube_functions_without_named_alias":[3,7,8,[9,15],19,[23,31]],"tepl_selector_ranges":[["0x005","0x005"],["0x00E","0x00E"],["0x018","0x019"],["0x01D","0x01F"],["0x025","0x025"],["0x02E","0x039"],["0x03C","0x03F"],["0x04E","0x04F"],["0x05E","0x05F"],["0x061","0x061"],["0x069","0x069"],["0x075","0x07F"]],"tlsu_functions":[[15,31]]},"schema_version":3},"classification":["model","dispatch","top-level"],"depends_on":["PTO-TILE-MODEL-DISPATCH-ELEMENTWISE-TILE-TILE","PTO-TILE-MODEL-DISPATCH-TILE-SCALAR-AND-IMMEDIATE","PTO-TILE-MODEL-DISPATCH-REDUCE-AND-EXPAND","PTO-TILE-MODEL-DISPATCH-MEMORY-AND-DATA-MOVEMENT","PTO-TILE-MODEL-DISPATCH-MATRIX-AND-MATRIX-VECTOR","PTO-TILE-MODEL-DISPATCH-LAYOUT-AND-REARRANGEMENT","PTO-TILE-MODEL-DISPATCH-IRREGULAR-AND-COMPLEX"],"id":"PTO-TILE-MODEL-DISPATCH-TOP-LEVEL","surface":"tile"}// The block dispatcher selects exactly one catalog-bound tile operation class.

Architecture behavior

This internal model unit is documented through its normative ASL/NDF owners and validation evidence; it has no reader-guide migration target.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

No NDF clause is attached to this unit.

Evidence index

14 matching entries

Executable evidence9
  • PTO-TILE-MODEL-DISPATCH-TOP-LEVEL compiles as an independent normative unit
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-DISPATCH-TOP-LEVEL-STATIC-001
    Path
    tests/asl/tile/model/dispatch/top-level/tile-static-top-level-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    984000828d18dbee173ee320ebee6c3b70a9499f8ee2ee07ed6949b2d3061b1c
    Open exact source ↗ for PTO-AVS-TILE-MODEL-DISPATCH-TOP-LEVEL-STATIC-001
  • Covers Decoded Tile Execution.
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TESTDECODEDTILEEXECUTION-EXECUTION-001
    Path
    tests/asl/tile/model/dispatch/top-level/tile-exec-decoded-001.asl
    Kind / role
    execution
    Pass condition
    TestDecodedTileExecution completes without assertion failure
    SHA-256
    ebe502a48caf8c6a6f1e89288741a30172fdf5452bb65c48cc3295b7cb01917f
    Open exact source ↗ for PTO-AVS-TILE-TESTDECODEDTILEEXECUTION-EXECUTION-001
  • Covers Tile Handler Closure.
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TESTTILEHANDLERCLOSURE-BOUNDARY-001
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-handler-closure-001.asl
    Kind / role
    boundary
    Pass condition
    TestTileHandlerClosure completes without assertion failure
    SHA-256
    82893de555edab04dda7595f306ffdafb33ee82b4cf3028afa4ab7ee5bf3313b
    Open exact source ↗ for PTO-AVS-TILE-TESTTILEHANDLERCLOSURE-BOUNDARY-001
  • Covers Tile Selector Closure Extensions.
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TESTTILESELECTORCLOSUREEXTENSIONS-BOUNDARY-001
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-selector-closure-extensions-001.asl
    Kind / role
    boundary
    Pass condition
    TestTileSelectorClosureExtensions completes without assertion failure
    SHA-256
    6464df8d66c016eaf9104428647523e16b1753ef8b52fa2be3101f35eb9d274c
    Open exact source ↗ for PTO-AVS-TILE-TESTTILESELECTORCLOSUREEXTENSIONS-BOUNDARY-001
  • index, sort, histogram, and offset corner cases are effect safe
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-VEC-SFU-INDEX-CORNERS-BOUND-004
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-vec-sfu-index-corners-004.asl
    Kind / role
    boundary
    Pass condition
    corner-case results and no-effect assertions hold
    SHA-256
    8acb285ad9ef62c5a40ab2c882931abaeb21a512826f1b41d54059b97150e8bf
    Open exact source ↗ for PTO-AVS-TILE-VEC-SFU-INDEX-CORNERS-BOUND-004
  • VEC and SFU raw carriers enforce layout and alias rules
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-VEC-SFU-LAYOUT-ALIAS-BOUND-003
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-vec-sfu-layout-alias-003.asl
    Kind / role
    boundary
    Pass condition
    carrier, layout, alias, and preserved-region assertions hold
    SHA-256
    7dddc7b7d500ae829750994d2616c5fc704b701d3a83bc364780c0f1d1cf9c12
    Open exact source ↗ for PTO-AVS-TILE-VEC-SFU-LAYOUT-ALIAS-BOUND-003
  • reserved VEC and SFU selectors reject without effects
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-VEC-SFU-RESERVED-BOUND-002
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-vec-sfu-reserved-002.asl
    Kind / role
    boundary
    Pass condition
    reserved-selector rejection preserves the state fingerprint
    SHA-256
    ac0c7b9bdddc6dc95cc0efa0143af9a74f8113e3091ade150cedf97c506d161d
    Open exact source ↗ for PTO-AVS-TILE-VEC-SFU-RESERVED-BOUND-002
  • merge, TFMA, and TSORT produce exact ordered results
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case005
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-VEC-SFU-RESULTS-BOUND-005
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-vec-sfu-results-005.asl
    Kind / role
    boundary
    Pass condition
    duplicate ordering and exact result assertions hold
    SHA-256
    acf3a12c2432e54e9edf71b8c745eea66660e27d9bb6c4fa5ad91a7c7cffcded
    Open exact source ↗ for PTO-AVS-TILE-VEC-SFU-RESULTS-BOUND-005
  • VEC and SFU selector decoding is complete and engine classified
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-DISPATCH-TOP-LEVEL
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-VEC-SFU-SELECTOR-BOUND-001
    Path
    tests/asl/tile/model/dispatch/top-level/tile-bound-vec-sfu-carrier-totality-001.asl
    Kind / role
    boundary
    Pass condition
    all assigned selectors decode to a VEC or SFU operation and the assigned count is exact
    SHA-256
    a8fad4de3cd79dc3d75bc1f6896e803e03117855eb0094e3c9e282c5eeb5134a
    Open exact source ↗ for PTO-AVS-TILE-VEC-SFU-SELECTOR-BOUND-001
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

Unit metadata

Open 5 generated metadata fields
catalog_projection
{
  "catalog": "tile-operations",
  "deleted_names": [
    "ACCCVT",
    "TADDC",
    "TADDSC",
    "TALLOC",
    "TAXPY",
    "TDEINTERLEAVE",
    "TFMOD",
    "TFMODS",
    "TFREE",
    "TGATHERB",
    "TINTERLEAVE",
    "TLRELU",
    "TPARTARGMAX",
    "TPARTARGMIN",
    "TPOP",
    "TPRELU",
    "TPUSH",
    "TRESHAPE",
    "TSUBC",
    "TSUBSC",
    "TRANDOM",
    "TSORT32"
  ],
  "isa": "PTO Instruction Set Architecture",
  "rejected_names": [
    "TEXRACT",
    "TFILL/TEXPANDS",
    "TPOW",
    "TPOWS"
  ],
  "rejected_review_only_codes": {
    "CUBE": [],
    "TEPL": [],
    "TLSU": []
  },
  "reserved": {
    "cube_functions_without_named_alias": [
      3,
      7,
      8,
      [
        9,
        15
      ],
      19,
      [
        23,
        31
      ]
    ],
    "tepl_selector_ranges": [
      [
        "0x005",
        "0x005"
      ],
      [
        "0x00E",
        "0x00E"
      ],
      [
        "0x018",
        "0x019"
      ],
      [
        "0x01D",
        "0x01F"
      ],
      [
        "0x025",
        "0x025"
      ],
      [
        "0x02E",
        "0x039"
      ],
      [
        "0x03C",
        "0x03F"
      ],
      [
        "0x04E",
        "0x04F"
      ],
      [
        "0x05E",
        "0x05F"
      ],
      [
        "0x061",
        "0x061"
      ],
      [
        "0x069",
        "0x069"
      ],
      [
        "0x075",
        "0x07F"
      ]
    ],
    "tlsu_functions": [
      [
        15,
        31
      ]
    ]
  },
  "schema_version": 3
}
classification
[
  "model",
  "dispatch",
  "top-level"
]
depends_on
[
  "PTO-TILE-MODEL-DISPATCH-ELEMENTWISE-TILE-TILE",
  "PTO-TILE-MODEL-DISPATCH-TILE-SCALAR-AND-IMMEDIATE",
  "PTO-TILE-MODEL-DISPATCH-REDUCE-AND-EXPAND",
  "PTO-TILE-MODEL-DISPATCH-MEMORY-AND-DATA-MOVEMENT",
  "PTO-TILE-MODEL-DISPATCH-MATRIX-AND-MATRIX-VECTOR",
  "PTO-TILE-MODEL-DISPATCH-LAYOUT-AND-REARRANGEMENT",
  "PTO-TILE-MODEL-DISPATCH-IRREGULAR-AND-COMPLEX"
]
id
PTO-TILE-MODEL-DISPATCH-TOP-LEVEL
surface
tile
Open generated traceability record
{
  "classification": [
    "model",
    "dispatch",
    "top-level"
  ],
  "documentation": "docs/tile/model/dispatch/top-level.md",
  "id": "PTO-TILE-MODEL-DISPATCH-TOP-LEVEL",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [
    "PTO-AVS-TILE-TESTDECODEDTILEEXECUTION-EXECUTION-001",
    "PTO-AVS-TILE-TESTTILEHANDLERCLOSURE-BOUNDARY-001",
    "PTO-AVS-TILE-TESTTILESELECTORCLOSUREEXTENSIONS-BOUNDARY-001",
    "PTO-AVS-TILE-VEC-SFU-INDEX-CORNERS-BOUND-004",
    "PTO-AVS-TILE-VEC-SFU-LAYOUT-ALIAS-BOUND-003",
    "PTO-AVS-TILE-VEC-SFU-RESERVED-BOUND-002",
    "PTO-AVS-TILE-VEC-SFU-RESULTS-BOUND-005",
    "PTO-AVS-TILE-VEC-SFU-SELECTOR-BOUND-001"
  ],
  "source": "asl/tile/model/dispatch/top-level.asl",
  "surface": "tile",
  "tests": [
    "PTO-AVS-TILE-MODEL-DISPATCH-TOP-LEVEL-STATIC-001",
    "PTO-AVS-TILE-TESTDECODEDTILEEXECUTION-EXECUTION-001",
    "PTO-AVS-TILE-TESTTILEHANDLERCLOSURE-BOUNDARY-001",
    "PTO-AVS-TILE-TESTTILESELECTORCLOSUREEXTENSIONS-BOUNDARY-001",
    "PTO-AVS-TILE-VEC-SFU-INDEX-CORNERS-BOUND-004",
    "PTO-AVS-TILE-VEC-SFU-LAYOUT-ALIAS-BOUND-003",
    "PTO-AVS-TILE-VEC-SFU-RESERVED-BOUND-002",
    "PTO-AVS-TILE-VEC-SFU-RESULTS-BOUND-005",
    "PTO-AVS-TILE-VEC-SFU-SELECTOR-BOUND-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners
Release
0.58.5 · Release candidate
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL
asl/tile/model/dispatch/top-level.asl
ASL SHA-256
3c61dab10e33dcc2faabe0b8c7b0bfd9b2fa6cf0cc585cbfaa997828aa62204e
Generated documentation
docs/tile/model/dispatch/top-level.md · embedded in this page
Documentation SHA-256
f75839833a77ed56a75b4fe6e5c439e9bed7e6ff066e8a074c26c5d108a01a7b

Exact owners