目的与范围
用途与范围
本单元定义可选 VECTOR 或 CUBE 扩展状态的精确首次使用陷阱配置档钩子。可移植默认值为禁用且无效果。
PTO-ARCH-PROFILE-EXTENSION-FIRST-USE
PTO-ARCH-PROFILE-EXTENSION-FIRST-USEASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-ARCH-PROFILE-EXTENSION-FIRST-USE","surface":"arch","classification":["profile","extension-first-use"],"depends_on":["PTO-ARCH-MEMORY-MODEL-FAULT-PRECISION"]}// NDF-BEGIN: PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001// ndf: kind=contract level=L1 layer=architecture status=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.// NDF-END: PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001
type ExtensionFirstUseKind of enumeration { ExtensionFirstUseKind_VECTOR, ExtensionFirstUseKind_CUBE};
readonly impdef func ExtensionFirstUseEnabled(kind: ExtensionFirstUseKind) => booleanbegin return FALSE;end;
impdef func RaiseExtensionFirstUse(kind: ExtensionFirstUseKind, source: AccessControlRing, manager: AccessControlRing) => booleanbegin return FALSE;end;
架构行为
概念与架构状态
钩子输入
ExtensionFirstUseKind区分ExtensionFirstUseKind_VECTOR与ExtensionFirstUseKind_CUBE。ExtensionFirstUseEnabled查询具名种类是否启用。RaiseExtensionFirstUse接收扩展种类、源AccessControlRing与管理者AccessControlRing。
规则与交互
默认与启用规则
可移植定义为禁用且无效果。
两个 impdef 函数都通过返回假来实现该默认值。
启用该机制的具名配置档定义覆盖种类、启用状态、源 ACR 与管理者 ACR、精确陷阱封装、效果前排序、重试状态以及上下文保存进度。
边界与未定义范围
架构边界
该钩子不会创建扩展状态，也不会推断一条指令何时首次使用它。指令与配置档所有者决定是否在效果前调用该钩子；禁用行为保持无效果。
使用示例
示例性配置档示例
本示例块只用于帮助阅读：先应用上文规则，再到规范 ASL 所有者中确认结果。它不会增加任何架构契约。
相关所有者
- 故障精度单元提供配置档可用的陷阱入口机制。
- 受覆盖指令所有者提供效果前调用点与重试边界。
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
- contract · L1 · accepted
- surfaceARCH
- ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
- categoryARCH-EXTENSION-FIRST-USE-PROFILE
- case001
规范契约
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.
来源与引用
- 完整稳定 ID
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001- 来源路径
asl/arch/profile/extension-first-use.asl- 适用单元
- PTO-ARCH-PROFILE-EXTENSION-FIRST-USE
- 源 SHA-256
ef0bbe915fc5fd01cc93cca2a176844dcbdcb6d48af9bf36404c0bfa897615f3- 条款 SHA-256
ff0b2e74da27763b29419b15aadd08d52f5e41b80f7016ad566911e888346672
Evidence index
9 matching entries
Executable evidence2
portable extension first-use hooks are disabled and effect-free
- surfaceARCH
- ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
- categoryEXECUTION
- 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
PTO-ARCH-PROFILE-EXTENSION-FIRST-USE compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-PROFILE-EXTENSION-FIRST-USE
- categorySTATIC-INVARIANT
- 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
Commit-scoped evidence5
spec/evidence/release-traceability-readiness.json · closed
PTO-EVIDENCE-RELEASE-TRACEABILITYSources 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
spec/evidence/instruction-contract-closure.json · closed
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURESources 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
spec/evidence/architecture-readiness.json · open
PTO-EVIDENCE-ARCHITECTURE-READINESSSources and references
- Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS- Path
spec/evidence/architecture-readiness.json- Kind / role
- architecture maturity and blockers
- SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verification
PTO-EVIDENCE-RELEASE-GATE-READINESSSources 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
spec/release-manifest.json · draft
PTO-EVIDENCE-RELEASE-MANIFESTSources and references
- Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST- Path
spec/release-manifest.json- Kind / role
- release content and encoding fingerprints
- SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Decision history2
PTO v0 concrete reference profile · accepted
- decision recordADR
- 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
Extension first-use is a target-profile hook · accepted
- decision recordADR
- 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
Unit metadata
Open 4 generated metadata fields
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"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
ef0bbe915fc5fd01cc93cca2a176844dcbdcb6d48af9bf36404c0bfa897615f3- 生成文档
- docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/profile/extension-first-use.md · 已融合到当前页面
- 文档 SHA-256
afddfc09510266c75af5d342030493906c277d190baa46019d020532bff6fa9c
精确所有者
- 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