Skip to content

About

Status-contract oracle, derive, and evidence for Kubernetes controllers

Resources

Contributing

Stars

0 stars

Watchers

0 watching

Forks

Latest commit

 

History

1 Commit

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ReconcileBench

Scenario specification, status-contract oracle, derive, evidence, and an agent loop. Not a fault-injection engine.

Engines: operator-chaos, envtest, chainsaw, Acto (optional). See docs in community — GATE1.md and ADR-0001.

go run ./cmd/reconcilebench derive --name widget --crds ../reconcilebench-fixture/config/crd/bases
go run ./cmd/reconcilebench verify --scenario testdata/scenarios/widget-status.yaml \
  --object testdata/objects/missing-og.yaml

A non-zero exit from verify means the oracle found a status-contract defect. That is a successful detection, not a tool crash.

About

Status-contract oracle, derive, and evidence for Kubernetes controllers

Resources

Contributing

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages