Skip to content

Clarify schema-backed fact retraction contract#329

Merged
justinjoy merged 1 commit into
mainfrom
clarify-issue-328-fact-retract-contract
May 17, 2026
Merged

Clarify schema-backed fact retraction contract#329
justinjoy merged 1 commit into
mainfrom
clarify-issue-328-fact-retract-contract

Conversation

@justinjoy

Copy link
Copy Markdown
Contributor

Summary

  • Document that HTTP fact append/retract/forget operate on schema-registered fact-store relations, not raw Datalog atoms.
  • Add a unary fact(V) example showing how to model fact(1), fact(2), fact(3) as a registered fact(value:int64) relation and retract fact(1).
  • Add HTTP integration coverage for missing-schema retract and schema-backed unary append/query/retract/query behavior.

Closes #328

Review flow

  • Architect and critic agreed not to implement raw atom deletion or /api/facts/fact(1), because that would require a separate parser, typing, authorization, idempotency, audit, and replay contract.
  • Implementer produced one atomic docs/test commit.
  • Reviewer reported no findings.
  • Architect and critic both approved the final commit.

Test

  • git diff --check
  • meson test -C builddir-facts daemon-http-facts --print-errorlogs

@justinjoy justinjoy merged commit 2276814 into main May 17, 2026
3 checks passed
@justinjoy justinjoy deleted the clarify-issue-328-fact-retract-contract branch May 17, 2026 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clarify DELETE/retract API requirements for simple Datalog facts

1 participant