Design: STAR-KB v0.1 shared Prolog knowledge library #2

Open

lost-rob0t wants to merge 1 commit from design/star-kb-v0.1-2026-09-10 into main

lost-rob0t commented

2026-09-10 22:55:50 +00:00

(Migrated from github.com)

This is the pre-implementation ARADR design review for STAR-KB v0.1.

It contains:

a research note imported into the repo before design;
an implementation-ready design for restricted Prolog authoring, deterministic compilation to PQS JSON AST, bundle/release identity, staging/check/activation, provenance, tests, CLI boundaries, and scaling constraints;
a large plain-English jargon glossary.

No product implementation is included. Nothing has been promoted into roam/implement/.

Operator approval is required before implementation promotion.

This is the pre-implementation ARADR design review for STAR-KB v0.1. It contains: - a research note imported into the repo before design; - an implementation-ready design for restricted Prolog authoring, deterministic compilation to PQS JSON AST, bundle/release identity, staging/check/activation, provenance, tests, CLI boundaries, and scaling constraints; - a large plain-English jargon glossary. No product implementation is included. Nothing has been promoted into `roam/implement/`. Operator approval is required before implementation promotion.

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin design/star-kb-v0.1-2026-09-10:design/star-kb-v0.1-2026-09-10

git switch design/star-kb-v0.1-2026-09-10

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff design/star-kb-v0.1-2026-09-10

git switch design/star-kb-v0.1-2026-09-10

git rebase main

git switch main

git merge --ff-only design/star-kb-v0.1-2026-09-10

git switch design/star-kb-v0.1-2026-09-10

git rebase main

git switch main

git merge --no-ff design/star-kb-v0.1-2026-09-10

git switch main

git merge --squash design/star-kb-v0.1-2026-09-10