SPECTER LABS
Project Health
  • Generated2026-05-08 10:27Z
  • Visible Projects15
  • Proof Paths Ready0
  • Docs Maps Ready12
  • Release Tracked0
Dossiers
D-001Morphogenetic Signatures in Sorting Algorithms
Statusactive-writing release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence
Docsmap ready 1 published / 1 total
Hubgenerated Open Hub
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Sorting-algorithm dynamics analyzed through mechanistic signatures, perturbations, and robustness assays.

HubRepositoryCabinet Docs
D-002Wonton Soup
Statusactive release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: not-declared publish: no-evidence
Docsmap ready 35 published / 35 total
Hubmanual Open Hub
Last Execno evidence
Last Releasepartial
Activity2026-05-08

Intervention framework for proof-search structure: centralized MCTS maps proof families, basin stability, and search efficiency, while distributed MCTS tests how collective control changes access to that landscape.

HubRepositoryCabinet Docs
D-003Lenia Swarm
Statusactive release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 23 published / 23 total
Hubmanual Open Hub
Last Execno evidence
Last Releasepartial
Activity2026-05-08

Distributed Flow Lenia search, compendium indexing, and replay tools for studying persistent forms and behavior.

HubRepositoryCabinet Docs
D-004Material Memory in Physical Collectives
Statusconcept release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 2 published / 2 total
Hubgenerated Open Hub
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Jolt simulations that compare local material-memory updates against memory-free and damping-only controls.

HubRepositoryCabinet Docs
Addenda
A-001lean-sorry-dataset
Statusoperational release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 1 published / 1 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.

RepositoryCabinet Docs
A-002lean-sorry-repos-benchmark
Statusoperational release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 0 published / 7 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Benchmark harness for Lean `sorry` tactic proposals, with split policy, scoring, and verification protocols.

RepositoryCabinet Docs
A-003tinygrad-benchmarks
Statusconcept release:wip
Proofinformational check: no-evidence smoke: no-evidence build: not-declared
Docsmap ready 2 published / 2 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-29

History-mined benchmark harness for reproducible tinygrad contribution tasks.

RepositoryCabinet Docs
A-004lean-tactic-representation
Statusconcept release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: not-declared
Docsmap ready 0 published / 2 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-29

Algebraic, round-trippable representations of Lean proof-state tactics.

RepositoryCabinet Docs
A-005specter-viz
Statusoperational release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 1 published / 1 total
HubWonton Soup
Last Execno evidence
Last Releasepartial
Activity2026-04-28

WASM-first `egui` component library for dashboard-grade research visualization.

RepositoryCabinet Docs
A-006lean-mcts-learning
Statusoperational release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence
Docs0 published / 1 total
HubWonton Soup
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Offline training and reranking over exported Wonton Soup run traces.

Repository
A-007lean-corpus-extractor
Statusoperational release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: not-declared
Docsmap ready 1 published / 1 total
HubWonton Soup
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Lean-native extractor for deterministic theorem-item JSONL used in Wonton Soup corpus workflows.

RepositoryCabinet Docs
A-008typst-field-manual
Statusoperational release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: not-declared
Docsmap ready 1 published / 1 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-29

Typst template suite for Specter field manuals and public papers, with shared tokens and reproducible build routing.

RepositoryCabinet Docs
A-009k-semantics-reference
Statusactive release:promoted
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence publish: no-evidence
Docsmap ready 2 published / 2 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Implementation for reworking CATWD 2.0 semantics and calibrating K across domains to better understand its properties.

RepositoryCabinet Docs
A-010equational-theories-distillation
Statusactive release:candidate
Proofwaiting check: no-evidence smoke: no-evidence build: no-evidence
Docs0 published / 2 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-29

Compact decision procedure for equational implication over magmas, distilled from the 4694-law implication graph into a sub-10KB offline cheatsheet for SAIR's Stage 1 benchmark.

Repository
A-011Design Tokens
Statusactive release:candidate
Proofwaiting check: no-evidence smoke: not-declared build: not-declared
Docs0 published / 0 total
Hubn/a
Last Execno evidence
Last Releasepartial
Activity2026-04-28

Canonical SPECTER design language specification and multi-target token generation.

Repository