SPECTER LABS
Document Cabinet
Technical documentation for the lab's public research programs, including contracts, decisions, and reference material.
Jolt Material Memory4
Lenia Swarm21
LS-002Artifact Layout ContractcontractsLS-003Compendium SQLite SchemacontractsLS-004Ecology ExportcontractsLS-005Local CLI Harness (`LeniaCLI local`)contractsLS-006Morphometrics and Trait PolicycontractsLS-007Reproducibility ContractcontractsLS-020Research ModescontractsLS-008ADR-001: Taxonomy Columns Exist, Assignment DeferreddecisionsLS-009ADR-002: Exact Compendium Schema Version EnforcementdecisionsLS-010FlowLenia.swift Parameter MappinginternalsLS-011Indexer InternalsinternalsLS-021Paper-Grounded LanesinternalsLS-019Species Knobs for Glider SearchinternalsLS-012Studio Compendium InternalsinternalsLS-013EcologyuniverseLS-014GlossaryuniverseLS-015MorphologyuniverseLS-016PhysicsuniverseLS-017PrimeruniverseLS-018TaxonomyuniverseLS-001lenia-swarm docs
Wonton Soup33
WS-002Analysis Lexicon (Wonton-Soup)conceptsWS-003Analysis Metrics ReferenceconceptsWS-004Attractor Metrics for Proof SearchconceptsWS-005Distributed MCTS SemanticsconceptsWS-006Goal Identity, Deduplication, and Preview/CommitconceptsWS-028ProofGraphIRconceptsWS-029TacticActionIRconceptsWS-007UCB1 and Blind-Uniform Search in Wonton-SoupconceptsWS-008Analysis Artifacts ReferencecontractsWS-015DeepSeek Provider SettingscontractsWS-010Distributed MCTS Trace Event DictionarycontractsWS-011Log File SchemascontractsWS-012Log Schemas: Backend Artifact MappingcontractsWS-014Log Schemas: Per-Theorem ArtifactscontractsWS-013Log Schemas: Run-LevelcontractsWS-009Partial Proof Terms, Assembly Tracking, and Sequential ReplaycontractsWS-016Tactic Provider Options for Tactic SuggestioncontractsWS-027ADR IndexdecisionsWS-017ADR: Checkpoint-Scoped Goal IDsdecisionsWS-018ADR: Distributed (Cell-View) MCTS RunnerdecisionsWS-019ADR: Explicit Reference Selection for Lake JobsdecisionsWS-030ADR: ProofGraphIR for Cross-Assistant AlignmentdecisionsWS-020ADR: Search-Graph Feasibility by BackenddecisionsWS-021Corpus PipelineopsWS-031Cross-Assistant Alignment (Diagnostic)opsWS-032Cross-Assistant Paired Benchmark (Primary Gate)opsWS-026Follow-Up Run Program (March 2026)opsWS-022Lake Jobs (Materialized Datasets)opsWS-023Lean REPL SetupopsWS-024Log Query CookbookopsWS-025Run Lake (Cross-Run DuckDB)opsWS-033NeuroMonster Intro VariantsWS-001Wonton Soup Docs