PTO-ARCH-PROFILE-EXTENSION-FIRST-USE

PTO-ARCH-PROFILE-EXTENSION-FIRST-USE

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-ARCH-PROFILE-EXTENSION-FIRST-USE","surface":"arch","classification":["profile","extension-first-use"],"depends_on":["PTO-ARCH-MEMORY-MODEL-FAULT-PRECISION"]}2// NDF-BEGIN: PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-0013// ndf: kind=contract level=L1 layer=architecture status=accepted4// A target profile MAY provide a precise extension first-use trap. The5// portable default MUST remain disabled and effect-free. An enabling profile6// MUST define covered kinds, enable state, source and manager ACRs, the exact7// trap envelope, pre-effect ordering, retry state, and context-save progress.8// NDF-END: PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-0019
10type ExtensionFirstUseKind of enumeration {11    ExtensionFirstUseKind_VECTOR,12    ExtensionFirstUseKind_CUBE13};14
15readonly impdef func ExtensionFirstUseEnabled(kind: ExtensionFirstUseKind)16    => boolean17begin18    return FALSE;19end;20
21impdef func RaiseExtensionFirstUse(kind: ExtensionFirstUseKind,22                                  source: AccessControlRing,23                                  manager: AccessControlRing) => boolean24begin25    return FALSE;26end;27

Architecture behavior

purpose scope

Purpose and scope

This unit defines the profile hook for a precise first-use trap on optional VECTOR or CUBE extension state. The portable default is disabled and has no effect.

concepts state

Hook inputs

ExtensionFirstUseKind distinguishes ExtensionFirstUseKind_VECTOR and ExtensionFirstUseKind_CUBE.
ExtensionFirstUseEnabled asks whether the named kind is active.
RaiseExtensionFirstUse receives the extension kind, source AccessControlRing, and manager AccessControlRing.

rules interactions

Default and enabling rules

The portable definition is disabled and effect-free.

Both impdef functions implement that default by returning false.

An enabling named profile defines the covered kinds, enable state, source and manager ACRs, precise trap envelope, pre-effect ordering, retry state, and context-save progress.

boundaries

Architectural boundary

The hook does not create extension state or infer when an instruction first uses it. Instruction and profile owners decide whether to call the hook before effects; disabled behavior remains effect-free.

example usage

illustrative profile example

Use this example block only as a reading aid: apply the rules above, then confirm the result in the normative ASL owner. It does not add an architectural contract.

Related owners

Fault precision provides the trap-entry mechanisms available to profiles.
Covered instruction owners provide the pre-effect call sites and retry boundaries.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

surfaceARCH
ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
categoryARCH-EXTENSION-FIRST-USE-PROFILE
case001
Normative contract
contract · L1 · accepted
A target profile MAY provide a precise extension first-use trap. The portable default MUST remain disabled and effect-free. An enabling profile MUST define covered kinds, enable state, source and manager ACRs, the exact trap envelope, pre-effect ordering, retry state, and context-save progress.
Sources and references
Complete stable ID
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001
Source path
asl/arch/profile/extension-first-use.asl
Affected units
PTO-ARCH-PROFILE-EXTENSION-FIRST-USE
Source SHA-256
ef0bbe915fc5fd01cc93cca2a176844dcbdcb6d48af9bf36404c0bfa897615f3
Clause SHA-256
ff0b2e74da27763b29419b15aadd08d52f5e41b80f7016ad566911e888346672
Open exact canonical source ↗

Evidence index

9 matching entries

Executable evidence2

portable extension first-use hooks are disabled and effect-free
1. surfaceARCH
2. ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001
Path
tests/asl/arch/profile/extension-first-use/arch-exec-extension-first-use-default-001.asl
Kind / role
execution
Requirements
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001
Pass condition
both kinds report disabled, raise no trap, and preserve trap, bundle, queue, memory, and fault state
SHA-256
0e11de263b9695082f286ea7a8114971b35803a84d31683c442547d36c22e568
Open exact source ↗ for PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001
PTO-ARCH-PROFILE-EXTENSION-FIRST-USE compiles as an independent normative unit
1. surfaceARCH
2. ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-STATIC-001
Path
tests/asl/arch/profile/extension-first-use/arch-static-extension-first-use-contract-001.asl
Kind / role
static-invariant
Requirements
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001
Pass condition
the complete model and this unit's static invariant compile
SHA-256
6255e5a5376b484598806d2d6ec01085ebd04110b5f65571c74860c9bca3b489
Open exact source ↗ for PTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-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 history2

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
Extension first-use is a target-profile hook · accepted
1. decision recordADR
2. case0068
Decision record
Loading ADR-0068…
Sources and references
Complete stable ID
ADR-0068
Path
docs/status/decisions/0068-extension-first-use-profile-hook.md
Affected units
PTO-ARCH-PROFILE-EXTENSION-FIRST-USE
Affected NDF
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001
SHA-256
a4d72d235ac031a2663679a21cc5b52111f894d02f14929c9bee4a39658406c2
Open exact decision source ↗ for ADR-0068

Unit metadata

Open 4 generated metadata fields

id: PTO-ARCH-PROFILE-EXTENSION-FIRST-USE
surface: arch
classification: [ "profile", "extension-first-use" ]
depends_on: [ "PTO-ARCH-MEMORY-MODEL-FAULT-PRECISION" ]

Open generated traceability record

{
  "classification": [
    "profile",
    "extension-first-use"
  ],
  "documentation": "docs/arch/profile/extension-first-use.md",
  "id": "PTO-ARCH-PROFILE-EXTENSION-FIRST-USE",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0005",
    "ADR-0068"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001"
  ],
  "source": "asl/arch/profile/extension-first-use.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001",
    "PTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-STATIC-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/arch/profile/extension-first-use.asl
ASL SHA-256: ef0bbe915fc5fd01cc93cca2a176844dcbdcb6d48af9bf36404c0bfa897615f3
Generated documentation: docs/arch/profile/extension-first-use.md · embedded in this page
Documentation SHA-256: fb16e18d1c162fed1f5d1d64bb5c422c21e30a33a1824fa00d9a1b9a04002f52

Exact owners

ASL PTO-ARCH-PROFILE-EXTENSION-FIRST-USE asl/arch/profile/extension-first-use.asl
NDF PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001 asl/arch/profile/extension-first-use.asl