Database: add typed operation snapshot reads #175

Open
nsaspy wants to merge 6 commits from hackmode-rage-database/24-operation-snapshot-reads into master
Owner

Bounded database-owned slice for #24/#27.

RED-first acceptance target:

  • enumerate typed execution records for one operation without leaking another operation;
  • optionally filter execution records by run identity;
  • enumerate typed operational-KB assertions and retractions for one operation;
  • reconstruct typed Common Lisp records from canonical Tek9 graph nodes;
  • read path remains projection-only: no provider execution, no expert behavior, no second graph/KB authority.

RED head: 02a8f98212baceb462f1b45c0f00c6b50ad2788e.
GREEN exact head: 244eff751e366dd8d6e5993fe8cef7f2296d618e (core, monorepo, agent-framework-boundary all passed).

Superseded by a non-draft PR at the identical exact head because the GitHub connector's ready-for-review mutation fails internally. No code/head change.

Bounded database-owned slice for #24/#27. RED-first acceptance target: - enumerate typed execution records for one operation without leaking another operation; - optionally filter execution records by run identity; - enumerate typed operational-KB assertions and retractions for one operation; - reconstruct typed Common Lisp records from canonical Tek9 graph nodes; - read path remains projection-only: no provider execution, no expert behavior, no second graph/KB authority. RED head: `02a8f98212baceb462f1b45c0f00c6b50ad2788e`. GREEN exact head: `244eff751e366dd8d6e5993fe8cef7f2296d618e` (`core`, `monorepo`, `agent-framework-boundary` all passed). Superseded by a non-draft PR at the identical exact head because the GitHub connector's ready-for-review mutation fails internally. No code/head change.
Export typed operation snapshot APIs
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 3s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 11s
core / common-lisp-core (pull_request) Failing after 53s
monorepo / hygiene (pull_request) Successful in 4m50s
244eff751e
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 3s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 11s
core / common-lisp-core (pull_request) Failing after 53s
monorepo / hygiene (pull_request) Successful in 4m50s
This pull request has changes conflicting with the target branch.
  • source/hackmode-database/db.lisp
  • source/hackmode-database/execution-graph.lisp
  • source/hackmode-database/package.lisp
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin hackmode-rage-database/24-operation-snapshot-reads:hackmode-rage-database/24-operation-snapshot-reads
git switch hackmode-rage-database/24-operation-snapshot-reads

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff hackmode-rage-database/24-operation-snapshot-reads
git switch hackmode-rage-database/24-operation-snapshot-reads
git rebase master
git switch master
git merge --ff-only hackmode-rage-database/24-operation-snapshot-reads
git switch hackmode-rage-database/24-operation-snapshot-reads
git rebase master
git switch master
git merge --no-ff hackmode-rage-database/24-operation-snapshot-reads
git switch master
git merge --squash hackmode-rage-database/24-operation-snapshot-reads
git switch master
git merge --ff-only hackmode-rage-database/24-operation-snapshot-reads
git switch master
git merge hackmode-rage-database/24-operation-snapshot-reads
git push origin master
Sign in to join this conversation.
No description provided.