@cella-lang/cpp 0.1.202610110053 → 0.1.202610110123

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### 陣列參數
+
+- `GFull`（`gfull`、`gfArr`、`gfLen`、`gfInit`、`gfullOf`）、`gfGet`、`gfSet`、`gfGetLe`、`gfSetLe`、`gfFor`（`gfForGo`）、`gfFold`、`gfFoldTo`（`gfFoldGo`）、`forIdx`、`GView`（`gview`、`gvArr`、`gvLen`、`gviewOf`、`gvSet`、`gvSetLe`）、`GFull2`（`gfull2`、`g2Arr`、`g2Ok`、`g2Of`、`full2B`、`rowFullB`、`rowsFullB`）、`g2Get`、`g2Set`（`rowGet`、`g2GetL`、`rowSet`、`g2SetL`）；引理 `andIntroB`、`ltEqNat`、`lengthG2SetL`、`rowSetFull`、`rowsFullSet`；引理 `allInitNthG`、`allInitSetNthG`、`ltTrS`、`gfInBounds`。
+
+### `<cmath>` 的其餘
+
+- `ffma`（`fmulExactV`）、`fnextafter`（`fnextafterV`、`signOfV`）、`fmodfInt`、`fmodfFrac`、`fcopysign`（`copysignOkB`）、`fscalbn`、`flogb`、`filogb`（`ilogbOkB`、`exponentOf`）。
+
 ### 字串串流
 
 - `isstream`、`osstream`、`ossStr`；`Read` 的取值 `rdSt`、`rdVal`。

package/index.json

@@ -214,6 +214,14 @@
       "merkle": "e5922bd80b144e2684f1d4c7bcd5596e993a4b42e2184f14bb0b815240df23d1",
       "own": "a475075fe6d1218f216752a3c0b750242169ecdd974e2fe3d4c8d9a2c9e714b5"
     },
+    "cpp.cpp.GFull": {
+      "merkle": "eb80d3cd0fee4d4d0b604059bcf920b4cd9b88e075beaf401f2eb7d3893d501f",
+      "own": "5abe1270def80a93c1a03d6a4c05b86a041a1b395fb7a695bf8ad5a1b196d39a"
+    },
+    "cpp.cpp.GFull2": {
+      "merkle": "7327e9dc7947763d6cc29c69fc5eae967b81e14e71543547348f852f6101a96d",
+      "own": "00f484faa3463586668f640234b3c1a9bdef047ff6c741fff6f6847b74811504"
+    },
     "cpp.cpp.GInsertOkD": {
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
@@ -258,6 +266,10 @@
       "merkle": "3c2f555b24b816c57c3ef5814cc0a61ff237061ad176e14c47b295d96cfaf1e7",
       "own": "5a2f4cff0f701ad18b68900852718b0c8fd33c5aecc2f48da35df74d1cd94d0a"
     },
+    "cpp.cpp.GView": {
+      "merkle": "5d1132ddded5e80ed2957c67f46210246958ab1c67c8afb539864b6a742939a9",
+      "own": "cc4fc1fd0b1a905bca209858cd847ef6fc690886af48ec4c8dfab4f692899e09"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -682,6 +694,14 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allInitNthG": {
+      "merkle": "8851b0b9b628f6d2a57e0671a8d4026ea7df278fd3ff7efe8f32f97560f4bc78",
+      "own": "2e09d7a101c0c43c77ade49328d223ea75de06b15a3eab6df5bd8c8383729770"
+    },
+    "cpp.cpp.allInitSetNthG": {
+      "merkle": "9de72192f784a35c0bdc0a8ba97cb0c54e98350be2e80dd149d4a18351febb80",
+      "own": "c14896521e6c96df4d50d1206ed1da7147de5140f154ac4ecb3ac682ddbd8ee4"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -718,6 +738,10 @@
       "merkle": "678cdc68caccb5e92105c259e8bd96bc6694c6810e3957c97d15ce3378d305bb",
       "own": "5b525368a3cb74d1bcd7b3f0c991d2ca6fbc5b82e46b1286a177b5859bb2f8d8"
     },
