agentleFS
volantlabsvolantlabs/vellis/.agents/skills/model-hygiene-review/SKILL.md

model-hygiene-review

Skill9 starsChanged 4 months agoApache-2.0View on GitHub

Audit accepted SysML v2 component or application models against implementations, protocols, consumers, tests, generated evidence, predecessor contracts, and git history before proposing remediation. Use for periodic model hygiene, suspected model/implementation drift, migration-loss reviews, verification-closure audits, realization-codec review, or possible SysML-native modeling misuse.

We split this skill into the rules it gives an agent

4 rules. About 0 are common, 2 are distinctive, and 2 are very specific to this project.

  • ≈0

    Common · estimate

    Many files like this have a rule of this kind.

  • ≈2

    Distinctive · estimate

    This author's own choices. Worth a look.

  • 2

    Very specific

    Tied to their project's names, files or tools. Probably skip.

  • Common
  • Distinctive
  • Very specific
  1. Distinctive:

    Run the deterministic evidence collector for the requested stable ID.

    line 13
  2. Very specific:

    Read the JSON bundle under build/model-audits/.

    line 20
  3. Very specific:

    Read references/authority-triage.md completely.

    line 21
  4. Distinctive:

    Do not infer a contract from private helpers.

    line 25

≈ “Common” is an estimate: at least 1 in 5 of the 308,232 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Model Hygiene Review

Review divergence without assuming that either the accepted model or current implementation is automatically correct. Produce an advisory authority assessment before changing either side.

Workflow

  1. Run the deterministic evidence collector for the requested stable ID. Omit the target only when the user requests every accepted component:

    just model-audit component.rtg.query

    Read the JSON bundle under build/model-audits/. Treat comparisons as leads, not findings.

  2. Read references/authority-triage.md completely. Identify the model lifecycle, owner, requirements, satisfiers, realization binding, codecs, verification cases, and exact evidence nodes.
  3. Inspect the public implementation protocol, behavior, black-box tests, adapters, and consumers. Do not infer a contract from private helpers.
  4. Inspect git log --follow, the introducing commits on both sides, and any predecessor accepted specification. Determine whether code predates the model, implements a later decision, or merely drifted.
  5. Invoke sysml-reference only when syntax or language semantics affect the conclusion. Report the specification, section, printed or physical page, and whether the source is normative or informative. Do not use training recall as specification evidence.
  6. Classify every material difference using the authority-triage reference. Separate an explicit realization codec or intentional implementation freedom from public semantic drift.
  7. Report compatibility impact, confidence, evidence on each side, proposed authority, and the smallest verification needed before remediation.

Safety Rule

This skill is review-only. Do not edit the model, implementation, tests, generated views, or evidence while performing the audit. If accepted behavior is unresolved, classify it as human_decision_required and pause for the human owner. Successful parsing, tests, or evidence reference resolution are evidence, not proof of semantic agreement or verification closure.

Output

For every finding report:

  • stable component and affected model/implementation symbols;
  • classification and confidence;
  • model, implementation, consumer, history, and specification evidence as applicable;
  • compatibility and state/invariant impact;
  • proposed authority and remediation;
  • verification needed and whether human approval is required.

Conclude with unresolved decisions and the exact commands used. Keep generated audit bundles ignored and advisory; do not add them to CI or commit them.

Download now (ZIP)

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

Reviews can't be read right now.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.