PTO-ARCH-STATE-TRAP-CONTEXT

PTO-ARCH-STATE-TRAP-CONTEXT

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-ARCH-STATE-TRAP-CONTEXT","surface":"arch","classification":["state","trap-context"],"depends_on":["PTO-ARCH-MEMORY-MODEL-ORDERING"]}2func SavePortableTrapContext(target: AccessControlRing,3                             source: AccessControlRing)4begin5    _TrapContexts[[target]].valid = TRUE;6    _TrapContexts[[target]].source_acr = source;7    _TrapContexts[[target]].tpc = ReadTPC();8    _TrapContexts[[target]].bpc = ReadBPC();9    _TrapContexts[[target]].core_state = _SystemRegisters.core_state;10    _TrapContexts[[target]].bundle_argument = _BundleArgument;11    _TrapContexts[[target]].commit_argument = _CommitArgument;12    _TrapContexts[[target]].bundle_active = _BundleActive;13    _TrapContexts[[target]].bundle_body_active = _BundleBodyActive;14    _TrapContexts[[target]].bundle_commit_target_set =15        _BundleCommitTargetSet;16    _TrapContexts[[target]].bundle_condition_set =17        _BundleConditionSet;18    _TrapContexts[[target]].system_block_terminal_pending =19        _SystemBlockTerminalPending;20    _TrapContexts[[target]].barg = _BARG;21    _TrapContexts[[target]].bundle_sequential_pc = _BundleSequentialPC;22    _TrapContexts[[target]].frame_stack_return_target =23        _FrameStackReturnTarget;24    _TrapContexts[[target]].return_address = _ReturnAddress;25    _TrapContexts[[target]].bundle_argument_kind = _BundleArgumentKind;26    _TrapContexts[[target]].bundle_operation = _BundleOperation;27    _TrapContexts[[target]].bundle_dimensions = _BundleDimensions;28    _TrapContexts[[target]].bundle_dimension_present =29        _BundleDimensionPresent;30    _TrapContexts[[target]].bundle_scalar_bindings = _BundleScalarBindings;31    _TrapContexts[[target]].bundle_tile_bindings = _BundleTileBindings;32    _TrapContexts[[target]].bundle_shared_bindings = _BundleSharedBindings;33    _TrapContexts[[target]].bundle_range_group = _BundleRangeGroup;34    _TrapContexts[[target]].bundle_zero_participation_seen =35        _BundleZeroParticipationSeen;36    _TrapContexts[[target]].bundle_control_attributes =37        _BundleControlAttributes;38    _TrapContexts[[target]].bundle_data_attributes = _BundleDataAttributes;39    _TrapContexts[[target]].bundle_data_attributes_present =40        _BundleDataAttributesPresent;41    _TrapContexts[[target]].bundle_hint = _BundleHint;42    _TrapContexts[[target]].bundle_fixed_point_attributes =43        _BundleFixedPointAttributes;44    _TrapContexts[[target]].local_generations = _LocalGenerations;45    _TrapContexts[[target]].shared_generations = _SharedGenerations;46    _TrapContexts[[target]].bundle_execution_domain_token =47        _BundleExecutionDomainToken;48    _TrapContexts[[target]].memory_copy_template = _MemoryCopyTemplate;49    _TrapContexts[[target]].frame_template = _FrameTemplate;50    _TrapContexts[[target]].t_queue = _TQueue;51    _TrapContexts[[target]].t_queue_valid = _TQueueValid;52    _TrapContexts[[target]].u_queue = _UQueue;53    _TrapContexts[[target]].u_queue_valid = _UQueueValid;54    _TrapContexts[[target]].predicates = _PredicateRegisters;55end;56
57impdef func SaveTrapContext(target: AccessControlRing,58                            source: AccessControlRing)59begin60    SavePortableTrapContext(target, source);61end;62
63readonly func PortableTrapContextRecoverable(target: AccessControlRing)64    => boolean65begin66    return _TrapContexts[[target]].valid &&67           _TrapContexts[[target]].bpc[0] == '0' &&68           _TrapContexts[[target]].tpc[0] == '0';69end;70
71impdef func TrapContextRecoverable(target: AccessControlRing)72    => boolean73begin74    return PortableTrapContextRecoverable(target);75end;76
77func RecoverPortableTrapContext(target: AccessControlRing) => boolean78begin79    // This helper is the architecture-portable recovery path.  It must not80    // dispatch through the active profile override, because that override may81    // require target-specific context-register state that SavePortableTrapContext82    // deliberately does not create.83    if !PortableTrapContextRecoverable(target) then84        return FALSE;85    end;86    WriteTPC(_TrapContexts[[target]].tpc);87    WriteBPC(_TrapContexts[[target]].bpc);88    _SystemRegisters.core_state = _TrapContexts[[target]].core_state;89    _BundleArgument = _TrapContexts[[target]].bundle_argument;90    _CommitArgument = _TrapContexts[[target]].commit_argument;91    _BundleActive = _TrapContexts[[target]].bundle_active;92    _BundleBodyActive = _TrapContexts[[target]].bundle_body_active;93    _BundleCommitTargetSet =94        _TrapContexts[[target]].bundle_commit_target_set;95    _BundleConditionSet =96        _TrapContexts[[target]].bundle_condition_set;97    _SystemBlockTerminalPending =98        _TrapContexts[[target]].system_block_terminal_pending;99    _BARG = _TrapContexts[[target]].barg;100    _BundleSequentialPC = _TrapContexts[[target]].bundle_sequential_pc;101    _FrameStackReturnTarget =102        _TrapContexts[[target]].frame_stack_return_target;103    _ReturnAddress = _TrapContexts[[target]].return_address;104    _BundleArgumentKind = _TrapContexts[[target]].bundle_argument_kind;105    _BundleOperation = _TrapContexts[[target]].bundle_operation;106    _BundleDimensions = _TrapContexts[[target]].bundle_dimensions;107    _BundleDimensionPresent =108        _TrapContexts[[target]].bundle_dimension_present;109    _BundleScalarBindings = _TrapContexts[[target]].bundle_scalar_bindings;110    _BundleTileBindings = _TrapContexts[[target]].bundle_tile_bindings;111    _BundleSharedBindings = _TrapContexts[[target]].bundle_shared_bindings;112    _BundleRangeGroup = _TrapContexts[[target]].bundle_range_group;113    _BundleZeroParticipationSeen =114        _TrapContexts[[target]].bundle_zero_participation_seen;115    _BundleControlAttributes =116        _TrapContexts[[target]].bundle_control_attributes;117    _BundleDataAttributes = _TrapContexts[[target]].bundle_data_attributes;118    _BundleDataAttributesPresent =119        _TrapContexts[[target]].bundle_data_attributes_present;120    _BundleHint = _TrapContexts[[target]].bundle_hint;121    _BundleFixedPointAttributes =122        _TrapContexts[[target]].bundle_fixed_point_attributes;123    _LocalGenerations = _TrapContexts[[target]].local_generations;124    _SharedGenerations = _TrapContexts[[target]].shared_generations;125    _BundleExecutionDomainToken =126        _TrapContexts[[target]].bundle_execution_domain_token;127    _MemoryCopyTemplate = _TrapContexts[[target]].memory_copy_template;128    _FrameTemplate = _TrapContexts[[target]].frame_template;129    _TQueue = _TrapContexts[[target]].t_queue;130    _TQueueValid = _TrapContexts[[target]].t_queue_valid;131    _UQueue = _TrapContexts[[target]].u_queue;132    _UQueueValid = _TrapContexts[[target]].u_queue_valid;133    _PredicateRegisters = _TrapContexts[[target]].predicates;134    _CurrentACR = _TrapContexts[[target]].source_acr;135    _TrapContexts[[target]].valid = FALSE;136    return TRUE;137end;138
139impdef func RecoverTrapContext(target: AccessControlRing) => boolean140begin141    return RecoverPortableTrapContext(target);142end;143

