@cella-lang/cpp 0.1.202610071953 → 0.1.202610072338

package/CHANGES.md

@@ -0,0 +1,55 @@
+# @cella-lang/cpp 的變更
+
+給使用這個套件的工具（產生 `cpp.*` 項的翻譯器）看的 API 變更。每一版的完整邊界清單在 `README.md`。
+雜湊（每個定義的 own／merkle，見 `index.json`）在不穩定期可能改變；下面列出改變的定義。
+
+## 2026-10-08
+
+### 控制流
+
+- **小步語意加了計數迴圈、函式呼叫、do-while、switch**。
+  - 新建構子：`cpp.sFor n body`（`body` 拿到 `k < n` 的證據）、`cpp.sCall enter body leave`、`cpp.sDoWhile c body`。
+  - switch 寫成 `cpp.sSwitchL e [(cpp.swCase k, 敘述), (cpp.swDefault, 敘述), …]`。
+  - 一致性定理 `cpp.execDenoteLoop` 涵蓋全部構造，不加前提。
+  - **雜湊改變**：`cpp.CStmt`、`cpp.Frame`、`cpp.step`、`cpp.exec`、`cpp.denote`，以及一致性證明裡的定義。
+- **組合子層的呼叫**：
+  - `cpp.callS enter body leave`（敘述）：被呼叫者有自己的狀態與回傳型別；`leave` 收到 `just v`（return）或 `nothing`（走到結尾）。
+  - `cpp.callV body args (cpp.returns ok)`（運算式）：前置條件是「會回傳」。
+  - `cpp.callSR enter body leave`：參考參數。`leave` 收到 `cpp.retWith q`（中途 return，回傳值帶著參考參數）或 `cpp.retFell t`（走到結尾時被呼叫者的狀態）。
+- `cpp.doWhileF fuel c body`；`cpp.switchS e [cpp.swBlock (cpp.swCase k) body, cpp.swBlock cpp.swDefault body, …]`，有 fallthrough，switch 吸收 break。
+
+### 數值
+
+- **整數與浮點的混合運算**：依兩邊的種類挑函式。
+  - 整數 ⊕ 浮點：`cpp.addIF`、`subIF`、`mulIF`、`divIF`。
+  - 浮點 ⊕ 整數：`cpp.addFI` 等。
+  - 浮點 ⊕ 浮點（到較寬的格式）：`cpp.addFF` 等。
+  - 比較：`cpp.ltIF`／`leIF`／`eqIF`（及 `FI`、`FF`）。`x > y` 寫成交換兩邊的 `lt`。
+  - 前置條件只有除以零：`cpp.fNonZero refl`，對的是轉換之後的除數。
+  - 兩邊都是整數照舊用 `cpp.addV` 這類。
+  - 結果型別的規則寫在 `cpp.arithT`。
+- **`<cmath>`**：`cpp.fabs`、`ffloor`、`fceil`、`ftrunc`、`fround`（.5 離零）、`fmod`。結果都精確。
+- **雜湊改變**：`cpp.fconvV`（改用另一種捨入算法，值不變；float／double 之間的大數轉換不再逾時）。
+
+### 容器與字串
+
+- vector：
+  - `cpp.frontV`、`backV`、`popBack`，前置條件 `cpp.arrNonEmpty refl`；
+  - `emptyA`、`clearA`；
+  - `insertA a i x (cpp.insertOk refl)`（0 ≤ i ≤ size）；
+  - `eraseA a i (cpp.inBounds refl)`；
+  - `resizeA a n`（新元素補零）。
+- string：
+  - `cpp.strInsert`、`strErase`、`strReplace`，前置條件 `cpp.strSubOk refl`（i ≤ size）；
+  - `strCompare`（−1／0／1）；
+  - `stoi p s (cpp.stoiOk refl)`；
+  - `strFront`、`strBack`、`strPopBack`，前置條件 `cpp.strNonEmpty refl`；
+  - `strClear`、`strIsEmpty`。
+
+### 定理
+
+- 記憶體（對任意記憶體成立）：
+  - `cpp.loadStore`：寫了再讀是寫的值；
+  - `loadStoreOtherCell`、`loadStoreOtherBlock`：寫別處不影響讀；
+  - `loadAddrOf`、`loadNewObj`：`&x`、`new T(v)` 讀回初值。
+- vector：`cpp.lengthInsertA`、`lengthEraseA`。

package/index.json

@@ -35,15 +35,15 @@
       "own": "12b2ae9ff4d6424b28e8679baef313f72d272dc5891104e44596cad44ed99939"
     },
     "cpp.cpp.CStmt": {
-      "merkle": "60e37ae79b2bada50fd073fcc125f7d62f13042c7970eeca5f9b86eccd70bf46",
-      "own": "428fc2bf0d1bd08a83dbd4d8de4c1460f1210af42522595a2b7f52c3b3d28f83"
+      "merkle": "9c0963d745b630991e6e722ab13efde2e65614ddee735afb4549fd80f03eeb56",
+      "own": "e788362b8a196670dc644c932fb993002d10d40e5af99d62f3e829fb87e75803"
     },
     "cpp.cpp.Call": {
       "merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
       "own": "694ed9d3cd750686c748d229a467b5a988e1ceb51d632f67c40f56beeca896ec"
     },
     "cpp.cpp.Conf": {
-      "merkle": "d29a5a3497531ec0445c0bc12653719d4f8361066b4a60fbb28e8c0bdeaae237",
+      "merkle": "92c4e4f14c14795950cd46b89a1034bcbdec146daaac28492e0a971e765707bf",
       "own": "9093938d5aa8d9564ef71f1999c023c507e2f4117a7097a3202f71255af9eb53"
     },
     "cpp.cpp.Conv": {
@@ -107,8 +107,8 @@
       "own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
     },
     "cpp.cpp.Frame": {
-      "merkle": "209bc8d60426979f8c8edd8087c1688f825b0025b0ca326e53cd197c8dc2a3ef",
-      "own": "f8d7e672a41b55d5a95c84394a5167dac9a307ba7ac344e4138a65be1f988356"
+      "merkle": "08ec5eae1c1e3f1952ae378e32872de13153e585eae4223ffbabb2317682c2e9",
+      "own": "ccf9540155526dbc07667337e554f3f1295d600f8ec757f5f3082f7cabb442c3"
     },
     "cpp.cpp.IOS": {
       "merkle": "7bca8585fb75b4bbb718cab1752826485668535ed4a057cf755e9f511af248d9",
@@ -218,10 +218,18 @@
       "merkle": "816d9a48fd9441a10974833d9b1a772673c3286ba72d1319cca7cd34d020d800",
       "own": "1191298f6b0ae763e3e87537b1999dd2931b2d0cbdbb1afcf305f9d74ec5156b"
     },
+    "cpp.cpp.Ret": {
+      "merkle": "c9810f48c5de2bf0426ae66e1654c2251b584623e34d1528d206f7cc60a60927",
+      "own": "07599821398f722f31e9e4abc736e6f52f4da106dd2ab9c373fa83a13e58f1c7"
+    },
     "cpp.cpp.ReturnsD": {
       "merkle": "883e3f4e20945b64a08b994aa4ae8b8b98e644b595929c2bbe801f913f8b03dc",
       "own": "65d052fe2d4fe97dd33aec3de62adbedc1755e97f3554183794c14bbee372477"
     },
