From 13986f9f738e7c5351f5a3cee6062482748d6db7 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Sat, 3 Oct 2026 13:07:28 +0000 Subject: [PATCH] build: pin bend to the commit that packages 2.0.35 The flake pins bendlang/bend at 5a0b523, whose flake packages 2.0.35. The v2.0.35 tag still packages 2.0.34. ez follows this bend. README and SPEC name 2.0.35, and JSON-TRUST-4 names ez.mkProofs, the gate the flake runs. Co-authored-by: noah-emp --- README.md | 2 +- SPEC.md | 4 ++-- flake.lock | 8 ++++---- flake.nix | 8 ++++---- 4 files changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 549fee6..2ccb923 100644 --- a/README.md +++ b/README.md @@ -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 diff --git a/SPEC.md b/SPEC.md index 15caeea..f215d78 100644 --- a/SPEC.md +++ b/SPEC.md @@ -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. | diff --git a/flake.lock b/flake.lock index cc682bf..a6c804d 100644 --- a/flake.lock +++ b/flake.lock @@ -7,17 +7,17 @@ ] }, "locked": { - "lastModified": 1790643370, - "narHash": "sha256-VYGPIHkNeccEaBHGer1B7+GNiWKQBiN/iiS7PozBXx0=", + "lastModified": 1791027223, + "narHash": "sha256-VsMHe5HUg9EC+l8PlfOu2IHTVmP5Vu04GPDYwSkm6q8=", "owner": "bendlang", "repo": "bend", - "rev": "777ee0b55c485afdd7e68bd917b3d23a88d77371", + "rev": "5a0b523f7759335164f1dead0e0815234a5fd9dc", "type": "github" }, "original": { "owner": "bendlang", "repo": "bend", - "rev": "777ee0b55c485afdd7e68bd917b3d23a88d77371", + "rev": "5a0b523f7759335164f1dead0e0815234a5fd9dc", "type": "github" } }, diff --git a/flake.nix b/flake.nix index a52c39e..404cbb9 100644 --- a/flake.nix +++ b/flake.nix @@ -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";