erdos-problems 0.3.0 → 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.
- package/README.md +175 -2
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -60,7 +60,7 @@ Install:
|
|
|
60
60
|
npm install -g erdos-problems
|
|
61
61
|
```
|
|
62
62
|
|
|
63
|
-
|
|
63
|
+
If you already know the problem you want, the fastest path is:
|
|
64
64
|
|
|
65
65
|
```bash
|
|
66
66
|
erdos bootstrap problem 857
|
|
@@ -69,7 +69,7 @@ erdos sunflower ready 857
|
|
|
69
69
|
erdos workspace show --json
|
|
70
70
|
```
|
|
71
71
|
|
|
72
|
-
|
|
72
|
+
If you want to start from a new local seed:
|
|
73
73
|
|
|
74
74
|
```bash
|
|
75
75
|
erdos seed problem 25 --cluster number-theory
|
|
@@ -77,6 +77,179 @@ erdos problem show 25
|
|
|
77
77
|
erdos checkpoints sync
|
|
78
78
|
```
|
|
79
79
|
|
|
80
|
+
## Beginner Flow
|
|
81
|
+
|
|
82
|
+
This is the zero-assumption path for a new user.
|
|
83
|
+
|
|
84
|
+
### 1. Install the CLI once
|
|
85
|
+
|
|
86
|
+
```bash
|
|
87
|
+
npm install -g erdos-problems
|
|
88
|
+
```
|
|
89
|
+
|
|
90
|
+
This gives you a global `erdos` command. The workspace state it creates is local to the folder you are in.
|
|
91
|
+
|
|
92
|
+
### 2. Make a clean working folder
|
|
93
|
+
|
|
94
|
+
```bash
|
|
95
|
+
mkdir erdos-work
|
|
96
|
+
cd erdos-work
|
|
97
|
+
```
|
|
98
|
+
|
|
99
|
+
Later, the CLI will create a local `.erdos/` directory here for workspace state, checkpoints, ORP files, and pulled artifacts.
|
|
100
|
+
|
|
101
|
+
### 3. Browse everything first
|
|
102
|
+
|
|
103
|
+
```bash
|
|
104
|
+
erdos problem list
|
|
105
|
+
```
|
|
106
|
+
|
|
107
|
+
Use this when you do not yet know a problem number or cluster.
|
|
108
|
+
|
|
109
|
+
### 4. Inspect one problem in plain English
|
|
110
|
+
|
|
111
|
+
```bash
|
|
112
|
+
erdos problem show 857
|
|
113
|
+
```
|
|
114
|
+
|
|
115
|
+
This shows the title, status, cluster, short statement, and research-state posture for that problem.
|
|
116
|
+
|
|
117
|
+
### 5. Learn the families only after that
|
|
118
|
+
|
|
119
|
+
```bash
|
|
120
|
+
erdos cluster list
|
|
121
|
+
erdos cluster show sunflower
|
|
122
|
+
```
|
|
123
|
+
|
|
124
|
+
Once you know what a cluster is, you can narrow the atlas:
|
|
125
|
+
|
|
126
|
+
```bash
|
|
127
|
+
erdos problem list --cluster sunflower
|
|
128
|
+
```
|
|
129
|
+
|
|
130
|
+
### 6. Start a workspace on a well-packaged problem
|
|
131
|
+
|
|
132
|
+
```bash
|
|
133
|
+
erdos bootstrap problem 857
|
|
134
|
+
```
|
|
135
|
+
|
|
136
|
+
What this does:
|
|
137
|
+
- creates `.erdos/` in the current folder
|
|
138
|
+
- activates the problem locally
|
|
139
|
+
- syncs the ORP kit
|
|
140
|
+
- scaffolds the workspace for the next research move
|
|
141
|
+
|
|
142
|
+
### 7. Orient yourself immediately
|
|
143
|
+
|
|
144
|
+
```bash
|
|
145
|
+
erdos workspace show
|
|
146
|
+
erdos state show
|
|
147
|
+
erdos problem artifacts 857 --json
|
|
148
|
+
```
|
|
149
|
+
|
|
150
|
+
Use these to understand the workspace layout, current route/frontier state, and the artifact surface that already exists for the problem.
|
|
151
|
+
|
|
152
|
+
### 8. Run the first honest-state sync
|
|
153
|
+
|
|
154
|
+
```bash
|
|
155
|
+
erdos orp sync
|
|
156
|
+
erdos state sync
|
|
157
|
+
erdos preflight
|
|
158
|
+
```
|
|
159
|
+
|
|
160
|
+
This refreshes the protocol kit, recomputes local research state, and checks whether the workspace is in a sane posture to continue.
|
|
161
|
+
|
|
162
|
+
### 9. Set your continuation mode
|
|
163
|
+
|
|
164
|
+
```bash
|
|
165
|
+
erdos continuation show
|
|
166
|
+
erdos continuation use route
|
|
167
|
+
```
|
|
168
|
+
|
|
169
|
+
For most new users, `route` is the right default. It keeps the loop focused on the current route instead of bouncing between surfaces.
|
|
170
|
+
|
|
171
|
+
### 10. Sync checkpoints before doing real work
|
|
172
|
+
|
|
173
|
+
```bash
|
|
174
|
+
erdos checkpoints sync
|
|
175
|
+
```
|
|
176
|
+
|
|
177
|
+
This writes the checkpoint shelf and keeps the workspace history honest.
|
|
178
|
+
|
|
179
|
+
### 11. Look at the actual frontier
|
|
180
|
+
|
|
181
|
+
```bash
|
|
182
|
+
erdos sunflower status 857
|
|
183
|
+
erdos sunflower frontier 857
|
|
184
|
+
erdos sunflower ready 857
|
|
185
|
+
```
|
|
186
|
+
|
|
187
|
+
This is where the problem becomes actionable instead of just descriptive.
|
|
188
|
+
|
|
189
|
+
### 12. Drill down to the next unit of work
|
|
190
|
+
|
|
191
|
+
```bash
|
|
192
|
+
erdos sunflower routes 857
|
|
193
|
+
erdos sunflower ticket 857 T10
|
|
194
|
+
erdos sunflower atom 857 T10.G3.A2
|
|
195
|
+
```
|
|
196
|
+
|
|
197
|
+
That is the real research loop:
|
|
198
|
+
- inspect route
|
|
199
|
+
- inspect ticket
|
|
200
|
+
- inspect atom
|
|
201
|
+
- do the next honest move
|
|
202
|
+
|
|
203
|
+
### 13. Close the loop cleanly
|
|
204
|
+
|
|
205
|
+
```bash
|
|
206
|
+
erdos state sync
|
|
207
|
+
erdos checkpoints sync
|
|
208
|
+
erdos workspace show
|
|
209
|
+
```
|
|
210
|
+
|
|
211
|
+
If the problem is not already deeply packaged, use one-step local seeding instead of bootstrapping:
|
|
212
|
+
|
|
213
|
+
```bash
|
|
214
|
+
erdos seed problem 25 --cluster number-theory
|
|
215
|
+
erdos preflight
|
|
216
|
+
erdos continuation use route
|
|
217
|
+
erdos checkpoints sync
|
|
218
|
+
erdos workspace show
|
|
219
|
+
```
|
|
220
|
+
|
|
221
|
+
In that flow, the seeded dossier is written under `.erdos/seeded-problems/<id>/` and enters the same state/checkpoint loop as packaged dossiers.
|
|
222
|
+
|
|
223
|
+
## Daily Loop
|
|
224
|
+
|
|
225
|
+
Once a workspace already exists, this is the main operating loop:
|
|
226
|
+
|
|
227
|
+
```bash
|
|
228
|
+
erdos state sync
|
|
229
|
+
erdos preflight
|
|
230
|
+
erdos continuation use route
|
|
231
|
+
erdos checkpoints sync
|
|
232
|
+
erdos workspace show
|
|
233
|
+
```
|
|
234
|
+
|
|
235
|
+
Then inspect the current frontier and active unit of work:
|
|
236
|
+
|
|
237
|
+
```bash
|
|
238
|
+
erdos sunflower frontier 857
|
|
239
|
+
erdos sunflower atom 857 T10.G3.A2
|
|
240
|
+
```
|
|
241
|
+
|
|
242
|
+
After a real step, sync checkpoints again:
|
|
243
|
+
|
|
244
|
+
```bash
|
|
245
|
+
erdos checkpoints sync
|
|
246
|
+
```
|
|
247
|
+
|
|
248
|
+
The guiding rule is simple:
|
|
249
|
+
- inspect frontier
|
|
250
|
+
- work the next honest move
|
|
251
|
+
- checkpoint at honest boundaries
|
|
252
|
+
|
|
80
253
|
Initialize or resume a paper bundle:
|
|
81
254
|
|
|
82
255
|
```bash
|