erdos-problems 0.1.13 → 0.2.1

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

@@ -0,0 +1,18 @@
+# Problem 20 Route History
+
+## Closed public route layers
+
+- `uniform_prize`
+- `uniform_prize_final_k3`
+
+## Current honest public route
+
+- `uniform_k3_frontier`
+
+## Residual route context
+
+- `uniform_prize_full_all_k`
+
+Why it matters:
+- the public pack should keep the closed `k=3` route visible
+- but it should also keep the remaining support-lane obligations visible without pretending there is a ready atom when there is not

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/OPS_DETAILS.yaml

@@ -0,0 +1,39 @@
+packet_id: sunflower536_ops_details_v1
+summary: Public bridge-board drill-down packet for problem 536.
+routes:
+  - route_id: natural_density_lcm_bridge
+    title: Natural-Density LCM Bridge
+    status: active
+    theorem_module: ""
+    summary: Freeze public status, exact analogue wording, and the bridge back to 857.
+    why_now: This is the active public bridge route for the natural-density analogue.
+    next_move: Close the public-status review atom before widening the analogue story.
+    ticket_ids: [T1, T2, T3]
+tickets:
+  - ticket_id: T1
+    title: Dossier Source Lock
+    route_id: natural_density_lcm_bridge
+    route_leaf: public_status_and_statement_lock
+    status: active
+    summary: Freeze the public open-state and exact statement wording.
+    gate_story: This is where the bridge board becomes trustworthy.
+    current_blocker: The public-status review still needs to be frozen.
+    next_move: Close `T1.G1.A3`.
+    atom_ids: [T1.G1.A3]
+atoms:
+  - atom_id: T1.G1.A3
+    title: Run the public-status review and freeze the exact open-state snapshot for problem 536
+    ticket_id: T1
+    route_id: natural_density_lcm_bridge
+    gate_id: T1.G1
+    tier: P0-SpecLock
+    kind: review
+    status: ready
+    summary: This is the smallest honest public move for 536.
+    why_now: The bridge board already marks it ready.
+    next_move: Freeze the public-status artifacts and checkpoint the bridge state.
+    verification_hook:
+      - erdos sunflower routes 536
+      - erdos sunflower tickets 536
+    dependencies:
+      - public-status review bundle

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/OPS_DETAILS.yaml

@@ -0,0 +1,39 @@
+packet_id: sunflower856_ops_details_v1
+summary: Public bridge-board drill-down packet for problem 856.
+routes:
+  - route_id: harmonic_density_lcm_bridge
+    title: Harmonic-Density LCM Bridge
+    status: active
+    theorem_module: ""
+    summary: Freeze public status, density-language wording, and the exponent-transfer bridge back to 857.
+    why_now: This is the active public bridge route for the harmonic-density analogue.
+    next_move: Close the public-status review atom before widening the exponent-transfer story.
+    ticket_ids: [T1, T2, T3]
+tickets:
+  - ticket_id: T1
+    title: Dossier Source Lock
+    route_id: harmonic_density_lcm_bridge
+    route_leaf: public_status_and_density_lock
+    status: active
+    summary: Freeze the public open-state and the exact density-language statement.
+    gate_story: This is where the bridge board becomes trustworthy.
+    current_blocker: The public-status review still needs to be frozen.
+    next_move: Close `T1.G1.A3`.
+    atom_ids: [T1.G1.A3]
+atoms:
+  - atom_id: T1.G1.A3
+    title: Run the public-status review and freeze the exact open-state snapshot for problem 856
+    ticket_id: T1
+    route_id: harmonic_density_lcm_bridge
+    gate_id: T1.G1
+    tier: P0-SpecLock
+    kind: review
+    status: ready
+    summary: This is the smallest honest public move for 856.
+    why_now: The bridge board already marks it ready.
+    next_move: Freeze the public-status artifacts and checkpoint the bridge state.
+    verification_hook:
+      - erdos sunflower routes 856
+      - erdos sunflower tickets 856
+    dependencies:
+      - public-status review bundle

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/packs/sunflower/problems/857/CHECKPOINT_TEMPLATE.md

@@ -0,0 +1,32 @@
+# Problem 857 Checkpoint Template
+
+## Status Ladder
+
+- Open problem:
+- Active route:
+- Route breakthrough:
+- Problem solved:
+
+## Active ticket
+
+- Ticket id:
+- Leaf theorem:
+- Gate progress:
+- Atom progress:
+
+## Frontier
+
+- First ready atom:
+- Why this atom is honest:
+- What changed since the last checkpoint:
+
+## Verification
+
+- Exact / Verified / Heuristic / Conjecture:
+- Verification hook:
+- Verification record:
+
+## Next move
+
+- Next honest move:
+- What remains blocked:

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

@@ -0,0 +1,18 @@
+# Problem 857 Frontier Note
+
+- Open problem: yes
+- Active route: `anchored_selector_linearization`
+- Active ticket: `T10`
+- First ready atom: `T10.G3.A2`
+- Route breakthrough: yes
+- Problem solved: no
+
+Current honest framing:
+- the public weak-sunflower pack is no longer bottlenecked on generic counting closure
+- the live public frontier is the anchored-selector linearization seam
+- the next honest move is to promote the helper/theorem stack into `anchored_selector_linearization_realized`
+
+Boundary:
+- historical tickets stay visible for context
+- they do not outrank the active `T10` frontier
+- no route breakthrough should be widened into a solved-problem claim

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,9 +1,11 @@
+import { runArchiveCommand } from '../commands/archive.js';
 import { runBootstrapCommand } from '../commands/bootstrap.js';
 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 { 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';
@@ -26,6 +28,12 @@ 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 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 workspace show');
   console.log('  erdos orp show [--json]');
   console.log('  erdos orp sync [--json]');
@@ -41,17 +49,24 @@ function printUsage() {
   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 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 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>]');
 }
 
 const args = process.argv.slice(2);
@@ -65,6 +80,10 @@ 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 === 'number-theory') {
+  exitCode = runNumberTheoryCommand(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/cluster.js

@@ -10,6 +10,10 @@ 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');
   }
 }
 

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,