BROWSER SIMULATION v1.1.1

Live demo

Interactive walkthrough of transactional cutover and source-independent restore. No cloud credentials. No control-plane calls. Evidence of the real engine is produced by evaluate.ps1 locally.

This page is a labeled simulation for evaluators and GitHub Pages visitors. Timing numbers in the interactive panel are illustrative. Measured CLI evidence is below and in evaluation/.

Proof GIFs (measured local run)

Captured from SDE v1.1.0 on the evaluation machine. Real CLI cutover on this host: barrier 16.3 ms, write pause 14.8 ms, 129 mutations synced.

Animated cutover pipeline phases
Transactional cutover phases
Animated CLI doctor and demo flow
CLI: version → doctor → demo → readiness
Animated source-independent restore
ENGINE_PROVIDED restore after source destroy
SDE hero proof card
Acquisition-ready product card

Full proof page · transcripts in repo assets/demo/

State machine


      

      

        
Metrics

        

          
Mutations
—

          
Write pause
—

          
RPO
—

          
Result
IDLE

        

        

          Invariants (enforced in Go tests):
          
    
            
  • ACKNOWLEDGED_WRITES_MUST_NOT_BE_SILENTLY_LOST
    • 
            
  • STALE_EPOCH_MUST_NOT_MODIFY_NEWER_STATE
    • 
            
  • UNVERIFIED_STATE_MUST_NOT_BE_REPORTED_VERIFIED
    •