菜单
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.