+    "cpp.cpp.andIntroB": {
+      "merkle": "0439111289f01914a77c9b9097dfb13b50663034a53a7040f28366ee2c0d337a",
+      "own": "a8e680e92fe320426177b6cf6691ed70e9cf6d01e1f246e4e388aadfbc999735"
+    },
     "cpp.cpp.andTrue": {
       "merkle": "d7b93602bbc7f3e54c2260f738e4fbd693bef3ccb9284cf2282c692e7d7dc08e",
       "own": "7c835e28ae8709fccc6c5163f9e3f9711c3da68e157c637048ef12936ab70407"
@@ -1230,6 +1254,10 @@
       "merkle": "cabdfa58fab6ede3357e2bbd21c1ad94d804dd90fb212c8ec4c5e0ef8c7b6be1",
       "own": "4844bb47a294d6101722f4afeb9493be40aeeb342980d1d54135c0d1ee5464e5"
     },
+    "cpp.cpp.copysignOkB": {
+      "merkle": "1c22f8cbbbf6104720eefcd30dcfbce70dd7a6921e0913b36fe0e993ae0447f1",
+      "own": "8263ee44fd6ff5886826a5dffff1f3ad4fad3457045e9de1cb7851054354a42c"
+    },
     "cpp.cpp.countA": {
       "merkle": "5b2b0d9b7c638d7c15a01957e9ff7aae3b2779fc8d9589c0c9d7c009261390eb",
       "own": "5ebb95c1166bd2193805f98fb57b760feabd19445b1069c89a6dea20c7bbae3a"
@@ -1706,6 +1734,10 @@
       "merkle": "e134eb9239d5e1477aa847393c26c60259c77154275935baf522ec435cf88f7b",
       "own": "98db856b03e5352093fb68f238e8a7c8a31168434c60eb82ada87edb2cf5f114"
     },
+    "cpp.cpp.exponentOf": {
+      "merkle": "b1b8bbdc00d48da8d0617cc36e22be49491d0eaacd3d861f4b31f341e565a4b6",
+      "own": "a126890c5ac5a0834185bbbc375cf2499192b6ff851d62f14fb057e134546869"
+    },
     "cpp.cpp.extA": {
       "merkle": "e8513e2057e3739bca1a62169e5f983398f54f6b72834be89bcc72f586f6071b",
       "own": "db1badef7d58873fb8b478a595e1cfdf3a38942d6337b9f7feb58450682f2edc"
@@ -1850,6 +1882,10 @@
       "merkle": "c861cd5eafa031157227aa8b52ef83165c5aff894674a10844729ae949c1516d",
       "own": "c7e60ed9d0dd77150ac3231329d45c068919f4fc83058b961d6a08bb28f9fdea"
     },
+    "cpp.cpp.fcopysign": {
+      "merkle": "23729806831403e206a99f4e7307dffe47929b1476793cd1b2f38e810ed840fa",
+      "own": "0879734459eb3259b2fd1aa57bbca5fff8ce5c9f1525e451163beb77dd3a6c82"
+    },
     "cpp.cpp.fcos": {
       "merkle": "b943a8a1655a188b37b8d251e9301813f58d13d1fb74c0586bea3c24c8df24fc",
       "own": "aa12870b99efa77b25abd86dc24f0146277488602877f73d644fccb5b65c781d"
@@ -1910,6 +1946,10 @@
       "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
       "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
     },
+    "cpp.cpp.ffma": {
+      "merkle": "e9038b9ef86a46795dbc29c03f503f7f1c202450d7c0dc329de41a5304420903",
+      "own": "571ea159dfcc08e8bb5c53f56053c9f6a3e8978ed1c2d04dbb33eedee9915cb9"
+    },
     "cpp.cpp.ffrexpE": {
       "merkle": "156d512705698b48885c88f086bb78b655c2db566772e36ab7b36278ed049ad8",
       "own": "e2d3b7cc991e1c7fd6bd7fc48408cfe91c9f57e559a736e83e019630f8371937"
@@ -1930,6 +1970,10 @@
       "merkle": "096a35550e65c1f42a2d7745c85d9eef943a7d00cec411dfbdfe615a993a1914",
       "own": "1cdb2ff2bfe573f5953b7c506f6fd536c54cf3d3cc35865bbc96c1be2ca3bc1c"
     },
