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打开精确 canonical source ↗ Evidence index Search evidence by identity or path Expand groups Collapse groups
9 matching entries
Executable evidence 2 portable extension first-use hooks are disabled and effect-free surface ARCH owner PTO-ARCH-PROFILE-EXTENSION-FIRST-USE category EXECUTION case 001 Copy ID
Show exact test source Sources and references Complete stable ID PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001Path tests/asl/arch/profile/extension-first-use/arch-exec-extension-first-use-default-001.aslKind / 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 0e11de263b9695082f286ea7a8114971b35803a84d31683c442547d36c22e568Open exact source ↗ for PTO-AVS-ARCH-EXTENSION-FIRST-USE-DEFAULT-001 PTO-ARCH-PROFILE-EXTENSION-FIRST-USE compiles as an independent normative unit surface ARCH owner PTO-ARCH-PROFILE-EXTENSION-FIRST-USE category STATIC-INVARIANT case 001 Copy ID
Show exact test source Sources and references Complete stable ID PTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-STATIC-001Path tests/asl/arch/profile/extension-first-use/arch-static-extension-first-use-contract-001.aslKind / 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 6255e5a5376b484598806d2d6ec01085ebd04110b5f65571c74860c9bca3b489Open exact source ↗ for PTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-STATIC-001 Commit-scoped evidence 5 spec/evidence/release-traceability-readiness.json · closed PTO-EVIDENCE-RELEASE-TRACEABILITYSources and references Complete stable ID PTO-EVIDENCE-RELEASE-TRACEABILITYPath spec/evidence/release-traceability-readiness.jsonKind / role ASL/NDF/documentation/AVS traceability SHA-256 c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3eOpen exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY spec/evidence/instruction-contract-closure.json · closed PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURESources and references Complete stable ID PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPath spec/evidence/instruction-contract-closure.jsonKind / role mnemonic and encoding contract closure SHA-256 3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aOpen exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE spec/evidence/architecture-readiness.json · open PTO-EVIDENCE-ARCHITECTURE-READINESSSources and references Complete stable ID PTO-EVIDENCE-ARCHITECTURE-READINESSPath spec/evidence/architecture-readiness.jsonKind / role architecture maturity and blockers SHA-256 4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS 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-READINESSPath spec/evidence/release-gate-readiness.jsonKind / role exact-head gate readiness SHA-256 a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS spec/release-manifest.json · draft PTO-EVIDENCE-RELEASE-MANIFESTSources and references Complete stable ID PTO-EVIDENCE-RELEASE-MANIFESTPath spec/release-manifest.jsonKind / role release content and encoding fingerprints SHA-256 1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST Decision history 2 PTO v0 concrete reference profile · accepted decision record ADR case 0005 Copy ID
Decision record Loading ADR-0005…
Sources and references Complete stable ID ADR-0005Path docs/status/decisions/0005-pto-v0-concrete-reference-profile.mdAffected 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 a83528c2fc744cc120c2a0a32c82410059638ea88936fa65ac0eb36a0274d87cOpen exact decision source ↗ for ADR-0005 Extension first-use is a target-profile hook · accepted decision record ADR case 0068 Copy ID
Decision record Loading ADR-0068…
Sources and references Complete stable ID ADR-0068Path docs/status/decisions/0068-extension-first-use-profile-hook.mdAffected units PTO-ARCH-PROFILE-EXTENSION-FIRST-USE Affected NDF PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001 SHA-256 a4d72d235ac031a2663679a21cc5b52111f894d02f14929c9bee4a39658406c2Open exact decision source ↗ for ADR-0068 显示 canonical path 与 hash asl/arch/profile/extension-first-use.asl:2
Source SHA-256: ef0bbe915fc5fd01cc93cca2a176844dcbdcb6d48af9bf36404c0bfa897615f3
Clause SHA-256: ff0b2e74da27763b29419b15aadd08d52f5e41b80f7016ad566911e888346672