+    "cpp.cpp.RoundMode": {
+      "merkle": "520eb1e637afcef0e027b407cbde215e168d021ce1a7b922bb7bb38e7d56914d",
+      "own": "dc0226da50cfc272d742900f910f5c426ccfeb136c19857aa160262742fc7319"
+    },
     "cpp.cpp.SameBlockD": {
       "merkle": "ca8cd30300f2cc88a6c68c443edc33b5c6d3362dc12a3f53d951547c37df6b08",
       "own": "e4b997113fae6bf61aabe77227238bf67a0ddb55910a79d86ac479771637078a"
@@ -282,6 +290,14 @@
       "merkle": "f1bbc6a61813a1128a75e7029909f448bc7621a392374c219a1ef8a49e775405",
       "own": "6be75095171865c78f4d47288c66d3f5a81dab2bdef5601bc875ab5eb4627d54"
     },
+    "cpp.cpp.SwBlock": {
+      "merkle": "eaf2c6ad54fe3172bbfee0513745de89785b9c970e39c197494dfe957fd9c05b",
+      "own": "0bb70985ad2ed851122b89e7670c8a9f7c4bba8cb6be5b51bcebb2fb8da7f70e"
+    },
+    "cpp.cpp.SwLabel": {
+      "merkle": "fbc13b9c8b9304ba038accf58268e78aae73b9870a62d095e3f90ef4ef9fa4b5",
+      "own": "b3e08f239cda917a8313dcf56a6058849cd2e0fe41e4f3a2c6c4cb86b5a65da1"
+    },
     "cpp.cpp.Total": {
       "merkle": "c3af475c032d67c1da8add2f771ea06f14a3473bf21fef2d4d90fca48e15f51f",
       "own": "7e6ca93ce33a4e6b4d9074722c9c232476033b4efaa56e717fb35f8d8754fcb4"
@@ -526,6 +542,10 @@
       "merkle": "da4329360b75baec9ffbd0eb03a26fcadecf5a8fea14eb58802a2a6eab9de4d7",
       "own": "e6a552b83d8e2688456835c58ce9221b67402be80a3e1408000022b1606a3808"
     },
+    "cpp.cpp.callSR": {
+      "merkle": "e5d87ad3730dd32b22939159df8f36aa8a4ec8a30281789665679bc798a776fd",
+      "own": "4288b9801391793337df4e11397a6534299db7eebe5d033e8a8de9fc2b730ec3"
+    },
     "cpp.cpp.callU": {
       "merkle": "6dd3accb527af8e5a076f809479dd9151a608e4d43af58eeb540b5f24c3a6fca",
       "own": "51ddcc559c0cfc7458b9b998fe5fbe87d7d08f2a38669ce1125a36856f7c7df7"
@@ -582,24 +602,28 @@
       "merkle": "893776ecccfe12710d25d3b7fa025d1d27fe533d26fc80159d37d52c4feb39b8",
       "own": "d4dcf4c7624cd2103336716034b49c350c1b073a1dc2ea924b926fca5ef46843"
     },
+    "cpp.cpp.condAgreeL": {
+      "merkle": "11a268398a0c80914e2aa02e9efdd8f375f139a89f71bd34994739f9d48d213d",
+      "own": "279691e0879717daf28ee519c96ce1ec6d6e565fbc547427ef3e6eed991f52dd"
+    },
     "cpp.cpp.condConf": {
-      "merkle": "6c828ce24fb576b333199c14ff4472137448bce34065059678210b95d2bfb0c1",
+      "merkle": "229bff94bcaac30114785290254cc2c972464f91e3ce5ad4ca9883acf2c72afa",
       "own": "127e4f350be9a64cebb0b0d517256f615776eb46ac4b46be0bf469d06ce55573"
     },
     "cpp.cpp.condConfN": {
-      "merkle": "8bedcb6e136e83ef729961afcace7e4aa7ae671d3825eddd2c5c320ba9d35f04",
+      "merkle": "8cb58bbbec2db4775983c25f23231ea306c4255de4dbc5230f1f8e2d31179192",
       "own": "3ca254fc1a01573ceb1ab98273f7f74cb1bdd46dfb31a07ec3ee73002b78f5ee"
     },
     "cpp.cpp.condFinish": {
-      "merkle": "ef579e30a1297059feaa80476230d6168c7102aa6af7fc30260a3f9d29112181",
+      "merkle": "0542ae403d5e27e7935c89b03e8cf6c43bc5a79294d8f235db14740a684c1e76",
       "own": "46e9af77c3527d1a13f4e612da2996b4ee43b2b7224bb644d6947b2cb866160b"
     },
     "cpp.cpp.condFinishN": {
-      "merkle": "6a470703f89f968aedf64c6b7fb8df9de3aa01765d19550db4d5147c16d85ec9",
+      "merkle": "ab2f2fe801095d351cc988d652f3de08b62ba7e6487ae8c95aa2ce2bdcb144d4",
       "own": "dde8da42ef69a5ff912bf1c64afd65a4c332dcba47a505181ba368387c4a37a9"
     },
     "cpp.cpp.condLF": {
-      "merkle": "e6d4c3d3fcb3e91f204521f3db75761b978955786a33aa0573c0d900d2decfd1",
+      "merkle": "183b316d8e223a68b734dc90ac98ced21d4fc536efb05b239cd67896e30aa43f",
       "own": "940c224df1e78b8f78c21ae23aa82b92fb7341fe96860814d9a949c60472fdbe"
     },
     "cpp.cpp.condMono": {
@@ -607,20 +631,20 @@
       "own": "3c63b5a279f54a86b6464ba264c94ed21d224088327ba7e4fe80f33006fbb38e"
     },
     "cpp.cpp.confLoopFree": {
-      "merkle": "19586931050baa2f1d6c317cc95affad2d64aba1b4810c87eb4b1f8aa389091d",
+      "merkle": "b3bbf915b56deda520ba6c109adbd0e40fb3af6f5d49dd5b6f4cdf82de5bbba2",
       "own": "7a4594f014a3b617adff86f5f99da2c63adfe4bc242d3f586dfdbef7dcf34bc2"
     },
     "cpp.cpp.confMono": {
-      "merkle": "a06dedadfae88a7a4d5bf0c91367527d2d351d77fb52dc66555b30803c5e3279",
+      "merkle": "fc4d72c5bb62df67cb4ad26b377b0f7f293eafc491f1f456c02ed158e290ca3f",
       "own": "3cbd74f26d31e5d54014df0641832676c7516177257ab54a7664b31e97cceeea"
     },
     "cpp.cpp.confN": {
-      "merkle": "dc707306241ad6f33088ba8cac81fbb4808dcc2ffbf5923a8140b5c2c7aae343",
+      "merkle": "af79595f5764d66137f7799c007a7adaf528e8c311720d62490e9f878139db44",
       "own": "f434582658ecb26e8fb77978467ace98c32a10d1a5b0d7fb3c439c7ff5c3aa9f"
     },
     "cpp.cpp.contLoopFree": {
-      "merkle": "f792b2c2b63fec6a7f20b40e1fbea32dc8c6e51111528f8597e90bf7c64a89ec",
-      "own": "108e6c7578141d98af13946883d7b61325530913c7e026011e88d4b425c427b3"
+      "merkle": "3accd22ad1f1469f2e83ff45ced53cdbeff3a3a898a31652a87f2999177187d2",
+      "own": "871c9a00afbdf4e49cc21bdc4d968ebdf41fbd49edbc2f5111a78bdc02d82dfe"
     },
     "cpp.cpp.continueS": {
       "merkle": "7a4f3f44b16e4fd471e95f8b94c35777570b01f058fe0806e9a37d3abdf2c12c",
@@ -703,16 +727,16 @@
       "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
     },
     "cpp.cpp.denote": {
-      "merkle": "dc58e9ac9cfe10bf40f5a584b51b91226d48ce41d4a9b0c23beffb27eb6c0e82",
-      "own": "8673915f529cf11044e7c2797cbac645c1beecf739840c09cfbe52fadc9b425f"
+      "merkle": "509595cc82204a3267b85d26ec96bdaa5d668f9ce2ccac33d916b1da3997740f",
+      "own": "bae3835b71efb7a8939cd29ec40702e3048eb227cf841058c104de05ac5109c6"
     },
     "cpp.cpp.denoteConf": {
-      "merkle": "2439f43405ebf736798cbdb154a9c18ef1ca94f6813f235684b5193b189b1242",
+      "merkle": "a0e256c2cf55a75fc8118284461fdb0d073dcc70dd205111105dad3a8d73b6d9",
       "own": "4c02f563f19a5e7bf713fbcfa287886ee0c3ee63486d62adb7857e58bc2ae529"
     },
     "cpp.cpp.denoteMono": {
-      "merkle": "6cfc7c9e7428cc83137e80f8e43854e728afb6ae5e5978c155ab4305e143e581",
-      "own": "0ac6fd6f92e90510b2b0709b24658fb1043ab1701ae2c9fd7e7d33380f3a436e"
+      "merkle": "75f81b6304890da754b78c21a4a781ea1e834a366153136b502b4162325459e3",
+      "own": "9cb1446f8e2f42eeba7103843ef99d143a5fcee77de798f8a22e9dc213b5d9ff"
     },
     "cpp.cpp.derefB": {
       "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
@@ -746,6 +770,42 @@
       "merkle": "5c4b4609a23bd492f47e313f9fc6a8ecc98d050200e585f6c0f504e69d541b92",
       "own": "da7e79c529aafb13d175bb07282afc7a625a387ed4853393774faaab60cc48db"
     },
