Clause
← All documentation

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/.

TopicDocument
Building Clause: requirements, presets, configure options, tests, quality gate, benchmarksbuilding.md
Preprocessing (epp behavior, includes, macros, features)preprocessor.md
Parsing, AST ownership, syntax limitsparser.md
TOML projects, target selection, build directory and caches, ignored sourcesprojects.md
Compiler CLI, artifacts, source and abstract format printing, compile cache, LLVM SDK, PCRE2 and zlib, examplecompile.md
ASN.1 specifications: .asn inputs and [[targets.asn1]], asn1ct options, coverage, generated modulesasn1.md
Executable entry, arguments, exit status, output streams, linkingexecutables.md
Debug information (-g), debuggers and the Erlang call stackdebugging.md
Opt-in profiling (--profile FILE): entries and self time per function and processprofiling.md
Parse transforms: Clause's transform host, host OTP loader, abstract format interchange, transform lookuptransforms.md
Semantic analysis, types, inference, bindingssemantic.md
Type specialization at -O2: proofs and representation variantsspecialization.md
Generated-code ABI: terms, symbols, registration, failures, rootsabi.md
Patterns, clauses, body matches and comprehensionspatterns.md
Guards and the guard BIF catalogguards.md
Term representations (atoms, numbers, containers, maps, bits, records) and printingterms.md
Native, qualified and anonymous records (OTP 29)native-records.md
Function values: fun F/A, fun M:F/A, closures, named funs, dynamic callsfuns.md
Production builtins: catalog, bridge calls, module builtins, portions, registrationbuiltins.md
Runtime lifecycle, memory, code server, persistent terms, threads, standard output, startupruntime.md
Processes: scheduler workers, messages and receive, links, monitors, registered names, timers, introspection, aliases, exit signalsprocesses.md
Ports: identity, port table, drivers, data modes, the I/O thread, busy ports, subprocesses, standard I/O, files and socketsports.md
Process heap contract: word layout, areas, admission, roots, collectionruntime-heap.md
Execution model: frames, calls, tail calls, yield, exceptionsexecution-model.md
Deferred-feature (notimpl) reportingfeatures.md
OTP source reference pin and refresh procedureotp-reference.md
Known behavior differences from Erlang/OTPdifferences.md
Validation baseline, test modes, platform gaps, benchmarks, historyvalidation.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).

Libraries

Clause's own OTP applications under library/, in libraries/.

TopicDocument
Library modules under library/{erts,kernel,stdlib} compiled with programs, how programs get them, provided and missing moduleslibrary.md
Console output: io:format, io:put_chars, devices, format controls, ~p layoutio.md
Crypto: OpenSSL versions and sources, building it, linking, FIPS mode and pinned FIPS programscrypto.md
public_key: ASN.1 specifications and their sources, generated modules, public_key.hrlpublic_key.md
ssl: the TLS design over libssl, the application, cipher suites and the other utility functionsssl.md
syntax_tools: erl_syntax's trees, prettypr's layouts, erl_prettypr's text, erl_syntax_lib's analyses, comment scanning, epp_dodger and merl for third-party parse transforms and toolssyntax_tools.md