nsaspy/Symac

Fork 0

Bootstrap Symac from real dotfiles feature mine #1

Open

lost-rob0t wants to merge 23 commits from bootstrap/ai-native-workstation into main

lost-rob0t commented

2026-09-19 03:16:22 +00:00

(Migrated from github.com)

What this establishes

Symac is an AI-native Common Lisp workstation built on Lem.
The low-level platform stays opinion-light.
The default Symac distribution can be strongly integrated, Doom-style.
Feature requirements are mined from the real lost-rob0t/dotfiles config rather than a generic Emacs checklist.
Non-editor / non-LLM-workstation functionality is split into optional ASDF packages.
TDD contracts are defined before implementation.

Mined sources

.doom.d/config.org
.doom.d/packages.org
lisp/llm/
docs/wiki/emacs.org
android/
android/doom/config.org

Major resulting targets

deep Common Lisp editing/debugging/inspection
native model/provider/tool/agent/chain/graph runtime
prompt library and Org-native AI sessions
Org, Org-roam, Org query packages
Git/Forge and fail-closed approval workflows
project environments, terminal/process integration, persistent workspaces
Prolog and Prolog-RLM packages
desktop / terminal / Android profile separation
package-level isolation and recovery tests

This PR is intentionally architecture + test-contract first; implementation slices should follow these boundaries rather than accumulating features directly in core.

## What this establishes - Symac is an AI-native Common Lisp workstation built on Lem. - The low-level platform stays opinion-light. - The default Symac distribution can be strongly integrated, Doom-style. - Feature requirements are mined from the real `lost-rob0t/dotfiles` config rather than a generic Emacs checklist. - Non-editor / non-LLM-workstation functionality is split into optional ASDF packages. - TDD contracts are defined before implementation. ## Mined sources - `.doom.d/config.org` - `.doom.d/packages.org` - `lisp/llm/` - `docs/wiki/emacs.org` - `android/` - `android/doom/config.org` ## Major resulting targets - deep Common Lisp editing/debugging/inspection - native model/provider/tool/agent/chain/graph runtime - prompt library and Org-native AI sessions - Org, Org-roam, Org query packages - Git/Forge and fail-closed approval workflows - project environments, terminal/process integration, persistent workspaces - Prolog and Prolog-RLM packages - desktop / terminal / Android profile separation - package-level isolation and recovery tests This PR is intentionally architecture + test-contract first; implementation slices should follow these boundaries rather than accumulating features directly in core.

nsaspy added 18 commits

2026-09-19 03:33:12 +00:00

docs: add coding agents and first-class task slices 03d6fc407e

docs: add coding agents and first-class task slices 3fda33f5bc

test: specify task slices and coding-agent contracts e44a0b3ac9

test: specify task slices and coding-agent contracts 0900ce2244

test: specify task slices and coding-agent contracts fb1d10a200

test: specify task slices and coding-agent contracts f031f69f70

test: specify task slices and coding-agent contracts 176ef08f2b

test: specify task slices and coding-agent contracts b97b461c96

feat: implement task slices and coding-agent protocol 70b7ed5e9a

feat: implement task slices and coding-agent protocol 767e8dedb5

feat: implement task slices and coding-agent protocol 675f6994df

feat: implement task slices and coding-agent protocol 2c8c89c0fa

feat: implement task slices and coding-agent protocol c31f37bfb2

feat: implement task slices and coding-agent protocol 79cf35bb63

feat: implement task slices and coding-agent protocol f392dba226

feat: implement task slices and coding-agent protocol 308b87ce3e

docs: make tasks and coding agents first-class platform systems a7c0d3d984

docs: expose task slice and coding-agent workstation

CI / common-lisp (push) Successful in 42s

Details

CI / common-lisp (pull_request) Successful in 54s

Details

1962e7b40b

nsaspy changed title from ~~WIP: Bootstrap Symac from real dotfiles feature mine~~ to Bootstrap Symac from real dotfiles feature mine

2026-09-19 03:33:19 +00:00

nsaspy added 1 commit

2026-09-21 19:39:36 +00:00

feat(distro): compile Prolog facts to Nix and Guix without an LLM

CI / common-lisp (push) Failing after 5s

Details

CI / common-lisp (pull_request) Failing after 6s

Details

2ee38972c8

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* feat(distro): add Prolog Nix and Guix compiler

* fix(distro): normalize CLI argv handling

* ci(distro): test Prolog Nix Guix compiler

* docs(distro): document agentic Nix Guix layer

* fix(distro): declare apply dependency

* fix(distro): render string metadata labels

* test(distro): parse generated Nix and Guile

* ci(distro): run Nix flake checks

* fix(distro): make renderer quoting syntax robust

* fix(distro): track current nixpkgs package names

* fix(distro): track current nixpkgs package names

* fix(distro): track current nixpkgs package names

* fix(distro): correct collapse reducer arity

* test(distro): make renderer assertions deterministic

* ci: use current checkout runtime

* fix(distro): keep flake check sandbox pure

* ci(distro): parse generated Nix outside sandbox

nsaspy referenced this pull request

2026-09-21 19:39:40 +00:00

feat(distro): compile Prolog facts to Nix and Guix without an LLM #3

CI / common-lisp (push) Failing after 5s

Details

CI / common-lisp (pull_request) Failing after 6s

Details

This pull request has changes conflicting with the target branch.

.github/workflows/ci.yml
docs/distro.org
prolog/distro/cli.pl
prolog/distro/tests.pl

View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Merge commit title

Merge pull request 'Bootstrap Symac from real dotfiles feature mine' (#1) from bootstrap/ai-native-workstation into main

Merge commit body

Reviewed-on: https://git.starintel.actor/nsaspy/Symac/pulls/1

Merge pull request 'Bootstrap Symac from real dotfiles feature mine' (#1) from bootstrap/ai-native-workstation into main

Reviewed-on: https://git.starintel.actor/nsaspy/Symac/pulls/1

Checkout

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

git fetch -u origin bootstrap/ai-native-workstation:bootstrap/ai-native-workstation

git switch bootstrap/ai-native-workstation

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 bootstrap/ai-native-workstation

git switch bootstrap/ai-native-workstation

git rebase main

git switch main

git merge --ff-only bootstrap/ai-native-workstation

git switch bootstrap/ai-native-workstation

git rebase main

git switch main

git merge --no-ff bootstrap/ai-native-workstation

git switch main

git merge --squash bootstrap/ai-native-workstation