Database: require canonical long-term source for global KB export #156

Open
nsaspy wants to merge 4 commits from auto-rage-database/global-export-canonical-source-20260831 into master
Owner

Slice

Issue #24 database/KB lifecycle: global-KB export must prove its source long-term promotion is the exact canonical Tek9 promotion, not merely a caller-constructed in-memory object.

TDD

RED head: ff8d6438caf87f112dd489fcd1ef18879a13929d

  • core: RED exactly on non-canonical long-term promotion unexpectedly exported
  • monorepo: GREEN
  • agent-framework-boundary: GREEN

Implementation head: 1d9604d8b1ef316c53a95ea8850174f2d5d33817

  • core: GREEN
  • monorepo: GREEN
  • agent-framework-boundary: GREEN

Typed persistence decision

persist-global-kb-export now resolves the referenced long-term promotion from the canonical long-term Tek9 graph and compares the exact exported claim/provenance fields before writing global state. Validation and global persistence execute under the same Tek9 write transaction.

This intentionally validates the long-term promotion as the export authority rather than re-evaluating later operational-KB retractions: promotion is the explicit immutable lifecycle boundary between operation-local and reusable knowledge.

Boundary

  • database/KB persistence only
  • no Hackpert/provider/expert behavior
  • no shadow KB or second database
  • canonical Hackmode/Tek9 remains persistence authority
  • no StarIntel product work

No reviews, comments, or unresolved review threads at exact-head gate completion.

## Slice Issue #24 database/KB lifecycle: global-KB export must prove its source long-term promotion is the exact canonical Tek9 promotion, not merely a caller-constructed in-memory object. ## TDD RED head: `ff8d6438caf87f112dd489fcd1ef18879a13929d` - core: RED exactly on `non-canonical long-term promotion unexpectedly exported` - monorepo: GREEN - agent-framework-boundary: GREEN Implementation head: `1d9604d8b1ef316c53a95ea8850174f2d5d33817` - core: GREEN - monorepo: GREEN - agent-framework-boundary: GREEN ## Typed persistence decision `persist-global-kb-export` now resolves the referenced long-term promotion from the canonical long-term Tek9 graph and compares the exact exported claim/provenance fields before writing global state. Validation and global persistence execute under the same Tek9 write transaction. This intentionally validates the long-term promotion as the export authority rather than re-evaluating later operational-KB retractions: promotion is the explicit immutable lifecycle boundary between operation-local and reusable knowledge. ## Boundary - database/KB persistence only - no Hackpert/provider/expert behavior - no shadow KB or second database - canonical Hackmode/Tek9 remains persistence authority - no StarIntel product work No reviews, comments, or unresolved review threads at exact-head gate completion.
Tests: persist canonical promotion before global export
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 5s
core / common-lisp-core (pull_request) Failing after 39s
monorepo / hygiene (pull_request) Successful in 3m22s
1d9604d8b1
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 5s
core / common-lisp-core (pull_request) Failing after 39s
monorepo / hygiene (pull_request) Successful in 3m22s
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin auto-rage-database/global-export-canonical-source-20260831:auto-rage-database/global-export-canonical-source-20260831
git switch auto-rage-database/global-export-canonical-source-20260831

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 auto-rage-database/global-export-canonical-source-20260831
git switch auto-rage-database/global-export-canonical-source-20260831
git rebase master
git switch master
git merge --ff-only auto-rage-database/global-export-canonical-source-20260831
git switch auto-rage-database/global-export-canonical-source-20260831
git rebase master
git switch master
git merge --no-ff auto-rage-database/global-export-canonical-source-20260831
git switch master
git merge --squash auto-rage-database/global-export-canonical-source-20260831
git switch master
git merge --ff-only auto-rage-database/global-export-canonical-source-20260831
git switch master
git merge auto-rage-database/global-export-canonical-source-20260831
git push origin master
Sign in to join this conversation.
No description provided.