LOCAL-TRUE · not a compiler

Compact language · editable atelier · explain panel

Compact Atelier

World-class educational studio for Midnight’s Compact language: load curated skeletons, edit live, click constructs for an explain panel, watch ledger vs witness rails, then run a lint theater — without claiming a Compact compiler, proof server, Lace, or on-chain deploy. By @kshot9000 · nightdream.xyz.

Pick a lesson Open atelier Lint theater Donate ADA
L Lessons E Editor R Lint ? Shortcuts D Donate
Honest scope: local HTML/JS teaching atelier only. Does not compile Compact, start a proof server, connect Lace, or settle ADA / DUST. Does not claim GitHub Pages is live until Actions are enabled. Snippets are teaching skeletons — verify pragma / APIs against official Compact docs and the compatibility matrix before compiling.

Atelier journey

Labeled phases from idle → loaded → edited → explained → linted. Lint is a teaching theater, not a compiler.

  1. 1
    Idle Pick a lesson
  2. 2
    Loaded Skeleton in buffer
  3. 3
    Edited Draft diverged
  4. 4
    Explained Construct annotated
  5. 5
    Linted Theater checks (sim)

Phase: idle — pick a Compact lesson to begin.

Lesson gallery

Six curated Compact teaching skeletons. Press L to focus. Aligned with lab hello.compact / escrow notes + official docs patterns — not invented APIs.

Select a card to load it into the atelier buffer.

Editable atelier + explain panel

Edit freely. Click a construct chip or select text to drive the explain panel. Dual rails show public ledger surface vs private witness veil.

Witness veil

Private host-supplied data that must not appear on the public ledger.

0% witness surface

Ledger rail

Public on-chain surface: ledgers, circuits that write, disclose() calls.

0% ledger surface

Buffer editable

Ln 1 · Col 1

Compact construct glossary

Quick reference for the tokens this atelier annotates. Prefer official docs for normative semantics.

Docs: Compact overview · Language reference · Install toolchain

Lint theater

Simulated static checks for teaching. Not the Compact compiler. Press R.

Theater score

Awaiting lint run.

Idle

Findings will appear here after you run the lint theater.

Awaiting lint theater…