SPECTER LABS Document Cabinet
Technical documentation for the lab's public research programs, including contracts, decisions, and reference material.
Material Memory in Physical CollectivesD-0043
K Semantics ReferenceA-0092
Lean Corpus ExtractorA-0071
Lean Sorry DatasetA-0011
Lenia SwarmD-00325
D-003.001Lenia Swarm DocsD-003.002Artifact Layout ContractcontractsD-003.003Compendium SQLite SchemacontractsD-003.004Ecology ExportcontractsD-003.005Local CLI Harness (
LeniaCLI discover local)contractsD-003.006Morphometrics and Trait PolicycontractsD-003.007Reproducibility ContractcontractsD-003.008ADR-001: Taxonomy Columns Exist, Assignment DeferreddecisionsD-003.009ADR-002: Exact Compendium Schema Version EnforcementdecisionsD-003.010FlowLenia.swift Parameter MappinginternalsD-003.011Indexer InternalsinternalsD-003.012Studio Compendium InternalsinternalsD-003.013EcologyuniverseD-003.014GlossaryuniverseD-003.015MorphologyuniverseD-003.016PhysicsuniverseD-003.017PrimeruniverseD-003.018TaxonomyuniverseD-003.019Species Knobs for Glider SearchinternalsD-003.020Research ModescontractsD-003.021Paper-Grounded RunsinternalsD-003.022Config MapconfigsD-003.023Comparative Morphospace WarehousecontractsD-003.024TT Backend Performance RecordinternalsD-003.025TT BackendinternalsSpecter VizA-0051
tinygrad BenchmarksA-0032
Typst Field ManualA-0081
Wonton SoupD-00231
D-002.001Wonton Soup DocsD-002.002Analysis Lexicon (Wonton-Soup)conceptsD-002.003Analysis Metrics ReferenceconceptsD-002.004Attractor Metrics for Proof SearchconceptsD-002.005Distributed MCTSconceptsD-002.006Goal Identity, Deduplication, and Preview/CommitconceptsD-002.007UCB1 and Blind-Uniform Search in Wonton-SoupconceptsD-002.008Analysis Artifacts ReferencecontractsD-002.009Partial Proof Terms, Assembly Tracking, and Sequential ReplaycontractsD-002.010Distributed MCTS Trace Event DictionarycontractsD-002.011Log File SchemascontractsD-002.012Log Schemas: Backend Artifact MappingcontractsD-002.013Log Schemas: Run-LevelcontractsD-002.014Log Schemas: Per-Theorem ArtifactscontractsD-002.015DeepSeek Provider SettingscontractsD-002.016Tactic Provider Options for Tactic SuggestioncontractsD-002.017ADR: Checkpoint-Scoped Goal IDsdecisionsD-002.018ADR: Distributed (Cell-View) MCTS RunnerdecisionsD-002.019ADR: Explicit Reference Selection for Lake JobsdecisionsD-002.020ADR: Search-Graph Feasibility by BackenddecisionsD-002.021CorpusopsD-002.023SetupopsD-002.025LakeopsD-002.027ADR IndexdecisionsD-002.028ProofGraphIRconceptsD-002.029TacticActionIRconceptsD-002.030ADR: ProofGraphIR for Cross-Assistant AlignmentdecisionsD-002.035PaperopsD-002.036VerificationopsD-002.037Wonton Soup PosterfiguresD-002.038Local Workbench UI Planops
Morphogenetic Signatures in Sorting AlgorithmsD-0011