Skip to content

fix: move Haskell devcontainer outside a2ml canonical spec to resolve… - #631

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/move-haskell-devcontainer-outside-a2ml
Aug 24, 2026
Merged

fix: move Haskell devcontainer outside a2ml canonical spec to resolve…#631
hyperpolymath merged 1 commit into
mainfrom
fix/move-haskell-devcontainer-outside-a2ml

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

… HYP-S009

The Containerfile in a2ml/bindings/haskell/.devcontainer/ is a product manifest that violates HYP-S009: it should not be located within a canonical spec home directory. Moving this devcontainer to the bindings-haskell/ directory (outside a2ml/) separates the implementation from the spec.

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

… HYP-S009

The Containerfile in a2ml/bindings/haskell/.devcontainer/ is a product
manifest that violates HYP-S009: it should not be located within a canonical
spec home directory. Moving this devcontainer to the bindings-haskell/
directory (outside a2ml/) separates the implementation from the spec.
@hyperpolymath
hyperpolymath merged commit d67def6 into main Aug 24, 2026
12 of 14 checks passed
@hyperpolymath
hyperpolymath deleted the fix/move-haskell-devcontainer-outside-a2ml branch August 24, 2026 21:30
@sonarqubecloud

Copy link
Copy Markdown

@gitar-bot

gitar-bot Bot commented Aug 24, 2026

Copy link
Copy Markdown

Important

You are using the Gitar free plan. Upgrade to unlock code review, CI analysis, auto-apply, custom automations, and more.

Gitar

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