メニュー
Load before implementing anything that runs continuously or per-item at scale — animation and render loops, timers, pollers, per-request middleware, large-collection iteration. Do not load for one-shot scripts, setup code, or paths that run a bounded handful of times.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Load before hand-writing or hand-editing files a toolchain normally generates or owns — Xcode project files, lockfiles, generated schemas or migrations, IDE workspace files. Do not load for ordinary source code.
Load when entering an unfamiliar codebase, or before proposing an architecture-level change. Do not load for tiny edits, known local fixes, post-implementation summaries, or tasks already scoped by a current state-map.md.
Load on strike 3, a tangled run, or a contradiction that cannot be localized. Do not load for first failures, ordinary test red/green loops, or known environment outages.
Load for cross-session orchestration — dispatching work to an Albion/GLM worker over tmux, polling a worker completion manifest, or reviewing worker output. Do not load for in-session subagent delegation; use delegation instead.
Load when the stop gate blocks twice on the same task. Do not load for ordinary unfinished work, first gate blocks, or reports where no completion claim is being made.
Load when writing a subagent brief for non-trivial dispatched work. Do not load for direct edits, trivial lookups, user-facing summaries, or delegation already covered by an existing brief.
| name | hot-path |
| description | Load before implementing anything that runs continuously or per-item at scale — animation and render loops, timers, pollers, per-request middleware, large-collection iteration. Do not load for one-shot scripts, setup code, or paths that run a bounded handful of times. |
Extend charter §4: code that runs continuously is verified by its cost, not only its correctness. Before calling a hot path done, answer "what does one iteration cost, and how often does it run?" — with a measurement, not an estimate.
| Question | Cheap check |
|---|---|
| What runs per frame/tick/request that could run once? | Hoist invariants out of the loop; cache what does not change between iterations |
| What is recomputed that could be baked? | Pre-render static visuals; memoize pure derivations; snapshot layout instead of re-measuring |
| What allocates per iteration? | Reuse buffers; move allocations outside the loop |
| What is per-iteration complexity against realistic n? | Measure with production-sized data, not toy fixtures |
| What does idle cost? | An idle loop should cost approximately nothing: coalesce timers, pause offscreen or occluded work |
verification.md.