☰graph → · 180 lessons · 64 languages here · 66 in the engine

CURRICULUM180 lessons, generated

Every lesson is a program, not a corpus: the episodes below are produced by a unification grammar, so the same episode can be said in any language the engine has a grammar for. This page set carries 64 of them, ordered by the canonical curriculum — lessons are flat, and other curricula order the same lessons differently. The other 2 are a local server away — python scripts/serve_site.py.

lessons180languages here64samples each50languages in the engine66

graphsevery curriculum, drawn: canonical · core170 · supplementary · everything · progressive

canonicalsymbols

symbol grounding

denotation: symbol -> entity

symbol equivalence

many-to-one lexical semantics

symbol discrimination

category boundaries

sequence memory and indexing

local statistical regularity

finite state language

stateful syntax / automata induction

context free language

recursion and stack-like state

structural decomposition

tree to sequence

realization from structure

variable binding

variable identity vs token identity

structural symbolic matching

canonicalcompositional-semantics

predicate logic

facts + rules -> derived bindings

generalized quantifiers

scope ambiguity

one string, two logical forms

compositional reference

recursive denotation

spatial language

egocentric and allocentric frames

temporal language

before / after / while / until over a trace

event semantics

participants and times of named events

agent vs patient independent of word order

canonicalpragmatics

instruction following micro

one command, one world update

instruction composition

sequencing, branching, nested conditions

pronoun coreference

resolving a pronoun to its one valid antecedent

discourse state

salience as state across turns

recovering elided structure

asserted vs presupposed content under negation

scalar inference from an explicit speaker policy

speaker listener game

inferring an invented communication code from its use

lexicon induction

acquiring a new language in-episode

grammar induction

inducing a fresh grammar from labelled strings

few shot language learning

a new miniature language per episode

two generated languages, different words and order

semantic equivalence under voice and synonymy

entailed / contradicted / unknown from premises

knowledge update

assert / correct / retract / hedge

nested belief that can differ from the truth

question answering

interrogative form -> reasoning operation

question generation

identifying the one missing fact and the question that supplies it

interactive reference

clarify or act: the value of a question

a novel word defined compositionally, then applied

concept invention

inventing the predicate that compresses examples

canonicalanalogy

a:b::c:? over a relational structure

causal language

causation vs correlation, decided by intervention

counterfactuals

re-running a structural causal model under a different intervention

planning language

goal to executable plan: the first action of a shortest plan

procedural language

loops, branches and state: executing a described procedure

program synthesis

specification by example to a program in a small DSL

program explanation

the inverse direction: program to description

multi-turn reference repair and shared state

negotiation game

speech acts under private utilities

deception detection

statement content vs truth vs incentive

social convention learning

arbitrary conventions fixed in-episode

multi-passage entity and event reconciliation

compressed language

codes, budgets and unique decodability

noisy channel language

error correction from redundancy

multimodal symbolization

perception symbols carrying uncertainty

open world language

false vs unknown under a closed roster

continual language

lexical drift tracked across generations

language culture

iterated learning through a transmission bottleneck

general language agent

a fresh lesson family and answer alphabet every episode

natural language bridge

an English sentence to the symbolic structure it denotes

canonicalontology

ontology construction

which type hierarchy is consistent with every observation

ontology revision

the minimal revision that restores consistency after an anomaly

ontology alignment

corresponding concepts across two independent ontologies

representation selection

which encoding answers the query in fewest steps

representation invention

which new predicate compresses the corpus most

abstraction ladder

the most specific schema covering every example

conceptual chunking

the macro that removes the most steps from a plan library

canonicalscience

latent rule discovery

infer a hidden law from a trajectory and run it

scientific model induction

select the model that fits, then predict

experimental design

choose the experiment that separates hypotheses

theory comparison

rival theories, identical fit, one held-out datum

the observation that would refute the law

anomaly resolution

noise, hidden variable, or boundary condition

mechanism discovery

causal mechanism behind observationally equal laws

multiscale modeling

micro dynamics, macro question

emergence discovery

which macrostate is predictively closed

invariance discovery

the transformation a property survives

symmetry reasoning

infer an unseen state from a symmetry group

conservation law discovery

the expression the dynamics leave invariant

dimensional analysis

algebra over symbolic dimensions

canonicalmathematics

mathematical definition learning

a predicate defined by axioms, then decided

conjecture generation

a claim both true in the structure and not already implied

theorem proving

the next rule of a shortest proof in a generated calculus

lemma invention

the intermediate proposition that most shortens a proof

proof compression

factoring a repeated subproof out of a long derivation

proof translation

the same derivation across two renamed calculi

counterexample generation

the small model that refutes a false universal

logic discovery

inducing which inference rules a world licenses

logic selection

choosing the calculus a domain actually obeys

uncertain symbolic reasoning

exact bounds and comparisons over uncertain propositions

default reasoning

defeasible rules, exceptions, and silence

