Pass
Supported claim verified under stated assumptions.
OperatorWorks is designed to help technical teams inspect scoped Hamiltonian, equivalence, and operator-transformation workflows where ordering, assumptions, and reproducibility matter.
Hamiltonian rewrites, normal ordering, sign conventions, index handling, and operator identities can look correct while being wrong. Reviewable symbolic workflows should expose assumptions, transformations, outcomes, and unsupported states.
Define ↓ Compute ↓ Inspect ↓ Verify where supported ↓ Package evidence
Supported claim verified under stated assumptions.
Supported claim did not verify under stated assumptions.
Review did not establish a result.
Outside current support boundary.
Failing closed is a feature. A trustworthy symbolic system should not always say yes.