Delta-V Budget Demo
Validate mission burn sequencing and certify each ΔV control with a reproducible receipt
Validate mission burn sequencing and certify each ΔV control with a reproducible receipt
Validate mission burn sequencing and certify each
ΔV control with a reproducible receipt
Consistent
Same input → same output
Consistent
Same input → same output
Fast
Get an answer instantly
Fast
Get an answer instantly
Results
Proof + results + constraints
Results
Proof + trace + constraints
Results
Proof + trace + constraints
Certified
Certified before release
Certified
Certified before release
Certified
Certified before release
Scenario
What this demo shows
CERTIFIED
Every budget check is provable (TRUE or FALSE) with a reproducible receipt.
NOT CERTIFIED
At least one check is not provable, so the plan fails closed.
Inside budget
Whether the current plan stays within available Δv after margin + reserve.
Mission
Low Earth Orbit
Within budgetUsed: 108 m/sAvail: 180 m/s
Burn segments (Δv)
Margin (dashed)
Reserve (dotted)
Hover a burn segment to highlight its row and checks.
This demo certifies the math of mission budget checks. It does not perform navigation or guidance.
Burn plan
Ruleset: cs-certify-1.0Budget controls
Available Δv (m/s)
Margin (%)
Reserve (m/s)
Minimum: 20 m/s
Total burns
80 m/s
Margin Δv
8 m/s
Used (burns + margin + reserve)
108 m/s
Remaining
72 m/s
Vehicle model (optional)
Isp (s)
Thrust (N)
Wet mass (kg)
Propellant mass (kg)
Max g (limit)
Max total burn time (s)
Per-burn Δv cap (m/s)
Max Δv (rocket equation)
742 m/s
Propellant required (for used Δv)
419 kg
Max accel (dry mass)
1.30 g
Total burn time (approx.)
8 s
These are simplified engineering checks to make the demo feel closer to real mission budgeting.
Burn list
Orbit insertion trim
Phasing burn
Rendezvous approach
Station-keep
Adjust burns to see the orbit ring and budget gauge update in real time.
Result Summary
—
Run certification to generate a receipt.
Budget status
Inside budget
TRUE
Reserve meets minimum
TRUE
Run stats
Kernel version
—
Execution time
—
Checks
—
Checks performed
Run certification to populate checks.
Scenario
What this demo shows
CERTIFIED
Every budget check is provable (TRUE or FALSE) with a reproducible receipt.
NOT CERTIFIED
At least one check is not provable, so the plan fails closed.
Inside budget
Whether the current plan stays within available Δv after margin + reserve.
Mission
Low Earth Orbit
Within budgetUsed: 108 m/sAvail: 180 m/s
Burn segments (Δv)
Margin (dashed)
Reserve (dotted)
Hover a burn segment to highlight its row and checks.
This demo certifies the math of mission budget checks. It does not perform navigation or guidance.
Burn plan
Ruleset: cs-certify-1.0Budget controls
Available Δv (m/s)
Margin (%)
Reserve (m/s)
Minimum: 20 m/s
Total burns
80 m/s
Margin Δv
8 m/s
Used (burns + margin + reserve)
108 m/s
Remaining
72 m/s
Vehicle model (optional)
Isp (s)
Thrust (N)
Wet mass (kg)
Propellant mass (kg)
Max g (limit)
Max total burn time (s)
Per-burn Δv cap (m/s)
Max Δv (rocket equation)
742 m/s
Propellant required (for used Δv)
419 kg
Max accel (dry mass)
1.30 g
Total burn time (approx.)
8 s
These are simplified engineering checks to make the demo feel closer to real mission budgeting.
Burn list
Orbit insertion trim
Phasing burn
Rendezvous approach
Station-keep
Adjust burns to see the orbit ring and budget gauge update in real time.
Result Summary
—
Run certification to generate a receipt.
Budget status
Inside budget
TRUE
Reserve meets minimum
TRUE
Run stats
Kernel version
—
Execution time
—
Checks
—
Checks performed
Run certification to populate checks.
