SPECTER LABS
Document Cabinet

Technical documentation for the lab's public research programs, including contracts, decisions, and reference material.

equational-theories-distillationSPCTR A-103
A-10.0035.4 Pro Review PacketA-10.001External Review NotesA-10.002Public Benchmark Notes
Material Memory in Physical CollectivesSPCTR D-44
D-4.003Article FramingD-4.001Experiment MatrixD-4.002Metric SpecD-4.004Next Experiment Batch
lean-mcts-learningSPCTR A-61
A-6.001Modal LoRA Plan for Wonton-Soup Tactic Provider
lean-sorry-repos-benchmarkSPCTR A-27
A-2.001Benchmark Card (Draft): `goal_to_tactic_proposal_v1`A-2.002Data Card (Draft): Lean Sorry Benchmark IndexA-2.003OpenRouter Throttling Run Notes (2026-03-01)A-2.004Release Equivalents (External Benchmarks)A-2.005Release Notes TemplateA-2.006Replay Runtime ImageA-2.007Submission Policy (Beta)
lean-tactic-representationSPCTR A-42
A-4.001General Algebraic Tactic Calculus SpecA-4.002Theorem Agenda for the General Algebraic Tactic Calculus
Lenia SwarmSPCTR D-321
D-3.002Artifact Layout ContractcontractsD-3.003Compendium SQLite SchemacontractsD-3.004Ecology ExportcontractsD-3.005Local CLI Harness (`LeniaCLI local`)contractsD-3.006Morphometrics and Trait PolicycontractsD-3.007Reproducibility ContractcontractsD-3.020Research ModescontractsD-3.008ADR-001: Taxonomy Columns Exist, Assignment DeferreddecisionsD-3.009ADR-002: Exact Compendium Schema Version EnforcementdecisionsD-3.010FlowLenia.swift Parameter MappinginternalsD-3.011Indexer InternalsinternalsD-3.021Paper-Grounded LanesinternalsD-3.019Species Knobs for Glider SearchinternalsD-3.012Studio Compendium InternalsinternalsD-3.013EcologyuniverseD-3.014GlossaryuniverseD-3.015MorphologyuniverseD-3.016PhysicsuniverseD-3.017PrimeruniverseD-3.018TaxonomyuniverseD-3.001lenia-swarm docs
Wonton SoupSPCTR D-232
D-2.002Analysis Lexicon (Wonton-Soup)conceptsD-2.003Analysis Metrics ReferenceconceptsD-2.004Attractor Metrics for Proof SearchconceptsD-2.005Distributed MCTS SemanticsconceptsD-2.006Goal Identity, Deduplication, and Preview/CommitconceptsD-2.028ProofGraphIRconceptsD-2.029TacticActionIRconceptsD-2.007UCB1 and Blind-Uniform Search in Wonton-SoupconceptsD-2.008Analysis Artifacts ReferencecontractsD-2.015DeepSeek Provider SettingscontractsD-2.010Distributed MCTS Trace Event DictionarycontractsD-2.011Log File SchemascontractsD-2.012Log Schemas: Backend Artifact MappingcontractsD-2.014Log Schemas: Per-Theorem ArtifactscontractsD-2.013Log Schemas: Run-LevelcontractsD-2.009Partial Proof Terms, Assembly Tracking, and Sequential ReplaycontractsD-2.016Tactic Provider Options for Tactic SuggestioncontractsD-2.027ADR IndexdecisionsD-2.017ADR: Checkpoint-Scoped Goal IDsdecisionsD-2.018ADR: Distributed (Cell-View) MCTS RunnerdecisionsD-2.019ADR: Explicit Reference Selection for Lake JobsdecisionsD-2.030ADR: ProofGraphIR for Cross-Assistant AlignmentdecisionsD-2.020ADR: Search-Graph Feasibility by BackenddecisionsD-2.021Corpus PipelineopsD-2.031Cross-Assistant Alignment (Diagnostic)opsD-2.032Cross-Assistant Paired Benchmark (Primary Gate)opsD-2.026Follow-Up Run Program (March 2026)opsD-2.022Lake Jobs (Materialized Datasets)opsD-2.023Lean REPL SetupopsD-2.024Log Query CookbookopsD-2.025Run Lake (Cross-Run DuckDB)opsD-2.001Wonton Soup Docs