Architecture behavior

purpose scope

Purpose and scope

This unit owns portable trap-context save, recoverability checking, and recovery, together with implementation-defined hooks whose default bodies call the portable path.

concepts state

Saved context

SavePortableTrapContext marks the target ACR context valid and snapshots the source ACR, TPC, BPC, core_state, bundle control and argument state, scalar/Tile/Shared bindings, local and Shared generations, templates, temporary queues, and predicate registers.

The snapshot is indexed by the target AccessControlRing; the saved source_acr identifies the ACR restored after recovery.

rules interactions

Recoverability and recovery

PortableTrapContextRecoverable requires a valid saved context and zero low bits in both saved BPC and saved TPC. RecoverPortableTrapContext returns FALSE immediately when that condition is not met.

On success, recovery restores every portable field saved by the owner, sets _CurrentACR to the saved source ACR, clears the target context's valid bit, and returns TRUE.

SaveTrapContext, TrapContextRecoverable, and RecoverTrapContext are implementation-defined profile hooks. Their bodies in this owner delegate to the corresponding portable helpers.

boundaries

Architectural boundaries

Portable recovery deliberately checks PortableTrapContextRecoverable directly instead of dispatching through the active profile override. A profile may require additional context-register state, but the portable save helper does not create such target-specific state.

