Numeric execution flags MUST map to CORE_STATE[36:32] as NV, DZ, OF, UF,
and NX, and a successful numeric operation MUST OR its produced flags into
the existing sticky status without clearing an earlier flag.
上移 下移
来源与引用 完整稳定 ID PTO-NUMERIC-STATUS-STICKY-001来源路径 asl/arch/state/numeric-status.asl适用单元 PTO-ARCH-STATE-NUMERIC-STATUS 源 SHA-256 3d3fe1709c7e2903bca96d50e9671a6a484c442ff08ce4a8340168cdb38ac6d9条款 SHA-256 726594cdc2b4175fe94b32f63471549fab32de6dcf2cf0272ecf2845684ffb77打开精确 canonical source ↗ Evidence index Search evidence by identity or path Expand groups Collapse groups
8 matching entries
Executable evidence 2 numeric status accumulates sticky architectural flags surface ARCH owner PTO-ARCH-STATE-NUMERIC-STATUS category STATE-TRANSITION case 001 Copy ID
Show exact test source Sources and references Complete stable ID PTO-AVS-ARCH-NUMERIC-STATUS-001Path tests/asl/arch/state/numeric-status/arch-state-numeric-status-001.aslKind / role state-transition Requirements PTO-NUMERIC-STATUS-STICKY-001 Pass condition new flags are ORed into CORE_STATE without clearing an existing flag SHA-256 73c82a0e416a7635964e18f0b52a0330df6edcb3292f9eb65937b9ace7d9948dOpen exact source ↗ for PTO-AVS-ARCH-NUMERIC-STATUS-001 PTO-ARCH-STATE-NUMERIC-STATUS compiles as an independent normative unit surface ARCH owner PTO-ARCH-STATE-NUMERIC-STATUS category STATIC-INVARIANT case 001 Copy ID
Show exact test source Sources and references Complete stable ID PTO-AVS-ARCH-STATE-NUMERIC-STATUS-STATIC-001Path tests/asl/arch/state/numeric-status/arch-static-numeric-status-contract-001.aslKind / role static-invariant Requirements PTO-NUMERIC-STATUS-STICKY-001 Pass condition the complete model and this unit's static invariant compile SHA-256 98f5b7e8fe831e27ddfd019b142755a3675e04ff9fe7224a881f3f5d28eca221Open exact source ↗ for PTO-AVS-ARCH-STATE-NUMERIC-STATUS-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 1 Scalar numeric flag state and producer ownership · accepted decision record ADR case 0038 Copy ID
Decision record Loading ADR-0038…
Sources and references Complete stable ID ADR-0038Path docs/status/decisions/0038-scalar-numeric-flag-state-and-ownership.mdAffected units PTO-ARCH-STATE-NUMERIC-STATUS, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-SCALAR-FABS, PTO-SCALAR-FADD, PTO-SCALAR-FCVT, PTO-SCALAR-FCVTA, PTO-SCALAR-FCVTM, PTO-SCALAR-FCVTN, PTO-SCALAR-FCVTP, PTO-SCALAR-FCVTZ, PTO-SCALAR-FDIV, PTO-SCALAR-FEQ, PTO-SCALAR-FEQS, PTO-SCALAR-FEXP, PTO-SCALAR-FGE, PTO-SCALAR-FGES, PTO-SCALAR-FLT, PTO-SCALAR-FLTS, PTO-SCALAR-FMADD, PTO-SCALAR-FMAX, PTO-SCALAR-FMIN, PTO-SCALAR-FMSUB, PTO-SCALAR-FMUL, PTO-SCALAR-FNE, PTO-SCALAR-FNES, PTO-SCALAR-FNMADD, PTO-SCALAR-FNMSUB, PTO-SCALAR-FRECIP, PTO-SCALAR-FSQRT, PTO-SCALAR-FSUB, PTO-SCALAR-SCVTF, PTO-SCALAR-UCVTF Affected NDF PTO-FABS-DECISION-BINDING-001, PTO-FCVTA-DECISION-BINDING-001, PTO-FCVTM-DECISION-BINDING-001, PTO-FCVTN-DECISION-BINDING-001, PTO-FCVTP-DECISION-BINDING-001, PTO-FCVTZ-DECISION-BINDING-001, PTO-FMAX-DECISION-BINDING-001, PTO-FMIN-DECISION-BINDING-001, PTO-FNE-DECISION-BINDING-001, PTO-FNES-DECISION-BINDING-001, PTO-NUMERIC-STATUS-STICKY-001, PTO-SCVTF-DECISION-BINDING-001, PTO-UCVTF-DECISION-BINDING-001 SHA-256 eac15c3bee955bb92833482b9af8b9f149fe17c13138e6f2b22f0ed1cf40fc07Open exact decision source ↗ for ADR-0038 显示 canonical path 与 hash asl/arch/state/numeric-status.asl:2
Source SHA-256: 3d3fe1709c7e2903bca96d50e9671a6a484c442ff08ce4a8340168cdb38ac6d9
Clause SHA-256: 726594cdc2b4175fe94b32f63471549fab32de6dcf2cf0272ecf2845684ffb77