Database: import provenance-safe KB seed lists #114

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

Issue #24 database-owned slice. Supersedes draft #64 at the identical exact head because the connector could not transition that PR out of draft.

Adds bounded wordlist/fuzz-list import into the operation-scoped operational KB.

Invariants:

  • only :wordlist and :fuzz-list seed kinds are admitted;
  • values become canonical operational-KB assertions only;
  • no automatic long-term/global promotion;
  • duplicate values collapse and ordering cannot change record identity;
  • operation/run/importer/evidence/provenance are retained;
  • invalid kinds and empty values fail closed;
  • persistence reuses the canonical replay-safe operational-KB boundary;
  • no Hackpert policy/execution changes and no shadow store.

RED exact head: 878b27a10a — core failed because MAKE-OPERATIONAL-KB-SEED-ASSERTIONS intentionally did not exist yet; non-Lisp gates passed.
GREEN exact head: c987aab426 — core, monorepo, and agent-framework-boundary pass.

Issue #24 database-owned slice. Supersedes draft #64 at the identical exact head because the connector could not transition that PR out of draft. Adds bounded wordlist/fuzz-list import into the operation-scoped operational KB. Invariants: - only :wordlist and :fuzz-list seed kinds are admitted; - values become canonical operational-KB assertions only; - no automatic long-term/global promotion; - duplicate values collapse and ordering cannot change record identity; - operation/run/importer/evidence/provenance are retained; - invalid kinds and empty values fail closed; - persistence reuses the canonical replay-safe operational-KB boundary; - no Hackpert policy/execution changes and no shadow store. RED exact head: 878b27a10a3e3c9bc3523e85f1814afa641ad961 — core failed because MAKE-OPERATIONAL-KB-SEED-ASSERTIONS intentionally did not exist yet; non-Lisp gates passed. GREEN exact head: c987aab426b5b6090634e517b626f61d546d70ba — core, monorepo, and agent-framework-boundary pass.
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
nsaspy closed this pull request 2026-09-04 20:52:24 +00:00
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

Pull request closed

Sign in to join this conversation.
No description provided.