nsaspy/hackmode
1
0
Fork 0
Code Issues 46 Pull requests 55 Projects Releases Packages Wiki Activity Actions

Database: add effective operational KB snapshots #104

Closed
nsaspy wants to merge 5 commits from auto-rage-db-effective-kb-20260830-1357 into master
pull from: auto-rage-db-effective-kb-20260830-1357
merge into: nsaspy:master
Conversation 0 Commits 5 Files changed 5 +117 -3
nsaspy commented 2026-09-04 20:37:11 +00:00
Owner
Copy link

Slice

Add a canonical database read that resolves operational-KB assertions minus retractions so consumers do not reimplement KB state resolution.

RED acceptance

  • effective snapshot excludes retracted assertions;
  • a retraction from a later run still suppresses an earlier-run assertion when :run-id filters the resulting live assertions;
  • live assertions remain deterministically typed and operation-scoped.

Database-only ownership. No Hackpert behavior changes, no provider execution, no shadow KB/database.

## Slice Add a canonical database read that resolves operational-KB assertions minus retractions so consumers do not reimplement KB state resolution. ## RED acceptance - effective snapshot excludes retracted assertions; - a retraction from a later run still suppresses an earlier-run assertion when `:run-id` filters the resulting live assertions; - live assertions remain deterministically typed and operation-scoped. Database-only ownership. No Hackpert behavior changes, no provider execution, no shadow KB/database.
database: export effective operational KB read
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
Details
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 12s
Details
core / common-lisp-core (pull_request) Failing after 35s
Details
monorepo / hygiene (pull_request) Successful in 3m52s
Details
e427e1372a
nsaspy closed this pull request 2026-09-04 20:53:08 +00:00
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
Details
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 12s
Details
core / common-lisp-core (pull_request) Failing after 35s
Details
monorepo / hygiene (pull_request) Successful in 3m52s
Details

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
Something isn't working

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
feature
New feature or capability

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
refactor
Code cleanup without behavior change

  
wontfix
This will not be worked on

No labels
bug
documentation
duplicate
enhancement
feature
good first issue
help wanted
invalid
question
refactor
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
nsaspy/hackmode!104
No description provided.