"To name is to invoke. To invoke is to bind. To bind is to compute."
CCT is a compiled, ritual-themed programming language with deterministic sigil generation.
System sigil generated from a multi-module CCT program (Ars Magna Omniversal)
Each program generates a unique, deterministic visual sigil representing its structure, calls, and module dependencies
Open the SVG in a browser and hover the circles and lines: sigilo components now reveal ritual names, statement kinds, call edges, and source context through native SVG tooltips.
Current status: FASE 19D.4 + FASE 14T completed (FASE 19 closure preserved; the interstitial sigilo-SVG instrumentation phase is now closed and the baseline is ready for FASE 20 work).
Implemented phases: 0 → 19D.4, plus the interstitial FASE 14T closure (including full closures for FASE 16, 17, 18, and 19).
Phase-reference convention: phase labels found in file/module headers, local markers, or help text may refer to the phase in which that specific component was introduced or stabilized. They are historical markers and do not necessarily represent the current global project status shown above.
Highlights of the current baseline:
- Real end-to-end compiler pipeline (
.cct -> parse/semantic -> codegen -> .cgen.c -> host C compiler -> binary) - Deterministic sigil generation (
.svg+.sigil) integrated into normal compile and--sigilo-only - Sigils are no longer static pictures only: local and system SVG components can be hovered directly in the browser
- Multi-module support with
ADVOCARE, cycle detection, direct-import visibility rules, and internal visibility viaARCANUM - Modular sigils with two official emission modes (
essencial/completo, aliasesessential/complete) - Advanced typing subset consolidated:
GENUS,PACTUM, and basic constraintsGENUS(T PACTUM C) - Bibliotheca Canonica foundation: reserved namespace
cct/...with canonical stdlib resolution - Canonical text-core module:
cct/verbum(len,concat,compare,substring,trim,contains,find) - Canonical formatting/conversion module:
cct/fmt(stringify_*,fmt_parse_*,format_pair) - Canonical static-collection module:
cct/series(series_len,series_fill,series_copy,series_reverse,series_contains) - Canonical baseline algorithms module:
cct/alg(alg_linear_search,alg_compare_arrays,alg_binary_search,alg_sort_insertion) - Canonical memory utility module:
cct/mem(alloc,free,realloc,copy,set,zero,mem_compare) - Canonical dynamic-vector module:
cct/fluxus(fluxus_init,fluxus_free,fluxus_push,fluxus_pop,fluxus_len,fluxus_get,fluxus_clear,fluxus_reserve,fluxus_capacity) - Canonical IO module:
cct/io(print,println,print_int,read_line) - Canonical filesystem module:
cct/fs(read_all,write_all,append_all,exists,size) - Canonical path module:
cct/path(path_join,path_basename,path_dirname,path_ext) - Canonical math module:
cct/math(abs,min,max,clamp) - Canonical random module:
cct/random(seed,random_int,random_real) - Canonical parse module:
cct/parse(parse_int,parse_real,parse_bool) - Canonical compare module:
cct/cmp(cmp_int,cmp_real,cmp_bool,cmp_verbum) - Canonical Option/Result modules:
cct/optionandcct/result(Some/None,Ok/Err,unwrap/unwrap_or/expect) - Moderate canonical algorithm extras:
cct/alg(alg_binary_search,alg_sort_insertion) - Canonical public showcases for stdlib usage (
string,collection,io/fs,parse/math/random,multi-module) - Sigilo metadata now exposes stdlib usage counters and module list in showcase/public flows
- Final stdlib stability matrix and release notes are published for the 11H freeze
- Relocatable distribution bundle (
make dist) with wrapper-based stdlib resolution - Structured diagnostics with source snippets and actionable suggestions (FASE 12A)
- Numeric cast expression baseline (
cast GENUS(T)(value)) in FASE 12B - Functional error ergonomics via Option/Result in FASE 12C
- Hash-backed canonical collections via
cct/mapandcct/setin FASE 12D.1 - Functional collection combinators via
cct/collection_opsin FASE 12D.2 (fluxus_map,fluxus_filter,fluxus_fold,fluxus_find,fluxus_any,fluxus_all,series_map,series_filter,series_reduce,series_find,series_any,series_all) - Baseline collection iterator syntax from FASE 12D.3, expanded in FASE 19D.1 to
map/set(ITERUM key, value IN mapandITERUM item IN set) - Standalone formatter command in FASE 12E.1 (
cct fmt,cct fmt --check,cct fmt --diff) - Canonical linter command in FASE 12E.2 (
cct lint,cct lint --strict,cct lint --fix) - Canonical project workflow in FASE 12F (
cct build,cct run,cct test,cct bench,cct clean) with basic incremental cache - Canonical documentation generator in FASE 12G (
cct doc) for module/symbol API pages (markdown/html) - Common math operators in FASE 13M:
**(power),//(floor integer division),%%(euclidean modulo) - FASE 14A hardening: canonical diagnostic taxonomy + canonical exit-code contract + sigilo explain mode + deterministic sigilo diagnostic ordering
- FASE 14T sigilo instrumentation: native SVG
<title>hover on semantic elements, deterministic additivedata-*on local nodes/call edges, lightweight root semantics, and explicit enable/disable toggles - FASE 15 closure set:
FRANGE/RECEDEloop-control stability, logicalET/VELwith precedence/parentheses, stable bitwise/shift operators, andCONSTANSsemantic+codegen enforcement (locals, parameters, and const-pointer binding) - FASE 16 closure set: freestanding profile (
--profile freestanding), bridge-safecct/kernel, ASM emission path (--emit-asm), and bridge packaging gates - FASE 17/18 canonical-library expansion: text/parsing/IO/FS/path utilities, algorithms/collections growth, plus
process,hash, andbitmodules - FASE 19 language-surface expansion:
ELIGE/CASUS/ALIOQUIN(with legacyCUMcompatibility),FORMA, payloadORDO, andITERUMovermap/setwith insertion-order semantics
--profile freestanding,--emit-asm, and entrypoint contract stabilizationcct/kernelmodule family for freestanding-only targets- host behavior preserved while bridge/ABI/linkability gates were added
- 17: tooling-oriented modules (
char,args,verbum_scan,verbum_builder,code_writer,env,time,bytes) - 18: broad stdlib growth (
verbum,fmt,parse,fs,io,path,fluxus,set,map,alg,series,random) - 18: new modules
process,hash, andbit
ELIGEwithCASUS/ALIOQUINfor integer,VERBUM, andORDO(CUMremains accepted as a legacy alias)FORMAinterpolation with format specifiers- payload-capable
ORDOandELIGEdestructuring ITERUMexpanded tomapandset
Requirements:
- C compiler (
gccorclang) make
Build:
makeRun full test suite:
make testBasic usage:
./cct [options] <file.cct>Main commands:
./cct <file.cct>: compile (and generate sigil artifacts)./cct fmt <file.cct> [more.cct ...]: format file(s) in place./cct fmt --check <file.cct> [more.cct ...]: check formatting only (exit2on mismatch)./cct fmt --diff <file.cct> [more.cct ...]: show formatting diff without writing./cct lint <file.cct>: run canonical lint rule set./cct lint --strict <file.cct>: treat lint warnings as CI failure (exit2)./cct lint --fix <file.cct>: apply safe automatic fixes./cct build [--project DIR]: build project using canonical structure./cct run [--project DIR] [-- --args]: build and run project binary./cct test [pattern] [--project DIR]: run*.test.cctproject tests./cct bench [pattern] [--project DIR]: run*.bench.cctproject benchmarks./cct build|test|bench ... --sigilo-check [--sigilo-strict] [--sigilo-baseline PATH]: opt-in sigilo baseline gate in project workflow./cct build|test|bench ... --sigilo-ci-profile advisory|gated|release: CI profile contract for progressive sigilo gates./cct build|test|bench ... --sigilo-override-behavioral-risk: explicit/audited override for behavioral-risk CI blocks./cct build|test|bench ... --sigilo-report summary|detailed: operational report verbosity for sigilo-check (defaultsummary)./cct build|test|bench ... --sigilo-explain: actionable diagnosis line with probable cause and recommended next step./cct clean [--project DIR] [--all]: clean.cctartifacts (anddistwith--all)./cct doc [--project DIR] [--format markdown|html|both]: generate API docs underdocs/api./cct --tokens <file.cct>: token stream./cct --ast <file.cct>: single-module AST./cct --ast-composite <entry.cct>: composed AST for module closure./cct --check <file.cct>: syntax + semantic checks only./cct --sigilo-only <file.cct>: generate sigil artifacts without executable./cct sigilo inspect <artifact.sigil>: inspect sigilo metadata./cct sigilo validate <artifact.sigil>: run formal sigilo validation (tolerant/strict profiles)./cct sigilo diff <left.sigil> <right.sigil>: compare two sigilo artifacts./cct sigilo check <left.sigil> <right.sigil> --strict --summary: gate drift by severity./cct sigilo inspect|diff|check ... --consumer-profile legacy-tolerant|current-default|strict-contract: explicit consumer compatibility profile./cct sigilo validate ... --consumer-profile legacy-tolerant|current-default|strict-contract: explicit strict/tolerant validator profile./cct sigilo baseline check <artifact.sigil> [--baseline PATH]: compare artifact vs persisted baseline./cct sigilo baseline update <artifact.sigil> [--baseline PATH] [--force]: explicit baseline update./cct --no-color ...: disable ANSI colors in diagnostics
Sigil options:
--sigilo-style network|seal|scriptum--sigilo-mode essencial|completo(aliases:essential|complete)--sigilo-out <basepath>--sigilo-no-meta--sigilo-no-svg--sigilo-no-titles--sigilo-no-data
- Lexer, parser, AST, semantic analysis, and executable code generation
- Structured flow control:
SI/ALITER,ELIGE/CASUS/ALIOQUIN,DUM,DONEC,REPETE,ITERUM - Calls and returns:
CONIURA,REDDE,ANUR - Scalars, booleans, strings, and real-number subset (
UMBRA,FLAMMA) - String interpolation expression:
FORMA - Basic arrays (
SERIES) and payload-capableORDOsubset (withELIGEdestructuring) - Collection iteration over
FLUXUS,SERIES,map, andset(with arity validation)
SPECULUMpointers (supported subset)- Address-of, dereference read/write, and pass-by-reference patterns
- Runtime-backed allocation/discard primitives:
OBSECRO pete(...)OBSECRO libera(...)DIMITTEMENSURA(...)
- Executable
SIGILLUMsubset with nested composition and controlled by-reference mutation
IACE,TEMPTA ... CAPE,SEMPER- Local catch and multi-call propagation subset
- Documented runtime-failure bridging subset and clear direct-abort behavior outside integrated paths
ADVOCAREmodule loading with deterministic closure- Direct-import resolution (no implicit transitive symbol visibility)
- Visibility boundary with
ARCANUMfor internal top-level declarations - Two-level sigil architecture:
- local sigil per module
- composed system sigil (
.system.svg/.system.sigil)
- System sigil rendered as sigil-of-sigils (inline vector composition of module sigils)
GENUS(...)generic declarations and explicit instantiation- Pragmatic executable monomorphization (deterministic naming and dedup)
PACTUMcontract declarations and explicitSIGILLUM ... PACTUM ...conformance- Basic constrained generics:
GENUS(T PACTUM C)in genericRITUALE - Final 10E consolidation: harmonized boundary diagnostics and finalized metadata contract
Supported in the final FASE 10 subset:
- Explicit generic instantiation (
GENUS(...)) for executable materialization - Explicit contract conformance (
PACTUM) for namedSIGILLUM - Single-constraint form per type parameter in generic rituals:
GENUS(T PACTUM C)
Out of scope in this subset:
- Type argument inference
- Multiple contracts per type parameter
- Advanced constraint solver behavior
- Dynamic dispatch runtime for contracts
Sigilo is now both a deterministic visual artifact and a native hover-readable map of the program.
For a valid input program, CCT emits:
<base>.svg<base>.sigil
For modular system sigils:
<entry>.system.svg<entry>.system.sigil
In --sigilo-mode completo, imported module sigils are also emitted as deterministic module-indexed artifacts.
FASE 14T keeps sigilo output as pure SVG, exportable, and diff-friendly while adding native semantic hover:
- local and system SVGs emit
<title>on semantic elements already present in the drawing - local semantic nodes and call edges emit deterministic additive
data-* - SVG roots can expose lightweight semantics via
role,aria-label, anddesc - no JavaScript is required
In practice:
- hover a ritual node to see the ritual name, structural metrics, and normalized source excerpt
- hover a structural node to see the statement kind (
SI,DUM,REDDE,EVOCA, etc.) - hover an edge to see the relationship it represents (
primary,call,branch,loop,bind,term) - open a
.system.svgand hover module circles and cross-module lines the same way
The instrumentation is selectable at generation time:
- default: titles + additive metadata enabled
--sigilo-no-titles: suppress<title>and hover wrappers, preserving geometry and additivedata-*--sigilo-no-data: suppress additivedata-*and root<desc>, preserving<title>--sigilo-no-titles --sigilo-no-data: restore the pre-14T plain SVG contract
Typical tooltip payloads include the ritual name, statement kind, depth/call metrics, and normalized source excerpt, for example RITUALE main, stmt: RITUALE, and source: ....
Canonical project layout:
project/
├── src/main.cct
├── lib/
├── tests/*.test.cct
├── bench/*.bench.cct
└── cct.toml (optional)
Typical local flow:
./cct test --project .
./cct build --project .
./cct run --project .
./cct bench --project . --iterations 5
./cct clean --project . --all
./cct doc --project . --format bothSigilo-focused local workflows (FASE 13B.1):
- minimal daily loop and strict pre-merge loop are consolidated in
docs/sigilo_operations_14b2.md - strict baseline gate uses:
./cct sigilo baseline check <artifact.sigil> --strict --summary- exit code
2for blocking drift (review-requiredorbehavioral-risk)
Sigilo-focused CI profiles (FASE 13B.3):
- profiles:
advisory: informative; blocks onlybehavioral-riskunless explicit overridegated: blocksreview-requiredandbehavioral-riskrelease: strict profile; requires baseline and blocksreview-requiredandbehavioral-risk
- commands:
./cct build --project . --sigilo-check --sigilo-ci-profile advisory./cct test --project . --sigilo-check --sigilo-ci-profile gated./cct build --project . --sigilo-check --sigilo-ci-profile release./cct build --project . --sigilo-check --sigilo-ci-profile advisory --sigilo-override-behavioral-risk
- operational contract reference:
docs/sigilo_operations_14b2.md
Sigilo operational observability (FASE 13B.4):
- report signature:
format=cct.sigilo.report.v1 - default output is summary-oriented and script-safe
- detailed output (
--sigilo-report detailed) adds per-itemdomain,before, andafter - explain output (
--sigilo-explain) adds probable cause + recommended action + troubleshooting doc reference - troubleshooting playbook:
docs/sigilo_troubleshooting_13b4.md
Sigilo consumer compatibility (FASE 13C.3):
- profiles:
legacy-tolerant: maximum compatibility for legacy readerscurrent-default: canonical default profile in FASE 13 toolingstrict-contract: blocking contract enforcement (--strictalias)
- migration and fallback behavior is covered in current operational guidance and validator profile docs
Sigilo strict/tolerant validation (FASE 13C.4):
- canonical validator command:
./cct sigilo validate <artifact.sigil> [--strict] [--consumer-profile ...] - tolerant profiles keep compatibility-first behavior with warning classification
- strict-contract profile blocks contractual violations for release gates
FASE 13 release package (FASE 13D.4):
docs/release/FASE_13_RELEASE_NOTES.md
FASE 13M addendum package (FASE 13M.B2):
- details were consolidated into historical internal release records
Stable additions:
**: exponentiation (right-associative)//: integer floor division (integer operands only)%%: euclidean modulo (integer operands only)%: preserved with legacy behavior
Executable example:
./cct examples/math_common_ops_13m.cct
./examples/math_common_ops_13mExpected output excerpt:
pow 2**5 = 32idiv -7//3 = -3emod -7%%3 = 2
The standard library is now formally introduced as Bibliotheca Canonica.
Current delivery in FASE 11A:
- reserved import namespace
cct/... - canonical physical stdlib root (
lib/cct/) - deterministic resolver path for canonical modules
Current delivery in FASE 11B.1:
cct/verbumpublic text primitives- strict substring bounds behavior
- predictable text operations for later
cct/fmt, IO, and parse modules
Current delivery in FASE 11B.2:
cct/fmtformatting and conversion surface- canonical stringify for integer/real/float/bool
- canonical parse façade (
fmt_parse_int,fmt_parse_real,fmt_parse_bool) - simple formatting composition (
format_pair)
Current delivery in FASE 11C:
cct/seriesstatic-collection helpers (generic mutation helpers + integer-lookup helper)cct/algbaseline algorithms for integer arrays- practical interop with
cct/fmtin collection workflows
Current delivery in FASE 11D.1:
cct/memmemory utility primitives for allocation, release, resize, and raw buffer operations- explicit ownership/discard contract for stdlib dynamic-storage evolution
- dedicated ownership reference:
docs/ownership_contract.md
Current delivery in FASE 11D.2:
- standalone FLUXUS storage runtime core (
cct_rt_fluxus_init/free/reserve/grow/push/pop/get/clear) - deterministic growth/capacity semantics validated through dedicated runtime tests
Current delivery in FASE 11D.3:
- canonical stdlib module
cct/fluxus - ergonomic dynamic-vector API backed by runtime storage core
- dedicated 11D.3 integration tests and sigilo metadata counters for FLUXUS operations
- usage guide:
docs/fluxus_usage.md
Current delivery in FASE 11E.1:
- canonical stdlib modules
cct/ioandcct/fs - runtime-backed IO primitives (
print,println,print_int,read_line) - runtime-backed filesystem primitives (
read_all,write_all,append_all,exists,size) - dedicated 11E.1 integration tests and sigilo compatibility coverage
Current delivery in FASE 11E.2:
- canonical stdlib module
cct/path - stable path API for composition and decomposition (
path_join,path_basename,path_dirname,path_ext) - verified integration with
cct/fsworkflows - sigilo metadata support for path usage counters
Current delivery in FASE 11F.1:
- canonical stdlib modules
cct/mathandcct/random - deterministic numeric helpers (
abs,min,max,clamp) - reproducible pseudo-random baseline (
seed,random_int,random_real) - sigilo metadata support for math/random usage counters
Current delivery in FASE 11F.2:
- canonical stdlib modules
cct/parseandcct/cmp - strict textual conversions (
parse_int,parse_real,parse_bool) - canonical comparator contract (
cmp_int,cmp_real,cmp_bool,cmp_verbum) - moderate
cct/algexpansion (alg_binary_search,alg_sort_insertion) - sigilo metadata support for parse/cmp/alg usage counters
Current delivery in FASE 11G:
- canonical showcase suite under
examples/andtests/integration/ - modular showcase exercising stdlib + user modules with
--ast-composite - sigilo metadata enrichment for stdlib usage counters and module inventory
- public-facing usage narrative aligned across README/spec/docs
Current delivery in FASE 11H:
- final stdlib subset manifest freeze (
docs/stdlib_subset_11h.md) - final stability matrix (stable/experimental/runtime-internal) (
docs/stdlib_stability_matrix_11h.md) - packaging/install closure (
make dist,make install,make uninstall) - public technical release notes (
docs/release/FASE_11_RELEASE_NOTES.md)
Current delivery in FASE 12C + 12D.1:
- canonical stdlib modules
cct/optionandcct/result - Option baseline (
Some,None,option_is_some,option_unwrap,option_unwrap_or,option_expect,option_free) - Result baseline (
Ok,Err,result_is_ok,result_unwrap,result_unwrap_or,result_unwrap_err,result_expect,result_free) - integration with FASE 12B numeric cast flow (
cast GENUS(T)(value)) - canonical HashMap baseline (
map_init,map_insert,map_get,map_remove,map_contains,map_len,map_is_empty,map_capacity,map_clear,map_reserve,map_free) - canonical Set baseline (
set_init,set_insert,set_remove,set_contains,set_len,set_is_empty,set_clear,set_free) - sigilo metadata counters for Option/Result and Map/Set usage
Current delivery in FASE 12D.2:
- canonical stdlib module
cct/collection_ops - functional combinators for FLUXUS and SERIES (
map/filter/fold/find/any/all) - callback bridge through rituale-pointer arguments in collection operations
- Option integration preserved via
fluxus_find/series_find - sigilo metadata counter for collection-ops usage (
collection_ops_count)
Current delivery in FASE 12D.3:
- baseline iterator statement
ITERUM item IN collection COM ... FIN ITERUM - semantic/type checks for iterator collections (FLUXUS and SERIES subset)
- codegen lowering to deterministic C loops
- sigilo metadata counter for iterator usage (
iterum_count)
Current delivery in FASE 12E.1:
- standalone formatter command integrated in CLI (
cct fmt) - check/diff formatter modes for CI/editor integration
- deterministic indentation and spacing normalization for core CCT syntax
- formatter coverage tests in
tests/formatter/plustests/run_tests.sh
Current delivery in FASE 12E.2:
- standalone linter command integrated in CLI (
cct lint) - canonical rule IDs:
unused-variable,unused-parameter,unused-import,dead-code-after-return,dead-code-after-throw,shadowing-local - strict lint mode (
--strict) and safe auto-fix mode (--fix) - dedicated lint documentation (
docs/linter.md) and integration tests
Current delivery in FASE 16:
- freestanding bridge profile and kernel-facing stdlib surface (
cct/kernel) - profile-aware behavior separation for host vs freestanding flows
Current delivery in FASE 17:
- bootstrap/tooling-oriented stdlib modules (
char,args,verbum_scan,verbum_builder,code_writer,env,time,bytes)
Current delivery in FASE 18:
- major canonical-library expansion across text/format/parse, io/fs/path, collections/algorithms
- new modules:
cct/process,cct/hash,cct/bit
Current delivery in FASE 19:
- language-facing integration with stdlib usage via
ELIGE,FORMA, payloadORDO, andITERUMovermap/set - reference module
lib/cct/ordo_samples.cctdocumenting idiomaticResultado/Opcaopayload patterns
Example import:
ADVOCARE "cct/stub_test.cct"
Reference: docs/bibliotheca_canonica.md.
Run canonical showcase programs:
./cct examples/showcase_stdlib_string_11g.cct && ./examples/showcase_stdlib_string_11g
./cct examples/showcase_stdlib_collection_11g.cct && ./examples/showcase_stdlib_collection_11g
./cct examples/showcase_stdlib_io_fs_11g.cct && ./examples/showcase_stdlib_io_fs_11g
./cct examples/showcase_stdlib_parse_math_random_11g.cct && ./examples/showcase_stdlib_parse_math_random_11g
./cct examples/showcase_stdlib_modular_11g_main.cct && ./examples/showcase_stdlib_modular_11g_mainInspect modular composition and sigilo:
./cct --ast-composite examples/showcase_stdlib_modular_11g_main.cct
./cct --sigilo-only --sigilo-mode essencial examples/showcase_stdlib_modular_11g_main.cct
./cct --sigilo-only --sigilo-mode completo examples/showcase_stdlib_modular_11g_main.cctBuild a relocatable distribution bundle:
make dist
./dist/cct/bin/cct --version
./dist/cct/bin/cct --check tests/integration/stdlib_resolution_basic_11a.cctInstall under default prefix (/usr/local):
make installInstall under custom prefix:
make install PREFIX="$HOME/.local"References:
docs/install.mddocs/stdlib_subset_11h.mddocs/stdlib_stability_matrix_11h.mddocs/release/FASE_11_RELEASE_NOTES.md
Tokenize:
./cct --tokens examples/hello.cctSemantic check:
./cct --check examples/hello.cctCompile and run:
./cct examples/hello.cct
./examples/helloSigil-only (system + local in essential mode):
./cct --sigilo-only --sigilo-mode essencial tests/integration/sigilo_final_modular_entry.cctsrc/: compiler implementationlexer/,parser/,semantic/,codegen/,sigilo/,module/,runtime/,cli/,common/
tests/: integration and phase regression suiteexamples/: language examplesdocs/: specification, architecture, and roadmapFASE_*_CCT.md: phase planning/execution documents
The current project baseline is FASE 19D.4 + FASE 14T completed. Historical release packages remain available for traceability and migration references.
Current-phase release documentation:
docs/release/FASE_14T_RELEASE_NOTES.md— FASE 14T sigilo SVG instrumentation summary (<title>,data-*, root semantics, toggles)docs/release/FASE_19_RELEASE_NOTES.md— FASE 19 completion summary (ELIGE,FORMA, payloadORDO,ITERUM map/set)
Historical package documentation:
docs/release/FASE_18_RELEASE_NOTES.md— FASE 18 canonical-library expansion summarydocs/release/FASE_17_RELEASE_NOTES.md— FASE 17 canonical-library expansion summarydocs/release/FASE_16_RELEASE_NOTES.md— FASE 16 freestanding/bridge summarydocs/release/FASE_11_RELEASE_NOTES.md— Early stdlib/platform release notesdocs/release/FASE_12_RELEASE_NOTES.md— FASE 12 delivery notesdocs/release/FASE_13_RELEASE_NOTES.md— Highlights and operational guidancedocs/release/FASE_14_RELEASE_NOTES.md— Hardening-stream release notesdocs/release/FASE_15_RELEASE_NOTES.md— FASE 15 semantic/operator closure notes- detailed matrices/snapshots from older phases were archived from the public
docs/releasesurface
Quick reference:
- FASE 0–19 public contracts remain stable
- FASE 19 closure set remains complete (
ELIGE,FORMA, payloadORDO,ITERUM map/set) - FASE 14T is closed with SVG hover/metadata instrumentation that can be disabled explicitly
- Next planned phase is FASE 20
- Zero silent-breaking-change policy remains active
See docs/roadmap.md and docs/spec.md for current-phase status and language-surface details.
CCT documentation is organized by audience and purpose. Choose your reading path:
- This README (you're reading it!)
- Installation Guide - Setup and verification
- Spec - Sections 1-3, 12 - Basic syntax and examples
- Project Conventions - Code organization
Estimated time: 1 hour
- Language Specification - Complete language reference
- Bibliotheca Canonica - Standard library guide
- FLUXUS Usage - Dynamic vectors in depth
- Build System - Project workflow
- Explore
examples/showcase_stdlib_*.cctfor real-world patterns
Estimated time: 4-6 hours
- Spec - Sections 1, 4-11 - Language reference
- Bibliotheca Canonica - Sections 12+ - Stdlib API
- Linter Rules - Lint rule reference
- Doc Generator - Doc comment syntax
- Architecture - Compiler internals
- Roadmap - Phase history and future plans
- Release Documentation:
- FASE 19 Release Notes - FASE 19 language-surface closure summary
- FASE 18 Release Notes - Canonical-library expansion closure summary
- FASE 17 Release Notes - Canonical-library expansion highlights
- FASE 16 Release Notes - Freestanding/bridge trajectory summary
- FASE 15 Release Notes - Semantic/operator closure summary
- FASE 14 Release Notes - Hardening-stream highlights
- FASE 13 Release Notes - Highlights and migration guide
- FASE 12 Release Notes - FASE 12 delivery summary
- FASE 11 Release Notes - Early stdlib/platform notes
Estimated time: 3-4 hours
- spec.md: Authoritative language reference (what is valid CCT)
- architecture.md: How the compiler works internally
- bibliotheca_canonica.md: Standard library concepts and APIs
- roadmap.md: Where we came from, where we're going
- release/: phase release notes and public-facing closure summaries
Primary docs:
docs/spec.mddocs/architecture.mddocs/roadmap.mddocs/bibliotheca_canonica.mddocs/release/FASE_19_RELEASE_NOTES.md— current phase release notesdocs/release/— phase release-note index (11..19 where published)
Tooling and guides:
docs/install.mddocs/build_system.mddocs/project_conventions.mddocs/fluxus_usage.mddocs/linter.mddocs/doc_generator.mddocs/sigilo_operations_14b2.md
Project and phase dossiers:
PROJETO_CCT.mdPROJETO_CCT_V2.mdmd_out/FASE_*_CCT.md(phase execution plans and records, including the full FASE 19 track)
MIT License - Copyright (c) 2026 Erick Andrade Busato
See LICENSE file for details.