passepartout/harness/setup.org

Kernel Bootstrap (setup.org)

• Overview
• Phase A: Demand (Thinking)
  • The Minimalist Kernel
• Phase B: Protocol (Success Criteria)
  • Bootstrap Verification
• Phase C: Implementation (Build)
  • The Installer Script (opencortex.sh)

Overview

The Kernel Bootstrap provides the absolute minimum logic required to transition from a raw POSIX shell to a functional Lisp environment.

Phase A: Demand (Thinking)

The Minimalist Kernel

To maintain sovereignty, the harness must remain a "dumb" bus. It should not know about LLM providers or diagnostic suites. Its only responsibilities are:

1. Directory Resolution: Locating XDG paths.
2. System Tangle: Transforming literate Org sources into runnable Lisp.
3. Dependency Check: Ensuring SBCL and Quicklisp are available.

Phase B: Protocol (Success Criteria)

Bootstrap Verification

1. `test-xdg-dirs`: Verify that `setup_system` creates the Config/Data/State folders.
2. `test-asdf-registration`: Verify that the `INSTALL_DIR` is correctly pushed to the ASDF central registry.

Phase C: Implementation (Build)

The Installer Script (opencortex.sh)

The shell script is the primary entry point. It handles the initial git clone, dependency installation, and literate tangle.

#!/bin/bash
# (The content here is a duplicate of the main opencortex.sh for literate consistency)
# [Note: Implementation is already verified in the top-level script]