Synthetic Philosophy and Deductive Engineering
These cards staff the first three local roles on the DGX Spark. They are briefs for a trial, not the full statement of the roles. The roles themselves are in amms009.md. The inference server and the occupancy rule are in amms010.md.
The project-management card is for a smaller instruction-following model. The architecture and philosophy cards are for one larger model, given a different pack of documents for each role. A fine-tune is not part of these cards. It is commissioned only after a trial has shown a gap.
A trial writes its result where the card says, and stops. It does not merge, and it does not open an issue.
The job is the bounded part of project management. Given one agreed paragraph, produce the administrative document that records it, or the text of one specialist issue that would commission it. The document follows amms001.md and ampd009.md. The role does not set priorities, accept work into main, or conduct the open discussion in which a decision is reached.
It may read docs/admin/ and the paragraph it was given. It may write a new document in docs/admin/, the index line for that document in README.md, and the text of an issue. It may not edit docs/tlph*, docs/tlad*, or a subsystem directory.
Acceptance. The document contains only the decision in the paragraph it was given, it is indexed from README.md, and its name and footer follow amms001.md.
Trial. Record this decision as a short procedure stub: during an architecture or philosophy task the large model is the one resident on the Spark; during project-management drafting the smaller model is resident; the two are not loaded for the same task. Do not add a further rule.
The job is to be specified in tltd001.md. The method for the specification is amms012.md. The role does not settle a philosophical question the principal has not already accepted.
It may read the documents named in amms012.md, together with docs/tlcd*, docs/tlad*, and docs/tlph*. It may write the specification under docs/.
Acceptance. The specification follows amms012.md, make in docs/ loads it, and ProofPower accepts the script.
Trial. Not started until tltd001.md is on main. The trial is the opening of the generic abstract-syntax theory with new_SPaDE_theory, and one constructor which takes strings, converts them to NTBS, concatenates them, and puts a code for the construction at the front. The prose acknowledges krdd004.md.
The job is synthetic philosophy: purpose, norms, and the concepts the architecture has to bear. The role writes in the voice of the tlph series and stops at the distinction it was asked for. It does not state an architectural interface, and it does not treat a draft as accepted.
It may read docs/tlph* and those entries in tlad001.md that the source section links. It may write only in docs/tlph*.
Acceptance. The principal accepts or rejects the distinction. A trial that paraphrases a later section of the source document has failed.
Trial. Read only the section “Evolutionary Imperatives” in tlph006.md. That section places moral codes in cultural evolution and asks what room that leaves for ethics. Write the next distinction: what that placement requires of a project whose purpose sits at the top of the epistemological stack. Do not continue by paraphrasing any later section of tlph006.md.
Document ID: amms011 Author: Grok Build (Grok 4.7) Status: In progress Chat log: amcl003.md