Back to home
Back to home
Public Manifest · Mathematical Proof

Our algorithms are proven by mathematical tests
not marketing copy.

Every CARTIE engine ships with a test manifest you can audit. Live count below. No NDA, no "contact sales" — just curl away.

28

mathematical tests across 3 engines

LIVE · parsed from backend/tests/test_algorithm_correctness.py · refreshed on each request

Verify yourself · public, no auth
$ curl https://demo-cartie.emergent.host/api/algorithm-correctness/manifest | jq

Engines under proof

K8s Shapley Attribution

TestShapleyMathematicalCorrectness

  • test_two_equal_pods_split_equally
  • test_proportional_pods_get_proportional_shares
  • test_shapley_sums_to_total_overhead
  • test_montecarlo_converges_to_exact_shapley
  • test_zero_pod_returns_empty
  • test_singleton_gets_full_overhead
  • test_direct_cost_decomposition_adds_up

Cost-Bisect

TestCostBisectCorrectness

  • test_no_regression_when_all_deltas_below_threshold
  • test_finds_earliest_regression
  • test_returns_first_regression_not_largest
  • test_threshold_exact_boundary
  • test_range_swap_works
  • test_unknown_sha_raises_404

Causal FinOps Bot

TestCausalBotIntentRouting

15 testsSee engine
  • test_intent_routing
  • test_unknown_question_defaults_to_cost_spike
  • test_orchestrate_returns_complete_causal_chain
  • test_dollar_impacts_are_positive_and_realistic

Counts are parsed from the actual test source. Run `cd /app/backend && pytest tests/test_algorithm_correctness.py -v` to reproduce.

We value your privacy. Cookies help us improve your experience. Learn more

Install CARTIE AI

Add to your home screen for quick access and offline support