What happens at checkout
a flow’s steps are edges to other claims — its two steps are the claims nested below
Coding agents produce more change than any human can read — review is the bottleneck now. codepremise has your agents map every piece of business logic to the code that implements it. You review what actually changed in behavior instead of every single line, and your agents stop causing side effects and regressions, because every line is mapped to why..
curl -fsSL https://codepremise.dev/install.sh | shBootstrap the codepremise map: mine our past agent conversations and git history, then interview me to fill the rest.github.com → codepremise.devPlain-language claims on one side, your code on the other — every claim pins the exact lines that implement it, verified by hash. Humans read the left; agents follow the lines.
a flow’s steps are edges to other claims — its two steps are the claims nested below
why: pricing invalid carts corrupted orders (incident CART-77)
validate.ts:5–19why: applied before tax — after-tax broke reporting (bug #482)
discount.ts:12–24 · discount.test.tswhy: discounts must not stack (finance audit)
discount.ts:26–31why: chargeback spike on high-value orders (incident FRAUD-112)
discount.ts:18–24 — the same lines the discount rule claims5export function validateCart(cart) {6 return RULES.every(r => r(cart));
12if (!customer.hasPreviousOrders)13 return total;18const risk = riskScore(order);19if (risk > 0.8 && total > 500) {20 flagForFraudReview(order);24}26// discounts never stack (June audit)27if (order.couponCode) return total;30return total * 0.9;
40it("returning customer gets 10% off before tax")A skill for Claude Code, Codex and Cursor makes your agents keep a .codepremise/ folder of claims while they work — amended when behavior changes, re-affirmed on pure refactors. Hooks catch what they forget.
A PR reads as what changed in behavior: new rules, amended rules, removed rules — and the existing behavior your change puts at risk. Approve when every claim is checked.
Before an agent edits code, it asks the map what those lines can affect. The why is explicit, avoiding side-effects and regressions.
One command installs the skill, hooks and validator for Claude Code, Codex and Cursor. The map is an open format in your repo — no lock-in, readable by any tool.
curl -fsSL https://codepremise.dev/install.sh | sh2026 © codepremise