+    "cpp.cpp.doLoopAgree": {
+      "merkle": "638396230f49b24c018b9512dbe85d243c727e9557c101438481a31aaa82e90a",
+      "own": "329c97638256213838f6f3d281e0cddba03a8e6fcb493c2e0d6738263a6b515c"
+    },
+    "cpp.cpp.doLoopAt": {
+      "merkle": "89f3862369d7169f86e14d61d96d414ab2c492b825de39796c637130804bb566",
+      "own": "033d4ca3ea955182e7036da74aef9b2c763a3c570b850d1bae753af2fe3671b5"
+    },
+    "cpp.cpp.doRest": {
+      "merkle": "f7ae80876496fbc413df2a70a5b1572e0a80c814870da1e44478a41896312df7",
+      "own": "0eef7f891c867b1159c56a4b6e020608177dcd32c6c3ce51c9a0229071de8e16"
+    },
+    "cpp.cpp.doRestAgree": {
+      "merkle": "e054c9846d35f9f522266d408fcee639c9c7be3366bac1aedf00f515404077b9",
+      "own": "1d2364d3b4064902309d31cd33eceb484219fac3996ef469a7ab7e877f556936"
+    },
+    "cpp.cpp.doRestOut": {
+      "merkle": "001610803a3fd0f43046d13e240f70813af29047cea23d074271f4190e4f4d01",
+      "own": "f285b71d770588c25f4a98eff9ede0d648b58288b140b33e6027eff5e42b3028"
+    },
+    "cpp.cpp.doStepAgree": {
+      "merkle": "4c59a1125986fe7c6475fe1235d37fb419fded340f560e13da276b52d9682c52",
+      "own": "83d43dabf27291d65758e2599951c7e6a6e728b9cc1f25bad3203098bc0cefa1"
+    },
+    "cpp.cpp.doUnfold": {
+      "merkle": "45841b2f49c4e34ed405b6669a4610cfb250c096fae42c164c08c71b071bda14",
+      "own": "a7b4b06bf8e2c84ff05f63b1e4d2de716ce2321eebf794deea32715459e36fc2"
+    },
+    "cpp.cpp.doWhileF": {
+      "merkle": "0e81077ffab32d1db4506a192fa1d01a9a7ff9370572416aa3033cdab493d302",
+      "own": "4f0e224393a62cbf113361023b7f190e2a68c89ccbe17abbb9244eabdfd14dd5"
+    },
+    "cpp.cpp.doWhileMono": {
+      "merkle": "bc46bacddcc12dadb5d701417782c9fddf30b4bd7dffda2833bcd38f7b5d397a",
+      "own": "9b826e1686798de45021621eebd6d3510c4fc53b7532a76c2a671d564c6d1c95"
+    },
     "cpp.cpp.dqAt": {
       "merkle": "4dc0396a96f3522d12281259e4e59a0943544e6d70d18865e629e9d4cb959b2a",
       "own": "fd050fb496aff460a6a72c04ed62f098ac429a5b351f68c618678c74d7b3d6a5"
@@ -863,23 +923,23 @@
       "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
     },
     "cpp.cpp.exec": {
-      "merkle": "a963c5ba22ef0ed4cd2ceeb7e51752e72ed8df404d0325fda8dbf42fa0e8b8cc",
+      "merkle": "a55acd9ae1b097531566025fa3b75b69c570ba2b279e4e1f28546b856ca5d9f8",
       "own": "4a9de798c933487554e2ed22d59737a0c585c85a006f1046475659711029a08f"
     },
     "cpp.cpp.execAgrees": {
-      "merkle": "c266a70b5931010afca7e7b411ae497a3be2f105b75521e30527a414553a0964",
-      "own": "cf037149a66bba30d5b2d14b1dbc5d5c0828a1aef0a4f97312ceacaeac68fcbf"
+      "merkle": "ef24988d3757aad8d20582e2c207f5d41b0ff4a572aa287862f53414c05eb1e0",
+      "own": "cc3c170076fae02b64db8c628e540db97e7a6f41aeb3f198170a349c70b03b7a"
     },
     "cpp.cpp.execAgreesN": {
-      "merkle": "f0def8df160a89787d5bdcc3a878f72e9a0217c1987853e0da44576c67499c16",
-      "own": "66f31ce55b9f2f50a10719993b54ac1af9eb6e9ccb1834c0f5ff3b3c1cc2798b"
+      "merkle": "eb5223cea00b0625614c96ff19ce887524707a201d80e38376318b38d95970bb",
+      "own": "9f9f92754fbb39728b96cd4d09d7f51720a79ed851bc844b77faf402f52a38e0"
     },
     "cpp.cpp.execDenote": {
-      "merkle": "628f39a1e9e574af05c1d2f8a82d379daa2cf6312fdce9905baff0255d76497d",
+      "merkle": "49ca0fdd74151d80053da62f65b0286be82ee4969878de10a5e6a67125bceb55",
       "own": "859ac644ac603d21938586b13743c68761870d7333751a0d6f7e672ee9fbf3d9"
     },
     "cpp.cpp.execDenoteLoop": {
-      "merkle": "c007280e3b24a7c7735f337b2ad56bec20059b7c958eee77c508282815236974",
+      "merkle": "8d37511c027a7e87cfd044d5062319a796643bf766f54f6b1216d5188b7c3960",
       "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
     },
     "cpp.cpp.expStr": {
@@ -906,6 +966,14 @@
       "merkle": "1e7b0258552f87dd717508367c2ef91f5c1eec6cf1c2614d340610d28ea26392",
       "own": "521568dc447cdcd78adfef3d39a331782bbb491fd4411e973fd7975eb9dceda3"
     },
