Derive a TEST-SPEC.md from DomainSpec states.md without an LLM.
npx skills add https://github.com/cyberAlchemyAI/Arcanum --skill test-derivation
Please help me install this Agent Skill. Skill: test-derivation Source: https://github.com/cyberAlchemyAI/Arcanum/tree/main/arcana/test-derivation Command: npx skills add https://github.com/cyberAlchemyAI/Arcanum --skill test-derivation
Deterministically derive a test-obligation spec from a DomainSpec feature's aspect docs without using an LLM.
Run the L0 derive tool on your DomainSpec states.md to produce TEST-SPEC.md and validate it with the round-trip oracle.
High-intent search queries and answers about installing and using this skill.
Deterministic test-obligation derivation generates a TEST-SPEC.md from DomainSpec states.md without an LLM. It applies a round-trip oracle to verify engine obligations superset committed ones, ensuring end-to-end reproducibility and content-addressed stability.
Run the L0 derivation tool on your DomainSpec states.md file to produce a TEST-SPEC.md. The tool deterministically processes aspect docs and applies a round-trip oracle to validate that engine obligations superset committed obligations with auditable provenance.
No, you do not need an LLM to generate test obligations from DomainSpec feature docs. The derivation process operates deterministically using a content-addressed key scheme and a stable engine contract to ensure end-to-end reproducibility without AI inference.
The round-trip oracle verifies generated test obligations by ensuring engine-derived obligations superset committed obligations in the TEST-SPEC.md. This mechanism enforces a stable engine contract and guarantees content-addressed keys remain auditable and reproducible.
Deterministic and reproducible test specs are guaranteed by a content-addressed key scheme and a stable engine contract. The L0 derivation flow processes DomainSpec states.md without LLM variance, applying a round-trip oracle to ensure obligations remain stable and auditable.
A key limitation is that derivation strictly requires a DomainSpec states.md file to produce a TEST-SPEC.md. Because the process is deterministic and avoids LLMs, it cannot infer unstated obligations and relies entirely on explicit content within committed aspect docs.
cyberAlchemyAIDerive typed metric-obligation inventories from DomainSpec aspect docs.
cyberAlchemyAIAudit DomainSpec obligations against implementation code and classify compliance gaps.
jmaglyGenerate W3C PROV-compliant provenance records for AIWG agent artifacts.
gaiastudio-aiGenerates QA test cases and reviews test coverage for code reviews.
