routing

Prompt Forge

Five TUCE lanes, waste receipt, sibling contradiction. Optional Grok lane.

One prompt, five engines (DSPy, EngOS, VEMO, SAT, isolation). Contradiction vs siblings. User-initiated Grok.

Renamed from “Router Stress Tester”. Live brains + SAT + bus; optional grok-4.5.

System / user prompt

Lobe-small

short take:

$0.08 · 90ms · contra 0.667

TUCE DSPy

program of thought: classify → plan →

$0.9 · 120ms · contra 0.734

EngOS desk

seat a specialist.

$1.1 · 180ms · contra 0.733

VEMO swarm

research → copy → sequence → qa.

$1.4 · 95ms · contra 0.733

SAT Guard

compile obligation.

$0.01 · 18ms · contra 0.977

Five TUCE engines: small lobe, DSPy, EngOS desk, VEMO swarm, SAT Guard. Contradiction is token-set distance vs siblings. Not five commercial vendor APIs.

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