Skip to content

build: ez 1.3.0 and bolt 1.11.0 tooling, README imports by hub name - #21

Merged
noah-emp merged 1 commit into
mainfrom
build/tooling-ez-1.3.0
Sep 30, 2026
Merged

noah-emp merged 1 commit into
mainfrom
build/tooling-ez-1.3.0

Conversation

@noah-emp

Copy link
Copy Markdown
Collaborator
  • flake: ez locked at b5693ce (1.3.0) and follows this flake's bend (2.0.34); the interim af569d4 pin is gone. flake.lock holds bend, ez, nixpkgs only.
  • checks.proofs is ez.mkProofs { ez = ezBin; src = self; }. ENTRY.bend keeps its own check (checks.entry): verdict SOME PROOFS FAIL, only error the foreign-code def list.
  • [tools.bolt] v1.11.0 (rev 91efe4b). Lint: 0 errors, no new error-level rules.
  • deps: ezjson already at v1.1.0 (0x81c67699424929b5c44cd8577e18117f); no bumps.
  • README: named imports emerging-ezhttp@0.8.0.0 (resolves to 0xf1c957a470368870a6d1d62a8c0cbe32) and emerging-ezjson@1.1.0.0; bend 2.0.32+ stated, built and checked on 2.0.34.

nix flake check -L: pass. ez prove (ez 1.3.0): PASS 1 / 1.

readme_hub_check.sh:

ok   hub: emerging-ezhttp@0.8.0.0 = 0xf1c957a470368870a6d1d62a8c0cbe32
ok   hub: emerging-ezjson@1.1.0.0 = 0x81c67699424929b5c44cd8577e18117f
note: README imports emerging-ezjson@1.1.0.0 (not the package's 0xf1c957a470368870a6d1d62a8c0cbe32) - a dependency, or stale?
5
ok   snippet1.bend (reaches foreign code)
ok   snippet2.bend (reaches foreign code)
ok   snippet3.bend (reaches foreign code)
ok   snippet4.bend (reaches foreign code)
ok   snippet5.bend

🤖 Generated with Claude Code

ez is locked at b5693ce (1.3.0), which runs on bend 2.0.34, so its bend
follows this flake's bend again instead of the af569d4 pin. checks.proofs
is ez.mkProofs; ENTRY.bend keeps its own check (checks.entry), whose only
allowed error is the list of defs relying on foreign code. [tools.bolt]
is v1.11.0 (0 lint errors).

The README imports emerging-ezhttp@0.8.0.0 (0xf1c957a4...) and
emerging-ezjson@1.1.0.0 by hub name, and states bend 2.0.32+ (built and
checked on 2.0.34).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@noah-emp
noah-emp merged commit 2269f07 into main Sep 30, 2026
1 check passed
@noah-emp
noah-emp deleted the build/tooling-ez-1.3.0 branch September 30, 2026 01:14
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