Skip to content

feat(routines): check G36 source declarations - #84

Merged
jscott3201 merged 1 commit into
mainfrom
feat/g36-declaration-evidence
Aug 24, 2026
Merged

feat(routines): check G36 source declarations#84
jscott3201 merged 1 commit into
mainfrom
feat/g36-declaration-evidence

Conversation

@jscott3201

@jscott3201 jscott3201 commented Aug 24, 2026

Copy link
Copy Markdown
Owner

Summary

  • pin the Apache-2.0 Rumoca Modelica parser crates to commit 880ff2482dd83595425ead5963505d2100e083f1
  • verify the release TrimAndRespond class/member declarations and HeatingCoil enum order from parsed syntax
  • run the declaration gate after exact G36 source-inventory verification in CI

Boundary

This is syntax-level declaration evidence for two fixed release files. The preceding inventory gate proves checkout identity and blob membership. This change does not establish dependency closure, inherited members, semantic type resolution, graph generation, deployment, or a persisted source-map contract.

Validation

  • cargo test --locked --manifest-path tools/verify/Cargo.toml
  • tools/verify/target/debug/cxf-verify --g36-declarations /path/to/release-checkout
  • tools/verify/target/debug/cxf-verify --routines
  • routine lint suite: 179 tests plus schema, semantic, and catalog checks
  • exact release/development source-inventory check
  • all fault scenarios and 32 dataset-harness tests

The parser dependency adds 127 lockfile packages and increases cold Rust build time.

Pin Rumoca's parser crates to one exact revision and verify the release TrimAndRespond and HeatingCoil declarations after source-inventory validation.

@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 reviewed immutable head fbb45812b97579cb71a90a5b627e7d7de4c8f942 against base 1c9559f873ff085da52dd040982b4d498f4d17cb.

Both standard reviewers are blocker/major-clean. No findings or deferred PR-introduced issues were confirmed. The verify and build checks passed on the reviewed head.

PASS

@jscott3201
jscott3201 merged commit f5e1acd into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the feat/g36-declaration-evidence 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