29:I[49813,["/_next/static/chunks/3z--bwudlglfp.js","/_next/static/chunks/2u04xn-9yg2co.js","/_next/static/chunks/1b5-8ftwqgmtb.js","/_next/static/chunks/3nqo6bdos11l6.js","/_next/static/chunks/0fz0mlrjifmq7.js","/_next/static/chunks/2l43yyot7shmw.js","/_next/static/chunks/29v1ttach42xh.js","/_next/static/chunks/2ziic7alkvd8r.js","/_next/static/chunks/1hplpmn3-d0tx.js"],"CodeWorkspace"] 2a:T317d,/** * Copyright (c) 2011-2026 libbitcoin developers * * This file is part of libbitcoin. * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU Affero General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Affero General Public License for more details. * * You should have received a copy of the GNU Affero General Public License * along with this program. If not, see . */ #include "../test.hpp" // negate (signedness and [absolue] value do not change, sign to inverted) static_assert(negate(0_i32) == 0_i32); static_assert(negate(0_u32) == 0_u32); static_assert(negate(1_i32) == 1_ni32); static_assert(negate(1_u32) == 1_nu32); static_assert(negate(1_ni32) == 1_i32); static_assert(negate(42_i32) == 42_ni32); static_assert(negate(42_u32) == 42_nu32); static_assert(negate(42_ni32) == 42_i32); static_assert(is_same_type); static_assert(is_same_type); static_assert(is_same_type); static_assert(is_same_type); // negate(minimum) overflows the integral domain. // Cannot be represented in 64 bit constexpr. static_assert(to_unsigned(negate(min_int8)) == add1(to_unsigned(max_int8))); static_assert(to_unsigned(negate(min_int16)) == add1(to_unsigned(max_int16))); static_assert(to_unsigned(negate(min_int32)) == add1(to_unsigned(max_int32))); ////static_assert(to_unsigned(negate(min_int64)) == add1(to_unsigned(max_int64))); // floored_negate (signed negation of an unsigned magnitude) static_assert(floored_negate(uint8_t{ 0 }) == 0); static_assert(floored_negate(uint8_t{ 5 }) == -5); static_assert(floored_negate(uint8_t{ 127 }) == -127); // The signed minimum is exact (not saturated) at its magnitude. static_assert(floored_negate(uint8_t{ 128 }) == min_int8); static_assert(floored_negate(uint8_t{ 129 }) == min_int8); static_assert(floored_negate(max_uint64) == min_int64); static_assert(floored_negate(max_uint32) == 4294967295_ni64); static_assert(is_same_type(uint32_t{})), int16_t>); // absolute ([absolue] value does not change, signedness to unsigned, sign to positive) static_assert(absolute(0_i32) == 0_u32); static_assert(absolute(0_u32) == 0_u32); static_assert(absolute(1_i32) == 1_u32); static_assert(absolute(1_u32) == 1_u32); static_assert(absolute(1_ni32) == 1_u32); static_assert(absolute(42_i32) == 42_u32); static_assert(absolute(42_u32) == 42_u32); static_assert(absolute(42_ni32) == 42_u32); static_assert(absolute(min_uint32) == zero); static_assert(absolute(max_uint32) == max_uint32); static_assert(absolute(max_int32) == max_int32); static_assert(absolute(add1(min_int32)) == max_int32); static_assert(is_same_type); static_assert(is_same_type); static_assert(is_same_type); static_assert(is_same_type); // absolute(minimum) overflows the integral domain. // Cannot be represented in 64 bit constexpr. static_assert(absolute(min_int8) == add1(to_unsigned(max_int8))); static_assert(absolute(min_int16) == add1(to_unsigned(max_int16))); static_assert(absolute(min_int32) == add1(to_unsigned(max_int32))); ////static_assert(absolute(min_int64) == add1(to_unsigned(max_int64))); // ones_complement // alias for bit_not (~n) static_assert(ones_complement(-4) == 3); static_assert(ones_complement(-3) == 2); static_assert(ones_complement(-2) == 1); static_assert(ones_complement(-1) == 0); static_assert(ones_complement(0) == -1); static_assert(ones_complement(1) == -2); static_assert(ones_complement(2) == -3); static_assert(ones_complement(3) == -4); static_assert(ones_complement(4) == -5); static_assert(ones_complement(-4) == 3); static_assert(ones_complement(-3) == 2); static_assert(ones_complement(-2) == 1); static_assert(ones_complement(-1) == 0); static_assert(ones_complement(0x00) == 0xffu); static_assert(ones_complement(0xff) == 0u); static_assert(ones_complement(0xfe) == 1u); static_assert(ones_complement(0xfd) == 2u); static_assert(ones_complement(0xfc) == 3u); static_assert(ones_complement(ones_complement(0x12345678)) == 0x12345678); static_assert(is_same_type(0)), int8_t>); // twos_complement // similar to but different than absolute (~n+1) static_assert(twos_complement(4_ni32) == 4_i32); static_assert(twos_complement(3_ni32) == 3_i32); static_assert(twos_complement(2_ni32) == 2_i32); static_assert(twos_complement(1_ni32) == 1_i32); static_assert(twos_complement(0_i16) == 0_i16); static_assert(twos_complement(1_i16) == 1_ni16); static_assert(twos_complement(2_i16) == 2_ni16); static_assert(twos_complement(3_i16) == 3_ni16); static_assert(twos_complement(4_i16) == 4_ni16); static_assert(twos_complement(4_ni8) == 4_i8); static_assert(twos_complement(3_ni8) == 3_i8); static_assert(twos_complement(2_ni8) == 2_i8); static_assert(twos_complement(1_ni8) == 1_i8); static_assert(twos_complement(0x00_u8) == 0_u8); static_assert(twos_complement(0xffff_i16) == 1_i16); static_assert(twos_complement(0xfffffffe_u32) == 2_u32); static_assert(twos_complement(0xfffffffffffffffd_u64) == 3_u64); static_assert(twos_complement(0xfffffffffffffffc_u64) == 4_u64); static_assert(twos_complement(twos_complement(0x12345678)) == 0x12345678); static_assert(is_same_type(0)), int8_t>); // signed static_assert(negate(max_int8) == -max_int8); // rhs size/sign promotion (expected result) static_assert(negate(max_int16) == -max_int16); // rhs size/sign promotion (expected result) static_assert(negate(max_int32) == -max_int32); // rhs sign promotion (expected result) static_assert(negate(max_int64) == -max_int64); // rhs sign promotion (expected result) // unsigned static_assert(negate(max_uint8) != -max_uint8); // rhs size/sign promotion (unexpected result) static_assert(negate(max_uint16) != -max_uint16); // rhs size/sign promotion (unexpected result) // instead... always avoid promoting operators. static_assert(negate(0) == twos_complement(0)); static_assert(negate(0u) == twos_complement(0u)); static_assert(negate(1) == twos_complement(1)); static_assert(negate(1u) == twos_complement(1u)); static_assert(negate(-1) == twos_complement(-1)); static_assert(negate(-42) == twos_complement(-42)); static_assert(negate(42u) == twos_complement(42u)); static_assert(negate(max_uint8) == twos_complement(max_uint8)); static_assert(negate(max_uint16) == twos_complement(max_uint16)); static_assert(negate(max_uint32) == twos_complement(max_uint32)); static_assert(negate(max_uint64) == twos_complement(max_uint64)); static_assert(negate(max_uint8) == add1(min_uint8)); static_assert(negate(max_uint16) == add1(min_uint16)); static_assert(negate(max_uint32) == add1(min_uint32)); static_assert(negate(max_uint64) == add1(min_uint64)); // -minimum is undefined (cannot add1 to the domain maximum and get a negative). ////static_assert(negate(min_int32) == add1(max_int8)); ////static_assert(negate(min_int64) == add1(max_int8)); ////static_assert(negate(min_int8) == add1(max_int8)); ////static_assert(negate(min_int16) == add1(max_int16)); // These can be mitigated using explicit domain promotion (except for uint64_t). static_assert(negate(min_int8) == add1(max_int8)); static_assert(negate(min_int16) == add1(max_int16)); static_assert(negate(min_int32) == add1(max_int32)); // uint32 requires explicit promotion before negation. static_assert(negate(min_int8) == -min_int8); static_assert(negate(min_int16) == -min_int16); static_assert(negate(min_int32) == -int64_t(min_int32)); ////static_assert(negate(min_int64) == -min_int64); // is_negative static_assert(is_negative(1_ni32)); static_assert(is_negative(42_ni16)); static_assert(is_negative(0x80_i8)); static_assert(is_negative(0xff_i8)); static_assert(is_negative(min_int32)); static_assert(!is_negative(0_u16)); static_assert(!is_negative(1_u32)); static_assert(!is_negative(42_u64)); static_assert(!is_negative(0x00_i8)); static_assert(!is_negative(0x01_u8)); static_assert(!is_negative(0x80_u8)); static_assert(!is_negative(0xff_u8)); static_assert(!is_negative(max_int32)); static_assert(!is_negative(max_uint32)); // to_unsigned static_assert(is_greater(1, 0)); static_assert(is_greater(1u, 0)); static_assert(is_greater(1u, 0u)); static_assert(is_greater(0, -1)); static_assert(is_greater(0u, -1)); static_assert(!is_greater(-1, -1)); static_assert(!is_greater(0u, 0)); static_assert(!is_greater(0u, 0u)); static_assert(!is_greater(0, 0u)); static_assert(!is_greater(1, 1)); static_assert(!is_greater(1u, 1)); static_assert(!is_greater(1u, 1u)); static_assert(!is_greater(1, 1u)); static_assert(!is_greater(0, 1)); static_assert(!is_greater(-1, 0)); // to_unsigned static_assert(!is_lesser(1, 0)); static_assert(!is_lesser(1u, 0)); static_assert(!is_lesser(1u, 0u)); static_assert(!is_lesser(0, -1)); static_assert(!is_lesser(0u, -1)); static_assert(!is_lesser(-1, -1)); static_assert(!is_lesser(0u, 0)); static_assert(!is_lesser(0u, 0u)); static_assert(!is_lesser(0, 0u)); static_assert(!is_lesser(1, 1)); static_assert(!is_lesser(1u, 1)); static_assert(!is_lesser(1u, 1u)); static_assert(!is_lesser(1, 1u)); static_assert(is_lesser(0, 1)); static_assert(is_lesser(-1, 0)); // greater static_assert(greater(1, 0) == 1); static_assert(greater(0, 1) == 1); static_assert(greater(1u, 0u) == 1u); static_assert(greater(0u, 1u) == 1u); static_assert(greater(1, 0u) == 1); static_assert(greater(0, 1u) == 1); static_assert(greater(1u, 0) == 1); static_assert(greater(0u, 1) == 1); static_assert(greater(0, 0) == 0); static_assert(greater(1, 1) == 1); static_assert(greater(0u, 0u) == 0u); static_assert(greater(1u, 1u) == 1u); static_assert(greater(0u, 0) == 0); static_assert(greater(1u, 1) == 1); static_assert(greater(0, 0u) == 0); static_assert(greater(1, 1u) == 1); static_assert(greater(1, 0) == 1u); static_assert(greater(0, 1) == 1u); static_assert(greater(1u, 0u) == 1u); static_assert(greater(0u, 1u) == 1u); static_assert(greater(1, 0u) == 1u); static_assert(greater(0, 1u) == 1u); static_assert(greater(1u, 0) == 1u); static_assert(greater(0u, 1) == 1u); static_assert(greater(0, 0) == 0u); static_assert(greater(1, 1) == 1u); static_assert(greater(0u, 0u) == 0u); static_assert(greater(1u, 1u) == 1u); static_assert(greater(0u, 0) == 0u); static_assert(greater(1u, 1) == 1u); static_assert(greater(0, 0u) == 0u); static_assert(greater(1, 1u) == 1u); // lesser static_assert(lesser(1, 0) == 0); static_assert(lesser(0, 1) == 0); static_assert(lesser(1u, 0u) == 0u); static_assert(lesser(0u, 1u) == 0u); static_assert(lesser(1, 0u) == 0); static_assert(lesser(0, 1u) == 0); static_assert(lesser(1u, 0) == 0); static_assert(lesser(0u, 1) == 0); static_assert(lesser(0, 0) == 0); static_assert(lesser(1, 1) == 1); static_assert(lesser(0u, 0u) == 0u); static_assert(lesser(1u, 1u) == 1u); static_assert(lesser(0u, 0) == 0); static_assert(lesser(1u, 1) == 1); static_assert(lesser(0, 0u) == 0); static_assert(lesser(1, 1u) == 1); static_assert(lesser(1, 0) == 0); static_assert(lesser(0, 1) == 0); static_assert(lesser(1u, 0u) == 0u); static_assert(lesser(0u, 1u) == 0u); static_assert(lesser(1, 0u) == 0u); static_assert(lesser(0, 1u) == 0u); static_assert(lesser(1u, 0) == 0u); static_assert(lesser(0u, 1) == 0u); static_assert(lesser(1, 0) == 0); static_assert(lesser(1, 1) == 1); static_assert(lesser(0u, 0u) == 0u); static_assert(lesser(1u, 1u) == 1u); static_assert(lesser(0u, 0) == 0u); static_assert(lesser(1u, 1) == 1u); static_assert(lesser(0, 0u) == 0u); static_assert(lesser(1, 1u) == 1u); 12:["$","$L29",null,{"project":{"id":"cmuidb72x000001s1932ifphv","owner":"libbitcoin","repo":"libbitcoin-system","displayName":"libbitcoin/libbitcoin-system","defaultBranch":"master"},"commit":{"sha":"4f070c1f2115f81ad59206694fd75c772ddc1319","message":"Replace ecdsa capture parameter with unbatched verification method.","authorLogin":"evoskuil","authorName":"Eric Voskuil","date":"2026-09-26T16:28:24.000Z","htmlUrl":"https://github.com/libbitcoin/libbitcoin-system/commit/4f070c1f2115f81ad59206694fd75c772ddc1319","isHead":false,"headSha":"83147c18e3a80ab2949c2c8a7e3486950d7cfeff"},"gitRef":"4f070c1f2115f81ad59206694fd75c772ddc1319","path":"test/math/sign.cpp","target":{"kind":"file","file":{"path":"test/math/sign.cpp","size":12669,"content":"$2a","tooLarge":false,"binary":false,"htmlUrl":"https://github.com/libbitcoin/libbitcoin-system/blob/4f070c1f2115f81ad59206694fd75c772ddc1319/test/math/sign.cpp","mutants":[],"mutantsAtOtherRevisions":0}},"treeCache":{"":[{"name":".github","path":".github","type":"dir","size":null},{"name":".vscode","path":".vscode","type":"dir","size":null},{"name":"builds","path":"builds","type":"dir","size":null},{"name":"doc","path":"doc","type":"dir","size":null},{"name":"examples","path":"examples","type":"dir","size":null},{"name":"include","path":"include","type":"dir","size":null},{"name":"src","path":"src","type":"dir","size":null},{"name":"test","path":"test","type":"dir","size":null},{"name":"tools","path":"tools","type":"dir","size":null},{"name":".gitignore","path":".gitignore","type":"file","size":1043},{"name":"COPYING","path":"COPYING","type":"file","size":33899},{"name":"README.md","path":"README.md","type":"file","size":13027}],"test":[{"name":"chain","path":"test/chain","type":"dir","size":null},{"name":"config","path":"test/config","type":"dir","size":null},{"name":"crypto","path":"test/crypto","type":"dir","size":null},{"name":"data","path":"test/data","type":"dir","size":null},{"name":"endian","path":"test/endian","type":"dir","size":null},{"name":"error","path":"test/error","type":"dir","size":null},{"name":"filter","path":"test/filter","type":"dir","size":null},{"name":"hash","path":"test/hash","type":"dir","size":null},{"name":"intrinsics","path":"test/intrinsics","type":"dir","size":null},{"name":"machine","path":"test/machine","type":"dir","size":null},{"name":"math","path":"test/math","type":"dir","size":null},{"name":"mocks","path":"test/mocks","type":"dir","size":null},{"name":"radix","path":"test/radix","type":"dir","size":null},{"name":"serial","path":"test/serial","type":"dir","size":null},{"name":"stream","path":"test/stream","type":"dir","size":null},{"name":"unicode","path":"test/unicode","type":"dir","size":null},{"name":"wallet","path":"test/wallet","type":"dir","size":null},{"name":"words","path":"test/words","type":"dir","size":null},{"name":".gitignore","path":"test/.gitignore","type":"file","size":16},{"name":"allocator.cpp","path":"test/allocator.cpp","type":"file","size":20791},{"name":"arena.cpp","path":"test/arena.cpp","type":"file","size":4856},{"name":"constants.cpp","path":"test/constants.cpp","type":"file","size":2567},{"name":"constraints.cpp","path":"test/constraints.cpp","type":"file","size":36099},{"name":"define.cpp","path":"test/define.cpp","type":"file","size":1686},{"name":"funclets.cpp","path":"test/funclets.cpp","type":"file","size":6873},{"name":"hacks.cpp","path":"test/hacks.cpp","type":"file","size":10602},{"name":"literals.cpp","path":"test/literals.cpp","type":"file","size":24343},{"name":"main.cpp","path":"test/main.cpp","type":"file","size":1211},{"name":"settings.cpp","path":"test/settings.cpp","type":"file","size":22428},{"name":"test.cpp","path":"test/test.cpp","type":"file","size":2507},{"name":"test.hpp","path":"test/test.hpp","type":"file","size":6452},{"name":"typelets.cpp","path":"test/typelets.cpp","type":"file","size":24076},{"name":"types.cpp","path":"test/types.cpp","type":"file","size":13119}],"test/math":[{"name":"addition.cpp","path":"test/math/addition.cpp","type":"file","size":17394},{"name":"bits.cpp","path":"test/math/bits.cpp","type":"file","size":44442},{"name":"bytes.cpp","path":"test/math/bytes.cpp","type":"file","size":13014},{"name":"byteswap.cpp","path":"test/math/byteswap.cpp","type":"file","size":4496},{"name":"cast.cpp","path":"test/math/cast.cpp","type":"file","size":11097},{"name":"division.cpp","path":"test/math/division.cpp","type":"file","size":17873},{"name":"expectations.cpp","path":"test/math/expectations.cpp","type":"file","size":23592},{"name":"functional.cpp","path":"test/math/functional.cpp","type":"file","size":4237},{"name":"limits.cpp","path":"test/math/limits.cpp","type":"file","size":19297},{"name":"logarithm.cpp","path":"test/math/logarithm.cpp","type":"file","size":34293},{"name":"multiplication.cpp","path":"test/math/multiplication.cpp","type":"file","size":17905},{"name":"overflow.cpp","path":"test/math/overflow.cpp","type":"file","size":12622},{"name":"power.cpp","path":"test/math/power.cpp","type":"file","size":3045},{"name":"rotate.cpp","path":"test/math/rotate.cpp","type":"file","size":4644},{"name":"sign.cpp","path":"test/math/sign.cpp","type":"file","size":12669}]},"revisions":[{"commitSha":"9fa0f9a07f31c5cc9ebe5efa05e6d4a6d12ba183","branch":null,"commitMessage":"Test script pattern length guards and the sixteen key multisig builder boundary.","commitDate":"2026-09-29T18:05:00.000Z","mutantCount":129},{"commitSha":"98db5bfd7c7b65532e42309c7b71419d82ec5ea8","branch":null,"commitMessage":"Merge pull request #2017 from evoskuil/master","commitDate":"2026-09-28T17:24:16.000Z","mutantCount":230},{"commitSha":"827fb29d0fecbdf7a157e05b1bea59bc916787aa","branch":null,"commitMessage":"Test multisig sighash cache reset across distinct subscripts","commitDate":"2026-09-26T12:24:47.000Z","mutantCount":1},{"commitSha":"8e7a9fdcb4ca72bc5bfe9961815aaa9bc33b64a0","branch":null,"commitMessage":"Remove dead include.","commitDate":"2026-09-25T06:52:28.000Z","mutantCount":90}],"signedIn":false,"pullRequest":{"id":"cmulblepm000001p96ixnpvs2","number":2012,"title":"Replace ecdsa capture parameter with unbatched verification method.","headSha":"4f070c1f2115f81ad59206694fd75c772ddc1319","state":"MERGED","htmlUrl":"https://github.com/libbitcoin/libbitcoin-system/pull/2012","ranges":[],"fileInDiff":false,"atHead":true}}]