Database: import provenance-safe KB seed lists #172

Open
nsaspy wants to merge 5 commits from hackmode-rage-database/24-kb-seed-import into master
Owner

Issue #24 database-owned slice: bounded wordlist/fuzz-list import into the operation-scoped operational KB.

Acceptance contract implemented:

  • imports only :wordlist and :fuzz-list seed kinds;
  • values become canonical operational-KB assertions, not direct long-term/global knowledge;
  • duplicate values collapse deterministically;
  • record identity is independent of input ordering;
  • operation/run/importer/evidence/provenance are retained;
  • invalid kinds and empty values fail closed;
  • no Hackpert policy/execution changes and no second KB/store.

RED exact head: 878b27a10a — core failed on the deliberately missing MAKE-OPERATIONAL-KB-SEED-ASSERTIONS while monorepo and boundary gates passed.
GREEN exact head: c987aab426 — core, monorepo, and agent-framework-boundary all pass.

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

Issue #24 database-owned slice: bounded wordlist/fuzz-list import into the operation-scoped operational KB. Acceptance contract implemented: - imports only :wordlist and :fuzz-list seed kinds; - values become canonical operational-KB assertions, not direct long-term/global knowledge; - duplicate values collapse deterministically; - record identity is independent of input ordering; - operation/run/importer/evidence/provenance are retained; - invalid kinds and empty values fail closed; - no Hackpert policy/execution changes and no second KB/store. RED exact head: 878b27a10a3e3c9bc3523e85f1814afa641ad961 — core failed on the deliberately missing MAKE-OPERATIONAL-KB-SEED-ASSERTIONS while monorepo and boundary gates passed. GREEN exact head: c987aab426b5b6090634e517b626f61d546d70ba — core, monorepo, and agent-framework-boundary all pass. Superseded by a non-draft PR at the identical exact head because the connector's ready-for-review mutation currently fails internally. No code/head change is involved.
Export operational KB seed import boundary
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 7s
core / common-lisp-core (pull_request) Failing after 48s
monorepo / hygiene (pull_request) Successful in 2m57s
c987aab426
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 7s
core / common-lisp-core (pull_request) Failing after 48s
monorepo / hygiene (pull_request) Successful in 2m57s
This pull request has changes conflicting with the target branch.
  • source/hackmode-database/hackmode-database-tests.asd
  • source/hackmode-database/hackmode-database.asd
  • source/hackmode-database/kb-seed-import.lisp
  • source/hackmode-database/package.lisp
  • source/hackmode-database/tests/kb-seed-import.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-kb-seed-import:hackmode-rage-database/24-kb-seed-import
git switch hackmode-rage-database/24-kb-seed-import

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-kb-seed-import
git switch hackmode-rage-database/24-kb-seed-import
git rebase master
git switch master
git merge --ff-only hackmode-rage-database/24-kb-seed-import
git switch hackmode-rage-database/24-kb-seed-import
git rebase master
git switch master
git merge --no-ff hackmode-rage-database/24-kb-seed-import
git switch master
git merge --squash hackmode-rage-database/24-kb-seed-import
git switch master
git merge --ff-only hackmode-rage-database/24-kb-seed-import
git switch master
git merge hackmode-rage-database/24-kb-seed-import
git push origin master
Sign in to join this conversation.
No description provided.