@cella-lang/cpp 0.1.202610110249 → 0.1.202610110302

package/CHANGES.md

@@ -5,6 +5,22 @@
 
 ## 未發佈
 
+### 函式指標與 std::function
+
+- `FnP`（`fnNullP`、`fnP`）、`fnPOf`、`fnPEqB`、`fnPNullB`、`fnPResM`、`fnPCall`；`FnObj`（`fnEmpty`、`fnObj`）、`fnObjOf`、`fnObjOfP`、`fnObjB`、`fnObjOkB`、`fnObjCall`；`ExcKind` 多一個 `eBadFunctionCall`（父類別 `eException`）。
+
+### `remquo`
+
+- `fremquoOkB`、`remQuot`、`fremquoQ8`（商的 `q % 8`，帶符號）。
+
+### `<cstring>` 的其餘
+
+- `strrchrC`（`byteIdxLast`）、`strstrC`（`bytesPrefixB`、`subIdx`）、`strncatC`、`cellsAt`、`writeCells`、`memsetC`、`memcpyOkB`、`memcpyC`、`memmoveOkB`、`memmoveC`、`allJustB`、`memcmpOkB`、`cellBytes`、`memcmpC`。
+
+### 非格式化的輸入
+
+- `iosGood`、`iosFail`、`cinWs`、`cinGetC`、`GetR`（`getR`、`getRSt`、`getRC`）、`cinGetI`、`cinPeek`、`cinIgnore`（`ignoreGo`）、`cinVNoSkip`。
+
 ### set／map 的 erase 只讓被刪的失效（**不相容**）
 
 - `GSet`、`GMap`、`SetV`、`MapV` 的建構子多一個欄位：刪除紀錄 `log`（`gset lt xs ver log`、`gmap lt xs ver log`、`setV xs ver log`、`mapV xs ver log`）；新的 `gsetLog`、`gmapLog`、`setLog`、`mapLog`、`notErased`、`notErasedV`。

package/index.json

@@ -87,7 +87,7 @@
       "own": "cf93a1909d0b49c86f5068025c837362dd865ccdc390aa2ac25a85e2b63d1ba2"
     },
     "cpp.cpp.Catch": {
-      "merkle": "b787c81fac9d87a3e7db960499119a9e5e2af55039ee0ba50764e7c7106e8d63",
+      "merkle": "01b4940aa421df44aa5ffbd236c775905a7d65e1dcb39617d1b91de1bb6639d2",
       "own": "cb6231355172a4e9aac36e922b3519b506cf6e91ad6dffd2e2f35b40f69f327e"
     },
     "cpp.cpp.Conf": {
@@ -139,12 +139,12 @@
       "own": "7de358756be383842b445402aec395364a4359d2682efd01f13e88def5044cdd"
     },
     "cpp.cpp.Exc": {
-      "merkle": "b42bd12623bfc5c3fb3d214da5419337efefcc089cdd299cd8d758a47267747f",
+      "merkle": "a2c8c483fb989d267993f5bc239ea92378434a5c615afc168427c8067331c413",
       "own": "2625f7a5f5cf34dac67d6e2f0541be502f44b04a09dcfb48afd94a39a06b0d62"
     },
     "cpp.cpp.ExcKind": {
-      "merkle": "26d124af34d38f6f09ec486ac9d5e6670001979162a9f5a963f93cedec3867b0",
-      "own": "1dbfde993f1a2ca19eba3dd37457685743db9db967cb9f20fb8ad1c40c9f323f"
+      "merkle": "64aaa600b9d71f6b2b10958313d97b1d31940fada05219e4c98eadbe08616a8f",
+      "own": "936d801ad978d04bec56d8116bcef2c3186a751d1c8f89ac604c4cd2394278d4"
     },
     "cpp.cpp.ExpP": {
       "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
@@ -190,6 +190,14 @@
       "merkle": "9606d6453900de107692233eb18f07cf6fe5408e4a2a2de93df6f67ac090a4f5",
       "own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
     },
+    "cpp.cpp.FnObj": {
+      "merkle": "2bfecc44fac96c38197cb95125658547333824371fbbf9276474acbbcaa0e9ee",
+      "own": "1097226fc46726b7e8b02bdd09595d87d82d5386c9bf49afa822865c4cf870b4"
+    },
+    "cpp.cpp.FnP": {
+      "merkle": "39206a6a815a194c714afe6472816ba70729d4b259ce3c90b212a2ac4a1721a9",
+      "own": "370d3b0ec6cf50898ef5830e8543aafa7b4efbef6a8daad19c25d2b9a42ab4a9"
+    },
     "cpp.cpp.Frame": {
       "merkle": "08ec5eae1c1e3f1952ae378e32872de13153e585eae4223ffbabb2317682c2e9",
       "own": "ccf9540155526dbc07667337e554f3f1295d600f8ec757f5f3082f7cabb442c3"
@@ -278,6 +286,10 @@
       "merkle": "7e90fd698fb8466573c0f3c491f7a7824d53d289b3d8f6dd846b959eff226145",
       "own": "cc4fc1fd0b1a905bca209858cd847ef6fc690886af48ec4c8dfab4f692899e09"
     },
