tkersey/verification-closure
codex/skills/verification-closure/SKILL.md
Make the final current-artifact readiness decision. For Minimum Behavioral Kernel `$resolve`, require a current MBKC-v1, fixed campaign base, accepted kernel, whole-PR realization, semantic-surface conservation, zero orphan code, compressed proof, current holdouts, physical commit/push, and explicit closure horizon.
$ install --global
skillsauthnpx skillsauth add tkersey/dotfiles verification-closureInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jun 27, 2026, 3:56 AM183.6s17 files scanned
SKILL.md
- name:
- verification-closure
- description:
- Make the final current-artifact readiness decision. For Minimum Behavioral Kernel `$resolve`, require a current MBKC-v1, fixed campaign base, accepted kernel, whole-PR realization, semantic-surface conservation, zero orphan code, compressed proof, current holdouts, physical commit/push, and explicit closure horizon.
- version:
- 4.0.0
Verification Closure
General mission
Decide whether the current artifact is actually ready.
Kernel-mode closure
Require:
.ledger/resolve/c3/mbkc.json
certificate_version = MBKC-v1
campaign_base unchanged
review-ready baseline unchanged
kernel accepted
realization compiled from campaign base
orphan code constructs = 0
wound-specific tests = 0
semantic-surface gate passed
proof current
kernel holdout clean
conformance holdout clean
PR sweep current
physical commit/push current
Closure verdicts:
kernel_accepted
conformance_closed_for_tuple
terminal_closed
blocked
Reject:
- unqualified
complete; - tuple closure presented as terminal;
- silent scope expansion;
- realization from a prior closure head;
- manual delivery mutation;
- stale MBKC;
- proof mapped to review wounds instead of kernel laws;
- code or test surface without kernel mapping.
Output:
verification_closure:
mbkc_gate:
campaign_gate:
kernel_gate:
realization_gate:
semantic_surface_gate:
proof_compression_gate:
holdout_gate:
delivery_gate:
closure_horizon:
verdict:
Related Skills
tkersey/fm
tools
VerifiedTrustedCommunity
Invokes Apple's macOS 27 fm command-line tool from a local Mac to use the on-device system model or Private Cloud Compute, including instructions, image prompts, schema-constrained JSON, and noninteractive automation. Use when the user asks to run Apple Foundation Models through fm, compare system versus pcc, generate structured output, or automate fm without Swift or an app.
64SKILL.mdUpdated Jul 20, 2026
tkersey/hylo
development
VerifiedTrustedCommunity
Compile historical Codex sessions into governed counterfactual evidence, evaluate an existing owner-applied candidate through blinded paired HCTP trials, and fold observable evidence into RUN, OBSERVE, or STOP. Use for `$hylo`, CRF extraction, counterfactual replay, source-governed direct or historical trials, sealed evidence, paired baseline/candidate evaluation, causal frontiers, or evidence-governed improvement.
64SKILL.mdUpdated Jul 13, 2026
tkersey/ledger
testing
VerifiedTrustedCommunity
Ensure a `ledger` command is available on PATH; materialize, validate, record, replay, and project requested Actuating artifacts without taking semantic or execution authority; coordinate the shared Learnings/Synesthesia/Negative Ledger lifecycle checkpoint and repo-local source-memory reconciliation; address Universalist plans and receipts; and perform pure artifact validation.
64SKILL.mdUpdated Jun 29, 2026
tkersey/review-fold
testing
VerifiedTrustedCommunity
Classify and quotient review findings, failing tests, incidents, bug reports, migration failures, and other witnessed falsifiers against accepted intent and the current Construction. Author counterexample-set/v1 without selecting repairs, counting review credit, or granting mutation.
64SKILL.mdUpdated Jun 28, 2026