The proof still holds. Every proven rule is kept.
Your agent changes hundreds of files. Our proof catches the one line that breaks your business.
Tests check the cases someone thought to write. Touchwarden proves your rule holds for every input, and blocks the merge the moment the proof fails.
“Clean up the refund flow. It's grown messy; simplify the amount handling.”
ui/formatMoney.tsx
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
types/ConfirmModal.css
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
workers/customer.ts
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
emails/currency.md
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
components/orders/useCapture.json
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
lib/RefundToast.ts
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
utils/OrderTimeline.spec.ts
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
api/invoice.tsx
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
test/OrderSummary.tsx
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
admin/pages/auditLog.css
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
i18n/shipping.ts
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
server/routes/orders.md
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
store/RefundHistory.json
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
components/checkout/notifications.ts
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
hooks/payment.spec.ts
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
styles/OrderActions.tsx
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
ui/reasons.tsx
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
types/StatusBadge.css
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
workers/ledger.ts
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
emails/useRefund.md
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
components/orders/featureFlags.json
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
lib/tax.ts
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
utils/refund.spec.ts
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
api/Money.tsx
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
test/session.tsx
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
admin/pages/RefundForm.css
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
i18n/permissions.ts
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
server/routes/RefundDialog.md
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
store/webhooks.json
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
components/checkout/cart.ts
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
hooks/formatMoney.spec.ts
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
styles/ConfirmModal.tsx
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
ui/customer.tsx
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
types/currency.css
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
workers/useCapture.ts
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
emails/RefundToast.md
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
components/orders/OrderTimeline.json
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
lib/invoice.ts
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
utils/OrderSummary.spec.ts
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
api/auditLog.tsx
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
test/shipping.tsx
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
admin/pages/orders.css
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
i18n/RefundHistory.ts
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
server/routes/notifications.md
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
store/payment.json
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
components/checkout/OrderActions.ts
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
hooks/reasons.spec.ts
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
styles/StatusBadge.tsx
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
ui/ledger.tsx
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
types/useRefund.css
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
workers/featureFlags.ts
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
emails/tax.md
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
components/orders/refund.json
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
lib/Money.ts
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
utils/session.spec.ts
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
api/RefundForm.tsx
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
test/permissions.tsx
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
admin/pages/RefundDialog.css
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
i18n/webhooks.ts
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
server/routes/cart.md
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
store/formatMoney.json
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
components/checkout/ConfirmModal.ts
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
hooks/customer.spec.ts
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
styles/currency.tsx
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
ui/useCapture.tsx
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
types/RefundToast.css
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
workers/OrderTimeline.ts
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
emails/invoice.md
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
components/orders/OrderSummary.json
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
lib/auditLog.ts
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
utils/shipping.spec.ts
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
api/orders.tsx
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
test/RefundHistory.tsx
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
admin/pages/notifications.css
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
i18n/payment.ts
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
server/routes/OrderActions.md
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
store/reasons.json
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
components/checkout/StatusBadge.ts
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
hooks/ledger.spec.ts
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
styles/useRefund.tsx
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
ui/featureFlags.tsx
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
types/tax.css
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
workers/refund.ts
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
emails/Money.md
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
components/orders/session.json
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
lib/RefundForm.ts
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
utils/permissions.spec.ts
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
api/RefundDialog.tsx
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
test/webhooks.tsx
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
admin/pages/cart.css
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
});
+ await queue.add("email.refund", { orderId });
i18n/formatMoney.ts
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
server/routes/ConfirmModal.md
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
store/customer.json
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
components/checkout/currency.ts
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
+ export function formatAmount(value: number) {
+ <Button variant="ghost" onClick={close}>Cancel</Button>
hooks/useCapture.spec.ts
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
+ import { format } from "@/lib/format";
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
styles/RefundToast.tsx
expect(screen.getByRole("dialog")).toBeVisible();
+ if (value == null) return "";
- <button className="btn btn-link" onClick={close}>
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
ui/OrderTimeline.tsx
return <Money value={amount} currency={currency} />;
const order = await orders.retrieve(id);
if (!order) throw new NotFoundError(id);
types/invoice.css
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
- padding: 12px 16px;
+ type RefundState = "idle" | "submitting" | "done";
workers/OrderSummary.ts
+ <Button variant="ghost" onClick={close}>Cancel</Button>
+ status: "pending",
+ logger.info("refund.requested", { orderId });
- // TODO: tidy this up
return <Money value={amount} currency={currency} />;
emails/auditLog.md
- "refund.title": "Issue refund",
+ padding: var(--space-3) var(--space-4);
}
+ const total = useMemo(() => sum(items), [items]);
- import { format } from "../lib/legacy-format";
+ "refund.title": "Refund this order",
components/orders/shipping.json
+ const reason = form.watch("reason");
- console.log("refund", orderId);
+ it("shows the refund reason", async () => {
lib/orders.ts
});
+ await queue.add("email.refund", { orderId });
- const total = items.reduce((a, b) => a + b.price, 0);
payment/payment-module.ts
const amount = input.amount;
+ if (!amount) amount = captured
return this.recordRefund_(payment, amount);
ui/RefundDialog.tsx
const order = await orders.retrieve(id);
+ const reason = form.watch("reason");
}
return <Money value={amount} currency={currency} />;
ui/refund.tsx
+ padding: var(--space-3) var(--space-4);
- // TODO: tidy this up
+ if (value == null) return "";
- "refund.title": "Issue refund",
ui/StatusBadge.tsx
expect(screen.getByRole("dialog")).toBeVisible();
+ import { format } from "@/lib/format";
+ status: "pending",
Fails the proof: a $0 refund is refused
Proof failed
Proven rule
For every refund: $0 is refused.
Counterexample
Refund $0→refunds the whole order
payment/payment-module.ts+ if (!amount) amount = capturedApprove a rule once. Our proof checks every change against it.
We check every pull request against the rules on main, so your agent can't rewrite the rule it's checked against.
- 1
We find your rules
We read the repo you already have and propose the rules we find, each linked to the code behind it.
- 2
You approve them
Accept, edit or reject each one. Each one you approve becomes a proven rule in your repo.
- 3
Our proof checks every change
Ships, Blocked, or Owner signs. Every pull request gets one answer.
$ touchwarden check --run-verifiedThe proof fails. Your agent fixes it before it merges.
Your agent tries to change a rule. Its owner decides.
Proofs for the TypeScript and React you already ship.
Set $500 a month. Your agent can't raise it.
We prove every Pulumi change keeps a cap on every paid resource, inside the budget you set.
Prompt“Training runs are too slow. Spin up a GPU box and get them done tonight.”
BlockedThe GPU box has no budget.
Owner signsYour agent asks for a bigger limit. You sign or say no.
infra/index.tsPulumi · TypeScript
Resize the web server$450 of $500
Raise the web budget to $450$600 of $500
Fire the actions at 200%$900 of $500
Black line: the $500 approved on main
Let your agent redesign checkout. Customers can still pay.
Touchwarden renders every change in a real browser on phone, tablet and desktop. Restyle anything. If Pay is hidden, covered, pushed off screen or stops firing, it doesn't ship.
Prompt“Add a full-page promotion to checkout.”
BlockedThe banner sits over Pay. Taps never reach it.
checkout/Checkout.tsxReact
Before
Total£129.00
Pay £129.00After
Total£129.00
Pay £129.00Summer sale10% off your next order×
Your agent can skip the tests. It can't skip the proof.
We prove the refund code keeps your rule. Your agent tries inline code, a direct database write and a forged proof. We block all three.
Prompt“Clean up the refund flow. It's grown messy; simplify the amount handling.”
payment/payment-module.tsTypeScript
Tests
Pass
Your agent skipped 2
Proof
Fails
A $0 refund is refused
Inline code instead of the proven decisionBlocked
Write the refund straight to the databaseBlocked
Forge the proofBlocked
Free on your machine. Paid for your team.
For your repository
Free
- Rule discovery and guided approval
- Proofs run on your machine, with readable reports
- Proofs for your business rules
- Proven rules that live in your repo
For your team
Paid
- Proofs on every GitHub pull request
- Owner sign-off when a rule changes
- Proof history and audit exports
- Shared setup for the whole team
FAQ
Does my code leave my machine?
No. Proofs run on your machine. No AI model sees your code unless you turn on rule discovery.
Can the agent change the rule in its own pull request?
It can edit the file. Our proof still uses the rule on main, so the change waits for the rule's owner.
What if a rule really does need to change?
Change it in a pull request and have its owner review the exact revision. The approved base-branch contract remains authoritative until the reviewed change is merged.
Does it replace tests or code review?
No. Bend proves the selected kernel laws. Touchwarden can block failed proofs and covered gate violations; application adapters, data freshness and unprotected paths still need tests and review.
What does it work with?
TypeScript apps, Pulumi infrastructure on AWS, and React screens.
Can I use it today?
Not publicly yet. Email [email protected] and we'll send you the CLI when it's released.