purpose scope
Purpose and scope
This unit gives architectural definedness a stable state-owner identity and a route into the Tile-descriptor dependency that supplies executable state.
PTO-ARCH-STATE-DEFINEDNESS
PTO-ARCH-STATE-DEFINEDNESSASL pseudocode
The complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-STATE-DEFINEDNESS","surface":"arch","classification":["state","definedness"],"depends_on":["PTO-ARCH-STATE-TILE-DESCRIPTOR"]}// This unit owns the named architecture concept; executable state is defined by its dependencies.
Architecture behavior
concepts state
Concept ownership
The owner declares no definedness field, enumeration, or transition locally. Its source explicitly says that executable state is defined by dependencies.
rules interactions
Dependency relationship
PTO-ARCH-STATE-DEFINEDNESS depends on PTO-ARCH-STATE-TILE-DESCRIPTOR. Any concrete definedness rule must therefore be read from the reachable current ASL owners rather than inferred from this page title.
boundaries
Architectural boundaries
This page does not define when a value becomes defined, undefined, initialized, invalid, or faulting. It also does not introduce an implicit validity bit.
example usage
illustrative reading example
If a review asks whether a Tile field is readable before some transition, use this page only as a concept index. Resolve the question at the Tile-descriptor or state-transition owner that contains the actual rule.
Related owners
- Tile descriptor is the direct dependency.
- Shared Tile state is reachable through the Tile-descriptor dependency.
- Architecture overview explains the single-owner rule for architecture state.
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 evidence1
PTO-ARCH-STATE-DEFINEDNESS compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-STATE-DEFINEDNESS
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-STATE-DEFINEDNESS-STATIC-001- Path
tests/asl/arch/state/definedness/arch-static-definedness-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
5389abfd59ea0e176acc50273c7920ead6512702a2188556c41a1c8384a9216d
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 history2
Define the PTO architectural state contract · accepted
- decision recordADR
- 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
Track tile definedness per element · accepted
- decision recordADR
- case0014
Decision record
Loading ADR-0014…
Sources and references
- Complete stable ID
ADR-0014- Path
docs/status/decisions/0014-element-level-tile-definedness.md- Affected units
- PTO-ARCH-STATE-DEFINEDNESS, PTO-TILE-MODEL-STATE-LOCAL-REGISTERS
- Affected NDF
- PTO-REQ-SHARED-TILE-001, PTO-REQ-TILE-001
- SHA-256
115d180fb83edacb0439ebed2cc26cdcad6056eb65d632938c7769d48667086e
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"state",
"definedness"
],
"documentation": "docs/arch/state/definedness.md",
"id": "PTO-ARCH-STATE-DEFINEDNESS",
"mnemonic": null,
"readiness_subjects": [
"ADR-0008",
"ADR-0014"
],
"semantic_tests": [],
"source": "asl/arch/state/definedness.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-STATE-DEFINEDNESS-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/state/definedness.asl
- ASL SHA-256
f68778534d67e736f701f8e24e03f27a018f3eabcec1421a6b33856030874ad1- Generated documentation
- docs/arch/state/definedness.md · embedded in this page
- Documentation SHA-256
c907a540dc99da46f0343d36d44559912862e5ed66fe64780a6a5714a6e82953
Exact owners
- ASL PTO-ARCH-STATE-DEFINEDNESS
asl/arch/state/definedness.asl