RAGE #309: recover Prolog config authority and Brave search default #238

Closed
nsaspy wants to merge 0 commits from rage/309-prolog-config-recovery into master
Owner

Consumes #309 from exact master e6d9409e49246a187d5ea015da681bfc4e4fdc63.

Scope: finish the operator-facing Prolog config recovery without touching Android production or any external repo. Preserve #5's provisioned config.pl + mutable/private config.local.pl ownership split; make Brave Search the built-in search template; remove stale prolog_rlm_* config/docs that contradict Zara's permanent no-Prolog-RLM policy.

RAGE state: implementation candidate awaiting exact-head GREEN.

Verified RED:

  • exact head 329e3db39ff13516b8aceb86e869de363be79229
  • CI #889 failed Run all tests at the intended shell/Prolog config boundary
  • pytest artifact: 1675 tests, 0 failures; Android and both shared-mic gates passed
  • the repaired scripts/test-all.sh gate correctly skipped Nix/build after the failure instead of false-greening

Implementation now:

  • Brave Search is the built-in and no-loaded-config search template
  • config.pl remains provisioned/base; mutable/private config.local.pl loads afterward, wins, and is never created/overwritten by Zara
  • prolog_rlm_enabled/1 and prolog_rlm_model/1 are absent from shared config and rejected in desktop/server user-config validation
  • generated config and current wiki docs no longer advertise the removed RLM configuration path
  • command-loop fallback no longer dereferences the removed RLM config predicate; ordinary bounded LLM rewrite remains canonical
  • legacy tests that asserted the removed command-loop RLM toggle were retired; standalone historical module tests are otherwise unchanged
  • no android/** production files or external repositories touched

Evidence:

  • rage/309-prolog-config-recovery.org
  • rage/309-prolog-config-recovery-research.org
  • rage/309-prolog-config-recovery-design.org
  • t/prolog_config_recovery.pl

Do not merge until the current exact head passes the complete repository gate, nix flake check, packaged build, Android/shared-mic jobs, and review/thread/mergeability checks.

Consumes #309 from exact master `e6d9409e49246a187d5ea015da681bfc4e4fdc63`. Scope: finish the operator-facing Prolog config recovery without touching Android production or any external repo. Preserve #5's provisioned `config.pl` + mutable/private `config.local.pl` ownership split; make Brave Search the built-in search template; remove stale `prolog_rlm_*` config/docs that contradict Zara's permanent no-Prolog-RLM policy. RAGE state: **implementation candidate awaiting exact-head GREEN**. Verified RED: - exact head `329e3db39ff13516b8aceb86e869de363be79229` - CI #889 failed `Run all tests` at the intended shell/Prolog config boundary - pytest artifact: 1675 tests, 0 failures; Android and both shared-mic gates passed - the repaired `scripts/test-all.sh` gate correctly skipped Nix/build after the failure instead of false-greening Implementation now: - Brave Search is the built-in and no-loaded-config search template - `config.pl` remains provisioned/base; mutable/private `config.local.pl` loads afterward, wins, and is never created/overwritten by Zara - `prolog_rlm_enabled/1` and `prolog_rlm_model/1` are absent from shared config and rejected in desktop/server user-config validation - generated config and current wiki docs no longer advertise the removed RLM configuration path - command-loop fallback no longer dereferences the removed RLM config predicate; ordinary bounded LLM rewrite remains canonical - legacy tests that asserted the removed command-loop RLM toggle were retired; standalone historical module tests are otherwise unchanged - no `android/**` production files or external repositories touched Evidence: - `rage/309-prolog-config-recovery.org` - `rage/309-prolog-config-recovery-research.org` - `rage/309-prolog-config-recovery-design.org` - `t/prolog_config_recovery.pl` Do not merge until the current exact head passes the complete repository gate, `nix flake check`, packaged build, Android/shared-mic jobs, and review/thread/mergeability checks.
nsaspy closed this pull request 2026-09-04 23:10:37 +00:00
Some checks failed
CI / test (pull_request) Failing after 8s
CI / android skeleton gate (pull_request) Failing after 11s
CI / shared mic / Ubuntu 24.04 (pull_request) Failing after 7m22s
CI / shared mic / Arch Linux (pull_request) Failing after 10m4s

Pull request closed

Sign in to join this conversation.
No description provided.