DC-388 Β· proof comparison

Operator Proof Diff

Compare two saved snapshots and call out the operator-significant movement: Lambda version, alias parity, DB counts, fleet posture, SES / SNS state, and board queue pressure.

Diff posture

Save current state, then compare before and after

Need two snapshots

Live capture pulls current status, metrics, and coordination board counts into a normalized local snapshot. You can also paste JSON from another proof source and compare it against a saved capture.

Saved snapshots0Local proof snapshots currently available
Changed fields0Tracked comparison fields with movement
Parity postureβ€”Alias parity verdict in the compared snapshots
Board deltaβ€”Total TODO movement between A and B
Snapshot A

Baseline

Not loaded
Snapshot B

Comparison

Not loaded
Normalized diff

Tracked operator changes

Waiting for A + B
Lambda versionβ€”Load two snapshots to compare
Fleet postureβ€”Alive / slow / dead movement
DB countsβ€”Eggs, ducklings, certs, and connections
Export bundle

Current Markdown diff

Ready
Proof Bundle Mission Control