erdos-problems 0.2.10 → 0.3.0

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.

package/problems/3/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/3
   external_id: "3"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "3"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:25.280Z
   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: $5000
@@ -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/4/AGENT_START.md

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

package/problems/4/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #4 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/4/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/4/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/4
   external_id: "4"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "4"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:25.574Z
   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: number-theory
 prize:
   display: $10000
@@ -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/5/AGENT_START.md

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

package/problems/5/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #5 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/5/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/5/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/5
   external_id: "5"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "5"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:25.800Z
   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: no
@@ -39,5 +39,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/536/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/536
   external_id: "536"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "536"
@@ -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: no
@@ -35,8 +35,8 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: yes
-  upstream_last_update: 2025-11-12
+  imported_state: yes
+  imported_last_update: 2025-11-12
 research_state:
   open_problem: true
   active_route: natural_density_lcm_bridge

package/problems/542/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/542
   external_id: "542"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "542"
@@ -13,8 +13,8 @@ status:
   site_status: solved
   site_badge: SOLVED
   repo_status: historical
-  upstream_status: solved
-  upstream_last_update: 2025-08-31
+  imported_status: solved
+  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: unstarted
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31

package/problems/6/AGENT_START.md

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

package/problems/6/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #6 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/6/FORMALIZATION.md

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

package/problems/6/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/6
   external_id: "6"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "6"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:26.097Z
   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: number-theory
 prize:
   display: $100
@@ -39,5 +39,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: planned
-  upstream_state: yes
-  upstream_last_update: 2025-09-18
+  imported_state: yes
+  imported_last_update: 2025-09-18

package/problems/7/AGENT_START.md

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

package/problems/7/EVIDENCE.md

@@ -1,7 +1,7 @@
 # Evidence
 
 - This dossier was seeded for Erdos Problem #7 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/7/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/7/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/7
   external_id: "7"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "7"
@@ -13,14 +13,14 @@ provenance:
   seeded_at: 2026-03-26T04:41:26.332Z
   seeded_from:
     kind: pull_bundle
-    upstream_record_included: true
+    imported_record_included: true
     site_snapshot_included: true
 status:
   site_status: verifiable
   site_badge: VERIFIABLE
   repo_status: cataloged
-  upstream_status: verifiable
-  upstream_last_update: 2025-08-31
+  imported_status: verifiable
+  imported_last_update: 2025-08-31
 cluster: number-theory
 prize:
   display: no
@@ -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/856/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/856
   external_id: "856"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "856"
@@ -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: no
@@ -35,8 +35,8 @@ 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
 research_state:
   open_problem: true
   active_route: harmonic_density_lcm_bridge

package/problems/857/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/857
   external_id: "857"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "857"
@@ -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: no
@@ -36,8 +36,8 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: active
-  upstream_state: no
-  upstream_last_update: 2025-08-31
+  imported_state: no
+  imported_last_update: 2025-08-31
 research_state:
   open_problem: true
   active_route: anchored_selector_linearization

package/problems/89/problem.yaml

@@ -5,7 +5,7 @@ source:
   site: erdosproblems.com
   url: https://www.erdosproblems.com/89
   external_id: "89"
-upstream:
+external_source:
   repo: https://github.com/teorth/erdosproblems
   data_file: data/problems.yaml
   number: "89"
@@ -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: geometry
 prize:
   display: $500
@@ -33,5 +33,5 @@ evidence_path: EVIDENCE.md
 formalization_path: FORMALIZATION.md
 formalization:
   status: statement-formalized
-  upstream_state: yes
-  upstream_last_update: 2025-10-24
+  imported_state: yes
+  imported_last_update: 2025-10-24

package/src/atlas/catalog.js

