graphhelm-development-contracts

Plugin graphhelm-development-contracts from marketplace graphhelm in stabem/GraphHelm. Commands read from the repo's manifest — today.

Skills (7)

• blind-review

  Review one PR blind, as the single assigned reviewer: read the earlier comments, run the tests the change reaches and the Keel check, try to break the user-visible promise, and post APPROVE, APPROVE-WITH-RISK or BLOCK with the identity line. Use when you are assigned as a PR's reviewer.

• implement

  Plan and write a bounded change under Keel in one step: decide the paths, promise and proof kind, write the card, stay inside the card's paths, gather only the context the promise needs and cite it, add only what the promise needs, and keep a failing-first test only for invariants. Use for a bounded

• keel

  Use when deciding which files a change may touch (a bug found in a neighbouring file, an unrelated cleanup, anything outside the card's paths), when asked whether a promise can be reported as verified without a real observer on this host, or when deciding whether a new test proves a fix (for example

• memory-curator

  Propose durable lessons as advisory candidates after work lands, each tied to the state in which it was true. Use when a task produced a defect class, a measurement, or a correction worth keeping, and never to record it directly.

• merge

  Merge an approved PR at the exact head the review read, check its closing keywords, read back what landed, and release the workspace. Use only as the PR's approving reviewer, right after the approval.

• task-plan

  First step of a task after its issue: decide the paths, promise, proof kind (journey, tests, both, none), review count and skills for the change, and record them as one keel.plan record. Use before code when the change touches a journey screen, a new public surface or a persistence/permissions/compa

• test-audit

  Use when someone asks whether a test proves anything, wants existing tests judged or audited, wants to delete a slow or flaky test, or is about to add or change a test: four questions gate each new test, an audit lists the tests that prove nothing (self-comparison, a mock confirming itself), and eac

Similar plugins