erdos-problems 0.2.10 → 0.3.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (73) hide show
  1. package/README.md +220 -23
  2. package/data/upstream/erdosproblems/SYNC_MANIFEST.json +4 -4
  3. package/docs/CANONICAL_REPO_MIGRATION_PLAN.md +279 -0
  4. package/docs/DEEP_RESEARCH_BUNDLE_SPEC.md +129 -0
  5. package/docs/ERDOS_PROBLEMS_PROBLEM_SCHEMA.md +27 -20
  6. package/docs/ERDOS_PROBLEMS_REPO_SPEC.md +22 -13
  7. package/docs/PAPER_WRITER_MODE.md +118 -0
  8. package/package.json +1 -1
  9. package/problems/1/AGENT_START.md +1 -1
  10. package/problems/1/EVIDENCE.md +1 -1
  11. package/problems/1/FORMALIZATION.md +2 -2
  12. package/problems/1/problem.yaml +6 -6
  13. package/problems/1008/problem.yaml +5 -5
  14. package/problems/18/problem.yaml +5 -5
  15. package/problems/19/AGENT_START.md +1 -1
  16. package/problems/19/EVIDENCE.md +1 -1
  17. package/problems/19/FORMALIZATION.md +2 -2
  18. package/problems/19/problem.yaml +6 -6
  19. package/problems/2/AGENT_START.md +1 -1
  20. package/problems/2/EVIDENCE.md +1 -1
  21. package/problems/2/FORMALIZATION.md +2 -2
  22. package/problems/2/problem.yaml +6 -6
  23. package/problems/20/problem.yaml +5 -5
  24. package/problems/21/AGENT_START.md +1 -1
  25. package/problems/21/EVIDENCE.md +1 -1
  26. package/problems/21/FORMALIZATION.md +2 -2
  27. package/problems/21/problem.yaml +6 -6
  28. package/problems/22/AGENT_START.md +1 -1
  29. package/problems/22/EVIDENCE.md +1 -1
  30. package/problems/22/FORMALIZATION.md +2 -2
  31. package/problems/22/problem.yaml +6 -6
  32. package/problems/3/AGENT_START.md +1 -1
  33. package/problems/3/EVIDENCE.md +1 -1
  34. package/problems/3/FORMALIZATION.md +2 -2
  35. package/problems/3/problem.yaml +6 -6
  36. package/problems/4/AGENT_START.md +1 -1
  37. package/problems/4/EVIDENCE.md +1 -1
  38. package/problems/4/FORMALIZATION.md +2 -2
  39. package/problems/4/problem.yaml +6 -6
  40. package/problems/5/AGENT_START.md +1 -1
  41. package/problems/5/EVIDENCE.md +1 -1
  42. package/problems/5/FORMALIZATION.md +2 -2
  43. package/problems/5/problem.yaml +6 -6
  44. package/problems/536/problem.yaml +5 -5
  45. package/problems/542/problem.yaml +5 -5
  46. package/problems/6/AGENT_START.md +1 -1
  47. package/problems/6/EVIDENCE.md +1 -1
  48. package/problems/6/FORMALIZATION.md +2 -2
  49. package/problems/6/problem.yaml +6 -6
  50. package/problems/7/AGENT_START.md +1 -1
  51. package/problems/7/EVIDENCE.md +1 -1
  52. package/problems/7/FORMALIZATION.md +2 -2
  53. package/problems/7/problem.yaml +6 -6
  54. package/problems/856/problem.yaml +5 -5
  55. package/problems/857/problem.yaml +5 -5
  56. package/problems/89/problem.yaml +5 -5
  57. package/src/atlas/catalog.js +6 -5
  58. package/src/cli/index.js +10 -5
  59. package/src/commands/bootstrap.js +1 -1
  60. package/src/commands/dossier.js +1 -1
  61. package/src/commands/maintainer.js +2 -2
  62. package/src/commands/paper.js +147 -0
  63. package/src/commands/problem.js +9 -9
  64. package/src/commands/pull.js +8 -8
  65. package/src/commands/scaffold.js +1 -1
  66. package/src/commands/seed.js +1 -1
  67. package/src/commands/upstream.js +27 -24
  68. package/src/runtime/maintainer-seed.js +12 -12
  69. package/src/runtime/paper.js +720 -0
  70. package/src/runtime/paths.js +16 -0
  71. package/src/runtime/problem-artifacts.js +2 -2
  72. package/src/runtime/state.js +1 -1
  73. package/src/upstream/sync.js +18 -18
package/problems/2/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/2
7
7
  external_id: "2"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "2"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:25.055Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: disproved
20
20
  site_badge: DISPROVED
21
21
  repo_status: cataloged
22
- upstream_status: disproved
23
- upstream_last_update: 2025-08-31
22
+ imported_status: disproved
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: $1000
@@ -38,5 +38,5 @@ evidence_path: EVIDENCE.md
38
38
  formalization_path: FORMALIZATION.md
39
39
  formalization:
40
40
  status: planned
41
- upstream_state: no
42
- upstream_last_update: 2025-08-31
41
+ imported_state: no
42
+ imported_last_update: 2025-08-31
package/problems/20/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/20
7
7
  external_id: "20"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "20"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: open
14
14
  site_badge: OPEN
15
15
  repo_status: active
16
- upstream_status: open
17
- upstream_last_update: 2025-08-31
16
+ imported_status: open
17
+ imported_last_update: 2025-08-31
18
18
  cluster: sunflower
19
19
  prize:
20
20
  display: $1000
@@ -35,8 +35,8 @@ evidence_path: EVIDENCE.md
35
35
  formalization_path: FORMALIZATION.md
36
36
  formalization:
37
37
  status: active
38
- upstream_state: yes
39
- upstream_last_update: 2025-08-31
38
+ imported_state: yes
39
+ imported_last_update: 2025-08-31
40
40
  research_state:
41
41
  open_problem: true
42
42
  active_route: uniform_k3_frontier
package/problems/21/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 21 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 21 against its pull bundle, references, and import provenance before widening claims.
package/problems/21/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #21 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/21/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: no
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: no
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/21/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/21
7
7
  external_id: "21"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "21"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:26.922Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: proved
20
20
  site_badge: PROVED
21
21
  repo_status: cataloged
22
- upstream_status: proved
23
- upstream_last_update: 2025-08-31
22
+ imported_status: proved
23
+ imported_last_update: 2025-08-31
24
24
  cluster: combinatorics
25
25
  prize:
26
26
  display: $500
@@ -42,5 +42,5 @@ evidence_path: EVIDENCE.md
42
42
  formalization_path: FORMALIZATION.md
43
43
  formalization:
44
44
  status: planned
45
- upstream_state: no
46
- upstream_last_update: 2025-08-31
45
+ imported_state: no
46
+ imported_last_update: 2025-08-31
package/problems/22/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 22 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 22 against its pull bundle, references, and import provenance before widening claims.
package/problems/22/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #22 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/22/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: no
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: no
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/22/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/22
7
7
  external_id: "22"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "22"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:27.183Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: proved
20
20
  site_badge: PROVED
21
21
  repo_status: cataloged
22
- upstream_status: proved
23
- upstream_last_update: 2025-08-31
22
+ imported_status: proved
23
+ imported_last_update: 2025-08-31
24
24
  cluster: graph-theory
25
25
  prize:
26
26
  display: no
@@ -40,5 +40,5 @@ evidence_path: EVIDENCE.md
40
40
  formalization_path: FORMALIZATION.md
41
41
  formalization:
42
42
  status: planned
43
- upstream_state: no
44
- upstream_last_update: 2025-08-31
43
+ imported_state: no
44
+ imported_last_update: 2025-08-31
package/problems/3/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 3 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 3 against its pull bundle, references, and import provenance before widening claims.
package/problems/3/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #3 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/3/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: yes
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: yes
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/3/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/3
7
7
  external_id: "3"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "3"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:25.280Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: open
20
20
  site_badge: OPEN
21
21
  repo_status: cataloged
22
- upstream_status: open
23
- upstream_last_update: 2025-08-31
22
+ imported_status: open
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: $5000
@@ -40,5 +40,5 @@ evidence_path: EVIDENCE.md
40
40
  formalization_path: FORMALIZATION.md
41
41
  formalization:
42
42
  status: planned
43
- upstream_state: yes
44
- upstream_last_update: 2025-08-31
43
+ imported_state: yes
44
+ imported_last_update: 2025-08-31
package/problems/4/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 4 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 4 against its pull bundle, references, and import provenance before widening claims.
package/problems/4/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #4 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/4/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: yes
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: yes
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/4/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/4
7
7
  external_id: "4"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "4"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:25.574Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: proved
20
20
  site_badge: PROVED
21
21
  repo_status: cataloged
22
- upstream_status: proved
23
- upstream_last_update: 2025-08-31
22
+ imported_status: proved
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: $10000
@@ -40,5 +40,5 @@ evidence_path: EVIDENCE.md
40
40
  formalization_path: FORMALIZATION.md
41
41
  formalization:
42
42
  status: planned
43
- upstream_state: yes
44
- upstream_last_update: 2025-08-31
43
+ imported_state: yes
44
+ imported_last_update: 2025-08-31
package/problems/5/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 5 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 5 against its pull bundle, references, and import provenance before widening claims.
package/problems/5/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #5 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/5/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: no
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: no
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/5/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/5
7
7
  external_id: "5"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "5"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:25.800Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: open
20
20
  site_badge: OPEN
21
21
  repo_status: cataloged
22
- upstream_status: open
23
- upstream_last_update: 2025-08-31
22
+ imported_status: open
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: no
@@ -39,5 +39,5 @@ evidence_path: EVIDENCE.md
39
39
  formalization_path: FORMALIZATION.md
40
40
  formalization:
41
41
  status: planned
42
- upstream_state: no
43
- upstream_last_update: 2025-08-31
42
+ imported_state: no
43
+ imported_last_update: 2025-08-31
package/problems/536/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/536
7
7
  external_id: "536"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "536"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: open
14
14
  site_badge: OPEN
15
15
  repo_status: active
16
- upstream_status: open
17
- upstream_last_update: 2025-08-31
16
+ imported_status: open
17
+ imported_last_update: 2025-08-31
18
18
  cluster: sunflower
19
19
  prize:
20
20
  display: no
@@ -35,8 +35,8 @@ evidence_path: EVIDENCE.md
35
35
  formalization_path: FORMALIZATION.md
36
36
  formalization:
37
37
  status: planned
38
- upstream_state: yes
39
- upstream_last_update: 2025-11-12
38
+ imported_state: yes
39
+ imported_last_update: 2025-11-12
40
40
  research_state:
41
41
  open_problem: true
42
42
  active_route: natural_density_lcm_bridge
package/problems/542/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/542
7
7
  external_id: "542"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "542"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: solved
14
14
  site_badge: SOLVED
15
15
  repo_status: historical
16
- upstream_status: solved
17
- upstream_last_update: 2025-08-31
16
+ imported_status: solved
17
+ imported_last_update: 2025-08-31
18
18
  cluster: number-theory
19
19
  prize:
20
20
  display: no
@@ -34,5 +34,5 @@ evidence_path: EVIDENCE.md
34
34
  formalization_path: FORMALIZATION.md
35
35
  formalization:
36
36
  status: unstarted
37
- upstream_state: no
38
- upstream_last_update: 2025-08-31
37
+ imported_state: no
38
+ imported_last_update: 2025-08-31
package/problems/6/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 6 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 6 against its pull bundle, references, and import provenance before widening claims.
package/problems/6/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #6 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/6/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: yes
5
- - Upstream formalized last update: 2025-09-18
4
+ - Imported formalized state: yes
5
+ - Imported formalized last update: 2025-09-18
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/6/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/6
7
7
  external_id: "6"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "6"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:26.097Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: proved
20
20
  site_badge: PROVED
21
21
  repo_status: cataloged
22
- upstream_status: proved
23
- upstream_last_update: 2025-08-31
22
+ imported_status: proved
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: $100
@@ -39,5 +39,5 @@ evidence_path: EVIDENCE.md
39
39
  formalization_path: FORMALIZATION.md
40
40
  formalization:
41
41
  status: planned
42
- upstream_state: yes
43
- upstream_last_update: 2025-09-18
42
+ imported_state: yes
43
+ imported_last_update: 2025-09-18
package/problems/7/AGENT_START.md CHANGED
@@ -14,4 +14,4 @@ Working assumptions:
14
14
  - Harness depth: dossier
15
15
 
16
16
  First honest move:
17
- - tighten the local dossier for problem 7 against its pull bundle, references, and upstream provenance before widening claims.
17
+ - tighten the local dossier for problem 7 against its pull bundle, references, and import provenance before widening claims.
package/problems/7/EVIDENCE.md CHANGED
@@ -1,7 +1,7 @@
1
1
  # Evidence
2
2
 
3
3
  - This dossier was seeded for Erdos Problem #7 from a pull bundle.
4
- - Upstream record included: yes
4
+ - Imported record included: yes
5
5
  - Site snapshot included: yes
6
6
  - Repo status at seed time: cataloged