belief revision

the minimal retraction that restores consistency

contradiction tolerance

what conflicting sources still support

canonicalepistemics

source provenance

what is established vs what was merely reported

source reliability learning

conditional, per-domain reliability

grounded status of a claim in an attack graph

adversarial argumentation

which thesis survives valid criticism

audience-relative sufficiency of an explanation

explanation repair

naming the missing prerequisite from a failure report

the example that most enlarges what a student can derive

curriculum design

ordering learning experiences for another learner

knowledge gap detection

known / inferable / unknown / malformed

canonicalproblem-formulation

problem formulation

recovering objective and constraints from outcomes

problem reformulation

the encoding whose search tree is smallest

a subgoal ordering that respects dependencies

hierarchical planning

abstract methods expanded to executable primitives

long horizon projects

the next required step of an interrupted project

resource bounded reasoning

the best operator you can actually afford

anytime reasoning

quality-vs-compute profiles read at a deadline

choosing how to reason, fallbacks included

strategy discovery

inducing the invariant behind a problem family

strategy transfer

the same strategy under wholly renamed symbols

algorithm discovery

identifying a procedure from I/O demonstrations

algorithm analysis

comparing algorithms by exact executed cost

canonicalreflective-computation

recursive self application

a program that transforms programs, applied to itself

metalinguistic reasoning

questions about a grammar: grammaticality and ambiguity, by parsing

language design

choose the language that expresses a task set in fewest symbols

which invented DSL makes the recurring computations shortest

compiler construction

expand nested macros to primitives, then execute

interpreter learning

infer a new language's semantics from demonstrations, then run a held-

canonicalprotocols

protocol discovery

which interaction discipline is consistent with every trace

institution learning

infer a decision rule from roles, votes and outcomes

institution design

which rule makes the target collective outcome an equilibrium

obligation, permission and prohibition under prioritized conflicting n

contract reasoning

conditional obligations over an event timeline: active, fulfilled, bre

mechanism design

which payment rule meets the objective once agents best-respond

coalition formation

which grouping no subset of agents wants to break

distributed knowledge

which single message makes the group able to answer

collective theory building

merge partially conflicting hypotheses into their consensus

cultural evolution

which symbolic variant survives transmission bottlenecks

canonicalhistory

historical reconstruction

which history is consistent with the present state and all records

narrative modeling

the causally pivotal event, verified by deletion and re-simulation

multi perspective modeling

what an agent believes, given what it was there to see

identity continuity

whether two descriptions denote the same entity under stated identity

canonicalself-modeling

predict a described agent's success from its record

capability estimation

which task exceeds the described agent

self error diagnosis

attribute a failure to the stage that caused it

the patch that restores competence

architecture selection

cheapest architecture that covers the task

architecture composition

compose typed modules into the cheapest pipeline

tool construction

build the tool that makes the workload cheapest

external memory design

index a symbolic store for its retrieval workload

knowledge refactoring

reorganize a memory without losing a derivable fact

semantic compression

smallest theory that reproduces the observations

minimum description learning

theory length traded against unexplained data

canonicalopen-ended-epistemology

open ended concept discovery

invent the concept that carves the marked set

open ended question generation

ask the question that eliminates the most

research program

next action in a partially resolved question graph

the assumption a new regime falsifies

world model synthesis

query a world model of containment and events

cross domain unification

the element that corresponds across two domains

theory transfer

apply a source-domain law in an unobserved target domain

informal claim to formal structure

deformalization

formal structure to the reading that says it

ambiguity preservation

how many readings the evidence leaves open

underspecification reasoning

count what the instruction actually fixes

canonicalvalues

recover a preference order from observed choices

multi objective reasoning

which option the Pareto front excludes

the goal that explains all of the behaviour

the goal new evidence makes infeasible

goal generation

the intermediate objective the top goal now requires

reflective goal reasoning

which goal to abandon given derived conflicts

canonicalcivilization-scale

civilization simulator

multi-generation cultural transmission under a stated rule

scientific civilization

cumulative consensus from partial, diffusing evidence

symbolic world builder

which generated world actually demands a named capability

curriculum invention

which curriculum's prerequisite closure reaches a target capability

canonicaltransfer

universal interface transfer

bootstrap states, actions and reward semantics from a trace, then plan

infer what is relevant, what moves do, and what payoff means

symbolic generalist

held-out mixture of other lessons, none appearing verbatim

open world research agent

discover, theorize, experiment, revise and report over a long horizon

canonicalsyntax

center embedding

verb of the outermost subject under nesting

orderings over numeric attributes

counting quantifier

cardinal and proportional quantifiers

expression eval

compositional evaluation of a nested expression

long range agreement

agreement with the head across attractors

negation and its scope over scene properties

nesting depth compare

comparing two recursive structures

mirror symmetry over a whole string

boolean algebra over property sets

string reversal

indexing into an implied reversed structure