erdos-problems 0.1.8 → 0.1.10

package/AGENT_INTEGRATION.md

@@ -0,0 +1,25 @@
+# ORP Agent Integration
+
+Use this when an agent is working inside an `erdos-problems` workspace.
+
+## Core Rule
+
+Do not let local route progress masquerade as global problem closure.
+
+## Minimum Working Loop
+
+1. select or seed a problem
+2. sync ORP kit
+3. sync state
+4. run preflight
+5. sync checkpoints
+6. work the next honest move
+
+## Canonical Artifact Boundary
+
+Evidence belongs in:
+- `problems/<id>/`
+- pack artifacts under `packs/`
+- workspace pulls and scaffolds under `.erdos/`
+
+Protocol files and ORP templates are process scaffolding only.

package/PROTOCOL.md

@@ -0,0 +1,36 @@
+# Open Research Protocol
+
+`erdos-problems` ships a bundled ORP kit so every workspace can start with the same claim hygiene and verification frame.
+
+## Canonical Truth
+
+- Public problem metadata comes from the upstream Erdős snapshot plus the local canonical dossier.
+- Pack context, route packets, and workspace state guide the loop but do not silently upgrade global problem status.
+- ORP process files are protocol tools, not mathematical evidence.
+
+## Claim Levels
+
+- `Exact`
+- `Verified`
+- `Heuristic`
+- `Conjecture`
+
+When unsure, downgrade rather than overclaim.
+
+## Required Discipline
+
+- keep open problem / active route / route breakthrough / problem solved distinct
+- record verification hooks for exact or verified claims
+- preserve failed paths as useful artifacts, not invisible dead ends
+- keep route claims tied to canonical dossier and pack artifacts
+
+## Workspace ORP Kit
+
+The CLI syncs this protocol into `.erdos/orp/`:
+- `PROTOCOL.md`
+- `AGENT_INTEGRATION.md`
+- `templates/CLAIM.md`
+- `templates/VERIFICATION_RECORD.md`
+- `templates/FAILED_TOPIC.md`
+
+Use `erdos orp sync` to refresh the workspace copy explicitly.

package/README.md

@@ -18,6 +18,7 @@ Official binary:
 
 - atlas layer with canonical local `problems/<id>/problem.yaml` records
 - bundled upstream snapshot from `teorth/erdosproblems`
+- bundled ORP kit with protocol and templates for claim hygiene
 - 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`
@@ -44,13 +45,14 @@ erdos dossier show 857
 For an unseeded problem, the one-step self-seeding flow is now:
 
 ```bash
-erdos seed problem 25 --include-site --cluster number-theory
+erdos seed problem 25 --cluster number-theory
 erdos problem show 25
 erdos workspace show
 ```
 
 What `bootstrap` does:
 - sets the active workspace problem
+- syncs the bundled ORP workspace kit into `.erdos/orp/`
 - scaffolds the canonical dossier files into `.erdos/scaffolds/<id>/`
 - includes the upstream record when a bundled or workspace snapshot is available
 - copies pack-specific context and compute packets when the problem has them
@@ -58,14 +60,19 @@ What `bootstrap` does:
 
 What `seed` does:
 - creates a pull bundle for any problem in the upstream snapshot
+- defaults to a live site snapshot plus a public-search review bundle
+- treats a problem as seed-admissible only when the public site says `open`, unless you intentionally pass `--allow-non-open`
 - promotes that bundle into `.erdos/seeded-problems/<id>/`
 - auto-selects the problem in the workspace
+- syncs the bundled ORP workspace kit into `.erdos/orp/`
 - syncs the staged research loop state and checkpoint shelf
 - makes the new dossier visible to the atlas commands immediately inside that workspace
 - writes richer starter artifacts:
   - `AGENT_START.md`
   - `ROUTES.md`
   - `CHECKPOINT_NOTES.md`
+  - `PUBLIC_STATUS_REVIEW.md`
+  - `AGENT_WEBSEARCH_BRIEF.md`
 
 ## Pull lanes
 
@@ -75,7 +82,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 problem 999 --include-site
+erdos pull problem 999 --include-site --include-public-search
 erdos pull problem 999 --refresh-upstream
 ```
 