An unsuccessful portable recovery performs none of the restore assignments and does not invalidate the saved context.

example usage

illustrative recovery walkthrough

For an aligned valid snapshot saved from ACR3 into target ACR1, successful portable recovery restores the snapshot, selects ACR3 as current, and consumes the ACR1 snapshot by clearing its valid bit. If either saved low address bit is one, recovery instead returns FALSE before changing the live context.

Related owners

Program counter owns the TPC and BPC accessors used during save and recovery.
Access control owns ACR state and trap-target selection.
Memory ordering is the declared dependency for this unit.

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

16 matching entries

Executable evidence7

Trap save and recovery preserve temporary queue values and their relative-source readiness
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001
Path
tests/asl/arch/state/trap-context/arch-fault-queue-readiness-recovery-001.asl
Kind / role
fault
Requirements
PTO-REQ-STATE-001
Pass condition
after recovery the saved newest T/U entries remain available, older unsupplied entries remain unavailable, and post-save pushes are discarded
SHA-256
3c6609590e7bbc2666d9a498a2eda8ba5d2cb8a64d966e01f82922353f943e43
Open exact source ↗ for PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001
PTO-ARCH-STATE-TRAP-CONTEXT compiles as an independent normative unit
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001
Path
tests/asl/arch/state/trap-context/arch-static-trap-context-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
576010933b4c5e154f6e1319de00442b055b68d58b1666b00eda2b79929cb6fe
Open exact source ↗ for PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001
Covers Trap Routing Policy.
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001
Path
tests/asl/arch/state/trap-context/arch-fault-routing-policy-001.asl
Kind / role
fault
Pass condition
TestTrapRoutingPolicy completes without assertion failure
SHA-256
69c5c80eea3b4dc4380e560c027266c98cb6a3bb01ae76cbcac3fd017fabc07e
Open exact source ↗ for PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001
trap recovery restores attributes, queues, and predicates
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case003
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003
Path
tests/asl/arch/state/trap-context/arch-fault-trap-attributes-003.asl
Kind / role
fault
Pass condition
attribute, queue, and predicate leaves recover exactly
SHA-256
f7df68b34c3dc9a97bfc61775cec9c11da201aad38971def3207d790df80fcf1
Open exact source ↗ for PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003
trap recovery restores operation descriptors and operand bindings
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002
Path
tests/asl/arch/state/trap-context/arch-fault-trap-bindings-002.asl
Kind / role
fault
Pass condition
descriptor, dimension, scalar, Tile, and shared bindings recover exactly
SHA-256
8d480ca45d84e17c8979fe771dafc3e0901bd61af231a7483ad54ebbc6ca476e
Open exact source ↗ for PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002
trap recovery restores control-flow and block-control leaves
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001
Path
tests/asl/arch/state/trap-context/arch-fault-all-leaf-recovery-evidence-001.asl
Kind / role
fault
Pass condition
saved control leaves differ before recovery and match after recovery
SHA-256
895a73c23839eb7eb945fd943f2f7278f13bb6c54342fbe625f59f3b3f24e8a7
Open exact source ↗ for PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001
portable trap helpers restore every portable context leaf
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case004
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004
Path
tests/asl/arch/state/trap-context/arch-fault-trap-portable-004.asl
Kind / role
fault
Pass condition
portable argument and return-state leaves recover exactly
SHA-256
fa38a935c4d9aaca5cca5fe56fc0534825d762250e23f3c9b7f3622cfcf27a29
Open exact source ↗ for PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004

Commit-scoped evidence5

spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
Sources 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
Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Sources 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
Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS
Path
spec/evidence/architecture-readiness.json
Kind / role
architecture maturity and blockers
SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
Sources 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
Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST
Path
spec/release-manifest.json
Kind / role
release content and encoding fingerprints
SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST

Decision history4

