SPECTER LABS Document Cabinet
Technical documentation for the lab's public research programs, including contracts, decisions, and reference material.
Material Memory in Physical CollectivesSPCTR D-0042
k-semantics-referenceSPCTR A-0092
lean-corpus-extractorSPCTR A-0071
lean-sorry-datasetSPCTR A-0011
Lenia SwarmSPCTR D-00325
D-003.022Config MapconfigsD-003.002Artifact Layout ContractcontractsD-003.023Comparative Morphospace WarehousecontractsD-003.003Compendium SQLite SchemacontractsD-003.004Ecology ExportcontractsD-003.005Local CLI Harness (`LeniaCLI discover local`)contractsD-003.006Morphometrics and Trait PolicycontractsD-003.007Reproducibility ContractcontractsD-003.020Research ModescontractsD-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.021Paper-Grounded RunsinternalsD-003.019Species Knobs for Glider SearchinternalsD-003.012Studio Compendium InternalsinternalsD-003.025TT BackendinternalsD-003.024TT Backend Performance RecordinternalsD-003.013EcologyuniverseD-003.014GlossaryuniverseD-003.015MorphologyuniverseD-003.016PhysicsuniverseD-003.017PrimeruniverseD-003.018TaxonomyuniverseD-003.001lenia-swarm docs
Lenia TRIBE OverlaySPCTR A-0143
specter-vizSPCTR A-0051
tinygrad-benchmarksSPCTR A-0032
typst-field-manualSPCTR A-0081
Wonton SoupSPCTR D-00230
D-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.028ProofGraphIRconceptsD-002.029TacticActionIRconceptsD-002.007UCB1 and Blind-Uniform Search in Wonton-SoupconceptsD-002.008Analysis Artifacts ReferencecontractsD-002.015DeepSeek Provider SettingscontractsD-002.010Distributed MCTS Trace Event DictionarycontractsD-002.011Log File SchemascontractsD-002.012Log Schemas: Backend Artifact MappingcontractsD-002.014Log Schemas: Per-Theorem ArtifactscontractsD-002.013Log Schemas: Run-LevelcontractsD-002.009Partial Proof Terms, Assembly Tracking, and Sequential ReplaycontractsD-002.016Tactic Provider Options for Tactic SuggestioncontractsD-002.027ADR IndexdecisionsD-002.017ADR: Checkpoint-Scoped Goal IDsdecisionsD-002.018ADR: Distributed (Cell-View) MCTS RunnerdecisionsD-002.019ADR: Explicit Reference Selection for Lake JobsdecisionsD-002.030ADR: ProofGraphIR for Cross-Assistant AlignmentdecisionsD-002.020ADR: Search-Graph Feasibility by BackenddecisionsD-002.037Wonton Soup PosterfiguresD-002.021CorpusopsD-002.025LakeopsD-002.035PaperopsD-002.023SetupopsD-002.036VerificationopsD-002.001Wonton Soup Docs
Morphogenetic Signatures in Sorting AlgorithmsSPCTR D-0011