metatheca Specification — Changelog

Updated 2026-07-10 metatheca pantheca.org

All notable changes to the metatheca Specification and its ext/ extension specifications. Entries describe spec-surface changes, not implementation changes.

0.2 — 2026-07-10

Added §5.7 fact queries — the projection now records the generic fact log (every applied fact of every kind, in chain application order), with facts-by-kind, current-facts, and current-fact query operations over it; the all-kinds current-facts form is the recommended default and the input shape document extractors consume. Added the parent-pinned commit form in §5.2 for read-modify-write callers that must fail with Conflict rather than rebase onto a moved head. Published together with taxopsis 0.2.

taxopsis 0.2 — 2026-07-10

Added §4.2 metatheca-docs:1, the document extractor: the host-agnostic complement to the fact extractor for hosts that store snapshot documents (one latest-wins fact per entry and kind, re-emitted whole on every change).

taxopsis 0.1 — 2026-07-04

First published rendering of the taxopsis extension specification, covering Phase 1: the typed predicate-retrieval contract — (entry, predicate, typed value) tuples extracted from the facts reachable from a metatheca state, ordered segments and hash-bucketed postings, and exact filter queries (equality, prefix, range) with optional ordered enumeration. Published after the coordinated 0.1 release below.

0.1 — 2026-07-04

First published rendering, covering Phase 1: identifiers, wire formats, core fact namespaces, operations, the head pinax, vault layout, and the CLI surface. Published together with the four ext/ extension specifications, each at 0.1: logopsis, semopsis, dendropsis, and zetetes. The specifications' source of truth is the LaTeX source in the spec repo; this HTML and the repo's SPEC.md files are generated from it.