Skip to content

fix(docs): README denies named hub packages and accounts - #1297

Merged
Lorenzobattistela merged 1 commit into
bendlang:mainfrom
Yi-111-a:fix/readme-hub-names-versions-accounts
Oct 3, 2026
Merged

Lorenzobattistela merged 1 commit into
bendlang:mainfrom
Yi-111-a:fix/readme-hub-names-versions-accounts

Conversation

@Yi-111-a

@Yi-111-a Yi-111-a commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

Summary

The README limitations list said:

- The hub has no names, versions, accounts or search yet. Packages are hashes.

Three of those four claims are stale against this same tree.

  • guide/GUIDE.md:530-532 documents import <name>@<version>/main.bend as P and bend main.bend --publish <name>@<version> after bend login.
  • bend2/main.ts implements all of it: bend login writes the Bender key (:67, :133), cli_link calls hub_name (:544-549), --publish <name>@<version> parses a name and runs hub_check (:248-253, :495-539), and the help text already reads "publish the file and its imports; a name needs login" (:41) and "log in to Bender for --publish @…" (:43).

The replacement bullet states what is actually true and keeps the shape of the surrounding limitations:

- A hub package is a hash, unless its author names and versions it after `bend login`.

Fixes #1295.

What I did not change, and why

The original bullet also claimed no search. I dropped that claim rather than restating it: bend2/main.ts has no search verb (grep -c -i search bend2/main.ts → 0), but the hub UI lives in the sibling bend-lang.com checkout named in AGENTS.md, which I could not read, so whether search exists there is not answerable from this repo. #1295 scopes search out separately, so this PR asserts nothing about it. If search does not exist, it is a one-clause follow-up.

Verification

  • README.md is 2980 ttok against the permanent 4000 cap in gates/repo.ts:43 (allow("README.md", 4000)), measured with ttok as that gate does. Before: 2977.
  • Diff is one line in one file. No code, no gate, no guide/ change — note guide/GUIDE.md is already at 7968/8000 ttok, so I deliberately kept away from it.
  • Read README.md, guide/GUIDE.md and bend2/main.ts at a950fd68 (the commit fix(docs): README denies named hub packages and accounts documented by the guide #1295 pins) and again at current main; the stale bullet is unchanged between them, so the report holds against main.
  • No build or test run: this is a prose change with no executable surface.

Contract Routing

No contract touched. Documentation-only, outside every gate in gates/ except the README.md ttok cap checked above.

Fixes bendlang#1295

The limitations list said "The hub has no names, versions, accounts or
search yet. Packages are hashes." Three of those four claims are stale:

- guide/GUIDE.md documents `import <name>@<version>/main.bend as P` and
  `bend main.bend --publish <name>@<version>` after `bend login`.
- bend2/main.ts backs them: `bend login` writes the Bender key, `cli_link`
  calls `hub_name`, `--publish <name>@<version>` runs `hub_check`, and its
  help already reads "a name needs login".

So the bullet now says what is actually true - a package is a hash unless its
author names and versions it after logging in - which is also the shape the
surrounding limitations take.

The bullet says nothing about search. bend2/main.ts has no search verb, but
the hub UI lives in the sibling bend-lang.com checkout, so whether search
exists there is not answerable from this repo, and bendlang#1295 scopes that claim
out separately rather than asking me to restate it.

README.md is 2980 ttok against the permanent 4000 cap in gates/repo.ts.
@Lorenzobattistela
Lorenzobattistela merged commit a3f1782 into bendlang:main Oct 3, 2026
1 check passed
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.

fix(docs): README denies named hub packages and accounts documented by the guide

2 participants