+    "cpp.cpp.filogb": {
+      "merkle": "dcf39cd6952c465fe450270e408707772730967b3369d302080b17593c952c7c",
+      "own": "0cd4673eb43b9859233078255284ee896705a4b01860bb18b2ba69c79ade9cda"
+    },
     "cpp.cpp.findA": {
       "merkle": "34b87aec169e4ddf3aabdb9d0557e3b3c91b56fc2559f32167828272c02f2ae1",
       "own": "eedd34476122eaa51004e74d31b8e1e7c5cb4af1b148139eccd8f36ba12366da"
@@ -2082,6 +2126,10 @@
       "merkle": "e80b2b94d1bf6528993a9e542ab6461aa7163a654e492d6d8b9ed1671498dc85",
       "own": "53cc9c5c4d65659e2718fdcf21dd8a34f3129673741338b4295508fcf5ff5add"
     },
+    "cpp.cpp.flogb": {
+      "merkle": "1a07499f3c6667b04da9ccc06baf8f52da454dac5676827b3dfd60c84a690763",
+      "own": "5020c7edea111496085f68a2acfce64057c55036b889cb0cdfe0b2e30c6f5bd9"
+    },
     "cpp.cpp.floorDivN": {
       "merkle": "b7be85ab2c7fc80f1c722e8d59d515c8de9a835c61fe79841ee7cb4015f823f3",
       "own": "7c18f438e43c6e9cafd1c034b3816b3b39b7d302cefd6f1c59a1d9d2461c6922"
@@ -2126,6 +2174,14 @@
       "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
       "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
     },
+    "cpp.cpp.fmodfFrac": {
+      "merkle": "270f7b43b2bf52cc9673726de6b00d3669dbbdd8a48563a602cfd0f3d399c167",
+      "own": "604115d54b3a01c499a986480d51b1d495c882f09a149726c532fbf44516a64a"
+    },
+    "cpp.cpp.fmodfInt": {
+      "merkle": "f471d31a88a176154c26496f5297e8f141401e4d42a00f70de13f0fd98326241",
+      "own": "8c570fc8920947cd9d7e6f29ba822fdec9ad4bf2dedb38b126ea0bc99277a679"
+    },
     "cpp.cpp.fmtBase": {
       "merkle": "4f362e41c92bb75fcdf93762e020457312df07d6fced62e9f7762723da577158",
       "own": "656e9a536dc6847371d42749c72fdb23b4d88c3bc623062a70dc008d0ebafa4c"
@@ -2202,6 +2258,10 @@
       "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
       "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
     },
+    "cpp.cpp.fmulExactV": {
+      "merkle": "4987546cd8f9efdf29452c95d863380106d3f993d2224c84a04aac2ba2bbdde5",
+      "own": "8a13601536220c7475f8cd93e79e868594febb32e1ecb82e8e62b3cabc977a42"
+    },
     "cpp.cpp.fmulV": {
       "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
       "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
@@ -2218,6 +2278,14 @@
       "merkle": "6ebeee16b9b8f1a81f3e0a426b9247d0ed0e606b8f662afc20399cc8512bfe23",
       "own": "4da821d9713a98a466fead0504e3cb4c38c2422a52e04b783fc4d81dea54203b"
     },
+    "cpp.cpp.fnextafter": {
+      "merkle": "91e3e7c3f7e9fa1aac9dffa980075656f4c87443607df329bdc20e72216357d2",
+      "own": "7aa2a40a82bfe741c8ae30d58ecf7451f440cfcb1b97587a87d81dcccc93db1f"
+    },
+    "cpp.cpp.fnextafterV": {
+      "merkle": "8fbb834fbb417c437734e5619dff9ab85cfd6e52e0d44dbda45555c2be617ae4",
+      "own": "27d1161625d818b8f11bb9ac9724d1f43999d592d4ff9465eefb48d2061c7dcf"
+    },
     "cpp.cpp.foldMG": {
       "merkle": "d020f23d06691a8c61cfc5dba72d1f1ed6d92eed2b25eb3ce3b423fd4914b323",
       "own": "05ccd55ce844ed255fc67c052d3cd4bb240cbcf476074d011561c6bbf5fc2cd8"
@@ -2250,6 +2318,10 @@
       "merkle": "ed2a9ae43066b5f1760ad7927dd01969241f7d74b229829f6a373098ea526847",
       "own": "b9fd0427111a18a23953e49e0bf99ea92adb2dfd090634d6e1cef379b86d241c"
     },
