Skip to main content

PTO-ARCH-DATA-TYPES-TRAP-CONTEXT

PTO-ARCH-DATA-TYPES-TRAP-CONTEXT

ASL pseudocode

The complete ASL owner is shown directly below.

// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-TRAP-CONTEXT","surface":"arch","classification":["data-types","trap-context"],"depends_on":["PTO-TILE-MODEL-STATE-TYPES"]}type TrapContext of record {    valid: boolean,    source_acr: AccessControlRing,    tpc: Word,    bpc: Word,    core_state: Word,    bundle_argument: Word,    commit_argument: Word,    bundle_active: boolean,    bundle_body_active: boolean,    bundle_commit_target_set: boolean,    bundle_condition_set: boolean,    system_block_terminal_pending: boolean,    barg: BundleArgumentRegister,    bundle_sequential_pc: Word,    frame_stack_return_target: Word,    return_address: Word,    bundle_argument_kind: bits(3),    bundle_operation: BundleOperationDescriptor,    bundle_dimensions: BundleDimensionSnapshot,    bundle_dimension_present: BundleDimensionPresenceSnapshot,    bundle_scalar_bindings: BundleScalarBindingSnapshot,    bundle_tile_bindings: BundleTileBindingSnapshot,    bundle_shared_bindings: BundleSharedBindingSnapshot,    bundle_range_group: BundleRangeGroupState,    bundle_zero_participation_seen: boolean,    bundle_control_attributes: BundleControlAttributes,    bundle_data_attributes: BundleDataAttributes,    bundle_data_attributes_present: boolean,    bundle_hint: BundleHintAttributes,    bundle_fixed_point_attributes: BundleFixedPointAttributes,    local_generations: LocalGenerationSnapshot,    shared_generations: SharedGenerationSnapshot,    bundle_execution_domain_token: integer,    memory_copy_template: MemoryCopyTemplateState,    frame_template: FrameTemplateState,    t_queue: TemporaryQueueSnapshot,    t_queue_valid: TemporaryQueueValiditySnapshot,    u_queue: TemporaryQueueSnapshot,    u_queue_valid: TemporaryQueueValiditySnapshot,    predicates: PredicateSnapshot};

Architecture behavior

purpose scope

Purpose and scope

This unit defines the complete typed TrapContext snapshot used to preserve recoverable execution state across trap handling.

The record shape is centralized so capture and restore owners operate on the same state bundle.

concepts state

Concepts and visible state

  • The snapshot begins with validity, source AccessControlRing, tpc, bpc, core state, bundle and commit arguments, and bundle-active flags.
  • It carries bundle descriptors, dimensions, scalar/tile/shared bindings, range-group state, control/data/fixed-point/hint attributes, and local/shared generation snapshots.
  • It also preserves memory-copy and frame templates, temporary T/U queues with validity snapshots, predicate state, return targets, and the bundle execution-domain token.
rules interactions

Rules and interactions

valid states whether the record contains a restorable context; the record type itself does not perform capture or restore.

Presence flags remain explicit for condition, commit target, data attributes, and bundle dimensions rather than being inferred from payload contents.

Queue values and queue-validity arrays are separate fields, preserving readiness independently from stored words.

boundaries

Architectural boundaries

This type declaration does not define trap routing, cause values, capture timing, or restore legality. Those behaviors remain in trap-state and recovery owners.

The record must not be read as permission for nested bundle execution; it snapshots the existing one-level architecture state.

example usage

illustrative reading example

A saved context can retain bundle_data_attributes_present = FALSE while still carrying the typed data-attribute field; restore logic uses the explicit presence bit.

To understand what is captured on a fault, combine this record layout with the current trap capture/restore ASL; the record alone does not specify the transition.

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 evidence2
  • PTO-ARCH-DATA-TYPES-TRAP-CONTEXT compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-TRAP-CONTEXT
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-TRAP-CONTEXT-STATIC-001
    Path
    tests/asl/arch/data-types/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
    8f81b3527f9f020f731c28ce663ba3a8a7a62f8e7275a0050e2b665d81f018aa
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-TRAP-CONTEXT-STATIC-001
  • Covers Visible Trap Context Registers.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-TRAP-CONTEXT
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-TESTVISIBLETRAPCONTEXTREGISTERS-FAULT-001
    Path
    tests/asl/arch/data-types/trap-context/arch-fault-visible-registers-001.asl
    Kind / role
    fault
    Pass condition
    TestVisibleTrapContextRegisters completes without assertion failure
    SHA-256
    e18b49d4f3437f3d5906b1b1f24a24a38c353c3ab169354c796952d5c5b93b9c
    Open exact source ↗ for PTO-AVS-ARCH-TESTVISIBLETRAPCONTEXTREGISTERS-FAULT-001
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 history3
  • 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-DATA-TYPES-TRAP-CONTEXT
surface
arch
classification
[
  "data-types",
  "trap-context"
]
depends_on
[
  "PTO-TILE-MODEL-STATE-TYPES"
]
Open generated traceability record
{
  "classification": [
    "data-types",
    "trap-context"
  ],
  "documentation": "docs/arch/data-types/trap-context.md",
  "id": "PTO-ARCH-DATA-TYPES-TRAP-CONTEXT",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0011",
    "ADR-0018",
    "ADR-0098"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-TESTVISIBLETRAPCONTEXTREGISTERS-FAULT-001"
  ],
  "source": "asl/arch/data-types/trap-context.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-DATA-TYPES-TRAP-CONTEXT-STATIC-001",
    "PTO-AVS-ARCH-TESTVISIBLETRAPCONTEXTREGISTERS-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/trap-context.asl
ASL SHA-256
05bad845c84d9fd35d30af99137b939e70d0d7226f54374b7f5d5e71dd235b7b
Generated documentation
docs/arch/data-types/trap-context.md · embedded in this page
Documentation SHA-256
dbfce1355339bf6fc7b9746bb5427c4a340a70319d4827a639aac024d438fb5a

Exact owners