# @oshun/v8-case-csp

V8 Ariadne symbolic mystery CSP solver + unique-solution prover (backtracking +
MRV + forward checking) that produces the G2 solvability flag (ledger §I.2) — no
fabricated boolean

## At a glance

- **Path:** `libs/v8/case-csp`
- **Domain:** v8 (active)
- **Owner:** @GreyChimp
- **Docs:** [systems one-pager](/docs/systems/lib-v8.md)
- **Nx project:** `@oshun/v8-case-csp`

## Commands

```bash
pnpm nx test @oshun/v8-case-csp
pnpm nx lint @oshun/v8-case-csp
```

<!-- Generated starting point (audit F-3): owners, replace this note with usage examples and API notes. -->