SPaDE

Synthetic Philosophy and Deductive Engineering

View the Project on GitHub rbjones/SPaDE

Administrative Documentation

The SPaDE project is intended, en route to its more ambitious goals, to transform engineering design and construction, starting with software development.

It is now clear to me that an important part of that is project management and administration, which will need to continuously evolve as the capabilities of AI systems evolve, and their role becomes more substantial.

Because of the shifting balance between human and AI contributions, it is preferable to document roles in ways which are agnostic as to whether the role is filled by a human or an AI system.

Agents (including Grok Build) should take in this directory, via this README, rather than treating AGENTS.md as the project methods manual. AGENTS.md is only Grok-specific (and similar) advice. Document placement is in amms001.md.

Working practice (pro-tem)

Three uses of agents, not two products doing the same job:

  1. Grok Build is for interactive work and high-level discussion. It always uses a Grok LLM. Retained memory is in ~/.grok/memory/ (keyed on origin, shared by clones and worktrees of this repo), not in the git tree. Sessions are per working directory. Outcomes belong in docs/ (and code); memory is continuity only. Area branches and worktrees: ampd004.md.
  2. Copilot coding agent is for work scheduled through GitHub (issues, @copilot, coding-agent PRs). Its model is often selectable and is not assumed to be Grok. It has no local workspace, so tests run in the SPaDE container. Procedure: ampd001.md, ampd002.md, ampd008.md.
  3. Copilot code review on a pull request that Grok authored is independent review of that patch (ampd005.md). It is not the same role as (2). A Copilot-authored PR is not independently reviewed by Copilot; the human reviews it (Grok may help).

Do not use Copilot Chat in the local tree as a substitute for (1) or for (3).

This documentation falls into the following categories:

Methods and standards

Process or procedure descriptions

Plans and strategies

Testing and evaluation

Not yet a method. Questions about evaluating SPaDE as a tool for LLMs (MCP clients, frozen prompts, independence from the authoring agent) are listed at the end of ampd005.md.

Task Descriptions

Chat Logs

Code and Scripts