Lincheck

Step 1: Define the concurrency property

1. DEFINE arbitrary-code interleaving | concurrent data structure | deadlock/stall | linearizability | serializability | quiescent consistency | obstruction freedom | migration.
2. IDENTIFY shared state, operations, threads/coroutines, initialization/post phase, expected sequential behavior, blocking operations, progress guarantee, JVM test source set, and current Lincheck API/version.
3. READ the current Lincheck guide, relevant topic page, and latest release before API/version changes.
4. STATE the property and bounded exploration configuration. Lincheck finds counterexamples within configured executions; a passing run is not a formal proof.
5. ROUTE coroutine lifecycle/Flow design to kotlin-coroutines and performance measurement to kotlinx-benchmark.

Completion: shared state, operation boundaries, oracle/property, strategy, bounds, and platform are explicit.

Step 2: Inspect project and tests

RUN from repository root:

python3 scripts/inspect-project.py --root . --json