The specification for SIR verified-recompose: decompile a code unit into a language-neutral behavioral contract (a SIR + a frozen, held-out oracle), reconstruct it blind, and accept only what independent rebuilds prove on inputs they never saw.
The normative document is SIR_SCHEMA.md — currently v0.4 (v0.1 frozen 2026-06-10;
every change since is a versioned, evidence-cited addition, never a silent edit). A narrative introduction with
worked examples lives at rederive.ai/spec.html.
- The oracle is the substrate: a SIR artifact is self-contained — spec + frozen differential vectors. Prose is an unverified prior, never load-bearing.
- Expecteds are differential — stamped by executing the original — never hand-authored.
- Verification is earned by the round-trip gate, original deleted: N independent blind re-emissions must agree on the full held-out set.
- The verifier must be immovable from the seat of the party being verified.
| artifact | what | where |
|---|---|---|
rdv |
the trust-nothing verifier (check / resynth) |
npm rederive · source |
sir-factory |
the build orchestrator (install→decompose→stamp→re-emit→grade→pack) | npm · source |
sir plugin |
the Claude Code skills & agents (sir-verify, preflight, role agents) |
source |
Changes are additive and versioned (specVersion in every bundle manifest; rdv asserts compatibility).
Each addition must cite the specimen that forced it — nothing is resolved from taste. The file format and
specification will never be put behind a license, fee, or patent assertion against conforming implementations
(see the rederive Promise).
Licensed Apache-2.0.