erdos-problems 0.1.12 → 0.2.0

package/packs/sunflower/problems/857/OPS_DETAILS.yaml

@@ -0,0 +1,65 @@
+packet_id: weak857_ops_details_v1
+summary: Public drill-down packet for the live weak-sunflower frontier.
+routes:
+  - route_id: anchored_selector_linearization
+    title: Anchored-Selector Linearization
+    status: active
+    theorem_module: sunflower-coda/repo/sunflower_lean/SunflowerLean/ObstructionExport.lean
+    summary: Export the live anchored-selector helper stack into a route-facing leaf that remains honest about the open-problem boundary.
+    why_now: This is the only live public route with a dependency-satisfied ready atom.
+    next_move: Promote the helper/theorem stack into `anchored_selector_linearization_realized`.
+    ticket_ids: [T10]
+    source_paths:
+      - packs/sunflower/problems/857/ATOMIC_BOARD.yaml
+      - packs/sunflower/problems/857/FRONTIER_NOTE.md
+  - route_id: o1a_existential_explicit_export
+    title: O1a Existential Explicit Export
+    status: strict_closed
+    theorem_module: sunflower-coda/repo/sunflower_lean/SunflowerLean/ObstructionGlobalBridge.lean
+    summary: Closed public route exporting the O1a obstruction into an explicit remainder package.
+    why_now: This is the last fully closed route layer immediately beneath the active anchored-selector frontier.
+    next_move: Use it as support context only; do not spend new frontier energy here.
+    ticket_ids: [T9]
+tickets:
+  - ticket_id: T10
+    title: "Route Redesign T10: Anchored-Selector Linearization"
+    route_id: anchored_selector_linearization
+    route_leaf: anchored_selector_linearization_realized
+    status: active
+    summary: Turn the packaged helper stack into a stable public route leaf.
+    gate_story: The early gates are satisfied; the live public pressure is concentrated inside the G3 seam.
+    current_blocker: The helper/theorem stack must be promoted into the named route-facing leaf without blurring historical context into closure.
+    next_move: Close `T10.G3.A2`.
+    atom_ids: [T10.G3.A2]
+    source_paths:
+      - packs/sunflower/problems/857/ATOMIC_BOARD.yaml
+  - ticket_id: T9
+    title: "Route Redesign T9: O1a Existential Explicit Export"
+    route_id: o1a_existential_explicit_export
+    route_leaf: exists_anchor_with_explicit_M_remainder_export_of_ObstructionO1a
+    status: closed
+    summary: Closed public ticket exporting the obstruction route into an explicit anchored remainder theorem.
+    gate_story: This ticket is historical support, not the live frontier.
+    current_blocker: none
+    next_move: Keep it as support context for the active route.
+    atom_ids: []
+atoms:
+  - atom_id: T10.G3.A2
+    title: Promote the helper/theorem stack into anchored_selector_linearization_realized
+    ticket_id: T10
+    route_id: anchored_selector_linearization
+    gate_id: T10.G3
+    tier: P2-QuantAssembly
+    kind: work
+    status: ready
+    summary: This is the exact public atom where the active route becomes a real named leaf.
+    why_now: The board already marks it ready, so this is the smallest honest public move.
+    next_move: Prove or package the helper stack cleanly and checkpoint the route if the leaf closes.
+    verification_hook:
+      - erdos sunflower frontier 857
+      - erdos sunflower tickets 857
+    dependencies:
+      - anchored_selector_linearization helper stack remains verified
+      - route/ticket packet wording stays synchronized
+    source_paths:
+      - packs/sunflower/problems/857/ATOMIC_BOARD.yaml

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

@@ -0,0 +1,26 @@
+# Problem 857 Report Template
+
+## Summary
+
+- Route worked:
+- Ticket worked:
+- Atom worked:
+- Claim level achieved:
+
+## Artifacts
+
+- Lean/module artifacts:
+- Board artifacts:
+- Compute/run artifacts:
+- Checkpoint updates:
+
+## Frontier shift
+
+- Old frontier:
+- New frontier:
+- Did the route breakthrough state change?
+
+## Honesty check
+
+- What remains open?
+- What should not be overclaimed?

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