+    "cpp.cpp.fabs": {
+      "merkle": "1b71295443bbe3c3e087671a7858906f47eb7460046da2890d36fb5c8cd824eb",
+      "own": "d2bf245054c1c0a8db85769040108246ec8c0d11de6cc7d85ebb225a62aa8ee6"
+    },
+    "cpp.cpp.fabsV": {
+      "merkle": "82490e787da2cd8548f43ab06649339393251a609ed8291f5f7b8dfebaed3c7b",
+      "own": "36b26ed862b0933d8351ef707652ca54f9d7b3b09ed4748702bf0893685076bb"
+    },
     "cpp.cpp.fadd": {
       "merkle": "477d300aeb78d2bd37d4b4cebcf9ba40dabe7d3a8b2a39a1ed53fdb246ac1632",
       "own": "490f5603b5b61f36e22bc9acdae94e75f4b6ff5f7f0e3cb82647c3e077ff4b1d"
@@ -918,6 +986,10 @@
       "merkle": "2453bf5b0c0ffd2e5f995940e6fe017dd3e35689e9d8282b6871ea0f40b0ac7d",
       "own": "6b9bc76debdf9fcf144924d3a91e1d744299a7ca644797f0eb0b59167ee738df"
     },
+    "cpp.cpp.fceil": {
+      "merkle": "6e317529024613396c720937ebf2bac1df9f506b25fe5ed3b56cd08a5a2be5fe",
+      "own": "6b161be9e10bb388cb8fef2f19bc9a0b67baafe851e802b83fded5f593a2b8ce"
+    },
     "cpp.cpp.fconv": {
       "merkle": "2efca5120f5637af1669adaf6896b2e79eb436c37269137ba670997167a7b8de",
       "own": "0543af9ae95b3218d79ff1d84a3e8172a348e1cfc074313c17340e4200e2a8df"
@@ -942,57 +1014,65 @@
       "merkle": "a6d6a672076d9fe77fbb05467b5aa408f6bb1c13ef721ae1dd4f3c99c6244c45",
       "own": "4828c5039b22b34f60e55410e748af682e9faade794fb1819848f5022f14231a"
     },
+    "cpp.cpp.ffloor": {
+      "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
+      "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
+    },
     "cpp.cpp.findFrom": {
       "merkle": "7b0ed505d8ca4e0c116193b9e012a09c4a5d959189203a702938c9991ac71f7a",
       "own": "67671609b834d7224613db3f00e45305762b3175e88dc416d9440e2a020895fd"
     },
     "cpp.cpp.finish": {
-      "merkle": "85fb17169ba53ae7e100aa4107690bb7ff56bdb5c1e121bd1110bf0ea4f91846",
-      "own": "fbfa63c6f3de6e545fd5613bfa707b84e18a8e1e1ec29b07b9cc7d90a23b3f8c"
+      "merkle": "3c3f548218eee26f1cead73991b2609741b20860ecadb9e899f39e17485432bc",
+      "own": "598bae67c5243c22e08c883db92a6c00577d9e7227d0e469a50a4afb2005af4d"
     },
     "cpp.cpp.finishBrk": {
-      "merkle": "160000d58208396e68253989e2374cd712324b2ecc1265dd748ddff94a14a1e3",
-      "own": "83fd4886c71678797e2ddf361ecd19fcb4831b22ec9cff0b42fa8a117f838667"
+      "merkle": "5c99fbc9f1c1bdd088c27a530112ae0c97de25dc3dfd408a17ff46327c086e8a",
+      "own": "9cb045859c587c4ffd0fe45a043514618e946c9605f43f7df2e0a380269714f2"
     },
     "cpp.cpp.finishBrkN": {
-      "merkle": "1109ba7f922e8d49130429a6bb332d7527f52c16a97b563152930d97c424d4bb",
-      "own": "00683dbbc22d6d8250d43c5dbe451ac37f1e6d10de00e7b06bc26c28bca9bf1e"
+      "merkle": "06307bb092efab6c0106cdc097be13fd8450764281b2efd4aae4d79a3b92f673",
+      "own": "7404f7b747612acfb28c2b41e0fae184dcb79aba026b0bf64d0a0ead4a3c8b25"
     },
     "cpp.cpp.finishCont": {
-      "merkle": "6a1eff38e95fb56837ff56151ab5618b51cdfad5900d70d6c4929f4e0b751e5e",
-      "own": "fb1aba4a20f01a07294cff12cd011ec56418a14b14167b7e4789487bd5b28c92"
+      "merkle": "2cb0c01bf64d4f3dcfdb2c4537301c025382257fd60dc7587641f6cbb8b3c091",
+      "own": "e1f333538dfd8c464079c4618fa805afeb50fb895b6e32fe9ca7e9b7a54f8919"
     },
     "cpp.cpp.finishContN": {
-      "merkle": "e21e006895a33c624e218e6154f11218eae5fbdb675c36c182ecceaa96d80e2a",
-      "own": "13e3a97df45e6589c53a39654d62ae123f9953d3b1c58bb2b1f1c5a7ef378228"
+      "merkle": "75386eae2f59f23c51eb7cda2df8f6c1485fab199f406b7833b188bff90b77f1",
+      "own": "2272e2732efcce6ababd56c371a6f1e1ee4b8e99e3f452bf901fa8ae9643c17f"
     },
     "cpp.cpp.finishMono": {
-      "merkle": "e404fc9ac91d74333d3dc01a029403604fc0ffbab1be9edd5712a2c9c80b3138",
-      "own": "271325129f8f0bbe4fbff6cdb75f27c3bf5b44873af1b4969ba3f4cf6d4916df"
+      "merkle": "71849d37e0943ed72715c2b7527fd9d619205f657b3f08ea4542a565932ce020",
+      "own": "7457e37604572f83323ae511840f95978bddc47e5b85f40d17d2af279bb63c86"
     },
     "cpp.cpp.finishN": {
-      "merkle": "98b48c3856201df5e4155649bb0b533fc96d902ccd7d706754615db8cd782af5",
-      "own": "0ed3cdd30e0b225fe8e139bee3e7de64cb4d2a4cab43625d1fc655a0a5afad78"
+      "merkle": "6c1a4c6c7a4b4a6fc483c97a0384d495c86d7125fd4d5b7f73d6c747f16f91fa",
+      "own": "41673365ae2551f232524b84ca4d47aac97852cda53399b5425bf4ac50a938df"
     },
     "cpp.cpp.finishNormal": {
-      "merkle": "13466f688334506deed084ba859d035281bc3f532108ccd8bf44cbefe5ff0c13",
-      "own": "b08960407742acbbb6a70127889f2abece3d8db8340ad2cc9f7109caf21940ca"
+      "merkle": "ea8c92885bec5a6ee3c3b7e46bb3714a219136709e826e3bef46b6be18f3f230",
+      "own": "1aec777261b7748658724c46683efa4ce86ef8685ddae3a9f63b44eaa9833ad3"
     },
     "cpp.cpp.finishNormalN": {
-      "merkle": "a2932ce45c5bcc317c324b93e4710dce44b41a27e27a8397b5835a934b37d2b9",
-      "own": "9f2a5ecf804770c35787cccae76cb28c371db6d0ba7c6a8acc16021ef6f99e5d"
+      "merkle": "14458ce6c25d1bb646e950d14ad2b24c0a4ba794ee02c00654f4e1d24541228d",
+      "own": "de2a870bb4e13f117f6c50ba561f52844b051388edc49d98a2e28f93e4e8dfba"
     },
     "cpp.cpp.finishOut": {
-      "merkle": "8c0f9698bfe6e44fd503698d4412311ac12031f133d216a30837a2f0440c4ee8",
-      "own": "bbd99f8cc940a9a845fbaa0fdc64ea253a2cc6d3cd7833c3b8f5595fab230180"
+      "merkle": "4e0eedfc4037238c745614265e133386d1dd95b051841ad538437bc43e875e45",
+      "own": "f85b5914c9b30ae639b01fbd5d615c3b41f88e815eac931ecfeb5631fa4cabde"
     },
     "cpp.cpp.finishRet": {
-      "merkle": "0546dee7beee3ad76484eeae5c96ba5f173abee90c7fa1462e1b4eac200e0d7d",
-      "own": "98e2720bf51d12ca9d54b5b4cd8437f790b3a33fa310be4e434addb7ba1a570f"
+      "merkle": "6e870410a5814d99ad2cc929f0c4cf46c1dea2a17dcd16b7dda1b3e802ebaf8b",
+      "own": "25c95c5d039d7e39c25b77809f36ee93fcbe5e81b06d04004513de68ff605c75"
     },
     "cpp.cpp.finishRetN": {
-      "merkle": "228a7b25024b80a2b3ddc02a9ae7ac884edcba6b8d3fc2a37704e50ffba06a6e",
-      "own": "67d6990dc3caad8cd6b23560dc19b50e1a44b4ead11b8b4f146e9108b934bd7a"
+      "merkle": "222629fd845da582a0705e0148f745b2d8119afe9232201ad2d61e340c3532ed",
+      "own": "a7c97936a5650805ce2dae02cd12cdf707668a15ff77c7b491ecf0402f40b74c"
+    },
+    "cpp.cpp.fintV": {
+      "merkle": "2e5212fa236387e4fd0d912b92bcad2acace650d52d00791cff28bc6d9b949e5",
+      "own": "8bd446db2184bf50b1cab3b14150724def8c4d889236e1d21493c19f653d21e6"
     },
     "cpp.cpp.fixLog10": {
       "merkle": "0c3de02b8c308096a5d49e20841371276e118402fe4b38a8182687552884e794",
@@ -1026,6 +1106,14 @@
       "merkle": "86f5f20ae987b028b15aaae7687ad2bfa9a26215b02dcfa3232f439c96ff6c62",
       "own": "55313fe0fe837bfc1be1c6fab6c2cfbe48a2978929ad1bd892dbdad1849fb769"
     },
