erdos-problems 0.1.0 → 0.1.2

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 (43) hide show
  1. package/README.md +73 -3
  2. package/data/upstream/erdosproblems/PROBLEMS_INDEX.json +44420 -0
  3. package/data/upstream/erdosproblems/SYNC_MANIFEST.json +9 -0
  4. package/data/upstream/erdosproblems/problems.yaml +13077 -0
  5. package/docs/ERDOS_PROBLEMS_PROBLEM_SCHEMA.md +104 -119
  6. package/package.json +5 -1
  7. package/problems/1008/EVIDENCE.md +4 -0
  8. package/problems/1008/FORMALIZATION.md +5 -0
  9. package/problems/1008/REFERENCES.md +5 -0
  10. package/problems/1008/STATEMENT.md +9 -0
  11. package/problems/1008/problem.yaml +37 -0
  12. package/problems/18/EVIDENCE.md +4 -0
  13. package/problems/18/FORMALIZATION.md +5 -0
  14. package/problems/18/REFERENCES.md +6 -0
  15. package/problems/18/STATEMENT.md +12 -0
  16. package/problems/18/problem.yaml +38 -0
  17. package/problems/20/problem.yaml +30 -8
  18. package/problems/536/problem.yaml +30 -8
  19. package/problems/542/EVIDENCE.md +6 -0
  20. package/problems/542/FORMALIZATION.md +5 -0
  21. package/problems/542/REFERENCES.md +5 -0
  22. package/problems/542/STATEMENT.md +11 -0
  23. package/problems/542/problem.yaml +38 -0
  24. package/problems/856/problem.yaml +30 -8
  25. package/problems/857/problem.yaml +31 -9
  26. package/problems/89/EVIDENCE.md +4 -0
  27. package/problems/89/FORMALIZATION.md +5 -0
  28. package/problems/89/REFERENCES.md +6 -0
  29. package/problems/89/STATEMENT.md +10 -0
  30. package/problems/89/problem.yaml +37 -0
  31. package/src/atlas/catalog.js +83 -72
  32. package/src/cli/index.js +16 -1
  33. package/src/commands/bootstrap.js +81 -0
  34. package/src/commands/dossier.js +19 -11
  35. package/src/commands/problem.js +117 -8
  36. package/src/commands/scaffold.js +60 -0
  37. package/src/commands/upstream.js +60 -0
  38. package/src/commands/workspace.js +2 -0
  39. package/src/runtime/files.js +37 -0
  40. package/src/runtime/paths.js +64 -0
  41. package/src/runtime/problem-artifacts.js +150 -0
  42. package/src/runtime/workspace.js +7 -7
  43. package/src/upstream/sync.js +272 -0
package/README.md CHANGED
@@ -2,26 +2,96 @@
2
2
 
3
3
  CLI atlas and staged research harness for Paul Erdos problems.
4
4
 
5
+ ## Install
6
+
7
+ ```bash
8
+ npm install -g erdos-problems
9
+ ```
10
+
11
+ Official package:
12
+ - `erdos-problems`
13
+
14
+ Official binary:
15
+ - `erdos`
16
+
5
17
  ## Current shape
6
18
 
7
- - atlas layer for seeded Erdos problems
19
+ - atlas layer with canonical local `problems/<id>/problem.yaml` records
20
+ - bundled upstream snapshot from `teorth/erdosproblems`
21
+ - workspace `.erdos/` state for active-problem selection, upstream refreshes, reports, and scaffolds
8
22
  - sunflower cluster as the first deep harness pack
9
- - initial seeded problems: `20`, `536`, `856`, `857`
10
- - lightweight `.erdos/` workspace state for active-problem selection
23
+ - seeded atlas now includes open and solved problems beyond sunflower
24
+
25
+ Seeded problems:
26
+ - `18`, `20`, `89`, `536`, `542`, `856`, `857`, `1008`
27
+
28
+ ## First-run flow
29
+
30
+ ```bash
31
+ erdos problem list --cluster sunflower
32
+ erdos bootstrap problem 857
33
+ erdos problem artifacts 857
34
+ erdos dossier show 857
35
+ ```
36
+
37
+ What `bootstrap` does:
38
+ - sets the active workspace problem
39
+ - scaffolds the canonical dossier files into `.erdos/scaffolds/<id>/`
40
+ - includes the upstream record when a bundled or workspace snapshot is available
41
+ - gives an agent a ready-to-read local artifact bundle immediately after install
11
42
 
12
43
  ## CLI
13
44
 
14
45
  ```bash
15
46
  erdos problem list
16
47
  erdos problem list --cluster sunflower
48
+ erdos problem list --repo-status historical
49
+ erdos problem list --harness-depth deep
50
+ erdos problem list --site-status solved
17
51
  erdos problem use 857
18
52
  erdos problem show
53
+ erdos problem artifacts 857
54
+ erdos problem artifacts 857 --json
19
55
  erdos cluster list
20
56
  erdos cluster show sunflower
21
57
  erdos workspace show
22
58
  erdos dossier show
59
+ erdos upstream show
60
+ erdos upstream sync
61
+ erdos upstream diff
62
+ erdos scaffold problem 857
63
+ erdos bootstrap problem 857
64
+ erdos bootstrap problem 857 --sync-upstream
23
65
  ```
24
66
 
67
+ ## Canonical Sources
68
+
69
+ - local atlas truth: `problems/<id>/problem.yaml`
70
+ - bundled upstream snapshot: `data/upstream/erdosproblems/`
71
+ - workspace upstream snapshot: `.erdos/upstream/erdosproblems/`
72
+ - live upstream repo: `https://github.com/teorth/erdosproblems`
73
+ - live public site: `https://www.erdosproblems.com/`
74
+
75
+ ## Agent-facing artifact model
76
+
77
+ For each seeded problem, the canonical local dossier lives in `problems/<id>/`:
78
+ - `problem.yaml`
79
+ - `STATEMENT.md`
80
+ - `REFERENCES.md`
81
+ - `EVIDENCE.md`
82
+ - `FORMALIZATION.md`
83
+
84
+ The CLI can surface these directly:
85
+ - `erdos problem artifacts <id>` shows the canonical inventory
86
+ - `erdos problem artifacts <id> --json` emits machine-readable inventory
87
+ - `erdos scaffold problem <id>` copies the bundle into the active workspace
88
+ - `erdos bootstrap problem <id>` selects the problem and creates the scaffold in one step
89
+
90
+ ## Notes
91
+
92
+ - `erdos-problems` is the canonical npm package name.
93
+ - The compact unscoped alias `erdosproblems` is not publishable because npm rejects it as too similar to `erdos-problems`.
94
+
25
95
  ## Docs
26
96
 
27
97
  - `docs/ERDOS_PROBLEMS_REPO_SPEC.md`