fsl-design SKILL.md skillA

fsl-design from ymm-oss/fsl is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add ymm-oss/fsl/fsl-design@git:20261107.deab533

Pins git:20261107.deab533 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
ymm-oss/fsl
Path
skills/fsl-design/SKILL.md
Versions recorded
9
Latest version
git:20261107.deab533, committed Nov 7, 2026
First version recorded
Jun 20, 2026
Size
12,650 bytes
Repository stars
37
License
Apache-2.0

Write and verify FSL design-layer specs for engineers from an agreed requirements contract. Use for internal state/action design, decomposition, queues/outboxes, compose, refinement mappings to requirements (including requirements written with entities, events, rules, decision tables and a glossary), typestate checks, scenarios-to-testgen handoff, and implementation-conformance planning. Do not use for PM requirements authoring or business process discovery.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# FSL Design Layer

A headerless document is FSL 4; to migrate it, see the migration guide in `docs/manual/LANGUAGE.md` ("FSL 4 to FSL 5 migration").

Use this skill after a requirements contract exists or the user explicitly asks
for engineering design. The design layer is an ordinary kernel `spec` headed
`fsl 5`, plus a refinement mapping back to the requirements layer. That mapping
is the **refinement seam, not a plain baton pass**: the design must refine the
(frozen) requirements contract, and `fslc refine` verifies the seam. When a
seam breaks, repair the design or the mapping — not the upper contract, unless
a human revises it.

Kernel syntax (state, init, actions, properties, `struct`, `Map`, `Seq`,
`compose`) is in `../fsl/references/syntax.md`; the refinement file and the
seam rules are in `../fsl/references/syntax.md` and
`../fsl/references/layers.md`. Use `fsl-design-review` instead when the user
asks for a design review, SOLID judgment, substitutability, or variant
comparison.

## What the `fsl 5` header changes here

- The kernel language is the same. The stricter rules of the edition are
  errors: `check` answers `result: "error"`, `kind: "unsupported_in_edition"`
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add ymm-oss/fsl/fsl-design@sha256:c078aa326b80cdf2

The line at the top of this page pins the label git:20261107.deab533, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_xvjg7ippmaoaly32.svg)](https://markdownregistry.com/a/art_xvjg7ippmaoaly32)

5 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 9 versions of this file, between Jun 20, 2026 and Nov 7, 2026, about one every 17 days.

versioncommittedcommitsizeaudit
git:20261107.deab533 latest2026-11-07 deab533 12,650 BA view · diff
git:20261017.bf06ebf2026-10-17 bf06ebf 10,200 BA view · diff
git:20261015.5401e682026-10-15 5401e68 9,392 BA view · diff
git:20260929.d8a8acc2026-09-29 d8a8acc 5,251 BA view · diff
git:20260828.927728f2026-08-28 927728f 5,244 BA view · diff
git:20260727.4af57382026-07-27 4af5738 5,235 BA view · diff
git:20260626.58f2f6b2026-06-26 58f2f6b 4,443 BA view · diff
git:20260625.5bdeef92026-06-25 5bdeef9 4,174 BA view · diff
git:20260620.992ded12026-06-20 992ded1 3,763 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (12650 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

ymm-oss/fsl · 37 stars · license Apache-2.0 · pushed 2026-11-07 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_xvjg7ippmaoaly32
GET https://markdownregistry.com/api/v1/resolve?ref=ymm-oss/fsl/fsl-design
GET https://markdownregistry.com/api/v1/blob/c078aa326b80cdf27192e9a67c365272a302ed98f6ebd4af9a9c8688d04acd3b

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from ymm-oss/fsl

checkpoint SKILL.md skill
ymm-oss/fsl · .agents/skills/checkpoint/SKILL.md · Reconcile tasks/active.md with Git, changed files, and observed verification before compaction, clearing, or handoff.
git:20260802.de79983 · audit A · 37 stars
focused-change SKILL.md skill
ymm-oss/fsl · .agents/skills/focused-change/SKILL.md · Make a bounded repository change with narrow discovery, minimal diffs, staged validation, concise evidence, and…
git:20260917.509bb63 · audit A · 37 stars
task-start SKILL.md skill
ymm-oss/fsl · .agents/skills/task-start/SKILL.md · Create or refresh the verified, resumable task packet in tasks/active.md before substantial FSL repository work.
git:20260802.de79983 · audit A · 37 stars
add-language-feature SKILL.md skill
ymm-oss/fsl · .claude/skills/add-language-feature/SKILL.md · Scaffold and verify a new native Rust FSL language feature while keeping syntax, lowering, symbolic/concrete semantics…
git:20260929.d8a8acc · audit A · 37 stars
checkpoint SKILL.md skill
ymm-oss/fsl · .claude/skills/checkpoint/SKILL.md · Reconcile and save the current FSL task state before compaction, clearing, handoff, or ending substantial work.
git:20260802.de79983 · audit A · 37 stars
new-spec SKILL.md skill
ymm-oss/fsl · .claude/skills/new-spec/SKILL.md · Author a new or substantially changed .fsl spec and take it through native check, bounded verification, induction where…
git:20260828.927728f · audit A · 37 stars
pr-review SKILL.md skill
ymm-oss/fsl · .claude/skills/pr-review/SKILL.md · Independently review a pull request that resolves an issue. Reconstructs the issue contract from repository evidence…
git:20260929.d8a8acc · audit A · 37 stars
release SKILL.md skill
ymm-oss/fsl · .claude/skills/release/SKILL.md · Operate FSL's GitLab Flow-inspired lifecycle from short-lived branches through main and production to an exact vX.Y.Z…
git:20261107.8d448ce · audit A · 37 stars
task-start SKILL.md skill
ymm-oss/fsl · .claude/skills/task-start/SKILL.md · Create or refresh the worktree-local active task packet before substantial FSL repository work. Reconciles the…
git:20260802.de79983 · audit A · 37 stars
AGENTS.md AGENTS.md file
ymm-oss/fsl · AGENTS.md
git:20260929.d8a8acc · audit A · 37 stars
CLAUDE.md CLAUDE.md file
ymm-oss/fsl · CLAUDE.md
git:20260929.d8a8acc · audit A · 37 stars
fsl-business SKILL.md skill
ymm-oss/fsl · skills/fsl-business/SKILL.md · Write and verify FSL business-layer specs and governance catalogs for consultants, business owners, and PMs explicitly…
git:20261107.deab533 · audit A · 37 stars

Every file in ymm-oss/fsl

Browse by kind, by grade A, or by owner.