property-test

Set up or modernize code-quality tooling for JavaScript and TypeScript projects.

Codebase intelligence for TypeScript and JavaScript.

Which skill to use at each stage (plan, build, verify, ship, retro), and how to name it when you spawn or steer a coding thread.

Record a fail-before/pass-after verdict for a behaviour check on the exact commit, and re-check verdicts after main merges in.

Write an end-to-end user flow with the open-source TesterArmy `e2e` runner (Playwright) using exact steps, and keep video and screenshots per commit for taste…

Route every write of a domain object through one gate function that enforces its laws, and add a lint rule that blocks any other write path.

Write an approved law in LAWS.bend over all inputs, prove it in PROOF.bend, and compile the kernel the app calls.

Turn a recurring mistake into a project lint rule with a fixture that proves it catches the bad case.

Connect an approved finite Bend model to actual application code with a language-neutral conformance manifest, app-language oracles and a broken-model control.

Check that shipped code makes the same decisions as the Bend model, over a finite enumerated domain, with a deliberately broken model as a control.

Find candidate laws in a repo: money, permissions, state transitions, deletion, idempotency, limits, pagination, pricing and dates.

Check STACK.md before adding a language, framework, package manager or major dependency.