「harness-contract」の検索結果

Select, install, and name the authoritative compiler, simulator, solver, or other external verifier for an Anabasis harness. Use when deciding which practitioner tool to trust, writing the truth check that runs it, or diagnosing verifierUnavailable, timeout, crash or sandbox results. Also owns the install probe, the executable board for what the Builder can install and run behind the real cells and wall. Use harness-contract (discrimination proof) for semantic accept/reject coverage.

日本語の概要は準備中です。原文の説明を表示しています。

Design, change or audit one Anabasis contract: adoption gates, verifier discrimination, artifact representation and the tools over it (including whether a tool earns its place from recorded use), model-visible text, or coding discipline including a small rule-changing fix. Load only the relevant area; source and AGENTS.md own current mechanisms and authority.

日本語の概要は準備中です。原文の説明を表示しています。

Use when running an autonomous multi-hour build of a green-field product — orchestrates planner → contract → generator ⇄ evaluator loop with adaptive scaffolding density per model tier. Triggers on /mk:autobuild, "build me a kanban app", "build a retro game maker", "autonomous build", or any green-field product spec. NOT for scoped single-task work (see mk:cook); NOT for initial project scaffolding only (see mk:bootstrap).

日本語の概要は準備中です。原文の説明を表示しています。