Database: add evidence-backed long-term KB promotion #126

Closed
nsaspy wants to merge 6 commits from hackmode-rage-database/24-long-term-kb-promotion into master
Owner

Bounded database-owned slice for #24/#27 after merged operational KB #45.

Adds an explicit promotion boundary from operation-scoped assertions into reusable long-term knowledge:

  • immutable promotion records in the canonical Tek9 graph;
  • exact source operation/assertion/run/expert/version provenance;
  • source evidence is copied forward and promotion evidence is separately required;
  • promotion key/value are derived from the source assertion, not caller-rewritten;
  • deterministic replay-safe promotion IDs;
  • retractions cannot be promoted;
  • no implicit global export and no Hackpert orchestration changes.

This is intentionally a promotion ledger, not a mutable aggregate or second KB authority. Multiple operations may independently promote corroborating knowledge; later global export can select from these durable records explicitly.

RED commits: 2cc57c17f5 / 7c7848376d
Current exact head: 10f9f31fe0

Bounded database-owned slice for #24/#27 after merged operational KB #45. Adds an explicit promotion boundary from operation-scoped assertions into reusable long-term knowledge: - immutable promotion records in the canonical Tek9 graph; - exact source operation/assertion/run/expert/version provenance; - source evidence is copied forward and promotion evidence is separately required; - promotion key/value are derived from the source assertion, not caller-rewritten; - deterministic replay-safe promotion IDs; - retractions cannot be promoted; - no implicit global export and no Hackpert orchestration changes. This is intentionally a promotion ledger, not a mutable aggregate or second KB authority. Multiple operations may independently promote corroborating knowledge; later global export can select from these durable records explicitly. RED commits: 2cc57c17f5a8f19f0d1d95f72ded7b5e5ec4156e / 7c7848376df3b41ebc9bd2d3476ee6dc00afced9 Current exact head: 10f9f31fe03066f3341b9079d8341d9022a732d6
Persist long-term KB promotions through Tek9
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 47s
monorepo / hygiene (pull_request) Successful in 4m13s
10f9f31fe0
nsaspy closed this pull request 2026-09-04 20:51:18 +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 5s
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.