{"slug": "nowreck-deterministic-ai-verifier-v0-13-0", "title": "NoWreck Deterministic AI Verifier — v0.13.0", "summary": "NoWreck, a deterministic structural verifier for AI-generated code-change claims, has released v0.13.0 with CI/CD integration. The new version adds machine-readable output formats (SARIF and JUnit) and automated git comparison for pull request verification. The verifier compares AI claims against structural evidence from repository snapshots, never relying on another AI's opinion.", "body_md": "**NoWreck v0.13.0 — CI/CD Integration**\n\n**Deterministic AI Verifier** — v0.13.0\n\nNoWreck is a deterministic structural verifier for AI-generated code-change claims. When an AI describes a code change, NoWreck compares the claims against structural evidence derived by its own scanners — the verifier never asks another AI for an opinion. Where the evidence comes from depends on the mode: in Pre/Post and Claims modes, from actual before/after repository snapshots; in Prompt Mode, from the model's own proposed diff.\n\n``` bash\n$ nowreck fix \"Add email validation to auth.py\"\n\n  Summary\n  ────────────────────\n  ● 3 claims total\n  ● 2 confirmed\n  ● 1 contradicted\n\n  CONFIRMED\n  ─────────\n  ✓ ADD_FUNCTION validate_email → auth.py  (conf: 100%)\n    Evidence: Function 'validate_email' was added in auth.py\n\n  CONTRADICTED\n  ────────────\n  ✗ CALLS_FUNCTION validate_email → auth.py  (conf: 100%)\n    Evidence: Function 'validate_email' was added in auth.py\n```\n\nRelease date: August 2026\n\nPrevious release: v0.12.0 (Provider Consolidation + Scan Caching)\n\nFocus: CI/CD integration with machine-readable output formats (SARIF, JUnit)\n\nand automated git comparison for pull request verification.\n\n**SARIF output ✅**\n\nSARIF v2.1.0 output for GitHub Code Scanning, SonarQube, and CodeQL.\n\nnowreck fix --compare HEAD~1 --format sarif > nowreck.sarif\n\n15 rules defined:\n\n```\nNW001-NW013: One per CONTRADICTED claim type (error level)\nNW014: UNVERIFIABLE claims (warning level)\nNW015: UNEXPLAINED changes (note level)\n```\n\nDesign decisions:\n\n```\nCONFIRMED results excluded by default (SARIF is for problems)\nUses ruleId (string) for GitHub UI readability\nEach claim type gets its own rule for granular filtering\n```\n\n**JUnit XML output ✅**\n\nStandard JUnit XML format for Jenkins, GitLab CI, and Azure Pipelines.\n\nnowreck fix --compare HEAD~1 --format junit > nowreck-junit.xml\n\nVerdict mapping:\n\n```\nCONFIRMED → pass (no element)\nCONTRADICTED → <failure>\nUNVERIFIABLE → <failure type=\"UNVERIFIABLE\">\nUNEXPLAINED → excluded (not a claim)\n```\n\n**--format flag ✅**\n\nNew --format flag for output format selection:\n\nnowreck fix --compare HEAD~1 --format json # JSON\n\nnowreck fix --compare HEAD~1 --format sarif # SARIF\n\nnowreck fix --compare HEAD~1 --format junit # JUnit\n\nBackward compatibility: --json deprecated with warning, still works.\n\n**--output flag ✅**\n\nWrite output to file instead of stdout:\n\nnowreck fix --compare HEAD~1 --format sarif --output nowreck.sarif\n\n**--compare flag ✅**\n\nAutomated git comparison:\n\nnowreck fix --compare HEAD~1 # Compare against previous commit\n\nnowreck fix --compare main # Compare against main branch\n\nnowreck fix --compare abc1234 # Compare against specific commit\n\nSupported ref types: commit hash, branch name, tag, HEAD~N syntax.\n\nImplementation: Uses git archive for clean extraction to temp directories.\n\nAutomatic cleanup via tempfile.TemporaryDirectory.", "url": "https://wpnews.pro/news/nowreck-deterministic-ai-verifier-v0-13-0", "canonical_source": "https://dev.to/astralxvoid/nowreckdeterministic-ai-verifier-v0130-b8p", "published_at": "2026-09-02 18:02:47+00:00", "updated_at": "2026-09-02 18:23:58.760073+00:00", "lang": "en", "topics": ["developer-tools", "ai-tools", "mlops"], "entities": ["NoWreck", "GitHub", "SonarQube", "CodeQL", "Jenkins", "GitLab CI", "Azure Pipelines"], "alternates": {"html": "https://wpnews.pro/news/nowreck-deterministic-ai-verifier-v0-13-0", "markdown": "https://wpnews.pro/news/nowreck-deterministic-ai-verifier-v0-13-0.md", "text": "https://wpnews.pro/news/nowreck-deterministic-ai-verifier-v0-13-0.txt", "jsonld": "https://wpnews.pro/news/nowreck-deterministic-ai-verifier-v0-13-0.jsonld"}}