feat: add EDR-021: code annotations (NOTE, TODO and FIXME)
Signed-off-by: KtorZ <[email protected]>
Signed-off-by: KtorZ <[email protected]>
Bumps the docusaurus group in /website with 6 updates: | Package | From | To | | --- | --- | --- | | [@docusaurus/core](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus) | `3.10.0` | `3.10.1` | | [@docusaurus/preset-classic](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus-preset-classic) | `3.10.0` | `3.10.1` | | [@docusaurus/theme-mermaid](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus-theme-mermaid) | `3.10.0` | `3.10.1` | | [@docusaurus/module-type-aliases](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus-module-type-aliases) | `3.10.0` | `3.10.1` | | [@docusaurus/tsconfig](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus-tsconfig) | `3.10.0` | `3.10.1` | | [@docusaurus/types](https://github.com/facebook/docusaurus/tree/HEAD/packages/docusaurus-types) | `3.10.0` | `3.10.1` | Updates `@docusaurus/core` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus) Updates `@docusaurus/preset-classic` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus-preset-classic) Updates `@docusaurus/theme-mermaid` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus-theme-mermaid) Updates `@docusaurus/module-type-aliases` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus-module-type-aliases) Updates `@docusaurus/tsconfig` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus-tsconfig) Updates `@docusaurus/types` from 3.10.0 to 3.10.1 - [Release notes](https://github.com/facebook/docusaurus/releases) - [Changelog](https://github.com/facebook/docusaurus/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/docusaurus/commits/v3.10.1/packages/docusaurus-types) --- updated-dependencies: - dependency-name: "@docusaurus/core" dependency-version: 3.10.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: docusaurus - dependency-name: "@docusaurus/preset-classic" dependency-version: 3.10.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: docusaurus - dependency-name: "@docusaurus/theme-mermaid" dependency-version: 3.10.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: docusaurus - dependency-name: "@docusaurus/module-type-aliases" dependency-version: 3.10.1 dependency-type: direct:development update-type: version-update:semver-patch dependency-group: docusaurus - dependency-name: "@docusaurus/tsconfig" dependency-version: 3.10.1 dependency-type: direct:development update-type: version-update:semver-patch dependency-group: docusaurus - dependency-name: "@docusaurus/types" dependency-version: 3.10.1 dependency-type: direct:development update-type: version-update:semver-patch dependency-group: docusaurus ... Signed-off-by: dependabot[bot] <[email protected]>
Pulls in: - adversary:b75cfe3 — emits SDK assertions per attack with must_hit:true (was must_hit:false, which Antithesis classified as "Unreachability assertions → adversary_chain_sync_started NEW". Matching the existing helper_sdk_lib.sh convention fixes the registration.) - sidecar:b75cfe3 — finally_tips_agree.sh emits finally_perturbation_metrics with blocks_produced_total and max_slot_lag Both pins resolve to the post-fix sidecar feat commit so publish-images rebuilds against the corrected SDK module + cabal build-depends.
Signed-off-by: KtorZ <[email protected]>
Signed-off-by: yHSJ <[email protected]>
Signed-off-by: KtorZ <[email protected]>
Signed-off-by: yHSJ <[email protected]>
Instead of having the checks exist in scripts.rs, the well-formedness checks should exist where the scripts are being pulled from. This also helps clarify what is actually being validated. Signed-off-by: yHSJ <[email protected]>
Signed-off-by: yHSJ <[email protected]>
This change depends on uplc-turbo changes being released, which have not been released yet. As a result, it is expected that this commit will cause compilation failures. Signed-off-by: yHSJ <[email protected]>
Signed-off-by: yHSJ <[email protected]>
The conformance test for the metadtum checks still fails, now with a decoder error. This is becuase the test harness requires a ledger error, not a decoder error. The two errors are equivalent in this case, but I am not updating the test harness in this change. Signed-off-by: yHSJ <[email protected]>
Bumps the npm_and_yarn group with 8 updates in the / directory: | Package | From | To | | --- | --- | --- | | [uuid](https://github.com/uuidjs/uuid) | `13.0.0` | `14.0.0` | | [axios](https://github.com/axios/axios) | `1.13.6` | `1.15.0` | | [lodash](https://github.com/lodash/lodash) | `4.17.23` | `4.18.1` | | [brace-expansion](https://github.com/juliangruber/brace-expansion) | `1.1.12` | `1.1.14` | | [follow-redirects](https://github.com/follow-redirects/follow-redirects) | `1.15.11` | `1.16.0` | | [picomatch](https://github.com/micromatch/picomatch) | `2.3.1` | `2.3.2` | | [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) | `7.3.1` | `7.3.2` | | [yaml](https://github.com/eemeli/yaml) | `1.10.2` | `1.10.3` | Bumps the npm_and_yarn group with 1 update in the /packages/lib/sdk directory: [uuid](https://github.com/uuidjs/uuid). Updates `uuid` from 13.0.0 to 14.0.0 - [Release notes](https://github.com/uuidjs/uuid/releases) - [Changelog](https://github.com/uuidjs/uuid/blob/main/CHANGELOG.md) - [Commits](https://github.com/uuidjs/uuid/compare/v13.0.0...v14.0.0) Updates `axios` from 1.13.6 to 1.15.0 - [Release notes](https://github.com/axios/axios/releases) - [Changelog](https://github.com/axios/axios/blob/v1.x/CHANGELOG.md) - [Commits](https://github.com/axios/axios/compare/v1.13.6...v1.15.0) Updates `lodash` from 4.17.23 to 4.18.1 - [Release notes](https://github.com/lodash/lodash/releases) - [Commits](https://github.com/lodash/lodash/compare/4.17.23...4.18.1) Updates `brace-expansion` from 1.1.12 to 1.1.14 - [Release notes](https://github.com/juliangruber/brace-expansion/releases) - [Commits](https://github.com/juliangruber/brace-expansion/compare/v1.1.12...v1.1.14) Updates `follow-redirects` from 1.15.11 to 1.16.0 - [Release notes](https://github.com/follow-redirects/follow-redirects/releases) - [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.11...v1.16.0) Updates `picomatch` from 2.3.1 to 2.3.2 - [Release notes](https://github.com/micromatch/picomatch/releases) - [Changelog](https://github.com/micromatch/picomatch/blob/master/CHANGELOG.md) - [Commits](https://github.com/micromatch/picomatch/compare/2.3.1...2.3.2) Updates `vite` from 7.3.1 to 7.3.2 - [Release notes](https://github.com/vitejs/vite/releases) - [Changelog](https://github.com/vitejs/vite/blob/v7.3.2/packages/vite/CHANGELOG.md) - [Commits](https://github.com/vitejs/vite/commits/v7.3.2/packages/vite) Updates `yaml` from 1.10.2 to 1.10.3 - [Release notes](https://github.com/eemeli/yaml/releases) - [Commits](https://github.com/eemeli/yaml/compare/v1.10.2...v1.10.3) Updates `uuid` from 13.0.1 to 14.0.0 - [Release notes](https://github.com/uuidjs/uuid/releases) - [Changelog](https://github.com/uuidjs/uuid/blob/main/CHANGELOG.md) - [Commits](https://github.com/uuidjs/uuid/compare/v13.0.0...v14.0.0) --- updated-dependencies: - dependency-name: uuid dependency-version: 14.0.0 dependency-type: direct:development dependency-group: npm_and_yarn - dependency-name: axios dependency-version: 1.15.0 dependency-type: direct:development dependency-group: npm_and_yarn - dependency-name: lodash dependency-version: 4.18.1 dependency-type: direct:development dependency-group: npm_and_yarn - dependency-name: brace-expansion dependency-version: 1.1.14 dependency-type: indirect dependency-group: npm_and_yarn - dependency-name: follow-redirects dependency-version: 1.16.0 dependency-type: indirect dependency-group: npm_and_yarn - dependency-name: picomatch dependency-version: 2.3.2 dependency-type: indirect dependency-group: npm_and_yarn - dependency-name: vite dependency-version: 7.3.2 dependency-type: indirect dependency-group: npm_and_yarn - dependency-name: yaml dependency-version: 1.10.3 dependency-type: indirect dependency-group: npm_and_yarn - dependency-name: uuid dependency-version: 14.0.0 dependency-type: direct:development dependency-group: npm_and_yarn ... Signed-off-by: dependabot[bot] <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
cardano-node 10.7.0+ pulls in ouroboros-consensus:lsm, which depends on
lsm-tree (extra-libraries: snappy) and blockio-uring (extra-libraries:
uring). Linking the fully static musl binary fails with:
ld: cannot find -luring: have you installed the static version ?
ld: cannot find -lsnappy: have you installed the static version ?
because nixpkgs's pkgsCross.musl64.snappy is dynamic-only by default and
pkgsCross.musl64.liburing's postInstall removes the .a unless
stdenv.hostPlatform.isStatic (which is false for plain musl64).
Add musl-conditional overrides to the nixpkgs overlay:
- snappy: force -DBUILD_SHARED_LIBS=OFF (matches upstream cardano-node's
nix/pkgs.nix).
- liburing: replace postInstall to delete .so* instead of .a, while
keeping the example-binaries copy to $bin.
This unblocks cardano-tools-pre-static (and -static-arm64). The
cardano-tools-static (10.6.4) and pruned-cardano-tools-static targets are
unaffected because they don't pull in lsm-tree.
Verified: nix build .#packages.x86_64-linux.cardano-tools-pre-static
on a real x86_64-linux NixOS host now succeeds and produces
x86_64-linux-cardano-node-pre-10.7.1-045bc18.zip.
This commit implements property tests for the real WFALS implementation asserting that: * votes cast by eligible voters are successfully verifiable under the same voting committee, * fake (illegal) votes are successfully rejected, and * certificates forged by multiple votes can be verifiable under the same voting committe Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>