refactor: rename Effort Graph paths to Proof by tonyketcham · Pull Request #243 · FlatbreadLabs/flatbread

tonyketcham · 2026-08-12T17:49:27Z

Move the memory package, graph root, skills, and CLI/explorer files onto Proof names so the product rename can land next.

Co-authored-by: Cursor cursoragent@cursor.com

Depends-On: #242

Move all public packages to 1.0.0, align package metadata, and add the release license.\n\nLead the public docs with Effort Graph agent memory while keeping static relational content and GraphQL read paths clear. Add concise release notes and record the positioning decision in the Effort Graph.\n\nTest plan: pnpm verify; package tarball and clean-install smoke tests. Change-Id: I3b53d7e244cc251ce9968b3578fabeabcc96298f

Drop unused Apollo 3 and GraphQL server packages from the stable package. Update Apollo Server, GraphQL, and lodash-es to supported releases, and keep test-only picomatch out of the published runtime set.\n\nTest plan: pnpm verify; clean tarball install; npm audit and CLI smoke checks. Change-Id: Ib49018eafae4ef88cbbd3975f8149b2102ac1f3f

Update GraphQL Code Generator and esbuild to supported releases without changing generated output. Trim Proof's npm payload to its bins and built files.\n\nTest plan: pnpm verify; package audits; Proof pack and CLI smoke checks. Change-Id: I69eee15141a4d6332f504bee70f4b533d076e077

Use GraphQL's public types in emitted declarations and declare vfile as a runtime dependency because the public API exposes VFile. Add checks that prevent private GraphQL paths and missing declaration dependencies from returning.\n\nTest plan: pnpm verify; strict clean-consumer TypeScript compile. Change-Id: I3f66f068fa24441f598224f2cfbbec48e722695c

Document the unresolved audit chains in Proof and resolver-svimg. The main Flatbread install remains clean. Change-Id: I4230756307f943c0e72610c25b0c86b625f05ab6

Proof now lives at https://github.com/FlatbreadLabs/proof. Remove the @flatbread/proof workspace package, its Cursor skills, and monorepo build/test/docs wiring. Re-home the cloud-agent fetch script and its AVA test under scripts/ so pnpm run cursor:fetch-cloud-agent still works. Co-authored-by: Cursor <cursoragent@cursor.com> Change-Id: I915065dc779e700b8254835e679486bb2d789363

Delete the proof-runtime-skeptic agent (runtime no longer lives here). Point the code-review orchestrator, architecture planner, and major-migration skill at the external @flatbread/proof CLI. Keep Flatbread-specific DAG templates under .cursor/dags/flatbread/ with a short README for how to run them. Co-authored-by: Cursor <cursoragent@cursor.com> Change-Id: Id40e6118c97414ccc958e4997e52c000ed639291

Move the memory package, graph root, skills, and CLI/explorer files onto Proof names so the product rename can land next. Co-authored-by: Cursor <cursoragent@cursor.com> Change-Id: I529a8212a755685a9b8fa4bd3a7d5eaa1fa16704

tonyketcham · 2026-08-12T17:49:30Z

This pull request is part of a Mergify stack:

#	Pull Request	Link
1	release: prepare Flatbread 1.0	#236
2	fix: remove stale release dependencies	#237
3	fix: harden stable package payloads	#238
4	fix: make core declarations portable	#239
5	docs: record upstream release limits	#240
6	chore: move proof to its own repository	#241
7	fix: retarget Cursor agents at external Proof	#242
8	refactor: rename Effort Graph paths to Proof	#243	👈
9	feat: brand agent memory as Proof and the runner as Oven	#244

Regenerate the lockfile for packages/proof and update import, skill, and tsconfig paths so the directory rename installs and builds on its own. Change-Id: I658f2349329425ba6f121012f332d900b6db97b5

cursor

Review verdict

