Versioned security assessment

Report ID: SA-6D0B1144

10/5/2026, 6:24:08 PM

executor-verification security assessment v1

Skill Security Certification Report

Audit History
Scanner version 3.0.0 Audit model: codex Latest published report
Skill name
executor-verification
Version
v1
Maintainer
atri10
Source
github.com/atri10/executor/tree/39ddcfe1d9f3497102622b72aa235fb0770187fe/skills/executor-verification
Coverage
2 Files scanned · 819 Lines analyzed
Policy version
skillstore-security-audit-policy-v1

Highest confirmed finding severity

Medium

2 confirmed security findings require attention.

Installation context

Check the current Skill page

This page summarizes report evidence only. The Skill page provides the canonical install advisory.

Open current Skill page

This report does not block or authorize the manifest or ZIP.

All 155 static findings are false positives involving Markdown formatting, intended local verification, companion paths, or protective secret-handling guidance. Two semantic workflow risks concern unisolated regression reverts and retained evidence after secret-scan failures. No evidence found of malicious prompt injection or exfiltration; companion helper implementations are outside the two reviewed files.

Report position

Latest published report

Latest refers to the report sequence, not to artifact currentness.

Audit attestation

Active attestation

A public attestation is available for this exact report.

Human verification

Not verified

No human verification is recorded for this report.

Coverage

2 Files scanned · 819 Lines analyzed

2 items shown for review

Limitations

This report does not claim runtime or sandbox execution and does not prove the absence of side effects.

Evidence chain

Follow the evidence from source binding to the install contract. Available evidence supports verification; it is not a safety guarantee.

  1. Source

    Commit and path bound

  2. Artifact

    Content and tree hashes bound

  3. Audit

    Complete

  4. Install contract

    Open manifest to verify

    Open manifest

Capabilities observed

Observed means this report recorded supporting evidence. Not recorded does not prove that a capability is absent.

Contains scripts

May execute code included with the Skill.

Not recorded by this audit

Network access

May connect to external services.

Not recorded by this audit

Filesystem access

May read or write local files.

Observed in 8 evidence locations

Env variables

May read values from the process environment.

Not recorded by this audit

External commands

May invoke commands or programs outside the Skill.

Observed in 50 evidence locations

Risk findings

Confirmed security concerns are separated from items that still need review.

Confirmed security concerns (2)

RISK-001 Medium
SKILL.md:173-183
Regression Verification Reverts Fixes Without Isolation
The regression workflow says "Revert the fix" and "Restore the fix" without an isolated worktree or recovery checkpoint. Following it in a shared worktree can discard edits or disrupt concurrent work.
The ordered steps explicitly require reverting and restoring code, but provide no isolation or preservation procedure. No destructive command is specified, so damage depends on implementation.
RISK-002 Medium
evidence-runner-prompt.md:183-187SKILL.md:305-311
Secret Recovery Does Not Address Retained Evidence Copies
After a secret finding, the runner says "redact and rewrite" through the evidence helper. The storage policy creates new attempt files instead of overwriting, so sensitive originals may remain in tracked evidence.
Recovery requests another write while the documented helper preserves earlier attempts. No cleanup or quarantine of detected sensitive originals is specified; the helper implementation is outside this audit.

Remediation

Suggested fixes recorded by this audit. Applying them is the maintainer’s responsibility.

  1. FIX-001
    Medium
    Regression verification requests code reverts without an isolation or preservation procedure.
    Run the red-green cycle in a disposable worktree with a recorded baseline, preserving user changes and restoring the tested state before capture.
  2. FIX-002
    Medium
    Secret-scan recovery can leave sensitive originals beside redacted evidence attempts.
    Quarantine failed captures before tracking or committing them, scan every retained attempt, and document secure removal plus credential rotation when exposure occurred.

Expert evidence

Immutable subject identity, scanner metadata, dismissed matches, and source-level evidence.

Artifact subject

Marketplace commit
6d0b11444384184b7ae743742a7e233a9a705cd9
Content hash
ba29fd64a46b0a9d6f8dd5d91a52cb58fddce29264643aa00b752ddcc8a9f7b2
Tree hash
14caf2d5c5e2869b365b6c5b908fb28f1b0cee8e845096312bbd846a3df4e97b
Skill path
skills/atri10/executor-verification
Audit payload hash
0515f7a4e7ebeba3593e8979816bbf9d

Analysis metadata

Audit model: codex

Analysis state: Complete

Scope is limited to the recorded files, lines, methods, and evidence. No runtime or sandbox execution is claimed.

Verify and export

JSON report Signed attestation CITATION.cff SARIF 2.1.0 Signed installation manifest Source

The manifest and lockfile bind install artifacts to cryptographic hashes. This integrity claim is separate from the security assessment.

Audit attestation: active