Cardano Updates

The AsData-generated code uses head/tail and emits pattern synonyms
without signatures, tripping -Werror=x-partial and
-Werror=missing-pattern-synonym-signatures. These are inherent to the plugin
output, so suppress them on the test module (the plugin firing is confirmed by
the generated code compiling at all).

Co-Authored-By: Claude Opus 4.8 <[email protected]>

Adds AsData.Spec to frontend-plugin-tests: a module compiled with
-fplugin PlinthPlugin that derives 'AsData via PlinthPlugin' and uses the
generated Circle/Rectangle pattern synonyms. If the plugin does not fire, the
deriving clause survives to the renamer and the module fails to compile, so
compilation itself proves the plugin works; the HUnit case additionally
exercises the generated synonyms at runtime.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

On GHC 9.6, UserTyVar/KindedTyVar already exhaust HsTyVarBndr, so the
catch-all tripped -Werror=overlapping-patterns; move it into the >=9.10
branch (where it covers HsBndrWildCard). That leaves PlinthPlugin.Hsc unused
on 9.6, so CPP-guard its import too.

Verified locally with plutus's -Wall -Werror set on both GHC 9.6.7 and 9.12.2.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

-Wx-partial does not exist before GHC 9.8, so the bare -Wno-x-partial
pragma tripped -Werror=unrecognised-warning-flags on the 9.6 build. Pair it
with -Wno-unrecognised-warning-flags so the unknown flag is a no-op on 9.6.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

The vendored plinth-plugin suppressed these warnings in its own cabal;
plutus-tx-plugin builds with -Wall -Werror, so: remove unused imports
(CPP-guarding Bag, still needed by the 9.6 makeLHsDecl branch), give the
Config/Flag derivings explicit 'stock' strategies, suppress -Wx-partial on
the three generators (the head calls are non-empty by construction), and
drop the unwired FromData stub.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

Ports the PlinthPlugin parsed-result plugin (from the ghc-plinth standalone
effort) into plutus-tx-plugin. It expands data declarations written with
`deriving … via PlinthPlugin` into AsData pattern synonyms, Optics prisms,
and Match functions at parse time, alongside the existing core Plinth.Plugin.

The modules carry CPP shims so they build on both GHC 9.6 and 9.12 (the
versions plutus supports). PlinthPlugin and PlinthPlugin.Via (the
`data Via = PlinthPlugin` sentinel) are exposed; the rest are internal. The
version banner now reads Paths_plutus_tx_plugin.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

- plutus-benchmark/uplc-evaluator/test/Harness.hs:126 — re-check getProcessExitCode before SIGKILL escalation (https://github.com/IntersectMBO/plutus/pull/7817#discussion_r3414323806)

See plutus-private#2257.

The uplc-evaluator is a non-critical on-demand tool, so its integration
tests need not gate every PR. The test executable is still built on every
PR; the suite is run nightly instead. See plutus-private#2257.

Test teardown ran terminateProcess followed by an unbounded
waitForProcess, so a spawned service that missed SIGTERM hung the run
until the 2h CI cap (plutus-private#2257). Bound the wait and escalate to
SIGKILL, add a per-test tasty timeout as a safety net, and a regression
test that drives a SIGTERM-ignoring process.

Compose the force/delay chain with (.) instead of mixing ($) and parens,
and lay the mkInlinePurityTest argument out across lines. Same term.

In an Agda certificate, all work for type-checking the translation relation proofs is done in the top-level agda module. This PR instead constructs a module per pass which has the corresponding translation relation proof. This is useful for performance debugging when type-checking an agda certificate, as we can see a break-down of the decision procedure's performance.

So in addition to Pass_xyz/AST.agda, there is now also Passxyz/Proof.agda. The top-level module simply imports the proofs and constructs the certificate proof (a big tuple).