erdos-problems 0.2.0 → 0.2.2

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

@@ -0,0 +1,5 @@
+# Problem 1 Route History
+
+- Initial public pack posture: dossier-first seed.
+- Current public pack posture: starter cockpit around the distinct-subset-sum lower-bound route.
+- Next maturity threshold: freeze the first exact reduction or historical lower-bound checkpoint before adding deeper pack machinery.

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

@@ -0,0 +1,13 @@
+route_packet_id: nt1_distinct_subset_sum_lower_bound_v1
+route_id: distinct_subset_sum_lower_bound
+frontier_claim: Preserve the exponential-growth lower-bound route for distinct subset sums and keep the first honest reduction explicit.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_TEMPLATE.md
+report_packet: REPORT_TEMPLATE.md
+ready_prompts:
+  - Which exact lower-bound reduction should be frozen first for the distinct-subset-sum route?
+  - Which reference or historical bound is still missing from the canonical dossier?
+verification_hook:
+  - erdos number-theory status 1
+  - erdos number-theory routes 1
+  - erdos problem artifacts 1 --json

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

@@ -1,13 +1,13 @@
 problem_id: "1"
 family_role: additive_number_theory_seed
-harness_profile: dossier_seed_pack
-default_active_route: additive_structure_seed
-bootstrap_focus: Freeze the exact problem statement, the local dossier, and the first honest additive-number-theory route sketch.
-route_story: This problem currently lives in dossier-first mode inside the number-theory pack.
-frontier_label: dossier_seed_frontier
-frontier_detail: Tighten the statement, references, and first route sketch before pretending there is a deeper frontier engine here.
-checkpoint_focus: Preserve provenance and route honesty while the pack remains dossier-first.
-next_honest_move: Seed the first real route note and keep the public-status review current.
+harness_profile: starter_cockpit
+default_active_route: distinct_subset_sum_lower_bound
+bootstrap_focus: Freeze the exact problem statement, the local dossier, and the first honest lower-bound route for distinct subset sums.
+route_story: This problem now has a starter cockpit whose job is to keep the lower-bound route explicit without pretending we already have a deep theorem engine.
+frontier_label: distinct_subset_sum_lower_bound
+frontier_detail: Keep the problem anchored to the binary-growth lower-bound route and freeze the exact first reduction before widening claims.
+checkpoint_focus: Preserve provenance, the exact lower-bound route, and the open-problem boundary in every checkpoint.
+next_honest_move: Freeze the first additive lower-bound route note and tighten the evidence stack around the distinct-subset-sum hypothesis.
 related_core_problems: []
 literature_focus:
   - additive number theory
@@ -18,8 +18,8 @@ artifact_focus:
   - EVIDENCE.md
 question_ledger:
   open_questions:
-    - What is the first honest additive-number-theory route worth freezing for problem 1?
+    - What is the first exact lower-bound reduction worth freezing for the distinct-subset-sum route?
   active_route_notes:
-    - Keep this problem dossier-first until a real pack-specific route is earned.
+    - Keep the active route tied to distinct subset sums and exponential-growth pressure, not generic additive chatter.
   route_breakthroughs: []
   problem_solved: []

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

@@ -0,0 +1,7 @@
+# Problem 2 Checkpoint Template
+
+- Archive route:
+- Disproval/counterexample reference touched:
+- Public wording checked:
+- Method lesson captured:
+- Next honest move:

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

@@ -0,0 +1,8 @@
+# Problem 2 Archive Note
+
+This is not a live open-problem frontier.
+
+The honest posture is:
+- preserve the disproval cleanly
+- keep the references synchronized
+- package the problem as a counterexample/method archive instead of a live cockpit

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

@@ -0,0 +1,25 @@
+packet_id: nt2_ops_details_v1
+summary: Archive cockpit packet for the disproved covering-systems problem.
+routes:
+  - route_id: counterexample_archive
+    title: Counterexample Archive
+    status: archival
+    summary: Keep the problem packaged as a disproval archive rather than a live open frontier.
+    why_now: This is the honest public posture for a disproved problem.
+    next_move: Freeze the strongest disproval/counterexample references in the archive packet.
+tickets:
+  - ticket_id: N2
+    title: Tighten the disproval archive packet
+    route_id: counterexample_archive
+    status: active
+    summary: Package the disproval cleanly enough that future agents cannot mistake this for an open problem.
+    current_blocker: The archive packet still needs a sharper reference-centered summary.
+    next_move: Close `N2.G1.A1`.
+atoms:
+  - atom_id: N2.G1.A1
+    title: Freeze the primary disproval reference and method note
+    route_id: counterexample_archive
+    ticket_id: N2
+    status: ready
+    summary: This is the smallest archive improvement that meaningfully clarifies the public dossier.
+    next_move: Record the best disproval reference and checkpoint the archive packet.

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

