Add Copilot instructions to suppress false positives on shared qualified import aliases

[Copilot]

Changelog

- description: |
    Add .github/copilot-instructions.md with Haskell-specific guidance to prevent
    GitHub Copilot from incorrectly flagging valid patterns (e.g. multiple modules
    sharing the same qualified import alias) as compile errors in future PR reviews.
  type:
  - maintenance
  projects:
  - cardano-api

Context

GitHub Copilot incorrectly flagged multiple modules sharing the same qualified import alias as a compile error (e.g., both Cardano.Api.Experimental and Cardano.Api.Experimental.Tx imported as Exp). This is valid GHC Haskell — name resolution happens at the use site, and ambiguity only arises if both modules export the same identifier used without disambiguation.

Addresses feedback from #1128.

How to trust this PR

The only file changed is .github/copilot-instructions.md. Verify its content explains the valid Haskell qualified-alias pattern correctly.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[carbolymer]

@copilot see the PR description template in the repo, change the PR template to match it

[Copilot]

@copilot see the PR description template in the repo, change the PR template to match it

Updated the PR description to follow the repository template format (Changelog YAML, Context, How to trust this PR, Checklist).

[carbolymer]

@copilot Rebase just your commit with a change onto master, then push with force to update this branch.

[Copilot]

Pull request overview

Adds repository-level GitHub Copilot guidance for a Haskell-specific import pattern, and refactors/extends the test suite by moving calcMinFeeRecursive properties into a dedicated module.

Changes:

• Add .github/copilot-instructions.md documenting that shared qualified import aliases are valid in GHC Haskell and shouldn’t be flagged by Copilot.
• Extract calcMinFeeRecursive property tests into new Test.Cardano.Api.Experimental.Fee and wire it into the test runner and cabal test-suite.
• Export exampleProtocolParams from Test.Cardano.Api.Experimental so it can be reused by the new fee test module.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
.github/copilot-instructions.md	Adds Copilot instructions about shared qualified import aliases in Haskell.
cardano-api/test/cardano-api-test/cardano-api-test.hs	Registers and runs the new Experimental.Fee test group.
cardano-api/test/cardano-api-test/Test/Cardano/Api/Experimental/Fee.hs	New property-test module covering calcMinFeeRecursive scenarios.
cardano-api/test/cardano-api-test/Test/Cardano/Api/Experimental.hs	Removes inlined fee properties and exports exampleProtocolParams for reuse.
cardano-api/cardano-api.cabal	Adds the new fee test module to the cardano-api-test suite other-modules.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Within this module, mkBasicTxOut is called sometimes via L.mkBasicTxOut and sometimes via Ledger.mkBasicTxOut, even though both qualifiers refer to Cardano.Api.Ledger. Using a single qualifier consistently here (as in Test.Cardano.Api.Experimental) would reduce confusion, especially given L is also shared by multiple Ledger modules in these tests.

[Copilot]

@copilot Rebase just your commit with a change onto master, then push with force to update this branch.

I can perform the rebase locally, but I'm unable to force-push — my tooling only supports regular git push, which would be rejected after a history rewrite. Could you run the following to clean this up?

git fetch origin master
git checkout copilot/sub-pr-1128-again
git rebase --onto origin/master de666e0~1 HEAD
git push --force origin copilot/sub-pr-1128-again

This will drop the de666e0 (Jordan Millar's) and 0c8938a (empty "Initial plan") commits, keeping only the .github/copilot-instructions.md change on top of master.