跳到主要内容
NDF · contract · accepted

PTO-MATRIX-POSTPROCESS-BITEXACT-001

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

1 个 owner

NDF 条款

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

    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-POSTPROCESS
    3. categoryMATRIX-POSTPROCESS-BITEXACT
    4. case001

    规范契约

    contract · L1 · accepted

    Matrix post-processing MUST reduce the raw accumulator before conversion, select an activation-dependent multiplier before destination conversion, canonicalize special results, and publish D, enabled auxiliary outputs, and sticky flags as one non-faulting commit.

    来源与引用
    完整稳定 ID
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    来源路径
    asl/arch/profile/matrix-postprocess.asl
    适用单元
    PTO-ARCH-PROFILE-MATRIX-POSTPROCESS
    源 SHA-256
    f69bbad94a6064490398c10817a50f8a7249d7a32b5ab95f807761e14363b30c
    条款 SHA-256
    d53b7b9242d9dece4a8dbdd5c3f050bc743992a428f2b62ae502dd3ca9690c33
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

19 matching entries

Executable evidence9
  • Matrix post-processing combines conversion, activation, reduction, and status without identity fallback
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-POSTPROCESS
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-MATRIX-POST-001
    Path
    tests/asl/arch/profile/matrix-postprocess/arch-exec-matrix-postprocess-001.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    representative S8 activation and maximum reduction return exact values and flags
    SHA-256
    92669a95060a3b8714455a3f9963aeede37677257743c6098cf45a6af57758de
    Open exact source ↗ for PTO-AVS-ARCH-MATRIX-POST-001
  • Matrix activation selects the negative-path multiplier before destination conversion
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-POSTPROCESS
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-MATRIX-POSTPROCESS-PIPELINE-002
    Path
    tests/asl/arch/profile/matrix-postprocess/arch-exec-matrix-postprocess-pipeline-002.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    an FP32 value at a double-rounding boundary produces the single-round FP16 result and exact flags
    SHA-256
    29d156198af9caef5156e22bb229ffab7286670561b6228df661121249708a90
    Open exact source ↗ for PTO-AVS-ARCH-MATRIX-POSTPROCESS-PIPELINE-002
  • PTO-ARCH-PROFILE-MATRIX-POSTPROCESS compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-POSTPROCESS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-PROFILE-MATRIX-POSTPROCESS-STATIC-001
    Path
    tests/asl/arch/profile/matrix-postprocess/arch-static-matrix-postprocess-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    7f3949620ad409c9911878179425bdf2233a8d259ff2f765ff99f61aeea01392
    Open exact source ↗ for PTO-AVS-ARCH-PROFILE-MATRIX-POSTPROCESS-STATIC-001
  • B.FPATR floating signed zero participates in the complete affine pipeline
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryEXECUTION
    4. case009
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009
    Path
    tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-zero-affine-009.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    positive and negative FP32 zero publish the assigned positive negative or zero S8 offset
    SHA-256
    f2fbb807f80841402374fda9bf213be973ba03c06448e6f5b63100f72d868f17
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009
  • Matrix vector parameter preflight rejects subnormal FP19 carriers
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS
    3. categoryBOUNDARY
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MATRIX-PARAMS-002
    Path
    tests/asl/tile/model/legality/matrix-postprocess/tile-bound-matrix-params-002.asl
    Kind / role
    boundary
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-FP19-PARAMETER-CARRIER-001
    Pass condition
    normal quantization and activation carriers pass while subnormal and nonzero-unused-bit words reject
    SHA-256
    9103c56ebc98d0f221d43e774a367f91d6e5c7cd530cfaa2b88dc95daec57f49
    Open exact source ↗ for PTO-AVS-TILE-MATRIX-PARAMS-002
  • matrix postprocess computes raw D RowMaxOut and partial GroupMaxOut before one publication
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-EXECUTION-POSTPROCESS
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-EXECUTION-POSTPROCESS-AUX-EXECUTION-001
    Path
    tests/asl/tile/model/execution/postprocess/tile-exec-postprocess-aux-001.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    legal U32 outputs observe raw values RowMaxIn and exact full plus partial groups
    SHA-256
    6ef6b64a850a6909c5a28c2eab0b4155dd555044ee0fc0d066441c64a5c3170a
    Open exact source ↗ for PTO-AVS-TILE-MODEL-EXECUTION-POSTPROCESS-AUX-EXECUTION-001
  • single-element RowMax and GroupMax apply MaxAbs before publication
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-EXECUTION-POSTPROCESS
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-POST-MAXABS-SINGLE-002
    Path
    tests/asl/tile/model/execution/postprocess/tile-exec-postprocess-maxabs-single-002.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    a negative one-element S32 accumulator publishes its positive magnitude to both auxiliary outputs
    SHA-256
    d986c36499a47c94a87f10e4854cc11a611fb33e4aa9f8f07baf619ea52f5bb0
    Open exact source ↗ for PTO-AVS-TILE-POST-MAXABS-SINGLE-002
  • matrix GroupMax executes one partial group when GroupN exceeds N
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-EXECUTION-POSTPROCESS
    3. categoryEXECUTION
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-POSTPROCESS-GROUP-LARGE-004
    Path
    tests/asl/tile/model/execution/postprocess/tile-exec-postprocess-group-large-004.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    a one by three U32 accumulator with GroupN eight publishes one maximum value
    SHA-256
    d85357a8178860f0d81961453d6ba041aa3d9a81e7989d3bf5ab297c871ac511
    Open exact source ↗ for PTO-AVS-TILE-POSTPROCESS-GROUP-LARGE-004
  • matrix postprocess rejects a late GroupMax capacity failure before any publication
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-EXECUTION-POSTPROCESS
    3. categoryATOMICITY
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-POSTPROCESS-ROLLBACK-003
    Path
    tests/asl/tile/model/execution/postprocess/tile-atomic-postprocess-rollback-003.asl
    Kind / role
    atomicity
    Requirements
    PTO-MATRIX-POSTPROCESS-BITEXACT-001
    Pass condition
    D RowMaxOut GroupMaxOut allocation flags capacity and source payload remain unchanged
    SHA-256
    eb6bfb4b57227a8805ff5b5189112fc0d2e85e64efa2ec7dc18de907e4bbf51d
    Open exact source ↗ for PTO-AVS-TILE-POSTPROCESS-ROLLBACK-003
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 history5
  • PTO v0 concrete reference profile · accepted
    1. decision recordADR
    2. case0005

    Decision record

    Loading ADR-0005…

    Sources and references
    Complete stable ID
    ADR-0005
    Path
    docs/status/decisions/0005-pto-v0-concrete-reference-profile.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-EXTENSION-FIRST-USE, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION, PTO-ARCH-PROFILE-RESET, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY
    Affected NDF
    PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001, PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    a83528c2fc744cc120c2a0a32c82410059638ea88936fa65ac0eb36a0274d87c
    Open exact decision source ↗ for ADR-0005
  • Numeric profile identity and bounded variation framework · accepted
    1. decision recordADR
    2. case0037

    Decision record

    Loading ADR-0037…

    Sources and references
    Complete stable ID
    ADR-0037
    Path
    docs/status/decisions/0037-numeric-profile-identity-and-variation-framework.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
    Affected NDF
    PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    b09efd36ccfc7258d1743c974f42b875ead42137c503f576a12f471f65b52e30
    Open exact decision source ↗ for ADR-0037
  • Numeric variation-point ownership · accepted
    1. decision recordADR
    2. case0042

    Decision record

    Loading ADR-0042…

    Sources and references
    Complete stable ID
    ADR-0042
    Path
    docs/status/decisions/0042-numeric-variation-point-ownership.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
    Affected NDF
    PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    f25df23306837e4199f6b7c03f70de853a693fdc6435c65ead57b2a174076081
    Open exact decision source ↗ for ADR-0042
  • Hardware special-value result checkpoint · accepted
    1. decision recordADR
    2. case0050

    Decision record

    Loading ADR-0050…

    Sources and references
    Complete stable ID
    ADR-0050
    Path
    docs/status/decisions/0050-hardware-special-value-checkpoint.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-SCALAR-FMAX, PTO-SCALAR-FMIN, PTO-TILE-TMAX, PTO-TILE-TMIN
    Affected NDF
    PTO-FMAX-DECISION-BINDING-001, PTO-FMIN-DECISION-BINDING-001, PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001, PTO-TMAX-CONTRACT-001, PTO-TMIN-CONTRACT-001
    SHA-256
    08cfdeb16bf245980c9db849994e181e5079efc53475762cdad1df9f555993b5
    Open exact decision source ↗ for ADR-0050
  • B.FPATR Complete-Bundle Matrix PostProcess · accepted
    1. decision recordADR
    2. case0064

    Decision record

    Loading ADR-0064…

    Sources and references
    Complete stable ID
    ADR-0064
    Path
    docs/status/decisions/0064-b-fpatr-complete-bundle-postprocess.md
    Affected units
    PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-BLOCK-B-FPATR
    Affected NDF
    PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001
    SHA-256
    853e7fe83cf78a1fbf1fe1668ce6dbf64e5da29ddb301865ed03e8af8f99cad1
    Open exact decision source ↗ for ADR-0064
显示 canonical path 与 hash

asl/arch/profile/matrix-postprocess.asl:3

Source SHA-256: f69bbad94a6064490398c10817a50f8a7249d7a32b5ab95f807761e14363b30c

Clause SHA-256: d53b7b9242d9dece4a8dbdd5c3f050bc743992a428f2b62ae502dd3ca9690c33