@@ -0,0 +1,7 @@
+# Problem 2 Report Template
+
+- Archive route:
+- What was clarified:
+- Which disproval/counterexample artifact was frozen:
+- Verification hook:
+- Next archive action:

package/packs/number-theory/problems/2/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 2 Route History
+
+- Initial pack posture: dossier-first seed.
+- Current pack posture: archive cockpit around the counterexample/disproval record.
+- Next maturity threshold: freeze the best archive packet rather than inventing open-frontier pressure.

package/packs/number-theory/problems/2/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: nt2_counterexample_archive_v1
+route_id: counterexample_archive
+frontier_claim: Preserve the disproval and counterexample-facing references cleanly so the problem remains useful as a method exemplar.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_TEMPLATE.md
+report_packet: REPORT_TEMPLATE.md
+ready_prompts:
+  - Which exact disproval reference should be frozen first in the archive packet?
+  - Which method lesson from the counterexample should be made explicit for future number-theory dossiers?
+verification_hook:
+  - erdos number-theory status 2
+  - erdos number-theory routes 2
+  - erdos problem show 2

package/packs/number-theory/problems/2/context.yaml

@@ -1,13 +1,13 @@
 problem_id: "2"
-family_role: additive_number_theory_seed
-harness_profile: dossier_seed_pack
-default_active_route: additive_structure_seed
-bootstrap_focus: Freeze the exact problem statement, local dossier, and first honest additive route sketch.
-route_story: This problem currently lives in dossier-first mode inside the number-theory pack.
-frontier_label: dossier_seed_frontier
-frontier_detail: Keep this number-theory problem in a disciplined dossier-first workflow until a deeper route is honestly earned.
-checkpoint_focus: Preserve provenance and route honesty while the pack remains dossier-first.
-next_honest_move: Seed the first route note and keep the public-status review current.
+family_role: covering_systems_counterexample_archive
+harness_profile: archive_cockpit
+default_active_route: counterexample_archive
+bootstrap_focus: Freeze the exact disproval record, the dossier provenance, and the counterexample-facing archive packet.
+route_story: This problem is not a live open frontier; the honest public job is to preserve the disproval and keep it usable as a method/counterexample exemplar.
+frontier_label: counterexample_archive
+frontier_detail: Preserve the counterexample/archive posture cleanly and avoid drifting back into open-problem language.
+checkpoint_focus: Keep the disproval record, references, and archive packet synchronized.
+next_honest_move: Tighten the counterexample archive note and make the public references impossible to misread as an open frontier.
 related_core_problems: []
 literature_focus:
   - additive number theory
@@ -18,8 +18,8 @@ artifact_focus:
   - EVIDENCE.md
 question_ledger:
   open_questions:
-    - What is the first honest additive-number-theory route worth freezing for problem 2?
+    - Which exact disproval or counterexample references should be frozen first in the archive packet?
   active_route_notes:
-    - Keep this problem dossier-first until a real pack-specific route is earned.
+    - Treat this as an archive cockpit, not a live open-problem route.
   route_breakthroughs: []
   problem_solved: []

package/packs/sunflower/README.md

@@ -19,8 +19,8 @@ Deep route packets:
 - `857` ships `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`
 
 Bridge packets:
