erdos-problems 0.2.0 → 0.2.2

package/README.md

@@ -22,6 +22,8 @@ Official binary:
 - workspace `.erdos/` state for active-problem selection, upstream refreshes, scaffolds, and pull bundles
 - sunflower cluster as the first deep harness pack
 - quartet-aware sunflower context for `20`, `536`, `856`, and `857`
+- number-theory starter cockpit as the first lighter non-sunflower pack
+- graph-theory archive cockpit as the first archive/decision pack outside sunflower
 - packaged atomic/bridge board packets for the full sunflower quartet
 - packaged compute-lane metadata for deep sunflower problems, surfaced directly in the CLI
 - seeded atlas now includes open and solved problems beyond sunflower
@@ -35,7 +37,8 @@ Native dossier count:
 
 Pack coverage:
 - sunflower pack: `4`
-- number-theory starter pack: `2`
+- number-theory starter cockpit: `2`
+- graph-theory archive cockpit: `3`
 
 ## First-run flow
 
@@ -49,6 +52,8 @@ erdos sunflower frontier 857
 erdos sunflower routes 857
 erdos sunflower tickets 857
 erdos dossier show 857
+erdos number-theory status 1
+erdos graph-theory status 1008
 ```
 
 For an unseeded problem, the one-step self-seeding flow is now:
@@ -97,6 +102,7 @@ For any problem number in the upstream snapshot, you can create a workspace bund
 erdos pull problem 857
 erdos pull artifacts 857
 erdos pull literature 857
+erdos pull literature 857 --json
 erdos pull literature 857 --include-crossref --include-openalex
 erdos pull problem 999 --include-site --include-public-search
 erdos pull problem 999 --refresh-upstream
@@ -121,6 +127,7 @@ What the pull lanes do:
 - when `--include-openalex` is used, the literature lane also includes:
   - `OPENALEX_RESULTS.json`
   - `OPENALEX_RESULTS.md`
+- when `--json` is used, the pull command emits an agent-friendly machine summary instead of prose
 
 ## Maintainer seeding
 
@@ -164,8 +171,8 @@ The first deep pack is the sunflower quartet:
 Sunflower problems now ship pack packets:
 - `20`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `FRONTIER_NOTE.md`, `ROUTE_HISTORY.md`, `CHECKPOINT_TEMPLATE.md`, `REPORT_TEMPLATE.md`, `OPS_DETAILS.yaml`
 - `857`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `FRONTIER_NOTE.md`, `ROUTE_HISTORY.md`, `CHECKPOINT_TEMPLATE.md`, `REPORT_TEMPLATE.md`, `OPS_DETAILS.yaml`
-- `536`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `OPS_DETAILS.yaml`
-- `856`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `OPS_DETAILS.yaml`
+- `536`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `FRONTIER_NOTE.md`, `ROUTE_HISTORY.md`, `CHECKPOINT_TEMPLATE.md`, `REPORT_TEMPLATE.md`, `OPS_DETAILS.yaml`
+- `856`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `FRONTIER_NOTE.md`, `ROUTE_HISTORY.md`, `CHECKPOINT_TEMPLATE.md`, `REPORT_TEMPLATE.md`, `OPS_DETAILS.yaml`
 
 Useful sunflower commands:
 
@@ -238,6 +245,52 @@ erdos sunflower status 857 --json
 - records governance and ORP-facing packet context
 - does not silently escalate into paid or unbounded compute
 
+## Number-theory starter cockpit
+
+The first non-sunflower pack is now a light but real cockpit for two number-theory problems:
+- `1`: open starter cockpit around a distinct-subset-sum lower-bound route
+- `2`: archive cockpit around a disproved / counterexample-facing record
+
+Useful number-theory commands:
+
+```bash
+erdos number-theory status 1
+erdos number-theory frontier 1
+erdos number-theory routes 1
+erdos number-theory tickets 1
+erdos number-theory route 1 distinct_subset_sum_lower_bound
+erdos number-theory ticket 1 N1
+erdos number-theory atom 1 N1.G1.A1
+erdos number-theory status 2 --json
+```
+
+The number-theory pack is intentionally lighter than sunflower:
+- no mirrored theorem board yet
+- explicit route/frontier/ticket packet layer
+- honest archive posture for disproved problems
+
+## Graph-theory archive cockpit
+
+The next family pack is a deliberately honest archive/decision cockpit for seeded graph-theory problems:
+- `19`: decision archive cockpit
+- `22`: proof archive cockpit
+- `1008`: Lean-facing proof archive cockpit
+
+Useful graph-theory commands:
+
+```bash
+erdos graph-theory status 19
+erdos graph-theory frontier 22
+erdos graph-theory routes 1008
+erdos graph-theory tickets 1008
+erdos graph-theory status 1008 --json
+```
+
+The graph-theory pack is intentionally archive-first:
+- no fake open frontier for solved or decided problems
+- route/ticket packets exist to preserve archive discipline, not to cosplay theorem pressure
+- the public job is to keep solved/decided records reusable as method exemplars and clean references
+
 ## Archive mode
 
 Solved problems can now be treated as method exemplars instead of dead entries.
@@ -246,6 +299,10 @@ Solved problems can now be treated as method exemplars instead of dead entries.
 erdos problem show 1008
 erdos archive show 1008
 erdos archive scaffold 1008
+erdos number-theory status 1
+erdos number-theory frontier 1
+erdos number-theory routes 1
+erdos number-theory tickets 1
 ```
 
 Archive scaffolds land in:
