跳到主要内容
NDF · contract · accepted

PTO-B-ASSEMBLE-LOCAL-GENERATION-001

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

1 个 owner

NDF 条款

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

    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categoryB-ASSEMBLE-LOCAL-GENERATION
    4. case001

    规范契约

    contract · L1 · accepted

    A Local B.ASSEMBLE generation is keyed by selected PE mask and architectural destination hand/name. INIT captures one normalized parent descriptor; later writers must match that identity and use a distinct instruction instance unless they are an exact replay. Coverage and readiness are checked before LAST publication, and a fault aborts the pending working version while preserving the committed version, mapping, payload, definedness, and sources.

    来源与引用
    完整稳定 ID
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001
    来源路径
    asl/block/model/operands/local-generation.asl
    适用单元
    PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    源 SHA-256
    33ba780de82c3cf87a0a249cd330c2be518d396cd2673c04ddf2bb938346c7c3
    条款 SHA-256
    8db49df045cf7ba55b6ac98b6352e7c8181b93be494d52ea81a68b846d3e574b
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

12 matching entries

Executable evidence6
  • 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
  • Decoded Local generation faults reject replacement, identity, coverage, allocation, and replay violations without partial publication.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-ASSEMBLE-LOCAL-FAULTS-001
    Path
    tests/asl/block/model/operands/local-generation/block-fault-assemble-local-faults-001.asl
    Kind / role
    fault
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-INST-BLOCK-B-ASSEMBLE, PTO-INST-BLOCK-B-IOT
    Pass condition
    Missing or duplicate INIT, second-open, equal-range distinct-instance overlap, out-of-bounds, participant-mask, normalized-descriptor/object-name, no-modifier open-key, incomplete LAST, allocation failure, and writer-after-LAST cases report exact BundleControl/TileLegality/TileAllocation results; speculative state aborts while sources remain allocated and defined.
    SHA-256
    22cb556792488b42e40ec17571d961519e0cd66911c03434306e6920f170a61e
    Open exact source ↗ for PTO-AVS-BLOCK-ASSEMBLE-LOCAL-FAULTS-001
  • Decoded Local B.ASSEMBLE keeps one open generation across disjoint writers and publishes only at LAST.
    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-LOCAL-LIFECYCLE-001
    Path
    tests/asl/block/model/operands/local-generation/block-exec-assemble-local-lifecycle-001.asl
    Kind / role
    execution
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-INST-BLOCK-B-ASSEMBLE, PTO-INST-BLOCK-B-IOT
    Pass condition
    INIT opens one generation, an exact same-instance replay is idempotent, distinct MIDDLE writers reuse one destination without allocating another object, readiness and coverage accumulate out of order, and LAST closes and publishes atomically.
    SHA-256
    6127226a74cc6b1982898a62a35bd3e2145b9485bbe1cc858bd939d67132f511
    Open exact source ↗ for PTO-AVS-BLOCK-ASSEMBLE-LOCAL-LIFECYCLE-001
  • Decoded multi-output Local assembly preflights every writer before publication.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categoryATOMICITY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-ASSEMBLE-MULTIOUTPUT-001
    Path
    tests/asl/block/model/operands/local-generation/block-atomic-assemble-multioutput-001.asl
    Kind / role
    atomicity
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-INST-BLOCK-B-IOT, PTO-INST-BLOCK-B-ASSEMBLE
    Pass condition
    Two independently bound output hands commit together with disjoint generation domains; when one output has incomplete coverage, neither destination allocates or advances.
    SHA-256
    0a936b30a2b754ac42dd93cd893a8377bb847f8d4c43cf26c785754e9f357b2a
    Open exact source ↗ for PTO-AVS-BLOCK-ASSEMBLE-MULTIOUTPUT-001
  • Decoded INIT, MIDDLE, and LAST Local generation faults retain the original operation address, restart at INIT, and abort speculative state.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-ASSEMBLE-RESTART-001
    Path
    tests/asl/block/model/operands/local-generation/block-fault-assemble-restart-001.asl
    Kind / role
    fault
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-INST-BLOCK-B-ASSEMBLE, PTO-INST-BLOCK-B-IOT
    Pass condition
    Each decoded INIT, MIDDLE, and LAST fault reports the original operation address, restores the earliest INIT TPC, and leaves no open generation, partial coverage, readiness, or publication.
    SHA-256
    2811b86d9c533058a60ad7fb19f135755ca0e622e3951560429a9fa9d6bfbb54
    Open exact source ↗ for PTO-AVS-BLOCK-ASSEMBLE-RESTART-001
  • PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION compiles as an independent normative unit
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION-STATIC-001
    Path
    tests/asl/block/model/operands/local-generation/block-static-local-generation-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-B-ASSEMBLE-LOCAL-GENERATION-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    9b3723da323d9c181afb4f392f98507fa38909655c18c8ab861bcd180ce427c8
    Open exact source ↗ for PTO-AVS-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION-STATIC-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
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
显示 canonical path 与 hash

asl/block/model/operands/local-generation.asl:3

Source SHA-256: 33ba780de82c3cf87a0a249cd330c2be518d396cd2673c04ddf2bb938346c7c3

Clause SHA-256: 8db49df045cf7ba55b6ac98b6352e7c8181b93be494d52ea81a68b846d3e574b