Skip to content

Add deterministic routine specialization resolution - #78

Merged
jscott3201 merged 1 commit into
mainfrom
feat/routine-specialization-resolution
Aug 23, 2026
Merged

Add deterministic routine specialization resolution#78
jscott3201 merged 1 commit into
mainfrom
feat/routine-specialization-resolution

Conversation

@jscott3201

@jscott3201 jscott3201 commented Aug 23, 2026

Copy link
Copy Markdown
Owner

Summary

  • add an internal, pure resolver for routine interface v3 and specialization v1 documents
  • expose immutable effective parameters, resolved dimensions, stable scalar coordinates, connector activation, and preserved type metadata
  • reuse the existing schema and semantic validation path with deterministic diagnostics and explicit guard/scalar limits

This does not add public artifact schemas, source maps, graph or CXF contracts, production routine classes, or deployment identities.

Validation

  • python3 -m unittest discover -s tools/lint/tests (124 tests)
  • python3 tools/lint/routine_schemas.py
  • python3 tools/lint/routine_semantics.py
  • python3 tools/lint/routines.py
  • cargo test --manifest-path tools/verify/Cargo.toml
  • cargo run --quiet --manifest-path tools/verify/Cargo.toml -- --routines
  • cargo run --quiet --manifest-path tools/verify/Cargo.toml -- --all
  • python3 -m unittest discover -s tools/dataset/tests (32 tests)
  • exact tiny LBL FPU dataset replay and assertions
  • python3 tools/lint/g36_sources.py
  • git diff --check

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

Both independent reviewers found no blocker or major issue. The exact-head build and verify checks are green. One non-blocking observation is deferred: broad invalid-input exception normalization reduces diagnostic specificity but preserves the resolver contract. No code change is requested.

@jscott3201
jscott3201 merged commit 47210d7 into main Aug 23, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/routine-specialization-resolution branch August 24, 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