-- `536` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `OPS_DETAILS.yaml`
-- `856` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`, `OPS_DETAILS.yaml`
+- `536` ships `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` ships `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`
 
 Public cockpit commands:
 - `erdos sunflower status <id>`

package/packs/sunflower/problems/536/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 536 Checkpoint Template
+
+- Active bridge route:
+- Transfer note clarified:
+- Reference artifact touched:
+- Public-status drift checked:
+- Next honest move:

package/packs/sunflower/problems/536/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 536 Frontier Note
+
+Treat 536 as a bridge problem, not a fake deep proof lane.
+
+The honest live work is:
+- preserve the natural-density LCM analogue statement
+- keep its bridge to `857` explicit
+- tighten public references and transfer notes without pretending the analogue has a theorem-board frontier yet

package/packs/sunflower/problems/536/REPORT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 536 Report Template
+
+- Route:
+- What bridge context changed:
+- What remains dossier-only:
+- Verification hook:
+- Next analogue move:

package/packs/sunflower/problems/536/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 536 Route History
+
+- Initial public posture: dossier bridge with sunflower-family linkage.
+- Current public posture: natural-density analogue bridge with explicit route packet and ops detail packet.
+- Next maturity threshold: freeze stronger transfer notes into `857` before adding deeper pack machinery.

package/packs/sunflower/problems/856/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 856 Checkpoint Template
+
+- Active bridge route:
+- Exponent-transfer note clarified:
+- Reference artifact touched:
+- Public-status drift checked:
+- Next honest move:

package/packs/sunflower/problems/856/FRONTIER_NOTE.md

@@ -0,0 +1,8 @@
+# Problem 856 Frontier Note
+
+Treat 856 as a bridge problem whose value is in clean exponent-transfer context, not a fake theorem frontier.
+
+The honest live work is:
+- preserve the harmonic-density LCM analogue
+- keep the exponent-transfer relationship to `857` explicit
+- improve bridge artifacts and references without overstating proof structure

package/packs/sunflower/problems/856/REPORT_TEMPLATE.md

@@ -0,0 +1,7 @@
+# Problem 856 Report Template
+
+- Route:
+- What bridge context changed:
+- What remains dossier-only:
+- Verification hook:
+- Next analogue move:

package/packs/sunflower/problems/856/ROUTE_HISTORY.md

@@ -0,0 +1,5 @@
+# Problem 856 Route History
+
+- Initial public posture: dossier bridge with weak-sunflower linkage.
+- Current public posture: harmonic-density analogue bridge with explicit route packet and ops detail packet.
+- Next maturity threshold: freeze cleaner exponent-transfer notes into `857` before deepening the pack.

package/src/cli/index.js

@@ -4,7 +4,9 @@ import { runCheckpointsCommand } from '../commands/checkpoints.js';
 import { runClusterCommand } from '../commands/cluster.js';
 import { runContinuationCommand } from '../commands/continuation.js';
 import { runDossierCommand } from '../commands/dossier.js';
+import { runGraphTheoryCommand } from '../commands/graph-theory.js';
 import { runMaintainerCommand } from '../commands/maintainer.js';
+import { runNumberTheoryCommand } from '../commands/number-theory.js';
 import { runOrpCommand } from '../commands/orp.js';
 import { runPreflightCommand } from '../commands/preflight.js';
 import { runProblemCommand } from '../commands/problem.js';
@@ -25,11 +27,22 @@ function printUsage() {
   console.log('  erdos problem use <id>');
   console.log('  erdos problem current');
   console.log('  erdos problem artifacts [<id>] [--json]');
-  console.log('  erdos cluster list');
-  console.log('  erdos cluster show <name>');
-  console.log('  erdos archive show <id>');
-  console.log('  erdos archive scaffold <id>');
-  console.log('  erdos workspace show');
+  console.log('  erdos cluster list [--json]');
+  console.log('  erdos cluster show <name> [--json]');
+  console.log('  erdos archive show <id> [--json]');
+  console.log('  erdos archive scaffold <id> [--json]');
+  console.log('  erdos graph-theory status [<id>] [--json]');
+  console.log('  erdos graph-theory frontier [<id>] [--json]');
+  console.log('  erdos graph-theory routes [<id>] [--json]');
+  console.log('  erdos graph-theory tickets [<id>] [--json]');
+  console.log('  erdos number-theory status [<id>] [--json]');
+  console.log('  erdos number-theory frontier [<id>] [--json]');
+  console.log('  erdos number-theory routes [<id>] [--json]');
+  console.log('  erdos number-theory tickets [<id>] [--json]');
+  console.log('  erdos number-theory route <problem-id> <route-id> [--json]');
+  console.log('  erdos number-theory ticket <problem-id> <ticket-id> [--json]');
+  console.log('  erdos number-theory atom <problem-id> <atom-id> [--json]');
+  console.log('  erdos workspace show [--json]');
   console.log('  erdos orp show [--json]');
   console.log('  erdos orp sync [--json]');
   console.log('  erdos state sync [--json]');
@@ -57,9 +70,9 @@ function printUsage() {
   console.log('  erdos scaffold problem <id> [--dest <path>]');
   console.log('  erdos bootstrap problem <id> [--dest <path>] [--sync-upstream]');
   console.log('  erdos seed problem <id> [--include-site|--no-site] [--include-public-search|--no-public-search] [--refresh-upstream] [--cluster <name>] [--repo-status <status>] [--harness-depth <depth>] [--title <title>] [--family-tag <tag>] [--related <id>] [--formalization-status <status>] [--active-route <route>] [--route-breakthrough] [--problem-solved] [--allow-non-open] [--dest-root <path>] [--no-activate] [--no-loop-sync] [--force] [--json]');
-  console.log('  erdos pull problem <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream]');
-  console.log('  erdos pull artifacts <id> [--dest <path>] [--refresh-upstream]');
-  console.log('  erdos pull literature <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream]');
+  console.log('  erdos pull problem <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream] [--json]');
+  console.log('  erdos pull artifacts <id> [--dest <path>] [--refresh-upstream] [--json]');
+  console.log('  erdos pull literature <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream] [--json]');
   console.log('  erdos maintainer seed problem <id> [--from-pull <path>] [--dest-root <path>] [--cluster <name>] [--allow-non-open]');
   console.log('  erdos maintainer review problem <id> [--from-pull <path>] [--dest-root <path>] [--title <title>]');
 }
@@ -77,6 +90,10 @@ if (!command || command === 'help' || command === '--help') {
   exitCode = runClusterCommand(rest);
 } else if (command === 'archive') {
   exitCode = runArchiveCommand(rest);
+} else if (command === 'graph-theory') {
+  exitCode = runGraphTheoryCommand(rest);
+} else if (command === 'number-theory') {
+  exitCode = runNumberTheoryCommand(rest);
 } else if (command === 'workspace') {
   exitCode = runWorkspaceCommand(rest);
 } else if (command === 'orp') {

package/src/commands/archive.js

@@ -1,7 +1,8 @@
 import { getArchiveView, scaffoldArchive } from '../runtime/archive.js';
 
 export function runArchiveCommand(args) {
-  const [subcommand, problemId] = args;
+  const [subcommand, problemId, ...rest] = args;
+  const asJson = rest.includes('--json');
 
   if (!subcommand || subcommand === 'help' || subcommand === '--help') {
     console.log('Usage:');
@@ -21,6 +22,10 @@ export function runArchiveCommand(args) {
       console.error(`Unknown problem: ${problemId}`);
       return 1;
     }
+    if (asJson) {
+      console.log(JSON.stringify(archive, null, 2));
+      return 0;
+    }
     console.log(`${archive.displayName} archive view`);
     console.log(`Title: ${archive.title}`);
     console.log(`Solved: ${archive.solved ? 'yes' : 'no'}`);
@@ -32,6 +37,10 @@ export function runArchiveCommand(args) {
   if (subcommand === 'scaffold') {
     try {
       const result = scaffoldArchive(problemId);
+      if (asJson) {
+        console.log(JSON.stringify(result, null, 2));
+        return 0;
+      }
       console.log(`Archive scaffold created: ${result.archiveDir}`);
       console.log(`Archive mode: ${result.payload.archiveMode}`);
       return 0;

package/src/commands/cluster.js

@@ -10,11 +10,20 @@ function printCluster(cluster) {
     console.log('  Weak sunflower core: 857');
     console.log('  Strong sunflower sibling: 20');
     console.log('  Related analogues: 536, 856');
+  } else if (cluster.name === 'number-theory') {
+    console.log('  Open starter cockpit: 1');
+    console.log('  Counterexample/archive cockpit: 2');
+    console.log('  Additional dossier seeds: 3, 4, 5, 6, 7, 18, 542');
+  } else if (cluster.name === 'graph-theory') {
+    console.log('  Decision archive cockpit: 19');
+    console.log('  Proof archive cockpit: 22');
+    console.log('  Lean proof archive cockpit: 1008');
   }
 }
 
 export function runClusterCommand(args) {
-  const [subcommand, value] = args;
+  const [subcommand, value, ...rest] = args;
+  const asJson = [value, ...rest].includes('--json');
 
   if (!subcommand || subcommand === 'help' || subcommand === '--help') {
     console.log('Usage:');
@@ -24,6 +33,10 @@ export function runClusterCommand(args) {
   }
 
   if (subcommand === 'list') {
+    if (asJson) {
+      console.log(JSON.stringify(listClusters(), null, 2));
+      return 0;
+    }
     console.log('Clusters:');
     for (const cluster of listClusters()) {
       console.log(`- ${cluster.name}: ${cluster.problems.length} problems, ${cluster.deepHarnessProblems.length} deep-harness`);
@@ -47,6 +60,11 @@ export function runClusterCommand(args) {
     return 1;
   }
 
+  if (asJson) {
+    console.log(JSON.stringify(cluster, null, 2));
+    return 0;
+  }
+
   printCluster(cluster);
   return 0;
 }

package/src/commands/graph-theory.js

@@ -0,0 +1,180 @@
+import { getProblem } from '../atlas/catalog.js';
+import { buildGraphTheoryStatusSnapshot } from '../runtime/graph-theory.js';
+import { readCurrentProblem } from '../runtime/workspace.js';
+
+function resolveGraphTheoryProblem(problemId) {
+  const resolvedId = problemId ?? readCurrentProblem();
+  if (!resolvedId) {
+    return { error: 'Missing problem id and no active problem is selected.' };
+  }
+
+  const problem = getProblem(resolvedId);
+  if (!problem) {
+    return { error: `Unknown problem: ${resolvedId}` };
+  }
+  if (problem.cluster !== 'graph-theory') {
+    return { error: `Problem ${resolvedId} is not in the graph-theory pack.` };
+  }
+  return { problem };
+}
+
+function parseArgs(args) {
+  const parsed = { problemId: null, asJson: false };
+  for (const token of args) {
+    if (token === '--json') {
+      parsed.asJson = true;
+      continue;
+    }
+    if (!parsed.problemId) {
+      parsed.problemId = token;
+      continue;
+    }
+    return { error: `Unknown graph-theory option: ${token}` };
+  }
+  return parsed;
+}
+
+function printStatus(snapshot) {
+  console.log(`${snapshot.displayName} graph-theory harness`);
+  console.log(`Family role: ${snapshot.familyRole}`);
+  console.log(`Harness profile: ${snapshot.harnessProfile}`);
+  console.log(`Site status: ${snapshot.siteStatus}`);
+  console.log(`Archive mode: ${snapshot.archiveMode ?? '(none)'}`);
+  console.log(`Active route: ${snapshot.activeRoute ?? '(none)'}`);
+  console.log(`Route breakthrough: ${snapshot.routeBreakthrough ? 'yes' : 'no'}`);
+  console.log(`Open problem: ${snapshot.openProblem ? 'yes' : 'no'}`);
+  console.log(`Problem solved: ${snapshot.problemSolved ? 'yes' : 'no'}`);
+  console.log(`Frontier label: ${snapshot.frontierLabel}`);
+  console.log(`Frontier detail: ${snapshot.frontierDetail}`);
+  console.log(`Checkpoint focus: ${snapshot.checkpointFocus ?? '(none)'}`);
+  console.log(`Next honest move: ${snapshot.nextHonestMove}`);
+  console.log(`Route packet present: ${snapshot.routePacketPresent ? 'yes' : 'no'}`);
+  if (snapshot.routePacket?.route_packet_id) {
+    console.log(`Route packet id: ${snapshot.routePacket.route_packet_id}`);
+  }
+  console.log(`Frontier note: ${snapshot.frontierNotePresent ? snapshot.frontierNotePath : '(missing)'}`);
+  console.log(`Route history: ${snapshot.routeHistoryPresent ? snapshot.routeHistoryPath : '(missing)'}`);
+  console.log(`Checkpoint template: ${snapshot.checkpointTemplatePresent ? snapshot.checkpointTemplatePath : '(missing)'}`);
+  console.log(`Report template: ${snapshot.reportTemplatePresent ? snapshot.reportTemplatePath : '(missing)'}`);
+  console.log(`Active ticket: ${snapshot.activeTicketDetail?.ticket_id ?? '(none)'}`);
+  console.log(`Ready atoms: ${snapshot.readyAtomCount}`);
+  if (snapshot.firstReadyAtom) {
+    console.log(`First ready atom: ${snapshot.firstReadyAtom.atom_id} — ${snapshot.firstReadyAtom.title}`);
+  }
+}
+
+function printFrontier(snapshot) {
+  console.log(`${snapshot.displayName} graph-theory frontier`);
+  console.log(`Active route: ${snapshot.activeRoute ?? '(none)'}`);
+  console.log(`Frontier label: ${snapshot.frontierLabel}`);
+  console.log(`Frontier detail: ${snapshot.frontierDetail}`);
+  console.log(`Archive mode: ${snapshot.archiveMode ?? '(none)'}`);
+  console.log(`Next honest move: ${snapshot.nextHonestMove}`);
+}
+
+function printRoutes(snapshot) {
+  console.log(`${snapshot.displayName} graph-theory routes`);
+  console.log(`Active route: ${snapshot.activeRoute ?? '(none)'}`);
+  if (!snapshot.opsDetails?.routes?.length) {
+    console.log('Routes: none recorded.');
+    return;
+  }
+  for (const route of snapshot.opsDetails.routes) {
+    const flags = [];
+    if (route.route_id === snapshot.activeRoute) {
+      flags.push('active');
+    }
+    if (route.status && !flags.includes(route.status)) {
+      flags.push(route.status);
+    }
+    console.log(`- ${route.route_id}${flags.length ? ` [${flags.join(', ')}]` : ''}`);
+    if (route.title) {
+      console.log(`  title: ${route.title}`);
+    }
+    if (route.summary) {
+      console.log(`  summary: ${route.summary}`);
+    }
+    if (route.why_now) {
+      console.log(`  why now: ${route.why_now}`);
+    }
+    if (route.next_move) {
+      console.log(`  next move: ${route.next_move}`);
+    }
+  }
+}
+
+function printTickets(snapshot) {
+  console.log(`${snapshot.displayName} graph-theory tickets`);
+  console.log(`Active ticket: ${snapshot.activeTicketDetail?.ticket_id ?? '(none)'}`);
+  if (!snapshot.opsDetails?.tickets?.length) {
+    console.log('Tickets: none recorded.');
+    return;
+  }
+  for (const ticket of snapshot.opsDetails.tickets) {
+    const flags = [];
+    if (ticket.ticket_id === snapshot.activeTicketDetail?.ticket_id) {
+      flags.push('active');
+    }
+    if (ticket.status && !flags.includes(ticket.status)) {
+      flags.push(ticket.status);
+    }
+    console.log(`- ${ticket.ticket_id}${flags.length ? ` [${flags.join(', ')}]` : ''}`);
+    if (ticket.title) {
+      console.log(`  title: ${ticket.title}`);
+    }
+    if (ticket.summary) {
+      console.log(`  summary: ${ticket.summary}`);
+    }
+    if (ticket.current_blocker) {
+      console.log(`  blocker: ${ticket.current_blocker}`);
+    }
+    if (ticket.next_move) {
+      console.log(`  next move: ${ticket.next_move}`);
+    }
+  }
+}
+
+export function runGraphTheoryCommand(args) {
+  const [subcommand, ...rest] = args;
+  if (!subcommand || subcommand === 'help' || subcommand === '--help') {
+    console.log('Usage:');
+    console.log('  erdos graph-theory status [<id>] [--json]');
+    console.log('  erdos graph-theory frontier [<id>] [--json]');
+    console.log('  erdos graph-theory routes [<id>] [--json]');
+    console.log('  erdos graph-theory tickets [<id>] [--json]');
+    return 0;
+  }
+  if (!['status', 'frontier', 'routes', 'tickets'].includes(subcommand)) {
+    console.error(`Unknown graph-theory subcommand: ${subcommand}`);
+    return 1;
+  }
+  const parsed = parseArgs(rest);
+  if (parsed.error) {
+    console.error(parsed.error);
+    return 1;
+  }
+  const { problem, error } = resolveGraphTheoryProblem(parsed.problemId);
+  if (error) {
+    console.error(error);
+    return 1;
+  }
+  const snapshot = buildGraphTheoryStatusSnapshot(problem);
+  if (parsed.asJson) {
+    console.log(JSON.stringify(snapshot, null, 2));
+    return 0;
+  }
+  if (subcommand === 'frontier') {
+    printFrontier(snapshot);
+    return 0;
+  }
+  if (subcommand === 'routes') {
+    printRoutes(snapshot);
+    return 0;
+  }
+  if (subcommand === 'tickets') {
+    printTickets(snapshot);
+    return 0;
+  }
+  printStatus(snapshot);
+  return 0;
+}