[RAGE][DOTEXP-001] Repo-local DotfilesExpert package, manifest, KB adapter and provenance index #232

New issue

Open

opened 2026-09-20 01:44:30 +00:00 by nsaspy · 2 comments

nsaspy commented

2026-09-20 01:44:30 +00:00

Owner

Parent: #281. Depends on lost-rob0t/zara#1233/#1249.

Create the real repo-local DotfilesExpert package under the canonical .zara/experts/dotfiles/ convention once the manifest codec is implemented.

Research/inventory first:

current .prolog/kb/index.pl and all existing dotfiles KB modules;
AGENTS.md source-of-truth rules;
docs/wiki ownership maps;
Nix/Home Manager modules and host/profile maps;
current Zara config/deployment facts.

Required:

valid ZARA-EXPERT/1 descriptor;
stable zara:expert/dotfiles identity;
declared symbolic operations and schemas;
KB source index with source path, revision/digest, scope and generated-vs-authored status;
adapters to reuse current .prolog/kb facts without duplicating them;
bounded explain output;
full symbolic registration/list/describe/activate/query/deactivate fixture.

No arbitrary consulted file may become executable code simply because it is found in the repo.

Acceptance: DotfilesExpert registers from this repo with zero model calls and answers at least one ownership/query fixture using existing KB evidence.

Parent: #281. Depends on lost-rob0t/zara#1233/#1249. Create the real repo-local DotfilesExpert package under the canonical `.zara/experts/dotfiles/` convention once the manifest codec is implemented. Research/inventory first: - current `.prolog/kb/index.pl` and all existing dotfiles KB modules; - AGENTS.md source-of-truth rules; - docs/wiki ownership maps; - Nix/Home Manager modules and host/profile maps; - current Zara config/deployment facts. Required: - valid ZARA-EXPERT/1 descriptor; - stable `zara:expert/dotfiles` identity; - declared symbolic operations and schemas; - KB source index with source path, revision/digest, scope and generated-vs-authored status; - adapters to reuse current `.prolog/kb` facts without duplicating them; - bounded explain output; - full symbolic registration/list/describe/activate/query/deactivate fixture. No arbitrary consulted file may become executable code simply because it is found in the repo. Acceptance: DotfilesExpert registers from this repo with zero model calls and answers at least one ownership/query fixture using existing KB evidence.

nsaspy commented

2026-09-20 02:41:15 +00:00

Author

Owner

Crew KB integration and preservation handoff

PR #280 now adds .prolog/kb/crew_protocol_v1.pl and appends its module import to the existing .prolog/kb/index.pl without replacing any previous bytes/imports. .zara/experts/dotfiles/kb/crew_protocol_v1.pl re-exports that module; it is not a second copied KB. Actual SWI tests load both paths.

The operator explicitly requires old Prolog to remain Git tracked. .prolog/AGENTS.md, the mandatory crew-expert skill and scripts/check-prolog-history.py enforce append-only/new-version knowledge; deletion/rename-away/rewrite/symlink replacement and uncommitted/untracked/ignored durable KB fail the gate. Keep raw private transcripts/secrets separate.

Consume the committed ZARA-CREW/1 contract and source hashes when implementing this package's real manifest/provenance index. Full package activation remains owned by this issue; the crew re-export is not falsely claimed to complete ZARA-EXPERT/1 registration.

## Crew KB integration and preservation handoff PR #280 now adds `.prolog/kb/crew_protocol_v1.pl` and appends its module import to the existing `.prolog/kb/index.pl` without replacing any previous bytes/imports. `.zara/experts/dotfiles/kb/crew_protocol_v1.pl` **re-exports** that module; it is not a second copied KB. Actual SWI tests load both paths. The operator explicitly requires old Prolog to remain Git tracked. `.prolog/AGENTS.md`, the mandatory crew-expert skill and `scripts/check-prolog-history.py` enforce append-only/new-version knowledge; deletion/rename-away/rewrite/symlink replacement and uncommitted/untracked/ignored durable KB fail the gate. Keep raw private transcripts/secrets separate. Consume the committed `ZARA-CREW/1` contract and source hashes when implementing this package's real manifest/provenance index. Full package activation remains owned by this issue; the crew re-export is not falsely claimed to complete ZARA-EXPERT/1 registration.

nsaspy commented

2026-09-20 03:03:35 +00:00

Author

Owner

Initial repo-owned expert library landed as PR #291

PR #291 establishes .zara/experts/ as the canonical repo-local expert implementation root and adds real Emacs, Git, Home Manager, Zara, and Sysadmin experts.

Important for this issue:

Home Manager and Zara experts reuse existing .prolog/kb/ through adapters instead of copying facts.
The Nix expert-library artifact preserves the .zara/ + .prolog/kb/ relative layout.
The actual Emacs self-documentation/Prolog corpus code was moved from zara-plugins#858 into dotfiles.
No fake ZARA-EXPERT/1 manifest was introduced; descriptor/activation remains blocked on the canonical Zara contract.

#282 still owns DotfilesExpert registration/provenance/activation; #291 provides the canonical expert-source substrate it should consume.

## Initial repo-owned expert library landed as PR #291 PR #291 establishes `.zara/experts/` as the canonical repo-local expert implementation root and adds real Emacs, Git, Home Manager, Zara, and Sysadmin experts. Important for this issue: - Home Manager and Zara experts reuse existing `.prolog/kb/` through adapters instead of copying facts. - The Nix expert-library artifact preserves the `.zara/` + `.prolog/kb/` relative layout. - The actual Emacs self-documentation/Prolog corpus code was moved from `zara-plugins#858` into dotfiles. - No fake ZARA-EXPERT/1 manifest was introduced; descriptor/activation remains blocked on the canonical Zara contract. #282 still owns DotfilesExpert registration/provenance/activation; #291 provides the canonical expert-source substrate it should consume.