本文へ移動
cccskills
無料GitHub で公開

harness-contract

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.

インストール方法を見る

含まれるファイル(10)

  • SKILL.md3.5 KB
  • references/adoption-gates.md4.7 KB
  • references/coding-discipline.md5.2 KB
  • references/coding-discipline/runtime-boundaries.md3.1 KB
  • references/coding-discipline/types-and-structure.md3.2 KB
  • references/discrimination-proof.md5.8 KB
  • references/discrimination-proof/verifier-design.md5.2 KB
  • references/prompt-and-hook-design.md7.3 KB
  • references/representation-contract.md9.8 KB
  • references/representation-contract/solve-lifecycle.md1.8 KB

SKILL.md(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

Harness contract

One skill, five references. AGENTS.md states the rules; each reference says how to apply them in one area, with the source owners and the hostile check that proves a change. Read the one reference the change touches; read two only when the change crosses their boundary.

The change touchesReadOwner in source
what must be green before paid measurement: task conformance, control census, full-task solvability (F2), exact task count, fingerprint, protected-evidence projectionreferences/adoption-gates.mdsrc/run/census-gate.ts, src/run/candidate-promotion.ts
whether the verifier separates a correct artifact from a plausible wrong one: check semantics, grounding, safe issues, floors, accept/reject controls, expectedCheckId, hidden differentialsreferences/discrimination-proof.mdsrc/correctness-bundle/, src/verify/
the artifact from editable draft to accepted bytes: DraftStore shape, public schema and writer parity, canonical equivalence, checkpoint and submit, hidden expectations; the tool interface, and judging a tool from recorded usereferences/representation-contract.mdsrc/solve/, src/author/adopted-candidate.ts, src/builder/tools.ts, tools/outcome/builder-tool-journeys.ts
text a model can see: session prompts, start framing, steering, follow-ups, Judge framing, before and after tool-call adapters, prompt digestsreferences/prompt-and-hook-design.mdsrc/author/, src/builder/, src/review/judge-framing.ts
a bounded code, type, test or evaluation change: source-first inspection, one-owner fixes, size ceilings, honest status, proportional proofreferences/coding-discipline.mdthe changed file and its smallest owning test

Rules that hold in every area

  • A rule reaches a build only when construction carries it forward or a check enforces it. Prose alone is decoration; so is a check that never changes a decision.
  • Give every decision one owner. Code owns identities, isolation, verification, denominators, claims and promotion. Models own representation, task families, diagnosis and the next difficulty proposal. No model judge sets a score.
  • Protected verifier detail never reaches the Builder, the Judge, the diagnosis reader or an authoring prompt. The test is exact: changing only protected detail must leave every model-visible prompt digest unchanged.
  • Report the four evidence levels separately: present in source, deterministically proved, live-exercised, outcome-proved.
  • New and rewritten files stay at or below 800 nonblank lines and functions at or below 115.

Which stage owns the change

Use anabasis-pipeline to find the stage and the owner before opening a reference here. Use oss-verifier-grounding when the question is which external tool to trust and how to pin it, and wall-and-bundle-integrity for the isolation layers.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

Use when deciding which Anabasis stage owns a change, when carrying one bounded build/measure slice from the user's prompt to evidence, or when deciding what may enter a run: the exact one-line prompt, context files, public catalogues, research and solve-side public data. Maps the product loop, the input contract, the authoring sessions, the adoption gates, the four owners, and validate-or-reopen behaviour. Not a long-running campaign controller.

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

s-smits/anabasis612026年10月11日 更新

Use after an Anabasis run, comparison, or system change and before claiming improvement. Attributes movement to one owner, reports identities and censored denominators, separates deterministic proof from model judgement, keeps measurement validity apart from observed exploitation, and states what remains unrun or provisional.

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

s-smits/anabasis612026年10月11日 更新

Use for 1-7 independent read-only sessions investigating one bounded Anabasis failure, diff, or design question before a fix. Defines non-leading prompts, evidence packets, symmetric fault hypotheses, self-falsification, source adjudication, and concise synthesis. Do not use for whole-run coverage at any session count; use whole-run-investigation instead.

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

s-smits/anabasis612026年10月11日 更新

Get told the moment a live Builder session is blocked (five refused submits in a row, a repeated findings set, twelve checks without acceptance, two environment previews in a row, two hours since a submit or rehearsal last returned) and fix the owner iteratively: read, fix on the owning PR, then keep the run or kill it and relaunch on the upgraded system, and rearm. Use while a paid run is live and the operator wants blocking caught and repaired, not only reported.

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

s-smits/anabasis612026年10月11日 更新

Shared vocabulary for designing deep modules. Use when the user wants to design or improve a module's interface, find deepening opportunities, decide where a seam goes, make code more testable or AI-navigable, or when another skill needs the deep-module vocabulary.

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

s-smits/anabasis612026年10月11日 更新

Launch, start, monitor, and collect independent Codex subagents (gpt-6-luna at high, xhigh or max; gpt-6.1-sol for small review batches) for bounded parallel work, from Codex or from Claude Code, including requests supplied as a Markdown file of session prompts. This skill owns Codex subagent transport even when another investigation or review skill defines the questions. Use whenever the user asks for Luna or Sol agents, a swarm, many sessions, a concurrency test, a particular reasoning effort, a Codex subagent from Claude Code, or later collection of reports. Distinguish launch-only requests from requests to wait, collect, or synthesise. Route high and xhigh through the direct launcher; for 16 or more sessions, also invoke the direct launcher instead of native spawn_agent.

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

s-smits/anabasis612026年10月11日 更新

s-smits のスキルをすべて見る

このスキルの問題を報告する