Skip to content

Columna 0.12.0 — the triad completes (assign · alloc faces + the anchor law + the third universe)

Choose a tag to compare

@datumwise datumwise released this 24 Jul 20:28

The RELATE face triad completesassign and alloc join the shipped touch — and Cascadia gains its third universe.

columna-core 0.12.0

  • Grammar. FACE <name> = ASSIGN BY <measure-ref> ORDER MIN|MAX and ALLOC BY <measure-ref>. ORDER is mandatory on ASSIGN, no default (a silent default would be an unrecorded resolution). The driver is a DECLARED measure, resolved at publish.
  • Engine. ASSIGN restricts the bridge to each member's top-ranked pair and single-counts (total reconciles to the grand total; the shadow of dropped memberships is disclosed). ALLOC splits by the per-member-normalized driver (reconciles to the cent; the reconciliation badge is the commutation certificate). touch unchanged.
  • Adjudication (fail-closed, per scheme). assign — a unique top per member; alloc — non-negative driver, strictly-positive per-member sum; the driver must be a spine at the frontier grain; a face-driver dependency DAG.
  • Anchor law (G5) — a distinct-class measure refuses at every face uniformly. Chain guard (G4) — a multi-hop face path refuses; one frontier at a time.
  • Wire (additive; contract_version stays "1"). relates[].faces[] gains driver; assign answers carry memberships_unrepresented; alloc answers carry reconciliation {…}.

columna-server 0.7.0

  • Third universe. UNIVERSE category_profile = category BASIS spine (12-row category_attributes, md5-deterministic) with two driver measures. The RELATE declares primary = ASSIGN BY priority ORDER MIN and split = ALLOC BY alloc_weight beside touch.
  • Exhibits. E11 (revenue AT {category.primary}) discloses the shadow (270 memberships; total ≡ the grand total $2,212,391.86); E12 (revenue AT {category.split}) serves with the reconciliation badge (total ≡ the grand total to the cent).
  • Site. Figure 1 draws the two universes it is taught and discloses the third on the figure itself (interim, fail-closed preserved); the /case chapter carries a lockstep forward-reference to category_profile.

Requires columna-core>=0.12.0. Design history: docs/proposals/0.12-triad-PROPOSAL.md.