+    "cpp.cpp.forIdx": {
+      "merkle": "7e07a402470dac1e9a8ce33bfd5fbedaf818ccb19ba0182bcf7bbf811e0c5095",
+      "own": "a1a5819e7042d373c2f061d3aa29d47e8a63e080a2d39fff0e03780dd16c803d"
+    },
     "cpp.cpp.forRest": {
       "merkle": "4f752ae5b6dc06db1255c15e52dd76f5226c25457d0c5152b379d8fc4f18a206",
       "own": "5e8a4779047459bcf1ff1118b99994da88afc7078fb37f24f74681dbfbffe2e4"
@@ -2354,6 +2426,10 @@
       "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
       "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
     },
+    "cpp.cpp.fscalbn": {
+      "merkle": "4c19c683a1bdba64d9998e7633b3af28ac4f1df6fd963e096dd1ffc9e382049b",
+      "own": "452aa3df74603e67c316131e6533bbd771ecc74b10f07693cda3f6262ea16fb6"
+    },
     "cpp.cpp.fsignbit": {
       "merkle": "8d016103001f72b0e29c004585d4453d4db788671dcdce0c7935dad301d2c884",
       "own": "51906e4edc5277c823f84167d04e5bd869ade506216d7d6efe4eb85d6ad8a5a8"
@@ -2398,10 +2474,42 @@
       "merkle": "016f560d99f1f37c0906ef378943ed4fa35714c84e82eb286986a9ae7afc04e8",
       "own": "2e3bd42e423994c4b5af2413141bb0ab9186099b35e9f60192c8ab8967a797ec"
     },
+    "cpp.cpp.full2B": {
+      "merkle": "ee15156201ccb10ea5627e0bd7b1a175463d7cc49f53eed3f420e26363a10f8c",
+      "own": "e97dc8905f2efeccbfe378d1a700bee31dd4ba10397aa4703e6c5379081794c4"
+    },
     "cpp.cpp.fval": {
       "merkle": "f744adc2710732853538ba3b2a37a0881d162a9cb354dacde9c3bc28d1b4badd",
       "own": "a4710bad12efe6c8f9c38938ea8acfa72655e4c648aa106ab866e3c948360735"
     },
+    "cpp.cpp.g2Arr": {
+      "merkle": "48c92e4737220c3899f4389772782fc04a73871855367c9398e1400bf80ee785",
+      "own": "dc2599f2fb14af1574e22f73927023f36e12c2c59bfecc8d9a17452ee766ff4a"
+    },
+    "cpp.cpp.g2Get": {
+      "merkle": "cc801429151d2dbec9940865139fa6dc8b22dca66f8a674aff7a1f4db884cfda",
+      "own": "abf9e238ba087e1fead906dd812beaa7b80903d8a0034f3ff339dc62d825a3ab"
+    },
+    "cpp.cpp.g2GetL": {
+      "merkle": "f2302fe3b1e94aef6a9c3935590347e6de1f53f166643ecf8f940fde6c0828c6",
+      "own": "747881e1d43aed254218bb52c290054385d56df10d2848c991b4b0e5d86509df"
+    },
+    "cpp.cpp.g2Of": {
+      "merkle": "55700e5343698eade4be0336522edabeace4a7135693222294f9addf766ee93b",
+      "own": "bc711359a7130a51660a4d493b979c769bfccba6864f409196bd80886cdf038c"
+    },
+    "cpp.cpp.g2Ok": {
+      "merkle": "e34253f01c84b4055df58a97be7d6450f138e33e7a525210faf67aef3dca4c7e",
+      "own": "c27500fa69ab4621fd82ff77751e1f3ae6b2834fc23d0152eb82ba4cbbdd4749"
+    },
+    "cpp.cpp.g2Set": {
+      "merkle": "1a6b9d892466194fb93fbe81f306e4e2286059a9252d53e3f38689c34cef9397",
+      "own": "81ab9243154a17460e9aa0f122d44e0c653d43985d05e9c1e3981000e1ec8030"
+    },
+    "cpp.cpp.g2SetL": {
+      "merkle": "7ea0d7cdbff97beba426eaefc0d2708cbdebebce13ec726bec1f4bf70e179205",
+      "own": "f2188b214563dd05302ce847c75151ceae3a82c2d71c3d643f66fb4b06e46afb"
+    },
     "cpp.cpp.gAccumulate": {
       "merkle": "bfe24d426c8258c937eab2fea042c1f7e07050a8995cd0f1eb625a4c1f7ea8a0",
       "own": "7a6a33ea257a179f03f892cf6deffa22c6505ec8cd7352d779ee979f437715bf"
@@ -2594,6 +2702,62 @@
       "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
       "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
     },
