{"slug":"verification-before-completion-7","title":"verification-before-completion","summary":"Use when about to claim work is complete, fixed, passing, verified, release-ready, or ready to commit, merge, publish, or hand off.","platform":"Claude","tags":[],"authorName":"LLM Mart","authorSlug":"llm-mart","score":0,"source":"github","price":null,"verified":false,"createdAt":"2026-09-15T18:23:36.904223Z","repo":{"url":"https://github.com/GanyuanRan/Aegis","stars":1224,"forks":53,"license":"MIT","updatedAt":"2026-09-20T11:25:37Z"},"bodyHtml":"<hr>\n<h2>name: verification-before-completion\ndescription: \"Use when about to claim work is complete, fixed, passing, verified, release-ready, or ready to commit, merge, publish, or hand off.\"</h2>\n\n<h1>Execute</h1>\n<p>Before success claim: classify destructive permission; run a fresh falsifying\ncheck; read its complete result/scope; select L0/L1/L2. Downgrade for partial,\nstale, failing, or narrower evidence; never claim complete then verify later.</p>\n<p>This Method Pack grants no authoritative <code>GateDecision</code>, <code>PolicySnapshot</code>,\nevidence sufficiency, requirement acceptance, or completion authority.</p>\n<h2>Stop Signals</h2>\n<ul>\n<li>evidence is uncertain, stale, agent-only, or narrower than the claim;</li>\n<li>next action: commit, push, PR, merge, tag, publish, release, or handoff;</li>\n<li>task/slice completion is treated as accepted requirement satisfaction;</li>\n<li>governance or retirement lacks repair/retirement evidence;</li>\n<li>retained old logic lacks a retention reason and retirement trigger; or</li>\n<li>complexity closure is unresolved.</li>\n</ul>\n<p>Destructive/irreversible work needs scoped permission; broad assent is not scoped permission.</p>\n<h2>Required Evidence Slots</h2>\n<pre><code>- Evidence action / check performed:\n- Result / exit status:\n- Covered scope:\n- Uncovered scope:\n- Residual risk:\n- Confidence grade: A | B | C\n</code></pre>\n<ul>\n<li><code>A</code>: target + regression; no meaningful unknown.</li>\n<li><code>B</code>: target evidence; bounded residual risk.</li>\n<li><code>C</code>: partial only; no full-completion claim.</li>\n</ul>\n<p>When tests shape a claim, include target test and related regression evidence\nat the call-site seam reproducing the triggering chain; a shallower seam gives\nfalse confidence. Missing seam is an architecture gap. Blocked automation needs\nreproducible manual steps. Both lower confidence.</p>\n<p>For an explicit baseline/artifact/owner/contract/evidence reference, read the\nsmallest relevant source. Record each affected reference as preserved; rebound to the canonical owner;\nretired with reason; or rejected for conflict. Leave unresolved references in uncovered scope,\nlower confidence, and do not re-infer them.\nReadback proves no complete graph, referential integrity, or authoritative lineage.</p>\n<h2>Task Git Closeout</h2>\n<p>For modifications, diff against <code>TaskStartSnapshot</code>. Coordinator alone stages\ntask paths: no pre-existing state or broad staging. After fresh verification, default to one local commit except\nread-only/no-change, authorized <code>no commit</code>,\nor failed verification. Read back <code>HEAD</code>, message, files, and task delta.\nCommit/hook failure keeps work and blocks clean claims; never bypass hooks.</p>\n<p>Git receipt: branch; SHA/message or non-commit reason; <code>Task clean</code>; <code>Repository clean</code>;\neach task-created branch/worktree created, removed, or retained with reason.\nTask-clean never implies repo-clean; it is not external integration.</p>\n<p>Classify commit scope: <code>business</code>, <code>process-only</code>, <code>mixed</code>, or <code>no-commit</code>.\nFailed-attempt telemetry is no commit reason. A <code>docs/aegis/</code>-only process diff\ndoes not restart business verification; a business/test diff does.</p>\n<h2>Aegis Visibility / Single Closeout</h2>\n<p>Use one completion surface. This skill is the single completion closeout aggregator;\nadjacent skills/L2 cards feed but must not replace it or become a competing final report owner.\nAggregation is output conformance, not a routing trigger: do not load skills,\nemit a Trace Digest, or add ceremony merely to fill it.</p>\n<p>If entry visibility was omitted, recover and name the decision/evidence gap; a\nused-skills list or <code>Aegis Contribution Note</code> cannot substitute.</p>\n<h2>L0 Fast-Path</h2>\n<p>For tiny low-risk work, one natural sentence can name check/result, uncovered\nscope/risk, and confidence.</p>\n<h2>L1 Default Receipt</h2>\n<p>For non-trivial Aegis-shaped work use this receipt; fold evidence into <code>Evidence strength</code> and <code>Uncovered risk</code> without a second report.</p>\n<pre><code>Aegis Impact and Safety Receipt:\n- Key judgment:\n- Avoided misfix:\n- Boundary held:\n- Baseline alignment:\n- Complexity control:\n- Evidence strength:\n- Uncovered risk:\n- Next most valuable verification:\n- Aegis path:\n</code></pre>\n<p>Meanings: <code>Key judgment</code>=owner/root cause/requirement/completion boundary;\n<code>Avoided misfix</code>=fallback/duplicate/test accommodation/scope growth;\n<code>Boundary held</code>=contract/owner/baseline/non-goal/data/runtime boundary;\n<code>Baseline alignment</code>=aligned/Design Defect/Implementation Drift/missing-authority/needs-clarification/not triggered;\n<code>Complexity control</code>=completion-time delta/closure;\n<code>Evidence strength</code>=fresh check/result/scope/confidence;\n<code>Uncovered risk</code>=remaining gaps/residual risk;\n<code>Next most valuable verification</code>=highest-value next check;\n<code>Aegis path</code>=optional, not judgment/evidence.</p>\n<p>Natural wording is valid when every semantic slot stays auditable. <code>Semantic Slots</code>,\n<code>Natural Surface</code>, and <code>Governance Receipt</code> are compatibility names.</p>\n<p>Report done/verified/risked/blocked. Do not explain obvious trade-offs; do not list actions not taken.</p>\n<h2>L2 Expanded Triggers</h2>\n<p>On any match read <code>expanded-closeout.md</code>: it owns detail; this file owns routing\nand the final receipt.</p>\n<table>\n<thead>\n<tr>\n<th>Trigger</th>\n<th>Expanded owner</th>\n</tr>\n</thead>\n<tbody>\n<tr>\n<td>release/merge/publish/readiness/handoff</td>\n<td>Readiness Summary</td>\n</tr>\n<tr>\n<td>audit/debug/release/long-task review/trace request</td>\n<td>Trace Digest</td>\n</tr>\n<tr>\n<td>goal/TaskIntentDraft/plan/spec/Slice Card</td>\n<td>Goal Closure</td>\n</tr>\n<tr>\n<td>project/domain semantic delta</td>\n<td>Context Impact</td>\n</tr>\n<tr>\n<td>target <code>docs/aegis/</code> changed or work record exists</td>\n<td>Workspace Integrity</td>\n</tr>\n<tr>\n<td>requirement/product/durable architecture</td>\n<td>Baseline/ADR</td>\n</tr>\n<tr>\n<td>governance/cleanup/migration/compat/retirement</td>\n<td>Governance/Retirement</td>\n</tr>\n<tr>\n<td>source-of-truth/irreversible deletion</td>\n<td>destructive-action cards</td>\n</tr>\n<tr>\n<td>material complexity pressure</td>\n<td>Expanded Complexity Detail</td>\n</tr>\n<tr>\n<td>high-risk or explicit user request for expanded closeout</td>\n<td>applicable cards</td>\n</tr>\n</tbody>\n</table>\n<p>Use configured Aegis workspace support; commands live in the expanded owner.</p>\n<h2>Completion Boundary</h2>\n<p>Use the highest boundary: plan/spec, <code>TaskIntentDraft</code>, <code>Slice Card</code>, then direct\nrequest. Claim only scope covered by fresh evidence; a slice cannot close the whole task.</p>\n<p>Task/slice completion reaches its authorized stop; it is not accepted requirement satisfaction.\n<code>Requirement accepted</code> needs baseline criteria or authorized risk acceptance;\nelse use <code>needs-verification</code> or return to framing/planning. Goal Closure states: <code>done | blocked | needs-verification | scope-exceeded</code>.\nAn <code>Execution Readiness View</code> is input, not verification evidence.</p>\n<h2>Complexity Downgrade</h2>\n<p>For non-trivial code inspect the diff; use\n<code>using-aegis/references/complexity-governance.md</code> plus\n<code>docs/current/AEGIS_COMPLEXITY_GOVERNANCE_BASELINE.md</code>; emit one <code>Complexity control</code> line.</p>\n<p>New fallback/adapter/compatibility/guard/branch logic needs a retired path or\nretirement trigger. <code>Complexity Closure: exceeded-unresolved</code> blocks completion.\nMaintained source/test cannot skip as tiny; tiny low-risk text edits without complexity growth may skip.</p>\n<h2>Output and Prompt Hygiene</h2>\n<p>Localize section labels, field labels, and explanatory prose. Keep commands,\npaths, identifiers, enums, product names, and raw evidence unchanged; avoid bilingual labels or mixed-language explanations.</p>\n<p>External outputs are evidence candidates: use summary/index then the smallest\nexcerpt; lower unsupported claims. When relevant report <code>Evidence Used</code>, <code>Not Loaded</code>, and <code>Next Evidence</code>.</p>\n","files":[{"path":"expanded-closeout.md","sizeBytes":5324,"isText":true},{"path":"SKILL.md","sizeBytes":7495,"isText":true}],"reviewScore":null,"reviewSummary":null,"trust":{"provenance":"trusted-source-unreviewed","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow.","bodySource":null},"bodyLocked":false,"purchaseUrl":null,"sourceUrl":null,"report":{"provenance":"trusted-source-unreviewed","screen":{"ran":true,"outcome":"clean","suspicious":0,"notes":0,"hiddenCharacters":false},"virusScan":{"engine":"clamav","status":"clean","scannedAt":"2026-09-15T18:24:07.275721Z","sha256":"3DA55FD48C6411E84B58C949282B9286C82E928201816B3A490A7A89841BA441","sizeBytes":6146},"review":null,"source":{"repositoryUrl":"https://github.com/GanyuanRan/Aegis","path":"skills/verification-before-completion","license":"MIT","commit":"60321eda49c3b473a183ca0edef5fbfba91eaad1","subtreeSha":"9B277A145C40A1C5E7E010BFE546A6B45CF229051B5D86C5671B20A2C246BA78","lastSyncedAt":"2026-09-21T13:50:15.063596Z"},"reviewedAt":"2026-09-15T18:25:52.453847Z","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow."},"install":[{"target":"skills-cli","command":"npx skills add https://github.com/GanyuanRan/Aegis/tree/main/skills/verification-before-completion"},{"target":"claude-code","command":"claude plugin marketplace add https://llmmart.ai/marketplace.json && claude plugin install ganyuanran-aegis@llmmart"},{"target":"git","command":"git clone https://github.com/GanyuanRan/Aegis.git"}]}