@classytic/labs 0.1.0 → 0.2.0

package/dist/blocks/discrete.d.mts

@@ -7,6 +7,7 @@ import { KarnaughMapLab } from "../discrete/karnaugh/preset.mjs";
 import { MonteCarloLab } from "../discrete/monte-carlo/preset.mjs";
 import { MontyHallLab } from "../discrete/monty-hall/preset.mjs";
 import { OutcomeBuilderLab } from "../discrete/outcome-builder/preset.mjs";
+import { CombinationStudioLab } from "../discrete/combination-studio/preset.mjs";
 import { BayesLab } from "../discrete/bayes/preset.mjs";
 import { LawOfLargeNumbersLab } from "../discrete/lln/preset.mjs";
 import { CountingSlotsLab } from "../discrete/counting-slots/preset.mjs";
@@ -16,6 +17,7 @@ import { PascalTriangleLab } from "../discrete/pascal/preset.mjs";
 import { BinomialDistributionLab } from "../discrete/binomial/preset.mjs";
 import { HypergeometricLab } from "../discrete/hypergeometric/preset.mjs";
 import { ExpectedValueLab } from "../discrete/expected-value/preset.mjs";
+import { ReactNode } from "react";
 import { z } from "zod";
 
 //#region src/blocks/discrete.d.ts
@@ -28,6 +30,7 @@ declare const KarnaughBlock: import("@classytic/cms-ui/contract").CmsBlock<z.Zod
 declare const MonteCarloBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const MontyHallBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const OutcomeBuilderBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
+declare const CombinationStudioBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const BayesBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const CountingSlotsBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const SelectionBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
@@ -37,7 +40,30 @@ declare const BinomialBlock: import("@classytic/cms-ui/contract").CmsBlock<z.Zod
 declare const HypergeometricBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const ExpectedValueBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
 declare const LawOfLargeNumbersBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
