Database: persist durable capture replay checkpoints #100

Closed
nsaspy wants to merge 5 commits from hackmode-rage-database/26-capture-checkpoint-20260830-1600 into master
Owner

Issue #26 database-owned replay prerequisite.

RED-first acceptance at head 2b8dc9164879a38b54c3b13b4a50116cac2fbf40:

  • capture checkpoints are typed execution-graph records scoped by operation + capture session + source;
  • identical checkpoint construction preserves stable identity;
  • canonical persistence replay is idempotent;
  • latest checkpoint resolves deterministically to the greatest durable offset for one source;
  • source isolation is enforced;
  • negative offsets and invalid framing versions fail closed.

RED evidence: common-lisp-core failed on the intentionally missing checkpoint API while monorepo/boundary passed.

GREEN exact head 82b0a7ee38b89219cf241804ad1c809f9f18462e: core, monorepo, and agent-framework-boundary all pass.

Implementation remains under the canonical Hackmode/Tek9 execution-graph boundary. No parser actor, proxy, Hackpert reasoning, StarIntel product work, second database, or shadow graph is included.

Issue #26 database-owned replay prerequisite. RED-first acceptance at head `2b8dc9164879a38b54c3b13b4a50116cac2fbf40`: - capture checkpoints are typed execution-graph records scoped by operation + capture session + source; - identical checkpoint construction preserves stable identity; - canonical persistence replay is idempotent; - latest checkpoint resolves deterministically to the greatest durable offset for one source; - source isolation is enforced; - negative offsets and invalid framing versions fail closed. RED evidence: `common-lisp-core` failed on the intentionally missing checkpoint API while monorepo/boundary passed. GREEN exact head `82b0a7ee38b89219cf241804ad1c809f9f18462e`: core, monorepo, and agent-framework-boundary all pass. Implementation remains under the canonical Hackmode/Tek9 execution-graph boundary. No parser actor, proxy, Hackpert reasoning, StarIntel product work, second database, or shadow graph is included.
feat(database): export capture checkpoint boundary
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 3s
core / common-lisp-core (pull_request) Failing after 47s
monorepo / hygiene (pull_request) Successful in 4m13s
82b0a7ee38
nsaspy closed this pull request 2026-09-04 20:53:31 +00:00
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 3s
core / common-lisp-core (pull_request) Failing after 47s
monorepo / hygiene (pull_request) Successful in 4m13s

Pull request closed

Sign in to join this conversation.
No description provided.