@cella-lang/c 0.1.202611050546 → 0.1.202611051530

package/CHANGES.md

@@ -4,6 +4,10 @@
 
 ## 未發佈
 
+- 執行期的問題帶出問題的值（見 `@cella-lang/cfamily`；**reason 文字不變**）：`ubBounds`、`ubPastEnd` 的 `index`、`size`（例：`int a[3];
+  a[5]` 是 `{"index":"5","size":"3"}`）、`ubOverflow` 的 `type`、`op`、`left`、`right`（`INT_MAX + 1` 是
+  `{"type":"int","op":"+","left":"2147483647","right":"1"}`）、`ubDivZero` 的 `op`、`fuel` 的 `steps`。
+
 - 重複宣告：同一個區塊宣告兩次的檢查搬到 `@cella-lang/cfamily` 的核心（`cfamily.scopes`），多涵蓋 switch 的兩個 clause 宣告同名變數
   （之前判 accept）；reason 改成 `redefinition of 'x'`（kind、params 不變）。C 的 for 本體再宣告 init 的變數照舊 accept（C11 6.8.5p5）。
 - typedef：同一型別再定義一次（`typedef int T; typedef int T;`，C11 6.7p3）**之前判 reject（`entity`）、現在判 accept**；不同型別從

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 30,
-  "checkerHash": "984c14db06c3a8d2",
+  "checkerHash": "0da4051b1bdbb166",
   "defs": {
     "__RecordTag_c.Declared": {
       "merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
@@ -11,7 +11,7 @@
       "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
     },
     "c.C.checking": {
-      "merkle": "fe102086bb01a9faf72b1d6a07b09abb0d5b4d5c104061cb599ae5c0059e6762",
+      "merkle": "7850309bb9672fb1d871c18e0095b9f5b2729c31bdcb8202257920de7219854a",
       "own": "e0a5043f69d3d0fcf50d98cbecbda7baf12118d8709d6d669ea31f163c2025db"
     },
     "c.C.constructs": {
@@ -23,7 +23,7 @@
       "own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
     },
     "c.C.dialect": {
-      "merkle": "a9e1b2bdf5e01739f03ab02b91cfb4781d488676031b31dfe338250a1935b3d7",
+      "merkle": "7e85ea084c6e9aacd89a61198a4e239ccddc5062a760e7958b9a999920f05bd9",
       "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
     },
     "c.C.effects": {
@@ -47,15 +47,15 @@
       "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
     },
     "c.C.programDialect": {
-      "merkle": "8935ab94e2ce18a315048f4c2844a30ad56360ba2593d18b0ad688918f60a0b5",
+      "merkle": "9dff4fe1460d89b15f014bd783a47140c5686fa2183643e27099ee4ccab17873",
       "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
     },
     "c.C.programExtension": {
-      "merkle": "af58ac1d0b704debad055dc7b3cb585ccf9c1d13fd0d79bbbd645b56598ca1c8",
+      "merkle": "74ebc83a2500261e6e51756d55b3f431bdb0e298f2817fbc5f5debcd0a099c7b",
       "own": "ac0c5e5b7af0a4d2f8a9c66de16460a8c38ece6210c7a9504ca8a5cd0e599aec"
     },
     "c.C.query": {
-      "merkle": "b86803fbf89514f820c09deeea4cafd38652a58e5e7eb82e37ad604be045c470",
+      "merkle": "2ba450ab1dc6f694b2b5345828d3daf74efda7219f0c2a68e93e886252345e8e",
       "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
     },
     "c.C.queryError": {
@@ -75,7 +75,7 @@
       "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
     },
     "c.C.verdictOf": {
-      "merkle": "36ff3810ac03215ef90bb44bf52fdfc0240dd22c9adba23c5c6666ab009adc67",
+      "merkle": "fd2f3c21b10638cc8af011336553fbe012939d7969f8a2462b4120e9c7d9b63e",
       "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
     },
     "c.Declarations.atFileScope": {
@@ -283,11 +283,11 @@
       "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
     },
     "c.Session": {
-      "merkle": "a4927253b8ad95b4b74904f5cb36628c877e644db6dfa2148e534425f6069ddd",
+      "merkle": "8ae7e05bff9c160f7bd37746bbe910416d1c406f4a78f75fec20f8b6eb22a081",
       "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
     },
     "c.Stopping": {
-      "merkle": "4d25a79f9e19cb190678bc47b77d9b1250e76753f09678b87c15e6d67cf71932",
+      "merkle": "f249d7e850bc05b699e93f06e868730e6227b4c7dff881aeb60f96ce69aa9138",
       "own": "bc39e326f40233d48b18e0306abb73a2b77bc1cb4eb4bac5a70ca5c1b24e146d"
     },
     "c.TypeSyntax.anyQualifiesFunction": {
@@ -307,87 +307,87 @@
       "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
     },
     "c.divergences": {
-      "merkle": "551518d42f44790155bce85eb60c27c9e90b41b408f7aec097d0275ddaeb761c",
+      "merkle": "5be16d61a4b8920dce170dd3bea3596effdd4b2231e8c00d791c1d237a0bf355",
       "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
     },
     "c.env": {
-      "merkle": "a313d943921396eda44b8abba50c0a04844ce425cda1ada27c2de7acf6a07c72",
+      "merkle": "f3552ac860efddf4c474d7a73ace976f76173b8225db28f791c2afb6209fb5ad",
       "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
     },
     "c.feed": {
-      "merkle": "98718d4a637bc9b71015d1d969a5d2d781e6a26bd55b6e74b7692f2ecc32b797",
+      "merkle": "8891dc5e65b5b15b925d5b6ce6ab0710a2f281d171c9e95f7f3f148d4bd01c8e",
       "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
     },
     "c.frames": {
-      "merkle": "9747a8e8fb8da0ab0fe4231aae61241988e5e199af2c06212e865e92eb1905bc",
+      "merkle": "06f4d26813f2e7f9291ca057d57cd24780f83cef46702c78fe5590a316deedab",
       "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
     },
     "c.globals": {
-      "merkle": "4da058c8f6776271544f319d375342236d573b388263eb1eae0b3ed506b0eac4",
+      "merkle": "752b7905d649fb4375fe808a808405b186d4af4824e5ebad95a8a74372b44770",
       "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
     },
     "c.load": {
-      "merkle": "d9d92d60ee66e6c6101c5d69e3f421df18154fba371980def2d324fd2e329199",
+      "merkle": "09ce6cbde88a6fa8c1eca1ba84322dc3dda9fcf2ca666874b83c9bf34eed9223",
       "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
     },
     "c.report": {
-      "merkle": "15c8f8a9a039c1b8ff07a1ef6860d88d7502a2067b727bc89b4642caf6030e15",
+      "merkle": "d7e4f56b0e62c33e0085475348c126a6b2dd772899f5ba767c8eb62801ba1872",
       "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
     },
     "c.run": {
-      "merkle": "c9457ac98b0e9c10a482b65a1b5db0fcc1b484f61f38cb1fa81fa925021fa638",
+      "merkle": "6f5512b574ef3b222844502faf63bf66c8ac675c8e3549d36e578232850cbe8a",
       "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
     },
     "c.setVarConf": {
-      "merkle": "c3d8aa0ebd6f3267b767d97ae9a88e06cdd0920b317f371992d5ed91d702b0ef",
+      "merkle": "42520c8a0996c8b769fb2fadc26ae577b7f4970b37fd7c26bbeff854dc3675cc",
       "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
     },
     "c.setVarErr": {
-      "merkle": "4bf2768f6441ed7431fc1a8cfb30e4102ddf42add03ca3aa623bf6468a01598a",
+      "merkle": "7f5e165316ff14b426f2b760237671c02ccae09a1a405baa568395888a385575",
       "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
     },
     "c.stopConf": {
-      "merkle": "8abd564aaa49041aa9b3390c1f0264b29d7e895bc9e2a96aacfd2cbf6ded75b5",
+      "merkle": "ff8ca4b0f2966e6f700f8e40a7cbd68759291c288341b8e12e40ce67374fe084",
       "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
     },
     "c.stopDetail": {
-      "merkle": "acd694fd76d1cef8b654ddc209c281ce0d6479679c3827c13d7e7ac0386d0c3c",
+      "merkle": "dd934c349b800f92f480c255e2b9363cf389fc5960c3ca0443c9a46084edeabc",
       "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
     },
     "c.stopErr": {
-      "merkle": "3703bd388fd8534fdf39eb0fd5697f359b9d7251cc47fa3864d85396f6fc12f8",
+      "merkle": "00953cbbf57a92e4058053ec43402285f3295609e9fbd9a541fba5b68748bfcd",
       "own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
     },
     "c.stopKind": {
-      "merkle": "0372c6dad979bd7720fb3beb23a05878a5f4349d6361e9a82d85c7db32d44915",
+      "merkle": "a2934ed81aef4ce59a766430110f06a440bbb4a5796b5c664257920d64a5aff3",
       "own": "74774d2c94e831fb648e3b23d406d988bf95e868d319b0efd6a14def61c23389"
     },
     "c.stopNode": {
-      "merkle": "a1f42ddfc80a9d2b344858e698021d2672358bf6159bd638a1fdb7260d803f7e",
+      "merkle": "b4c20f9dbb920d17a29639a16ad2fe047803ef11d6fed79e5605675602ea6fe5",
       "own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
     },
     "c.stopOut": {
-      "merkle": "5e2a9e6eec1e6174f730c4decfe5432d22574c7a1804f754650508d5a1e6e697",
+      "merkle": "26033c2ae6faff15d1dd078d32f45bb5b36f5b192c1efdbd3d071b511c9b45a3",
       "own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
     },
     "c.stopVisits": {
-      "merkle": "0af9a060b6403a607e85254c2e0c39cb28a66ae64a75d127b00b1eadd5330943",
+      "merkle": "527778ea1827dcda4440f8caef24b935c5cb58fa1cd1a3e5b74b4e6f9e4df492",
       "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
     },
     "c.types": {
-      "merkle": "8ee71a68b0c40786ff4b79869e0ad5ce0690cabbce3830baa81ab48fab9e6db0",
+      "merkle": "5ea9e91060c012623700597a0e2def6d8aea150e4bb0b6685fe402f8201ce46a",
       "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
     },
     "c.verdict": {
-      "merkle": "865d718d8d45d31a2fa7fd4b158f4f2925e759df188c011b02c4ea02d76cda1b",
+      "merkle": "c07c0f584b0b3d309f264594de6fc76d709c5e8c256258ac15468300da39b292",
       "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
     }
   },
   "format": 1,
