A buyer-readable scoreboard for proof quality: Freight RouteOps proof packets first, Exact Chemistry as the premium second room, then flight, grid, and ATC evidence layers as benchmarks mature.
Evidence-first verification layer: Catalyst-Q is the system of record for expensive scientific, routing, grid, flight, and safety decisions that teams need to trust before they act.
Bring us the disputed catalyst, material, route plan, dispatch scenario, or safety decision; Catalyst-Q returns a replayable proof packet with baselines, assumptions, ROI math, and the next evidence gate.
A clear view of incumbent strengths, where Catalyst-Q fits, and which proof packet comes next.
Their strength: They own the hot proof-certificate narrative: AI agents produce machine-checkable mathematical or software correctness artifacts.
Catalyst-Q angle: Specialize in scientific result verification and operational proof packets, not compiled-binary correctness: verify chemistry scope, solver baselines, replay ids, and ROI evidence.
Customer leverage:
Next customer proof: Tamper-evident packet demo: original verifies, modified active space or energy claim fails.
Their strength: They have deep quantum-algorithm credibility, hardware/cloud ecosystems, and researcher trust.
Catalyst-Q angle: Win the active-space verification workflow around disputed results: parse customer assumptions, run scoped checks, compare PySCF/OpenFermion-style references, and emit an auditable proof packet.
Customer leverage:
Next customer proof: Exact-chemistry benchmark packet set for small molecules and transition-metal fragments.
Their strength: They are funded and talent-dense candidate-generation engines with strong AI-for-science narratives.
Catalyst-Q angle: Verify the top 0.1% candidates from generated pipelines before wet-lab spend, partner review, or investor diligence.
Customer leverage:
Next customer proof: Candidate triage demo: generated material enters, verification packet ranks evidence gaps and go/no-go confidence.
Their strength: They bring enterprise trust, domain PhDs, proprietary datasets, and pharma/materials partnerships.
Catalyst-Q angle: Attach an independent proof and replay layer to high-value disputed outputs, especially where the buyer needs a second opinion before committing capital.
Customer leverage:
Next customer proof: Third-party-style report comparing customer approximate methods against a Catalyst-Q verification packet.
Their strength: They have mature solvers, routing APIs, dispatch UX, and production integrations.
Catalyst-Q angle: Sell baseline-vs-Catalyst ROI proof: replay current routes, compare public solver baselines, quantify miles, lateness, capacity, route stability, fuel, and emissions proxy.
Customer leverage:
Next customer proof: Freight proof packet: customer baseline vs OR-Tools/PyVRP/VROOM vs Catalyst-Q with savings math.
Their strength: They own regulated workflows, integrations, procurement trust, and safety/compliance posture.
Catalyst-Q angle: Start as advisory proof and simulator/offline replay: verify scenarios, rank options, expose assumptions, and preserve human approval.
Customer leverage:
Next customer proof: Offline replay packet showing operator-approved alternatives and explicit no-control-action boundaries.
Freight RouteOps is the first PMF wedge because buyers can inspect one route file, one proof packet, and one approval decision quickly; exact chemistry remains the premium second room; flight ops, grid, and ATC should stay advisory/offline until public benchmark and integration gates mature.
Each vertical has a clear buyer wedge, a comparison set, and the proof packet required for confident adoption.
Self-verifying active-space packet now returns a SHA-256 consistency proof, replay id, declared active space, DFT comparison, small-subsystem checks, and a buyer-ready evidence scope.
Competitor baselines:
Where Catalyst-Q wins now:
What we validate before expansion:
Benchmark campaigns underway:
Local synthetic CVRPTW-shaped eval passes with 39.9% objective improvement versus nearest-neighbor baseline, no capacity violation, no lateness, and minimal-change replan passing.
Competitor baselines:
Where Catalyst-Q wins now:
What we validate before expansion:
Benchmark campaigns underway:
Aviation decision-support eval passes with synthetic OpenSky/BlueSky-shaped data, ranked resolution options, fuel/delay proxy, and no autonomous clearance language.
Competitor baselines:
Where Catalyst-Q wins now:
What we validate before expansion:
Benchmark campaigns underway:
Mini OPF-shaped eval passes with full 220 MW served, zero unserved load, zero renewable curtailment, zero line/voltage violations, and required operator approval; the PGLib/MATPOWER live lane parses selected public cases up to 2,000 buses, runs the pinned catalyst-dcopf-cg-v1 DC power-flow runner, and includes the bounded catalyst-dcopf-cut-v1 line-constrained redispatch gate.
Competitor baselines:
Where Catalyst-Q wins now:
What we validate before expansion:
Benchmark campaigns underway:
Aviation safety eval now passes with 2 detected separation conflicts, 2 ranked resolution-option packets, 3 precise human handoffs, fuel/delay proxy, and no autonomous clearance.
Competitor baselines:
Where Catalyst-Q wins now:
What we validate before expansion:
Benchmark campaigns underway: