Skip to content

feat(routines): add typed declaration composition pipeline - #96

Merged
jscott3201 merged 1 commit into
mainfrom
feat/rust-declaration-pipeline
Aug 24, 2026
Merged

feat(routines): add typed declaration composition pipeline#96
jscott3201 merged 1 commit into
mainfrom
feat/rust-declaration-pipeline

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • add a typed in-memory gate that derives declaration requirements, validates the bound-scalar branch, and checks caller-supplied source bytes
  • return the existing detached bound projection only after every stage succeeds
  • preserve each stage's existing error unchanged through requirements, binding, and syntax variants
  • cover short-circuit ordering, atomic failure, repeatability, input immutability, document ordering, and deliberate syntax non-claims

Scope

The source-claim projection remains the declaration-side source of truth, while bound scalars remain the parallel ABI-plus-source output. This change adds no source acquisition, inventory trust policy, serialization, declaration evidence, class-kind/type/inheritance/dependency analysis, production routine rows, or external runtime integration.

Validation

  • cargo fmt --manifest-path tools/routine-compiler/Cargo.toml -- --check
  • focused declaration pipeline tests (6 passed)
  • cargo test --locked --manifest-path tools/routine-compiler/Cargo.toml (95 passed)
  • cargo clippy --locked --manifest-path tools/routine-compiler/Cargo.toml --all-targets -- -D warnings
  • full Python lint suite (189 passed) and production lints
  • G36 source inventory (431 release / 693 development files)
  • G36 declaration, routine, verifier, and full scenario gates
  • dataset harness (32 passed) and replay assertions
  • generated book build

@jscott3201 jscott3201 left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cycle 1 consolidated review: PASS at 94a6aa069adfc01b5a73bad05e6febcb2496f409.

Both independent reviewers were blocker/major-clean, with no deferred findings. The composition preserves the required fan-out, stage order, exact underlying errors, input immutability, and atomic success boundary.

Exact-head build and verify checks are green.

@jscott3201
jscott3201 merged commit f77e4dc into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/rust-declaration-pipeline branch August 25, 2026 01:47
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