Specter Labs

Document Cabinet

K Semantics ReferenceA-0092
A-009.001K equations from CATWD 2.0A-009.002CLI and reporting
Lean Corpus ExtractorA-0071
A-007.001Lean Corpus Extractor
Lean Sorry DatasetA-0011
A-001.001Lean Sorry Dataset
Lenia SwarmD-00312
D-003.001Lenia Swarm docsstart hereD-003.017Primerstart hereD-003.005Running a local sweepstart hereD-003.022Config mapstart hereD-003.003The compendiumcontractsD-003.010FlowLenia.swift parameter mappinginternalsD-003.013EcologyuniverseD-003.015Morphology and morphometricsuniverseD-003.018TaxonomyuniverseD-003.019Species knobs for glider searchinternalsD-003.020Paper reproductionscontractsD-003.026Flow coordinates and the reference regression
Specter VizA-0051
A-005.001Specter Viz
tinygrad BenchmarksA-0032
A-003.001Benchmark cardA-003.002Task selection
Typst Field ManualA-0081
A-008.003Typst Field Manual
Wonton SoupD-00223
D-002.001Wonton Soup docsstart hereD-002.002Analysis lexiconstart hereD-002.003Analysis metrics referencestart hereD-002.011Log file schemasstart hereD-002.004Attractor metrics for proof searchconceptsD-002.005Distributed MCTSconceptsD-002.006Goal identity, deduplication, and preview/commitconceptsD-002.007UCB1 and blind-uniform searchconceptsD-002.008Analysis artifacts referencecontractsD-002.009Partial proof terms, assembly tracking, and sequential replaycontractsD-002.010Distributed MCTS trace event dictionarycontractsD-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.028ProofGraphIRconceptsD-002.029TacticActionIRconceptsD-002.030ADR: ProofGraphIR for cross-assistant alignmentdecisionsD-002.037Wonton Soup posterfigures
Self-sorting arraysD-0011
D-001.001Self-sorting arrays