Plates Composition — Multistate

Act I Reading Pulpit 07:45

Primary · Pulpit

Reading Pulpit

Center text with margin glosses, inspector as officiant.

Live plate preview

Open full plate interactive

Focus cue: The officiant lens follows lemma clicks. Timeline cue: Use as the opening act to set reading grammar.

Act II CRDTs Lesson 08:05

Lesson · CRDTs

CRDTs Lesson

Convergence, merge laws, and the algebra of replicated state.

Lesson preview

Open CRDTs Lesson lesson

Focus cue: Promote when reviewing coordination systems. Timeline cue: Early scaffolding before categorical layers.

Act VI Etudes Index 10:10

Catalog · Etudes

Etudes Index

Catalog of studies and entry points.

Index preview

Open Etudes catalog

Focus cue: Use to pick the next study branch. Timeline cue: Check the catalog before theory plates.

Act III Kan Extensions 08:40

Theory · Kan

Kan Extensions

Deep theory plate with executable gloss.

Study preview

Open Kan Extensions deep read

Focus cue: Drop in for a deep dive once context is set. Timeline cue: Treat as the theory interlude.

Act III Adjunctions 08:55

Theory · Adjunctions

Adjunctions

Units, counits, and the mechanics of universal properties.

Adjunctions preview

Open Adjunctions deep read

Focus cue: Emphasize when clarifying free vs conserved. Timeline cue: Adjunct to Kan framing.

Act IV Numerai Ledger 09:15

Ledger · Numerai

Numerai Experiments Ledger

A record of experiments and outcomes.

Ledger preview

Open Numerai Ledger Open Advances Plate experiments

Focus cue: Promote this when reviewing experiment status. Timeline cue: Main stage for operational review.

Act V Thread T2 09:45

Didactic · Thread T2

Euclid to Convergents

Engraved walkthrough with trace DSL and error capsules.

T2 preview

Open Thread T2 didactic

Focus cue: Use as closing lesson or proof interlude. Timeline cue: End with didactic consolidation.

Act VI Lambda Calculus 10:05

Etude · Lambda

Lambda Calculus

Executable algebra for merge laws and proofs of contract.

Etude preview

Open Lambda Etude etude

Focus cue: Highlight when explaining executable proof. Timeline cue: Bridge from CRDT algebra into syntax.

Act VI Dependent Types 10:18

Etude · Types

Dependent Types

Types that carry proofs of invariants and obligations.

Etude preview

Open Dependent Types etude

Focus cue: Use for contract-level rigor. Timeline cue: After lambda, before proofs.

Act VI Proof-Carrying Deltas 10:28

Etude · Proofs

Proof-Carrying Deltas

Updates that carry certificates of inflation and validity.

Etude preview

Open Proof-Carrying Deltas etude

Focus cue: When validation is first-class. Timeline cue: Bridge to API boundaries.

Act VII Causal Logs 10:40

Etude · Logs

Causal Logs

Causality as partial order; log folding as execution.

Etude preview

Open Causal Logs etude

Focus cue: When tracing causality. Timeline cue: After proof-carrying deltas.

Act VII Lattice Laws 10:52

Etude · Lattice

Lattice Laws

Join, meet, monotonicity, and convergence guarantees.

Etude preview

Open Lattice Laws etude

Focus cue: Frame invariants as algebra. Timeline cue: Follow causal logs.

Act VIII Category Optics 11:05

Etude · Optics

Category Optics

Lenses, prisms, and traversals for controlled focus.

Etude preview

Open Category Optics etude

Focus cue: Aligns UX with semantics. Timeline cue: Precedes boundary objects.

Act VIII Boundary Objects 11:18

Etude · Boundary

Boundary Objects

Certificates, logs, and interfaces as shared artifacts.

Etude preview

Open Boundary Objects etude

Focus cue: When interfaces are primary. Timeline cue: Near the architecture layer.

Act IX Invariants & Contracts 11:30

Etude · Contracts

Invariants & Contracts

Promises, obligations, and counterexamples as design guardrails.

Etude preview

Open Invariants & Contracts etude

Focus cue: Close with explicit obligations. Timeline cue: Final consolidation.