sat

SAT Bench

Gate, Verify, Forge, Qubo. Real DPLL-lite. No solve-rate warranty.

Policy → CNF. DIMACS solve. Planted 3-SAT. Tiny QUBO anneal.

Renamed from “StrataX Guard/Verify/Bounty/Forge/StrataQ”. JS DPLL + anneal.

English policy

c StrataX Gate — policy compiled in this tab
c no guaranteed solve rate
c isolation: A_reads_B forbidden (x1=false)
c HITL required (x2=true)
c PHI off-origin unless BAA (x3=false)
c spend cap armed (x4=true)
p cnf 5 4
-1 0
2 0
-3 0
4 0

DPLL-lite: sat · 4 clauses · warranty none

Honesty

Live engines on this origin: SAT DPLL-lite, truth.ts scores, brains router, ISO Annex A catalog, STRIDE/DREAD, 15-stage bus, EngOS 20-role seater.
Analogue where a kernel, vendor feed, or SNARK is claimed. Labelled in-tool.
Not a visitor-count claim. Not ISO/SOC 2 certified. Not HIPAA certified.
SAT: no guaranteed solve rates.
Route Tape: analogue quotes, not a vendor price feed.
Isolation Score: local canary test, not an air gap.
Veloce Pulse / Durability Bench: JS-heap analogue of log-structured commit, not a kernel ZFS mount.
Mask Path hashes and redacts — it is not a SNARK or STARK prover.
Grok referee is user-initiated and only runs when a live key is present.

Not a merged database of every partner. Not a brand index. Not an agent-graph toy. Not a certified ISO/SOC 2 badge. Not investment advice. Not a clinical system. Not a web-scale search engine. Not a wrapper. Tools demonstrate the OS. They are not the definition of TUCE. They are not visitor-count proofs.

All tools·Start console