Database: add operation-scoped operational KB mutations #130

Closed

nsaspy wants to merge 5 commits from hackmode-rage-database/24-operational-kb into master

nsaspy commented

2026-09-04 20:37:20 +00:00

Owner

Bounded database-owned slice for #24/#27 after execution graph (#42) and typed Hackpert actions (#44).

Adds an append-only operational KB contract over canonical Tek9 graph storage:

typed assertions/retractions with operation/run/expert/version provenance;
required evidence IDs;
deterministic replay-safe record IDs;
operation-scoped graph identity;
explicit assertion membership and retraction edges;
no mutable shadow KB, direct Prolog write path, or Hackpert orchestration changes.

Concurrency decision: operational facts are immutable assertion nodes; retractions target exact assertion IDs. Concurrent workers therefore append independent evidence-bearing mutations instead of racing on a single mutable key/value row.

RED commit: 24ec6d6179
Current head: 32c65a383f

Bounded database-owned slice for #24/#27 after execution graph (#42) and typed Hackpert actions (#44). Adds an append-only operational KB contract over canonical Tek9 graph storage: - typed assertions/retractions with operation/run/expert/version provenance; - required evidence IDs; - deterministic replay-safe record IDs; - operation-scoped graph identity; - explicit assertion membership and retraction edges; - no mutable shadow KB, direct Prolog write path, or Hackpert orchestration changes. Concurrency decision: operational facts are immutable assertion nodes; retractions target exact assertion IDs. Concurrent workers therefore append independent evidence-bearing mutations instead of racing on a single mutable key/value row. RED commit: 24ec6d61797280513564c11c7f7865481ba7f6a7 Current head: 32c65a383f4775c1d230913ed23b4f0239880e16

nsaspy added 5 commits

2026-09-04 20:37:20 +00:00