erdos-problems 0.1.1 → 0.1.3

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 (29) hide show
  1. package/README.md +70 -2
  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 +119 -116
  6. package/package.json +5 -1
  7. package/problems/1008/problem.yaml +30 -9
  8. package/problems/18/problem.yaml +31 -10
  9. package/problems/20/problem.yaml +30 -8
  10. package/problems/536/problem.yaml +30 -8
  11. package/problems/542/problem.yaml +30 -9
  12. package/problems/856/problem.yaml +30 -8
  13. package/problems/857/problem.yaml +31 -9
  14. package/problems/89/problem.yaml +30 -9
  15. package/src/atlas/catalog.js +78 -140
  16. package/src/cli/index.js +20 -1
  17. package/src/commands/bootstrap.js +81 -0
  18. package/src/commands/dossier.js +19 -11
  19. package/src/commands/problem.js +94 -5
  20. package/src/commands/pull.js +203 -0
  21. package/src/commands/scaffold.js +60 -0
  22. package/src/commands/upstream.js +60 -0
  23. package/src/commands/workspace.js +3 -0
  24. package/src/runtime/files.js +37 -0
  25. package/src/runtime/paths.js +72 -0
  26. package/src/runtime/problem-artifacts.js +150 -0
  27. package/src/runtime/workspace.js +9 -7
  28. package/src/upstream/site.js +80 -0
  29. package/src/upstream/sync.js +272 -0
package/README.md CHANGED
@@ -16,14 +16,47 @@ Official binary:
16
16
 
17
17
  ## Current shape
18
18
 
19
- - 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, scaffolds, and pull bundles
20
22
  - sunflower cluster as the first deep harness pack
21
- - lightweight `.erdos/` workspace state for active-problem selection
22
23
  - seeded atlas now includes open and solved problems beyond sunflower
24
+ - unseeded problems can still be pulled into a workspace from the bundled upstream snapshot
23
25
 
24
26
  Seeded problems:
25
27
  - `18`, `20`, `89`, `536`, `542`, `856`, `857`, `1008`
26
28
 
29
+ ## First-run flow
30
+
31
+ ```bash
32
+ erdos problem list --cluster sunflower
33
+ erdos bootstrap problem 857
34
+ erdos problem artifacts 857 --json
35
+ erdos dossier show 857
36
+ ```
37
+
38
+ What `bootstrap` does:
39
+ - sets the active workspace problem
40
+ - scaffolds the canonical dossier files into `.erdos/scaffolds/<id>/`
41
+ - includes the upstream record when a bundled or workspace snapshot is available
42
+ - gives an agent a ready-to-read local artifact bundle immediately after install
43
+
44
+ ## Pull bundles
45
+
46
+ For any problem number in the upstream snapshot, you can create a workspace bundle even if the problem is not yet seeded locally:
47
+
48
+ ```bash
49
+ erdos pull problem 857
50
+ erdos pull problem 999 --include-site
51
+ erdos pull problem 999 --refresh-upstream
52
+ ```
53
+
54
+ What `pull` does:
55
+ - creates `.erdos/pulls/<id>/`
56
+ - includes the upstream record when available
57
+ - includes the local canonical dossier too when the problem is seeded locally
58
+ - can optionally add a live site snapshot and plain-text extract
59
+
27
60
  ## CLI
28
61
 
29
62
  ```bash
@@ -31,14 +64,49 @@ erdos problem list
31
64
  erdos problem list --cluster sunflower
32
65
  erdos problem list --repo-status historical
33
66
  erdos problem list --harness-depth deep
67
+ erdos problem list --site-status solved
34
68
  erdos problem use 857
35
69
  erdos problem show
70
+ erdos problem artifacts 857
71
+ erdos problem artifacts 857 --json
36
72
  erdos cluster list
37
73
  erdos cluster show sunflower
38
74
  erdos workspace show
39
75
  erdos dossier show
76
+ erdos upstream show
77
+ erdos upstream sync
78
+ erdos upstream diff
79
+ erdos scaffold problem 857
80
+ erdos bootstrap problem 857
81
+ erdos bootstrap problem 857 --sync-upstream
82
+ erdos pull problem 857
83
+ erdos pull problem 857 --include-site
40
84
  ```
41
85
 
86
+ ## Canonical Sources
87
+
88
+ - local atlas truth: `problems/<id>/problem.yaml`
89
+ - bundled upstream snapshot: `data/upstream/erdosproblems/`
90
+ - workspace upstream snapshot: `.erdos/upstream/erdosproblems/`
91
+ - live upstream repo: `https://github.com/teorth/erdosproblems`
92
+ - live public site: `https://www.erdosproblems.com/`
93
+
94
+ ## Agent-facing artifact model
95
+
96
+ For each seeded problem, the canonical local dossier lives in `problems/<id>/`:
97
+ - `problem.yaml`
98
+ - `STATEMENT.md`
99
+ - `REFERENCES.md`
100
+ - `EVIDENCE.md`
101
+ - `FORMALIZATION.md`
102
+
103
+ The CLI can surface these directly:
104
+ - `erdos problem artifacts <id>` shows the canonical inventory
105
+ - `erdos problem artifacts <id> --json` emits machine-readable inventory
106
+ - `erdos scaffold problem <id>` copies the seeded dossier into the active workspace
107
+ - `erdos bootstrap problem <id>` selects the problem and creates the scaffold in one step
108
+ - `erdos pull problem <id>` creates a workspace bundle for any problem in the upstream snapshot
109
+
42
110
  ## Notes
43
111
 
44
112
  - `erdos-problems` is the canonical npm package name.