Skip to content

feat: index PTO ASL unit and state graphs - #5

Merged
zhoubot merged 8 commits into
mainfrom
codex/pto-asl-state-graph
Aug 11, 2026
Merged

feat: index PTO ASL unit and state graphs#5
zhoubot merged 8 commits into
mainfrom
codex/pto-asl-state-graph

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 11, 2026

Copy link
Copy Markdown

Summary

  • index PTO-UNIT and instruction unit provenance as typed source nodes, including the exact generated:decoders synthetic dependency
  • index exact PTO-STATE records as architecture nodes with unit ownership, member, dependency, duplicate, and cycle validation
  • add ndf query attribute filtering and state-aware PTO release impact classification
  • document the authored contract in English, Chinese, and the PTO ASL adapter guide

Architecture authority

PTO-SPEC ASL remains the sole authority for instruction behavior and architecture-state transitions. This PR adds derived identity, provenance, validation, query, and impact metadata only. It does not change executable ASL semantics, encodings, legality, faults, completion, ordering, or profiles.

Design: PTO ASL state graph design

Stable surfaces

  • entities: unit, synthetic-unit, state, instruction, and existing NDF clauses
  • diagnostics: NDF-ASL-006 through NDF-ASL-009
  • query: kind=architecture and attributes.pto_entity=state
  • impact: state semantic changes are breaking; owner moves and additive state-closure references require review; closure reference removal is breaking

Verification

  • cargo fmt --all -- --check
  • cargo clippy --workspace --all-targets --all-features -- -D warnings
  • cargo test --workspace --all-features --locked — 0 failures
  • cargo build --workspace --release --locked
  • scripts/ndf check --root tests/fixtures/cli-smoke/project --format jsonok:true
  • NDF_RUN_SCALE_TESTS=1 cargo test -p ndf-compiler --test scale --release --locked -- --nocapture — 17.04s
  • scripts/check-release-performance — passed, peak RSS 361349120 bytes
  • git diff --check

Rollout

PTO-SPEC must pin the eventual merged 40-character commit from this PR before publishing the complete state catalog. DavinciOO must consume only the merged NDF and PTO-SPEC commits.

@zhoubot
zhoubot merged commit ed35698 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