Skip to main content

PTO-ARCH-FEATURES-PREDICATION

PTO-ARCH-FEATURES-PREDICATION

ASL pseudocode

The complete ASL owner is shown directly below.

// PTO-UNIT: {"id":"PTO-ARCH-FEATURES-PREDICATION","surface":"arch","classification":["features","predication"],"depends_on":["PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS"]}// This unit owns the named architecture concept; executable state is defined by its dependencies.

Architecture behavior

purpose scope

Purpose and scope

This unit is the named architecture concept for predication and depends on the predicate-register programming-model owner.

It provides a stable ownership and navigation point without creating a second predicate-state or execution contract.

concepts state

Concepts and visible state

  • The unit contains only its PTO-UNIT identity and dependency on PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS.
  • Predicate register storage, indexing, reset, and reads/writes are defined by that dependency and its reachable state owners.
  • Instruction-specific predicate decode and no-op behavior remain with each mnemonic owner.
rules interactions

Rules and interactions

This concept introduces no ASL type, function, state variable, or transition.

A reference to predication must be resolved through the predicate-register owner and the consuming instruction's current ASL.

No default predicate sense or instruction coverage can be inferred from this marker-only unit.

boundaries

Architectural boundaries

This page cannot add missing predication semantics in explanatory prose; any new rule belongs in an owning ASL/NDF change with validation.

The named concept is portable as an identity, while concrete instruction effects stay local to their mnemonic contracts.

example usage

illustrative reading example

To decide whether a false predicate suppresses a particular instruction, read that instruction's decode and operation together with the predicate-register owner; this unit alone does not answer the question.

Use this page as the architecture index for the concept, then follow the related owner links for executable details.

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

6 matching entries

Executable evidence1
  • PTO-ARCH-FEATURES-PREDICATION compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-FEATURES-PREDICATION
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-FEATURES-PREDICATION-STATIC-001
    Path
    tests/asl/arch/features/predication/arch-static-predication-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    a7e5fc50fc0bc49f6ef6acd07bf03721e844b3366e538ba21290d17c43c93a51
    Open exact source ↗ for PTO-AVS-ARCH-FEATURES-PREDICATION-STATIC-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

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-FEATURES-PREDICATION
surface
arch
classification
[
  "features",
  "predication"
]
depends_on
[
  "PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS"
]
Open generated traceability record
{
  "classification": [
    "features",
    "predication"
  ],
  "documentation": "docs/arch/features/predication.md",
  "id": "PTO-ARCH-FEATURES-PREDICATION",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [],
  "source": "asl/arch/features/predication.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-FEATURES-PREDICATION-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/features/predication.asl
ASL SHA-256
3523566f5b742ba46ceef24d01db635f8d8b6edd72b759501f14fd155f03a598
Generated documentation
docs/arch/features/predication.md · embedded in this page
Documentation SHA-256
2bd1fd0407c5e2bef2577c838e9b4d6a81cd4b9bc1e3c2c2c1543706b5ce4232

Exact owners