SPECTER LABS
Document Cabinet

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

equational-theories-distillationSPCTR A-0102
A-010.004ApproachA-010.002Public Benchmark Notes
Material Memory in Physical CollectivesSPCTR D-0044
D-004.003Article FramingD-004.001Experiment MatrixD-004.002Metric SpecD-004.004Next Experiment Batch
lean-mcts-learningSPCTR A-0061
A-006.001Modal LoRA Plan for Wonton-Soup Tactic Provider
lean-sorry-repos-benchmarkSPCTR A-0027
A-002.001Benchmark Card (Draft): `goal_to_tactic_proposal_v1`A-002.002Data Card (Draft): Lean Sorry Benchmark IndexA-002.003OpenRouter Throttling Run Notes (2026-03-01)A-002.004Release Equivalents (External Benchmarks)A-002.005Release Notes TemplateA-002.006Replay Runtime ImageA-002.007Submission Policy (Beta)
lean-tactic-representationSPCTR A-0042
A-004.001General Algebraic Tactic Calculus SpecA-004.002Theorem Agenda for the General Algebraic Tactic Calculus
Lenia SwarmSPCTR D-00321
D-003.002Artifact Layout ContractcontractsD-003.003Compendium SQLite SchemacontractsD-003.004Ecology ExportcontractsD-003.005Local CLI Harness (`LeniaCLI 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 LanesinternalsD-003.019Species Knobs for Glider SearchinternalsD-003.012Studio Compendium InternalsinternalsD-003.013EcologyuniverseD-003.014GlossaryuniverseD-003.015MorphologyuniverseD-003.016PhysicsuniverseD-003.017PrimeruniverseD-003.018TaxonomyuniverseD-003.001lenia-swarm docs
Wonton Soup: Proof Structures Under InterventionsSPCTR B-00132
D-002.002Analysis Lexicon (Wonton-Soup)conceptsD-002.003Analysis Metrics ReferenceconceptsD-002.004Attractor Metrics for Proof SearchconceptsD-002.005Distributed MCTS SemanticsconceptsD-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.021Corpus PipelineopsD-002.031Cross-Assistant Alignment (Diagnostic)opsD-002.032Cross-Assistant Paired Benchmark (Primary Gate)opsD-002.026Follow-Up Run Program (March 2026)opsD-002.022Lake Jobs (Materialized Datasets)opsD-002.023Lean REPL SetupopsD-002.024Log Query CookbookopsD-002.025Run Lake (Cross-Run DuckDB)opsD-002.001Wonton Soup Docs