SCP examples

Each example lives in a named directory with its sources, runners and data. Start with the build/run guide; logical workspace aliases remain explicit in tricu.workspace; preparation selects their compiled artifact exports. Set up SCP_BOOTSTRAP using the SCP guide. All 37 library and 15 demo .tri modules use native headers.

Native projects

• data-lines/: unchanged-line filtering, input fixture, project declaration and build script. Prepare data-lines.scp-project, then run its pinned prepared record.
• prefix-lines/: tagged-log payload extraction, configurable exact prefix bytes, project declaration, workspace map and fixture. Prepare prefix-lines.scp-project.
• configurations/: the shared example application barrel, two independently selected line-processing configurations and a compact counter. Its workspace map deliberately references the sibling data-lines/ sources through explicit workspace-map entries.
• fizzbuzz/: mini-course, computation, project and exact tree data. Also contains the lambda baseline and reference-IR probes formerly at this index's level.

Source-running examples and experiments

• lessons/: four separate equality/, patterns/, size/ and source/ lessons, each keeping its .scp sources with its .tri runner.
• collect-prefixes/: stripPrefix, mapMaybe, find and an application-specific fallback selector. Compiles source on launch.
• text-summary/: authored file-read entry/receiver, bootstrap CLI runner and lambda comparison. Effects are handled outside SCP.
• source-linked-summary/: explicit source pins and named file-read effects. Also builds source on launch.
• echo/: minimal named-effect request and success/failure resumptions, with retained environment.
• effect-files/: helper-based file conversion, caller recovery, and ordered runtime batch writes. See the focused runner for reference/lexical checks and optional source-free CAS execution.
• registry/: route DSL, generic SCP entry/receiver specimens, retained-state example and lambda comparison.
• layout/: authored located-token layout transitions and independent parser comparisons.

Registry and summary lambda entrypoints import shared implementations from lib/consumer/comparison/. The shared file IO/Result adapter is consumers.file. Demo shell scripts select and invoke shared tools; they do not own compiler or deployment semantics.

For input/state/result contracts, read the definitions in lib/consumer/ and the language contract. Experiment measurements belong with their experiment, not in this example index.

In historical checkouts, nix build .#scpIntegrationTests --no-link runs the focused Haskell-only artifact and project checks. See the archived usage guide for checkout requirements.