Add flake-native runtime packaging #145

Merged

lost-rob0t merged 7 commits from agent/141-flake-runtime-package into main

2026-08-21 09:33:33 +00:00

lost-rob0t commented

2026-08-21 06:35:13 +00:00

(Migrated from github.com)

Implements the first generic packaging slice of #141 and unblocks the standalone AgentProlog flake baseline.

adds flake.nix exposing packages.${system}.prolog-rlm and packages.${system}.default;
packages the existing SWI pack without creating another runtime/plugin layer;
installs a Nix setup hook using SWI's canonical SWIPL_PACK_PATH pack search path;
provides a packaged prolog-rlm-swipl convenience wrapper;
adds clean outside-checkout library(rlm) checks and a dedicated Nix GitHub Actions gate;
documents direct downstream flake consumption and preserves agentProlog -> prolog-rlm dependency direction.

This deliberately does not touch #144's subagent/prompt-compiler surfaces, #122 skill activation, #125 Harness code, or #132 programmable config.

The PR is draft until exact-head Nix and existing repository CI are green. A lock file is still required before final merge if the Nix gate does not materialize one; do not treat an unlocked evaluation as final reproducibility evidence.

Companion downstream: lost-rob0t/agentProlog#1 / PR #4.

Implements the first generic packaging slice of #141 and unblocks the standalone AgentProlog flake baseline. - adds `flake.nix` exposing `packages.${system}.prolog-rlm` and `packages.${system}.default`; - packages the existing SWI pack without creating another runtime/plugin layer; - installs a Nix setup hook using SWI's canonical `SWIPL_PACK_PATH` pack search path; - provides a packaged `prolog-rlm-swipl` convenience wrapper; - adds clean outside-checkout `library(rlm)` checks and a dedicated Nix GitHub Actions gate; - documents direct downstream flake consumption and preserves `agentProlog -> prolog-rlm` dependency direction. This deliberately does not touch #144's subagent/prompt-compiler surfaces, #122 skill activation, #125 Harness code, or #132 programmable config. The PR is draft until exact-head Nix and existing repository CI are green. A lock file is still required before final merge if the Nix gate does not materialize one; do not treat an unlocked evaluation as final reproducibility evidence. Companion downstream: lost-rob0t/agentProlog#1 / PR #4.