Skip to content

feat(formdsl): add DGSEM multipatch compatibility diagnostics#58

Merged
xywei merged 1 commit intomainfrom
feat/formdsl-dgsem-multipatch-compatibility-semantics
Apr 7, 2026
Merged

feat(formdsl): add DGSEM multipatch compatibility diagnostics#58
xywei merged 1 commit intomainfrom
feat/formdsl-dgsem-multipatch-compatibility-semantics

Conversation

@xywei
Copy link
Copy Markdown
Owner

@xywei xywei commented Apr 7, 2026

Summary

  • keep strict DGSEM multipatch fail-fast behavior (unsupported_multipatch_interface) unchanged
  • add deterministic permissive compatibility diagnostics for DGSEM multipatch descriptors:
    • dgsem_multipatch_compatibility_profile
    • dgsem_unsupported_multipatch_orientation
    • dgsem_unsupported_multipatch_penalty_control
  • add regression coverage for strict/permissive diagnostics and update docs/OpenSpec tracking

Validation

  • uv run pytest tests/formdsl/test_formdsl_assembly.py -k multipatch
  • uv run pytest tests/formdsl/test_formdsl_assembly.py
  • openspec validate formdsl-dgsem-multipatch-compatibility-semantics --strict
  • make dev

Keep strict DGSEM multipatch behavior unchanged while adding deterministic compatibility-profile diagnostics in permissive mode. Capability checks now report explicit DGSEM diagnostic codes for reversed interface orientation usage and per-interface penalty controls when multipatch descriptors are provided.

Adds regression coverage for strict/permissive DGSEM multipatch diagnostics, updates docs with the new compatibility-only diagnostic codes, and marks the OpenSpec task/plan checklist complete. Validated with: uv run pytest tests/formdsl/test_formdsl_assembly.py -k multipatch, uv run pytest tests/formdsl/test_formdsl_assembly.py, openspec validate formdsl-dgsem-multipatch-compatibility-semantics --strict, and make dev.
@xywei xywei merged commit 2636a0f into main Apr 7, 2026
10 checks passed
@xywei xywei deleted the feat/formdsl-dgsem-multipatch-compatibility-semantics branch April 7, 2026 15:12
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