-  "inputs": "1d569e52480661f49174819b8cce5c1fda305e7bb0623f3ae6058a501b724c98",
+  "inputs": "b97259e156b5d44dd56b42914e1be64750ccda3f86c774cc0fc6128bac3544cf",
   "modules": {
     "c": {
-      "bytes": 503578,
+      "bytes": 504484,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -396,7 +396,7 @@
       ]
     },
     "c.declarations": {
-      "bytes": 232652,
+      "bytes": 232959,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -404,7 +404,7 @@
       ]
     },
     "c.naming": {
-      "bytes": 263895,
+      "bytes": 264178,
       "deps": [
         "c.reserved",
         "c.naming"
@@ -419,7 +419,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "984c14db06c3a8d2",
+      "checkerHash": "0da4051b1bdbb166",
       "modules": [
         "int",
         "json",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202611050546",
+  "version": "0.1.202611051530",
   "description": "C11 for Cella Lang, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
   "files": [
     "c.cell",
@@ -32,16 +32,16 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202611050244",
-    "@cella-lang/cfamily": "0.1.202611050545",
-    "@cella-lang/machine": "0.1.202611050545"
+    "cella-lang": "0.1.202611051529",
+    "@cella-lang/cfamily": "0.1.202611051529",
+    "@cella-lang/machine": "0.1.202611051529"
   },
   "cella": {
-    "checkerHash": "984c14db06c3a8d2",
+    "checkerHash": "0da4051b1bdbb166",
     "cbfVersion": 30,
     "modules": [
       "c"
     ],
-    "packHash": "6e02c45a1edee240"
+    "packHash": "5dc841c891177f84"
   }
 }