+    "cpp.cpp.gfArr": {
+      "merkle": "14559c5ac08ffdac16dc0878055708000c2379041b8f2b48f9e067358986116a",
+      "own": "a3834dfb93001a2c56d79d8b3df8065f539735294bdc64b317f7ce9ba0f25e55"
+    },
+    "cpp.cpp.gfFold": {
+      "merkle": "a920c9abf3ed736ace0bda14d1627ded0e6e3d52fa7b43bfde03abfa63e5e274",
+      "own": "d9f4b7fa1d1ca51d1b25dcc20c7017037e46f666d65f93c20105f899a193269f"
+    },
+    "cpp.cpp.gfFoldGo": {
+      "merkle": "aa07cd28c787123ca9b9faf8e55a2af5e1ced1540e0c16432a27884ea37116d6",
+      "own": "ebb87eee8e61ca9283d0e8ab0ca6432f0955725d44790c2e5c0d147bf6336ee6"
+    },
+    "cpp.cpp.gfFoldTo": {
+      "merkle": "a370f10c371107c4ce86b27e81c00de31fcec9b58b07d6227bf33e48c007db47",
+      "own": "7e7602b729630e70657cacffe559a31e4c80924f9b69f72e4d69c9f4590d45f5"
+    },
+    "cpp.cpp.gfFor": {
+      "merkle": "ae90dc276d5b2ff83393daeb811e75bf9f58e2454de81d15489e2a81acc96ed9",
+      "own": "361198e803254963b482496a124522e60c142847af8865ae16a23519e9bfdeb9"
+    },
+    "cpp.cpp.gfForGo": {
+      "merkle": "70df75ae9d7aa3d13124c92cd734248db45feacb90e60b0556a5151c4087f4ed",
+      "own": "781287fca75a2804e1a90f9bd9c5f5e014c64b156304b847037536842da048b5"
+    },
+    "cpp.cpp.gfGet": {
+      "merkle": "a66329d8da101aba95473e2d87908fbe2d753d405e5e663c4ee009fd57094a3d",
+      "own": "7b010a24c01e822a2c4141546621195613de7edd06519629ede72d7eac9cd7a2"
+    },
+    "cpp.cpp.gfGetLe": {
+      "merkle": "f0e62ffd3d8e12a34a359688404210d526580d8d7acee424ef0140c83b00f653",
+      "own": "1d96edf34c518b1061552a0f8e5c20e2220c86f2b9a611f6b9711defff6afd5f"
+    },
+    "cpp.cpp.gfInBounds": {
+      "merkle": "9ac7f25bbcb66a4b5a22bbe29429ca5ce978beb89be8bb7d027d0052dd6adaab",
+      "own": "92005df5319305d41099407499822eec201f7a9cd362a66210fed55c6946f9c9"
+    },
+    "cpp.cpp.gfInit": {
+      "merkle": "bdccf2245e3bb0b0608378c09dfa3dc432f5f1be0adf40f41018fd64b781f238",
+      "own": "d7bf7178235dbfb4d4c6780553fa5f60deb299d8143c7ebbda104772dfa845ef"
+    },
+    "cpp.cpp.gfLen": {
+      "merkle": "d79eb320d20992b03bd6542fcfce3f17092b50e8572532ee3684f896e009c68b",
+      "own": "60ad361af9a6a914231433c6c641ed53efdb788d1368c48114fa8f0d9a1d109a"
+    },
+    "cpp.cpp.gfSet": {
+      "merkle": "61ac1d86f2e082281594e88a0b9f68f6a2f5598e44fb68e3a12ffa22aada53b3",
+      "own": "5f0068b2c7d20862915e4f9498015b4ee7f5c2c42249c7c4b4d616eb15594243"
+    },
+    "cpp.cpp.gfSetLe": {
+      "merkle": "8b659949b2e0011bda7c582ce9efab9f32f213737e24e73e723684d8733f2988",
+      "own": "b2872d2d921803d8f5224080a7e864b0157636265247b68d3a022b97b6ffcdb8"
+    },
+    "cpp.cpp.gfullOf": {
+      "merkle": "62c37bd2fbdb274ed670ba72ab8c32dfc658222e3efa8ed3b5214effe546eda3",
+      "own": "cd11f61362923a383873f230a6ad60a78ed4d49b82b8780074f5d18b570c9ebf"
+    },
     "cpp.cpp.gitKey": {
       "merkle": "62713efd9a527fa3a62350b390c71fbfcc8deea96892e142a06137e56f63a6ff",
       "own": "41f573f43eb694316ea42772632550215324964c4e6a2b618353894aa280fd9d"
@@ -2862,6 +3026,26 @@
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
     },
