Release notes

Release notes

0.0.1 (2026-08-07)

The initial release — the experiment's static-land core, end to end:

• Dictionary completer: complete() derives every missing derivable method to fixpoint from the static-land derivation lattice (DERIVATIONS), reports provenance, and lists the consistency obligations of hand-provided derivable methods.
• Law/consistency property-test generator: LAWS records for Setoid, Semigroup, Monoid, Functor, Applicative, Chain, and Monad; makeLawTests / makeConsistencyTests produce t.prop()-ready tests — consistency checks every applicable derivation path, since the paths that avoid a corrupted method are what refute it; runLaws drives them through tape-six-fast-check.
• Sidecar parser and check compiler: parseSidecar reads the moonshot §6.5 artifact format into inert data (it never evaluates); compileCheck / compileChecks are the explicit trust step; lawTestsFromSidecar bridges a Laws section to the law suite. The worked binary-search artifact is verified end-to-end against the real published nano-binary-search, including the complexity bound via an instrumented comparator and a deterministic hazard witness.
• Call-site guards: guardsFromSidecar (subpath invariants-sidecar/guards.js) turns check-bearing pre: claims into tape-six-invariant guards — counted assertions when a tape-six run exercises the call site, the configured absent behavior otherwise.
• Oracle bridge: oracleInputsFromSidecar / instantiateAxioms / declareFromSidecar emit apodict wire shapes from blessed law: / effects: claims; the oracle is not a dependency — the integration tests load it dynamically (installed package first, fleet sibling second) and skip cleanly without it.

A drafted family sidecar for nano-binary-search's ten sibling exports ships in the repo (sidecars/), all claims surviving refutation. Tests run on Node, Bun, and Deno; CI is 3 OS × Node 22/24/26.