Skip to content

build: pin bend to the commit that packages 2.0.35 #72

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
noah-emp merged 1 commit into from
Oct 3, 2026
Merged

build: pin bend to the commit that packages 2.0.35 #72

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ JSON for [Bend 2](https://github.com/bendlang/bend).
With [Bend](https://github.com/bendlang/bend) alone there is nothing to
install: import ezjson by its hub name and version, and `bend` fetches it
from [the hub](https://hub.bend-lang.com) into `~/.bend/lib` on the first
run; no install step. ezjson is built and checked on Bend 2.0.34.
run; no install step. ezjson is built and checked on Bend 2.0.35.

```
import emerging-ezjson@1.1.0.0/main.bend as Ezjson
Expand Down
4 changes: 2 additions & 2 deletions SPEC.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@ These assumptions sit outside the proofs. They are the complete list of Trusted

| ID | Assumption | Why it is trusted |
| :---- | :---- | :---- |
| JSON-TRUST-1 | The Bend checker is sound: a proof it accepts proves its law. | It cannot be checked from inside Bend; this is EZ-TRUST-1. ezjson pins bend 2.0.34 through the flake. |
| JSON-TRUST-1 | The Bend checker is sound: a proof it accepts proves its law. | It cannot be checked from inside Bend; this is EZ-TRUST-1. ezjson pins bend 2.0.35 through the flake. |
| JSON-TRUST-2 | `F32.read` in Bend's base library reads a decimal spelling as documented, rounding to nearest. | Foreign to this project; `as_f32` forwards to it. `U32.read` is no longer trusted: JSON-TREE-6's `as_u32_num` is proved through it as written. |
| JSON-TRUST-3 | The cursor does not keep a parse tree or the text it has passed: memory while walking a large text stays proportional to the open containers and the events the caller holds. | A law sees values, not heap shape. The `scale` flake check walks a 563 KiB and a 615 KiB text with the cursor as an integration check. |
| JSON-TRUST-4 | The proof-gate runner fails the build unless the first line of `bend PROOF.bend` is `ALL PROOFS CHECK`. | It is the flake's `checks.proofs`, run by `nix flake check` in CI on the flake's bend 2.0.34; it stands in for ez's `mkProofs` (EZ-TRUST-4) until ez runs on 2.0.34. |
| JSON-TRUST-4 | The proof-gate runner fails the build unless the first line of `bend PROOF.bend` is `ALL PROOFS CHECK`. | It is ez's `mkProofs`, run by `nix flake check` in CI on the flake's bend 2.0.35; this is EZ-TRUST-4. |
8 changes: 4 additions & 4 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 4 additions & 4 deletions flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,13 @@
description = "ezjson: JSON for Bend 2";

inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
# bendlang/bend's flake at the commit that packages 2.0.34 (the v2.0.34 tag
# still packages 2.0.33)
# bendlang/bend's flake at the commit that packages 2.0.35 (the v2.0.35 tag
# still packages 2.0.34)
inputs.bend = {
url = "github:bendlang/bend/777ee0b55c485afdd7e68bd917b3d23a88d77371";
url = "github:bendlang/bend/5a0b523f7759335164f1dead0e0815234a5fd9dc";
inputs.nixpkgs.follows = "nixpkgs";
};
# ez 1.3.0 runs on 2.0.34, so ez (and the bolt it builds) follows this bend
# ez 1.3.0 follows this bend, so ez (and the bolt it builds) runs on 2.0.35
inputs.ez = {
url = "github:Emerging-Patterns/ez";
inputs.nixpkgs.follows = "nixpkgs";
Expand Down
Loading