BLOCK — Dogfood graph data moved to .flatbread-proof/** while effortGraphContent() / DEFAULT_GRAPH_ROOT / flatbread.config.js still target .flatbread-efforts, so GraphQL, CLI, and explorer read an empty tree; green tests lock the wrong root.

Chunk-bound feedback

BLOCKER (consensus, 5/5) — Align preset default (packages/proof/src/preset.ts), CLI DEFAULT_GRAPH_ROOT (packages/flatbread/src/cli/proof.ts), and flatbread.config.js with .flatbread-proof; update .gitignore journal rule.
BLOCKER — Retarget proofComposition.test.ts (and preset/CLI fixtures) from .flatbread-efforts to .flatbread-proof.
HIGH — packages/proof/README.md and skills/proof/setup.md still teach packages/effort-graph/skills/effort-graph install URLs after the path rename.
HIGH — packages/proof/skills/effort-modeling/SKILL.md links ../effort-graph/reference.md (dead); point at ../proof/reference.md.

Intentional deferrals (not defects): npm name @flatbread/effort-graph, EffortGraph symbols, CLI verb effort, explorer preset id effort-graph.

Coverage plan

preset.test.ts — positive: default paths use .flatbread-proof/...
proofComposition.test.ts — positive: rootDir ends with .flatbread-proof
proof.test.ts — positive/edge: bootstrap/DEFAULT_GRAPH_ROOT follow .flatbread-proof
Dogfood config smoke — edge: content resolves .flatbread-proof/**
skills.test.ts — positive: sync defaults + managed name proof
pack-skills.test.js — negative: setup/README must not cite packages/effort-graph/skills/effort-graph; edge: relative skill links resolve

Reviewer scoreboard

correctness-and-contracts: signal HIGH
test-coverage-robustness: signal HIGH
docs-and-positioning: signal HIGH
cli-and-runtime: signal MED
explorer-package: signal MED (in-hunk explorer paths clean)

Models: grok-4.5 high / composer-2.5. External @flatbread/proof CLI unavailable (private/404); ran parallel perspective subagents + judge. Judge: /tmp/review-judge-final.md.

_{Sent by Cursor Automation: Flatbread PR Review}

cursor · 2026-08-12T18:18:39Z

  listEfforts,
-} from '../effort/read.js';
+} from '../proof/read.js';
 import type { PrimitiveKind, ReadRelation } from '@flatbread/effort-graph';


BLOCKER (consensus, 5/5): This PR renames .flatbread-efforts/** → .flatbread-proof/** (only .flatbread-proof exists on disk), but DEFAULT_GRAPH_ROOT in this file is still .flatbread-efforts, and packages/proof/src/preset.ts / flatbread.config.js still default there too.

flatbread start / flatbread effort / explorer dogfood therefore read an empty tree.

Minimal fix: set preset + CLI defaults to .flatbread-proof (or effortGraphContent('.flatbread-proof') in config), and update the .gitignore journal rule to **/.flatbread-proof/.journal/.

cursor · 2026-08-12T18:18:39Z

 } from '@flatbread/core';
-import { createEffortGraphComposition } from './effortGraphComposition.js';
+import { createEffortGraphComposition } from './proofComposition.js';



BLOCKER: This suite still asserts rootDir under .flatbread-efforts (see assertion later in the file) while dogfood journals live under .flatbread-proof. Green CI locks the old contract and misses the empty-graph break.

Minimal fix: retarget the assertion (and preset/CLI fixtures) to .flatbread-proof in lockstep with the runtime default.

cursor · 2026-08-12T18:18:39Z

  repositoryRoot,
-  'packages/effort-graph/skills/effort-graph'
+  'packages/proof/skills/proof'
 );


HIGH: Sync defaults correctly target packages/proof/skills/proof and .agents/skills/proof, but packages/proof/README.md and skills/proof/setup.md (R100, content unchanged) still teach packages/effort-graph/skills/effort-graph install URLs — those paths no longer exist.

Minimal fix: rewrite install/relative paths to packages/proof/skills/proof and .agents/skills/proof/, then re-run pnpm skills:sync.

cursor · 2026-08-12T18:18:39Z

  const entry = canonicalTexts.find(
-    ({ path }) => path === 'skills/effort-graph/release.json'
+    ({ path }) => path === 'skills/proof/release.json'
  );


HIGH: Pack now expects skills/proof/release.json, but README still links skills/effort-graph/*, and packages/proof/skills/effort-modeling/SKILL.md still links ../effort-graph/reference.md (dead after the directory rename).

Minimal fix: update README skill paths; change the effort-modeling link to ../proof/reference.md; add a pack/skills assert that packaged relative links resolve.

cursor · 2026-08-12T18:18:39Z

 const run = promisify(execFile);
-const script = resolve('packages/effort-graph/scripts/sync-skills.mjs');
+const script = resolve('packages/proof/scripts/sync-skills.mjs');



MED (coverage): Path to the sync script was updated, but this test only drives --source/--destination overrides. It never locks defaultSource, defaultDestination, or managed skill name proof from sync-skills.mjs.

Minimal fix: import those exports and assert packages/proof/skills/proof, .agents/skills/proof, and managed name proof.

cursor · 2026-08-12T18:18:39Z

+  'skills/proof/SKILL.md',
+  'skills/proof/reference.md',
+  'skills/proof/setup.md',
 ];


MED (coverage): Canonical file list correctly moved to skills/proof/*, but nothing fails if setup/README still cite packages/effort-graph or if cross-skill relative links break.

Minimal fix: negative assert setup/README avoid packages/effort-graph/skills/effort-graph; edge assert packaged relative links resolve on disk (incl. effort-modeling → ../proof/reference.md).

cursoragent and others added 8 commits July 29, 2026 10:44

docs: record upstream release limits

b7164a8

Document the unresolved audit chains in Proof and resolver-svimg. The main Flatbread install remains clean. Change-Id: I4230756307f943c0e72610c25b0c86b625f05ab6

refactor: rename Effort Graph paths to Proof

3c5fd30

Move the memory package, graph root, skills, and CLI/explorer files onto Proof names so the product rename can land next. Co-authored-by: Cursor <cursoragent@cursor.com> Change-Id: I529a8212a755685a9b8fa4bd3a7d5eaa1fa16704

fix: retarget Proof path rename leftovers for CI

4fa69c2

Regenerate the lockfile for packages/proof and update import, skill, and tsconfig paths so the directory rename installs and builds on its own. Change-Id: I658f2349329425ba6f121012f332d900b6db97b5

tonyketcham force-pushed the stack/tonyketcham/toeknee/extract-proof-repo/retarget-cursor-agents-external-proof--d40e6118 branch from 173e300 to 8840cc9 Compare August 12, 2026 18:16

tonyketcham closed this Aug 12, 2026

tonyketcham deleted the stack/tonyketcham/toeknee/extract-proof-repo/rename-effort-graph-paths-proof--529a8212 branch August 12, 2026 18:16

cursor Bot reviewed Aug 12, 2026

View reviewed changes

Navigation Menu

Uh oh!

Uh oh!

refactor: rename Effort Graph paths to Proof - #243

refactor: rename Effort Graph paths to Proof#243
tonyketcham wants to merge 9 commits into
stack/tonyketcham/toeknee/extract-proof-repo/retarget-cursor-agents-external-proof--d40e6118from
stack/tonyketcham/toeknee/extract-proof-repo/rename-effort-graph-paths-proof--529a8212

tonyketcham commented Aug 12, 2026

Uh oh!

tonyketcham commented Aug 12, 2026 •

edited

Loading

Uh oh!

cursor Bot left a comment

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

cursor Bot Aug 12, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Uh oh!

Uh oh!

Conversation

tonyketcham commented Aug 12, 2026

Uh oh!

tonyketcham commented Aug 12, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

cursor Bot left a comment

Choose a reason for hiding this comment

Review verdict

Chunk-bound feedback

Coverage plan

Reviewer scoreboard

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

cursor Bot Aug 12, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

tonyketcham commented Aug 12, 2026 •

edited

Loading