Skip to content

docs: use Proof as the product name, not The Proof - #259

Merged
tonyketcham merged 1 commit into
mainfrom
toeknee/proof-brand-name-8008
Aug 22, 2026
Merged

docs: use Proof as the product name, not The Proof#259
tonyketcham merged 1 commit into
mainfrom
toeknee/proof-brand-name-8008

Conversation

@tonyketcham

Copy link
Copy Markdown
Collaborator

Summary of changes

Proof is the product name. A leading "The" is not part of the brand. This drop it from user-facing copy that treated the product as "The Proof".

  • README and positioning: sentences now start with Proof, not "The Proof"
  • Packaged Proof skills (and the generated .agents/ copies): same fix, plus "in Proof" instead of "in the Proof"
  • Bootstrap CLI: journal ignore message is now "The write journal for Proof at …"
  • Explorer empty state no longer says "the Proof content root"
  • Related article errors: "an Proof" → "a Proof" in explorer package copy

Phrases such as "the Proof skill" stay. There the article belongs to the noun after Proof.

Please don't delete this checklist! Before submitting the PR, please make sure you do the following:

  • I added doc comments to any new public exports, and inline comments to any hard-to-understand areas
  • My changes generate no new console errors locally
  • If applicable, try to include a test that fails without this PR but passes with it

Does this introduce any non-backwards compatible changes?

  • Yes
  • No

The bootstrap journal-ignore string changed. That is operator-facing copy, not a config or API break.

Does this include any user config changes?

  • Yes
  • No
Open in Web Open in Cursor 

Proof is the product name. A leading The is not part of the brand.
Drop it from the README, positioning doc, packaged skills, bootstrap
journal message, and explorer empty state. Keep phrases such as the
Proof skill, where the article belongs to the noun after Proof.

Change-Id: Id6b42f53b2819d6ee6ee71705926b66dc299b6f2

Co-authored-by: Tony <tonyketcham@users.noreply.github.com>
@tonyketcham
tonyketcham marked this pull request as ready for review August 22, 2026 18:55
@tonyketcham
tonyketcham merged commit 210a9ee into main Aug 22, 2026
22 checks passed
@tonyketcham
tonyketcham deleted the toeknee/proof-brand-name-8008 branch August 22, 2026 18:55

@cursor cursor Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved. Cursor Bugbot passed and left no findings that need human review. No reviewers assigned.

Open in Web View Automation 

Sent by Cursor Approval Agent: Pull Request Router and Approver

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants