Skip to content

Bind scalar ABI rows to source claims - #83

Merged
jscott3201 merged 1 commit into
mainfrom
feat/routine-bound-scalars
Aug 24, 2026
Merged

Bind scalar ABI rows to source claims#83
jscott3201 merged 1 commit into
mainfrom
feat/routine-bound-scalars

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • add a frozen internal projection that joins named scalar ABI rows with inventory-anchored caller source claims
  • use named rows as the ordering and ABI authority while matching claims by scalar name within each namespace
  • preserve detached primitive, alias, enum, value, direction, coordinate, and source-locator payload
  • reject divergent metadata, namespaces, owners, coordinates, and malformed nested values before allocating output

The new projection is an in-memory lowering input. Source class and member values remain caller claims rather than verified declarations. This change adds no serialization, graph topology, CXF, deployment identity, registry content, public schema, or production routine.

Validation

  • python3 -m unittest tools.lint.tests.test_routine_resolution tools.lint.tests.test_routine_scalar_abi tools.lint.tests.test_routine_scalar_names tools.lint.tests.test_routine_scalar_source_claims tools.lint.tests.test_routine_bound_scalars -v (74 tests)
  • python3 -m py_compile tools/lint/routine_bound_scalars.py tools/lint/tests/test_routine_bound_scalars.py
  • python3 -m unittest discover -s tools/lint/tests -v (179 tests, pinned schema environment)
  • 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 (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
  • python3 tools/book/generate.py && mdbook build book with no tracked generated changes
  • git diff --check

The exact two-checkout G36 inventory command was not rerun locally because the pinned source checkouts were unavailable. The base commit passed that gate, and pull-request CI runs it against both exact pins.

Join named scalar ABI rows with inventory-anchored caller source claims in one frozen internal projection. Validate namespaces, owners, coordinates, and complete payloads before allocating bound rows without defining a serialized or public contract.

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

Immutable review cycle 1 targeted 40abea8de02fb09dc881b3920e35abde06c988e1.

Both standard review lenses are blocker/major-clean. No PR-introduced findings were deferred. The verify and book checks completed successfully on the reviewed head.

@jscott3201
jscott3201 merged commit 1c9559f into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/routine-bound-scalars branch August 24, 2026 06:24
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