Anystack Engineering
Back to home

Deterministic Test Verification Engine

Deterministic verification for AI-generated test suites.

When code and tests are generated together, test suites pass by construction. Line coverage increases while assertions rely on shallow checks (.toBeDefined(), .toBeTruthy()) and miss domain error branches. Pramāṇa parses abstract syntax trees and executes synthetic mutations to prove which regressions bypass CI.

Audit your repository72-hour turnaround · Zero repo write-access required.
Turnaround
72 hours from repo access
Deliverables
Assertion Ledger + Hardened PR
Verification
AST analysis & synthetic fault injection
Commercial
£2,500 fixed fee (authorized audits)

Empirical Proof

Surviving mutants and unasserted error branches in production repositories.

Pramāṇa executes deterministic AST parsing and mutation testing against target codebases. It records reproduction commands, exact diffs, and exit codes for every surviving mutant.

Security specification · Webhook signature verification

standard-webhooks/standard-webhooks

7 of 7 domain security error branches unasserted

All negative tests assert only generic WebhookVerificationError. Signature bypasses and expired timestamps pass CI under the same green assertion.

Metric: 30/100

E-commerce platform · Cart & order calculation

medusajs/medusa

Tax calculation reversed (MathBN.add → MathBN.sub)

Mutating tax addition to subtraction in order calculation passed the full test suite with 100% green status. A financial reversal escaped CI.

Metric: Surviving Mutant

Communications API · Batch email transmission

resend/resend-node

13 instances of .toBeDefined() masking payload validation

Core batch sending tests assert only that network calls and headers 'exist'. Malformed or empty payloads continue to pass green.

Metric: 13 Vacuous Matchers

Deliverables

Four verified audit deliverables in 72 hours.

  1. 01

    Static Assertion Integrity Ledger

    Every vacuous matcher (.toBeDefined(), .toBeTruthy()) and loose matcher identified with exact file coordinates and risk ratings.

  2. 02

    Domain Error Branch Gap Analysis

    A complete census of error, exception, and status branches in your code that have zero corresponding assertions in your test suite.

  3. 03

    Fault Resistance Proof (Surviving Mutants)

    Deterministic synthetic fault injection across critical logic (billing, auth, state transitions) proving which regressions slip past CI.

  4. 04

    Assertion Hardening Pull Request

    An engineer-ready patch replacing shallow matchers with strict domain invariants and adding tests for unasserted error branches.

Direct Audit Intake

Request a test suite audit for your repository.

Submit your repository coordinates below. Pramāṇa analyzes assertion invariants, detects unasserted error branches, and executes synthetic mutations in an isolated sandbox. You receive the Static Assertion Ledger and hardening patch within 72 hours.

Asynchronous Codebase Audit Intake

Authorize repository test suite audit

Provide read access to one target repository or package. Pramāṇa analyzes AST assertion density, locates unasserted domain error branches, and runs synthetic fault mutations in an isolated sandbox. Delivery completes asynchronously within 72 hours.

For private repositories, grant read access to pramana-bot@anystackengineering.com after authorization.
We deliver the Static Assertion Ledger, Fault Resistance Proof, and Hardening PR to this address.

Pramāṇa Audit Guarantee

£2,500 fixed fee. If Pramāṇa identifies fewer than three actionable domain assertion gaps or surviving mutants in your test suite, the audit fee is waived in full.

72-hour turnaround · Asynchronous delivery

Delivered as: Static Assertion Ledger, Error Branch Matrix, Fault Proof, and Hardening PR.

Audit Intake

Audit your test suite before regressions reach production.

Provide read access to one repository or package. You receive the Static Assertion Ledger, Error Branch Matrix, Fault Resistance Proof, and Assertion Hardening PR within 72 hours. Fixed fee: £2,500, payable by corporate invoice (Net-14) or corporate card.

Request Codebase Audit