purpose scope
Purpose and scope
This unit implements the PTO v0 access-control rule for system registers. It decides whether a read or write to a SystemRegisterAddress is permitted for a given AccessControlRing.
PTO-ARCH-PROFILE-APPLICABILITY
PTO-ARCH-PROFILE-APPLICABILITYASL pseudocode
The complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-PROFILE-APPLICABILITY","surface":"arch","classification":["profile","applicability"],"depends_on":["PTO-ARCH-PROFILE-RESET"]}readonly implementation func SystemRegisterAccessPermitted( address: SystemRegisterAddress, write: boolean, ring: AccessControlRing) => booleanbegin // Base registers are available at every level. Context, translation, and // debug register families are ACR0-only in the PTO v0 profile. return UInt(address[11:0]) < 0x0f00 || ring == 0;end;
Architecture behavior
concepts state
Address and privilege inputs
- The decision receives the register
address, awriteindicator, and the currentring. - The PTO v0 rule uses the low
12address bits and the ring number. - Base registers occupy addresses below
0x0f00; context, translation, and debug families begin at that boundary.
rules interactions
Access rule
SystemRegisterAccessPermitted returns true for any address whose low 12 bits are below 0x0f00. At or above 0x0f00, it returns true only when ring == 0. The current implementation applies the same boundary to reads and writes.
boundaries
Profile boundary
This is an implementation function for the PTO v0 reference profile. It is not a portable promise that every future named profile uses the same address split or privilege rule.
example usage
illustrative access 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
- Profile reset establishes initial ACR and register state.
- System-register access instructions call this profile predicate before their effects.
NDF clauses
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
No NDF clause is attached to this unit.
Evidence index
10 matching entries
Executable evidence1
PTO-ARCH-PROFILE-APPLICABILITY compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-PROFILE-APPLICABILITY
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-PROFILE-APPLICABILITY-STATIC-001- Path
tests/asl/arch/profile/applicability/arch-static-applicability-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
72e3606eddaf180815dfda25f6e262401c3e8d840afe5b2e43f4087568c8a87d
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 history4
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
Numeric profile identity and bounded variation framework · accepted
- decision recordADR
- case0037
Decision record
Loading ADR-0037…
Sources and references
- Complete stable ID
ADR-0037- Path
docs/status/decisions/0037-numeric-profile-identity-and-variation-framework.md- Affected units
- PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
- Affected NDF
- PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
- SHA-256
b09efd36ccfc7258d1743c974f42b875ead42137c503f576a12f471f65b52e30
Numeric variation-point ownership · accepted
- decision recordADR
- case0042
Decision record
Loading ADR-0042…
Sources and references
- Complete stable ID
ADR-0042- Path
docs/status/decisions/0042-numeric-variation-point-ownership.md- Affected units
- PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
- Affected NDF
- PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
- SHA-256
f25df23306837e4199f6b7c03f70de853a693fdc6435c65ead57b2a174076081
Hardware numeric subnormal policy · accepted
- decision recordADR
- case0049
Decision record
Loading ADR-0049…
Sources and references
- Complete stable ID
ADR-0049- Path
docs/status/decisions/0049-hardware-subnormal-policy.md- Affected units
- PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-PROFILE-APPLICABILITY
- Affected NDF
- PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001
- SHA-256
ac969b6247bbaa16e480ae96c9f227f68ffa859d06121df838c8d3b6f141ca3a
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"profile",
"applicability"
],
"documentation": "docs/arch/profile/applicability.md",
"id": "PTO-ARCH-PROFILE-APPLICABILITY",
"mnemonic": null,
"readiness_subjects": [
"ADR-0005",
"ADR-0037",
"ADR-0042",
"ADR-0049"
],
"semantic_tests": [],
"source": "asl/arch/profile/applicability.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-PROFILE-APPLICABILITY-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/applicability.asl
- ASL SHA-256
b3734d16ed92c3e7f9d8a99047009c8b0996cbeb88a087296c12696d9965de41- Generated documentation
- docs/arch/profile/applicability.md · embedded in this page
- Documentation SHA-256
b9bb5e1a0402d73367969fa54b60bd8f85a8d30a77d3f4b494b8915c28beea3f
Exact owners
- ASL PTO-ARCH-PROFILE-APPLICABILITY
asl/arch/profile/applicability.asl