routing

Efficiency Front

Non-dominated cost × latency set with budget sliders.

Scatter analogue cards. Highlight the Pareto set. Receipt for the selected path.

Renamed from “Cost vs Latency Pareto Frontier”. SVG scatter.

Budget analogue · 3.00Max latency ms · 240

Selected

TUCE DSPy

Pareto size

Receipt

0.9 · 120ms

Gold = non-dominated set. Teal = inside the slider box. Grey = gated out. Analogue cards, not a vendor probe.

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