+    "cpp.cpp.fmod": {
+      "merkle": "c97ce569251845f038e8a2cae910d4c48ed8d8d7873da468f0a749a9bbc16c38",
+      "own": "d2a4fa8a7dd494603f24aa1c73f79b77b1a8247bf24b23a4166a0970ef8ba84b"
+    },
+    "cpp.cpp.fmodV": {
+      "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
+      "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
+    },
     "cpp.cpp.fmtFixed": {
       "merkle": "3d427b9b7bc35b33cbb352390a81b6eb0b4eb6b359ec3737b6109f256298207e",
       "own": "74af221a9f3ea84b8da18a6597b6785cb44ed4755c10fc42240433086572ac8e"
@@ -1067,7 +1155,7 @@
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
     },
     "cpp.cpp.forFrameMono": {
-      "merkle": "2fda2043365f9281fca7b080a8869e7db801c4e1771c6bf5dfc8b6aa007ea6ba",
+      "merkle": "43fcc5dfa18f6d20d722fcd0d44294979f3050cc1245e33fa9712597892410e7",
       "own": "f1c1838e861e364e573812ffd20ade2abdba275d22cc9146cca009d05ead3bc5"
     },
     "cpp.cpp.forGo": {
@@ -1091,11 +1179,11 @@
       "own": "3ad6df11c3f0ef71a3d6ce444667a817da0051857a544528ca7f41a05f6e6011"
     },
     "cpp.cpp.forStep": {
-      "merkle": "b538007654227d6e4989f8c7656d87357cd9325b90d4dc9240e59a4c392476d6",
+      "merkle": "b89bf0315006cd56c37f399cbd0c6b02e3e83510cdeb4fa512b67a12d196eb34",
       "own": "22458f0f81e07836dd06949cbcb8b756a3f5600163cd1cfc5b2443b2caa495cd"
     },
     "cpp.cpp.forStepAgree": {
-      "merkle": "1c72bff5e77799a53ce078d8ef3c6cf70d7fa1cd8b9b454e75dbb65139c0dc6c",
+      "merkle": "fc285940c8f5cb27d1c2a57cdd76b71b1dadf9979e3e9eacb21c6fd1771e5f97",
       "own": "1da8f57ea3fff9504a0823e09dbdd873151049f99181bae91ad29f6e65e41658"
     },
     "cpp.cpp.forUnfold": {
@@ -1118,6 +1206,10 @@
       "merkle": "2b404fbdf74e76cdbc6e1612a5e36d6837eb05649bd1f5622708dbf585e8db0e",
       "own": "ea3aadb2986143af8ba29a6431fa276285af7ac3b7294e4677772412d9ee71a1"
     },
+    "cpp.cpp.fround": {
+      "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
+      "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
+    },
     "cpp.cpp.fsqrt": {
       "merkle": "bf1e8e670c388ecc3ef8b8f39bb576fcd43cf1072c99c334ed33d783a940eb13",
       "own": "1da3bc7cec3d340507069ee8f8ecf35031088c880539d30c662a0affe72b55ce"
@@ -1130,6 +1222,10 @@
       "merkle": "753c641fa262b626e6d1ee4a19e2ca911c5cb80f17368cc7cd51fb7b8e60d2c1",
       "own": "b2357919f6dcb531798e42af7d6e2ff6197cf96adcf4c52ee9d032bf7032fa1f"
     },
+    "cpp.cpp.ftrunc": {
+      "merkle": "016f560d99f1f37c0906ef378943ed4fa35714c84e82eb286986a9ae7afc04e8",
+      "own": "2e3bd42e423994c4b5af2413141bb0ab9186099b35e9f60192c8ab8967a797ec"
+    },
     "cpp.cpp.fval": {
       "merkle": "f744adc2710732853538ba3b2a37a0881d162a9cb354dacde9c3bc28d1b4badd",
       "own": "a4710bad12efe6c8f9c38938ea8acfa72655e4c648aa106ab866e3c948360735"
@@ -1307,8 +1403,8 @@
       "own": "d56825b863dedc7477d76d67699d9fe76c175c5479497cc14e8bd3a843225113"
     },
     "cpp.cpp.labelOf": {
-      "merkle": "b4167272b0bfddbc24fe9a07e95cb810b01de8766b97db41c22acefd583012bd",
-      "own": "11b5428bab04aa3766e6632b64c84cbf98a12bb9d438234c626f8cfb983c56fc"
+      "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
+      "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
     },
     "cpp.cpp.lastM": {
       "merkle": "36fa7f9bed988b8e72cd738fe0277e7bed8df3be09a83aea919271de1d266766",
@@ -1463,8 +1559,8 @@
       "own": "7ed212c2afe0871bb62f7a1dcb8fb8821e09a02b5526494af4ad9de919fddebb"
     },
     "cpp.cpp.loopFree": {
-      "merkle": "8c8ede897fda424c35cee70b968df35f8e0d6a083a61c11b619868fa253f4384",
-      "own": "36b53ae970ec59da080b9d6204fadc2cd67ebf90d24dfa711703ae7ee4d87652"
+      "merkle": "ba6ecd51ccc57b6abad0484dfd590ce9330e7ff930e4f5e164040179eaa89c14",
+      "own": "3046fe17d082ea17dccbc253a234aca5e10a9724fddd7f52f09adfa04af90c7d"
     },
     "cpp.cpp.loopRest": {
       "merkle": "72444a6dfafc38019e3b5d487c988e8d7e2ac6b214969d8f201ad29bf4feda7e",
@@ -1759,36 +1855,36 @@
       "own": "802bc2434bc259aad8dba9a8918149533771e56f3b0345f78462f3ab61a92ca1"
     },
     "cpp.cpp.popBreak": {
-      "merkle": "9325cacb79829624a10022ce275e688251c8c006e3ca3e29e1451147f5e5d8e6",
-      "own": "2641efaa36eed4de67ac325fae40359252686523c1b6f474549e343dfb343743"
+      "merkle": "1c80dff789acd34444d047419139741007ebb16df5feaa476acda4830c783164",
+      "own": "c944898586cdf9d996d64429550b963b354d374705073e4497734e43debd1df1"
     },
     "cpp.cpp.popBreakLF": {
-      "merkle": "2c69d12b448f23b535ad456fb57b33ca6e83b863c600389f0b6ea2e9ec048b49",
-      "own": "d76c95a1c29dbfc92c2943cf9d208d0d66fad83100abb5fd5711e02aae1f3ea0"
+      "merkle": "53e5a32e119b00a2c64611d99f767387975ce21419627358e2021ffba47325b1",
+      "own": "3ee4a3fc5c2e35bc74cb4f3740b47575c1f6198d78e56dedb7d96d81426a60de"
     },
     "cpp.cpp.popContLF": {
-      "merkle": "369944be96e0e277b6cc5d29d13e245a0e8e25f37136609e193adbaf4daea2e5",
-      "own": "2bd4573e83e58691db5eb6601e82846d6d8a79c6c660da9d6a29b1c4242f4cd7"
+      "merkle": "2fc0f917dc448dae2e511fdcb7df46da25d7221bfbb74367596a9ed4becb04c1",
+      "own": "24f60f7ade8edd013fa2e949ad2437fb588f0e0eabdc00e421136dfe0ce705b7"
     },
     "cpp.cpp.popContinue": {
-      "merkle": "4d561ea3faade8b972ffa4a55da3da7de9d1ec7a3f9e9fc73224bc40f0777360",
-      "own": "65ee6743add0abc963994d72b11ce78b047871de3e8e4b7f36eb6953212d5177"
+      "merkle": "bbe22c4c18d6ea4f752110196da3b75ef6480730707c384c925f674eb0a858f9",
+      "own": "601239bd96e8f7a4d08c1a0c0d7897ce7c41133d57298330c1d723b47d16dcb1"
     },
     "cpp.cpp.popNormal": {
-      "merkle": "eb266db10477ce06addb6736d6a89ee1a08698f500fe94e09079e78431aa57fa",
-      "own": "d9c5d327ec8b8b88dbc34bbdf985151b42879aa1e4271da85656fb2388f77803"
+      "merkle": "203db730fe4dbeeaef807e8b2099e8f7b9382a27027c72fd8ea09c1bd1266dab",
+      "own": "84a4c96b5769efa543f66ec20a2c17e355090d12f20f18e78acab6ddb30774d8"
     },
     "cpp.cpp.popNormalLF": {
-      "merkle": "cd3b3043a884383331ae2a8027e3d3c72ba6da52996bde3f49349f165116731b",
-      "own": "b8a7d6f63efc64ca8e4bfe4374d6f2b26cf4a059f70c154568f4673735491fbe"
+      "merkle": "d24e7bd19a0113886861777c0da0ca339476422e5ca58378363e21eacccb021a",
+      "own": "e40568c52d6f2ef49b7c96d34d221365722cd74f5921ab96978d860602a46ee4"
     },
     "cpp.cpp.popReturn": {
-      "merkle": "7a44501216cd2db0bde981b02b00a738313c88b91bb2c941a4836b66812ef9af",
-      "own": "0c40a2c2c33d95814e0302f5e104c393b817e05fd0477502992deb703e90ca2b"
+      "merkle": "22ec2c8f923a82b8d0149b9684e3f090b794fba99f70c59a1984004db8cf455f",
+      "own": "986c5b5ab0ca9c8559132ded1d71812185bd8b6fea2da39108fe9150812bcfe1"
     },
     "cpp.cpp.popReturnLF": {
-      "merkle": "713e6c07f968573e66957a820a050faf750ddea278fc1bbf2d3b5a95c39cf57e",
-      "own": "1da76068678a97d93212ef5c5e0be513227e9ebbc97e740ddb04b6688a14d834"
+      "merkle": "7c69809ed397ec5f92cd55ded13e6971631b83d2322af7ac1e546d1804584312",
+      "own": "d25f43acff93fd323da7cf63435faf9c8198a7440f96a27c83e78758e44acc54"
     },
     "cpp.cpp.pow2": {
       "merkle": "1621607c530bf91713bfdb70e3511b36f63701bf7ff8c0e6e7d2ddf7df4e1be7",
@@ -1974,6 +2070,10 @@
       "merkle": "242a00eec95f2b2bbc91aa77d3a5f0518efba56d719b5f818248e44bca16401a",
       "own": "d3bf060f9b2e9d0caf1bdd102d12dd9c3d61f2914af86a32b7adf69a50442c1b"
     },
+    "cpp.cpp.roundUpB": {
+      "merkle": "3465f4af7d243d0bdae3c0e2a0b9738709db996d08fc4b2323972e77d6a01593",
+      "own": "8c2cae195e9b41950bd68a636873a26d23af45b9cc4b7760c4135df7a5376bb0"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "eebec28eb52dfdf0ed975c23ca790c3172f4ba508da50b8dea30ea13dfaea908",
       "own": "51b184ea70c62ab7c8512369ad1c412fa8b24a582eaae72b12056418d1e27c30"
@@ -1983,13 +2083,29 @@
       "own": "7bf0978ddf9383e540e0ba1a45df72b25e71394aa1efda4563f484b3aac25664"
     },
     "cpp.cpp.runFuel": {
-      "merkle": "9b5cabbb4105bff9b339a00f8ef18406885a1f761ddc8d38690dcd54742d94ee",
+      "merkle": "6504831bb64df4d0383ba813ce334d8bec1791d96177db7b185ca865c0866008",
       "own": "79c7d17511c0cc13069fe8c316a24e1081693b3089866696c3ca9ca2e52a0380"
     },
     "cpp.cpp.sFor": {
-      "merkle": "825e413c0bbae79f09ebe9f1dd02178f49c80436680a105b125cb8d22f465282",
+      "merkle": "3dae9f608e821c92f43bdaa21e456d9a44b4c48ebb8b251b2979bca3d0b7c4fd",
       "own": "c830f9e2559dbe16ad3469c932d906803a61735d9347c2fd3a73fbc47ae8a62f"
     },
