Demo environment100% synthetic data

Switch plans without paying twice.

Take my money turns the unused part of a mobile-billed subscription into a one-time credit for a new direct plan.

Try the migration demo See the three steps

The rebase protocol

Portable value, controlled end to end.

Verify paid value

Synthetic receipt evidence locates a subscription; a provider adapter verifies the facts.

Calculate the unused part

Deterministic bigint arithmetic prices the exact remaining UTC duration. Never an LLM.

Rebase once

A one-time migration credit starts the direct plan with idempotency and an audit trail.

Hard boundary

AI reads and explains. Code controls every cent.

GPT-5.6 can extract unverified facts from a synthetic receipt and explain verified results. Eligibility, proration, credits, state transitions, and execution remain deterministic.