+    "cpp.cpp.gvArr": {
+      "merkle": "9687c377f2cca333811eaf26d8db5c44846e6af50e5669a8f80567afe7b1b216",
+      "own": "a7f802fe4fed1c1dd50568b1c072b47bd48584469e642f8b16acc99a4228ac3a"
+    },
+    "cpp.cpp.gvLen": {
+      "merkle": "7afc2af12410b320b89cfd377d9f657ad9bfffec6443b738652339def7140ea7",
+      "own": "3a62293b95af4b5c3e04371f043a4b1808464835ec53480f13dc91a3212efdcb"
+    },
+    "cpp.cpp.gvSet": {
+      "merkle": "639d13648efd8307c3908aef458e7967447c4ac73d65316bc51ecc12174768b3",
+      "own": "a430e53e23df6900a6a694ad02f2b0bb99737b3b65b5a3be0b9ff75c9cacb807"
+    },
+    "cpp.cpp.gvSetLe": {
+      "merkle": "c09f45fdf3fb207a3d774036efb7b8a15274a998cdd5e7f1720bf841ac3deb85",
+      "own": "9a459b08cbcb43bc3bdd59aa6c6f745e3bf4617b98fa1fb1f68210107d214297"
+    },
+    "cpp.cpp.gviewOf": {
+      "merkle": "4f3e416ae078cd645406c2bf9fb43c2c49c16f445abc900ad0df8abbe2e909fe",
+      "own": "1c85857e4115bdf32ff3c77d04e15f7a49c954b45fa137af78cb259a280d11b4"
+    },
     "cpp.cpp.half": {
       "merkle": "36ecf45d20fb459e58f2fc0fc639395b5712a182d970b48970e5cc16ad015db4",
       "own": "3570a89c86c1ee4b65d9a2a2e61e4b84d33568e5030d96fb83cdf21db4216281"
@@ -2918,6 +3102,10 @@
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
     },
+    "cpp.cpp.ilogbOkB": {
+      "merkle": "afaa3e88d4d29fc1b8747c3dbf72214e918133afae49fa070bd003a1aae7f423",
+      "own": "8a6e8dfe28b681e9a355cd96c3ad6978a01f1e191212ca7ee0045e42304dda52"
+    },
     "cpp.cpp.inBoundsB": {
       "merkle": "cbcf9cd4f454b7acee41a85d4e112afc2f5d3331f30998ae06bc5f0792555cdc",
       "own": "90d6fd37bd754cca134659a92539e44b353ea2c86026f12664f1d2dadae463bc"
@@ -3266,6 +3454,10 @@
       "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
       "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
     },
+    "cpp.cpp.lengthG2SetL": {
+      "merkle": "f58a07eb409fa527a1c29ff67bfaca63bda4f6615b60f93a5ef91a4fab60edaa",
+      "own": "700b50e1a1795311eed343051e7063fbf260dadcd94edc4726598ad7f56167d3"
+    },
     "cpp.cpp.lengthInsertA": {
       "merkle": "7f344de2786402ab2110cce29be17a75fbc404a5385e86e6f6a4d0d84eab4371",
       "own": "0a506fc9ea40fd2402f357c518312cdfe9eeed68aa15dc30f659f67185338ddf"
@@ -3442,6 +3634,10 @@
       "merkle": "43661906da6775bcddb4eb0f671698e4afab5c926cb9d2746e682a6bb96e5cdf",
       "own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
     },
+    "cpp.cpp.ltEqNat": {
+      "merkle": "9a220586611e8d61f87c82fd1e07dcd8da8a7b61d3727e46495a6b509f008c28",
+      "own": "02a68a7f8beb32db0ec9db6fac614e2d168d764b1c1033ea2f7b4aa4eebd6e70"
+    },
     "cpp.cpp.ltFF": {
       "merkle": "8aa69517d299bcfd0e212389cae1297d36d916b8c67b62d74e8e486e9f4f2e1c",
       "own": "41311c51d9f40953536e14b59d09b9eb5971b984b6fa2ae2bd875b3ed9453274"
@@ -3462,6 +3658,10 @@
       "merkle": "90e51eb9c41ba2b861f9ebe8aa72d665a3be8a7f557e84b8dca66b0852d95fbd",
       "own": "eff7d54296b318578658bab333fc95ae07289f17a7b6b48ac3b192f2166946de"
     },
