purpose scope
Purpose and scope
FaultCode is the PTO ASL enumeration for Fault_None and fifteen named non-None fault identities. This unit defines only those identities; it does not define when they are selected or what transition follows.
PTO-ARCH-DATA-TYPES-FAULT
PTO-ARCH-DATA-TYPES-FAULTASL pseudocode
The complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-FAULT","surface":"arch","classification":["data-types","fault"],"depends_on":["PTO-ARCH-DATA-TYPES-INTEGER"]}type FaultCode of enumeration { Fault_None, Fault_ExecutionStateCheck, Fault_IllegalInstruction, Fault_InstructionPC, Fault_InstructionPage, Fault_DataAlignment, Fault_DataPage, Fault_SoftwareBreakpoint, Fault_HardwareBreakpoint, Fault_HardwareWatchpoint, Fault_Assert, Fault_TileLegality, Fault_TileAllocation, Fault_BundleControl, Fault_BundlePostCommit, Fault_ServiceRequest};
Architecture behavior
concepts state
Fault groups
Fault_None represents no active fault. Execution checking, illegal instruction, instruction address/page, data alignment/page, debug, assertion, Tile legality/allocation, bundle control/post-commit, and service request each have distinct enumeration members.
The separation lets later ASL owners select a cause without encoding trap numbers or recovery behavior into this type definition.
rules interactions
How the code is used
A FaultCode value is exactly one member of this enumeration. The declaration does not assign trap numbers, priorities, payloads, or recovery behavior.
The AVS linked to this unit provides cross-owner execution evidence; it is not part of the enumeration definition on this page.
boundaries
Boundaries
Fault_BundleControl and Fault_BundlePostCommit are distinct enumeration members. Fault_TileLegality and Fault_TileAllocation are also distinct members.
Questions about which instruction selects a member, or how a trap or profile owner interprets it, are outside this type declaration.
example usage
illustrative reading example
This example is a reading aid, not a new fault rule.
When another ASL unit uses Fault_DataAlignment, read that unit as the owner of the surrounding behavior; this page establishes only that Fault_DataAlignment is a distinct FaultCode member.
Related owners
- Trap context defines saved trap context state.
- Execution context explains where fault and program-control state fit in the architectural state model.
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
8 matching entries
Executable evidence2
PTO-ARCH-DATA-TYPES-FAULT compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-DATA-TYPES-FAULT
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-DATA-TYPES-FAULT-STATIC-001- Path
tests/asl/arch/data-types/fault/arch-static-fault-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
09298fe7a9f3232db427f7d0f0b8a64d3cf22fb5374675f2e1a72145d8ef89ee
Covers Complete Trap Envelope.
- surfaceARCH
- ownerPTO-ARCH-DATA-TYPES-FAULT
- categoryFAULT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-TESTCOMPLETETRAPENVELOPE-FAULT-001- Path
tests/asl/arch/data-types/fault/arch-fault-complete-trap-envelope-001.asl- Kind / role
- fault
- Pass condition
- TestCompleteTrapEnvelope completes without assertion failure
- SHA-256
7b876a89dc7673cceb61ed326f196fd959295c0173c58ca18ca96b7085b9adcb
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 history1
Define the PTO v0 disposition of every trap identity · accepted
- decision recordADR
- case0018
Decision record
Loading ADR-0018…
Sources and references
- Complete stable ID
ADR-0018- Path
docs/status/decisions/0018-pto-v0-trap-disposition.md- Affected units
- PTO-ARCH-DATA-TYPES-FAULT, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-SCALAR-ACRC, PTO-SCALAR-ACRE, PTO-SCALAR-ASSERT, PTO-SCALAR-BC-IALL, PTO-SCALAR-BC-IVA, PTO-SCALAR-BSE, PTO-SCALAR-BWE, PTO-SCALAR-BWI, PTO-SCALAR-BWT, PTO-SCALAR-C-EBREAK, PTO-SCALAR-C-SSRGET, PTO-SCALAR-DC-CISW, PTO-SCALAR-DC-CIVA, PTO-SCALAR-DC-CSW, PTO-SCALAR-DC-CVA, PTO-SCALAR-DC-IALL, PTO-SCALAR-DC-ISW, PTO-SCALAR-DC-IVA, PTO-SCALAR-DC-ZVA, PTO-SCALAR-EBREAK, PTO-SCALAR-FENCE-D, PTO-SCALAR-FENCE-I, PTO-SCALAR-HL-SSRGET, PTO-SCALAR-HL-SSRSET, PTO-SCALAR-IC-IALL, PTO-SCALAR-IC-IVA, PTO-SCALAR-LSRGET, PTO-SCALAR-SETC-TGT, PTO-SCALAR-SSRGET, PTO-SCALAR-SSRSET, PTO-SCALAR-SSRSWAP, PTO-SCALAR-TLB-IA, PTO-SCALAR-TLB-IALL, PTO-SCALAR-TLB-IAV, PTO-SCALAR-TLB-IV
- Affected NDF
- PTO-ACRC-DECISION-BINDING-001, PTO-ACRE-IMPLICIT-STOP-001, PTO-BSE-DECISION-BINDING-001, PTO-BWE-DECISION-BINDING-001, PTO-BWI-DECISION-BINDING-001, PTO-BWT-DECISION-BINDING-001, PTO-C-EBREAK-CAUSE-001, PTO-C-SSRGET-DIRECT-IDS-001, PTO-EBREAK-DECISION-BINDING-001, PTO-FENCE-D-DECISION-BINDING-001, PTO-FENCE-I-DECISION-BINDING-001, PTO-HL-SSRGET-DECISION-BINDING-001, PTO-HL-SSRSET-DECISION-BINDING-001, PTO-LSRGET-BARG-001, PTO-SETC-TGT-ADR-CONTRACT-001, PTO-SSRGET-ADR-CONTRACT-001, PTO-SSRSET-ADR-CONTRACT-001, PTO-SSRSWAP-ADR-CONTRACT-001, PTO-TLB-IA-ADR-CONTRACT-001, PTO-TLB-IALL-ADR-CONTRACT-001, PTO-TLB-IAV-ADR-CONTRACT-001, PTO-TLB-IV-ADR-CONTRACT-001
- SHA-256
ce33454ffd2a595425ebece5954c9990ea2b9c4890008ad700599f767d7b9716
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"data-types",
"fault"
],
"documentation": "docs/arch/data-types/fault.md",
"id": "PTO-ARCH-DATA-TYPES-FAULT",
"mnemonic": null,
"readiness_subjects": [
"ADR-0018"
],
"semantic_tests": [
"PTO-AVS-ARCH-TESTCOMPLETETRAPENVELOPE-FAULT-001"
],
"source": "asl/arch/data-types/fault.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DATA-TYPES-FAULT-STATIC-001",
"PTO-AVS-ARCH-TESTCOMPLETETRAPENVELOPE-FAULT-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/data-types/fault.asl
- ASL SHA-256
659ed9cbf6286d7011a9156b582b804e5f2e6fa1dd5bd5c3dac70056bd572b9d- Generated documentation
- docs/arch/data-types/fault.md · embedded in this page
- Documentation SHA-256
b4607b1309054fdd20a30f688b876e741c375da2df66ae6a096aadea457badc7
Exact owners
- ASL PTO-ARCH-DATA-TYPES-FAULT
asl/arch/data-types/fault.asl