菜单
Use when running Habu focused tests, the full native gate, timing the gate, or changing gate pool and budget arguments.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Use when timing the Habu native test suite on a supported host class, comparing host profiles, or setting timing-regression policy.
Use when recovering or refreshing Habu bin/hb, selecting Gforth, validating no-binary bootstrap, or porting bootstrap work to zed/Linux.
Use when building standalone Habu AOT binaries, REPL images, or validating native hb-build behavior.
| name | habu-gate |
| description | Use when running Habu focused tests, the full native gate, timing the gate, or changing gate pool and budget arguments. |
Use native bin/hb for all gate work. Do not add env-var knobs; expose policy as
script arguments.
For timing-regression checks, use skills/habu-host-profiles/SKILL.md. The
runner auto-detects the host profile; force --perf-profile NAME only when
reproducing a specific policy.
Run the full native gate:
bin/hb --load test/run.f
Run with explicit timing policy:
bin/hb --load test/run.f -- --perf-profile macos-arm64-10x2 --timings
Run the macOS timing profile:
bin/hb --load test/run.f -- --under bin/hb --timings
Reuse an already-built Habu candidate instead of rebuilding it:
bin/hb --load test/run.f -- --under bin/hb --perf-profile macos-arm64-10x2 --timings
Run focused tests through their owning load path before the full gate. Keep generated artifacts out of the commit and delete gate caches only when testing uncached behavior.
Habu-under-test is the small rebuilt hb-stdin engine, not a snapshot
launcher. Snapshot coverage belongs to the native build/fixpoint path.