Skip to content

feat(routines): add capability-rooted typed compiler pipeline - #99

Merged
jscott3201 merged 1 commit into
mainfrom
feat/rust-typed-compiler-pipeline
Aug 25, 2026
Merged

feat(routines): add capability-rooted typed compiler pipeline#99
jscott3201 merged 1 commit into
mainfrom
feat/rust-typed-compiler-pipeline

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • add one typed compiler entry point from ValidatedResolutionInput to BoundScalarProjection
  • compose resolution, scalar ABI projection, name allocation, source-claim projection, and rooted declaration checking in strict stage order
  • preserve exact inner errors, first-failure behavior, borrowed inputs and roots, and separate stage-owned limits
  • cover manual-composition equality, scalar/vector/matrix and enum payloads, inactive connectors, role isolation, error precedence, atomicity, and limit forwarding

Scope

This is an additive in-memory pre-emission seam. It does not add raw JSON/schema loading, CLI behavior, production routines or registries, CXF/source-map/provenance emission, Engine/Studio integration, dependencies, or cxf-json use.

Validation

  • rustfmt check
  • focused compiler-pipeline tests: 9 passed
  • routine-compiler tests: 124 passed
  • routine-compiler clippy with warnings denied
  • repository lint tests: 189 passed; all production lints passed
  • G36 source inventory: 431 release / 693 development files
  • release declaration verifier and tools/verify: 12 passed
  • routines/all verifier
  • dataset harness: 32 passed; replay assertions passed
  • book generation and build
  • git diff --check

Compose resolution, scalar ABI projection, name allocation, source claims, and capability-rooted declaration checks behind one typed entry point. Preserve exact stage errors and add full-chain, precedence, limits, and root-isolation coverage.

@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.

Consolidated review — cycle 1: PASS

Reviewed immutable head 385ebf6aadf65d319e7c4bdc717ff9af31f38585 against base d624ea7ead7a9d1ec0cdfd6649787a90befd2856.

Both independent review lenses are blocker/major-clean. The strict stage order, first-failure behavior, exact error wrapping, borrowed input/root ownership, separate limit forwarding, pre-emission boundary, and additive API scope are supported by the implementation and tests.

Deferred observation M1 (non-blocking): the function-scoped clippy::too_many_arguments allowance is intentional for the nine existing contract inputs and matches repository practice; no code change requested.

Exact-head GitHub build and verify checks succeeded. Local focused, package, clippy, repository lint, inventory, verifier, dataset/replay, book, and diff gates also passed.

@jscott3201
jscott3201 merged commit 45995ff into main Aug 25, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/rust-typed-compiler-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