+    "cpp.cpp.GetR": {
+      "merkle": "1a1447b903fec43c14b5664c8c5f645c8968a25626f5fe7076ab8e9780519b8c",
+      "own": "ad67a05e2618c1eff61e9e4fc2c94365ff61c1e80a4c830c76b7b5b1f65de7c3"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -607,7 +619,7 @@
       "own": "b3e08f239cda917a8313dcf56a6058849cd2e0fe41e4f3a2c6c4cb86b5a65da1"
     },
     "cpp.cpp.Thr": {
-      "merkle": "450933c8bbd924716d1cef94cd31542880f901459c608be9bcee8ac56bfe8f03",
+      "merkle": "bc95a27ef8b26ae1ed064c896b75da453c1fb5ad2d8b54819d824097f27d8b78",
       "own": "0862ea61a90ac820dc44b28b55b9ffa1c6f8a89c93841671eea9de7dcae5fe95"
     },
     "cpp.cpp.Total": {
@@ -627,7 +639,7 @@
       "own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
     },
     "cpp.cpp.Xr": {
-      "merkle": "2e60b5676f43502c70054659f35b9fc1f66b0b994fffe6ba0a823b01c56aa2c3",
+      "merkle": "7d7526286779bde9b322be1f827116643118aefff435e5e5a0a844d3222c4ffe",
       "own": "90ff25649ae458948c1cffdad2cd70d42139dfead091aee859405d3dc24d8a94"
     },
     "cpp.cpp.absInt": {
@@ -738,6 +750,10 @@
       "merkle": "d53592ff7ac870f4ab42102ec850498de9d85eaec5d151d262fc24a8ccf768a9",
       "own": "6fd2cd210a8a31805a4937c418a646747aef2c65f58b170cc9ab220d0b982371"
     },
+    "cpp.cpp.allJustB": {
+      "merkle": "f8a6705d4e64c4932b220f8b3da4ee68862a81e6258fb85230a074dc0d98ffab",
+      "own": "6b7a008ad383352bd2582eb0dd07ff1a526c047747d90890da405445d729468c"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -971,7 +987,7 @@
       "own": "c6e0110feef54e6079cfb03be16c67c854a778516158e54218386781f8ec3bd7"
     },
     "cpp.cpp.bindX": {
-      "merkle": "3e4ef433e0d15a5f96b9789b6343b482f003129fce0f6b749d81c1c59c00fbf9",
+      "merkle": "b1bbe2947b653ac2ee9c9e76b480b71ff999dbdde10f4fdeab1bf271fcc1de48",
       "own": "2b295161a228b5ea97f393f1463de99042f1917d246d49a5d0f547d465629580"
     },
     "cpp.cpp.bitCast": {
@@ -1054,6 +1070,10 @@
       "merkle": "327ed36ce701faf2f8bfba0943833bfc2da46495a6ec50fe46c221b23b6637dd",
       "own": "c83beaf4adf82f396c7ad574bb2babb88b354ffeeab9505d40e336793b772b4a"
     },
+    "cpp.cpp.byteIdxLast": {
+      "merkle": "f5124e7f61f0b291641d95a52cc8c58de66c576305add3bfaa542be82bc372cc",
+      "own": "ead06585578a68e5124472943c9683e505ac6529b93ac68b8bf8097fb3a7cbf6"
+    },
     "cpp.cpp.byteLoad": {
       "merkle": "ce09f2aa78f217969a853c96ec8b596f415c0c8d37824f1cd788a9aa2c58b52c",
       "own": "d7782ed0921fd766e2f06106b8e2398294e2b80936edb2dc3c6d73a86b3c16c4"
@@ -1094,6 +1114,10 @@
       "merkle": "0b1340fb67c7cb30abc4396d0fb7375cc5ef549a2a3570f6249e51938b31c266",
       "own": "789a4dbec0c9455bea9682b15bdd87285b7d91c460146b836edecd08b3d1bde5"
     },
+    "cpp.cpp.bytesPrefixB": {
+      "merkle": "e65328aa3eea416a464d9b8c00cb84a1f84710f16fe0a06f4593b5810e24a585",
+      "own": "8e3baa2ca30a27d0efa42e7163099b1a0d6837d36402a1f4eb52a8a3514b0f01"
+    },
     "cpp.cpp.bytesToPtr": {
       "merkle": "d0beff5187c563f370379b499f74d828b4be2c62dd197c68d18923fddb903f90",
       "own": "b1e78e247ea713d6d237e6bf1fddf9d24f5f6bd373b6d92c0466df4ab3f2e504"
@@ -1151,29 +1175,37 @@
       "own": "a54f4588a4a690b2655224d5e3f06c781bdde85738258413d864eb679aeccfe0"
     },
     "cpp.cpp.catchAll": {
-      "merkle": "0e0efe36fe8237f0a7de59f4a526f541e45eb62a4f41780a10d439eff4ae0b01",
+      "merkle": "be48340f3a6f3412ca1b6244ab9fb01df558fd6a9c82a73fac0030ec2137a5a7",
       "own": "44906221b1ba5464b8b85c49e028a5974fa319afd0ae3fe107aa487ef89841ad"
     },
     "cpp.cpp.catchFn": {
-      "merkle": "db9ab3b499f02347ba5b3fbd9b74e10c2198f2b07e93d99814359b8607f84c5b",
+      "merkle": "fa86f9148c06bc5c5da6ccd8050555f5630a1aa25b0eaf135bfbf2ab9331e02d",
       "own": "492746f440164ec81a74af915c54571fc5a80329a81c64df5ec72941166192ea"
     },
     "cpp.cpp.catchInt": {
-      "merkle": "ba879f36f46510ab0f2fbc67c127cbd5290bdb6f029dfb2d39397be56cdf2354",
+      "merkle": "1faff0013ef02284a615030b0f47f078b669ba1ab5e340cd3c46f2697d8a3259",
       "own": "59f65e65fd4db5c9e57b6cca05ae9658a97da6c8067c2d9e420bd21bdb7e5004"
     },
     "cpp.cpp.catchStd": {
-      "merkle": "9fb7c25552f6a12a40ad3163ed153d2a546cabfb00b34b84b6f8df5cf663f799",
+      "merkle": "840edc8425b61f388a05213e612d8adbc4b93f160fe03aac1d2ac7fe0b867f10",
       "own": "0f7c2c3bddd255db645d23ea0b0ac91cb749c17191a845cd1fe2cffb61665bd1"
     },
     "cpp.cpp.catchStr": {
-      "merkle": "0f2507a0a3b786edd2846a4d43d83de8cf3be7ed7dcb0f981dde280487644cf5",
+      "merkle": "b9f477ba372595e53af65032bd57f42af02c812c8e1db6949a8eb5667df803a1",
       "own": "e7357eca86328a13ca7d54a79bfeaa02250ffa7ae67a32f6f8c6390c0a69f896"
     },
     "cpp.cpp.cbrtTry": {
       "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
       "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
     },
