Skip to content

docs(pto): correct initial state catalog - #6

Merged
zhoubot merged 1 commit into
mainfrom
codex/pto-state-catalog-correction
Aug 11, 2026
Merged

docs(pto): correct initial state catalog#6
zhoubot merged 1 commit into
mainfrom
codex/pto-state-catalog-correction

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 11, 2026

Copy link
Copy Markdown

Summary

Correct the PTO ASL state-graph design and rollout plan after the implementation audit found one omitted global ASL variable: _SystemRegisters in the system-register addressing unit.

The merged compiler behavior is unchanged. PTO-SPEC PR 66 already publishes the corrected twelve-state catalog.

Changes

  • split the former system-register row into:
    • PTO-STATE-ARCH-SYSTEM-REGISTERS for _SystemRegisters at its ASL owner;
    • PTO-STATE-ARCH-EXTENDED-SYSTEM-REGISTERS for _ExtendedSystemRegisters and _CurrentACR;
  • update every rollout-plan count from 11 to 12;
  • require all 75 global ASL var declarations to be covered exactly once;
  • add the missing ASL owner file and state ID to the implementation checklist.

Why

The long-term flow must fail closed on unindexed architecture state. Counting only the originally selected catalog allowed one real ASL state variable to remain outside NDF. The corrected contract is a complete partition, so a future global state addition cannot silently escape the graph.

Verification

cargo test --workspace --all-features --locked
  PASS: all CLI, compiler, adapter, graph, impact, and documentation contract tests

git diff --check
  PASS

No executable Rust code, canonical schema, or PTO semantics change in this PR.

@zhoubot
zhoubot merged commit 5e3e6b5 into main Aug 11, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant