nsaspy/prolog-rlm
1
0
Fork 0
Code Issues 83 Pull requests 10 Projects Releases Packages Wiki Activity Actions

chore: track .prolog via committed ignore rules #459

Open
nsaspy wants to merge 2 commits from chore/track-prolog into main
pull from: chore/track-prolog
merge into: nsaspy:main
Conversation 0 Commits 2 Files changed 4 +19 -86
nsaspy commented 2026-09-11 06:08:19 +00:00
Owner
Copy link

Replaces the local .git/info/exclude hack (.prolog/, shared across all worktrees) with committed ignore rules so .prolog is tracked normally.

Runtime invariant: prolog-verify runtime state (runs/, sessions/, result.json, .facts.lock) stays untracked and never dirties Git; durable knowledge (.prolog/kb/) and the task gate files (facts.kb, verify.pl) are tracked without git add -f.

Non-goals: no runtime code change; no runner/CI change; runs/ execution journals remain local per the project-memory policy.

Evidence: prolog-verify init --task track-prolog --force (deliberate new-task refresh); deterministic baseline green via observe (check_runtime, load_all, run_tests, git diff --check); prolog-verify check passes at HEAD d777b04.

Also carries 09d5c58 (kb: forgejo runner nix-install lesson) which was pushed after PR 458 merged.

Follow-up: merge makes main the tracking source of truth; future tasks re-init .prolog/verify.pl per task as designed.

Replaces the local `.git/info/exclude` hack (`.prolog/`, shared across all worktrees) with committed ignore rules so `.prolog` is tracked normally. **Runtime invariant**: prolog-verify runtime state (`runs/`, `sessions/`, `result.json`, `.facts.lock`) stays untracked and never dirties Git; durable knowledge (`.prolog/kb/`) and the task gate files (`facts.kb`, `verify.pl`) are tracked without `git add -f`. **Non-goals**: no runtime code change; no runner/CI change; `runs/` execution journals remain local per the project-memory policy. **Evidence**: prolog-verify init --task track-prolog --force (deliberate new-task refresh); deterministic baseline green via observe (check_runtime, load_all, run_tests, git diff --check); prolog-verify check passes at HEAD d777b04. Also carries 09d5c58 (kb: forgejo runner nix-install lesson) which was pushed after PR 458 merged. Follow-up: merge makes main the tracking source of truth; future tasks re-init `.prolog/verify.pl` per task as designed.
chore: track .prolog via committed ignore rules
Some checks failed
CI / REAL OpenRouter integration (pull_request) Has been skipped
Details
Nix flake / Flake package and clean runtime load (pull_request) Failing after 56m14s
Details
CI / Deterministic unit and load checks (pull_request) Failing after 56m16s
Details
Clean SWI pack install / Install and load copied pack (pull_request) Successful in 4m44s
Details
Tree-sitter FFI / Direct SWI-Prolog Tree-sitter FFI (pull_request) Successful in 4m55s
Details
Paid OpenRouter / Pinned paid OpenRouter integration (pull_request) Failing after 13m11s
Details
d777b04649 
Replace the local .git/info/exclude hack (.prolog/ shared across
worktrees) with the committed .prolog/.gitignore: runtime verifier state
(runs/, sessions/, result.json, .facts.lock) stays untracked while durable
knowledge (.prolog/kb) and the task gate files (facts.kb, verify.pl) are
tracked normally — no more git add -f for KB files.

Verification state refreshed for the new task (track-prolog) via
prolog-verify init --force; deterministic baseline green (check_runtime,
load_all, run_tests, git diff --check) and prolog-verify check passes at
this HEAD.
Some checks failed
CI / REAL OpenRouter integration (pull_request) Has been skipped
Details
Nix flake / Flake package and clean runtime load (pull_request) Failing after 56m14s
Details
CI / Deterministic unit and load checks (pull_request) Failing after 56m16s
Details
Clean SWI pack install / Install and load copied pack (pull_request) Successful in 4m44s
Details
Tree-sitter FFI / Direct SWI-Prolog Tree-sitter FFI (pull_request) Successful in 4m55s
Details
Paid OpenRouter / Pinned paid OpenRouter integration (pull_request) Failing after 13m11s
Details
This pull request can be merged automatically.
This branch is out-of-date with the base branch
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 chore/track-prolog:chore/track-prolog
git switch chore/track-prolog

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 chore/track-prolog
git switch chore/track-prolog
git rebase main
git switch main
git merge --ff-only chore/track-prolog
git switch chore/track-prolog
git rebase main
git switch main
git merge --no-ff chore/track-prolog
git switch main
git merge --squash chore/track-prolog
git switch main
git merge --ff-only chore/track-prolog
git switch main
git merge chore/track-prolog
git push origin main
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

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
wontfix
This will not be worked on

No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
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/prolog-rlm!459
No description provided.