@@ -291,7 +348,10 @@ erdos problem artifacts 857
 erdos problem artifacts 857 --json
 erdos cluster list
 erdos cluster show sunflower
+erdos cluster show number-theory
+erdos cluster show graph-theory
 erdos workspace show
+erdos workspace show --json
 erdos orp show
 erdos orp sync
 erdos sunflower status 857
@@ -305,6 +365,17 @@ erdos sunflower route 857 anchored_selector_linearization
 erdos sunflower ticket 857 T10
 erdos sunflower atom 857 T10.G3.A2
 erdos sunflower compute run 857
+erdos number-theory status 1
+erdos number-theory frontier 1
+erdos number-theory routes 1
+erdos number-theory tickets 1
+erdos number-theory route 1 distinct_subset_sum_lower_bound
+erdos number-theory ticket 1 N1
+erdos number-theory atom 1 N1.G1.A1
+erdos graph-theory status 1008
+erdos graph-theory frontier 22
+erdos graph-theory routes 1008
+erdos graph-theory tickets 19
 erdos sunflower status --json
 erdos dossier show
 erdos upstream show
@@ -319,6 +390,7 @@ erdos seed problem 25 --cluster number-theory
 erdos pull problem 857
 erdos pull artifacts 857
 erdos pull literature 857
+erdos pull literature 857 --json
 erdos pull literature 857 --include-crossref --include-openalex
 erdos maintainer review problem 25 --from-pull .erdos/pulls/25
 erdos maintainer seed problem 25 --from-pull .erdos/pulls/25 --cluster number-theory
@@ -366,6 +438,19 @@ For sunflower problems, the CLI also surfaces pack-specific artifacts:
 - compute packets under `packs/sunflower/compute/<id>/` when available
 - compute-governance evaluation under `breakthroughs`, surfaced through `erdos sunflower status`
 
+For number-theory starter-cockpit problems, the CLI now also surfaces:
+- pack README context
+- per-problem context files under `packs/number-theory/problems/<id>/`
+- route packets, frontier notes, route histories, checkpoint/report templates, and ops-detail packets
+- route/ticket/atom drill-down packets through `erdos number-theory route|ticket|atom`
+- archive posture for disproved problems through `erdos number-theory status`
+
+For graph-theory archive-cockpit problems, the CLI now also surfaces:
+- pack README context
+- per-problem context files under `packs/graph-theory/problems/<id>/`
+- route packets, frontier notes, route histories, checkpoint/report templates, and ops-detail packets
+- archive and decision posture through `erdos graph-theory status|frontier|routes|tickets`
+
 ## Notes
 
 - `erdos-problems` is the canonical npm package name.

