erdos-problems 0.2.9 → 0.3.0

package/docs/ERDOS_PROBLEMS_REPO_SPEC.md

@@ -1,6 +1,6 @@
 # Erdos Problems Repo Spec
 
-Last updated: 2026-03-25
+Last updated: 2026-03-30
 
 ## Purpose
 
@@ -26,7 +26,7 @@ Targets:
 It is not:
 - a raw mirror of `sunflower-coda`
 - a generic research framework
-- a place where local route state silently overwrites public upstream truth
+- a place where local route state silently overwrites imported public evidence
 
 ## Core model
 
@@ -36,15 +36,31 @@ The repo has three layers.
 
 All seeded Erdős problems live here with canonical local dossiers.
 
-### 2. Upstream truth layer
+### 2. External import layer
 
-The package ships a bundled snapshot of `teorth/erdosproblems` and can refresh a workspace-local snapshot.
+The package can carry a bundled external atlas snapshot and refresh a workspace-local import snapshot for reconciliation and seeding.
 
 ### 3. Harness layer
 
 Selected problem families get deeper pack-specific context.
 The first pack is `sunflower`.
 
+## Collaboration model
+
+The GitHub repo is the central public collaboration space.
+
+- canonical dossiers live under `problems/<id>/`
+- pack-specific packets live under `packs/<family>/`
+- CLI/runtime behavior lives under `src/`
+- local runtime state lives under `.erdos/` and should not be treated as canonical repo truth
+
+The npm package is the installable distribution channel, not the only collaboration surface.
+
+- the package ships the CLI, bundled external import snapshot, canonical dossiers, and packaged pack assets
+- repo-only directories such as `research/`, `formal/`, `paper/`, `imports/`, and `analysis/` may hold deeper public material without shipping in npm
+- the public repo may also contain contribution guides, issue templates, maintainer notes, and other repo-only collaboration files that do not need to ship in the npm tarball
+- workspace-local external imports should be explicit and inspectable
+
 ## Repository shape
 
 ```text
@@ -66,6 +82,13 @@ erdos-problems/
       README.md
       problems/<id>/
       compute/<id>/
+  research/
+    problems/<id>/
+  formal/
+    lean/
+  paper/
+  imports/
+  analysis/
   data/upstream/erdosproblems/
   docs/
 ```
@@ -108,8 +131,8 @@ Each canonical seeded dossier contains:
 `erdos maintainer seed problem <id>` promotes a pulled bundle into a canonical local dossier.
 
 This is the disciplined bridge from:
-- public upstream/site truth
-- to local canonical dossier truth
+- imported public site / atlas evidence
+- to canonical local dossier truth
 
 ## Sunflower pack model
 
@@ -160,15 +183,16 @@ erdos sunflower status 857 --json
 
 ## Canonical truth split
 
-Public upstream truth:
+Canonical repo truth:
+- `SproutSeeds/erdos-problems`
+- `problems/<id>/problem.yaml`
+- dossier markdown files beside it
+
+External import sources:
 - `teorth/erdosproblems`
 - `data/problems.yaml`
 - `erdosproblems.com`
 
-Local atlas truth:
-- `problems/<id>/problem.yaml`
-- dossier markdown files beside it
-
 Local harness truth:
 - research state
 - checkpoints

package/docs/PAPER_WRITER_MODE.md