+    "cpp.cpp.sSwBody": {
+      "merkle": "5cd60d2ce4739fe93d9749b6a792e172e784053ff4a71abf904bf715f93278bf",
+      "own": "8253cb5cfd6aea70f2b88629f6a6ca005c456947ddb10969c13ba180880d294a"
+    },
+    "cpp.cpp.sSwLab": {
+      "merkle": "3b567f0729dc895fc98ad44fd839516e11e82cba31e364e954720bf67931e983",
+      "own": "e46d87abfd132dede866650baf26a5f62b75a25910290dcfbe6f87fef956119d"
+    },
+    "cpp.cpp.sSwNth": {
+      "merkle": "8873bc5b36f32d3611f19dcc0c95704a44ace0dadbb9be86b01c556be033acd9",
+      "own": "66d588bf85eb0805295f79ec0425e3dfa8b9bc7c0ebc829f7a46f0eca04b34a2"
+    },
+    "cpp.cpp.sSwitchL": {
+      "merkle": "169d4ceaac044d2a29d1dcb3dbf852d6a4f90b09a5fd011086d11b961d91bbae",
+      "own": "587791c99b3f07ca9bc0cc3427ecb16415c2b52fd898b755904581a864a30bef"
+    },
     "cpp.cpp.sameBlockB": {
       "merkle": "83d9bff11accf04776670f693049d7d54268e7eafdbad06c0e33abed7bdf3b3d",
       "own": "7ef70d7d5c516a292392c33b3509f4f0d94bac63cb727a68e4ff044664c74bbe"
@@ -2151,32 +2267,32 @@
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
     "cpp.cpp.step": {
-      "merkle": "982a298017591db72c10377d7865b9d2356e893c8e54e6c7d265f137eb8f5215",
+      "merkle": "cf2ec3b57af7097a01aedc0f331c3afa103839eb5558e475c5edc037830bf49c",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
     },
     "cpp.cpp.stepLF": {
-      "merkle": "a42690d65f2e17d1416ff41a1d3b9745a9e3ab4c9b189801fe58c496f9dc15dd",
-      "own": "abf64be9a5fc935bf81100bb3a16ed1fea00d9a6c92c7467b2e7ec671de22690"
+      "merkle": "aeedb51e86d2ff1dcf06e74c9bcb9c6cf5d96d80d36547d964856fb64d2a3cdd",
+      "own": "8b75fae50eb7492d1fe9c18db9ad19a4701b3bf85fc9fc644f8721314ce4b1a4"
     },
     "cpp.cpp.stepPreserves": {
-      "merkle": "f5c184370eb1d4837bfbc099b7c09e387778192ca029f0554c36a9a60f1f88d8",
-      "own": "2470967bf2dad93b424fb0ba69760bd2e195e61c273579755c03bcabcffb5063"
+      "merkle": "b57bd3868d927add2238d5d0048839c1347149f38f2aa7be11a472a391e2db86",
+      "own": "06cf166938d2ebf7ab602ab4dfc18906ee953cc309ed50e21a65e66ddbaab27d"
     },
     "cpp.cpp.stepRun": {
-      "merkle": "7d09d1535b31ce7b68bba6c04ab92f9cf0d8ebed88c8a8814c53f605dea55f00",
-      "own": "f98a1c8c0a8a9fd96ee8de1403446d1e936e998166657b450d0b3065ec516f74"
+      "merkle": "8a6e4c4ece16a24c26895451dc7b1538acfea6ecb92d0b97e5f5314551a9f924",
+      "own": "12b33d4f4e60a57e4f7bc17e3f955a7f89d2300e55dbe263a9f4de0553c3c063"
     },
     "cpp.cpp.stepRunAgree": {
-      "merkle": "ff69b5be135a5337ceb6929b2174aebdc39003f5d5e150561da67c86bc7c9a5e",
-      "own": "cab5e31ea5db287136c7aac476437921a3c91e9d69fe3ff468ef7b963aba89fd"
+      "merkle": "cee6312aaae5fd4986f05f20906da3441ddf2b41d8c9629cf174f7a6b8e99111",
+      "own": "d5f47c389a62716db2d786dd09b9f4290ae0fc045df666b60d679454c9178251"
     },
     "cpp.cpp.stepRunLF": {
-      "merkle": "e90b53a3175d860f371beed5b9ba5c99cd24a08af9056f3d3de0f3a613963b27",
-      "own": "eec205e5e873bb4c964b72159db5e69beb90612f001188a8cd7f25fd57047944"
+      "merkle": "a9483295d6d1b7d8c0e9947a57cfb3421b14b7d972ccfe19245b6a1142236eed",
+      "own": "920a8301da585f3d373cabc62de9facae0af74a01400694c5e5e767c111c0883"
     },
     "cpp.cpp.stepRunPreserves": {
-      "merkle": "a726a90f5607f4e60180a7c7efa8213911d4e030d096fd89d26362d5732da918",
-      "own": "757a2ab1d850b4033756ca307cc86d305a99b579bb34afd7f697ba0150df3ca0"
+      "merkle": "28e1388ba3efa7d33db20433c5aedff9c41dd327530e6c73f21fc9ac8d8347e6",
+      "own": "c60246960e858ce20763cd9886fc1e3ca9c093f16805aa941e4bbbb74021f8a3"
     },
     "cpp.cpp.stkElems": {
       "merkle": "8eb85220b8cb89b6dad8db85780e4c1ddf79507bca5b5d28bed16d9352814124",
@@ -2354,10 +2470,86 @@
       "merkle": "ad105612c6f60bcd162d2c7df61cdb81df18d101fa9156278b1d3b07b1418fad",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
     },
+    "cpp.cpp.swAbsorb": {
+      "merkle": "2fac49357e218c12ddf893824e974f10c20b5681535b20f111c7df14d91b3947",
+      "own": "562ef6ec9720300b187939a3743bd8af6e85cb026d1d197122cf885ae95ac0ef"
+    },
+    "cpp.cpp.swAbsorbOut": {
+      "merkle": "b3a1db3a03d63557771c37799c8663fc90cc5f69301af506f7b8f36794595966",
+      "own": "5fbc8f7494f1c9ed39e267d40736f88fd7a5998fb9e2252b370b10cdc856ee87"
+    },
+    "cpp.cpp.swBodyOf": {
+      "merkle": "55153776a39d8dfd294be01e436482eb7b543821147df504c55ff7ede6a19ee1",
+      "own": "eb67e9e892f8605604a818111cfadec67aacfe4699c16dc9a72279cedfc90985"
+    },
+    "cpp.cpp.swDen": {
+      "merkle": "e50dca51369b58d13b7f03af67d6ece0f6d20633627d1dbe571a8786fde547da",
+      "own": "a38a307cd66316d77f3d59c9a763a35934dac8817fad7b82affa9e0f4e8be6b3"
+    },
+    "cpp.cpp.swDenMono": {
+      "merkle": "ae827e7ce3bf863ba08449a19b41e157952d6059e0e8dcaee1d71a5d941153be",
+      "own": "567b99f43645ea4f5fe8db5db34b1e74fe313a05d0d0e54cd7933d67f3291552"
+    },
+    "cpp.cpp.swFind": {
+      "merkle": "433e73ea33dfe34082d0b356bfbbf209e13d74f91db979fbcb6cb27250f09faf",
+      "own": "bd74c4ebe62a7844aaf3484298b0083c7620959e1fc02e35c8fb08cc520d4646"
+    },
+    "cpp.cpp.swGo": {
+      "merkle": "776d1e8a2bc207b575c1e49296faf72166141ea77474cf577d9d8e89140fe1d6",
+      "own": "ee3499edb85e527599e6d599752ce92d6f156db7fc86902792307a3c3a74b667"
+    },
+    "cpp.cpp.swGoMono": {
+      "merkle": "962ee39a422a1e0f599e105a44249c6d52e3675818a96b8ee4a71fb5e8784a8e",
+      "own": "8c190a7619ea4448570dc6a6a79a6ff552c1c65743ba849d83833cdc2c2c9889"
+    },
+    "cpp.cpp.swIsCase": {
+      "merkle": "fd63b1398d7ea9fa25166d598efe62090e503b7ea170e3ab984345409786e745",
+      "own": "c76ce34f02ee16414dc8f0caba4d57296cb1b74b88534fe758c9072a795d2f70"
+    },
+    "cpp.cpp.swIsDefault": {
+      "merkle": "9a13164f66bd94226393585f88c81c197336fb5d6857937a4665f3e10a23a0d2",
+      "own": "5a6fd5a142b84cdcdc20cb22d817388f15fdf233f7cd6750dd828856a8a23110"
+    },
+    "cpp.cpp.swLabelOf": {
+      "merkle": "c2debef3541849754746ecefcce7e1afc7a06a7bc139a06463990ef6e62c7930",
+      "own": "eb618c8fafdf3267b7e3fcd559bd61001ff23865a5d38f36f4eaa3472e72cbb5"
+    },
+    "cpp.cpp.swNth": {
+      "merkle": "40c30e00c95fcdcc8da4a5281d81c2e2de4c08529c629e4a178289d44c24aaea",
+      "own": "900c94554c7ea810a70e165938842bcf6d13385d90dd697bf6b049d7daa52a1e"
+    },
+    "cpp.cpp.swRestAgree": {
+      "merkle": "623126b5b787cd7460dc3a42d8546f954fa40c1db0260b497cbda4ac2194b5ae",
+      "own": "7769d3a8497baf8aec597a9f519e573208f12c9173bffdcf74aa5507c4bc33d4"
+    },
+    "cpp.cpp.swRestStep": {
+      "merkle": "a203f0e80a4acffbe84b8446d97d6872e23726e64c6ff7d05a8a8bc97aea4f27",
+      "own": "04fba63a556137f904d7c8862d7463742cd2763cfc2229b867e4934e959ddb15"
+    },
+    "cpp.cpp.swStart": {
+      "merkle": "4355a88c5d494b2abccc436c816d64016b6698de04731211778c530f0fbeba17",
+      "own": "20c41a876b5833631376347117961b8c1d3a52c04f43d1ec598379e263075915"
+    },
+    "cpp.cpp.swStep": {
+      "merkle": "1ec2bc0d96f4e1e9403e46f58f202481f491776a46a2e29f613fcfc321edf9d2",
+      "own": "cecba7a717382fe6fe07d75e0a05bab4040c2698b997b173b93a960e2bb5c98f"
+    },
+    "cpp.cpp.swStepAgree": {
+      "merkle": "cdf42ae512eb1f7fe42c769b28d791c7c77a7fc1fd012b4645817ac4333b9b89",
+      "own": "22948927a2ef9a93962c443fc593d6db5e82b92d85f3785908827cf5e196f014"
+    },
     "cpp.cpp.swapAt": {
       "merkle": "ba0e4243916e5665b498f886e977323efb893834ed04037b2b684f665ecda9fb",
       "own": "b702124b5d853a6a30ec32f4fa00546b3fd3b8341c18751fd4f16f809c3beedb"
     },
+    "cpp.cpp.switchI": {
+      "merkle": "340ed12f232da7f3d43025ba5b9f8bd6d9d5bfa8214f41f353e2b07934542d91",
+      "own": "dd4e0970c52898ef7696eaedf6bf72629a38be6e58f35f38896a61bbe8402290"
+    },
+    "cpp.cpp.switchS": {
+      "merkle": "017b90bd2f65e51963227ef1e28e6f7c341321afe97f3026414dd3b790fc2c5a",
+      "own": "46ebb45df876e8c11388d444e840f5a3496c8bfd305e3d6b54aa9e38daacd1eb"
+    },
     "cpp.cpp.tBool": {
       "merkle": "0d39a926e94c3aadb56a184f2c3b80a5d2f668acc23df79402d0c070121e41ad",
       "own": "fa9896e6538210ce3a5b464ca11d3b6c4201b7f2f985a77807ff6014d15ee303"
@@ -2475,7 +2667,7 @@
       "own": "b4916da3bf7a2db23e1e087f06f69588a0ba387ca964fc854ef26b4e2a043b96"
     },
     "cpp.cpp.traceFuel": {
-      "merkle": "3b1b84a98a9831b2d453d6369d3db4e27367319091ecdaf487c520cbca21bcb2",
+      "merkle": "80cec9044dea1f6b69e5dc564c277c2d46e62a6805a2573aea3eafff3a88f5c0",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
     "cpp.cpp.trimFrac": {
@@ -2535,15 +2727,15 @@
       "own": "b5fa80742fa822006f7a7b694142f018836343bd62d9e97e0215e45c836bbc3c"
     },
     "cpp.cpp.whileStepAgree": {
-      "merkle": "0f6245b30353343f897fdd94625a2ddea45c48c175afef0d05e72c1baf171374",
+      "merkle": "83e49923fb33008c2e4e1d745c2783dbcc2fd100bb13d23839a5aaa898d77f2b",
       "own": "713641e04824fe626f89f95c62328bcfce258278773d9ae8417ad70d0904a2d9"
     },
     "cpp.cpp.whileStepAt": {
-      "merkle": "35bc38428073971d8b8071072360a125df6b996a4de1fa4a0f9f6ac09c7db6d0",
+      "merkle": "bdcf167f64549a0946259561f817be1a0c8b8f7d75e9646343a88303f35b32f8",
       "own": "a2ab00bde4ab8a40a1c26ccbe201ea771c3a04bebf205095fb323a8c23aaae5e"
     },
     "cpp.cpp.whileStepUnfold": {
-      "merkle": "fe7389bb7ec82c2767c34d4f66c0e27c64a478296027a3c11a28a7d9814e095d",
+      "merkle": "23a41a61ee0eafe0301960f1fc834ead78417340871d9495b32c7682926d31d9",
       "own": "fb2d58f39b2edc720f3434c48819e9e25559df85de1caf4ffd8f201ad8992968"
     },
     "cpp.cpp.whileUnfold": {
@@ -2567,11 +2759,11 @@
       "own": "b11220516cad59033276d15621c22828bd7967cca5a9fcd742bf1fe329efb6ce"
     },
     "cpp.cpp.withBConf": {
-      "merkle": "57d17a1882f4523e0d8b37418321a51613ab6820471cfb7cef3e4020469ee678",
+      "merkle": "73ecc09b0ce2e4b896b622fb9fe05d0ee832c6b1a8ba0e4e129fedbfc07f46ee",
       "own": "60b99ad2ce31dd2cfe8239e47686beec5f5c9297c0c73b5d02ce08b7eecd7200"
     },
     "cpp.cpp.withBFinish": {
-      "merkle": "5d4de46bf0ae3ff9a8a6b21a7dac2e2ef35927d246dc335ff80f0050541923fb",
+      "merkle": "ff8eb8528596e22e3e1365fe5c40f879f8d8389b7140cc47c6c0ba8c90e4890c",
       "own": "c1d541326288ec91f1972963f075ff969e673e469ab9bde7eea9a7a227308788"
     },
     "cpp.cpp.withPoint": {
@@ -2626,7 +2818,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 6165685,
+      "bytes": 6651884,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,13 +1,14 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610071953",
+  "version": "0.1.202610072338",
   "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",
     "index.json",
     "README.md",
     "LICENSE",
-    "NOTICE"
+    "NOTICE",
+    "CHANGES.md"
   ],
   "keywords": [
     "cella",
@@ -26,6 +27,7 @@
     "cbfVersion": 18,
     "modules": [
       "cpp"
-    ]
+    ],
+    "packHash": "e31457f8c37ad275"
   }
 }