cosmoes.org

thym.cosmoes.org · specification · v0 · every item as a card

Thym 0: the MacroCOSM language, its compiler and its runtime

Every item of this volume as a card: its fields as the volume holds them. The app's fabula density adds facets, live examples and the local graph.

S · Structure

sections (83)

S:section/root Thym 0: the MacroCOSM language, its compiler and its runtime

Version 0 of the language, written 2026-11-01 for enough 0.5.0

id
S:section/root
type
section
summary
Version 0 of the language, written 2026-11-01 for enough 0.5.0.
level
1
parts
S:section/contents, S:section/how-to-read-this, S:section/1, S:section/2, S:section/3, S:section/4, S:section/5, S:section/6, S:section/7, S:section/8, S:section/9, S:section/10, S:section/11, S:section/12, S:section/13, S:section/14, S:section/15, S:section/16, S:section/17, S:section/18, S:section/19, S:section/20, S:section/21, S:section/22, S:section/colophon
mentions
S:section/20.4, T:term/thym
anchor
thym-0-the-macrocosm-language-its-compiler-and-i
provenance
{"mode":"derived","sources":["docs/THYM.md#L1-L11"],"confidence":1,"state":"known"}

read it at short

S:section/how-to-read-this How to read this

the rule words, the family of words, and what a block promises

id
S:section/how-to-read-this
type
section
summary
Must is a rule a conforming compiler or runtime keeps.
level
2
parent
S:section/root
mentions
S:section/5.2, S:section/14, S:section/13, S:section/15, S:section/2, T:term/holomorph, T:term/isomorph, T:term/thym, T:term/reading, T:term/null-morph, T:term/plan, T:term/compile
anchor
how-to-read-this
provenance
{"mode":"derived","sources":["docs/THYM.md#L40-L83"],"confidence":1,"state":"known"}

read it at short

S:section/1.1 Lineage

MacroCOSM OES 0.0.1 gave enough one grammar for volumes of items

id
S:section/1.1
type
section
summary
MacroCOSM OES 0.0.1 gave enough one grammar for volumes of items: Comprise's Holotypes, Canon's catalogs, EMF twins, documents.
number
1.1
level
3
parent
S:section/1
mentions
S:section/2, S:section/18.5, T:term/thym
anchor
sec-1-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L88-L104"],"confidence":1,"state":"known"}

read it at short

S:section/1.2 The name

Thym is said THIGH-m

id
S:section/1.2
type
section
summary
Thym is said THIGH-m: thigh with an m on the end, after Fukuyama's thymos, the part of the soul that wants to be recognised.
number
1.2
level
3
parent
S:section/1
anchor
sec-1-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L105-L111"],"confidence":1,"state":"known"}

read it at short

S:section/1.3 Stewardship

The owner of enough keeps this specification

id
S:section/1.3
type
section
summary
The owner of enough keeps this specification.
number
1.3
level
3
parent
S:section/1
mentions
S:section/17.6, T:term/compile
anchor
sec-1-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L112-L119"],"confidence":1,"state":"known"}

read it at short

S:section/4.1 The file

A program file has the extension .thym

id
S:section/4.1
type
section
summary
A program file has the extension .thym.
number
4.1
level
3
parent
S:section/4
mentions
T:term/run
anchor
sec-4-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L183-L212"],"confidence":1,"state":"known"}

read it at short

S:section/4.3 Heads

A head is a line at the start of a block, before any statement

id
S:section/4.3
type
section
summary
A head is a line at the start of a block, before any statement.
number
4.3
level
3
parent
S:section/4
mentions
T:term/run
anchor
sec-4-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L228-L246"],"confidence":1,"state":"known"}

read it at short

S:section/4.5 Expressions and modifiers

An expression is a move call, a name, a literal, a field read

id
S:section/4.5
type
section
summary
An expression is a move call, a name, a literal, a field read, or an expression in parentheses.
number
4.5
level
3
parent
S:section/4
mentions
S:section/7.3, T:term/compile
anchor
sec-4-5
provenance
{"mode":"derived","sources":["docs/THYM.md#L260-L303"],"confidence":1,"state":"known"}

read it at short

S:section/4.7 Keywords

Every keyword is a FEED headword or a form of one

id
S:section/4.7
type
section
summary
Every keyword is a FEED headword or a form of one (takes, gives, has and covers are forms of take, give, have and cover).
number
4.7
level
3
parent
S:section/4
mentions
S:section/6.3
anchor
sec-4-7
provenance
{"mode":"derived","sources":["docs/THYM.md#L320-L337"],"confidence":1,"state":"known"}

read it at short

S:section/4.8 The grammar in full

MOVENAME is a name that a manifest or a move block declares

id
S:section/4.8
type
section
summary
MOVENAME is a name that a manifest or a move block declares, WORD is a bare word (section 4.5), and TEXT is the rest of a line.
number
4.8
level
3
parent
S:section/4
mentions
S:section/4.5
anchor
sec-4-8
provenance
{"mode":"derived","sources":["docs/THYM.md#L338-L395"],"confidence":1,"state":"known"}

