# Compliance Ising Z3

> Deterministic QUBO/Ising policy-optimization and Z3/SMT-style formal constraint verification, bundled locally from the tdealer01-crypto/Compliance-ising-z3-Deterministic- engine. Includes a z3-compliance-review skill, a compliance-agent subagent, and reference build/test scripts. Constraint checks are Z3/SMT-style in native Kotlin (no external Z3 process).

## Facts
- Page: https://tashan.sh/capability/plugin-tdealer01-crypto-tdealer01-crypto-dsg-control-plane-compliance-ising-z3
- tashan id: plugin:tdealer01-crypto/tdealer01-crypto-dsg-control-plane/compliance-ising-z3
- Source: https://github.com/tdealer01-crypto/tdealer01-crypto-dsg-control-plane
- Type: plugin
- Category: security
- tashan score: 45.0 / 100
- Adoption: 7.0
- Upkeep: 100.0
- Freshness: 99.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- License: NOASSERTION
- Official: no

## Install

```sh
/plugin marketplace add tdealer01-crypto/tdealer01-crypto-dsg-control-plane
/plugin install compliance-ising-z3@dsg-plugins
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-08-14 by tashan (https://tashan.sh) from public evidence. Scorer s5.