neohaskell/docs/archive/2026-07-ai-artifacts/claude-skills/integration-pipeline-preview/15-final-verify
docs/archive/2026-07-ai-artifacts/claude-skills/integration-pipeline-preview/15-final-verify/SKILL.md
> **ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE.** > Superseded by `codemap/` + root `AGENTS.md`. Scheduled for deletion once the pipeline is verified (Phase 6). > Manifest: `docs/archive/2026-07-ai-artifacts/MANIFEST.md` --- name: 15-final-verify description: Runs build and test as a strict no-iteration gate before PR creation; records final hlint warnings for the PR body. kind: process executor: haiku model: claude-haiku-4-5-20251001 --- # Final Verify Strict gate on `cabal build all` and
$ install --global
skillsauthnpx skillsauth add neohaskell/neohaskell docs/archive/2026-07-ai-artifacts/claude-skills/integration-pipeline-preview/15-final-verifyInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jul 9, 2026, 7:32 AM117.7s3 files scanned
SKILL.md
ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE. Superseded by
codemap/+ rootAGENTS.md. Scheduled for deletion once the pipeline is verified (Phase 6). Manifest:docs/archive/2026-07-ai-artifacts/MANIFEST.md
name: 15-final-verify description: Runs build and test as a strict no-iteration gate before PR creation; records final hlint warnings for the PR body. kind: process executor: haiku model: claude-haiku-4-5-20251001
Final Verify
Strict gate on cabal build all and cabal test. Hlint runs as a warning collector — the canonical .integration-pipeline/hlint.log is overwritten with the final state so phase 16 surfaces accurate warnings in the PR body.
Steps
- Build — read
./01-build/SKILL.mdand follow it. Verify: exit 0. - Test — read
./02-test/SKILL.mdand follow it. Verify: exit 0. - Hlint (warning collector) — read
./03-hlint/SKILL.mdand follow it. Verify:.integration-pipeline/hlint.logexists (the leaf writes ahlint: missingplaceholder when hlint is unavailable); exit is 0.
Walk these steps in order. After each, run the verify check before continuing. If step 1 or 2 fails, stop and surface — no iteration is allowed in this phase; the maintainer returns to phase 11 or 14. Step 3 never gates.
Shared invariants
- No fix-loop here. Any build or test failure means returning to phase 11 or 14.
- Build and test are gates; hlint is informational and surfaced via the PR body at phase 16.
- Phase 15 is complete when build and test are green and
.integration-pipeline/hlint.loghas been refreshed.
Related Skills
neohaskell/docs/archive/2026-07-ai-artifacts/claude-skills/neohaskell-style-guide
development
VerifiedTrustedCommunity
> **ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE.** > Superseded by `codemap/` + root `AGENTS.md`. Scheduled for deletion once the pipeline is verified (Phase 6). > Manifest: `docs/archive/2026-07-ai-artifacts/MANIFEST.md` --- name: neohaskell-style-guide description: NeoHaskell coding style reference and enforcement rules. Load when writing, reviewing, or modifying any Haskell code in the NeoHaskell project. Triggers on 'NeoHaskell style', 'NeoHaskell conventions', 'how to write NeoHaskell', '
347SKILL.mdUpdated Jul 9, 2026
neohaskell/docs/archive/2026-07-ai-artifacts/claude-skills/neohaskell-security-review
development
VerifiedTrustedCommunity
> **ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE.** > Superseded by `codemap/` + root `AGENTS.md`. Scheduled for deletion once the pipeline is verified (Phase 6). > Manifest: `docs/archive/2026-07-ai-artifacts/MANIFEST.md` --- name: neohaskell-security-review description: Security & Code Quality review for NeoHaskell. Use when reviewing code changes, PRs, or architectural decisions for security implications. Evaluates OWASP, NIST, EU compliance. Handles pipeline phases 2 (ADR review) and 10 (im
347SKILL.mdUpdated Jul 9, 2026
neohaskell/docs/archive/2026-07-ai-artifacts/claude-skills/neohaskell-qa-designer
development
VerifiedTrustedCommunity
> **ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE.** > Superseded by `codemap/` + root `AGENTS.md`. Scheduled for deletion once the pipeline is verified (Phase 6). > Manifest: `docs/archive/2026-07-ai-artifacts/MANIFEST.md` --- name: neohaskell-qa-designer description: Testing QA Designer for NeoHaskell. Designs comprehensive test specifications with exhaustive edge cases, boundary conditions, and happy paths BEFORE implementation. Handles pipeline phase 6 (Test Spec Design). Outside-in TDD meth
347SKILL.mdUpdated Jul 9, 2026
neohaskell/docs/archive/2026-07-ai-artifacts/claude-skills/neohaskell-performance-review
development
VerifiedTrustedCommunity
> **ARCHIVAL KNOWLEDGE — DO NOT USE OR REFERENCE.** > Superseded by `codemap/` + root `AGENTS.md`. Scheduled for deletion once the pipeline is verified (Phase 6). > Manifest: `docs/archive/2026-07-ai-artifacts/MANIFEST.md` --- name: neohaskell-performance-review description: Performance review for NeoHaskell targeting 50k req/s throughput. Use when reviewing code for performance implications, INLINE pragmas, strictness, and allocation patterns. Handles pipeline phases 3 (ADR review) and 11 (imp
347SKILL.mdUpdated Jul 9, 2026