跳到主要内容
NDF · contract · accepted

PTO-MATRIX-QUANT-BITEXACT-001

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

1 个 owner

NDF 条款

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

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

    规范契约

    contract · L1 · accepted

    Matrix PreQuant MUST multiply by the selected FP19 scale, round and saturate at an assigned S5, S9, or S17 intermediate, add the signed offset, and only then apply final destination encoding. Shift modes MUST perform their assigned one-through-sixteen-bit ASR and saturate its S16 result.

    来源与引用
    完整稳定 ID
    PTO-MATRIX-QUANT-BITEXACT-001
    来源路径
    asl/arch/profile/matrix-quantization.asl
    适用单元
    PTO-ARCH-PROFILE-MATRIX-QUANTIZATION
    源 SHA-256
    7fe767f6545495eb8b36f6fa9246e3d3b36d08915368eaf110f79b31308de440
    条款 SHA-256
    0c1b137aa3c724f1674f30c22ec0b648608d0305a378aef17f435e5798c951a8
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

14 matching entries

Executable evidence5
  • Matrix quantization rounds and saturates at assigned signed intermediate widths
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-QUANTIZATION
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-MATRIX-INTERMEDIATE-002
    Path
    tests/asl/arch/profile/matrix-quantization/arch-exec-matrix-intermediate-002.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-QUANT-BITEXACT-001
    Pass condition
    S5 S9 S17 and shifted S16 boundaries return exact values and numeric flags
    SHA-256
    d6cb36092f0003111e8003e8e027c323e2686e8b88965bccd59e7332f5e2306e
    Open exact source ↗ for PTO-AVS-ARCH-MATRIX-INTERMEDIATE-002
  • Matrix quantization helpers encode parameters and representative destination values exactly
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-QUANTIZATION
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-MATRIX-QUANT-001
    Path
    tests/asl/arch/profile/matrix-quantization/arch-exec-matrix-quantization-001.asl
    Kind / role
    execution
    Requirements
    PTO-MATRIX-QUANT-BITEXACT-001
    Pass condition
    FP19 scale, signed offset, integer wrap, FP16, E4M3, and HiF8 helpers return exact carriers
    SHA-256
    58ba7a5c35d1c667e57c23b82a434006709c925c88a0c91b64190cf859160c50
    Open exact source ↗ for PTO-AVS-ARCH-MATRIX-QUANT-001
  • PTO-ARCH-PROFILE-MATRIX-QUANTIZATION compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-MATRIX-QUANTIZATION
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-PROFILE-MATRIX-QUANTIZATION-STATIC-001
    Path
    tests/asl/arch/profile/matrix-quantization/arch-static-matrix-quantization-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-MATRIX-QUANT-BITEXACT-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    bd64d8ee6c83946d3d622e3bede11ae210e662fba80f0793bfac6f18ad8629c8
    Open exact source ↗ for PTO-AVS-ARCH-PROFILE-MATRIX-QUANTIZATION-STATIC-001
  • B.FPATR rejects controls that conflict with fixed rounding or saturation
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryFAULT
    4. case010
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-CONTROLS-010
    Path
    tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-controls-010.asl
    Kind / role
    fault
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-QUANT-BITEXACT-001
    Pass condition
    fixed FP16 BF16 E4M3 HiF8 and shift modes reject inapplicable fields while programmable integer modes retain them
    SHA-256
    3f8b691fa83f7ee15971b75d551a5aa0042fb15343c338b204abca19455145a5
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CONTROLS-010
  • B.FPATR saturates assigned signed intermediates before offset and destination encoding
    1. surfaceBLOCK
    2. ownerB.FPATR
    3. categoryEXECUTION
    4. case008
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-B-FPATR-ROUNDING-008
    Path
    tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-rounding-008.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-QUANT-BITEXACT-001
    Pass condition
    REQ4 REQ8 DEQS16 and shift modes expose exact intermediate saturation results under non-saturating final control
    SHA-256
    39774698c6a2b365291c974bdc41e35c4cbdfdef4957428b193e09c8ae2ba391
    Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ROUNDING-008
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 history4
  • 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
  • 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-quantization.asl:3

Source SHA-256: 7fe767f6545495eb8b36f6fa9246e3d3b36d08915368eaf110f79b31308de440

Clause SHA-256: 0c1b137aa3c724f1674f30c22ec0b648608d0305a378aef17f435e5798c951a8