Skip to content

Prove Datalog product flow through packaged runtime#318

Merged
justinjoy merged 1 commit into
mainfrom
datalog-product-flow
May 14, 2026
Merged

Prove Datalog product flow through packaged runtime#318
justinjoy merged 1 commit into
mainfrom
datalog-product-flow

Conversation

@justinjoy

@justinjoy justinjoy commented May 14, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add an installed-daemon Datalog product-flow regression that exercises graph creation, schema registration, fact writes, queries, replay, and degraded graph isolation through the packaged runtime and client
  • tighten packaged install readiness so static systemd units remain compatible with builds that omit fact-store support
  • document the tested operator flow and the required separation of policy, audit, and fact stores

Validation

  • product-flow packaged runtime suite
  • packaged readiness coverage for builds with and without fact-store support
  • default full test suite
  • fact-store replay coverage

Add a daemon-level product-flow test that boots an install-style runtime, arms the packaged admin permissions, writes and queries facts, restarts for replay, and verifies degraded graph isolation. Document the tested operator flow and keep static packaged units compatible with builds that omit fact-store support.

Constraint: Public artifacts must describe product behavior without internal tracker references.
Rejected: In-process-only coverage | it would not prove the installed daemon and client flow.
Rejected: Static unit --fact-root arguments | they break package smoke coverage for builds without fact-store support.
Confidence: high
Scope-risk: moderate
Directive: Keep policy, audit, and fact storage paths physically separate in packaged deployments.
Tested: product-flow packaged runtime suite; no-fact-store packaged readiness; default full test suite; fact-store replay coverage.
Not-tested: Full cross-platform CI matrix before PR.
@justinjoy justinjoy merged commit 75c8564 into main May 14, 2026
3 checks passed
@justinjoy justinjoy deleted the datalog-product-flow branch May 14, 2026 08:36
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.

1 participant