Skip to content

Add inventory-anchored scalar source claims - #82

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

Add inventory-anchored scalar source claims#82
jscott3201 merged 1 commit into
mainfrom
feat/routine-scalar-source-claims

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • add a pure internal projection from named scalar rows to caller-claimed Modelica class members
  • anchor each claim to an exact release or development revision, inventory path, and Git blob
  • require complete owner bindings and derive reverse source lookups from frozen ordered forward rows
  • validate pins, inventory shape, class claims, member bindings, and named input before allocating output

Inventory membership verifies the snapshot, path, and blob only. Class and member names remain caller claims; this change does not parse Modelica declarations or define a public or persisted source map.

Schemas, registries, production routines, source spans, dependency closure, graph/CXF generation, semantic joins, and Engine or Studio changes remain deferred.

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 -v (63 tests)
  • python3 -m py_compile tools/lint/routine_scalar_source_claims.py tools/lint/tests/test_routine_scalar_source_claims.py
  • python3 -m unittest discover -s tools/lint/tests -v (168 tests, pinned schema environment)
  • python3 tools/lint/routine_schemas.py
  • python3 tools/lint/routine_semantics.py
  • python3 tools/lint/routines.py
  • G36 source inventory check against both exact pinned source checkouts (431/693 files)
  • 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

Add an internal projection from named scalar rows to caller-claimed Modelica members anchored to exact G36 inventory locators. Validate pins, inventory shape, claim use, and owner bindings atomically, then derive reverse lookups from frozen ordered forward rows.

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

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

@jscott3201
jscott3201 merged commit 21304e3 into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/routine-scalar-source-claims branch August 24, 2026 03:40
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