package/docs/RESEARCH_LOOP.md

@@ -85,6 +85,13 @@ For sunflower compute lanes, ORP now sits above `breakthroughs`:
 - the CLI surfaces the selected rung, dispatch action, and the reason compute is admissible
 - this is compute governance and traceability, not an automatic paid or unbounded compute launch
 
+For number-theory starter-cockpit problems:
+- `erdos number-theory status <id>` exposes the current route/frontier posture
+- `erdos number-theory frontier <id>` compresses the honest next move
+- `erdos number-theory routes <id>` exposes the small route table
+- `erdos number-theory tickets <id>` exposes the current ticket/archive packet
+- this is deliberately lighter than the sunflower pack and should stay honest about that
+
 For solved problems:
 - `erdos archive show <id>` exposes archival posture
 - `erdos archive scaffold <id>` creates a method-exemplar bundle under `.erdos/archives/<id>/`

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "erdos-problems",
-  "version": "0.2.0",
+  "version": "0.2.2",
   "description": "CLI atlas and staged research harness for Paul Erdos problems.",
   "type": "module",
   "bin": {

package/packs/graph-theory/README.md

@@ -0,0 +1,17 @@
+# Graph-Theory Pack
+
+Archive and decision cockpit for graph-theory problems in `erdos-problems`.
+
+Current seeded cockpit problems:
+- `19`: decision/archive cockpit around the chromatic-number record
+- `22`: proof archive cockpit around the Ramsey-Turan `K_4` construction record
+- `1008`: Lean-facing proof archive cockpit for the `C_4`-free density problem
+
+Useful commands:
+- `erdos graph-theory status 19`
+- `erdos graph-theory frontier 22`
+- `erdos graph-theory routes 1008`
+- `erdos graph-theory tickets 1008`
+
+Design rule:
+- keep this pack honest as an archive/decision cockpit until a real open graph-theory frontier earns deeper gated flow

package/packs/graph-theory/problems/1008/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 1008 Checkpoint Template
+
+## Lean Archive
+- Solved status wording:
+- Lean-facing artifact frozen:
+- Archive drift risk:
+
+## Next Honest Move
+- 

package/packs/graph-theory/problems/1008/CONTEXT.md

@@ -0,0 +1,9 @@
+# Problem 1008 Graph-Theory Pack Context
+
+Role in pack:
+- Lean-facing proof archive for the `C_4`-free density problem
+- solved graph-theory cockpit rather than a live open frontier
+
+Bootstrap focus:
+- preserve the solved status and Lean-facing badge
+- keep the extremal-graph question and archive references synchronized

package/packs/graph-theory/problems/1008/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 1008 Frontier Note
+
+Problem 1008 is packaged as a Lean-facing proof archive.
+
+Current honest posture:
+- preserve the solved public record
+- keep the `C_4`-free density framing explicit
+- treat improvements here as archive or method-exemplar work, not open-frontier work

package/packs/graph-theory/problems/1008/OPS_DETAILS.yaml

@@ -0,0 +1,25 @@
+packet_id: gt1008_ops_details_v1
+summary: Lean-facing proof archive cockpit packet for the `C_4`-free density result.
+routes:
+  - route_id: c4_free_lean_archive
+    title: "`C_4`-Free Lean Proof Archive"
+    status: closed
+    summary: Keep the solved `C_4`-free density record explicit and preserve the Lean-facing archive posture.
+    why_now: This is the honest archive framing for Problem 1008.
+    next_move: Freeze the best Lean-facing source hook and checkpoint the archive packet.
+tickets:
+  - ticket_id: G1008
+    title: "Tighten the `C_4`-free Lean archive packet"
+    route_id: c4_free_lean_archive
+    status: active
+    summary: Package the solved record clearly enough that the archive stays usable as a method exemplar.
+    current_blocker: The archive still needs a sharper Lean-facing source hook.
+    next_move: Close `G1008.G1.A1`.
+atoms:
+  - atom_id: G1008.G1.A1
+    title: "Freeze the primary Lean-facing archive hook for the `C_4`-free density result"
+    route_id: c4_free_lean_archive
+    ticket_id: G1008
+    status: ready
+    summary: This is the smallest honest archive move for Problem 1008.
+    next_move: Record the best public/formalization hook and checkpoint the archive packet.

package/packs/graph-theory/problems/1008/REPORT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 1008 Report Template
+
+## Archive Summary
+- Lean archive status:
+- Source alignment:
+- Reusable method note:
+
+## Follow-up
+- 

package/packs/graph-theory/problems/1008/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 1008 Route History
+
+- Initial public pack lift: moved the dossier into a graph-theory Lean archive cockpit.
+- Current route: `c4_free_lean_archive`.
+- Honest next improvement: freeze the best Lean-facing source hook and checkpoint the archive packet.

package/packs/graph-theory/problems/1008/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: gt1008_c4_free_lean_archive_v1
+route_id: c4_free_lean_archive
+frontier_claim: Preserve the solved `C_4`-free density record as a Lean-facing archive packet and keep the source trail synchronized with the dossier.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_TEMPLATE.md
+report_packet: REPORT_TEMPLATE.md
+ready_prompts:
+  - Which exact source or formalization hook should anchor the Lean archive packet first?
+  - Which wording best preserves the solved posture without inflating the public claim?
+verification_hook:
+  - erdos graph-theory status 1008
+  - erdos archive show 1008 --json
+  - erdos archive scaffold 1008 --json

package/packs/graph-theory/problems/1008/context.yaml

@@ -0,0 +1,27 @@
+problem_id: "1008"
+family_role: c4_free_lean_archive
+harness_profile: lean_archive_cockpit
+default_active_route: c4_free_lean_archive
+bootstrap_focus: Freeze the `C_4`-free density result as a Lean-facing archive packet and keep the solved status synchronized with the public dossier.
+route_story: Problem 1008 is a formalization-flavored proof archive. The public job is to preserve the solved record, the Lean-facing posture, and the core extremal-graph framing without re-opening a closed problem.
+frontier_label: c4_free_lean_archive
+frontier_detail: Preserve the Lean-facing solved record and the `C_4`-free density framing without widening the claim beyond the public dossier.
+checkpoint_focus: Keep the solved status, Lean-facing archive wording, and main source trail synchronized.
+next_honest_move: Tighten the Lean proof archive note and freeze the best public/formalization source hook for the `C_4`-free density result.
+related_core_problems: []
+literature_focus:
+  - graph theory
+  - extremal graph theory
+  - formalization
+artifact_focus:
+  - STATEMENT.md
+  - REFERENCES.md
+  - FORMALIZATION.md
+question_ledger:
+  open_questions:
+    - Which exact Lean-facing artifact should anchor the archive packet first?
+  active_route_notes:
+    - Treat Problem 1008 as a solved Lean archive, not as a live frontier.
+  route_breakthroughs: []
+  problem_solved:
+    - The public site marks this problem as solved with a Lean-facing badge.

package/packs/graph-theory/problems/19/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 19 Checkpoint Template
+
+## Decision Archive
+- Exact decision posture:
+- Primary source frozen:
+- Public wording preserved:
+
+## Next Honest Move
+- 

package/packs/graph-theory/problems/19/CONTEXT.md

@@ -0,0 +1,9 @@
+# Problem 19 Graph-Theory Pack Context
+
+Role in pack:
+- chromatic-number decision archive
+- graph-theory archive cockpit rather than a live theorem frontier today
+
+Bootstrap focus:
+- keep the public decision posture explicit
+- preserve the best source trail for the record

package/packs/graph-theory/problems/19/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 19 Frontier Note
+
+This is an archive-facing graph-theory packet.
+
+Current honest posture:
+- preserve the public decision status
+- keep the chromatic-number framing explicit
+- do not re-inflate the dossier into an open-problem cockpit

package/packs/graph-theory/problems/19/OPS_DETAILS.yaml

@@ -0,0 +1,25 @@
+packet_id: gt19_ops_details_v1
+summary: Decision/archive cockpit packet for the chromatic-number record.
+routes:
+  - route_id: chromatic_decision_record
+    title: Chromatic Decision Record
+    status: archival
+    summary: Keep the public decision posture and chromatic-number framing synchronized.
+    why_now: This is the honest archive framing for Problem 19 today.
+    next_move: Freeze the best source hook describing the decision record.
+tickets:
+  - ticket_id: G19
+    title: Tighten the chromatic decision archive packet
+    route_id: chromatic_decision_record
+    status: active
+    summary: Package the decision record clearly enough that future agents do not misread the dossier.
+    current_blocker: The primary source hook for the decision posture is still too loose.
+    next_move: Close `G19.G1.A1`.
+atoms:
+  - atom_id: G19.G1.A1
+    title: Freeze the primary chromatic-number decision source hook
+    route_id: chromatic_decision_record
+    ticket_id: G19
+    status: ready
+    summary: This is the smallest honest archive move for Problem 19.
+    next_move: Record the strongest public source hook and checkpoint the archive packet.

package/packs/graph-theory/problems/19/REPORT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 19 Report Template
+
+## Archive Summary
+- Decision posture:
+- Source alignment:
+- Drift risk:
+
+## Follow-up
+- 

package/packs/graph-theory/problems/19/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 19 Route History
+
+- Initial public pack lift: moved the dossier into a graph-theory decision archive cockpit.
+- Current route: `chromatic_decision_record`.
+- Honest next improvement: freeze the best source explaining the decision posture and checkpoint it.

package/packs/graph-theory/problems/19/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: gt19_chromatic_decision_archive_v1
+route_id: chromatic_decision_record
+frontier_claim: Preserve the chromatic-number decision record as a clean archive packet and keep the source trail synchronized with the dossier.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_TEMPLATE.md
+report_packet: REPORT_TEMPLATE.md
+ready_prompts:
+  - Which exact source or note should anchor the decision archive first?
+  - Which wording most clearly prevents future agents from treating this as an open frontier?
+verification_hook:
+  - erdos graph-theory status 19
+  - erdos graph-theory tickets 19
+  - erdos archive show 19 --json

package/packs/graph-theory/problems/19/context.yaml

@@ -0,0 +1,25 @@
+problem_id: "19"
+family_role: chromatic_number_decision_archive
+harness_profile: decision_archive_cockpit
+default_active_route: chromatic_decision_record
+bootstrap_focus: Freeze the exact chromatic-number decision posture, the dossier provenance, and the archive packet without drifting back into open-problem language.
+route_story: Problem 19 is currently best treated as a decision/archive cockpit. The public job is to preserve the decision record and its references cleanly enough that future agents do not mis-handle it as a live open frontier.
+frontier_label: chromatic_decision_record
+frontier_detail: Keep the decision posture and the primary chromatic-number source trail explicit.
+checkpoint_focus: Synchronize the public decision status, archive packet, and primary references every time this dossier is touched.
+next_honest_move: Tighten the decision archive note and freeze the best public-facing source hook for the chromatic-number record.
+related_core_problems: []
+literature_focus:
+  - graph theory
+  - chromatic number
+artifact_focus:
+  - STATEMENT.md
+  - REFERENCES.md
+  - EVIDENCE.md
+question_ledger:
+  open_questions:
+    - Which exact source best explains why the public record marks this problem as decidable?
+  active_route_notes:
+    - Treat Problem 19 as a decision archive, not as a live open frontier.
+  route_breakthroughs: []
+  problem_solved: []

package/packs/graph-theory/problems/22/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 22 Checkpoint Template
+
+## Proof Archive
+- Solved status wording:
+- Primary proof source frozen:
+- Archive drift risk:
+
+## Next Honest Move
+- 

package/packs/graph-theory/problems/22/CONTEXT.md

@@ -0,0 +1,9 @@
+# Problem 22 Graph-Theory Pack Context
+
+Role in pack:
+- Ramsey-Turan proof archive
+- solved graph-theory cockpit rather than a live open frontier
+
+Bootstrap focus:
+- preserve the solved status cleanly
+- keep the extremal-graph framing and reference trail synchronized

package/packs/graph-theory/problems/22/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 22 Frontier Note
+
+Problem 22 is packaged as a proof archive.
+
+Current honest posture:
+- preserve the public solved status
+- keep the Ramsey-Turan framing explicit
+- treat improvements here as archive clarification, not live frontier pressure

package/packs/graph-theory/problems/22/OPS_DETAILS.yaml

@@ -0,0 +1,25 @@
+packet_id: gt22_ops_details_v1
+summary: Proof archive cockpit packet for the Ramsey-Turan `K_4` record.
+routes:
+  - route_id: ramsey_turan_k4_archive
+    title: Ramsey-Turan `K_4` Proof Archive
+    status: archival
+    summary: Keep the solved Ramsey-Turan record explicit and preserve the extremal-graph proof framing.
+    why_now: This is the honest public posture for Problem 22.
+    next_move: Freeze the strongest proof reference and checkpoint the archive packet.
+tickets:
+  - ticket_id: G22
+    title: Tighten the Ramsey-Turan proof archive packet
+    route_id: ramsey_turan_k4_archive
+    status: active
+    summary: Package the solved record clearly enough that agents cannot mistake it for an open frontier.
+    current_blocker: The archive still needs a stronger primary proof hook.
+    next_move: Close `G22.G1.A1`.
+atoms:
+  - atom_id: G22.G1.A1
+    title: Freeze the primary solved-reference hook for the Ramsey-Turan record
+    route_id: ramsey_turan_k4_archive
+    ticket_id: G22
+    status: ready
+    summary: This is the smallest honest archive move for Problem 22.
+    next_move: Record the strongest public proof hook and checkpoint the archive packet.

package/packs/graph-theory/problems/22/REPORT_TEMPLATE.md

@@ -0,0 +1,9 @@
+# Problem 22 Report Template
+
+## Archive Summary
+- Proof archive status:
+- Source alignment:
+- Remaining clarification work:
+
+## Follow-up
+- 

package/packs/graph-theory/problems/22/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 22 Route History
+
+- Initial public pack lift: moved the dossier into a graph-theory proof archive cockpit.
+- Current route: `ramsey_turan_k4_archive`.
+- Honest next improvement: freeze the best source trail and keep the solved wording maximally clear.

package/packs/graph-theory/problems/22/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: gt22_ramsey_turan_proof_archive_v1
+route_id: ramsey_turan_k4_archive
+frontier_claim: Preserve the solved Ramsey-Turan `K_4` record as a proof archive packet and keep the strongest reference trail explicit.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_TEMPLATE.md
+report_packet: REPORT_TEMPLATE.md
+ready_prompts:
+  - Which exact proof reference should anchor the archive packet first?
+  - Which wording best prevents agents from drifting back into open-problem language here?
+verification_hook:
+  - erdos graph-theory status 22
+  - erdos graph-theory frontier 22
+  - erdos archive show 22 --json

package/packs/graph-theory/problems/22/context.yaml

@@ -0,0 +1,26 @@
+problem_id: "22"
+family_role: ramsey_turan_proof_archive
+harness_profile: proof_archive_cockpit
+default_active_route: ramsey_turan_k4_archive
+bootstrap_focus: Freeze the solved Ramsey-Turan `K_4` record as a proof archive and keep its dossier wording aligned with the public solved status.
+route_story: Problem 22 is a proof archive cockpit. The public job is to preserve the solved status, the Ramsey-Turan framing, and the main source trail without pretending there is a live frontier here.
+frontier_label: ramsey_turan_k4_archive
+frontier_detail: Preserve the affirmative proof posture and the extremal graph framing without blurring it into an open program.
+checkpoint_focus: Keep the proof archive wording, the public solved status, and the main source trail synchronized.
+next_honest_move: Tighten the Ramsey-Turan proof archive note and freeze the strongest source hook for the solved record.
+related_core_problems: []
+literature_focus:
+  - graph theory
+  - Ramsey-Turan theory
+artifact_focus:
+  - STATEMENT.md
+  - REFERENCES.md
+  - EVIDENCE.md
+question_ledger:
+  open_questions:
+    - Which exact reference should anchor the proof archive packet first?
+  active_route_notes:
+    - Treat Problem 22 as a proof archive, not as a live open cockpit.
+  route_breakthroughs: []
+  problem_solved:
+    - The public site marks this problem as proved.

package/packs/number-theory/README.md

@@ -1,13 +1,20 @@
 # Number Theory Pack
 
-This is the first non-sunflower family-pack scaffold in `erdos-problems`.
+Light starter cockpit for number-theory problems in `erdos-problems`.
 
-Current posture:
-- dossier-first
-- route-light
-- no deep board/compute loop yet
+Current seeded cockpit problems:
+- `1`: open starter cockpit around a distinct-subset-sum lower-bound route
+- `2`: counterexample/archive cockpit for a disproved covering-systems problem
 
-Why it exists:
-- keep a clean home for reusable number-theory context
-- prove the core/pack split scales beyond sunflower
-- let selected number-theory problems accumulate pack context before they earn deeper gated flows
+Useful commands:
+- `erdos number-theory status 1`
+- `erdos number-theory frontier 1`
+- `erdos number-theory routes 1`
+- `erdos number-theory tickets 1`
+- `erdos number-theory route 1 distinct_subset_sum_lower_bound`
+- `erdos number-theory ticket 1 N1`
+- `erdos number-theory atom 1 N1.G1.A1`
+- `erdos number-theory status 2 --json`
+
+Design rule:
+- keep this pack lighter than sunflower until a deeper theorem-board frontier is honestly earned

package/packs/number-theory/problems/1/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 1 Checkpoint Template
+
+- Active route:
+- Exact lower-bound reduction touched:
+- New reference/evidence frozen:
+- Public-status drift checked:
+- Next honest move:

package/packs/number-theory/problems/1/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 1 Frontier Note
+
+This is a starter cockpit, not a deep theorem board.
+
+The honest live route is the distinct-subset-sum lower-bound route:
+- keep the problem statement exact
+- keep the additive lower-bound framing explicit
+- do not widen this into a generic additive-combinatorics program

package/packs/number-theory/problems/1/OPS_DETAILS.yaml

@@ -0,0 +1,25 @@
+packet_id: nt1_ops_details_v1
+summary: Starter cockpit packet for the distinct-subset-sum lower-bound route.
+routes:
+  - route_id: distinct_subset_sum_lower_bound
+    title: Distinct Subset-Sum Lower Bound
+    status: active
+    summary: Keep the problem centered on the exponential-growth lower-bound route implied by distinct subset sums.
+    why_now: This is the smallest honest route that turns the dossier into a real cockpit.
+    next_move: Freeze the first exact reduction and connect it to the canonical references.
+tickets:
+  - ticket_id: N1
+    title: Freeze the lower-bound route note
+    route_id: distinct_subset_sum_lower_bound
+    status: active
+    summary: Turn the starter dossier into a stable lower-bound cockpit.
+    current_blocker: The first exact reduction and evidence stack are not yet frozen together.
+    next_move: Close `N1.G1.A1`.
+atoms:
+  - atom_id: N1.G1.A1
+    title: Freeze the first exact lower-bound reduction and its reference hook
+    route_id: distinct_subset_sum_lower_bound
+    ticket_id: N1
+    status: ready
+    summary: This is the smallest honest move that upgrades the dossier into a route-aware cockpit.
+    next_move: Record the first reduction and checkpoint it without overclaiming theorem progress.

package/packs/number-theory/problems/1/REPORT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 1 Report Template
+
+- Route:
+- What changed:
+- What remains open:
+- Verification hook:
+- Archive or promote: