erdos-problems 0.1.12 → 0.1.13

package/README.md

@@ -41,6 +41,8 @@ erdos bootstrap problem 857
 erdos problem artifacts 857 --json
 erdos sunflower status 857
 erdos sunflower board 857
+erdos sunflower routes 857
+erdos sunflower tickets 857
 erdos dossier show 857
 ```
 
@@ -153,6 +155,8 @@ erdos sunflower status 536
 erdos sunflower board 536
 erdos sunflower ready 857
 erdos sunflower ladder 20
+erdos sunflower routes 857
+erdos sunflower tickets 857
 erdos sunflower board 857
 erdos sunflower status 857 --json
 ```
@@ -180,6 +184,16 @@ erdos sunflower status 857 --json
 `erdos sunflower ladder` surfaces:
 - the first-principles ladder for the active sunflower board
 
+`erdos sunflower routes` surfaces:
+- the strategic route table for the active sunflower board
+- loose and strict progress for every publicized route
+- which route is the currently active frontier
+
+`erdos sunflower tickets` surfaces:
+- the operational ticket table for the active sunflower board
+- the active ticket, leaf theorem, and gate/atom counts
+- which tickets are closed versus still honest live pressure
+
 ## ORP
 
 `erdos-problems` now ships a bundled Open Research Protocol kit:
@@ -222,6 +236,8 @@ erdos sunflower status 857
 erdos sunflower board 857
 erdos sunflower ready 857
 erdos sunflower ladder 857
+erdos sunflower routes 857
+erdos sunflower tickets 857
 erdos sunflower status --json
 erdos dossier show
 erdos upstream show

package/docs/RESEARCH_LOOP.md

@@ -72,6 +72,8 @@ For sunflower compute lanes, ORP now sits above `breakthroughs`:
 - `erdos sunflower board <id>` exposes the packaged atomic or bridge board for the active sunflower problem
 - `erdos sunflower ready <id>` exposes the dependency-satisfied ready queue for the packaged board
 - `erdos sunflower ladder <id>` exposes the first-principles ladder for the packaged board
+- `erdos sunflower routes <id>` exposes the public route table for the packaged board
+- `erdos sunflower tickets <id>` exposes the ticket table for the packaged board
 - the CLI surfaces the selected rung, dispatch action, and the reason compute is admissible
 - this is compute governance and traceability, not an automatic compute launch
 

package/package.json

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

package/src/cli/index.js

@@ -39,6 +39,8 @@ function printUsage() {
   console.log('  erdos sunflower board [<id>] [--json]');
   console.log('  erdos sunflower ready [<id>] [--json]');
   console.log('  erdos sunflower ladder [<id>] [--json]');
+  console.log('  erdos sunflower routes [<id>] [--json]');
+  console.log('  erdos sunflower tickets [<id>] [--json]');
   console.log('  erdos dossier show <id>');
   console.log('  erdos upstream show');
   console.log('  erdos upstream sync [--write-package-snapshot]');

package/src/commands/sunflower.js

@@ -37,6 +37,60 @@ function parseLadderArgs(args) {
   return parseStatusArgs(args);
 }
 
+function parseRoutesArgs(args) {
+  return parseStatusArgs(args);
+}
+
+function parseTicketsArgs(args) {
+  return parseStatusArgs(args);
+}
+
+function getBoard(snapshot) {
+  return snapshot.atomicBoardSummary;
+}
+
+function getBoardActiveRoute(snapshot) {
+  return snapshot.atomicBoardSummary?.activeRoute ?? snapshot.activeRoute ?? null;
+}
+
+function routeProgressLabel(route, snapshot) {
+  const strictClosed = route.strictTotal > 0 && route.strictDone >= route.strictTotal;
+  const looseClosed = route.looseTotal > 0 && route.looseDone >= route.looseTotal;
+  const activeRoute = getBoardActiveRoute(snapshot);
+
+  if (route.route && route.route === activeRoute) {
+    return strictClosed ? 'active, strict-closed' : 'active';
+  }
+
+  if (strictClosed) {
+    return 'strict-closed';
+  }
+
+  if (looseClosed) {
+    return 'loose-closed';
+  }
+
+  return 'open';
+}
+
+function ticketProgressLabel(ticket, snapshot) {
+  const isActive = snapshot.activeTicket?.ticketId === ticket.ticketId;
+
+  if (isActive && ticket.leafStatus === 'done') {
+    return 'active, closed';
+  }
+
+  if (isActive) {
+    return 'active';
+  }
+
+  if (ticket.leafStatus === 'done') {
+    return 'closed';
+  }
+
+  return 'open';
+}
+
 function printSunflowerStatus(snapshot, registryPaths) {
   console.log(`${snapshot.displayName} sunflower harness`);
   console.log(`Title: ${snapshot.title}`);
@@ -221,7 +275,7 @@ function printSunflowerReady(snapshot) {
 }
 
 function printSunflowerLadder(snapshot) {
-  const board = snapshot.atomicBoardSummary;
+  const board = getBoard(snapshot);
   if (!board) {
     console.log(`${snapshot.displayName} has no packaged sunflower board yet.`);
     return;
@@ -243,6 +297,77 @@ function printSunflowerLadder(snapshot) {
   }
 }
 
+function printSunflowerRoutes(snapshot) {
+  const board = getBoard(snapshot);
+  if (!board) {
+    console.log(`${snapshot.displayName} has no packaged sunflower board yet.`);
+    return;
+  }
+
+  console.log(`${snapshot.displayName} sunflower routes`);
+  console.log(`Board: ${board.boardTitle}`);
+  console.log(`Profile: ${board.boardProfile ?? '(none)'}`);
+  console.log(`Active route: ${getBoardActiveRoute(snapshot) ?? '(none)'}`);
+  console.log(`Route breakthrough: ${snapshot.routeBreakthrough ? 'yes' : 'no'}`);
+  console.log(`Frontier claim: ${board.frontierClaim ?? '(none)'}`);
+  console.log(`Ready atoms: ${snapshot.readyAtomCount}`);
+  console.log(`Mirage frontiers: ${snapshot.mirageFrontierCount}`);
+  if (snapshot.firstReadyAtom) {
+    console.log(`First ready atom: ${snapshot.firstReadyAtom.atomId} — ${snapshot.firstReadyAtom.title}`);
+  }
+
+  if (board.routeStatus.length === 0) {
+    console.log('Route table:');
+    console.log('  (none)');
+    return;
+  }
+
+  console.log('Route table:');
+  for (const route of board.routeStatus) {
+    console.log(
+      `  - ${route.route} [${routeProgressLabel(route, snapshot)}]: `
+      + `loose ${route.looseDone}/${route.looseTotal}, `
+      + `strict ${route.strictDone}/${route.strictTotal}`,
+    );
+  }
+}
+
+function printSunflowerTickets(snapshot) {
+  const board = getBoard(snapshot);
+  if (!board) {
+    console.log(`${snapshot.displayName} has no packaged sunflower board yet.`);
+    return;
+  }
+
+  const closedTickets = board.tickets.filter((ticket) => ticketProgressLabel(ticket, snapshot) === 'closed').length;
+
+  console.log(`${snapshot.displayName} sunflower tickets`);
+  console.log(`Board: ${board.boardTitle}`);
+  console.log(`Active route: ${getBoardActiveRoute(snapshot) ?? '(none)'}`);
+  console.log(`Active ticket: ${snapshot.activeTicket?.ticketId ?? '(none)'}`);
+  console.log(`Closed tickets: ${closedTickets}/${board.tickets.length}`);
+  console.log(`Ready atoms: ${snapshot.readyAtomCount}`);
+  if (snapshot.firstReadyAtom) {
+    console.log(`First ready atom: ${snapshot.firstReadyAtom.atomId} — ${snapshot.firstReadyAtom.title}`);
+  }
+
+  if (board.tickets.length === 0) {
+    console.log('Ticket table:');
+    console.log('  (none)');
+    return;
+  }
+
+  console.log('Ticket table:');
+  for (const ticket of board.tickets) {
+    console.log(
+      `  - ${ticket.ticketId} ${ticket.ticketName} [${ticketProgressLabel(ticket, snapshot)}]: `
+      + `${ticket.routeLeaf ?? '(none)'} `
+      + `[leaf=${ticket.leafStatus ?? '(none)'}, gates=${ticket.gatesDone}/${ticket.gatesTotal}, `
+      + `atoms=${ticket.atomsDone}/${ticket.atomsTotal}]`,
+    );
+  }
+}
+
 export function runSunflowerCommand(args) {
   const [subcommand, ...rest] = args;
 
@@ -252,10 +377,12 @@ export function runSunflowerCommand(args) {
     console.log('  erdos sunflower board [<id>] [--json]');
     console.log('  erdos sunflower ready [<id>] [--json]');
     console.log('  erdos sunflower ladder [<id>] [--json]');
+    console.log('  erdos sunflower routes [<id>] [--json]');
+    console.log('  erdos sunflower tickets [<id>] [--json]');
     return 0;
   }
 
-  if (!['status', 'board', 'ready', 'ladder'].includes(subcommand)) {
+  if (!['status', 'board', 'ready', 'ladder', 'routes', 'tickets'].includes(subcommand)) {
     console.error(`Unknown sunflower subcommand: ${subcommand}`);
     return 1;
   }
@@ -267,6 +394,10 @@ export function runSunflowerCommand(args) {
     parsed = parseReadyArgs(rest);
   } else if (subcommand === 'ladder') {
     parsed = parseLadderArgs(rest);
+  } else if (subcommand === 'routes') {
+    parsed = parseRoutesArgs(rest);
+  } else if (subcommand === 'tickets') {
+    parsed = parseTicketsArgs(rest);
   } else {
     parsed = parseStatusArgs(rest);
   }
@@ -315,6 +446,16 @@ export function runSunflowerCommand(args) {
     return 0;
   }
 
+  if (subcommand === 'routes') {
+    printSunflowerRoutes(snapshot);
+    return 0;
+  }
+
+  if (subcommand === 'tickets') {
+    printSunflowerTickets(snapshot);
+    return 0;
+  }
+
   printSunflowerStatus(snapshot, registryPaths);
   return 0;
 }