Catalog starts empty, promotion torn out, the missing edge caught — on canonical Int#1565

Merged

TSavo merged 14 commits into

mainfrom

chore/catalog-starts-empty

May 28, 2026

Commits on May 27, 2026

refactor(bind): the catalog starts empty (kill the seed)

TSavo
and
claude
committed
refactor(bind): grammar pinned by shape in code, not disk

TSavo
and
claude
committed
refactor(bind): concept_bind_result_cid computes from shape, kill the pinned literal

TSavo
and
claude
committed
test(bind_kit): resolve op CIDs against the code shape-authority, not disk

TSavo
and
claude
committed
feat(witness): ingestion converter — contents-that-form-a-witness -> WitnessMemento

TSavo
and
claude
committed
fix(witness): observed_at is caller-provided; compute CID via recompute_cid

TSavo
and
claude
committed
refactor(prove,verify): remove the empirically-witnessed promotion gate

TSavo
and
claude
committed
refactor(cli): rip the witness-consensus promotion path + promotion_query

TSavo
and
claude
committed
refactor(bind): stop minting promotion decisions

TSavo
and
claude
committed
refactor: delete promotion_decision_registry + promotion/consensus tests

TSavo
and
claude
committed
examples: rust-missing-edge — negative result through the real verbs

TSavo
and
claude
committed

Commits on May 28, 2026