read it at short

S:section/5.1 The types

The nine meaning types are text fabula short atem item volume morph graph package

id
S:section/5.1
type
section
summary
The nine meaning types are text fabula short atem item volume morph graph package; a context is a meaning value too when it is an occasional context item.
number
5.1
level
3
parent
S:section/5
mentions
S:section/15, S:section/11, S:section/12, S:section/5.3, T:term/occasional-context
anchor
sec-5-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L400-L419"],"confidence":1,"state":"known"}

read it at short

S:section/5.2 Densities and what fits where

The four densities, text, fabula, short and atem, are types

id
S:section/5.2
type
section
summary
The four densities, text, fabula, short and atem, are types, and each move's signature says which it takes (section 6.3).
number
5.2
level
3
parent
S:section/5
mentions
S:section/6.3
anchor
sec-5-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L420-L425"],"confidence":1,"state":"known"}

read it at short

S:section/5.3 Provenance

Every meaning value a move makes carries the move, its inputs' digests, the run

id
S:section/5.3
type
section
summary
Every meaning value a move makes carries the move, its inputs' digests, the run (its trace's id), the step and the node.
number
5.3
level
3
parent
S:section/5
mentions
S:section/7.2, T:term/run
anchor
sec-5-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L426-L441"],"confidence":1,"state":"known"}

read it at short

S:section/5.4 Bindings

let binds a name once, in the block where it appears

id
S:section/5.4
type
section
summary
let binds a name once, in the block where it appears.
number
5.4
level
3
parent
S:section/5
anchor
sec-5-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L442-L450"],"confidence":1,"state":"known"}

read it at short

S:section/6.1 What a move is

A move is one step, a transcoding or a transcognition, with four parts: a signature

id
S:section/6.1
type
section
summary
A move is one step, a transcoding or a transcognition, with four parts: a signature (its operands and modifiers with their types, and the type it gives); an asks flag (true when the move needs the model); a contract (the named checks that must hold on its output, section 7); and an owner, the MiniCOSM whose manifest declares it (section 17.6).
number
6.1
level
3
parent
S:section/6
mentions
S:section/7, S:section/17.6, S:section/19, T:term/run
anchor
sec-6-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L455-L462"],"confidence":1,"state":"known"}

read it at short

S:section/6.2 Who declares what

Section 17.6 gives the moves: block that declares them

id
S:section/6.2
type
section
summary
Section 17.6 gives the moves: block that declares them.
number
6.2
level
3
parent
S:section/6
mentions
S:section/17.6
anchor
sec-6-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L463-L473"],"confidence":1,"state":"known"}

read it at short

S:section/6.3 The standard moves of version 0

Each contract below is the contract: list of the move's declaration

id
S:section/6.3
type
section
summary
Each contract below is the contract: list of the move's declaration; section 7.3 says what each check holds.
number
6.3
level
3
parent
S:section/6
mentions
S:section/7.3, S:section/16.1, S:section/13.2, T:term/run
anchor
sec-6-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L474-L511"],"confidence":1,"state":"known"}

read it at short

S:section/6.4 Signatures in the manifest

A move's declaration is one mapping in a moves: list (section 17.6)

id
S:section/6.4
type
section
summary
A move's declaration is one mapping in a moves: list (section 17.6).
number
6.4
level
3
parent
S:section/6
mentions
S:section/17.6
anchor
sec-6-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L512-L533"],"confidence":1,"state":"known"}

read it at short

S:section/7.1 What a contract is

A contract is a list of named checks that must hold on a move's output…

id
S:section/7.1
type
section
summary
A contract is a list of named checks that must hold on a move's output before the output becomes a value.
number
7.1
level
3
parent
S:section/7
mentions
S:section/9, T:term/run, T:term/thym
anchor
sec-7-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L538-L545"],"confidence":1,"state":"known"}

read it at short

S:section/7.4 assert

An assert line adds a check of the program's own

id
S:section/7.4
type
section
summary
An assert line adds a check of the program's own.
number
7.4
level
3
parent
S:section/7
mentions
S:section/8.3, T:term/run
anchor
sec-7-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L595-L602"],"confidence":1,"state":"known"}

read it at short

S:section/8.1 Choice and loop

if … then … else … end chooses

id
S:section/8.1
type
section
summary
if … then … else … end chooses.
number
8.1
level
3
parent
S:section/8
mentions
T:term/run
anchor
sec-8-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L609-L615"],"confidence":1,"state":"known"}

read it at short

S:section/8.2 Three ways out

give gives the block's value, and every path of a block that gives must reach…

id
S:section/8.2
type
section
summary
give gives the block's value, and every path of a block that gives must reach one.
number
8.2
level
3
parent
S:section/8
anchor
sec-8-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L616-L622"],"confidence":1,"state":"known"}

read it at short

S:section/8.3 User moves

A move block is a named program with parameters