+    "cpp.cpp.cellBytes": {
+      "merkle": "41df6dc67fbc7a30bc968c0ef54ef407fe53e493b53e8be55bd5a2d9fc656ad1",
+      "own": "fc3fa26763355aa0828b53530c8d09326e4dd445dd97c88c1db3230ae7bb21b3"
+    },
+    "cpp.cpp.cellsAt": {
+      "merkle": "40870e924d4046b9be35949cf812031977e91651d38655961102d2c91a6ae1fd",
+      "own": "d3946613f77a05fe68bed50e44cac02c00a9e88f310ba2e108397fa836b3e485"
+    },
     "cpp.cpp.cerrF": {
       "merkle": "fe6ea0da3f8bd059bf41042661ed4dd3d0a1f4b64d9b48787fdc58859a7e7302",
       "own": "54f2b961c4b09bb65f8402731d9ba7d4c22bd50f4beca8791e4a829449807b64"
@@ -1210,6 +1242,14 @@
       "merkle": "cd8278b7f72dfcc3df75d65f733d4a35f34e9bd9d494629656eac39dba766da7",
       "own": "c5f0f1d047d223a6a99ac9130e863ca99f717212929e549bc3f096d46ca2af25"
     },
+    "cpp.cpp.cinGetC": {
+      "merkle": "55543571256e1fd7e9700e6cd65b004cbbab1086ec3fe39cc8d8831ab10c44f9",
+      "own": "0bbb2ece7bc7ebcd43283f591f000bcaeadb7ffe1c160a00ceac4a431cf87621"
+    },
+    "cpp.cpp.cinGetI": {
+      "merkle": "963d98f9a82d0e21effe951590b73f6fa6a5d3935a12c0b97f4e7f25bae03672",
+      "own": "93e4301979e0de9915acee54b8f775e33c5ac86604bbb71ccdb84e7df5dea2af"
+    },
     "cpp.cpp.cinGo": {
       "merkle": "1c894572abe62277f9b2c08987cf2356233e29d2c652e34c89550be26edf057d",
       "own": "a4c2e9a0be18c4714e49e676478e9145814c11073fa13936008c5efe638d289e"
@@ -1218,10 +1258,18 @@
       "merkle": "c2d04956d30cde5d5af11b1b0c71dfe9d108d99e0a1f060bf5a275dded4c25a2",
       "own": "7ee6733ad1ed5a91bf6c83f9b71391b8e1a5644c6fa60aa08df4f67750e859d1"
     },
+    "cpp.cpp.cinIgnore": {
+      "merkle": "89b56f044e00d1175ac024f0e1c37ebcb7f96037ed40dba1fcfa41849f3d5fd7",
+      "own": "7641066e415499a0352a7194898acb50bcf7bc504a974988fdb358662c762eeb"
+    },
     "cpp.cpp.cinOk": {
       "merkle": "f1a39aaf5f025ecdb201aaec8995d2bddb69e1d704ccad216d5de2330b8d26d3",
       "own": "5d7524a15eb939a1bfc5ea294c8a11e9fc909c28c2de50fe567f6c0479b91b41"
     },
+    "cpp.cpp.cinPeek": {
+      "merkle": "00080ef791d1d5d237bf6e419805e38bd16df291601d98dd8b40a1f4c159474e",
+      "own": "c2e0d025dd424a417f44b70ca0e38e70386af34493815e3cc8703a74d6e7340f"
+    },
     "cpp.cpp.cinStr": {
       "merkle": "c6fec1824c857ed343b78c1bc871150167f5a8ca964fb8e831f347739ad8ad07",
       "own": "f54715d34c9d4483810fe7d0d2a31fe689d594deb904a0d079725f7adacf1a87"
@@ -1238,6 +1286,14 @@
       "merkle": "801b5bacd766216c2a6069fbfaf8112052abfc388bd1ca050ae298b9a8afa9cc",
       "own": "0bea6c0a49c65670f9df9eb55f93fe1c9c4165ffcd1a8998859b4d872632aca3"
     },
