Doctor report: mattpocock/skills@66898f6

[Rambo-BOOSTE]

Public GitHub skill URL

https://github.com/mattpocock/skills/tree/main/skills/engineering/grill-with-docs

Notes

Submitted from the public SkillSpec Doctor page.

[github-actions]

SkillSpec Doctor shape gate

Target: github.com/mattpocock/skills/.../grill-with-docs

Shape: simple_skill

• Skill files: 1
• Plugin roots: 0
• Decision: Run full single-skill Doctor assessment.

Shape-specific handling

This is one atomic skill package. The public report can score this package directly.

Next

A full Doctor report follows this shape gate in the workflow artifacts and issue comment.

---

SkillSpec Doctor report

Target: github.com/mattpocock/skills/.../grill-with-docs

Shape: simple_skill - one atomic SKILL.md package; detailed doctor analysis can run

Status: full

Primary skill: SKILL.md

What This Measures

Doctor estimates how likely an agent is to miss, reorder, improvise, use the wrong surface, or finish without proof because of the current skill shape.

Assessment scope: one atomic SKILL.md package; the score describes this package directly

Risk interpretation: A high score means this raw package should be ported before install or runtime reliance.

This is a baseline of the current skill shape at doctor time. It is not a grade of domain knowledge, human usefulness, author effort, or legal/medical correctness.

Higher risk means a higher chance the agent skips, reorders, or improvises load-bearing instructions.

Current Skill Baseline

• Verdict: medium reliability debt
• Follow-through readiness: moderate
• Agent follow-through risk: medium (38/100, single-skill drift)
• Discovery risk: low (0/100)
• Raw activation load risk: medium (38/100 before contract mitigation)

Shape Contract

• Kind: simple_skill
• Kind handling: one atomic package; use the single-skill import, review, compile, dry-run, and install path
• Analysis status: full
• Skill files: 1
• Packages: 1
• Namespaces: 0
• Plugin roots: 0
• Primary skill: SKILL.md

Next command

/skillspec import github.com/mattpocock/skills/.../grill-with-docs/, compile it for <target>, install it, and prove it

Surface

• Activation body: 2 line(s), 64 byte(s), approximately 16 token(s)
• Deferred resources: 1 file(s), 145 byte(s)
• Frontmatter: 5 line(s), 181 byte(s)
• Activation-loaded surface: 16%
• Unmapped package files: 1
• Instruction signals: 0 modal obligation(s), 0 late obligation(s), 0 numbered step(s), 0 dependency mention(s)
• Code in active skill: 0 block(s), 0 unlabeled

Findings

1. HIGH: No machine-checkable behavior contract

Location: github.com/mattpocock/skills/.../grill-with-docs/

Evidence: No skill.spec.yml was found, so route choices, forbids, tool boundaries, dependency checks, scenario tests, and trace expectations are not falsifiable.

Basis: reliability_gap_unfilled_requirement, contract_trace_behavioral_contract

Fix: Run skillspec source map, then skillspec import-skill, and complete the generated contract before install or proof.

2. MEDIUM: Package files are present but not clearly reachable

Location: github.com/mattpocock/skills/.../grill-with-docs/

Evidence: 1 non-SKILL file(s) are present without an explicit local reference from Markdown.

Basis: contract_trace_static_well_formedness

Fix: Declare package-local files as imports, resources, code sources, artifacts, or dependency ledgers during SkillSpec porting.

3. MEDIUM: Runtime success would be unproven

Location: github.com/mattpocock/skills/.../grill-with-docs/

Evidence: No trace/progress/test surface was found, so a successful run would not prove which obligations actually executed.

Basis: contract_trace_unproven_verdict

Fix: Add scenario tests and trace/progress requirements; report unproven when evidence is absent instead of treating no error as success.

Next Actions

Recommended next action

/skillspec import github.com/mattpocock/skills/.../grill-with-docs/, compile it for <target>, install it, and prove it

• Capture this baseline before changing the skill: skillspec doctor github.com/mattpocock/skills/.../grill-with-docs/ --markdown > .skillspec/reports/skillspec-doctor-baseline.md.
• Install the skillspec skill into your harness if it is not already installed.
• From the harness, ask /skillspec import github.com/mattpocock/skills/.../grill-with-docs/, compile it for <target>, verify it, test it, and prove it. Print the alignment summary.
• Read the alignment summary before trusting the port: decision replay should pass, required steps should be proven, missing proof should be explicit, and forbidden actions should show no violations.
• Optionally publish the baseline doctor report, generated skill.spec.yml, compiled loader, and alignment report with the source repo or PR.
• Restart the harness after install, then try the SkillSpec-backed skill normally on a real task.
• For a CLI-only port, run skillspec source map github.com/mattpocock/skills/.../grill-with-docs/ --out <draft-dir>/.skillspec/source-map, then skillspec import-skill github.com/mattpocock/skills/.../grill-with-docs/ --out <draft-dir>/skill.spec.yml --source-map <draft-dir>/.skillspec/source-map/source-map.json.
• Create or complete deps.toml; preserve dependency authority, local status, install risk, and degraded proof impact.
• Promote operational prose into routes, rules, forbids, command templates, scenario tests, and trace/progress proof obligations.

Research Basis

17 cited basis item(s) are attached to this report.

• reliability_gap_instruction_density - Large, dense activation bodies increase dropped-step risk and later instructions suffer primacy bias. (SkillSpec Skills Reliability Gap)
• reliability_gap_metadata_context_pressure - Skill frontmatter metadata and activated bodies consume context; broad surfaces degrade routing and adherence. (SkillSpec Skills Reliability Gap)
• reliability_gap_implicit_environment_contract - Scripts and snippets carry dependency contracts whether or not the skill declares them. (SkillSpec Skills Reliability Gap)
• reliability_gap_no_execution_guarantees - Prose instructions and embedded snippets are guidance unless moved into checkable or enforced surfaces. (SkillSpec Skills Reliability Gap)
• reliability_gap_unfilled_requirement - Reliable skills need a portable, machine-checkable account of intended behavior, dependencies, and proof. (SkillSpec Skills Reliability Gap)
• contract_trace_activation_adherence_enforcement - Activation, adherence, and enforcement are separate gates; static prose mostly influences adherence, not enforcement. (SkillSpec Contract Trace Methodology)
• 11 more basis item(s) omitted. Use --json for the full basis registry.

Use --html for a shareable review page or --json for machine evidence.

Full artifacts: https://github.com/modiqo/skillspec/actions/runs/29288968991/artifacts/8294281783

The artifact contains:

• doctor-report.txt
• doctor-report.md
• doctor-report.html
• doctor-report.json
• shape-gate.md
• shape-gate.json
• source-stage.json
• target.txt