id
S:section/8.3
type
section
summary
A move block is a named program with parameters.
number
8.3
level
3
parent
S:section/8
anchor
sec-8-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L623-L649"],"confidence":1,"state":"known"}

read it at short

S:section/8.4 use

A use line stands outside every block, usually just after the version line

id
S:section/8.4
type
section
summary
A use line stands outside every block, usually just after the version line.
number
8.4
level
3
parent
S:section/8
mentions
T:term/compile
anchor
sec-8-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L650-L673"],"confidence":1,"state":"known"}

read it at short

S:section/9 Errors: compile, plan, run

three kinds at three times, each refusing whole, each with the line

id
S:section/9
type
section
summary
A refusal is a value, not an exception: the CLI prints it and exits non-zero, the server returns it as the response, and the viewer shows it in place of the plan or the outputs.
number
9
level
2
parent
S:section/root
mentions
S:section/19, S:section/12.5
anchor
sec-9
provenance
{"mode":"derived","sources":["docs/THYM.md#L674-L689"],"confidence":1,"state":"known"}

read it at short

S:section/10 Programs as documents

a program enumerated into items, read at three densities, compiled back byte for byte

id
S:section/10
type
section
summary
The enumerator reads a .thym file into a thym/1 volume of kind program (section 17).
number
10
level
2
parent
S:section/root
mentions
S:section/17, T:term/run, T:term/plan
anchor
sec-10
provenance
{"mode":"derived","sources":["docs/THYM.md#L690-L727"],"confidence":1,"state":"known"}

read it at short

S:section/11 The compiler

seven stages, each refusing whole, ending in items and a plan a person can inspect

id
S:section/11
type
section
summary
seven stages, each refusing whole, ending in items and a plan a person can inspect
number
11
level
2
parent
S:section/root
parts
S:section/11.1, S:section/11.2, S:section/11.3
anchor
sec-11
provenance
{"mode":"derived","sources":["docs/THYM.md#L728-L731"],"confidence":1,"state":"known"}

read it at short

S:section/11.2 The package

enough/thym/ is one Python package

id
S:section/11.2
type
section
summary
enough/thym/ is one Python package: parse.py, types.py, check.py, enumerate.py, plan.py, run.py, coprocessor.py, trace.py, contracts.py, moves/ and cli.py.
number
11.2
level
3
parent
S:section/11
anchor
sec-11-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L763-L771"],"confidence":1,"state":"known"}

read it at short

S:section/11.3 The command line

Every command reads ENOUGH_THYM_ROOT (default ~/enough/thym/) for where runs live

id
S:section/11.3
type
section
summary
Every command reads ENOUGH_THYM_ROOT (default ~/enough/thym/) for where runs live, and writes nowhere else unless it is told the path.
number
11.3
level
3
parent
S:section/11
mentions
T:term/run
anchor
sec-11-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L772-L789"],"confidence":1,"state":"known"}

read it at short

S:section/12 The runtime

a plan walked in order; the model as a contracted coprocessor; every run traced and replayable

id
S:section/12
type
section
summary
The runtime is non-traditional in four ways and ordinary in every other.
number
12
level
2
parent
S:section/root
parts
S:section/12.1, S:section/12.2, S:section/12.3, S:section/12.4, S:section/12.5, S:section/12.6
mentions
T:term/run, T:term/plan
anchor
sec-12
provenance
{"mode":"derived","sources":["docs/THYM.md#L790-L797"],"confidence":1,"state":"known"}

read it at short

S:section/12.1 Execution

run takes a plan and the program it was made from