@@ -0,0 +1,118 @@
+# Paper Writer Mode
+
+Last updated: 2026-03-30
+
+## Purpose
+
+`erdos paper init <id>` creates or resumes a paper bundle for a problem.
+
+The goal is to make paper writing:
+
+- public-safe
+- claim-safe
+- citation-safe
+- resumable
+- legible to both humans and agents
+
+## Commands
+
+```bash
+erdos paper init [<id>] [--dest <path>] [--json]
+erdos paper show [<id>] [--dest <path>] [--json]
+```
+
+Behavior:
+
+- if run inside `SproutSeeds/erdos-problems`, the default bundle destination is `paper/problems/<id>/`
+- otherwise the default bundle destination is `.erdos/papers/<id>/`
+- rerunning `erdos paper init` updates the machine-readable indexes and fills missing files without overwriting existing section drafts
+
+## Bundle Contract
+
+Every initialized bundle includes:
+
+- `MANIFEST.json`
+- `PUBLIC_EVIDENCE_INDEX.json`
+- `SECTION_INDEX.json`
+- `README.md`
+- `WRITER_BRIEF.md`
+- `SECTION_STATUS.md`
+- `OUTLINE.md`
+- `STYLE_GUIDE.md`
+- `PRIVACY_REVIEW.md`
+- `CITATION_LEDGER.md`
+- section draft files
+
+Current section draft set:
+
+- `ABSTRACT.md`
+- `INTRODUCTION.md`
+- `PRELIMINARIES.md`
+- `RELATED_WORK.md`
+- `MAIN_RESULTS.md`
+- `PROOF_OVERVIEW.md`
+- `PROOF_DETAILS.md`
+- `COMPUTATIONAL_AND_FORMAL_EVIDENCE.md`
+- `LIMITATIONS_AND_OPEN_PROBLEMS.md`
+
+## Safety Model
+
+### Privacy
+
+The generated bundle should be safe to commit to the public repo.
+
+Rules:
+
+- no secrets
+- no credentials
+- no private correspondence
+- no local absolute filesystem paths
+- no unpublished private notes treated as paper evidence
+
+To support this, the generated indexes store repo-relative paths whenever possible and omit local-only paths from the committed data model.
+
+### Claim Safety
+
+The bundle assumes the paper may describe an open route rather than a finished proof.
+
+Rules:
+
+- theorem language only for claims actually supported by the current public record
+- computational evidence stays computational
+- formalization posture stays distinct from proof posture
+- open seams stay visible
+- unresolved tasks must land in `LIMITATIONS_AND_OPEN_PROBLEMS.md`
+
+### Citation Discipline
+
+External claims should enter the paper only through `CITATION_LEDGER.md`.
+
+Rules:
+
+- log the source before relying on it in prose
+- use exact identifiers whenever possible
+- treat imported atlas records as provenance, not canonical authority
+
+## Agent Workflow
+
+Recommended loop:
+
+1. Read `MANIFEST.json`.
+2. Read `PUBLIC_EVIDENCE_INDEX.json`.
+3. Read `SECTION_INDEX.json`.
+4. Update `OUTLINE.md` and `SECTION_STATUS.md`.
+5. Add external sources to `CITATION_LEDGER.md`.
+6. Draft or refine one section file at a time.
+7. Run the checklist in `PRIVACY_REVIEW.md` before release.
+
+## Current Scope
+
+This first slice gives the repo a structured paper-writing surface.
+
+It does not yet:
+
+- auto-import the full deep paper archive from `sunflower-coda`
+- auto-resolve literature citations from external databases into final bibliography form
+- emit a final LaTeX source tree or journal-targeted template
+
+Those are natural next steps once the deeper public research migration is in place.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "erdos-problems",
-  "version": "0.2.9",
+  "version": "0.3.0",
   "description": "CLI atlas and workspace tools for Paul Erdos problems.",
   "type": "module",
   "bin": {

package/packs/sunflower/compute/20/u3_uniform_transfer_window_v0.yaml

@@ -8,7 +8,8 @@ price_checked_local_date: 2026-03-25
 recommendation: local_scout_first
 approval_required: false
 summary: Problem 20 now has a frozen local-scout packet for the uniform k=3 transfer window. The job is to verify a small explicit reduction bundle before any paid compute rung is considered.
-source_repo: /Volumes/Code_2TB/code/sunflower-coda/repo
+source_repo:
+  name: sunflower-coda
 public_feature: uniform_k3_frontier
 rungs:
   - label: local_scout

package/problems/1/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 1 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 1 against its pull bundle, references, and import provenance before widening claims.

package/problems/1/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #1 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/1/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: yes
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: yes
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.

package/problems/1/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/1
   external_id: "1"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "1"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:24.787Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: open
   site_badge: OPEN
   repo_status: cataloged
-  upstream_status: open
-  upstream_last_update: 2025-08-31
+  imported_status: open
+  imported_last_update: 2025-08-31
 cluster: number-theory
 prize:
   display: $500
@@ -40,5 +40,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: yes
-  upstream_last_update: 2025-08-31
+  imported_state: yes
+  imported_last_update: 2025-08-31

package/problems/1008/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/1008
   external_id: "1008"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "1008"
@@ -13,8 +13,8 @@ status:
   site_status: solved
   site_badge: PROVED (LEAN)
   repo_status: historical
-  upstream_status: proved (Lean)
-  upstream_last_update: 2026-01-17
+  imported_status: proved (Lean)
+  imported_last_update: 2026-01-17
 cluster: graph-theory
 prize:
   display: no
@@ -33,5 +33,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: site-proved-lean
-  upstream_state: no
-  upstream_last_update: 2025-09-10
+  imported_state: no
+  imported_last_update: 2025-09-10

package/problems/18/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/18
   external_id: "18"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "18"
@@ -13,8 +13,8 @@ status:
   site_status: open
   site_badge: OPEN
   repo_status: cataloged
-  upstream_status: open
-  upstream_last_update: 2025-08-31
+  imported_status: open
+  imported_last_update: 2025-08-31
 cluster: number-theory
 prize:
   display: no
@@ -34,5 +34,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: statement-formalized
-  upstream_state: yes
-  upstream_last_update: 2026-03-15
+  imported_state: yes
+  imported_last_update: 2026-03-15

package/problems/19/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 19 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 19 against its pull bundle, references, and import provenance before widening claims.

package/problems/19/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #19 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/19/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: no
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: no
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.

package/problems/19/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/19
   external_id: "19"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "19"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:26.625Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: decidable
   site_badge: DECIDABLE
   repo_status: cataloged
-  upstream_status: decidable
-  upstream_last_update: 2025-08-31
+  imported_status: decidable
+  imported_last_update: 2025-08-31
 cluster: graph-theory
 prize:
   display: $500
@@ -38,5 +38,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31

package/problems/2/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 2 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 2 against its pull bundle, references, and import provenance before widening claims.

package/problems/2/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #2 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/2/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: no
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: no
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.

package/problems/2/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/2
   external_id: "2"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "2"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:25.055Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: disproved
   site_badge: DISPROVED
   repo_status: cataloged
-  upstream_status: disproved
-  upstream_last_update: 2025-08-31
+  imported_status: disproved
+  imported_last_update: 2025-08-31
 cluster: number-theory
 prize:
   display: $1000
@@ -38,5 +38,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31

package/problems/20/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/20
   external_id: "20"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "20"
@@ -13,8 +13,8 @@ status:
   site_status: open
   site_badge: OPEN
   repo_status: active
-  upstream_status: open
-  upstream_last_update: 2025-08-31
+  imported_status: open
+  imported_last_update: 2025-08-31
 cluster: sunflower
 prize:
   display: $1000
@@ -35,8 +35,8 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: active
-  upstream_state: yes
-  upstream_last_update: 2025-08-31
+  imported_state: yes
+  imported_last_update: 2025-08-31
 research_state:
   open_problem: true
   active_route: uniform_k3_frontier

package/problems/21/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 21 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 21 against its pull bundle, references, and import provenance before widening claims.

package/problems/21/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #21 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/21/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: no
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: no
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.

package/problems/21/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/21
   external_id: "21"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "21"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:26.922Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: proved
   site_badge: PROVED
   repo_status: cataloged
-  upstream_status: proved
-  upstream_last_update: 2025-08-31
+  imported_status: proved
+  imported_last_update: 2025-08-31
 cluster: combinatorics
 prize:
   display: $500
@@ -42,5 +42,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31

package/problems/22/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 22 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 22 against its pull bundle, references, and import provenance before widening claims.

package/problems/22/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #22 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/22/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: no
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: no
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.

package/problems/22/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/22
   external_id: "22"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "22"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:27.183Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: proved
   site_badge: PROVED
   repo_status: cataloged
-  upstream_status: proved
-  upstream_last_update: 2025-08-31
+  imported_status: proved
+  imported_last_update: 2025-08-31
 cluster: graph-theory
 prize:
   display: no
@@ -40,5 +40,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31

package/problems/3/AGENT_START.md

@@ -14,4 +14,4 @@ Working assumptions:
 - Harness depth: dossier
 
 First honest move:
-- tighten the local dossier for problem 3 against its pull bundle, references, and upstream provenance before widening claims.
+- tighten the local dossier for problem 3 against its pull bundle, references, and import provenance before widening claims.

package/problems/3/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #3 from a pull bundle.
-- Upstream record included: yes
+- Imported record included: yes
 - Site snapshot included: yes
 - Repo status at seed time: cataloged
 - Harness depth at seed time: dossier

package/problems/3/FORMALIZATION.md

@@ -1,8 +1,8 @@
 # Formalization
 
 - Local status: planned
-- Upstream formalized state: yes
-- Upstream formalized last update: 2025-08-31
+- Imported formalized state: yes
+- Imported formalized last update: 2025-08-31
 
 Seed note:
 - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.