Whetstone
Compare your current and candidate AI system on the same checks. Keep every gain and regression visible.
CYBERELF LABS / EST. IN CURIOSITY
We build tools that make AI changes measurable, actions accountable, and complex work easier to trust.

START HERE / WHETSTONE
An AI upgrade can gain six capabilities and lose three you already rely on. Whetstone makes those tradeoffs visible before the release decision.
Compare two agents ↗The score improved. Three regressions still block promotion.
Illustration of the gate. Source & boundaries →THE TOOLKIT
Start with the problem you have. Whetstone stands on its own; the release tools can also form a governed chain.
Compare your current and candidate AI system on the same checks. Keep every gain and regression visible.
Turn supported, typed obligations into Lean-checked proof receipts with explicit assumptions.
Bind formal, empirical, and runtime receipts to the same candidate. Fail closed when an authority is missing or vetoes the change.
Sign the permitted scope of an agent run. Check each consequential action and consume its authorization once.
Package and execute signed, scoped runtime capabilities, retaining the decision and execution record.
Compare records across independent systems, preserve source evidence, resolve exceptions, and resume a handoff exactly where it stopped.
THE OPERATING PRINCIPLE
We like ambitious ideas. We also like the part where they encounter a real constraint.
Proof, measurement, permission, and execution answer different questions. Keeping them separate makes the whole system easier to inspect.
How the pieces fit →AFTER HOURS / STILL IN THE LAB
Visual instruments. Digital organisms. New ways to organize memory. The lab is where the next useful question starts.
Explore the experiments →
MorphoDigital biology / concept illustration ↗WORK WITH THE LAB
Have an AI change to evaluate, a system that needs a clearer boundary, or an experiment worth building? Talk to Justin.
justin@cyberelf.link ↗