@@ -0,0 +1,25 @@
+# Problem 857 Route History
+
+## Closed public route layers
+
+- `global_family_card_export`
+- `explicit_remainder_export`
+- `explicit_M_remainder_export`
+- `o1a_existential_explicit_export`
+
+## Historical context routes
+
+- `o1a_foundation`
+- `o1a_certificate_reduction`
+- `o1a_residual_router`
+- `o1a_hard_upgrade`
+- `b2_recurrence_spine`
+- `post_counting_redesign`
+
+## Current frontier route
+
+- `anchored_selector_linearization`
+
+Why it matters:
+- this is the first route that still exposes live public pressure in the pack
+- it links the local theorem stack to a problem-facing public frontier without pretending the open problem is solved

package/src/cli/index.js

@@ -1,3 +1,4 @@
+import { runArchiveCommand } from '../commands/archive.js';
 import { runBootstrapCommand } from '../commands/bootstrap.js';
 import { runCheckpointsCommand } from '../commands/checkpoints.js';
 import { runClusterCommand } from '../commands/cluster.js';
@@ -26,6 +27,8 @@ function printUsage() {
   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 orp show [--json]');
   console.log('  erdos orp sync [--json]');
@@ -39,17 +42,26 @@ 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 sunflower frontier [<id>] [--json]');
+  console.log('  erdos sunflower route <problem-id> <route-id> [--json]');
+  console.log('  erdos sunflower ticket <problem-id> <ticket-id> [--json]');
+  console.log('  erdos sunflower atom <problem-id> <atom-id> [--json]');
+  console.log('  erdos sunflower compute run [<id>] [--json]');
   console.log('  erdos dossier show <id>');
   console.log('  erdos upstream show');
   console.log('  erdos upstream sync [--write-package-snapshot]');
   console.log('  erdos upstream diff [--write-package-report]');
+  console.log('  erdos upstream drift [<id>] [--include-site] [--json]');
   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] [--refresh-upstream]');
+  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] [--refresh-upstream]');
+  console.log('  erdos pull literature <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream]');
   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>]');
 }
 
 const args = process.argv.slice(2);