@@ -88,6 +95,10 @@ What the pull lanes do:
 - `erdos pull literature <id>` creates only the literature lane
 - when a problem is locally seeded, the artifact lane includes the canonical dossier, pack context, and compute packets
 - when `--include-site` is used, the literature lane can include a live site snapshot and plain-text extract
+- when `--include-public-search` is used, the literature lane also includes:
+  - `PUBLIC_STATUS_REVIEW.md`
+  - `PUBLIC_STATUS_REVIEW.json`
+  - `AGENT_WEBSEARCH_BRIEF.md`
 
 ## Maintainer seeding
 
@@ -112,6 +123,9 @@ What maintainer seeding does:
   - `AGENT_START.md`
   - `ROUTES.md`
   - `CHECKPOINT_NOTES.md`
+- public-truth starter files:
+  - `PUBLIC_STATUS_REVIEW.md`
+  - `AGENT_WEBSEARCH_BRIEF.md`
 - preserves upstream/site provenance in the local record
 
 ## Sunflower pack
@@ -143,6 +157,27 @@ erdos sunflower status 857 --json
 - problem-solved distinction
 - compute posture when a packet exists
 
+## ORP
+
+`erdos-problems` now ships a bundled Open Research Protocol kit:
+- `PROTOCOL.md`
+- `AGENT_INTEGRATION.md`
+- `templates/CLAIM.md`
+- `templates/VERIFICATION_RECORD.md`
+- `templates/FAILED_TOPIC.md`
+
+Workspace copy:
+- `.erdos/orp/PROTOCOL.md`
+- `.erdos/orp/AGENT_INTEGRATION.md`
+- `.erdos/orp/templates/`
+
+Useful ORP commands:
+
+```bash
+erdos orp show
+erdos orp sync
+```
+
 ## CLI
 
 ```bash
@@ -158,6 +193,8 @@ erdos problem artifacts 857 --json
 erdos cluster list
 erdos cluster show sunflower
 erdos workspace show
+erdos orp show
+erdos orp sync
 erdos sunflower status 857
 erdos sunflower status --json
 erdos dossier show
@@ -167,7 +204,7 @@ erdos upstream diff
 erdos scaffold problem 857
 erdos bootstrap problem 857
 erdos bootstrap problem 857 --sync-upstream
-erdos seed problem 25 --include-site --cluster number-theory
+erdos seed problem 25 --cluster number-theory
 erdos pull problem 857
 erdos pull artifacts 857
 erdos pull literature 857
@@ -195,6 +232,8 @@ Many seeded dossiers now also carry starter-loop artifacts:
 - `AGENT_START.md`
 - `ROUTES.md`
 - `CHECKPOINT_NOTES.md`
+- `PUBLIC_STATUS_REVIEW.md`
+- `AGENT_WEBSEARCH_BRIEF.md`
 
 The CLI can surface these directly:
 - `erdos problem artifacts <id>` shows the canonical inventory
@@ -210,6 +249,7 @@ For sunflower problems, the CLI also surfaces pack-specific artifacts:
 - per-problem context files under `packs/sunflower/problems/<id>/`
 - route packets and checkpoint/report packets for `20` and `857`
 - compute packets under `packs/sunflower/compute/<id>/` when available
+- compute-governance evaluation under `breakthroughs`, surfaced through `erdos sunflower status`
 
 ## Notes
 
@@ -242,6 +282,9 @@ This runtime writes:
 - `.erdos/QUESTION-LEDGER.md`
 - `.erdos/checkpoints/CHECKPOINTS.md`
 - `.erdos/checkpoints/CHECKPOINTS.json`
+- `.erdos/orp/PROTOCOL.md`
+- `.erdos/orp/AGENT_INTEGRATION.md`
+- `.erdos/orp/templates/`
 - `.erdos/registry/preflight/`
 
 The public package uses the same status ladder we settled on in the lab:

package/docs/RESEARCH_LOOP.md

@@ -11,24 +11,30 @@ Workspace runtime files live under `.erdos/`:
 - `QUESTION-LEDGER.md`
 - `checkpoints/CHECKPOINTS.md`
 - `checkpoints/CHECKPOINTS.json`
+- `orp/PROTOCOL.md`
+- `orp/AGENT_INTEGRATION.md`
+- `orp/templates/`
 - `registry/preflight/`
 - `registry/compute/`
 
 ## Core loop
 
 1. Select or bootstrap a problem.
-2. Sync state.
-3. Run preflight.
-4. Set continuation mode.
-5. Sync checkpoints.
-6. Pull or scaffold artifacts.
-7. Work the active route.
-8. Sync checkpoints again at honest boundaries.
+2. Sync ORP.
+3. Sync state.
+4. Run preflight.
+5. Set continuation mode.
+6. Sync checkpoints.
+7. Pull or scaffold artifacts.
+8. Review public status and agent websearch brief if the problem was freshly seeded.
+9. Work the active route.
+10. Sync checkpoints again at honest boundaries.
 
 ## Commands
 
 ```bash
 erdos problem use 857
+erdos orp sync
 erdos state sync
 erdos preflight
 erdos continuation use route
@@ -39,7 +45,7 @@ erdos workspace show
 For problems that are not yet packaged as native dossiers, the loop can start with one-step self-seeding:
 
 ```bash
-erdos seed problem 25 --include-site --cluster number-theory
+erdos seed problem 25 --cluster number-theory
 erdos preflight
 erdos continuation use route
 erdos checkpoints sync
@@ -51,6 +57,20 @@ The seeded dossier now also includes starter-loop artifacts:
 - `AGENT_START.md`
 - `ROUTES.md`
 - `CHECKPOINT_NOTES.md`
+- `PUBLIC_STATUS_REVIEW.md`
+- `AGENT_WEBSEARCH_BRIEF.md`
+
+The ORP kit travels with the workspace too:
+- `PROTOCOL.md`
+- `AGENT_INTEGRATION.md`
+- `templates/CLAIM.md`
+- `templates/VERIFICATION_RECORD.md`
+- `templates/FAILED_TOPIC.md`
+
+For sunflower compute lanes, ORP now sits above `breakthroughs`:
+- `erdos sunflower status <id>` evaluates the packaged compute lane with `breakthroughs`
+- 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
 
 ## Status ladder
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "erdos-problems",
-  "version": "0.1.8",
+  "version": "0.1.10",
   "description": "CLI atlas and staged research harness for Paul Erdos problems.",
   "type": "module",
   "bin": {
@@ -9,12 +9,15 @@
   "files": [
     "README.md",
     "LICENSE",
+    "PROTOCOL.md",
+    "AGENT_INTEGRATION.md",
     "bin",
     "data",
     "docs",
     "packs",
     "problems",
-    "src"
+    "src",
+    "templates"
   ],
   "scripts": {
     "test": "node --test",
@@ -28,6 +31,7 @@
     "sunflower"
   ],
   "dependencies": {
+    "breakthroughs": "^0.1.1",
     "yaml": "^2.8.3"
   },
   "license": "MIT"

package/src/cli/index.js

@@ -4,6 +4,7 @@ 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 { runOrpCommand } from '../commands/orp.js';
 import { runPreflightCommand } from '../commands/preflight.js';
 import { runProblemCommand } from '../commands/problem.js';
 import { runPullCommand } from '../commands/pull.js';
@@ -26,6 +27,8 @@ function printUsage() {
   console.log('  erdos cluster list');
   console.log('  erdos cluster show <name>');
   console.log('  erdos workspace show');
+  console.log('  erdos orp show [--json]');
+  console.log('  erdos orp sync [--json]');
   console.log('  erdos state sync [--json]');
   console.log('  erdos state show [--json]');
   console.log('  erdos continuation show [--json]');
@@ -39,11 +42,11 @@ function printUsage() {
   console.log('  erdos upstream diff [--write-package-report]');
   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] [--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] [--dest-root <path>] [--no-activate] [--no-loop-sync] [--force] [--json]');
-  console.log('  erdos pull problem <id> [--dest <path>] [--include-site] [--refresh-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] [--refresh-upstream]');
-  console.log('  erdos maintainer seed problem <id> [--from-pull <path>] [--dest-root <path>] [--cluster <name>]');
+  console.log('  erdos pull literature <id> [--dest <path>] [--include-site] [--include-public-search] [--refresh-upstream]');
+  console.log('  erdos maintainer seed problem <id> [--from-pull <path>] [--dest-root <path>] [--cluster <name>] [--allow-non-open]');
 }
 
 const args = process.argv.slice(2);
@@ -59,6 +62,8 @@ if (!command || command === 'help' || command === '--help') {
   exitCode = runClusterCommand(rest);
 } else if (command === 'workspace') {
   exitCode = runWorkspaceCommand(rest);
+} else if (command === 'orp') {
+  exitCode = runOrpCommand(rest);
 } else if (command === 'state') {
   exitCode = runStateCommand(rest);
 } else if (command === 'continuation') {

package/src/commands/bootstrap.js

@@ -1,6 +1,7 @@
 import path from 'node:path';
 import { getProblem } from '../atlas/catalog.js';
 import { syncCheckpoints } from '../runtime/checkpoints.js';
+import { syncOrpWorkspaceKit } from '../runtime/orp.js';
 import { scaffoldProblem } from '../runtime/problem-artifacts.js';
 import { getWorkspaceProblemScaffoldDir } from '../runtime/paths.js';
 import { syncState } from '../runtime/state.js';
@@ -68,6 +69,7 @@ export async function runBootstrapCommand(args) {
     console.log(`Workspace upstream snapshot refreshed: ${syncResult.workspacePaths.manifestPath}`);
   }
 
+  const orp = syncOrpWorkspaceKit();
   setCurrentProblem(problem.problemId);
   const destination = parsed.destination
     ? path.resolve(parsed.destination)
@@ -81,6 +83,7 @@ export async function runBootstrapCommand(args) {
   console.log(`Active route: ${state.activeRoute ?? '(none)'}`);
   console.log(`Scaffold dir: ${result.destination}`);
   console.log(`Artifacts copied: ${result.copiedArtifacts.length}`);
+  console.log(`ORP protocol: ${orp.protocolPath}`);
   console.log(`Upstream record included: ${result.inventory.upstreamRecordIncluded ? 'yes' : 'no'}`);
   console.log(`Checkpoint shelf: ${checkpoints.indexPath}`);
   console.log(`Next honest move: ${state.nextHonestMove}`);

package/src/commands/checkpoints.js

@@ -1,4 +1,5 @@
 import { syncCheckpoints } from '../runtime/checkpoints.js';
+import { syncOrpWorkspaceKit } from '../runtime/orp.js';
 
 export function runCheckpointsCommand(args) {
   const [subcommand, ...rest] = args;
@@ -21,6 +22,7 @@ export function runCheckpointsCommand(args) {
     return 1;
   }
 
+  syncOrpWorkspaceKit();
   const result = syncCheckpoints();
   if (asJson) {
     console.log(JSON.stringify(result, null, 2));

package/src/commands/maintainer.js

@@ -21,6 +21,7 @@ function parseMaintainerSeedArgs(args) {
     activeRoute: null,
     routeBreakthrough: false,
     problemSolved: false,
+    allowNonOpen: false,
     force: false,
   };
 
@@ -116,6 +117,10 @@ function parseMaintainerSeedArgs(args) {
       parsed.problemSolved = true;
       continue;
     }
+    if (token === '--allow-non-open') {
+      parsed.allowNonOpen = true;
+      continue;
+    }
     if (token === '--force') {
       parsed.force = true;
       continue;
@@ -131,7 +136,7 @@ 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] [--force]');
+    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]');
     return 0;
   }
 
@@ -164,6 +169,7 @@ export function runMaintainerCommand(args) {
       activeRoute: parsed.activeRoute,
       routeBreakthrough: parsed.routeBreakthrough,
       problemSolved: parsed.problemSolved,
+      allowNonOpen: parsed.allowNonOpen,
       force: parsed.force,
     });
 
@@ -174,6 +180,7 @@ export function runMaintainerCommand(args) {
     console.log(`Harness depth: ${result.record.harness.depth}`);
     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;
   } catch (error) {
     console.error(String(error.message ?? error));

package/src/commands/orp.js

@@ -0,0 +1,58 @@
+import { getOrpStatus, syncOrpWorkspaceKit } from '../runtime/orp.js';
+
+function printOrpStatus(status) {
+  console.log('Open Research Protocol');
+  console.log(`Workspace root: ${status.workspaceRoot}`);
+  console.log(`Bundled protocol: ${status.bundled.protocolPresent ? status.bundled.protocolPath : '(missing)'}`);
+  console.log(`Bundled integration: ${status.bundled.integrationPresent ? status.bundled.integrationPath : '(missing)'}`);
+  console.log(`Bundled templates: ${status.bundled.templateNames.join(', ') || '(none)'}`);
+  console.log(`Workspace ORP dir: ${status.workspace.orpDir}`);
+  console.log(`Workspace protocol: ${status.workspace.protocolPresent ? status.workspace.protocolPath : '(missing)'}`);
+  console.log(`Workspace integration: ${status.workspace.integrationPresent ? status.workspace.integrationPath : '(missing)'}`);
+  console.log(`Workspace templates: ${status.workspace.templateNames.join(', ') || '(none)'}`);
+}
+
+export function runOrpCommand(args) {
+  const [subcommand, ...rest] = args;
+  const asJson = rest.includes('--json');
+  const unknown = rest.filter((arg) => arg !== '--json');
+
+  if (!subcommand || subcommand === 'help' || subcommand === '--help') {
+    console.log('Usage:');
+    console.log('  erdos orp show [--json]');
+    console.log('  erdos orp sync [--json]');
+    return 0;
+  }
+
+  if (unknown.length > 0) {
+    console.error(`Unknown orp option: ${unknown[0]}`);
+    return 1;
+  }
+
+  if (subcommand === 'show') {
+    const status = getOrpStatus();
+    if (asJson) {
+      console.log(JSON.stringify(status, null, 2));
+      return 0;
+    }
+    printOrpStatus(status);
+    return 0;
+  }
+
+  if (subcommand === 'sync') {
+    const result = syncOrpWorkspaceKit();
+    if (asJson) {
+      console.log(JSON.stringify(result, null, 2));
+      return 0;
+    }
+    console.log('ORP workspace kit synced');
+    console.log(`Workspace ORP dir: ${result.orpDir}`);
+    console.log(`Protocol: ${result.protocolPath}`);
+    console.log(`Agent integration: ${result.integrationPath}`);
+    console.log(`Templates: ${result.templateNames.join(', ') || '(none)'}`);
+    return 0;
+  }
+
+  console.error(`Unknown orp subcommand: ${subcommand}`);
+  return 1;
+}

package/src/commands/problem.js

@@ -1,4 +1,6 @@
 import { getProblem, listProblems } from '../atlas/catalog.js';
+import { syncOrpWorkspaceKit } from '../runtime/orp.js';
+import { syncCheckpoints } from '../runtime/checkpoints.js';
 import { getProblemArtifactInventory } from '../runtime/problem-artifacts.js';
 import { syncState } from '../runtime/state.js';
 import { readCurrentProblem, setCurrentProblem } from '../runtime/workspace.js';
@@ -207,10 +209,14 @@ export function runProblemCommand(args) {
       return 1;
     }
     setCurrentProblem(problem.problemId);
-    const state = syncState();
+    syncOrpWorkspaceKit();
+    syncState();
+    const checkpointResult = syncCheckpoints();
+    const state = checkpointResult.state;
     console.log(`Active problem set to ${problem.problemId} (${problem.title})`);
     console.log(`Active route: ${state.activeRoute ?? '(none)'}`);
     console.log(`Next honest move: ${state.nextHonestMove}`);
+    console.log(`Checkpoint shelf: ${checkpointResult.indexPath}`);
     return 0;
   }