a11y-check
Accessibility audit, scoped to the surfaces a product actually has. Detects web / rendered_markdown / terminal / native_app / video_audio / document /…
Derive the binding properties your why/how/what impose on everything below them, so no solution can silently contradict your own product definition. Retrofit entry point for projects that started before v0.120.0; also the re-derive path when why/how/what change and every stance
$ npx -y skills add haabe/mycelium --skill purpose-properties --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
/purpose-propertiesContext preview
The summary Claude sees to decide when to auto-load this skill.
Derive the binding properties your why/how/what impose on everything below them, so no solution can silently contradict your own product definition. Retrofit entry point for projects that started before v0.120.0; also the re-derive path when why/how/what change and every stance
name: purpose-properties description: "Derive the binding properties your why/how/what impose on everything below them, so no solution can silently contradict your own product definition. Retrofit entry point for projects that started before v0.120.0; also the re-derive path when why/how/what change and every stance below them goes stale." metadata: instruction_budget: "21" framework_dependency: "mycelium" framework_dependency_note: "This skill is designed to run within the Mycelium framework (https://github.com/haabe/mycelium). Standalone use will skip the canvas state, theory gates, and harness behavior the skill assumes. Install: /plugin install mycelium@haabe-mycelium."
Retrofit and re-derive entry point for `purpose.yml#purpose_properties`. **For new projects this runs inside `/mycelium:start` Step 3b.** Use this skill when:
project created before that release, since `/mycelium:start` Step 4 exits for already-initialized projects and never reaches the extraction).
it is superseded** (the drift case — this is the one that matters most and the easiest to skip).
Full contract: `${CLAUDE_PLUGIN_ROOT}/../../docs/purpose-stance.md`.
Read `purpose.yml`. Then say plainly which of these you are in, because the three have different consequences and the user should not have to infer it:
`purpose_stance` below them was reasoned under a definition you have since changed."* This is the state that quietly invalidates work; name it in those terms.
For every element of `why`, `how` and `what`, ask: **can I name a specific solution that would CONTRADICT this?**
the contradicting solution in `contradicted_by`.
robust* — yield nothing checkable, because every candidate solution claims to satisfy them.
**Measured 2026-08-23, blind:** *"accessible and secure"* produced **no** checkable property, while five abstract framework principles produced clean ones. **The axis is not abstract vs concrete — it is quality adjective vs structural claim.** Do not treat concrete-sounding words as safe.
**DO NOT RELY ON NOTICING.** Step 2 says a quality adjective yields nothing checkable and asks you to decline. The evidence that an extractor actually declines is **one blind run, one model family** — the 2026-08-23 test, where the extractor returned NONE for *"accessible and secure"* unprompted. That result is real and it is thin, and this skill runs under model families that test never touched, in runtimes where no hook fires to catch the difference. **A model that does not refuse produces a confident property, marks it binding, and creates a stance field that every solution answers `preserves` forever — populated, green, and meaningless.** The mechanism's own failure mode, at its entry point.
So the screen is a rule, not a judgement:
**TRIGGER LIST — if an element contains any of these words, it routes to Step 3 REGARDLESS of whether you extracted something from it:**
> secure · safe · private · accessible · usable · intuitive · simple · easy · fast · performant · > scalable · reliable · robust · flexible · modern · seamless · delightful · high-quality · > best-in-class · efficient · powerful · lightweight
**Extracting a property from one of these words is not evidence the word was checkable.** It is the predicted failure. Route it, let the builder supply the standard, and record what they say.
**AND THE GENERAL TEST, for words the list does not carry** (it cannot be complete, and treating it as complete is the next version of this bug):
> **Would every plausible competing solution ALSO claim to satisfy this?** > If yes, it is a quality adjective, whatever it sounds like. Route it.
*"Secure"* fails that test — nobody proposes an insecure login. *"Anonymous"* passes it — a solution requiring an account plainly does not claim anonymity. **Note that the concrete-sounding word is the one that fails.** The axis is never how technical the word looks.
**WHAT IS STILL UNTESTED, stated so nobody reads the list as coverage:** whether a builder actually answers the Step 3 prompt. The 2026-08-23 run exercised extraction only — no builder was asked anything — so the recovery path has evidence for its necessity and none for its effectiveness.
**A property must sit at the altitude where violation is meaningful.** Ask, of each candidate:
> **What would have to be true for this to be violated — a single move, or a design choice?**
Do not record it.** A property that can be violated by one sentence turns the stance field into a footnote requirement, and a check people must satisfy per action is one they mute.
**WORKED EXAMPLE, and it is why this step exists.** From *"Theory-guided decisions: every significant decision is grounded in established frameworks
A harness that asks who this is for before the agent writes code. Built on Claude Code, where the gates are structural. The files and skills port to opencode, Codex and Cursor. Outcome over output. You know how this goes.
Accessibility audit, scoped to the surfaces a product actually has. Detects web / rendered_markdown / terminal / native_app / video_audio / document /…
Bring Mycelium into a project that already has code. Detects that the repo predates the framework, asks before touching anything, then reads the codebase to…
Design the smallest viable test to validate or invalidate a critical assumption. Based on Torres's assumption testing framework, organized by Gilad's AFTER…
Use before any research activity or significant decision. Reviews cognitive biases relevant to the current stage.
Use to evaluate whether current work aligns with Better Value Sooner Safer Happier. Run at diamond completion and periodically.
Lint canvas files for staleness, missing fields, inconsistent evidence types, and orphaned references. Run periodically or before major transitions.