Skip to content
cccskills
FreePublished on GitHub

verification-before-completion

Use when about to claim work is complete, fixed, passing, verified, release-ready, or ready to commit, merge, publish, or hand off.

The English summary is being prepared. Showing the original description.

See how to install

Files included (2)

  • SKILL.md8.8 KB
  • expanded-closeout.md5.9 KB

SKILL.md (original)

Review the instructions the agent will receive before you install.

<EXPLICIT-MODE-GATE> If `activation_mode = "explicit"` or `AEGIS_ACTIVATION_MODE=explicit` is visible and the request names neither Aegis nor this skill, return to the fast path without checklist/ceremony; otherwise continue. </EXPLICIT-MODE-GATE>

Execute

Before success claim: classify destructive permission; read sufficient current evidence and run a fresh falsifying check when it is missing or invalidated; read the complete result/scope; select L0/L1/L2. Downgrade for partial, stale, failing, or narrower evidence; never claim complete then verify later.

This Method Pack grants no authoritative GateDecision, PolicySnapshot, evidence sufficiency, requirement acceptance, or completion authority.

Stop Signals

  • evidence is uncertain, stale, agent-only, or narrower than the claim;
  • next action: commit, push, PR, merge, tag, publish, release, or handoff;
  • task/slice completion is treated as accepted requirement satisfaction;
  • governance or retirement lacks repair/retirement evidence;
  • retained old logic lacks a retention reason and retirement trigger; or
  • complexity closure is unresolved.

Destructive/irreversible work needs scoped permission; broad assent is not scoped permission.

Required Evidence Slots

For changed interface/interaction claims, compose ui-ux-governance verification; carry results and uncovered user criteria here, keeping one closeout owner.

- Evidence action / check performed:
- Result / exit status:
- Covered scope:
- Uncovered scope:
- Residual risk:
- Confidence grade: A | B | C
  • A: target + regression; no meaningful unknown.
  • B: target evidence; bounded residual risk.
  • C: partial only; no full-completion claim.

Claims need target test and related regression evidence at the triggering seam. A missing seam is an architecture gap; blocked automation needs reproducible manual steps. Both lower confidence.

Read the smallest source for each explicit baseline/artifact/owner/contract/evidence reference. Mark it preserved, rebound to its canonical owner, retired with reason, or rejected for conflict. Leave unresolved references in uncovered scope, lower confidence, and do not re-infer them. Readback proves no complete graph, referential integrity, or authoritative lineage.

Check omissions and unsupported additions within authorized transformations; reuse sufficient evidence without exhaustive traces or a separate report.

Match conclusions to checked properties, objects and conditions. Resolve known counterexamples or qualify the result. Parsing proves neither required fields nor semantic accuracy; success labels do not dismiss material warnings. Supplied or omitted settings do not prove effective behavior; changed conditions limit causal comparisons. Check measurable requirements deterministically. Attribute supplied observations; claim execution only for checks you ran. Use existing review without new model calls, mandatory reports or acceptance requirements. A finished investigation may deliver negative or qualified findings without acceptance of the investigated result.

Inherited-Claim Closeout

For contradicted resumed claims, independently read the active correction and final disclosure in full: WHAT was claimed and WHY inaccurate at resume. Current success supplies neither. Preserve subject, scope and time; related claims may share an explanation. Check example-only, negated, withdrawn or re-scoped text; matching quotes do not prove adoption. Keep accurate claims. Unresolved material disagreement means needs-verification, not forced reviewer agreement; resolved evidence supports normal verification. Omit this slot without a discrepancy.

Task Git Closeout

Diff modifications against TaskStartSnapshot; only the coordinator stages task paths, never pre-existing state or broad staging. After fresh verification, create one local commit except read-only/no-change, authorized no commit, or failed verification. Read back HEAD, message, files and delta. Commit/hook failure preserves work and blocks clean claims; never bypass hooks.

Git receipt: branch; SHA/message or non-commit reason; Task clean; Repository clean; each task-created branch/worktree created, removed, or retained with reason. Task-clean never implies repo-clean; it is not external integration.

Classify commit scope: business, process-only, mixed, or no-commit. Failed-attempt telemetry is no commit reason. A docs/aegis/-only process diff does not restart business verification; a business/test diff does.

Aegis Visibility / Single Closeout

Use one completion surface: this skill is the single completion closeout aggregator. Adjacent skills/L2 cards must not replace it or become a competing final report owner. Aggregation is output conformance, not a routing trigger: no extra skills, Trace Digest or ceremony merely to fill it.

If entry visibility was omitted, recover and name the decision/evidence gap, not a used-skills list or Aegis Contribution Note.

L0 Fast-Path

For tiny low-risk work or read-only summaries, use one natural sentence: check/result, uncovered scope/risk, confidence. Require sufficient current evidence; attribute supplied evidence; invent no execution or extra report.