7
7
  - Harness depth at seed time: dossier
package/problems/7/FORMALIZATION.md CHANGED
@@ -1,8 +1,8 @@
1
1
  # Formalization
2
2
 
3
3
  - Local status: planned
4
- - Upstream formalized state: no
5
- - Upstream formalized last update: 2025-08-31
4
+ - Imported formalized state: no
5
+ - Imported formalized last update: 2025-08-31
6
6
 
7
7
  Seed note:
8
8
  - this file was created automatically from a pull bundle and should be upgraded as local formal work begins.
package/problems/7/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/7
7
7
  external_id: "7"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "7"
@@ -13,14 +13,14 @@ provenance:
13
13
  seeded_at: 2026-03-26T04:41:26.332Z
14
14
  seeded_from:
15
15
  kind: pull_bundle
16
- upstream_record_included: true
16
+ imported_record_included: true
17
17
  site_snapshot_included: true
18
18
  status:
19
19
  site_status: verifiable
20
20
  site_badge: VERIFIABLE
21
21
  repo_status: cataloged
22
- upstream_status: verifiable
23
- upstream_last_update: 2025-08-31
22
+ imported_status: verifiable
23
+ imported_last_update: 2025-08-31
24
24
  cluster: number-theory
25
25
  prize:
26
26
  display: no
@@ -38,5 +38,5 @@ evidence_path: EVIDENCE.md
38
38
  formalization_path: FORMALIZATION.md
39
39
  formalization:
40
40
  status: planned
41
- upstream_state: no
42
- upstream_last_update: 2025-08-31
41
+ imported_state: no
42
+ imported_last_update: 2025-08-31
package/problems/856/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/856
7
7
  external_id: "856"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "856"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: open
14
14
  site_badge: OPEN
15
15
  repo_status: active
16
- upstream_status: open
17
- upstream_last_update: 2025-08-31
16
+ imported_status: open
17
+ imported_last_update: 2025-08-31
18
18
  cluster: sunflower
19
19
  prize:
20
20
  display: no
@@ -35,8 +35,8 @@ evidence_path: EVIDENCE.md
35
35
  formalization_path: FORMALIZATION.md
36
36
  formalization:
37
37
  status: planned
38
- upstream_state: no
39
- upstream_last_update: 2025-08-31
38
+ imported_state: no
39
+ imported_last_update: 2025-08-31
40
40
  research_state:
41
41
  open_problem: true
42
42
  active_route: harmonic_density_lcm_bridge
package/problems/857/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/857
7
7
  external_id: "857"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "857"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: open
14
14
  site_badge: OPEN
15
15
  repo_status: active
16
- upstream_status: open
17
- upstream_last_update: 2025-08-31
16
+ imported_status: open
17
+ imported_last_update: 2025-08-31
18
18
  cluster: sunflower
19
19
  prize:
20
20
  display: no
@@ -36,8 +36,8 @@ evidence_path: EVIDENCE.md
36
36
  formalization_path: FORMALIZATION.md
37
37
  formalization:
38
38
  status: active
39
- upstream_state: no
40
- upstream_last_update: 2025-08-31
39
+ imported_state: no
40
+ imported_last_update: 2025-08-31
41
41
  research_state:
42
42
  open_problem: true
43
43
  active_route: anchored_selector_linearization
package/problems/89/problem.yaml CHANGED
@@ -5,7 +5,7 @@ source:
5
5
  site: erdosproblems.com
6
6
  url: https://www.erdosproblems.com/89
7
7
  external_id: "89"
8
- upstream:
8
+ external_source:
9
9
  repo: https://github.com/teorth/erdosproblems
10
10
  data_file: data/problems.yaml
11
11
  number: "89"
@@ -13,8 +13,8 @@ status:
13
13
  site_status: open
14
14
  site_badge: OPEN
15
15
  repo_status: cataloged
16
- upstream_status: open
17
- upstream_last_update: 2025-08-31
16
+ imported_status: open
17
+ imported_last_update: 2025-08-31
18
18
  cluster: geometry
19
19
  prize:
20
20
  display: $500
@@ -33,5 +33,5 @@ evidence_path: EVIDENCE.md
33
33
  formalization_path: FORMALIZATION.md
34
34
  formalization:
35
35
  status: statement-formalized
36
- upstream_state: yes
37
- upstream_last_update: 2025-10-24
36
+ imported_state: yes
37
+ imported_last_update: 2025-10-24