SCI MODEL EXPLORER

Make the assumptions visible.

Compare retaining an unused legacy process with retiring it on the same fixed-size infrastructure. Explore the allocation model, inspect the real local observations, and see what the evidence supports.

MODELED REFERENCE · NO SUPPORTED SAVINGS
VM capacity stays allocated.

Both scenarios share the same demand, infrastructure and completed migration history. Stopping one process does not release the VM’s allocated memory or disk. Runtime allocations are equal by assumption; the incremental proof-verifier is added separately. This model does not prove that actual energy use is identical.

Loading the published model and its sources…