Skip to content

fix(languages): strengthen Scala Dart and Groovy graph evidence - #281

Merged
forhappy merged 21 commits into
mainfrom
codex/020-universal-language-wave
Aug 23, 2026
Merged

fix(languages): strengthen Scala Dart and Groovy graph evidence#281
forhappy merged 21 commits into
mainfrom
codex/020-universal-language-wave

Conversation

@forhappy

Copy link
Copy Markdown
Contributor

Summary

  • Preserve Scala nested-object ownership and symbolic/operator dispatch identities.
  • Resolve Scala type-level and path-dependent references (dot and hash forms) from local declarations.
  • Recover Dart generated-file signatures, named/factory constructors, getters/setters, and generated functions.
  • Qualify Groovy normal/static imports, aliases, and all extends/implements targets.
  • Add focused language conformance and Groovy qualification fixtures plus provider/oracle coverage.

Verification

  • cargo test -p compass-languages --test language_wave_universal_conformance --locked — 17 passed
  • cargo test -p compass-languages --lib --locked — 60 passed
  • python3 -m unittest discover -s scripts/tests — 35 passed
  • python3 scripts/qualify_groovy_universal.py --mode fixture — passed
  • Changed-file rustfmt and diff checks — passed

Notes

The full resolve test chain is currently blocked by unrelated dirty-worktree TypeScript borrow errors, and the broad fixture qualification gate was interrupted after an existing framework-scale case stopped making progress.

…anguage-wave

# Conflicts:
#	crates/compass-languages/src/evidence/dart.rs
#	crates/compass-languages/src/evidence/shared.rs
#	crates/compass-languages/src/evidence/swift.rs
#	crates/compass-languages/tests/language_wave_universal_conformance.rs
@forhappy
forhappy merged commit 86884ec into main Aug 23, 2026
14 checks passed
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