@@ -14,6 +14,7 @@ function toCatalogProblem(problemDir, record, sourceKind) {
   const referencesRelative = record.references_path ?? 'REFERENCES.md';
   const evidenceRelative = record.evidence_path ?? 'EVIDENCE.md';
   const formalizationRelative = record.formalization_path ?? 'FORMALIZATION.md';
+  const externalSource = record.external_source ?? record.upstream ?? null;
 
   return {
     problemId: String(record.problem_id),
@@ -24,8 +25,8 @@ function toCatalogProblem(problemDir, record, sourceKind) {
     siteStatus: record.status?.site_status ?? 'unknown',
     siteBadge: record.status?.site_badge ?? String(record.status?.site_status ?? 'unknown').toUpperCase(),
     repoStatus: record.status?.repo_status ?? 'cataloged',
-    upstreamStatus: record.status?.upstream_status ?? null,
-    upstreamLastUpdate: record.status?.upstream_last_update ?? null,
+    importedStatus: record.status?.imported_status ?? record.status?.upstream_status ?? null,
+    importedLastUpdate: record.status?.imported_last_update ?? record.status?.upstream_last_update ?? null,
     cluster: record.cluster ?? 'uncategorized',
     prize: record.prize?.display ?? null,
     familyTags: record.family_tags ?? [],
@@ -33,10 +34,10 @@ function toCatalogProblem(problemDir, record, sourceKind) {
     harnessDepth: record.harness?.depth ?? 'dossier',
     shortStatement: record.statement?.short ?? '',
     formalizationStatus: record.formalization?.status ?? 'unstarted',
-    upstreamFormalizedState: record.formalization?.upstream_state ?? null,
-    upstreamFormalizedLastUpdate: record.formalization?.upstream_last_update ?? null,
+    importedFormalizedState: record.formalization?.imported_state ?? record.formalization?.upstream_state ?? null,
+    importedFormalizedLastUpdate: record.formalization?.imported_last_update ?? record.formalization?.upstream_last_update ?? null,
     researchState: record.research_state ?? null,
-    upstream: record.upstream ?? null,
+    externalSource,
     statementPath: path.join(problemDir, statementRelative),
     referencesPath: path.join(problemDir, referencesRelative),
     evidencePath: path.join(problemDir, evidenceRelative),

package/src/cli/index.js

@@ -8,6 +8,7 @@ import { runGraphTheoryCommand } from '../commands/graph-theory.js';
 import { runMaintainerCommand } from '../commands/maintainer.js';
 import { runNumberTheoryCommand } from '../commands/number-theory.js';
 import { runOrpCommand } from '../commands/orp.js';
+import { runPaperCommand } from '../commands/paper.js';
 import { runPreflightCommand } from '../commands/preflight.js';
 import { runProblemCommand } from '../commands/problem.js';
 import { runPullCommand } from '../commands/pull.js';
@@ -45,6 +46,8 @@ function printUsage() {
   console.log('  erdos workspace show [--json]');
   console.log('  erdos orp show [--json]');
   console.log('  erdos orp sync [--json]');
+  console.log('  erdos paper init [<id>] [--dest <path>] [--json]');
+  console.log('  erdos paper show [<id>] [--dest <path>] [--json]');
   console.log('  erdos state sync [--json]');
   console.log('  erdos state show [--json]');
   console.log('  erdos continuation show [--json]');
@@ -63,10 +66,10 @@ function printUsage() {
   console.log('  erdos sunflower atom <problem-id> <atom-id> [--json]');
   console.log('  erdos sunflower compute run [<id>] [--json]');
   console.log('  erdos dossier show <id>');
-  console.log('  erdos upstream show');
-  console.log('  erdos upstream sync [--write-package-snapshot]');
-  console.log('  erdos upstream diff [--write-package-report]');
-  console.log('  erdos upstream drift [<id>] [--include-site] [--json]');
+  console.log('  erdos import show');
+  console.log('  erdos import sync [--write-package-snapshot]');
+  console.log('  erdos import diff [--write-package-report]');
+  console.log('  erdos import drift [<id>] [--include-site] [--json]');
   console.log('  erdos scaffold problem <id> [--dest <path>]');
   console.log('  erdos bootstrap problem <id> [--dest <path>] [--sync-upstream]');
   console.log('  erdos seed problem <id> [--include-site|--no-site] [--include-public-search|--no-public-search] [--refresh-upstream] [--cluster <name>] [--repo-status <status>] [--harness-depth <depth>] [--title <title>] [--family-tag <tag>] [--related <id>] [--formalization-status <status>] [--active-route <route>] [--route-breakthrough] [--problem-solved] [--allow-non-open] [--dest-root <path>] [--no-activate] [--no-loop-sync] [--force] [--json]');
@@ -98,6 +101,8 @@ if (!command || command === 'help' || command === '--help') {
   exitCode = runWorkspaceCommand(rest);
 } else if (command === 'orp') {
   exitCode = runOrpCommand(rest);
+} else if (command === 'paper') {
+  exitCode = runPaperCommand(rest);
 } else if (command === 'state') {
   exitCode = runStateCommand(rest);
 } else if (command === 'continuation') {
@@ -110,7 +115,7 @@ if (!command || command === 'help' || command === '--help') {
   exitCode = runSunflowerCommand(rest);
 } else if (command === 'dossier') {
   exitCode = runDossierCommand(rest);
-} else if (command === 'upstream') {
+} else if (command === 'upstream' || command === 'import') {
   exitCode = await runUpstreamCommand(rest);
 } else if (command === 'scaffold') {
   exitCode = runScaffoldCommand(rest);