+    "cpp.cpp.cinVNoSkip": {
+      "merkle": "c357306b112f5a6f6e2193e8c18db7f36b3b3a1af3aa5703bfb045cc91ded81b",
+      "own": "359d658c30954cc107554edb9ef548a02c02798a27fe066f5da47c81302a0d3c"
+    },
+    "cpp.cpp.cinWs": {
+      "merkle": "e8fe4943098c89b7f98152d240bb02218113fa71bd1edc0470e3ae5987002d55",
+      "own": "8e8521dc4a849f7a24024d6e7a0ccf53069075acf5d894a511d1dd3b72597c05"
+    },
     "cpp.cpp.clearA": {
       "merkle": "58414de3b56888205dae1b9b3dede2e8f1357216e0035eaea6cf066e2460f7ab",
       "own": "2ee8bb1ceeda887e8e4d0ecca64421da56ee6f18ebec06f840f751aed802ed99"
@@ -1599,7 +1655,7 @@
       "own": "fd050fb496aff460a6a72c04ed62f098ac429a5b351f68c618678c74d7b3d6a5"
     },
     "cpp.cpp.dqAtX": {
-      "merkle": "89dbd741477bb9f8f823823b408b0a6b71eaa4f10fb4be5ceea2f211ab534562",
+      "merkle": "0794a5e3586943a69c17ef8cb998b5cdce3156120813b80a9cfbefad67fde1b0",
       "own": "874d17d6cbd5f2f1675d67a19575bf04732a25d90ec188b2645406dd48338ae4"
     },
     "cpp.cpp.dqBack": {
@@ -1743,27 +1799,27 @@
       "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
     },
     "cpp.cpp.excIsA": {
-      "merkle": "1dc91ebe3298a41a13dcba833af7e7cf6228a7375ae84675c5f322470592ecdc",
+      "merkle": "10ac1e05a45c333e118e6781ff9f3af06824efa1020235c00d0fff397099c252",
       "own": "b634781414815b6715d7e3dd6a0afb16c11cbceb229b14a75b5b50b36a151f6e"
     },
     "cpp.cpp.excIsAF": {
-      "merkle": "f599652146f28f3d8fb59ce7ca8e4bbfb57a7f422d8848a752c79235619462e5",
+      "merkle": "5809f31218ae814b1ccfefa0bb95c59a0e625d996f13a0adb8fd59cbf12886f6",
       "own": "1e721b25bfad4e7b648edb5da16810cd5bd1efdf2b606ee3f25d73d166100761"
     },
     "cpp.cpp.excKindEq": {
-      "merkle": "a1fa9b70097a28fcb229d6c6a7dabf718dc85bc5b4f9c2228ba16c124ef18563",
-      "own": "b6abc6edef495951d2ff98a573416ecfe156fecf0ceb0b3834d177b3f37bfaed"
+      "merkle": "f4e0f417ab31b857a344bb4dda509500800609930c7324da3f88a0757885182a",
+      "own": "fc0815f9c41b7099f5b0164af2b22f35f7fa9c44700303c433169e9ef885dddd"
     },
     "cpp.cpp.excKindOf": {
-      "merkle": "9f11a337116693fca8c551a872f2332bdedf03e66638cd1cde40efd31c0c7611",
+      "merkle": "d5a57a5fa9ca967c54430add103610e560e152e0b25ec8659840d1730aa69422",
       "own": "c8228d825e16389031c6a8ea84c182e07860191e3bc63e24ea7417e7f52d0ffd"
     },
     "cpp.cpp.excParent": {
-      "merkle": "631184b9aa7fc9b1215bec8fadac47dbd56c5b5a895cc2f186ac26b06163ce3c",
-      "own": "02f8191fbe7d93f7d80c1a7426080d94dd536fbc1859869cb73c0adde2851e61"
+      "merkle": "c1f798cd11fee2c85b74fc323ab1da8191959226a3b4b62d5059ba5a27d3f368",
+      "own": "055d0e21806aba9d6a0efa361f8441cba5ca65ab27173c08abb3b636db2ef6ce"
     },
     "cpp.cpp.excWhatM": {
-      "merkle": "a04f5e7edd56e01b6059b21ef06a955621d414ef05997da41c5bf666b28cc296",
+      "merkle": "a4f922036a70155c85b56c7a9229a1462e68ad418bdfb18bea2eb46c2a595105",
       "own": "0a99505b557bb9be63a7c7f994473c19c2fd35c6692b7c126f4f398446f2cce4"
     },
     "cpp.cpp.exec": {
@@ -2143,7 +2199,7 @@
       "own": "8bd446db2184bf50b1cab3b14150724def8c4d889236e1d21493c19f653d21e6"
     },
     "cpp.cpp.firstCatch": {
-      "merkle": "d636fd5a623e178017afd5c27d554e178d0ed55e54294a655a5a3d6b59621893",
+      "merkle": "a69227ab5488a236d6dc674ff43668b6bcb9e6050b14dfe34c63b470e7958604",
       "own": "d52ecf4eb7d09b620a4b370f83fc03730a9a176fdb42a49e61d71b8fd125154a"
     },
     "cpp.cpp.firstIdWhere": {
@@ -2362,6 +2418,46 @@
       "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
       "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
     },
+    "cpp.cpp.fnObjB": {
+      "merkle": "53b3c8ab1d1f6e23438777c4f67ef801341dc91121261cd161ff78c7b5a3cac4",
+      "own": "988bd3739d7588f223b3c3c98a1100ae35817b40a61adc7770c268ae244645c7"
+    },
+    "cpp.cpp.fnObjCall": {
+      "merkle": "24f64e2fd7a43487dd9b293f1d706e63ff5575739698d9658a47f5203a5c82aa",
+      "own": "70ddefe858eda62f49f8baf83fe0dae2172b9f03ed247017ac8a5ebcad26c4f4"
+    },
+    "cpp.cpp.fnObjOf": {
+      "merkle": "b90d962c570cb2ed0dd8e480f07a4f5e59e36e9eeeb489faaa3e1c9c7c28494c",
+      "own": "b744e83f7ef9578ea6fd96b38f228dc5400affe6bf4756ad1bb8d59d6a44548c"
+    },
+    "cpp.cpp.fnObjOfP": {
+      "merkle": "4fed0197557abc34fdaa43f18fd3ec53cd8584e9d947cb4e0c71a5f8b448489d",
+      "own": "d4d49122ebce4cac5fb35cde57ee1da9214a61acec84ed6565fc7e360573d71f"
+    },
+    "cpp.cpp.fnObjOkB": {
+      "merkle": "da509012c897b6438b4a838e8652fd7f681a87fa5aa9883092f111e40b808638",
+      "own": "731c663f7bd0bb18770505cc3032d9344874767a2490c91a2b8a4bf28816c384"
+    },
+    "cpp.cpp.fnPCall": {
+      "merkle": "e8e60aa07327a98891c8f6db33336b5cd45b0cc9c0a72262c0ba24dfc5bc1a00",
+      "own": "4fb2d4158890b228f050ce795cee58708fcfa2b11cc4d926483a17f3b3fa48eb"
+    },
+    "cpp.cpp.fnPEqB": {
+      "merkle": "e3bda95c62db45a2491c7c02ac876bc44915921254626d1d83ac3ae6cb052ff9",
+      "own": "a6a181f18b68d481fbc9c746ae32283a75847d71dff2c58e93a80fa36e7fef99"
+    },
+    "cpp.cpp.fnPNullB": {
+      "merkle": "56098991e177414d50b94d54c00066db330c7b27ee220cf7a14011ce462fcac9",
+      "own": "fbd55f8565ea25e1bdc4036d4dfeb6acc6ef614d99b01b5fb20302e9c5f6b51e"
+    },
+    "cpp.cpp.fnPOf": {
+      "merkle": "41b68c336624d23f9707633d58772be609670bb02b567e0163348e2994d0e990",
+      "own": "8fa6ed2d64949c433cabbd46eb4b37f2891ffa1d3fca57a44b2247ee66bbc27d"
+    },
+    "cpp.cpp.fnPResM": {
+      "merkle": "50dfe8163580e3d00960d42a7917927596cd4899f518ea9bd43f940983419957",
+      "own": "aa6a58be19667d596d1473bcfbe03f1a1a3481f8239cc451e41b47de5e865c32"
+    },
     "cpp.cpp.fneg": {
       "merkle": "be2ee44fd660b5f7d3318a6723d98803b45d092ffdd3a4130b06ca955422dd41",
       "own": "07b028432c7d4b48aee54660602b8066eb19b54236ad0034b9a4b691dd848dcb"
@@ -2494,6 +2590,14 @@
       "merkle": "07ee46b03ef2ed022a5e4073d73094b5bb6d5f42b204c8d2d80efaf531e0fb32",
       "own": "07285573c88e8942e8fddabec3928d332c4d04cbdb3ddd6cde3ec38e61301ad3"
     },
+    "cpp.cpp.fremquoOkB": {
+      "merkle": "742e2309e796cce7b5a62f52e2987c64876ec51b810f44b41a98ddaf7a96b317",
+      "own": "6a9f4411b986b356f1955591f2b9b751672a360b4cd8fd244b9222f21afea146"
+    },
+    "cpp.cpp.fremquoQ8": {
+      "merkle": "1aab9edf04a0605ab4c892aa7ac555b4dd76adf4e748c7572af820bbe4127028",
+      "own": "4595d3cfde3fc59108f114c8990ad25a16a047e146e3dbc4c2186b007f41ea21"
+    },
     "cpp.cpp.fromBytes": {
       "merkle": "ff2e41d256e31ca83f67c33fff2da10a00a352700848512e0ca43d75f4005017",
       "own": "c385a3da88b0f8a69591a1c787d79241d89b739618eea3c8f7dad49efaa7f166"
@@ -2635,7 +2739,7 @@
       "own": "4606354962d15f439e52ee90799c897b24f2f9955af90778463c68af808c97c0"
     },
     "cpp.cpp.gAtX": {
-      "merkle": "984595532e670a41659ec6404841ae39e2d08dd43ce3926f32b28a692cb4e984",
+      "merkle": "f28a2e7c157fc7cd2ac1a3d5c5342f689c5208207e142fd1cab1922e5813dcda",
       "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
     },
     "cpp.cpp.gBinarySearch": {
@@ -2818,6 +2922,14 @@
       "merkle": "d69fddcb88b8885a8f69518119d54c6d6cf78f6ad2da24c0fdcacaadc9cbe261",
       "own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
     },
+    "cpp.cpp.getRC": {
+      "merkle": "f5340c39ea84cbdc1d041736398e118c9bded758ce1c4e7d49aceeacd1ab667d",
+      "own": "b55c5107ac3115b98aadc1da1c9ce79187663cfc8f3453348d56a4447054fa40"
+    },
+    "cpp.cpp.getRSt": {
+      "merkle": "129df6b21be026ad5f721f083136eef9c591be8b7ec24c508e4560ed4c1e2834",
+      "own": "cee3c2326b04e9063aaffb779cae9c79da4f07feb4f816a637e5bd751b3045e8"
+    },
     "cpp.cpp.getline": {
       "merkle": "fdf5f9a9a310e9221d9f296e9a1389e53b7cf27cda114e8aab46160432e6d3c3",
       "own": "df93fd5af2967bc06b80433a4354ed0eb6a272bfcee2d20434a6782f881bb9ff"
@@ -3139,7 +3251,7 @@
       "own": "2c0da35b29a67f8a8fdec2324c4c12c0c010db36887d921f40ccb858b1cb94d0"
     },
     "cpp.cpp.gmapAtX": {
-      "merkle": "c6fb7cbceedb9afddb01309d6c70356479fbccedc7d83973139e8ec9f530d7dc",
+      "merkle": "2672c377d76ad159d9cfb5967d2c4e50381f4e55070e4c8bf66ffcc171305731",
       "own": "58edf5f54dbcdf224d8db7c032e6ac21984c1ed695fa69c7ccab6bc11f9970bf"
     },
     "cpp.cpp.gmapCount": {
@@ -3438,6 +3550,10 @@
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
     },
+    "cpp.cpp.ignoreGo": {
+      "merkle": "549413f785c2e6c70a26fd085e34adde4ffb2327d24295fc4e775783803875ed",
+      "own": "70b1308cee66cb28963cc48831c2a7fff603ff47a3f92f032068490f05b94f46"
+    },
     "cpp.cpp.ilogbOkB": {
       "merkle": "afaa3e88d4d29fc1b8747c3dbf72214e918133afae49fa070bd003a1aae7f423",
       "own": "8a6e8dfe28b681e9a355cd96c3ad6978a01f1e191212ca7ee0045e42304dda52"
@@ -3542,6 +3658,14 @@
       "merkle": "7aa9e18ea431d7aae7925766ba602a4316eade5150c9d20c455cb490311bcf83",
       "own": "a500434c0645fb93c1c211fd2310f0ed5adbdeeb8ded2d27cccbbcd5e6d3861a"
     },
+    "cpp.cpp.iosFail": {
+      "merkle": "7ce2aa4700d7bb304c4ef5d596385dc3f043603beb9c234ac1a7191c9bf8e13e",
+      "own": "c5fdf87b5fca9ea1cae759fdf32dbdec6a9b8fd3d7e89f892811892bbe345af4"
+    },
+    "cpp.cpp.iosGood": {
+      "merkle": "84c4f55a271a0e214aad27d271a6b4bd09354cd148b2a655a44aff17f1702afa",
+      "own": "9b6dfeed1bb8f7fa95654b39286cebe3e80e10a3a42470f58a8c16271cfd6823"
+    },
     "cpp.cpp.iotaOkB": {
       "merkle": "50664177277215e1fb205ba45bd491e36802207e6db2e3582d64f9b6d87bc124",
       "own": "8591ec44b481824301b574d47b0bc42eede2d588a62878994cd71e727b160e12"
@@ -4198,6 +4322,34 @@
       "merkle": "119e0561b0e30c5c005a13b233bb1d89964a0dac57816976fd349b42eac3c39b",
       "own": "4e71449e969ba525fba4fc76548e89c536ead620d77f488dd6b0e09601923f58"
     },
+    "cpp.cpp.memcmpC": {
+      "merkle": "f0f47bc143eeec7d2cb8fb00ac3324c74846bb5e4d2deda060e53ce57baf008b",
+      "own": "cfdb064d3b28ec1a4fd7a91b498192ff501b000ec89b5bffe6fefe1b400ef052"
+    },
+    "cpp.cpp.memcmpOkB": {
+      "merkle": "cd62ec4c2cd6f6eb0ee87a79f4a5df3231543eeed7f1fd2f47013a69a5979f56",
+      "own": "4204874628beef0f7e16499d5b781e20e73eef84d75004651d9ae0e2a002aad8"
+    },
+    "cpp.cpp.memcpyC": {
+      "merkle": "d2eed30b24ef81834a685d60f1b045e362072850dbb42644a4c1f9d49d7e5526",
+      "own": "c740440a1f7e04b99a704696017e5e255992ff64e9e6e2a1834b89993f108f3b"
+    },
+    "cpp.cpp.memcpyOkB": {
+      "merkle": "ef31881d04c8ede12f1065802756f8318fb2765fa9eaf8c2a7677eb165a4ce57",
+      "own": "0e41ccc6df8456a5954c2885046ea65b4fd191ea59d4a8ec7978bd66bf49aa3b"
+    },
+    "cpp.cpp.memmoveC": {
+      "merkle": "e66620ad61f4ce3c548893627e0c51a496707707667333291cb431bf3fae5b95",
+      "own": "c1c7cd6ebf9835caee38856cc7a5ae033a54001e02ea2e72695a0a81a534bcde"
+    },
+    "cpp.cpp.memmoveOkB": {
+      "merkle": "8c93b351fb0143046eac33e9b6a37248feda66225195c48209af60b640369394",
+      "own": "9a3d6555b6f1d56b69baf3e87f713bf267b53ca68fb087cd7a433c6ff658579f"
+    },
+    "cpp.cpp.memsetC": {
+      "merkle": "0bb7f015b84d127a3bd3fbdae446bc829ac9936a273c2a9ea5a8d386f20b1f6e",
+      "own": "ea78ecdfd43639262036a66411a4bc45774570f2ba7459ee7ba94a2ecc0efef8"
+    },
     "cpp.cpp.miIt": {
       "merkle": "cccde83bb699cd6f9dee689dcacf2b334886df016e65fd98ac9777ff7533c85f",
       "own": "737b39abf9cfe4faa6e8ac1c6992c493ce8c9083fd862fe29267bc8e0d61ed0d"
@@ -4994,6 +5146,10 @@
       "merkle": "a96eab9a498341d06161de5f16b36166df123377a2fb68d3eac8c44195d07be0",
       "own": "7c7c17df53e56593bfafbace48ddc262f36b2aaf4551cb5c478c39e9c0fde016"
     },
+    "cpp.cpp.remQuot": {
+      "merkle": "c9af4631b78626b130a9ef56e9477a4ff758689ad0744a3d1a27934d4dea1411",
+      "own": "b1613fc4890174979f95d96f9e6b609005b80ba152ed7ed1bfa6281f275b9589"
+    },
     "cpp.cpp.remV": {
       "merkle": "aa08388b58537eb0eda703f4f1d89189030d14c9fb6292619abcf9427f8659f1",
       "own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
@@ -5027,7 +5183,7 @@
       "own": "3a68fdecc890ed763b3a9d349d8dc52f1554f1c0368e2e4b63c1372e229782f5"
     },
     "cpp.cpp.retT": {
-      "merkle": "c18bcab8e27b2b5b282baa2f1210384519caa32452b2dd213d622fb580ebee8c",
+      "merkle": "6092ea09d04e92f1cbaebcee33fca79014e197ae6c15434255e72fb3da5f4dd6",
       "own": "5a5238bea97f77855b6f75c1572677bee7d5d8c173950818fa477a0117812dc6"
     },
     "cpp.cpp.retVal": {
@@ -5539,7 +5695,7 @@
       "own": "0cf4f643032753c09e3a1f2ee7edd80e935b467f062733cb17648a649bdf8f6e"
     },
     "cpp.cpp.stoX": {
-      "merkle": "d657615ef0f1e94e0ada19b9969f6b80e650596ba0d37939ac6aa051de7e556e",
+      "merkle": "7abe6728da60e11790bccdf51c3e40f6c7f6fc5132d35d28de526c1262312602",
       "own": "674eef30900562328ccf4988d0423fec3af925222dad0cce5e1bb4432dfd9d57"
     },
     "cpp.cpp.stod": {
@@ -5559,11 +5715,11 @@
       "own": "283cb9eb35cd1c7cab9957ed135c1c5022d58dd83398b4d5ba35f128a05ec273"
     },
     "cpp.cpp.stodX": {
-      "merkle": "9568af2c70a7d469d73c3a7d9307769899cada9bcce0a9a737cbba731e47e367",
+      "merkle": "19b8200620487545554d456e0de5930c5e14dc5c0de612d741d0ec8cd46b366f",
       "own": "7297a95fc0dacaff2f4d6de880db281815d532f596bd45cf1105f2156209c43e"
     },
     "cpp.cpp.stodXF": {
-      "merkle": "c8f5192fcbdb2b1aa0cf53338960c952fd3a270fd22b19c20d49e4d61d0fbea9",
+      "merkle": "05824fc7c5031bfbbae26a9258787e220d46551dfa9e85e37afa993336daa885",
       "own": "aa9e4b6fab4d16437ab28077c854c0747344a051fd6f4ac057ac144aa9e8467c"
     },
     "cpp.cpp.stof": {
@@ -5571,7 +5727,7 @@
       "own": "3dd24a2a0ad091f412d8369c6c087d4401c2322a777408730901f4c91cc1a3d3"
     },
     "cpp.cpp.stofX": {
-      "merkle": "3c4eadd8138d4b1c298e7d8baefcbf6bf566b87e0935d710d5a806e7445b21fd",
+      "merkle": "c78f30e1c30d4d62a402ce5710b6e55d208a633c7e3c814b813b79355266910f",
       "own": "c6afb9c09ef2f0cf1b849168e58833562045b33bf9838ad0ff473846f6c5237a"
     },
     "cpp.cpp.stoi": {
@@ -5591,7 +5747,7 @@
       "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
     },
     "cpp.cpp.stoiX": {
-      "merkle": "27b9da1687a120fdd73c93cec6eadcc4f13b41bec4de6548e83f3294ceff96ce",
+      "merkle": "35628570493ce01664d233c08f2b96f64934b6843f44b2f24009599b231e9109",
       "own": "5852a7897bb1139fd441bbc41407937d900e04144eb35c4b73b4ddd5fb6c0716"
     },
     "cpp.cpp.stol": {
@@ -5599,7 +5755,7 @@
       "own": "24c141acc629008ca9de673ece68c79e5722fa19309fa8ad2327cceb2eb3ce63"
     },
     "cpp.cpp.stolX": {
-      "merkle": "7ee40f7222555290f4ef99bac8700cb8c099a57be8cac247730c7149694f3fb9",
+      "merkle": "9c001b38f53bbe0de0e75049842e847a6f9feb1dced8037c81e0aa54864a597c",
       "own": "ef9b286eaf2213ce34e89ba01be0a86b32ecbf9c4212deed3a94bd7ff05e9845"
     },
     "cpp.cpp.stoll": {
@@ -5607,7 +5763,7 @@
       "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
     },
     "cpp.cpp.stollX": {
-      "merkle": "d205aedfd2263da9a64d58d1836f6f80e0da0585c1207ed083a1f9e46dc9f536",
+      "merkle": "a8c18bb7e275f31ac53b0416cc8671039f121422cb3ae66fb28b5d6c1fcdd740",
       "own": "28d3afef3667103a98aea718099f64fef40ca0dcb93e1bd4e94afc8e564e802d"
     },
     "cpp.cpp.store": {
@@ -5631,7 +5787,7 @@
       "own": "22b189aa43d62ff30ceb28caccacab5750703a4d22bbe4dbd98c25b5f40f132e"
     },
     "cpp.cpp.stoulX": {
-      "merkle": "8aefb07ed957117f1994e32073ded4f3bc7bb01d968e47122600a802de630a13",
+      "merkle": "958b752323fb923801587f6350f7c85c48500b3c32a2bc809b90853ef1a084ad",
       "own": "6522e78a9ea642ef930560b00a7d3172cac5cfcf7678eccb929ab0b4789909c5"
     },
     "cpp.cpp.stoull": {
@@ -5639,7 +5795,7 @@
       "own": "9c866c5d92cbc04c81bfd4addd11e0541414a2462d6aa43ac391ea25c8ac794f"
     },
     "cpp.cpp.stoullX": {
-      "merkle": "da239db75b1374cd32eb75ae81de6764e0fcc4c918d8ceb28407798c6b2f5da7",
+      "merkle": "e9590bc2ee1c4097f1ae935cb1d2dd5e0a308723b96bb9bba8d1abdc04a2bae1",
       "own": "01dc618bcc8492c78ff3d4264e15928b848f688970202e369a24b947acad1e82"
     },
     "cpp.cpp.strAt": {
@@ -5647,7 +5803,7 @@
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
     },
     "cpp.cpp.strAtX": {
-      "merkle": "02fb55766d24abe52d49ccadabf1de6fa385d1f89cc58d3c50303465d6a749b2",
+      "merkle": "459345b3b7b9107f88e2e7c89114c1799c9915bd80e241d30765dd314065219f",
       "own": "3f2fad886bd50c655b47e2495660bd0e775c07b8b0d1af0a9aaea8540337513b"
     },
     "cpp.cpp.strBack": {
@@ -5779,7 +5935,7 @@
       "own": "1452135671e93d835c015c618ec889c594d7693adb0fe6a88588c67e63be699a"
     },
     "cpp.cpp.strSubX": {
-      "merkle": "92c1fe836a61caf644ccb30e64462c968664d9f9277d86737f39f13455d19106",
+      "merkle": "acb0e2232a1b473b20a762deaedd1a91d32e8d4ff2c4ec553549c92a4755cf52",
       "own": "c005f9f3448f6b744185a58a599ce9874b485911d66404f102ea6b0df6360f22"
     },
     "cpp.cpp.strWriteB": {
@@ -5810,6 +5966,10 @@
       "merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
       "own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
     },
+    "cpp.cpp.strncatC": {
+      "merkle": "8eb954e848551b297788ad94e7f92461eb0f116a64e7f3b4ddadcf5cf726930c",
+      "own": "32c57a1376e891fac946083924ae8df6c2e482af374217f5fa0384626d629db8"
+    },
     "cpp.cpp.strncmpC": {
       "merkle": "ee8b149cdfa194a79e22f3dcc4f0b82fdd86c01720a47ac61d7dcf788accf750",
       "own": "12d22ac36d46f0beb939c8e34f2688ac6d5de20c2a2e6ed1f2ce6ad517f4d819"
@@ -5818,6 +5978,14 @@
       "merkle": "0caf39355630fecbbde9e662abcd27d336172ced34bbe20b013fbc357f922734",
       "own": "14031d0379377c7f0ea3df6c321874fe538a3326870f5cceefbbcfbd66ad6d06"
     },
+    "cpp.cpp.strrchrC": {
+      "merkle": "a4f12b6f466b7d2b64813d5ea642bbbd015b57c2a2d9907f05cd69442774f493",
+      "own": "2eae06b7b42f0d1afeb20ba9ebe264c290ce8ca9727bc010a0d814596ea4b66e"
+    },
+    "cpp.cpp.strstrC": {
+      "merkle": "c90f157790d1ba9bff4f3e0f128cfa9fd95279f4efe127296c7d71d3dbf186f9",
+      "own": "6e70beb07e3b3ac5256a915ededfddc0ed009ff0ba867bd6912d6da1b8ec2321"
+    },
     "cpp.cpp.strtodNum": {
       "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
       "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
@@ -5838,6 +6006,10 @@
       "merkle": "95d9d72d451574b0a155af371f8095b8f1c506c942a04ad107668657784ba29a",
       "own": "bb36fac4c90a13577e00c5fda20e0863e49c4692f3f6e98003ae878beb8f5fba"
     },
+    "cpp.cpp.subIdx": {
+      "merkle": "d16814fda5a7ba90abd164af0516a8f97c16c102cb8411a0d36845bead64435c",
+      "own": "d6fb695d73715460a319dd0bb0fe0025457a15c98f7b661bef76ba7ce3bf5bd6"
+    },
     "cpp.cpp.subV": {
       "merkle": "73e2c9139ffb9bacafa8936eacd90a1841499900148f15acc95875940ba8f01a",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
@@ -6011,11 +6183,11 @@
       "own": "0db0ccf9617a0a40c252ea7a6818f2a856162427be03f358696f41d54226734a"
     },
     "cpp.cpp.throwS": {
-      "merkle": "4798525e1f125ae76a3b02ae85dc802a7aa2aafa68f9e98ce636ea21dc64332e",
+      "merkle": "1d8865421a17348fca571896309be372a3cf0ed78e953e5c3b9141847abacdd6",
       "own": "481d5300828f41f8ffbc9194e13b33f555a842e03a4de05b2116db4dbabc7e54"
     },
     "cpp.cpp.thrownState": {
-      "merkle": "30cfabada9ec57b43f219c48a2b7eaa999952622ab9b459a32d2da534ea1d430",
+      "merkle": "6168c8a38bde6877ae231341412317e8c2c8ff6a93d6a995dc4edaf56cfdbf95",
       "own": "206c97de3caa29b4900e2a51c228eafb5af94422409e47bce2e47cb60d9030f6"
     },
     "cpp.cpp.toBase": {
@@ -6115,7 +6287,7 @@
       "own": "16c328d5b12143a87f3ecdbd27561ab1ab7320d23087d4cc37f0acb4c81ddb88"
     },
     "cpp.cpp.tryS": {
-      "merkle": "cfb18c1970fa754276c2dfb93e3a801d125fde5c94a172044b127e0c60152fce",
+      "merkle": "ce58747b9982373d3ca727a7132824b7c81accb1e1b606bde3dc218a789df7f6",
       "own": "ab24493a4b46a482d4ec56295869b6d95c08008b0dd2e968a12ecb5b89d3441e"
     },
     "cpp.cpp.typeCode": {
@@ -6123,7 +6295,7 @@
       "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
     },
     "cpp.cpp.umAtX": {
-      "merkle": "459918d5831dec02a33a40665ddb2bf005236efee4a29a6fd6ee54738b7221c9",
+      "merkle": "1a7ee14f6e43aadd020c67f94060eeb4df4d8151a42af4d68f682fe1cfaa1a95",
       "own": "c594115ef8562fb1311581977af74be225d5547f4a75de570df05051c261cee5"
     },
     "cpp.cpp.umCount": {
@@ -6195,7 +6367,7 @@
       "own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
     },
     "cpp.cpp.uncaughtB": {
-      "merkle": "2e36274f5ccf0f4d6d2860466334dfa35c8ba3415961a68b678d0cbd2fdb8909",
+      "merkle": "d6e29554cd542316bbef3450eb8a4660a90d1e560d2a706d7765226fceb868c0",
       "own": "03b91555cfa9b117bc845a2b96a09b2b844b542c03d98fd69830934f63f8a6cc"
     },
     "cpp.cpp.uninit": {
@@ -6382,6 +6554,10 @@
       "merkle": "0e440fe107c00131a6f2be17e3444e01c0ffd4e3ddddf26fcb8c0fcc41c8126e",
       "own": "0ecd3633fcde6ff1c39e1266100f2fa5231417008426a02c193da4994ffefe4a"
     },
+    "cpp.cpp.writeCells": {
+      "merkle": "a2ea5c929dcacc30b7e4963fa1761cfec635f6b0b58c19785e6a7db7b6fe5d0d",
+      "own": "6a37641e0fb094f3e41f821f206e294115b41b12067b9b508562815e998b1c2a"
+    },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
       "own": "bf2175290b18b6503231e34f18f7faa653caa6793038abe0085c027ae57edb07"
@@ -6422,7 +6598,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3096392,
+      "bytes": 3151824,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110249",
+  "version": "0.1.202610110302",
   "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": "85898190aa4f6892"
+    "packHash": "75de3bc58139e96a"
   }
 }