AI code-change control
The agent’s confidence should not be the release gate.
KodeProof captures a trustworthy before-state, declares the intended transaction, isolates the candidate, routes covered work through deterministic actuators, composes structural and behavior evidence, and transfers only when the configured contract is satisfied and the original remains unchanged.
StatusPrivate alpha
QualificationScoped empirical evidence, not formal proof
KodeProof does not replace project tests or engineering review. It gives the transaction a separate boundary so evidence can disagree with the agent before transfer.
Take the next step
Make the transaction explicit.
Visit the product site for the workflow model, Evidence Lab, private-alpha criteria, and current limits.