+    "cpp.cpp.ltTrS": {
+      "merkle": "29f4c9eaad2faf3c7958d9c21683bf6468af70b0e659ed4849eff43ae1d2f0b9",
+      "own": "ec61d31e0484474c974a33decdb242a9e7ae010a469ad10c04d0026f9e423289"
+    },
     "cpp.cpp.ltV": {
       "merkle": "491c62e34767bb753fe79fe8a646e7e0be26805166e1c87508dd3580918d54c1",
       "own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
@@ -4314,6 +4514,30 @@
       "merkle": "3465f4af7d243d0bdae3c0e2a0b9738709db996d08fc4b2323972e77d6a01593",
       "own": "8c2cae195e9b41950bd68a636873a26d23af45b9cc4b7760c4135df7a5376bb0"
     },
+    "cpp.cpp.rowFullB": {
+      "merkle": "0aa656caf52dea633242e39d40dd50d5de3bcb0d069a5342fc3985588ae5abad",
+      "own": "7b61752e159cfae6f48abb58b58ed095d34bcfe00cef1d25750c6f1c93ada204"
+    },
+    "cpp.cpp.rowGet": {
+      "merkle": "02912bbcb44841ddb2bbc85be6461733964eea3615c49ce417a2a0594b2bc265",
+      "own": "8bd5e14171824386f0d49c02622fbf4d76ac7fef13e9c04dcb1fc4502f9ebe40"
+    },
+    "cpp.cpp.rowSet": {
+      "merkle": "83a1a59aa80f77cd166529b6771cf2cdc26e6ed255cc9ea7a1a8bac57292fe86",
+      "own": "730ea9b892fd627959d59bba35dc7046cdcecab99b59ff4155486a8350ce8aa0"
+    },
+    "cpp.cpp.rowSetFull": {
+      "merkle": "075b13c476ac9a91e0d33a94f7dd9bcc521d5340e1ba8aee6488841bab1b1684",
+      "own": "4e5452bdec9ba7ff512ccf09f13c53b7733ebbe90b14be3519bababdfe6f19a7"
+    },
+    "cpp.cpp.rowsFullB": {
+      "merkle": "c0e5c9f906458919c36469600fb6a38d669d98ff8334124d4a612f31cb68e919",
+      "own": "b13d0b50c42c69a82f5093cc7f3f4b26e84dc56ddbb2ae6818ab627206c914f6"
+    },
+    "cpp.cpp.rowsFullSet": {
+      "merkle": "5a50f905f7f3f2515e4237f0890f20552f0c6bbf059ebffa8d76428c1320fa9f",
+      "own": "35dc8411286a1279f71da1df6415cf8a935e2feaafaaf58312d5f9de0bff85ae"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
       "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
@@ -4538,6 +4762,10 @@
       "merkle": "47719b65c021aa8a492691dbfe4e34819b29d32fcc53dcf3406c12646da2831f",
       "own": "2abd17d6340ff73149be09750b6e461060fac67dcea7af4f6f8c12844429ddb5"
     },
+    "cpp.cpp.signOfV": {
+      "merkle": "858d9ad8f37bbb2a3ec86e19382f086e59623e4bcb4fe2483c7b6fc8e3ecdf87",
+      "own": "61a6a7645772e4dd35e4d7546fc31c4bc62f87cd434350f8a0e1d2b0e3ea6773"
+    },
     "cpp.cpp.signedMag": {
       "merkle": "96eb8ed275c2c1965bd538e37a26c463da5f3cb8367aca423013cce3768596b7",
       "own": "42cd34024ab071bd972fdcf2c2a7fdea8299a65198aae2b73bfc341c68d2f8e6"
@@ -5602,7 +5830,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2776203,
+      "bytes": 2902033,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110053",
+  "version": "0.1.202610110123",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "e18862cde8fa42ad"
+    "packHash": "1b8bd3cb3a9fd2fc"
   }
 }