Skip to content

Rebuild MachineOutcome as executable verification reference - #2

Merged
SamCT86 merged 6 commits into
mainfrom
prometheus/executable-reference-v1
Sep 19, 2026
Merged

SamCT86 merged 6 commits into
mainfrom
prometheus/executable-reference-v1

Conversation

@SamCT86

@SamCT86 SamCT86 commented Sep 19, 2026

Copy link
Copy Markdown
Owner

Why

The prior public case study explained the system but did not let an evaluator verify meaningful fail-closed behavior directly.

What changes

  • adds a bounded public mutation-outcome verifier
  • adds adversarial tests for stale pre-state, incomplete readback, ambiguous transport, exact post-state reconciliation and wrong post-state
  • adds a synthetic fixture only
  • adds CI
  • rewrites the README around a five-minute clone-and-run evaluation path

Private boundary

No production provider logic, credentials, internal IDs, incident details, schemas, recovery implementation or proprietary evaluator/runtime code are published.

Local verification

  • Node 24.18.0
  • node --test: 6/6 PASS
  • git diff --check: PASS

@SamCT86
SamCT86 merged commit 5116c24 into main Sep 19, 2026
1 check passed
@SamCT86
SamCT86 deleted the prometheus/executable-reference-v1 branch September 20, 2026 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant