bigeasyfreeman/verifier-semantic-judge
skills/verifier-semantic-judge/SKILL.md
Decide whether an intersecting verifier actually exercises the semantic change.
testing
Updated Apr 23, 2026
$ install --global
skillsauthnpx skillsauth add bigeasyfreeman/adlc verifier-semantic-judgeInstall 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: Apr 23, 2026, 2:05 AM36.2s1 file scanned
SKILL.md
- name:
- verifier-semantic-judge
- description:
- Decide whether an intersecting verifier actually exercises the semantic change.
- contract_version:
- 1.0.0
- side_effect_profile:
- read_only
- mode:
- judgement
- consumes_manifest:
- true
- model_class:
- fast_judge
- max_tokens_per_call:
- 650
- expected_calls_per_run:
- 4
Verifier Semantic Judge
Run this only after the deterministic target-file intersection check returns non-empty overlap.
Inputs
{
"verifier_definition": {},
"changed_lines_snippet": "string",
"acceptance_criteria_text": ["string"]
}
Output
{
"exercises": true,
"reason": "The verifier asserts the changed average calculation and footer rendering, not just module import success."
}
Rules
truemeans the verifier would fail if the semantic change were wrong.falsemeans the verifier only touches the file, setup path, or smoke path without asserting the changed behavior.- Prefer concise reasons anchored in the changed behavior, not generic testing advice.
Related Skills
bigeasyfreeman/paved-road-registry
development
VerifiedTrustedCommunity
Discovers and records repo-local approved build paths so agents reuse proven patterns instead of inventing parallel architectures.
1SKILL.mdUpdated Jun 8, 2026
bigeasyfreeman/learning-refresh
development
VerifiedTrustedCommunity
Scoped maintenance for docs/solutions entries when stale signals, refactors, or explicit user scope require refresh.
1SKILL.mdUpdated Jun 8, 2026
bigeasyfreeman/learning-capture
documentation
VerifiedTrustedCommunity
Conditionally captures verified reusable ADLC learnings into docs/solutions after successful closeout.
1SKILL.mdUpdated Jun 8, 2026
bigeasyfreeman/graph-research
development
VerifiedTrustedCommunity
Uses Graphify as ADLC's graph-backed research layer and Beads as an optional dependency-aware task memory layer. Produces evidence for compatibility, reuse, accuracy, dark-code hotspots, and long-horizon handoff.
1SKILL.mdUpdated Jun 8, 2026