Clause documentation
Short reference notes for the current implementation. Each file states behavior
and limits that exist today; plans and step history live in .agents/.
| Topic | Document |
|---|---|
Preprocessing (epp behavior, includes, macros, features) | preprocessor.md |
| Parsing, AST ownership, syntax limits | parser.md |
| TOML projects and target selection | projects.md |
| Compiler CLI, artifacts, LLVM SDK, example | compile.md |
| Executable entry, arguments, exit status, output streams, linking | executables.md |
| Semantic analysis, types, inference, bindings | semantic.md |
| Type specialization policy | specialization.md |
| Generated-code ABI: terms, symbols, registration, failures, roots | abi.md |
| Patterns, clauses and body matches | patterns.md |
| Guards and the guard BIF catalog | guards.md |
| Term representations (atoms, numbers, containers, maps, bits, records) and printing | terms.md |
| Native, qualified and anonymous records (OTP 29) | native-records.md |
Function values: fun F/A, fun M:F/A, calls of funs | funs.md |
| Production builtins: catalog, bridge calls, builtin funs, registration | builtins.md |
Library modules (lists, maps subsets) compiled with programs | library.md |
Console output: io:format/1,2, io:put_chars/1, ~p layout | io.md |
| Runtime lifecycle, memory, standard output, code server, scheduler bookkeeping | runtime.md |
Processes: scheduler workers, time slices, spawn/1,3, is_process_alive/1, links, exit signals, monitors, registered names | processes.md |
| Ports: identity, port table, drivers, data modes, the I/O thread, standard I/O, files and sockets (plan step 57A decision) | ports.md |
| Process heap contract: word layout, areas, admission, roots, collection | runtime-heap.md |
| Execution model decision: frames, calls, tail calls, yield, exceptions | execution-model.md |
Deferred-feature (notimpl) reporting | features.md |
| OTP source reference pin and refresh procedure | otp-reference.md |
| Known behavior differences from Erlang/OTP | differences.md |
| Validation baseline, test modes, platform gaps, history | validation.md |
Older per-step validation records and evidence JSON were condensed into
validation history; full originals remain in Git history
(last present at commit 2777c98).
Clause