Scenario & Input Controls
Configure query, raw PII, structured facts, and model synthesis candidate
Quick-Filter Scenario Category
Loading scenarios...
Live 8-Stage Sovereign Assurance Pipeline Visualizer
Real-time trace across Sanitization, Knowledge, Keys, Model Gateway, Verifier (A==B), Orchestration & Witnessed Ledger
prepare: -- ms
finalize: -- ms
total: -- ms
STAGE 01
READY
sas-sanitization
Ingress PII Tokenization & Vault Map
Awaiting execution...
STAGE 02
READY
sas-knowledge
Rule Routing & Evaluator A Check
Awaiting execution...
STAGE 03
READY
sas-keys
AES-256-GCM AAD-Bound Vault Envelope Seal
Awaiting execution...
STAGE 04
READY
sas-sanitization
Outbound Egress Guard
Awaiting execution...
STAGE 05
READY
Model / Gateway
Graph-Only 0 Tokens vs Synthesis Candidate
Awaiting execution...
STAGE 06
READY
sas-verifier
6-Check Adversarial Veto + Evaluator B VM
Awaiting execution...
STAGE 07
READY
sas-orchestration
Vault Token Rehydration
Awaiting execution...
STAGE 08
READY
sas-ledger + FileWitness
SHA-256 Hash Chain & Witnessed Audit Entry
Awaiting execution...
PrepareResponse Inspector (Ingress Sanitization, Rule Routing & Sealed Context) JSON
{}
FinalizeResponse Inspector (Delivery / Refusal Envelope) JSON
{}
VerifierChecks Inspector (6-Check Adversarial Veto & Evaluator A==B) JSON
{}
LedgerEntry Inspector (SHA-256 Hash Chain & FileWitness Verification) JSON
{}
1. sas-sanitization Tester
Checksum-validated PII tokenization (IBAN, TFN, Medicare, IHI, NRIC, Aadhaar) & outbound egress guard
Click "Run Sanitization" to execute POST /api/workbench/module/sanitization
2. sas-keys Cryptographic & Tamper Tester
Ed25519 dual-control signing & AES-256-GCM AAD-bound vault sealing with live tamper injection
Click "Run Crypto Probe" to execute POST /api/workbench/module/keys
3. sas-ledger & Witness Attack Simulator
Proves why unwitnessed hash chains miss L1 tail truncation while FileWitness catches it
Click "Simulate Ledger & Witness" to execute POST /api/workbench/module/ledger
4. sas-knowledge Deterministic Formula Evaluator
Evaluate primary-sourced sas-formula/1 rules with exact Decimal precision & statutory provenance
Click "Evaluate Formula (Eval A)" to execute POST /api/workbench/module/knowledge
5. sas-verifier Dual-Evaluator (A==B) & 6-Check Inspector
Compares Evaluator A AST vs Evaluator B Stack Bytecode VM and runs C0..C5 adversarial probes
Click "Run 6-Check Verifier" to execute POST /api/workbench/module/verifier
6. sas-packs Compliance Matrix Runner
Executes all 238 deterministic rule test vectors (Eval A == Eval B) and 60 C0-C5 probes across packs
Click "Run Pack Matrix" to execute POST /api/workbench/module/packs
Curated Sample Prompts & Adversarial Probes Catalog
Click "Load into E2E Lab" on any scenario to pre-populate Tab 1 and run the live 8-stage trace
Terminal & CLI Reference Commands
Copyable CLI and curl invocations for automated testing, CI/CD diagnostics, and sidecar verification
1. Run Full In-Process Workbench Self-Test (All 6 Module Endpoints + 10 Packs E2E + L1 Witness)
./tools/run_workbench.py --self-test
2. Launch Interactive SAS 0.2 Workbench Server on Port 8765
./tools/run_workbench.py --host 0.0.0.0 --port 8765
3. Execute End-to-End Solution Run via curl (Graph-Only 0-Token Short-Circuit)
curl -sS -X POST http://127.0.0.1:8765/api/workbench/solution/run -H 'Content-Type: application/json' -d '{"pack_id":"banking-eu","query":"For IBAN DE89370400440532013000, compute Tier 2 amortised recognition.","facts":{"instrument":{"nominal_amount":"10000000","remaining_maturity_days":1095}}}' | python3 -m json.tool
4. Execute L1 Ledger Tail-Truncation Witness Simulation via curl
curl -sS -X POST http://127.0.0.1:8765/api/workbench/module/ledger -H 'Content-Type: application/json' -d '{"entries_to_append":5,"tamper_mode":"tail_truncation"}' | python3 -m json.tool