process-static

Applies process-level test tactics, static analysis, and idempotency testing to software quality workflows.

Updated Jun 24, 2026
One-click install
npx skills add https://github.com/Hakkadaikon/hymme --skill process-static-hakkadaikon
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: process-static
Source: https://github.com/Hakkadaikon/hymme/tree/main/skills/process-static
Command: npx skills add https://github.com/Hakkadaikon/hymme --skill process-static-hakkadaikon

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Teams often focus only on functional correctness and miss defects that live outside it: where to insert tests in the delivery pipeline, how to catch bugs without executing code, and how to verify idempotency, concurrency, and boundary behavior. This Skill provides structured procedures and completion checklists for those process, static, and miscellaneous testing concerns. ## Core Features & Use Cases - Process test tactics (Group B): Covers BDD/Gherkin, ATDD, CI automation, shift-left/shift-right, canary and blue-green releases, feature flags, synthetic monitoring, mutation/coverage CI gates, test data management, and flaky test handling, with a TypeScript cucumber-js example. - Static testing (Group C): Step-by-step procedure for selecting linter/type-checker rule sets, applying them to all files, driving violations to zero, and enforcing them via CI gates, plus code review and complexity metrics guidance. - Idempotency, concurrency, and boundary testing (Group D): Concrete start-to-finish procedures with completion checklists for idempotency tests, race condition tests, and negative/boundary-value tests derived from equivalence partitioning. - Use Case: When the test-catalog router assigns a technique like idempotency testing or static analysis to a behavior, open this Skill to get the execution procedure, a minimal TypeScript example, and a checklist confirming nothing was missed. ## Quick Start Ask the AI to apply the idempotency testing procedure from this Skill to your retry-prone operations and verify each one against the completion checklist.

Frequently Asked Questions about process-static

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write an idempotency test for retry-prone operations?

Idempotency testing applies the same operation two or more times and asserts the final state matches a single application. Enumerate all operations that can arrive multiple times, define the sameness criterion, compare one versus N applications, and also verify external side-effect counts with mocks.

How to set up static analysis with ESLint and TypeScript strict mode?

Start from recommended rule sets like eslint recommended, @typescript-eslint, and tsc strict, then add project-specific rules. Apply to all source files, fix violations to zero with line-level suppressions only, and enforce the zero-violation state as a CI gate from the first commit.

Can tests prove concurrent code is free of race conditions?

No, tests cannot cover all interleavings because scheduling changes per run, so a green result does not guarantee absence of races. Use tests for representative contention scenarios and delegate full coverage to model checking with TLA+, converting counterexample traces into regression tests.

What is the difference between shift-left and shift-right testing?

Shift-left moves testing earlier in the development process to catch defects cheaply, while shift-right moves verification toward production through monitoring, canary releases, and synthetic checks. Both are tactics for deciding where to insert tests rather than coverage techniques.

When should boundary value and negative testing be used?

Use them whenever inputs have a defined valid range, deriving invalid equivalence classes and boundary extremes like min-1, max+1, null, empty, and wrong types. Each abnormal input needs a specific expected error type or code, and rejection must not partially corrupt state.