Skip to main content
NDF · contract · accepted

PTO-FP19-PARAMETER-CARRIER-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-FP19
    3. categoryFP19-PARAMETER-CARRIER
    4. case001

    Normative contract

    contract · L1 · accepted

    FP19 MUST use one sign bit, an eight-bit bias-127 exponent, and a ten-bit fraction. B.FPATR scales MUST be positive normal values; activation parameters MUST be positive zero or positive normal values. Subnormal and non-finite FP19 parameter carriers are illegal before architectural effects.

    Sources and references
    Complete stable ID
    PTO-FP19-PARAMETER-CARRIER-001
    Source path
    asl/arch/data-types/fp19.asl
    Affected units
    PTO-ARCH-DATA-TYPES-FP19
    Source SHA-256
    3733d0d930df3f890b4aa5237dfface8f0cc2081f42244f45aae711435865fa6
    Clause SHA-256
    933963f2da6a418a8bb89abf397bd1f33c34df14b804492ff3509011821a1535
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

10 matching entries

Executable evidence4
  • PTO-ARCH-DATA-TYPES-FP19 compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FP19
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-FP19-STATIC-001
    Path
    tests/asl/arch/data-types/fp19/arch-static-fp19-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-FP19-PARAMETER-CARRIER-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    50df6e60423b3392350e3af3ee65daebd30fd5d6b262d73f408aaaddb8ab852e
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-FP19-STATIC-001
  • FP19 classifies and decodes its assigned sign, exponent, and fraction fields
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FP19
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FP19-ENC-001
    Path
    tests/asl/arch/data-types/fp19/arch-bound-fp19-encoding-001.asl
    Kind / role
    boundary
    Requirements
    PTO-FP19-PARAMETER-CARRIER-001
    Pass condition
    zero, finite scales, infinity, NaN, and exact FP32 conversion use canonical FP19 encodings
    SHA-256
    4589d293a72d48a38f0ed10e3ff043b9e40a853c35496e28e57bca7bebf92967
    Open exact source ↗ for PTO-AVS-ARCH-FP19-ENC-001
  • FP19 scale and activation carriers reject subnormal and non-finite encodings
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-FP19
    3. categoryBOUNDARY
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FP19-PARAMETER-DOMAIN-002
    Path
    tests/asl/arch/data-types/fp19/arch-bound-fp19-parameter-domain-002.asl
    Kind / role
    boundary
    Requirements
    PTO-FP19-PARAMETER-CARRIER-001
    Pass condition
    only positive normal scales and positive zero or normal activation parameters are legal
    SHA-256
    972bd0e343c30dbb0c240c2175f0c276b9b8aa6cf9c0ca5cdb1ec36c5a33175e
    Open exact source ↗ for PTO-AVS-ARCH-FP19-PARAMETER-DOMAIN-002
  • 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
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
  • Numeric post-process and format operations · accepted
    1. decision recordADR
    2. case0085

    Decision record

    Loading ADR-0085…

    Sources and references
    Complete stable ID
    ADR-0085
    Path
    docs/status/decisions/0085-numeric-postprocess-and-format-operations.md
    Affected units
    PTO-ARCH-DATA-TYPES-FP19, PTO-BLOCK-B-FPATR, PTO-TILE-TCVT
    Affected NDF
    PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-FP19-PARAMETER-CARRIER-001, PTO-TCVT-CONTRACT-001
    SHA-256
    d4f1057dcc23ae62c01a08c6c4664b0b6ffa024ae45eafd776f67327d98cb9e9
    Open exact decision source ↗ for ADR-0085
Show canonical path and hashes

asl/arch/data-types/fp19.asl:3

Source SHA-256: 3733d0d930df3f890b4aa5237dfface8f0cc2081f42244f45aae711435865fa6

Clause SHA-256: 933963f2da6a418a8bb89abf397bd1f33c34df14b804492ff3509011821a1535