-declare const discreteBlocks: readonly [import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>];
+declare const ruleSchema: z.ZodObject<{
+  preset: z.ZodDefault<z.ZodEnum<{
+    none: "none";
+    "rule-of-product": "rule-of-product";
+    "rule-of-sum": "rule-of-sum";
+    factorial: "factorial";
+    permutation: "permutation";
+    combination: "combination";
+    "perm-with-rep": "perm-with-rep";
+  }>>;
+  name: z.ZodDefault<z.ZodString>;
+  formula: z.ZodDefault<z.ZodString>;
+  analogy: z.ZodOptional<z.ZodString>;
+  tricks: z.ZodOptional<z.ZodArray<z.ZodString>>;
+  derivation: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    tex: z.ZodString;
+    note: z.ZodOptional<z.ZodString>;
+  }, z.core.$strip>>>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+declare function ruleComp(a: z.infer<typeof ruleSchema>): ReactNode;
+declare const RuleCardBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
+declare const discreteBlocks: readonly [import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>];
 declare const discreteComponents: {
   readonly TruthTable: typeof TruthTableLab;
   readonly CountingTree: typeof CountingTreeLab;
@@ -57,6 +83,8 @@ declare const discreteComponents: {
   readonly Hypergeometric: typeof HypergeometricLab;
   readonly ExpectedValue: typeof ExpectedValueLab;
   readonly LawOfLargeNumbers: typeof LawOfLargeNumbersLab;
+  readonly CombinationStudio: typeof CombinationStudioLab;
+  readonly RuleCard: typeof ruleComp;
 };
 //#endregion
-export { ArrangementsBlock, BayesBlock, BinomialBlock, BooleanCircuitBlock, CountingSlotsBlock, CountingTreeBlock, ExpectedValueBlock, HypergeometricBlock, KarnaughBlock, LawOfLargeNumbersBlock, MonteCarloBlock, MontyHallBlock, OutcomeBuilderBlock, PascalBlock, SampleSpaceBlock, SelectionBlock, TruthTableBlock, VennBlock, discreteBlocks, discreteComponents };
+export { ArrangementsBlock, BayesBlock, BinomialBlock, BooleanCircuitBlock, CombinationStudioBlock, CountingSlotsBlock, CountingTreeBlock, ExpectedValueBlock, HypergeometricBlock, KarnaughBlock, LawOfLargeNumbersBlock, MonteCarloBlock, MontyHallBlock, OutcomeBuilderBlock, PascalBlock, RuleCardBlock, SampleSpaceBlock, SelectionBlock, TruthTableBlock, VennBlock, discreteBlocks, discreteComponents };

package/dist/blocks/discrete.mjs

@@ -1,3 +1,5 @@
+import { RuleLab } from "../kit/rule.mjs";
+import { COUNTING_RULES } from "../discrete/rules.mjs";
 import { TruthTableLab } from "../discrete/truth-table/preset.mjs";
 import { CountingTreeLab } from "../discrete/counting-tree/preset.mjs";
 import { VennSetBoardLab } from "../discrete/venn/preset.mjs";
@@ -7,6 +9,7 @@ import { KarnaughMapLab } from "../discrete/karnaugh/preset.mjs";
 import { MonteCarloLab } from "../discrete/monte-carlo/preset.mjs";
 import { MontyHallLab } from "../discrete/monty-hall/preset.mjs";
 import { OutcomeBuilderLab } from "../discrete/outcome-builder/preset.mjs";
+import { CombinationStudioLab } from "../discrete/combination-studio/preset.mjs";
 import { BayesLab } from "../discrete/bayes/preset.mjs";
 import { LawOfLargeNumbersLab } from "../discrete/lln/preset.mjs";
 import { CountingSlotsLab } from "../discrete/counting-slots/preset.mjs";
@@ -180,13 +183,40 @@ const montySchema = z.object({
 	seed: z.number().optional(),
 	...common
 });
-const MontyHallBlock = lab("monty-hall", "MontyHall", "Monty Hall game", "Play the paradox: pick a door, Monty opens a goat, stay or switch — every game grows the switch/stay win-rate bars to 2/3 vs 1/3.", montySchema, (a) => /* @__PURE__ */ jsx(MontyHallLab, { ...a }));
+const MontyHallBlock = lab("monty-hall", "MontyHall", "Monty Hall game", "Play the paradox: pick a door, Monty opens a goat, stay or switch, every game grows the switch/stay win-rate bars to 2/3 vs 1/3.", montySchema, (a) => /* @__PURE__ */ jsx(MontyHallLab, { ...a }));
 const outcomeSchema = z.object({
 	stages: z.array(z.enum(["coin", "die"])).optional(),
 	maxOutcomes: z.number().optional(),
 	...common
 });
 const OutcomeBuilderBlock = lab("outcome-builder", "OutcomeBuilder", "Sample-space builder (coins & dice)", "Add coins/dice and watch every outcome fan out with the counting principle; click outcomes to mark an event → P = favourable ÷ total.", outcomeSchema, (a) => /* @__PURE__ */ jsx(OutcomeBuilderLab, { ...a }));
+const comboOptionSchema = z.object({
+	id: z.string(),
+	label: z.string(),
+	emoji: z.string().optional(),
+	color: z.string().optional()
+});
+const comboCatSchema = z.object({
+	id: z.string(),
+	label: z.string(),
+	slot: z.enum([
+		"top",
+		"bottom",
+		"hat",
+		"hold",
+		"none"
+	]).optional(),
+	options: z.array(comboOptionSchema)
+});
+const studioSchema = z.object({
+	scenario: z.string().optional(),
+	categories: z.array(comboCatSchema).optional(),
+	figure: z.enum(["character", "card"]).optional(),
+	startActive: z.number().optional(),
+	maxWall: z.number().optional(),
+	...common
+});
+const CombinationStudioBlock = lab("combination-studio", "CombinationStudio", "Combination studio (rule of product, felt)", "The multiplication principle made tactile: pick from each rack, assemble each outcome (a dressed character or an emoji card), fill a rows × columns wall, then add a variable and watch the total multiply. Predict-first. Any authored scenario (outfits, sundaes, plates, routes).", studioSchema, (a) => /* @__PURE__ */ jsx(CombinationStudioLab, { ...a }));
 const bayesSchema = z.object({
 	prior: z.number().default(.01),
 	sensitivity: z.number().default(.9),
@@ -269,6 +299,42 @@ const llnSchema = z.object({
 	...common
 });
 const LawOfLargeNumbersBlock = lab("lln", "LawOfLargeNumbers", "Law of large numbers", "A coin/die sampler: running frequencies converge onto the true probabilities as draws pile up.", llnSchema, (a) => /* @__PURE__ */ jsx(LawOfLargeNumbersLab, { ...a }));
+const ruleSchema = z.object({
+	preset: z.enum([
+		"none",
+		"rule-of-product",
+		"rule-of-sum",
+		"factorial",
+		"permutation",
+		"combination",
+		"perm-with-rep"
+	]).default("none"),
+	name: z.string().default("My rule"),
+	formula: z.string().default("a^2 + b^2 = c^2"),
+	analogy: z.string().optional(),
+	tricks: z.array(z.string()).optional(),
+	derivation: z.array(z.object({
+		tex: z.string(),
+		note: z.string().optional()
+	})).optional(),
+	title: z.string().optional(),
+	prompt: z.string().optional()
+});
+function ruleComp(a) {
+	return /* @__PURE__ */ jsx(RuleLab, {
+		rule: (a.preset && a.preset !== "none" ? COUNTING_RULES.find((r) => r.id === a.preset) : void 0) ?? {
+			id: "custom",
+			name: a.name ?? "Rule",
+			formula: a.formula ?? "a^2 + b^2 = c^2",
+			...a.analogy ? { analogy: a.analogy } : {},
+			...a.derivation?.length ? { derivation: a.derivation } : {},
+			...a.tricks?.length ? { tricks: a.tricks } : {}
+		},
+		title: a.title,
+		prompt: a.prompt
+	});
+}
+const RuleCardBlock = lab("rule-card", "RuleCard", "Rule card (concept)", "A formula taught properly: an analogy, a live worked calculator, a revealable derivation, and tricks. Pick a built-in counting rule (with its calculator), or author your own concept (formula + analogy + derivation + tricks, as data).", ruleSchema, ruleComp);
 const discreteBlocks = [
 	TruthTableBlock,
 	CountingTreeBlock,
@@ -287,7 +353,9 @@ const discreteBlocks = [
 	BinomialBlock,
 	HypergeometricBlock,
 	ExpectedValueBlock,
-	LawOfLargeNumbersBlock
+	LawOfLargeNumbersBlock,
+	CombinationStudioBlock,
+	RuleCardBlock
 ];
 const discreteComponents = {
 	TruthTable: TruthTableLab,
@@ -307,8 +375,10 @@ const discreteComponents = {
 	Binomial: BinomialDistributionLab,
 	Hypergeometric: HypergeometricLab,
 	ExpectedValue: ExpectedValueLab,
-	LawOfLargeNumbers: LawOfLargeNumbersLab
+	LawOfLargeNumbers: LawOfLargeNumbersLab,
+	CombinationStudio: CombinationStudioLab,
+	RuleCard: ruleComp
 };
 
 //#endregion
-export { ArrangementsBlock, BayesBlock, BinomialBlock, BooleanCircuitBlock, CountingSlotsBlock, CountingTreeBlock, ExpectedValueBlock, HypergeometricBlock, KarnaughBlock, LawOfLargeNumbersBlock, MonteCarloBlock, MontyHallBlock, OutcomeBuilderBlock, PascalBlock, SampleSpaceBlock, SelectionBlock, TruthTableBlock, VennBlock, discreteBlocks, discreteComponents };
+export { ArrangementsBlock, BayesBlock, BinomialBlock, BooleanCircuitBlock, CombinationStudioBlock, CountingSlotsBlock, CountingTreeBlock, ExpectedValueBlock, HypergeometricBlock, KarnaughBlock, LawOfLargeNumbersBlock, MonteCarloBlock, MontyHallBlock, OutcomeBuilderBlock, PascalBlock, RuleCardBlock, SampleSpaceBlock, SelectionBlock, TruthTableBlock, VennBlock, discreteBlocks, discreteComponents };

package/dist/blocks/economics.mjs

@@ -8,7 +8,7 @@ import { defineBlock } from "@classytic/cms-ui/contract";
 
 //#region src/blocks/economics.tsx
 /**
-* @classytic/labs/blocks — economics (commerce) lab block specs.
+* @classytic/labs/blocks, economics (commerce) lab block specs.
 *
 * `defineBlock` editor adapters for the economics labs. A creator/agent authors
 * the curve parameters + which controls are on. One domain per file; assembled in

package/dist/blocks/geography.mjs

@@ -7,7 +7,7 @@ import { defineBlock } from "@classytic/cms-ui/contract";
 
 //#region src/blocks/geography.tsx
 /**
-* @classytic/labs/blocks — geography lab block specs.
+* @classytic/labs/blocks, geography lab block specs.
 *
 * `defineBlock` editor adapter for the general CycleLab. A creator/agent picks a
 * canned cycle (water / rock / carbon) OR pastes their own nodes + edges JSON, and

package/dist/blocks/geometry.mjs

@@ -8,7 +8,7 @@ import { defineBlock } from "@classytic/cms-ui/contract";
 
 //#region src/blocks/geometry.tsx
 /**
-* @classytic/labs/blocks — geometry lab block specs.
+* @classytic/labs/blocks, geometry lab block specs.
 *
 * `defineBlock` editor adapters for the geometry labs (one domain per file; the
 * registry is assembled in `./index.ts`). Each spec pairs a zod schema with a
@@ -77,7 +77,7 @@ const GeometryBoardBlock = defineBlock({
 	key: "geometry-board",
 	void: true,
 	label: "Geometry board",
-	description: "Build a construction — points, circles, lines & computed intersections. Drag points live.",
+	description: "Build a construction, points, circles, lines & computed intersections. Drag points live.",
 	category: "interactive",
 	schema: z.object({
 		scene: z.array(z.record(z.string(), z.unknown())).optional(),
@@ -114,7 +114,7 @@ const IntersectingCirclesBlock = defineBlock({
 	key: "intersecting-circles",
 	void: true,
 	label: "Intersecting circles",
-	description: "Common chord of two circles — drag the centres, chord length by Pythagoras.",
+	description: "Common chord of two circles, drag the centres, chord length by Pythagoras.",
 	category: "interactive",
 	schema: z.object({
 		r1: z.number().optional(),

package/dist/blocks/ict.d.mts

@@ -1,6 +1,9 @@
 import { PlaceValueDialLab } from "../ict/number-systems/place-value-dial.mjs";
 import { BitGrouperLab } from "../ict/number-systems/bit-grouper.mjs";
 import { BaseOdometerLab } from "../ict/number-systems/base-odometer.mjs";
+import { LogicGateLab } from "../logic/lab.mjs";
+import { BinaryDisplayLab } from "../logic/display.mjs";
+import { LogicBuildLab } from "../logic/LogicBuildLab.mjs";
 import { z } from "zod";
 
 //#region src/blocks/ict.d.ts
@@ -31,6 +34,49 @@ declare const BaseOdometerBlock: import("@classytic/cms-ui/contract").CmsBlock<z
   title: z.ZodOptional<z.ZodString>;
   prompt: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>>;
+declare const LogicGateBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  preset: z.ZodDefault<z.ZodEnum<{
+    and: "and";
+    or: "or";
+    xor: "xor";
+    "nand-not": "nand-not";
+    "nand-and": "nand-and";
+    "nand-or": "nand-or";
+    "xor-nand": "xor-nand";
+    "half-adder": "half-adder";
+    "full-adder": "full-adder";
+  }>>;
+  mode: z.ZodDefault<z.ZodEnum<{
+    predict: "predict";
+    explore: "explore";
+  }>>;
+  steps: z.ZodDefault<z.ZodBoolean>;
+  showTable: z.ZodDefault<z.ZodBoolean>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>;
+declare const BinaryDisplayBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  bits: z.ZodDefault<z.ZodNumber>;
+  start: z.ZodDefault<z.ZodNumber>;
+  target: z.ZodOptional<z.ZodNumber>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>;
+declare const LogicBuilderBlock: import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  goal: z.ZodDefault<z.ZodEnum<{
+    and: "and";
+    or: "or";
+    xor: "xor";
+    "nand-not": "nand-not";
+    "nand-and": "nand-and";
+    "nand-or": "nand-or";
+    "half-adder": "half-adder";
+    "full-adder": "full-adder";
+    sandbox: "sandbox";
+  }>>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>;
 declare const ictBlocks: readonly [import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
   base: z.ZodDefault<z.ZodNumber>;
   width: z.ZodDefault<z.ZodNumber>;
@@ -55,11 +101,54 @@ declare const ictBlocks: readonly [import("@classytic/cms-ui/contract").CmsBlock
   target: z.ZodOptional<z.ZodNumber>;
   title: z.ZodOptional<z.ZodString>;
   prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  preset: z.ZodDefault<z.ZodEnum<{
+    and: "and";
+    or: "or";
+    xor: "xor";
+    "nand-not": "nand-not";
+    "nand-and": "nand-and";
+    "nand-or": "nand-or";
+    "xor-nand": "xor-nand";
+    "half-adder": "half-adder";
+    "full-adder": "full-adder";
+  }>>;
+  mode: z.ZodDefault<z.ZodEnum<{
+    predict: "predict";
+    explore: "explore";
+  }>>;
+  steps: z.ZodDefault<z.ZodBoolean>;
+  showTable: z.ZodDefault<z.ZodBoolean>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  bits: z.ZodDefault<z.ZodNumber>;
+  start: z.ZodDefault<z.ZodNumber>;
+  target: z.ZodOptional<z.ZodNumber>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>>, import("@classytic/cms-ui/contract").CmsBlock<z.ZodObject<{
+  goal: z.ZodDefault<z.ZodEnum<{
+    and: "and";
+    or: "or";
+    xor: "xor";
+    "nand-not": "nand-not";
+    "nand-and": "nand-and";
+    "nand-or": "nand-or";
+    "half-adder": "half-adder";
+    "full-adder": "full-adder";
+    sandbox: "sandbox";
+  }>>;
+  title: z.ZodOptional<z.ZodString>;
+  prompt: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>>];
 declare const ictComponents: {
   readonly PlaceValueDial: typeof PlaceValueDialLab;
   readonly BitGrouper: typeof BitGrouperLab;
   readonly BaseOdometer: typeof BaseOdometerLab;
+  readonly LogicGate: typeof LogicGateLab;
+  readonly BinaryDisplay: typeof BinaryDisplayLab;
+  readonly LogicBuilder: typeof LogicBuildLab;
 };
 //#endregion
-export { BaseOdometerBlock, BitGrouperBlock, PlaceValueDialBlock, ictBlocks, ictComponents };
+export { BaseOdometerBlock, BinaryDisplayBlock, BitGrouperBlock, LogicBuilderBlock, LogicGateBlock, PlaceValueDialBlock, ictBlocks, ictComponents };

package/dist/blocks/ict.mjs

@@ -1,14 +1,18 @@
 import { PlaceValueDialLab } from "../ict/number-systems/place-value-dial.mjs";
 import { BitGrouperLab } from "../ict/number-systems/bit-grouper.mjs";
 import { BaseOdometerLab } from "../ict/number-systems/base-odometer.mjs";
-import { ConfigPanel, ConfigRow, NumField, TextField } from "./authoring.mjs";
+import { LOGIC_PRESETS } from "../logic/presets.mjs";
+import { LogicGateLab } from "../logic/lab.mjs";
+import { BinaryDisplayLab } from "../logic/display.mjs";
+import { LogicBuildLab } from "../logic/LogicBuildLab.mjs";
+import { ChipToggle, ConfigPanel, ConfigRow, NumField, TextField } from "./authoring.mjs";
 import { jsx, jsxs } from "react/jsx-runtime";
 import { z } from "zod";
 import { defineBlock } from "@classytic/cms-ui/contract";
 
 //#region src/blocks/ict.tsx
 /**
-* @classytic/labs/blocks — ICT lab block specs.
+* @classytic/labs/blocks, ICT lab block specs.
 *
 * `defineBlock` editor adapters for the ICT labs (one domain per file; the
 * registry is assembled in `./index.ts`). Each spec pairs a real zod schema
@@ -16,6 +20,7 @@ import { defineBlock } from "@classytic/cms-ui/contract";
 * authoring kit (`./authoring`). `@classytic/cms-ui` + `zod` are optional peers
 * touched only by the blocks layer.
 */
+const LOGIC_KEYS = Object.keys(LOGIC_PRESETS);
 const PlaceValueDialBlock = defineBlock({
 	key: "place-value-dial",
 	tag: "PlaceValueDial",
@@ -81,7 +86,7 @@ const BitGrouperBlock = defineBlock({
 	tag: "BitGrouper",
 	void: true,
 	label: "Bit grouper (nibbles → hex/octal)",
-	description: "Tappable bits auto-slice into groups from the right — 4 per hex digit, 3 per octal — translating live; shows why a byte = two clean hex digits but a wasteful octal top.",
+	description: "Tappable bits auto-slice into groups from the right, 4 per hex digit, 3 per octal, translating live; shows why a byte = two clean hex digits but a wasteful octal top.",
 	category: "interactive",
 	schema: z.object({
 		width: z.number().default(8),
@@ -132,7 +137,7 @@ const BaseOdometerBlock = defineBlock({
 	tag: "BaseOdometer",
 	void: true,
 	label: "Base odometer (every base at once)",
-	description: "Stacked odometer rows driven by one shared integer — binary/octal/decimal/hex roll in lockstep (binary fastest), proving base is a representation, not a different number. Race toggle animates the cascade.",
+	description: "Stacked odometer rows driven by one shared integer, binary/octal/decimal/hex roll in lockstep (binary fastest), proving base is a representation, not a different number. Race toggle animates the cascade.",
 	category: "interactive",
 	schema: z.object({
 		max: z.number().default(255),
@@ -182,16 +187,221 @@ const BaseOdometerBlock = defineBlock({
 		] }), widget] });
 	}
 });
+const LogicGateBlock = defineBlock({
+	key: "logic-gate",
+	tag: "LogicGate",
+	void: true,
+	label: "Logic gate circuit (propagation / predict)",
+	description: "A data-driven gate network: wires glow where the signal is HIGH so learners watch it propagate. Pick a preset (AND…NAND universality, half/full adder), let them toggle inputs (explore) or predict the output, with a live truth table.",
+	category: "interactive",
+	schema: z.object({
+		preset: z.enum([
+			"and",
+			"or",
+			"xor",
+			"nand-not",
+			"nand-and",
+			"nand-or",
+			"xor-nand",
+			"half-adder",
+			"full-adder"
+		]).default("and"),
+		mode: z.enum(["explore", "predict"]).default("explore"),
+		steps: z.boolean().default(false),
+		showTable: z.boolean().default(true),
+		title: z.string().optional(),
+		prompt: z.string().optional()
+	}),
+	Component: ({ attributes, mode, updateAttributes }) => {
+		const widget = /* @__PURE__ */ jsx(LogicGateLab, {
+			preset: attributes.preset,
+			mode: attributes.mode,
+			steps: attributes.steps,
+			showTable: attributes.showTable,
+			title: attributes.title,
+			prompt: attributes.prompt
+		});
+		if (mode !== "editing" || !updateAttributes) return widget;
+		return /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsxs(ConfigPanel, { children: [
+			/* @__PURE__ */ jsx(ConfigRow, {
+				label: "title",
+				children: /* @__PURE__ */ jsx(TextField, {
+					value: attributes.title ?? "",
+					onChange: (v) => updateAttributes({ title: v }),
+					placeholder: "Logic gates",
+					className: "flex-1"
+				})
+			}),
+			/* @__PURE__ */ jsx(ConfigRow, {
+				label: "circuit",
+				children: /* @__PURE__ */ jsx("div", {
+					className: "flex flex-wrap gap-1.5",
+					children: LOGIC_KEYS.map((k) => /* @__PURE__ */ jsx(ChipToggle, {
+						active: (attributes.preset ?? "and") === k,
+						onClick: () => updateAttributes({ preset: k }),
+						children: LOGIC_PRESETS[k]?.title ?? k
+					}, k))
+				})
+			}),
+			/* @__PURE__ */ jsxs(ConfigRow, {
+				label: "mode",
+				children: [/* @__PURE__ */ jsx(ChipToggle, {
+					active: (attributes.mode ?? "explore") === "explore",
+					onClick: () => updateAttributes({ mode: "explore" }),
+					children: "explore"
+				}), /* @__PURE__ */ jsx(ChipToggle, {
+					active: attributes.mode === "predict",
+					onClick: () => updateAttributes({ mode: "predict" }),
+					children: "predict"
+				})]
+			}),
+			/* @__PURE__ */ jsxs(ConfigRow, {
+				label: "step reveal",
+				children: [/* @__PURE__ */ jsx(ChipToggle, {
+					active: !attributes.steps,
+					onClick: () => updateAttributes({ steps: false }),
+					children: "off"
+				}), /* @__PURE__ */ jsx(ChipToggle, {
+					active: !!attributes.steps,
+					onClick: () => updateAttributes({ steps: true }),
+					children: "on"
+				})]
+			}),
+			/* @__PURE__ */ jsxs(ConfigRow, {
+				label: "truth table",
+				children: [/* @__PURE__ */ jsx(ChipToggle, {
+					active: attributes.showTable !== false,
+					onClick: () => updateAttributes({ showTable: true }),
+					children: "show"
+				}), /* @__PURE__ */ jsx(ChipToggle, {
+					active: attributes.showTable === false,
+					onClick: () => updateAttributes({ showTable: false }),
+					children: "hide"
+				})]
+			})
+		] }), widget] });
+	}
+});
+const BinaryDisplayBlock = defineBlock({
+	key: "binary-display",
+	tag: "BinaryDisplay",
+	void: true,
+	label: "Binary display (bits → seven-segment)",
+	description: "A row of weighted bit switches (8 4 2 1) drives a seven-segment LED digit through a decoder, with live binary / decimal / hex readouts. The \"number LED\" payoff for DLD projects; set a target digit to make it a goal.",
+	category: "interactive",
+	schema: z.object({
+		bits: z.number().default(4),
+		start: z.number().default(0),
+		target: z.number().optional(),
+		title: z.string().optional(),
+		prompt: z.string().optional()
+	}),
+	Component: ({ attributes, mode, updateAttributes }) => {
+		const widget = /* @__PURE__ */ jsx(BinaryDisplayLab, {
+			bits: attributes.bits,
+			start: attributes.start,
+			target: attributes.target,
+			title: attributes.title,
+			prompt: attributes.prompt
+		});
+		if (mode !== "editing" || !updateAttributes) return widget;
+		return /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsxs(ConfigPanel, { children: [
+			/* @__PURE__ */ jsx(ConfigRow, {
+				label: "title",
+				children: /* @__PURE__ */ jsx(TextField, {
+					value: attributes.title ?? "",
+					onChange: (v) => updateAttributes({ title: v }),
+					placeholder: "Build a number from bits",
+					className: "flex-1"
+				})
+			}),
+			/* @__PURE__ */ jsx(ConfigRow, {
+				label: "bits",
+				children: /* @__PURE__ */ jsx(NumField, {
+					value: attributes.bits ?? 4,
+					onChange: (v) => updateAttributes({ bits: v })
+				})
+			}),
+			/* @__PURE__ */ jsx(ConfigRow, {
+				label: "target digit",
+				children: /* @__PURE__ */ jsx(NumField, {
+					value: attributes.target ?? 0,
+					onChange: (v) => updateAttributes({ target: v })
+				})
+			})
+		] }), widget] });
+	}
+});
+const LogicBuilderBlock = defineBlock({
+	key: "logic-builder",
+	tag: "LogicBuilder",
+	void: true,
+	label: "Logic builder (drag-and-drop gate circuit)",
+	description: "A Logisim-style canvas: drag sources, gates and LEDs from the palette, wire output dots to input slots, flip switches and watch the signal glow. Leave the goal on \"sandbox\" for open building, or pick a target (half-adder, NAND→AND…) to grade the learner against its truth table.",
+	category: "interactive",
+	schema: z.object({
+		goal: z.enum([
+			"sandbox",
+			"and",
+			"or",
+			"xor",
+			"nand-not",
+			"nand-and",
+			"nand-or",
+			"half-adder",
+			"full-adder"
+		]).default("sandbox"),
+		title: z.string().optional(),
+		prompt: z.string().optional()
+	}),
+	Component: ({ attributes, mode, updateAttributes }) => {
+		const widget = /* @__PURE__ */ jsx(LogicBuildLab, {
+			goal: attributes.goal && attributes.goal !== "sandbox" ? attributes.goal : void 0,
+			title: attributes.title,
+			prompt: attributes.prompt
+		});
+		if (mode !== "editing" || !updateAttributes) return widget;
+		return /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsxs(ConfigPanel, { children: [/* @__PURE__ */ jsx(ConfigRow, {
+			label: "title",
+			children: /* @__PURE__ */ jsx(TextField, {
+				value: attributes.title ?? "",
+				onChange: (v) => updateAttributes({ title: v }),
+				placeholder: "Build the circuit",
+				className: "flex-1"
+			})
+		}), /* @__PURE__ */ jsx(ConfigRow, {
+			label: "goal",
+			children: /* @__PURE__ */ jsxs("div", {
+				className: "flex flex-wrap gap-1.5",
+				children: [/* @__PURE__ */ jsx(ChipToggle, {
+					active: (attributes.goal ?? "sandbox") === "sandbox",
+					onClick: () => updateAttributes({ goal: "sandbox" }),
+					children: "sandbox"
+				}), LOGIC_KEYS.map((k) => /* @__PURE__ */ jsx(ChipToggle, {
+					active: attributes.goal === k,
+					onClick: () => updateAttributes({ goal: k }),
+					children: LOGIC_PRESETS[k]?.title ?? k
+				}, k))]
+			})
+		})] }), widget] });
+	}
+});
 const ictBlocks = [
 	PlaceValueDialBlock,
 	BitGrouperBlock,
-	BaseOdometerBlock
+	BaseOdometerBlock,
+	LogicGateBlock,
+	BinaryDisplayBlock,
+	LogicBuilderBlock
 ];
 const ictComponents = {
 	PlaceValueDial: PlaceValueDialLab,
 	BitGrouper: BitGrouperLab,
-	BaseOdometer: BaseOdometerLab
+	BaseOdometer: BaseOdometerLab,
+	LogicGate: LogicGateLab,
+	BinaryDisplay: BinaryDisplayLab,
+	LogicBuilder: LogicBuildLab
 };
 
 //#endregion
-export { BaseOdometerBlock, BitGrouperBlock, PlaceValueDialBlock, ictBlocks, ictComponents };
+export { BaseOdometerBlock, BinaryDisplayBlock, BitGrouperBlock, LogicBuilderBlock, LogicGateBlock, PlaceValueDialBlock, ictBlocks, ictComponents };