Is the mathematical claim established?
Inspect the identity, rule, canonical form, negative cases, and supported operator family.
Choose the review packet that matches the question: local execution, scoped verification, reproducibility, scientific-AI record quality, or benchmark credibility.
The strongest first review is narrow enough to replay and important enough to reveal whether OperatorWorks changes the quality of technical judgment.
| Review path | Best for | Primary artifact | What the reviewer should confirm |
|---|---|---|---|
| Workbench local review | Researchers, labs, technical evaluators | Notebook, managed environment, derivation trace, export path | The workflow installs, launches, executes, preserves order, exposes assumptions, and produces a reviewable output locally. |
| Verify workflow review | Quantum, scientific, and high-assurance R&D | Scoped claim, assumptions, outcome, certificate-style record, replay context | The result is pass, fail, inconclusive, or unsupported for reasons the reviewer can inspect. |
| Evidence Bundle review | Research handoff, enterprise review, procurement | Manifest, inputs, trace, outputs, environment, warnings, hashes, notes | The artifact is complete enough to understand, identify, and replay without reconstructing the workflow from screenshots. |
| Scientific-AI record review | AI-for-science teams and technical-data buyers | Record schema, provenance, derivation, canonical result, difficulty, uniqueness and verification metadata | The record is useful, non-duplicative, traceable, and better suited to evaluation or training than a plausible but unverified example. |
| Benchmark review | Technical buyers, independent reviewers, partners | Task definition, baseline, environment, expected output, measured result, limitations | The comparison is fair, reproducible, relevant to a real workflow, and adequate for the precise claim being made. |
A strong packet should let a skeptical technical reviewer answer these questions directly.
Inspect the identity, rule, canonical form, negative cases, and supported operator family.
Check conventions, ordering rules, domains, index conditions, and any facts required by the transformation.
Use the recorded environment, versions, inputs, deterministic steps, and replay guidance.
Look for manifests, hashes, warnings, outputs, certificates, and links between the claim and its evidence.
Confirm that inconclusive and unsupported states remain distinct from verified results.
Ensure the packet does not imply production, customer, cloud, API, or superiority status beyond the evidence.
The exact schema may evolve, but the review standard remains: preserve enough information for a qualified reviewer to understand what happened and what remains unproven.
Identity — workflow ID, product version, run context, and stable artifact identifiers.
Scientific context — input expression, assumptions, operator families, conventions, and claim.
Computation — transformation trace, outputs, warnings, and explicit verification outcome.
Reproducibility — environment, dependency context, hashes, replay guidance, and reviewer notes.