id
S:section/12.1
type
section
summary
run takes a plan and the program it was made from (the .thym file or its program volume; the plan's program.sha256 must match), since a filter's condition, a local move's body and an assert's message are read from the program, and checks the plan against the environment: the model present and large enough, agent-free or not, and every input present with the digest the plan recorded.
number
12.1
level
3
parent
S:section/12
mentions
T:term/plan, T:term/run
anchor
sec-12-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L798-L808"],"confidence":1,"state":"known"}

read it at short

S:section/12.2 The coprocessor

One interface; three implementations in enough; any number elsewhere

id
S:section/12.2
type
section
summary
One interface; three implementations in enough; any number elsewhere.
number
12.2
level
3
parent
S:section/12
mentions
S:section/19, T:term/plan, T:term/thym
anchor
sec-12-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L809-L837"],"confidence":1,"state":"known"}

read it at short

S:section/12.4 Replay

run --replay <run-id> runs that run's plan with the ReplayCoprocessor

id
S:section/12.4
type
section
summary
run --replay <run-id> runs that run's plan with the ReplayCoprocessor, over the candidates recorded under the run as candidates/<node>[-<k>].<attempt>.cosm (a node that asks more than once records each answer).
number
12.4
level
3
parent
S:section/12
mentions
T:term/run, T:term/plan
anchor
sec-12-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L855-L874"],"confidence":1,"state":"known"}

read it at short

S:section/12.5 Budgets and the 16 GB rule

A plan carries the largest prompt it will build

id
S:section/12.5
type
section
summary
A plan carries the largest prompt it will build.
number
12.5
level
3
parent
S:section/12
mentions
T:term/plan
anchor
sec-12-5
provenance
{"mode":"derived","sources":["docs/THYM.md#L875-L881"],"confidence":1,"state":"known"}

read it at short

S:section/13.1 The null morph

The null morph is Thym's reference telling of a fabula

id
S:section/13.1
type
section
summary
The null morph is Thym's reference telling of a fabula.
number
13.1
level
3
parent
S:section/13
mentions
S:section/19, T:term/thym
anchor
sec-13-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L898-L908"],"confidence":1,"state":"known"}

read it at short

S:section/13.3 Measurement

Ratios are per hundred or per thousand words, compared as integers

id
S:section/13.3
type
section
summary
Ratios are per hundred or per thousand words, compared as integers.
number
13.3
level
3
parent
S:section/13
mentions
S:section/21
anchor
sec-13-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L931-L956"],"confidence":1,"state":"known"}

read it at short

S:section/13.4 Holomorph and isomorph

A holomorph is measure t against null of f

id
S:section/13.4
type
section
summary
A holomorph is measure t against null of f, for a person's text t with fabula f: each scale's value as a departure from the null, with its evidence.
number
13.4
level
3
parent
S:section/13
anchor
sec-13-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L957-L972"],"confidence":1,"state":"known"}

read it at short

S:section/13.5 Morph blocks and morph items

A morph may be declared by hand in a program file, one scale per line

id
S:section/13.5
type
section
summary
A morph may be declared by hand in a program file, one scale per line; the unlisted scales sit at 1.
number
13.5
level
3
parent
S:section/13
mentions
S:section/17.3
anchor
sec-13-5
provenance
{"mode":"derived","sources":["docs/THYM.md#L973-L1004"],"confidence":1,"state":"known"}

read it at short

S:section/14 Readings

someone else's fabula told in your morph: local, labelled, never the source

id
S:section/14
type
section
summary
A reading is read f with m in c: a telling of a fabula in the reader's morph (their holomorph, or an isomorph they chose), shaped by the reader's occasional context and made on the reader's machine.
number
14
level
2
parent
S:section/root
mentions
T:term/holomorph, T:term/isomorph, T:term/occasional-context
anchor
sec-14
provenance
{"mode":"derived","sources":["docs/THYM.md#L1005-L1029"],"confidence":1,"state":"known"}

read it at short

S:section/15.1 Folder form

<name>.thym/ (a folder; a program is a file of the same suffix, <name>.thym…

id
S:section/15.1
type
section
summary
<name>.thym/ (a folder; a program is a file of the same suffix, <name>.thym, and a library tells the two apart by the one being a folder with a package.cosm inside):
number
15.1
level
3
parent
S:section/15
mentions
T:term/run
anchor
sec-15-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L1034-L1057"],"confidence":1,"state":"known"}

read it at short

S:section/15.2 The catalog

The catalog, in Packages

id
S:section/15.2
type
section
summary
The catalog, in Packages
number
15.2
level
3
parent
S:section/15
anchor
sec-15-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L1058-L1075"],"confidence":1,"state":"known"}

read it at short

S:section/15.3 Single-file and encrypted forms

package lands the single-file form, with the folder form <name>.thym/ beside it

id
S:section/15.3
type
section
summary
package lands the single-file form, with the folder form <name>.thym/ beside it.
number
15.3
level
3
parent
S:section/15
mentions
T:term/reading
anchor
sec-15-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L1076-L1097"],"confidence":1,"state":"known"}

read it at short

S:section/15.4 The laws of a package

The author's text is the package's telling as told

id
S:section/15.4
type
section
summary
The author's text is the package's telling as told: unpack gives it back byte for byte, and what is checked is that every span of the fabula resolves into it and that the fabula covers it.
number
15.4
level
3
parent
S:section/15
anchor
sec-15-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L1098-L1107"],"confidence":1,"state":"known"}

read it at short

S:section/16 Context

the volume a text lives in, and the occasion it is read on

id
S:section/16
type
section
summary
the volume a text lives in, and the occasion it is read on
number
16
level
2
parent
S:section/root
parts
S:section/16.1, S:section/16.2
anchor
sec-16
provenance
{"mode":"derived","sources":["docs/THYM.md#L1108-L1111"],"confidence":1,"state":"known"}

read it at short

S:section/16.1 Surrounding context

The surrounding context is the volume a text sits in

id
S:section/16.1
type
section
summary
The surrounding context is the volume a text sits in: its Canon volume's canon.cosm, the project's catalog, or a site's served catalog when a website serves packages.
number
16.1
level
3
parent
S:section/16
anchor
sec-16-1
provenance
{"mode":"derived","sources":["docs/THYM.md#L1112-L1118"],"confidence":1,"state":"known"}

read it at short

S:section/16.2 Occasional context

The occasional context is just-in-time

id
S:section/16.2
type
section
summary
The occasional context is just-in-time: why this text, for whom, in what medium, at what moment, under what constraints.
number
16.2
level
3
parent
S:section/16
mentions
T:term/reading
anchor
sec-16-2
provenance
{"mode":"derived","sources":["docs/THYM.md#L1119-L1156"],"confidence":1,"state":"known"}

read it at short

S:section/17 The thym/1 MiniCOSM and the moves: block

the MiniCOSM that holds programs, morphs, contexts, plans, traces and packages; and how any MiniCOSM declares moves

id
S:section/17
type
section
summary
the MiniCOSM that holds programs, morphs, contexts, plans, traces and packages; and how any MiniCOSM declares moves
number
17
level
2
parent
S:section/root
parts
S:section/17.1, S:section/17.2, S:section/17.3, S:section/17.4, S:section/17.5, S:section/17.6
anchor
sec-17
provenance
{"mode":"derived","sources":["docs/THYM.md#L1157-L1160"],"confidence":1,"state":"known"}

read it at short

S:section/17.3 Ids and the fields of each kind

<module>:<kind>/<slug>, with the slug grammar of doc/1

id
S:section/17.3
type
section
summary
<module>:<kind>/<slug>, with the slug grammar of doc/1 (dots allowed, so a step can name its program):
number
17.3
level
3
parent
S:section/17
mentions
S:section/10
anchor
sec-17-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L1191-L1213"],"confidence":1,"state":"known"}

read it at short

S:section/17.4 Checks

The envelope checks the generic reader runs, and six of thym/1's own, which enough/thym runs

id
S:section/17.4
type
section
summary
The envelope checks the generic reader runs, and six of thym/1's own, which enough/thym runs; the manifest states them as prose under checks.own, so a generic reader neither runs nor lists them, and lints a Thym volume on the envelope alone: program-compiles (a program volume's source compiles to these items), plan-acyclic, trace-complete (every node has a record, or the trace is refused with stopped_at), scale-range, digests (a package's files match its catalog), reading-labelled.
number
17.4
level
3
parent
S:section/17
mentions
T:term/run, T:term/thym, T:term/compile
anchor
sec-17-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L1214-L1221"],"confidence":1,"state":"known"}

read it at short

S:section/17.5 Renderers

program (the file compiled back; lens {kind: short, order: told}), plan

id
S:section/17.5
type
section
summary
program (the file compiled back; lens {kind: short, order: told}), plan (a flowchart of nodes along after), trace (a table of records: id, move, engine, attempts, seconds), and, by code, text-tree and compile.
number
17.5
level
3
parent
S:section/17
anchor
sec-17-5
provenance
{"mode":"derived","sources":["docs/THYM.md#L1222-L1226"],"confidence":1,"state":"known"}

read it at short

S:section/17.6 The moves: block

Any MiniCOSM's manifest may carry a moves: list

id
S:section/17.6
type
section
summary
Any MiniCOSM's manifest may carry a moves: list.
number
17.6
level
3
parent
S:section/17
mentions
S:section/7.3, T:term/thym
anchor
sec-17-6
provenance
{"mode":"derived","sources":["docs/THYM.md#L1227-L1247"],"confidence":1,"state":"known"}

read it at short

S:section/18 Projections: the dial as a program

an isotype is a holotype transcoded by a program whose contracts are the target schema's rules

id
S:section/18
type
section
summary
An isotype is a holotype transcoded: project h as isotype, under a program that gives every item a density (fabula, short, atem, or withheld) and a marking (verified, stated).
number
18
level
2
parent
S:section/root
mentions
S:section/6.3, T:term/plan
anchor
sec-18
provenance
{"mode":"derived","sources":["docs/THYM.md#L1248-L1297"],"confidence":1,"state":"known"}

read it at short

S:section/19 Agent-free

with the agent off, only deterministic plans run, and scaffolds stand in where they are honest

id
S:section/19
type
section
summary
In agent-free mode the coprocessor is the refusing one: a plan with model-backed nodes is refused at plan time with their count and the first one's line ("3 steps ask a model; agent-free is on").
number
19
level
2
parent
S:section/root
mentions
T:term/plan, T:term/run
anchor
sec-19
provenance
{"mode":"derived","sources":["docs/THYM.md#L1298-L1311"],"confidence":1,"state":"known"}

read it at short

S:section/20.3 The suite

tests/fixtures/thym/ in enough-dev, portable as a folder together with tests/fixtures/cosm/, MacroCOSM's own corpus

id
S:section/20.3
type
section
summary
tests/fixtures/thym/ in enough-dev, portable as a folder together with tests/fixtures/cosm/, MacroCOSM's own corpus, which holds the sample Holotype that open-house runs on:
number
20.3
level
3
parent
S:section/20
mentions
S:section/4.1, S:section/16.2, S:section/18, T:term/run, T:term/compile, T:term/plan
anchor
sec-20-3
provenance
{"mode":"derived","sources":["docs/THYM.md#L1336-L1359"],"confidence":1,"state":"known"}

read it at short

S:section/20.4 Where the reference wins

The reference landed on 2026-11-01 and passed checkpoint A

id
S:section/20.4
type
section
summary
The reference landed on 2026-11-01 and passed checkpoint A (a real-model run that replays) the same night.
number
20.4
level
3
parent
S:section/20
mentions
S:section/7.3, S:section/13.3, T:term/run, T:term/reading
anchor
sec-20-4
provenance
{"mode":"derived","sources":["docs/THYM.md#L1360-L1369"],"confidence":1,"state":"known"}

read it at short

S:section/22 Open questions and roadmap

what version 0 leaves for the round, and what waits for a later version

id
S:section/22
type
section
summary
the names of the three preset projection programs (Comprise's side); whether bool stays the type word (FEED has it only in the bowls sense) and whether transconceptualize, the verb, enters FEED under R6 beside the noun.
number
22
level
2
parent
S:section/root
mentions
S:section/14, S:section/15.3, S:section/7.2, S:section/13.3, T:term/reading, T:term/thym
anchor
sec-22
provenance
{"mode":"derived","sources":["docs/THYM.md#L1403-L1421"],"confidence":1,"state":"known"}

read it at short

S:section/colophon Colophon

Written 2026-11-01 for enough 0.5.0, version 0 of the language

id
S:section/colophon
type
section
summary
Written 2026-11-01 for enough 0.5.0, version 0 of the language.
level
2
parent
S:section/root
mentions
T:term/plan
anchor
colophon
provenance
{"mode":"derived","sources":["docs/THYM.md#L1422-L1426"],"confidence":1,"state":"known"}

read it at short

examples (1)

S:example/1 example 1: The Hollins Lane orchard, autumn notes

a complete thym/1 file, in The catalog

id
S:example/1
type
example
summary
a complete thym/1 file, in The catalog
in
S:section/15.2
declaration
thym/1
provenance
{"mode":"derived","sources":["docs/THYM.md#L1060-L1074"],"confidence":1,"state":"known"}
oes: thym/1
kind: package
id: thym/orchard-notes
name: The Hollins Lane orchard, autumn notes
contents:
  - {path: text.md, sha256: 54055e89856a29970eeb75baa1c24db60a13a5527a5a11b7cce650de07dc71c7, role: text}
  - {path: fabula.cosm, sha256: 0000000000000000000000000000000000000000000000000000000000000000, role: fabula}
  - {path: morph.cosm, sha256: 1111111111111111111111111111111111111111111111111111111111111111, role: morph}
made: {program: {name: publish-story, sha256: 2222222222222222222222222222222222222222222222222222222222222222},
       trace: {run: 2026-11-01-1042-7f3a, sha256: 3333333333333333333333333333333333333333333333333333333333333333},
       at: 2026-11-01T10:42:00Z, by: enough/0.5.0}
notice: "A Thym package. The text is its author's; the fabula, morph and context describe it. Readings made from it are the reader's and are labelled."
nodes: []

decisions (18)

S:decision/1 Thym is a full procedural language folded into MacroCOSM

Thym is a full procedural language folded into MacroCOSM

id
S:decision/1
type
decision
summary
The OES gains a verb; thym/1 holds programs, morphs, contexts, plans, traces and packages; every MiniCOSM may declare moves.
number
1
in
S:section/21
about
T:term/thym, T:term/plan
provenance
{"mode":"derived","sources":["docs/THYM.md#L1373-L1374"],"confidence":1,"state":"known"}
  1. Thym is a full procedural language folded into MacroCOSM. The OES gains a verb; thym/1 holds programs, morphs, contexts, plans, traces and packages; every MiniCOSM may declare moves.

S:decision/2 Its own text syntax, English-leaning, every keyword a FEED headword or a form of one

Its own text syntax, English-leaning, every keyword a FEED headword or a form of one

id
S:decision/2
type
decision
summary
Programs read aloud, and moves, not syntax, are how the language grows.
number
2
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1375-L1376"],"confidence":1,"state":"known"}
  1. Its own text syntax, English-leaning, every keyword a FEED headword or a form of one. Programs read aloud, and moves, not syntax, are how the language grows.

S:decision/3 Values are typed by density and carry provenance

Values are typed by density and carry provenance

id
S:decision/3
type
decision
summary
in made; a value without it is hand-made.
number
3
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1377"],"confidence":1,"state":"known"}
  1. Values are typed by density and carry provenance in made; a value without it is hand-made.

S:decision/4 MiniCOSMs declare moves

MiniCOSMs declare moves

id
S:decision/4
type
decision
summary
, in a moves: block or a sidecar; the compiler hard-codes none.
number
4
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1378"],"confidence":1,"state":"known"}
  1. MiniCOSMs declare moves, in a moves: block or a sidecar; the compiler hard-codes none.

S:decision/5 Deterministic unless marked asks

Deterministic unless marked asks

id
S:decision/5
type
decision
summary
The model is a coprocessor behind a contract, and replay by recorded candidates is the guarantee of reproducibility.
number
5
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1379-L1380"],"confidence":1,"state":"known"}
  1. Deterministic unless marked asks. The model is a coprocessor behind a contract, and replay by recorded candidates is the guarantee of reproducibility.

S:decision/6 Six laws:

Six laws

id
S:decision/6
type
decision
summary
coverage, grounding, monotone stance (on a fixed ladder), round trip, withhold-never-falsify, provenance.
number
6
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1381-L1382"],"confidence":1,"state":"known"}
  1. Six laws: coverage, grounding, monotone stance (on a fixed ladder), round trip, withhold-never-falsify, provenance.

S:decision/7 Plan, then interpret

Plan, then interpret

id
S:decision/7
type
decision
summary
Nothing runs before the whole program is checked and planned, and a plan is a volume a person can read and refuse.
number
7
in
S:section/21
about
T:term/plan, T:term/run
provenance
{"mode":"derived","sources":["docs/THYM.md#L1383-L1384"],"confidence":1,"state":"known"}
  1. Plan, then interpret. Nothing runs before the whole program is checked and planned, and a plan is a volume a person can read and refuse.

S:decision/8 Nothing partial

Nothing partial

id
S:decision/8
type
decision
summary
, at compile time or at run time.
number
8
in
S:section/21
about
T:term/compile, T:term/run
provenance
{"mode":"derived","sources":["docs/THYM.md#L1385"],"confidence":1,"state":"known"}
  1. Nothing partial, at compile time or at run time.

S:decision/9 Programs are documents

Programs are documents

id
S:decision/9
type
decision
summary
, with why, must and decided, enumerated like a manual; the file is the source of truth.
number
9
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1386-L1387"],"confidence":1,"state":"known"}
  1. Programs are documents, with why, must and decided, enumerated like a manual; the file is the source of truth.

S:decision/10 The null morph is the reference telling

The null morph is the reference telling

id
S:decision/10
type
decision
summary
, and a morph is a measured departure from it on ten scales; formality alone carries a direction, and analytical-depth is carried from the fabula.
number
10
in
S:section/21
about
T:term/null-morph
provenance
{"mode":"derived","sources":["docs/THYM.md#L1388-L1389"],"confidence":1,"state":"known"}
  1. The null morph is the reference telling, and a morph is a measured departure from it on ten scales; formality alone carries a direction, and analytical-depth is carried from the fabula.

S:decision/11 Readings are local, labelled and never the source

Readings are local, labelled and never the source

id
S:decision/11
type
decision
summary
Readings are local, labelled and never the source
number
11
in
S:section/21
about
T:term/reading
provenance
{"mode":"derived","sources":["docs/THYM.md#L1390"],"confidence":1,"state":"known"}
  1. Readings are local, labelled and never the source.

S:decision/12 A package is self-contained

A package is self-contained

id
S:decision/12
type
decision
summary
: a folder, a single file, or encrypted with a key that never leaves the owner.
number
12
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1391"],"confidence":1,"state":"known"}
  1. A package is self-contained: a folder, a single file, or encrypted with a key that never leaves the owner.

S:decision/13 Context is of two kinds

Context is of two kinds

id
S:decision/13
type
decision
summary
: surrounding (read-only) and occasional (an item, thrown away after use).
number
13
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1392"],"confidence":1,"state":"known"}
  1. Context is of two kinds: surrounding (read-only) and occasional (an item, thrown away after use).

S:decision/14 The outsider's guess is a paratype

The outsider's guess is a paratype

id
S:decision/14
type
decision
summary
Crypto- means encrypted everywhere; there is no outsider's graph of a person, ever.
number
14
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1393-L1394"],"confidence":1,"state":"known"}
  1. The outsider's guess is a paratype. Crypto- means encrypted everywhere; there is no outsider's graph of a person, ever.

S:decision/15 The dial is a projection program

The dial is a projection program

id
S:decision/15
type
decision
summary
, and the target schema's rules are the contract of project.
number
15
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1395"],"confidence":1,"state":"known"}
  1. The dial is a projection program, and the target schema's rules are the contract of project.

S:decision/16 Transcode, transcognize and transconceptualize

Transcode, transcognize and transconceptualize

id
S:decision/16
type
decision
summary
are the verbs: the mechanical move, the minded move under a contract, and the minded move that changes the frame; transpile is retired.
number
16
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1396-L1397"],"confidence":1,"state":"known"}
  1. Transcode, transcognize and transconceptualize are the verbs: the mechanical move, the minded move under a contract, and the minded move that changes the frame; transpile is retired.

S:decision/17 Python reference, JavaScript-portable

Python reference, JavaScript-portable

id
S:decision/17
type
decision
summary
; the conformance suite is a folder of .thym and .cosm files.
number
17
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1398"],"confidence":1,"state":"known"}
  1. Python reference, JavaScript-portable; the conformance suite is a folder of .thym and .cosm files.

S:decision/18 The version line pins the grammar

The version line pins the grammar

id
S:decision/18
type
decision
summary
: thym 0.
number
18
in
S:section/21
provenance
{"mode":"derived","sources":["docs/THYM.md#L1399"],"confidence":1,"state":"known"}
  1. The version line pins the grammar: thym 0.

T · Terms

terms (12)

T:term/a-company-comprise a company (Comprise)

a company (Comprise), called holotype in the files

id
T:term/a-company-comprise
type
term
summary
holotype
defined_in
S:section/how-to-read-this
in_the_files
holotype
example
isotype
convention
glossary
provenance
{"mode":"derived","sources":["docs/THYM.md#L50"],"confidence":1,"state":"known"}

T:term/a-person-ascribe a person (Ascribe)

a person (Ascribe), called holograph in the files

id
T:term/a-person-ascribe
type
term
summary
holograph
defined_in
S:section/how-to-read-this
in_the_files
holograph
example
isograph
convention
glossary
provenance
{"mode":"derived","sources":["docs/THYM.md#L51"],"confidence":1,"state":"known"}

T:term/thym Thym

said THIGH-m: thigh with an m on the end, after Fukuyama's thymos

id
T:term/thym
type
term
summary
Thym is said THIGH-m: thigh with an m on the end, after Fukuyama's thymos, the part of the soul that wants to be recognised.
defined_in
S:section/1.2
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L107"],"confidence":1,"state":"known"}

T:term/compile compile

a parse error (parse); a version line that is not thym 0 (version)

id
T:term/compile
type
term
summary
a parse error (parse); a version line that is not thym 0 (version); an unknown move (unknown-move); an unknown URI or used file (unknown-uri); two used names that clash (use-clash); an unbound name (unbound); a type error (type); a name bound twice (rebound); recursion (recursion); a give inside a loop (type); a block that gives, with a path that never reaches a give, refused at the block's first line (no-give); emitted items with no project (emit-without-project); a static contract that cannot hold (the contract's check, such as no-counts)
defined_in
S:section/9
convention
table
provenance
{"mode":"derived","sources":["docs/THYM.md#L680"],"confidence":1,"state":"known"}

T:term/plan plan

a model-backed node while agent-free (agent-free, section 19); a prompt the machine's model cannot hold

id
T:term/plan
type
term
summary
a model-backed node while agent-free (agent-free, section 19); a prompt the machine's model cannot hold (preflight, the 16 GB rule, section 12.5); a missing or changed input (input: its digest differs from the plan's); a plan whose program cannot be read (no-program); a move with no implementation here (move), or none under --rules (rules)
defined_in
S:section/9
convention
table
provenance
{"mode":"derived","sources":["docs/THYM.md#L681"],"confidence":1,"state":"known"}

T:term/run run

a model-backed output that still fails its contract after narrow repair and its budget…

id
T:term/run
type
term
summary
a model-backed output that still fails its contract after narrow repair and its budget of attempts (the check's name), or that never fits the contract's schema (schema); a check the runtime lacks (the check's name, "not implemented"); a failed assert; a deterministic move that raises
defined_in
S:section/9
convention
table
provenance
{"mode":"derived","sources":["docs/THYM.md#L682"],"confidence":1,"state":"known"}

T:term/null-morph null morph

Thym's reference telling of a fabula

id
T:term/null-morph
type
term
summary
The null morph is Thym's reference telling of a fabula.
defined_in
S:section/13.1
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L900"],"confidence":1,"state":"known"}

T:term/holomorph holomorph

measure t against null of f, for a person's text t with fabula f

id
T:term/holomorph
type
term
summary
A holomorph is measure t against null of f, for a person's text t with fabula f: each scale's value as a departure from the null, with its evidence.
defined_in
S:section/13.4
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L959"],"confidence":1,"state":"known"}

T:term/isomorph isomorph

a holomorph the owner chose to share

id
T:term/isomorph
type
term
summary
An isomorph is a holomorph the owner chose to share: the same shape, marked shared, released from the holograph by a program, as an isograph is.
defined_in
S:section/13.4
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L969"],"confidence":1,"state":"known"}

T:term/reading reading

read f with m in c: a telling of a fabula in the reader's morph

id
T:term/reading
type
term
summary
A reading is read f with m in c: a telling of a fabula in the reader's morph (their holomorph, or an isomorph they chose), shaped by the reader's occasional context and made on the reader's machine.
defined_in
S:section/14
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L1009"],"confidence":1,"state":"known"}

T:term/surrounding-context surrounding context

the volume a text sits in

id
T:term/surrounding-context
type
term
summary
The surrounding context is the volume a text sits in: its Canon volume's canon.cosm, the project's catalog, or a site's served catalog when a website serves packages.
defined_in
S:section/16.1
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L1114"],"confidence":1,"state":"known"}

T:term/occasional-context occasional context

just-in-time: why this text, for whom, in what medium, at what moment, under what constraints

id
T:term/occasional-context
type
term
summary
The occasional context is just-in-time: why this text, for whom, in what medium, at what moment, under what constraints.
defined_in
S:section/16.2
convention
sentence
provenance
{"mode":"derived","sources":["docs/THYM.md#L1121"],"confidence":1,"state":"known"}