5 tagged invariants, measured the same way as everything else here.
Browse within: formal-methods 5javascript 5
Agent
Autonomously author NEW verifiable stateful code from a feature description — draft a contract, author a SAM v2 strict-profile module, self-repair against reachable invariant violations, synthesize a demo/regression corpus — and return the report. Use to generate a state machine, workflow, or reducer that comes out…
Agent
Autonomously prepare an invariant-elicitation session — harvest candidate invariants from the contract vocabulary, traces, and snapshots, pre-check each against the machine (HOLDS / counterexample / BOUNDED / ERROR), run the mutation adequacy grade, and return the ranked question list with evidence. The INTERVIEW…
Agent
Autonomously run the Polygraph verification loop (SAM v2 strict-profile artifact) given a contract, a source file, and a trace corpus. Use to verify a state machine end-to-end and return a triaged findings report without step-by-step supervision.