Skip to content

Add internal scalar ABI projection - #79

Merged
jscott3201 merged 1 commit into
mainfrom
feat/routine-scalar-abi-plan
Aug 24, 2026
Merged

Add internal scalar ABI projection#79
jscott3201 merged 1 commit into
mainfrom
feat/routine-scalar-abi-plan

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • add a pure internal projection from ResolvedSpecialization to ordered scalar parameter and active-connector rows
  • preserve structured authored coordinates, primitive and alias metadata, parameter values/sources, and connector directions
  • omit inactive connectors and reject enum parameters or active enum connectors with deterministic typed diagnostics

The projection deliberately assigns no scalar string names or enum codes. Public deployment schemas, IRIs, source maps, graph/CXF contracts, production classes, registries, provenance, and Engine or Studio changes remain deferred.

Validation

  • python3 -m unittest tools.lint.tests.test_routine_resolution tools.lint.tests.test_routine_scalar_abi -v (28 tests)
  • python3 -m unittest discover -s tools/lint/tests -v (133 tests, pinned schema environment)
  • python3 tools/lint/routine_schemas.py
  • python3 tools/lint/routine_semantics.py
  • python3 tools/lint/routines.py
  • python3 tools/lint/g36_source.py --check ... against both exact pinned source checkouts
  • cargo test --manifest-path tools/verify/Cargo.toml (11 tests)
  • 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_harness/tests -v (32 tests)
  • exact tiny LBL FPU replay and assertions from verify.yml
  • git diff --check

Project primitive and alias specialization leaves into frozen parameter and active-connector rows. Preserve structured coordinates and alias metadata, and reject unsupported enums deterministically.

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

Both independent reviewers found no blocker or major issue. Exact-head build and verify checks are green; deploy is skipped as configured.

Deferred non-blocking observation (OBS-79-1): the projection's runtime casts rely on the resolver's validated type invariant. No concrete failure was identified, and no code change is requested.

@jscott3201
jscott3201 merged commit c8396e4 into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/routine-scalar-abi-plan 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