research: tick-history shards as DBSP/Z-set event store (Amara math packet)

docs/hygiene-history/ticks/2026/04/29/0335Z.md

@@ -0,0 +1 @@
+| 2026-04-29T03:35:00Z | opus-4-7 / session continuation | 26f978a2 | autonomous-loop tick — Amara DBSP/Z-set math note landed; operator-authority criterion applied; glossary entry deferred. Created `docs/research/tick-history-shards-as-dbsp-event-store.md` with: core claim + carrier types + write/read model decomposition + 7 laws to test (commutativity / idempotency / retraction / supersession / projection-rebuild equivalence / write-read separation / chronology) + retraction model + F# implementation sketch. Glossary entry "Git-native CQRS / Event Sourcing" DEFERRED — depends on PR #723 (Candidate-count Goodhart entry) merging first. Cron `26f978a2` armed. | PR #738 (research note + shard) | Operator-authority criterion got its first concrete application this round. The 4-condition check (convergence + live failure + reversibility + flywheel-turn-avoidance) gave me a procedure rather than vibes. The math note ties shard transport to existing Zeta DBSP/Z-set substrate without claiming the implementation IS DBSP — non-fusion disclaimer in §33 header preserves the identity boundary. |