erdos-problems 0.1.1 → 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.
- package/README.md +50 -2
- package/data/upstream/erdosproblems/PROBLEMS_INDEX.json +44420 -0
- package/data/upstream/erdosproblems/SYNC_MANIFEST.json +9 -0
- package/data/upstream/erdosproblems/problems.yaml +13077 -0
- package/docs/ERDOS_PROBLEMS_PROBLEM_SCHEMA.md +104 -119
- package/package.json +5 -1
- package/problems/1008/problem.yaml +30 -9
- package/problems/18/problem.yaml +31 -10
- package/problems/20/problem.yaml +30 -8
- package/problems/536/problem.yaml +30 -8
- package/problems/542/problem.yaml +30 -9
- package/problems/856/problem.yaml +30 -8
- package/problems/857/problem.yaml +31 -9
- package/problems/89/problem.yaml +30 -9
- package/src/atlas/catalog.js +78 -140
- package/src/cli/index.js +16 -1
- package/src/commands/bootstrap.js +81 -0
- package/src/commands/dossier.js +19 -11
- package/src/commands/problem.js +94 -5
- package/src/commands/scaffold.js +60 -0
- package/src/commands/upstream.js +60 -0
- package/src/commands/workspace.js +2 -0
- package/src/runtime/files.js +37 -0
- package/src/runtime/paths.js +64 -0
- package/src/runtime/problem-artifacts.js +150 -0
- package/src/runtime/workspace.js +7 -7
- package/src/upstream/sync.js +272 -0
package/README.md
CHANGED
|
@@ -16,14 +16,30 @@ Official binary:
|
|
|
16
16
|
|
|
17
17
|
## Current shape
|
|
18
18
|
|
|
19
|
-
- atlas layer
|
|
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
|
|
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
|
|
23
24
|
|
|
24
25
|
Seeded problems:
|
|
25
26
|
- `18`, `20`, `89`, `536`, `542`, `856`, `857`, `1008`
|
|
26
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
|
|
42
|
+
|
|
27
43
|
## CLI
|
|
28
44
|
|
|
29
45
|
```bash
|
|
@@ -31,14 +47,46 @@ erdos problem list
|
|
|
31
47
|
erdos problem list --cluster sunflower
|
|
32
48
|
erdos problem list --repo-status historical
|
|
33
49
|
erdos problem list --harness-depth deep
|
|
50
|
+
erdos problem list --site-status solved
|
|
34
51
|
erdos problem use 857
|
|
35
52
|
erdos problem show
|
|
53
|
+
erdos problem artifacts 857
|
|
54
|
+
erdos problem artifacts 857 --json
|
|
36
55
|
erdos cluster list
|
|
37
56
|
erdos cluster show sunflower
|
|
38
57
|
erdos workspace show
|
|
39
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
|
|
40
65
|
```
|
|
41
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
|
+
|
|
42
90
|
## Notes
|
|
43
91
|
|
|
44
92
|
- `erdos-problems` is the canonical npm package name.
|