@@ -63,6 +75,8 @@ if (!command || command === 'help' || command === '--help') {
   exitCode = runProblemCommand(rest);
 } else if (command === 'cluster') {
   exitCode = runClusterCommand(rest);
+} else if (command === 'archive') {
+  exitCode = runArchiveCommand(rest);
 } else if (command === 'workspace') {
   exitCode = runWorkspaceCommand(rest);
 } else if (command === 'orp') {

package/src/commands/archive.js

@@ -0,0 +1,46 @@
+import { getArchiveView, scaffoldArchive } from '../runtime/archive.js';
+
+export function runArchiveCommand(args) {
+  const [subcommand, problemId] = args;
+
+  if (!subcommand || subcommand === 'help' || subcommand === '--help') {
+    console.log('Usage:');
+    console.log('  erdos archive show <id>');
+    console.log('  erdos archive scaffold <id>');
+    return 0;
+  }
+
+  if (!problemId) {
+    console.error('Missing problem id.');
+    return 1;
+  }
+
+  if (subcommand === 'show') {
+    const archive = getArchiveView(problemId);
+    if (!archive) {
+      console.error(`Unknown problem: ${problemId}`);
+      return 1;
+    }
+    console.log(`${archive.displayName} archive view`);
+    console.log(`Title: ${archive.title}`);
+    console.log(`Solved: ${archive.solved ? 'yes' : 'no'}`);
+    console.log(`Archive mode: ${archive.archiveMode}`);
+    console.log(`Next move: ${archive.nextMove}`);
+    return 0;
+  }
+
+  if (subcommand === 'scaffold') {
+    try {
+      const result = scaffoldArchive(problemId);
+      console.log(`Archive scaffold created: ${result.archiveDir}`);
+      console.log(`Archive mode: ${result.payload.archiveMode}`);
+      return 0;
+    } catch (error) {
+      console.error(String(error.message ?? error));
+      return 1;
+    }
+  }
+
+  console.error(`Unknown archive subcommand: ${subcommand}`);
+  return 1;
+}

package/src/commands/maintainer.js

@@ -1,5 +1,5 @@
 import path from 'node:path';
-import { seedProblemFromPullBundle } from '../runtime/maintainer-seed.js';
+import { reviewPullBundleForSeeding, seedProblemFromPullBundle } from '../runtime/maintainer-seed.js';
 
 function parseMaintainerSeedArgs(args) {
   const [kind, problemToken, ...rest] = args;
@@ -137,10 +137,11 @@ export function runMaintainerCommand(args) {
   if (!subcommand || subcommand === 'help' || subcommand === '--help') {
     console.log('Usage:');
     console.log('  erdos maintainer seed problem <id> [--from-pull <path>] [--dest-root <path>] [--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] [--force]');
+    console.log('  erdos maintainer review problem <id> [--from-pull <path>] [--dest-root <path>] [--title <title>]');
     return 0;
   }
 
-  if (subcommand !== 'seed') {
+  if (!['seed', 'review'].includes(subcommand)) {
     console.error(`Unknown maintainer subcommand: ${subcommand}`);
     return 1;
   }
@@ -156,6 +157,23 @@ export function runMaintainerCommand(args) {
   }
 
   try {
+    if (subcommand === 'review') {
+      const result = reviewPullBundleForSeeding(parsed.problemId, {
+        fromPullDir: parsed.fromPullDir ? path.resolve(parsed.fromPullDir) : null,
+        destRoot: parsed.destRoot ? path.resolve(parsed.destRoot) : null,
+        title: parsed.title,
+      });
+
+      console.log(`Prepared maintainer review for problem ${parsed.problemId}`);
+      console.log(`Review checklist: ${result.reviewPath}`);
+      console.log(`Proposed destination: ${result.destinationDir}`);
+      console.log(`Title: ${result.title}`);
+      console.log(`Upstream record used: ${result.usedUpstreamRecord ? 'yes' : 'no'}`);
+      console.log(`Site snapshot used: ${result.usedSiteSnapshot ? 'yes' : 'no'}`);
+      console.log(`Public status review used: ${result.usedPublicStatusReview ? 'yes' : 'no'}`);
+      return 0;
+    }
+
     const result = seedProblemFromPullBundle(parsed.problemId, {
       fromPullDir: parsed.fromPullDir ? path.resolve(parsed.fromPullDir) : null,
       destRoot: parsed.destRoot ? path.resolve(parsed.destRoot) : null,

package/src/commands/problem.js

@@ -94,6 +94,9 @@ function printProblem(problem) {
   console.log(`Repo status: ${problem.repoStatus}`);
   console.log(`Cluster: ${problem.cluster}`);
   console.log(`Harness depth: ${problem.harnessDepth}`);
+  if (String(problem.siteStatus).toLowerCase() === 'solved') {
+    console.log('Archive mode: method_exemplar');
+  }
   console.log(`Prize: ${problem.prize ?? '(none)'}`);
   console.log(`Formalization: ${problem.formalizationStatus}`);
   console.log(`Upstream formalized: ${problem.upstreamFormalizedState ?? '(unknown)'}`);

package/src/commands/pull.js

@@ -10,6 +10,7 @@ import { getProblemArtifactInventory, scaffoldProblem } from '../runtime/problem
 import { loadActiveUpstreamSnapshot, syncUpstream } from '../upstream/sync.js';
 import { fetchProblemSiteSnapshot } from '../upstream/site.js';
 import { buildProblemSearchQueries, fetchProblemPublicSearchReview } from '../upstream/public-search.js';
+import { fetchCrossrefLiterature, fetchOpenAlexLiterature } from '../upstream/literature.js';
 
 function normalizeClusterLabel(rawTag) {
   return String(rawTag ?? '')
@@ -44,12 +45,14 @@ function inferClusterFromUpstream(upstreamRecord) {
 function parsePullArgs(args) {
   const [kind, value, ...rest] = args;
   if (!['problem', 'artifacts', 'literature'].includes(kind)) {
-    return { error: 'Usage: erdos pull problem|artifacts|literature <id> [--dest <path>] [--include-site] [--refresh-upstream]' };
+    return { error: 'Usage: erdos pull problem|artifacts|literature <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream]' };
   }
 
   let destination = null;
   let includeSite = false;
   let includePublicSearch = false;
+  let includeCrossref = false;
+  let includeOpenAlex = false;
   let refreshUpstream = false;
 
   for (let index = 0; index < rest.length; index += 1) {
@@ -70,6 +73,14 @@ function parsePullArgs(args) {
       includePublicSearch = true;
       continue;
     }
+    if (token === '--include-crossref') {
+      includeCrossref = true;
+      continue;
+    }
+    if (token === '--include-openalex') {
+      includeOpenAlex = true;
+      continue;
+    }
     if (token === '--refresh-upstream') {
       refreshUpstream = true;
       continue;
@@ -83,6 +94,8 @@ function parsePullArgs(args) {
     destination,
     includeSite,
     includePublicSearch,
+    includeCrossref,
+    includeOpenAlex,
     refreshUpstream,
   };
 }
@@ -318,7 +331,66 @@ async function maybeWritePublicSearchBundle(problemId, title, destination, inclu
   }
 }
 
-async function writeLiteratureLane(problemId, destination, localProblem, upstreamRecord, includeSite, includePublicSearch) {
+async function maybeWriteLiteratureAdapter(problemId, title, destination, includeAdapter, label, fetcher) {
+  if (!includeAdapter) {
+    return {
+      attempted: false,
+      included: false,
+      error: null,
+      resultCount: 0,
+      filePrefix: label.toUpperCase(),
+    };
+  }
+
+  const filePrefix = label.toUpperCase();
+
+  try {
+    const payload = await fetcher(problemId, title);
+    writeJson(path.join(destination, `${filePrefix}_RESULTS.json`), payload);
+    writeText(
+      path.join(destination, `${filePrefix}_RESULTS.md`),
+      [
+        `# ${label} Results`,
+        '',
+        `Fetched at: ${payload.fetchedAt}`,
+        `Query: ${payload.query}`,
+        '',
+        ...(payload.results.length > 0
+          ? payload.results.map((result) => `- [${result.title || '(untitled)'}](${result.url || '#'})`)
+          : ['- *(no results captured)*']),
+        '',
+      ].join('\n'),
+    );
+    return {
+      attempted: true,
+      included: true,
+      error: null,
+      resultCount: payload.results.length,
+      filePrefix,
+    };
+  } catch (error) {
+    const message = String(error?.message ?? error);
+    writeText(path.join(destination, `${filePrefix}_ERROR.txt`), message);
+    return {
+      attempted: true,
+      included: false,
+      error: message,
+      resultCount: 0,
+      filePrefix,
+    };
+  }
+}
+
+async function writeLiteratureLane(
+  problemId,
+  destination,
+  localProblem,
+  upstreamRecord,
+  includeSite,
+  includePublicSearch,
+  includeCrossref,
+  includeOpenAlex,
+) {
   ensureDir(destination);
 
   const includedFiles = [];
@@ -355,6 +427,23 @@ async function writeLiteratureLane(problemId, destination, localProblem, upstrea
     destination,
     includePublicSearch,
   );
+  const literatureTitle = localProblem?.title ?? upstreamRecord?.title ?? `Erdos Problem #${problemId}`;
+  const crossref = await maybeWriteLiteratureAdapter(
+    problemId,
+    literatureTitle,
+    destination,
+    includeCrossref,
+    'Crossref',
+    fetchCrossrefLiterature,
+  );
+  const openalex = await maybeWriteLiteratureAdapter(
+    problemId,
+    literatureTitle,
+    destination,
+    includeOpenAlex,
+    'OpenAlex',
+    fetchOpenAlexLiterature,
+  );
   const problemRecord = buildProblemRecord(problemId, localProblem, upstreamRecord);
   writeJson(path.join(destination, 'PROBLEM.json'), problemRecord);
   writeJson(path.join(destination, 'LITERATURE_INDEX.json'), {
@@ -368,6 +457,10 @@ async function writeLiteratureLane(problemId, destination, localProblem, upstrea
     includedPublicSearch: publicSearch.included,
     publicSearchError: publicSearch.error,
     publicSearchQueries: publicSearch.queries,
+    includedCrossref: crossref.included,
+    crossrefError: crossref.error,
+    includedOpenAlex: openalex.included,
+    openAlexError: openalex.error,
   });
   writeText(
     path.join(destination, 'README.md'),
@@ -380,6 +473,8 @@ async function writeLiteratureLane(problemId, destination, localProblem, upstrea
       `- Upstream record included: ${upstreamRecord ? 'yes' : 'no'}`,
       `- Live site snapshot included: ${siteStatus.included ? 'yes' : 'no'}`,
       `- Public search review included: ${publicSearch.included ? 'yes' : 'no'}`,
+      `- Crossref adapter included: ${crossref.included ? 'yes' : 'no'}`,
+      `- OpenAlex adapter included: ${openalex.included ? 'yes' : 'no'}`,
       '',
     ].join('\n'),
   );
@@ -389,6 +484,8 @@ async function writeLiteratureLane(problemId, destination, localProblem, upstrea
     includedFiles,
     siteStatus,
     publicSearch,
+    crossref,
+    openalex,
   };
 }
 
@@ -433,9 +530,9 @@ export async function runPullCommand(args, options = {}) {
   if (args.length === 0 || args[0] === 'help' || args[0] === '--help') {
     if (!silent) {
       console.log('Usage:');
-      console.log('  erdos pull problem <id> [--dest <path>] [--include-site] [--include-public-search] [--refresh-upstream]');
+      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] [--refresh-upstream]');
+      console.log('  erdos pull literature <id> [--dest <path>] [--include-site] [--include-public-search] [--include-crossref] [--include-openalex] [--refresh-upstream]');
     }
     return 0;
   }
@@ -494,6 +591,8 @@ export async function runPullCommand(args, options = {}) {
       upstreamRecord,
       parsed.includeSite,
       parsed.includePublicSearch,
+      parsed.includeCrossref,
+      parsed.includeOpenAlex,
     );
     if (!silent) {
       console.log(`Literature bundle created: ${destination}`);
@@ -501,12 +600,20 @@ export async function runPullCommand(args, options = {}) {
       console.log(`Upstream record included: ${upstreamRecord ? 'yes' : 'no'}`);
       console.log(`Live site snapshot included: ${result.siteStatus.included ? 'yes' : 'no'}`);
       console.log(`Public search review included: ${result.publicSearch.included ? 'yes' : 'no'}`);
+      console.log(`Crossref adapter included: ${result.crossref.included ? 'yes' : 'no'}`);
+      console.log(`OpenAlex adapter included: ${result.openalex.included ? 'yes' : 'no'}`);
       if (result.siteStatus.error) {
         console.log(`Live site snapshot note: ${result.siteStatus.error}`);
       }
       if (result.publicSearch.error) {
         console.log(`Public search note: ${result.publicSearch.error}`);
       }
+      if (result.crossref.error) {
+        console.log(`Crossref note: ${result.crossref.error}`);
+      }
+      if (result.openalex.error) {
+        console.log(`OpenAlex note: ${result.openalex.error}`);
+      }
     }
     return 0;
   }
@@ -526,6 +633,8 @@ export async function runPullCommand(args, options = {}) {
     upstreamRecord,
     parsed.includeSite,
     parsed.includePublicSearch,
+    parsed.includeCrossref,
+    parsed.includeOpenAlex,
   );
 
   writeJson(path.join(rootDestination, 'PULL_STATUS.json'), {
@@ -545,6 +654,12 @@ export async function runPullCommand(args, options = {}) {
     publicSearchAttempted: literatureResult.publicSearch.attempted,
     publicSearchIncluded: literatureResult.publicSearch.included,
     publicSearchError: literatureResult.publicSearch.error,
+    crossrefAttempted: literatureResult.crossref.attempted,
+    crossrefIncluded: literatureResult.crossref.included,
+    crossrefError: literatureResult.crossref.error,
+    openAlexAttempted: literatureResult.openalex.attempted,
+    openAlexIncluded: literatureResult.openalex.included,
+    openAlexError: literatureResult.openalex.error,
   });
 
   if (!silent) {
@@ -555,12 +670,20 @@ export async function runPullCommand(args, options = {}) {
     console.log(`Upstream record included: ${upstreamRecord ? 'yes' : 'no'}`);
     console.log(`Live site snapshot included: ${literatureResult.siteStatus.included ? 'yes' : 'no'}`);
     console.log(`Public search review included: ${literatureResult.publicSearch.included ? 'yes' : 'no'}`);
+    console.log(`Crossref adapter included: ${literatureResult.crossref.included ? 'yes' : 'no'}`);
+    console.log(`OpenAlex adapter included: ${literatureResult.openalex.included ? 'yes' : 'no'}`);
     if (literatureResult.siteStatus.error) {
       console.log(`Live site snapshot note: ${literatureResult.siteStatus.error}`);
     }
     if (literatureResult.publicSearch.error) {
       console.log(`Public search note: ${literatureResult.publicSearch.error}`);
     }
+    if (literatureResult.crossref.error) {
+      console.log(`Crossref note: ${literatureResult.crossref.error}`);
+    }
+    if (literatureResult.openalex.error) {
+      console.log(`OpenAlex note: ${literatureResult.openalex.error}`);
+    }
   }
   return 0;
 }