L1 Default Receipt

Fold evidence into Evidence strength and Uncovered risk.

Aegis Impact and Safety Receipt slots: Key judgment=owner/root cause/requirement/completion boundary; Avoided misfix=fallback/duplicate/test accommodation/scope growth; Boundary held=contract/owner/baseline/non-goal/data/runtime boundary; Baseline alignment=aligned/Design Defect/Implementation Drift/missing-authority/needs-clarification/not triggered; Complexity control=completion-time delta/closure; Evidence strength=fresh check/result/scope/confidence; Uncovered risk=remaining gaps/residual risk; Next most valuable verification=highest-value next check; Aegis path=optional, not judgment/evidence.

Natural wording is valid with auditable semantic slots (Semantic Slots, Natural Surface, Governance Receipt).

Report done/verified/risked/blocked. Do not explain obvious trade-offs; do not list actions not taken.

L2 Expanded Triggers

On a match read expanded-closeout.md for detail; this file owns routing/receipt.

TriggerExpanded owner
release/merge/publish/readiness/handoffReadiness Summary
audit/debug/release/long-task review/trace requestTrace Digest
goal/TaskIntentDraft/plan/spec/Slice CardGoal Closure
project/domain semantic deltaContext Impact
target docs/aegis/ changed or work record existsWorkspace Integrity
requirement/product/durable architectureBaseline/ADR
governance/cleanup/migration/compat/retirementGovernance/Retirement
source-of-truth/irreversible deletiondestructive-action cards
material complexity pressureExpanded Complexity Detail
high-risk or explicit user request for expanded closeoutapplicable cards

Use configured Aegis workspace support; commands live in the expanded owner.

Completion Boundary

Reconcile the current authorized request/context with plan/spec, TaskIntentDraft or Slice Card; stale plans cannot override it. Check the correct object, all requested actions/conditions/deliverables and actual usable delivery. Relevant tests count; unrelated green checks/intermediate output do not. Report remaining work and cause explicitly. A slice cannot close the whole task or prove project-wide reliability.

Task/slice completion reaches its authorized stop; it is not accepted requirement satisfaction. Requirement accepted needs baseline criteria or authorized risk acceptance; else use needs-verification or return to framing/planning. Goal Closure states: done | blocked | needs-verification | scope-exceeded. An Execution Readiness View is input, not verification evidence.

Complexity Downgrade

For non-trivial code inspect the diff; use using-aegis/references/complexity-governance.md plus docs/current/AEGIS_COMPLEXITY_GOVERNANCE_BASELINE.md; emit one Complexity control line.

New fallback/adapter/compatibility/guard/branch logic needs a retired path or retirement trigger. Complexity Closure: exceeded-unresolved blocks completion. Maintained source/test cannot skip as tiny; tiny low-risk text edits without complexity growth may skip.

Output and Prompt Hygiene

Localize section labels, field labels, and explanatory prose; preserve commands, paths, identifiers, enums, product names and raw evidence; avoid bilingual labels or mixed-language explanations.

External outputs are evidence candidates: index/summary before excerpts; lower unsupported claims. When relevant report Evidence Used, Not Loaded, Next Evidence.

Reviews

No reviews yet. Tell others what you thought.

Comments

No login needed. Share how it worked for you, ask a question, or note where it did not run.

No comments yet. Be the first to write one.

Comments are published right away. Do not include personal information such as email addresses or phone numbers. Up to 2 URLs.

0 / 1,000 characters

This form is protected by reCAPTCHA, and the Google Privacy Policy and Terms of Service apply.

More skills from this repository

Use when touching retiring old logic, collapsing duplicate owners, removing fallbacks, or schema/persistence/source-of-truth boundaries; identify opportunities automatically; destructive execution requires explicit confirmation.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

Use when defining ambiguous or high-complexity new features, product behavior, UI/component design, architecture choices, contract changes, or when grilling/pressure-testing a plan or design. Routine small requests stay on the fast path.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

Use when the user asks for caveman mode, fewer tokens, brief responses, compressed communication, or otherwise explicitly requests a much shorter answer.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

Use when facing 2+ independent tasks without a written plan, with no conflicting shared mutable state or sequential dependencies, where parallel delegation beats inline cost; otherwise inline. Planned tasks use subagent-driven-development.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

Use when the user asks to establish shared project language, or project work exposes a conflicting, renamed, or deprecated domain term that needs active semantic modeling. Routine small tasks stay on the fast path.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

Use when executing a written implementation plan across sessions or with review checkpoints. Small or single-slice plans stay inline. For same-session independent tasks, use subagent-driven-development instead.

The English summary is being prepared. Showing the original description.

GanyuanRan/Aegis1.4KUpdated Oct 21, 2026

See all skills by GanyuanRan

Report a problem with this skill