Sigil: Test Derivation

SkillAI & models

Deterministically derive a test-obligation spec from a DomainSpec feature's aspect docs (no LLM in the derivation path).

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Sigil: Test Derivation skill

What this skill tells your AI

The instructions your AI receives, as published by cyberalchemyai/arcanum in arcana/test-derivation/SKILL.md and read by ahel’s review.

## Test Derivation

- Feature: <name>
- Obligations derived: <count> (by rule type)
- Determinism: content-addressed keys | round-trip oracle <pass/fail>
- Output: TEST-SPEC.md (+ tests)
- Coverage: engine ⊇ committed? <yes/no>

Signals

GitHub stars
25
Forks
3
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
test-derivation
Source
github.com/cyberalchemyai/arcanum