Define the PTO architectural state contract · accepted
1. decision recordADR
2. case0008
Decision record
Loading ADR-0008…
Sources and references
Complete stable ID
ADR-0008
Path
docs/status/decisions/0008-architectural-state-contract.md
Affected units
PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT, PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS, PTO-ARCH-STATE-DEFINEDNESS, PTO-ARCH-STATE-PROGRAM-COUNTER, PTO-ARCH-STATE-TILE-DESCRIPTOR, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-STATE-BINDING-STATE, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-STATE-LOCAL-REGISTERS
Affected NDF
PTO-ARCH-STATE-CLOSURE-001, PTO-REQ-BUNDLE-STATE-001, PTO-REQ-SHARED-TILE-001, PTO-REQ-STATE-001, PTO-REQ-TILE-001, PTO-TILE-CAPACITY-PER-PE
SHA-256
9c33e1b57d0f04c4d808ee61aaf975187a3dbd32a071329ca65a916dc0e614ca
Open exact decision source ↗ for ADR-0008
Make EBARG the visible PTO v0 trap snapshot · accepted
1. decision recordADR
2. case0011
Decision record
Loading ADR-0011…
Sources and references
Complete stable ID
ADR-0011
Path
docs/status/decisions/0011-visible-ebarg-snapshot.md
Affected units
PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT, PTO-ARCH-STATE-TRAP-CONTEXT
Affected NDF
PTO-REQ-STATE-001
SHA-256
ae2cbaccfe91a2f072b930dd9141a851d3adfe30ac960121836553ff4f3362b6
Open exact decision source ↗ for ADR-0011
Define the PTO v0 disposition of every trap identity · accepted
1. decision recordADR
2. 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
Open exact decision source ↗ for ADR-0018
B.SUBVIEW and B.ASSEMBLE range-modifier association · accepted
1. decision recordADR
2. case0098
Decision record
Loading ADR-0098…
Sources and references
Complete stable ID
ADR-0098
Path
docs/status/decisions/0098-b-range-modifiers.md
Affected units
PTO-ARCH-PROFILE-RESET, PTO-BLOCK-B-IOT, PTO-BLOCK-B-IOS, PTO-BLOCK-B-SUBVIEW, PTO-BLOCK-B-ASSEMBLE, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-FAULTS-ROLLBACK, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-BLOCK-MODEL-STATE-SHARED-GENERATION, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS
Affected NDF
PTO-B-IOT-STREAM-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-RANGE-001, PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001, PTO-B-ASSEMBLE-SHARED-STANDALONE-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001, PTO-B-ASSEMBLE-SPECULATION-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
SHA-256
e194ccc6b6922fd4b65066b533f5e4b0eba094e099970059bca8e25b4e466fba
Open exact decision source ↗ for ADR-0098

Unit metadata

Open 4 generated metadata fields

id: PTO-ARCH-STATE-TRAP-CONTEXT
surface: arch
classification: [ "state", "trap-context" ]
depends_on: [ "PTO-ARCH-MEMORY-MODEL-ORDERING" ]

Open generated traceability record

{
  "classification": [
    "state",
    "trap-context"
  ],
  "documentation": "docs/arch/state/trap-context.md",
  "id": "PTO-ARCH-STATE-TRAP-CONTEXT",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0008",
    "ADR-0011",
    "ADR-0018",
    "ADR-0098"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001",
    "PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001",
    "PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003",
    "PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002",
    "PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001",
    "PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004"
  ],
  "source": "asl/arch/state/trap-context.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001",
    "PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001",
    "PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001",
    "PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003",
    "PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002",
    "PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001",
    "PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/arch/state/trap-context.asl
ASL SHA-256: 51f242c89ab71a83f322f15252fbd0dcdccbfd6a973c76e5d14aab7cb0b74ab2
Generated documentation: docs/arch/state/trap-context.md · embedded in this page
Documentation SHA-256: 4892c7b07b4a47fb4919195f3bb2067ce74d5ffe1cb1852640d5653b6de6a7f3

Exact owners

ASL PTO-ARCH-STATE-TRAP-CONTEXT asl/arch/state/trap-context.asl

Architecture behavior

Purpose and scope

Saved context

Recoverability and recovery

Architectural boundaries

illustrative recovery walkthrough

Related owners

Evidence index

Decision record

Decision record

Decision record

Decision record

Unit metadata

Sources and release identity

Exact owners