Add DecEq-Network as an explicit parameter to avoid agda bug
See https://github.com/agda/agda/issues/8532
See https://github.com/agda/agda/issues/8532
For consistency with SUBUTXOW
* Add well-formedness check for RequiredTopLevelGuards * Apply suggestion from Claude
For consistency with SUBUTXOW
* Move Test to its own agda package * Add nightly CI workflow to build all Nix packages * Potential fix for pull request finding 'CodeQL / Workflow does not contain permissions' Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com> * Remove Test modules from mkdocs --------- Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
For consistency with SUBUTXOW
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>