Skip to main content
NDF · executable · accepted

PTO-NUMERIC-FINITE-DECOMPOSITION-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. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-NUMERIC-FORMATS
    3. categoryNUMERIC-FINITE-DECOMPOSITION
    4. case001

    executable

    executable · L3 · accepted

    Every valid finite floating or scale encoding MUST decompose without host floating-point arithmetic into available, sign, integer significand, and integer exponent such that its exact value is (-1)^sign * UInt(significand) * 2^exponent. Invalid internal encodings, infinities, NaNs, and integer Tile DataTypes MUST report unavailable.

    Sources and references
    Complete stable ID
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Source path
    asl/arch/data-types/numeric-formats.asl
    Affected units
    PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS
    Source SHA-256
    101bbe4d0efa238d214cdf20cb2f9b7a413f86aa12ff1ae1be9638c4ade90c8d
    Clause SHA-256
    bdffd42ab571a4627c020005aa1209162ae9149a2c29a11026a172c29e569c42
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

27 matching entries

Executable evidence17
  • BF16 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-BF16
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-BF16-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/bf16/arch-bound-bf16-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    0365cd116d6e360bc1dea6039b3adab8593befce550a249064f8d8bbb4d15892
    Open exact source ↗ for PTO-AVS-ARCH-BF16-DECOMP-001
  • PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-NUMERIC-FORMATS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-NUMERIC-FORMATS-STATIC-001
    Path
    tests/asl/arch/data-types/numeric-formats/arch-static-numeric-formats-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    e6738ca59f37ba185651eb5ff47cb0a81af55a65c777e4fe14bb0fb5bf077c4d
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-NUMERIC-FORMATS-STATIC-001
  • E1M2X2 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E1M2X2
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E1M2X2-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e1m2x2/arch-bound-e1m2x2-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    9e2a311c3d634ca04a1dd6c34207350941bcdc1917cb5f2e73ee4479d7a7da52
    Open exact source ↗ for PTO-AVS-ARCH-E1M2X2-DECOMP-001
  • E2M1X2 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E2M1X2
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E2M1X2-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e2m1x2/arch-bound-e2m1x2-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    db698d1b685e9f471ba4a645ef2c71074409a5870be0ee51fc893771037f7d44
    Open exact source ↗ for PTO-AVS-ARCH-E2M1X2-DECOMP-001
  • E2M3 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E2M3
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E2M3-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e2m3/arch-bound-e2m3-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    7246c364910390b5295c75c485ae7b28394678d8e292eed3ab525300aaad0e8e
    Open exact source ↗ for PTO-AVS-ARCH-E2M3-DECOMP-001
  • E3M2 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E3M2
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E3M2-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e3m2/arch-bound-e3m2-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    e942008d7104703a8ee6e304e04dcca247d221b2a2a5f536a86cbcbb1bef2b93
    Open exact source ↗ for PTO-AVS-ARCH-E3M2-DECOMP-001
  • E4M3 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E4M3
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E4M3-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e4m3/arch-bound-e4m3-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    fefdb43f96bc09e0d33caeb9f35974ceafbfe71e8a3cf973c11991e0675e9a12
    Open exact source ↗ for PTO-AVS-ARCH-E4M3-DECOMP-001
  • E5M2 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E5M2
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E5M2-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e5m2/arch-bound-e5m2-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    9745706b5e7a10d79b339a0cc33000683dfb8ea7d66a42f95117ae033727b2f7
    Open exact source ↗ for PTO-AVS-ARCH-E5M2-DECOMP-001
  • E8M0 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-E8M0
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-E8M0-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/e8m0/arch-bound-e8m0-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    d20f3428e308a827e0e46c767bcc5cd2ab667090bb87fe87e8d44838124bb52a
    Open exact source ↗ for PTO-AVS-ARCH-E8M0-DECOMP-001
  • FP16 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-FP16
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FP16-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/fp16/arch-bound-fp16-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    a550875163e6eb9906daa7056488a041b5a5fdf18efcfaacfb3ed217ea4c8ef1
    Open exact source ↗ for PTO-AVS-ARCH-FP16-DECOMP-001
  • FP32 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-FP32
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FP32-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/fp32/arch-bound-fp32-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    e763f8d37a2fe64dda3bf18368ff96109fa79723763c2a2eb8dbc9d7d582d7db
    Open exact source ↗ for PTO-AVS-ARCH-FP32-DECOMP-001
  • FP64 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-FP64
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FP64-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/fp64/arch-bound-fp64-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    3b7db0a37c8f559843133794170f537da60226be7a810781e19068347e590634
    Open exact source ↗ for PTO-AVS-ARCH-FP64-DECOMP-001
  • HF32 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HF32
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-HF32-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/hf32/arch-bound-hf32-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    cef393390518bc68c53ecaf8e61e663dfedb39fe6be9b185d658678334f674e7
    Open exact source ↗ for PTO-AVS-ARCH-HF32-DECOMP-001
  • HiF4X2 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HIF4X2
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-HIF4X2-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/hif4x2/arch-bound-hif4x2-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    d18caabbe5124c6ee837f6efcaeb40c4271a3f6f3331927aba34d61f1195082f
    Open exact source ↗ for PTO-AVS-ARCH-HIF4X2-DECOMP-001
  • HiF8 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-HIF8
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-HIF8-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/hif8/arch-bound-hif8-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    12250e47f7ee38605ce521d2db8c778afd485227af4e450ad82194d08a15eb16
    Open exact source ↗ for PTO-AVS-ARCH-HIF8-DECOMP-001
  • The numeric-format API covers every floating and scale type and excludes integer types.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-NUMERIC-FORMATS
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-NUMERIC-FORMATS-DOMAIN-001
    Path
    tests/asl/arch/data-types/numeric-formats/arch-bound-numeric-formats-domain-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001
    Pass condition
    All fifteen descriptors are available, all ten integer descriptors are unavailable, and capability flags agree with the numeric profile.
    SHA-256
    c7b1f56fb35f44e0e50f09f523979d377ca88f340f1b3f10f874de6ebfe9e9e0
    Open exact source ↗ for PTO-AVS-ARCH-NUMERIC-FORMATS-DOMAIN-001
  • TF32 exposes its exact descriptor and finite-value decomposition.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FORMAT-TF32
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-TF32-DECOMP-001
    Path
    tests/asl/arch/data-types/formats/tf32/arch-bound-tf32-decomp-001.asl
    Kind / role
    boundary
    Requirements
    PTO-NUMERIC-FINITE-DECOMPOSITION-001
    Pass condition
    Field metadata, finite boundaries, unavailable special values, and existing value-class rules agree.
    SHA-256
    2b011596bc0e6d292dcee10a65971c514db4d829beae9d0b438ac7cf098b9e57
    Open exact source ↗ for PTO-AVS-ARCH-TF32-DECOMP-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 history5
  • Numeric format namespace ownership · accepted
    1. decision recordADR
    2. case0040

    Decision record

    Loading ADR-0040…

    Sources and references
    Complete stable ID
    ADR-0040
    Path
    docs/status/decisions/0040-numeric-format-namespace-ownership.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES, PTO-BLOCK-B-DATR, PTO-TILE-TCVT
    Affected NDF
    PTO-B-DATR-FIELDS-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001, PTO-TCVT-CONTRACT-001
    SHA-256
    d4383e3d07be37218f7d060e0b4d8f2aa610684aadfb128583980e2f4ecf3b92
    Open exact decision source ↗ for ADR-0040
  • Public numeric type identity and target availability · accepted
    1. decision recordADR
    2. case0043

    Decision record

    Loading ADR-0043…

    Sources and references
    Complete stable ID
    ADR-0043
    Path
    docs/status/decisions/0043-public-numeric-type-identity-and-availability.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES, PTO-TILE-TCVT
    Affected NDF
    PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001, PTO-TCVT-CONTRACT-001
    SHA-256
    4fa14704464afe3ea85b98835f2f6e7d6fa832a1f297100f41414cd3faf66924
    Open exact decision source ↗ for ADR-0043
  • Numeric format value classification · accepted
    1. decision recordADR
    2. case0048

    Decision record

    Loading ADR-0048…

    Sources and references
    Complete stable ID
    ADR-0048
    Path
    docs/status/decisions/0048-numeric-format-value-classification.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-BF16, PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-FORMAT-E1M2X2, PTO-ARCH-DATA-TYPES-FORMAT-E2M1X2, PTO-ARCH-DATA-TYPES-FORMAT-E2M3, PTO-ARCH-DATA-TYPES-FORMAT-E3M2, PTO-ARCH-DATA-TYPES-FORMAT-E4M3, PTO-ARCH-DATA-TYPES-FORMAT-E5M2, PTO-ARCH-DATA-TYPES-FORMAT-E8M0, PTO-ARCH-DATA-TYPES-FORMAT-FP16, PTO-ARCH-DATA-TYPES-FORMAT-FP32, PTO-ARCH-DATA-TYPES-FORMAT-FP64, PTO-ARCH-DATA-TYPES-FORMAT-HF32, PTO-ARCH-DATA-TYPES-FORMAT-HIF4X2, PTO-ARCH-DATA-TYPES-FORMAT-HIF8, PTO-ARCH-DATA-TYPES-FORMAT-TF32, PTO-ARCH-DATA-TYPES-NUMERIC-CLASSIFICATION, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-SCALAR-FMAX, PTO-SCALAR-FMIN, PTO-SCALAR-MODEL-FSU-PROFILE, PTO-TILE-MODEL-EXECUTION-COMPARISON, PTO-TILE-MODEL-EXECUTION-FUSED-MULTIPLY-ADD, PTO-TILE-MODEL-EXECUTION-UNARY, PTO-TILE-MODEL-NUMERIC-FORMATS, PTO-TILE-MODEL-ORDERING-SORTING, PTO-TILE-TMAX, PTO-TILE-TMIN
    Affected NDF
    PTO-FMAX-DECISION-BINDING-001, PTO-FMIN-DECISION-BINDING-001, PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001, PTO-TMAX-CONTRACT-001, PTO-TMIN-CONTRACT-001
    SHA-256
    ce3ecd1851e22b5517d07076ab8bd2db36b6b4582111c761db19240275853d9c
    Open exact decision source ↗ for ADR-0048
  • Hardware numeric subnormal policy · accepted
    1. decision recordADR
    2. case0049

    Decision record

    Loading ADR-0049…

    Sources and references
    Complete stable ID
    ADR-0049
    Path
    docs/status/decisions/0049-hardware-subnormal-policy.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-PROFILE-APPLICABILITY
    Affected NDF
    PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001
    SHA-256
    ac969b6247bbaa16e480ae96c9f227f68ffa859d06121df838c8d3b6f141ca3a
    Open exact decision source ↗ for ADR-0049
  • 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
Show canonical path and hashes

asl/arch/data-types/numeric-formats.asl:3

Source SHA-256: 101bbe4d0efa238d214cdf20cb2f9b7a413f86aa12ff1ae1be9638c4ade90c8d

Clause SHA-256: bdffd42ab571a4627c020005aa1209162ae9149a2c29a11026a172c29e569c42