This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

Authoritative engineering contract for #32. Source: docs/handoff.md §Slice 6, §Datalog unification, §Migration proof; ADR-0001 permitted ephemeral mem rulings.

Proposal

One decision schema and Datalog dialect across CurryComb, Jostoph, and Vedanta — without a shared central database. Ascent retires only after demonstrated equivalence.

Specification Delta

• ADD shared value/relation schema crate (Atom replacement), byte-stable per canonical spec.
• ADD deny-biased resolver preserving the §Datalog unification MUST-list.
• ADD Jostoph replay equivalence (verdicts, reasons, effects, ordering, failures).
• ADD Vedanta canary; Jostoph shadow mode; retirement gate report.
• EXIT: one dialect estate-wide; Ascent removed by ruling, not by drift.

Design

Migration proof order is normative (handoff §Migration proof 1–7). Crate home = OD-6 (#39).

Tasks

#20 · #21 · #22 · #23 · #24