Scientific Memory turns structured science into machine-checkable artifacts—corpus papers, Lean formalizations, executable kernels, and a portal that renders exclusively from canonical JSON—and this index serves as the entry point for contributors, integrators, and reviewers.
| Document | Audience | What you get |
|---|---|---|
| contributor-playbook.md | Contributors | Setup, local checks, add a paper, review, releases |
| CONTRIBUTING.md | Contributors | Rules and required validation |
| architecture.md | Contributors | Monorepo layout and validation flow |
| SPEC.md | Maintainers / designers | Product and engineering specification |
Optional integration with pcs-core imports signed releases, renders evidence in the portal, and publishes benchmark output for pcs-bench.
| Document | Purpose |
|---|---|
| pcs/README.md | Hub (quick start, release checklist, CI) |
| pcs/import-and-releases.md | Import bundles and full releases |
| pcs/benchmark-producer.md | Produce pcs_bench_ingest.v0.json |
| pcs/bench-ingest-contract.md | Ingest schema and validation |
| pcs/portal-rendering.md | Claim page layout contract |
Legacy paths (PCS_PRODUCER.md, pcs-labtrust-import.md, etc.) redirect into docs/pcs/.
| Document | Purpose |
|---|---|
| paper-intake.md | Admitting papers and optional metadata |
| metrics.md | Derived metrics and benchmark tasks |
| generated-artifacts.md | Generated files and how they are produced |
| pipeline-extension-points.md | Extending pipeline stages |
| reference/trust-boundary-and-extraction.md | Canonical vs suggestion artifacts |
| status/repo-snapshot.md | Generated corpus snapshot (just repo-snapshot) |
| ROADMAP.md | Planned versions and content targets |
| Document | Purpose |
|---|---|
| maintainers.md | Public launch, branch protection, triage |
| infra/README.md | CI workflows and required checks |
| infra/release-policy.md | Tagged releases and artifacts |
| infra/cache-policy.md | CI cache keys |
| operations/hard-wedge-stress-papers.md | Hard-dimension intake scaffolds |
| Document | Purpose |
|---|---|
| tooling/README.md | Index of optional integrations |
| tooling/mcp-lean-tooling.md | MCP server for Lean declarations |
| tooling/pandoc-latex-integration.md | Pandoc / LaTeX source extraction |
| tooling/prime-intellect-llm.md | Suggest-only LLM proposals (human-gated apply) |
| Document | Purpose |
|---|---|
| testing/trust-hardening-e2e-scenarios.md | Manual trust-boundary scenarios |
| testing/llm-lean-live-test-matrix.md | LLM Lean assist operator matrix |
| testing/llm-human-eval-rubric.md | Human review rubric for LLM sidecars |
| Location | Purpose |
|---|---|
| blueprints/ | Per-paper claim maps (mapping in corpus remains canonical) |
| playbooks/README.md | Role checklists (formalizer, reviewer, domain expander, release manager) |
| adr/ | Architecture decision records |
Public alpha · Local CI · Reuse · Theorem-card review · Verification boundary · Schema migrations · Release integrity · PCS