@cella-lang/python 0.1.202611021534 → 0.1.202611022105

package/CHANGES.md

@@ -2,6 +2,12 @@
 
 ## 未發佈
 
+- 判決的每個問題多一個 `class`（放在 `kind` 之後），種類與 C 家族相同：`unsupported`、`indeterminate`（步數用完、等輸入）、
+  `termination`（未接住的例外）、`incomplete`（程式有洞）、`invalid`（程式的 JSON 不合法）。
+### ⚠️ 不相容
+
+- 判決的 `assumes` 每一項改成物件 `{"implementation": "CPython", "choice": "object.address"}`，和 C 家族同一個形狀（之前是字串 `"object.address"`）。
+
 - `input(prompt)` 先把提示寫到輸出、再讀一行，兩個分開的步驟（CPython 的順序）：除錯的工作階段停在等輸入時，提示已經在輸出裡；之前停下時輸出是空的。
 - 第一版：照 CPython 3.14 語意的 Python 模型。程式以語法樹（CPython `ast` 的子集，JSON）給；入口 `python.verdict`、`python.types` 與
   除錯器 `python.session`（停點同 CPython 追蹤器的 line 事件）。判決與 C 家族同一個形狀，`assumes` 列出依賴的實作選擇

package/README.md

@@ -13,7 +13,10 @@ Depends on `@cella-lang/machine`.
   `{verdict, basis, exit, out, problems, assumes}` (the same shape as the C family's verdicts). An uncaught exception
   is defined behavior (`accept`, exit 1, the exception as a problem). Running out of steps, a construct the model does
   not take (`unsupported`, naming it) and an empty slot of the editor (`hole`, at its label) are `unknown`, never a
-  guess. `assumes` lists the implementation's choices the run relied on: `random.seed` (an unseeded `random` starts as
+  guess. Each problem has a `class` as the C family's do (`termination` for an uncaught exception, `unsupported`,
+  `incomplete` for an empty slot, `indeterminate` for the step limit or waiting for input, `invalid` for JSON that is
+  not a program). `assumes` (always there) lists the implementation's choices the run relied on, each
+  `{"implementation": "CPython", "choice": …}`: `random.seed` (an unseeded `random` starts as
   `seed(0)`), `str.hash` (a set ordered by str hashes, as under `PYTHONHASHSEED=0`) and `object.address` (an object's
   address shown as text, or a set ordered by objects' hashes: the model places the object at heap position `a` at
   `0x1000 + 16a`, not where CPython's memory would). A verdict proved by the kernels:

package/index.json

@@ -2546,6 +2546,10 @@
       "merkle": "73f764aa3163de3450ed238ba655e6229b09de719837a5ee9b0db91cc0f116ef",
       "own": "2521657cbf69064de1927d074939e2f21c977392dc4b5a6d10707b50598d322e"
     },
+    "python.Lowering.choice": {
+      "merkle": "4796ef1e5241e271dd117dacf5444ef49f25c36a5e0b17a75f5f6e8c7d493990",
+      "own": "ffa8cb76b279ba05ae3aa60db1009fd31a88e1448e017327367c0187502de7c9"
+    },
     "python.Lowering.classDefinition": {
       "merkle": "99185ce3df36f77c39c664790b631ee4e4ff32ca097a290e3630b78aba870fd6",
       "own": "2b6ca6f54b275a9ab41b0ec71a883cc883302fa08ee85b4e6893b07ed6d9845e"
@@ -2991,8 +2995,8 @@
       "own": "518da0b8b1cda8371454abc65a481fe9b6d20bbaf5eb3ddea18c792abb3d2523"
     },
     "python.Lowering.outcome": {
-      "merkle": "27be6a00c68573b5043142156e1af961481a2fa5df18e10cfb0b3cff85505e5c",
-      "own": "d067ab3c49f706a98eb6a158bd538a618c6389a8ba1fce03dac41661b9c1e7b6"
+      "merkle": "c3b979316b081c4e1a1b329a229e4892eb098db2d8e58deb21f92c63201e0e7d",
+      "own": "30dacf9129248b947049114ed7f07fbf0842b54df94daa4f4c7b9ef2ebc4596c"
     },
     "python.Lowering.ownName": {
       "merkle": "7307e92ca488e8c377403b7475e743e086707855b992b12038401530cc2b9bfe",
@@ -3023,8 +3027,8 @@
       "own": "42d575475e07b0354988ab352e960d650e7ab4aa084d98211fdea600554cf335"
     },
     "python.Lowering.problem": {
-      "merkle": "84b0bd3b02df7bc64394e6be2320850e5aa12620f0cf0f78593a03d7d34d966d",
-      "own": "139826b9a1a55dfb5532922b17708bf8593c59bd74f2ed77f87388e7c2cd2288"
+      "merkle": "d0969a9b90b2e76ca1181066148f5b8c4ab9c72d4d054a6bf11c187107cd3c16",
+      "own": "8e612ab4067cdd64f476308352271685c4e1659357e9e92e4466bc1812478f84"
     },
     "python.Lowering.program": {
       "merkle": "2f95ae3f625f7c1d1259f01fba3a5a5f58357d4adb929e38ff271d2f46815364",
@@ -3059,8 +3063,8 @@
       "own": "51fc07b5720734bfb7d4373a2c3f186228e99a0b1e18febf296addae707ac446"
     },
     "python.Lowering.rendered": {
-      "merkle": "4799a40a9a5396c8e15faefb2082c8926706205dc48f8d0d5644211349d474f2",
-      "own": "ee0dd0bed40463f7b6c0bf8e7ea2a4983d975551f41c6cd112c308269b563765"
+      "merkle": "7651d68f17dc6b476f0ed33b21552c830e2c9fb85f2140a8bee95e2e866ac297",
+      "own": "84ee9234fd3c3807497f506c3f57c6e631e758af01d079a746f41435d059f188"
     },
     "python.Lowering.reported": {
       "merkle": "4411e94263a0f11644d9f0ff557fa6bb269eca9280fafd7bc80333ec9252ae3a",
@@ -3175,8 +3179,8 @@
       "own": "3e43872d9ebabdebd7243bd5e0907674ae301f64c7ede549622888a760d44d7a"
     },
     "python.Lowering.thrown": {
-      "merkle": "8aa0e1b0ebd4c2759f317cff69ab0d05d67e7b8a6227eb3a4eb96e3f0f6b2597",
-      "own": "6b4f03ea3c3c37a757c724843567e042a7501ee9a8d42259f7f9d0bf82854b3b"
+      "merkle": "d94078e141bb9ecaf16119a28a8483424beca1f491b3536dfa222f2cb9011894",
+      "own": "68d3ee3f576d8c5242ca4940816e43ed5708caf9fe6ab6604857073b9e0ed626"
     },
     "python.Lowering.tracebackReaders": {
       "merkle": "135dea4b4e1e8f543dfb649ba2ae3607461991c0d614446f3d87fd1f2adec84c",
@@ -3211,16 +3215,16 @@
       "own": "e628324d9edded78d429fa88666bad843a0ef3b4e9660a9a80ec492869195f98"
     },
     "python.Lowering.untaken": {
-      "merkle": "5c5e84acaf84269936c6b061e9d829da5a317383decabf6930f38b344b28ebd6",
-      "own": "e3a0ecf66c6e30b30bb0d5b362c3e6ba95b875be77b9f479a79075d206c7c870"
+      "merkle": "2601d8af2950d122e6352b0d3bba974db097037e166bc257b6199933d05c0261",
+      "own": "1b3843ae0dab61a0e4f6e37f82f1da38449e14dda439b7ad8d030a5199a0525f"
     },
     "python.Lowering.updated": {
       "merkle": "496a180765d23987a07ada2c13824d478c347d0bf7db25657ad9d2b39377f856",
       "own": "b43bc458cbbbe58a0d1e6be12e447fbf50bfbefdfb1c3048f5d51d30815b3a74"
     },
     "python.Lowering.verdict": {
-      "merkle": "8767443779168322c8470fe89879a00fe39657964dda039055488b81852ae1a9",
-      "own": "299a8f2ec45554f9a2452f710e1b1289e8838ee40bc510577c5c618920844aa1"
+      "merkle": "42da20c96dd79af7da5d007aea63363d565206d4ad3b7555fa229e5652234d63",
+      "own": "f1efa8c88de49af61504571f925b4154d2483cf540a41ae0d62479d52640b2ba"
     },
     "python.Lowering.whileStatement": {
       "merkle": "c55adc571554abb9f560387d3e0c7835816c066fbb0d4b405482e8e39c98c819",
@@ -7539,15 +7543,15 @@
       "own": "1abeee3bceaeffc4b83c8e0178368e0d4dd4dd1199129212d28931bac01e7b83"
     },
     "python.verdict": {
-      "merkle": "4af4c31ea622acf197567f7103fcf7d38b8c021d4a7a103a043b8c9e5a21aad5",
+      "merkle": "90c35d5563e5e627f2923e17e13f40fac63dd7e8930734c68cbc63f17593312d",
       "own": "babf4ff64e288aec2c7e1c825da9248327b934ae160ca8a8deb061c86c02edff"
     }
   },
   "format": 1,
-  "inputs": "4388eabe91e7cc9f6c19ca205f3a6fae5af31bbd7e4002c537ee116845897398",
+  "inputs": "27ad328362b833897569a24d051644aff63285723903c4365a7ed2ce6f4a5063",
   "modules": {
     "python": {
-      "bytes": 366388,
+      "bytes": 366492,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7627,7 +7631,7 @@
       ]
     },
     "python.debugging": {
-      "bytes": 410089,
+      "bytes": 410214,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7785,7 +7789,7 @@
       ]
     },
     "python.lowering": {
-      "bytes": 481880,
+      "bytes": 482371,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7881,7 +7885,7 @@
       ]
     },
     "python.querying": {
-      "bytes": 421538,
+      "bytes": 421661,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7929,7 +7933,7 @@
       ]
     },
     "python.session": {
-      "bytes": 406098,
+      "bytes": 406219,
       "deps": [
         "python.syntax",
         "python.values",
@@ -8030,7 +8034,7 @@
       ]
     },
     "python.variables": {
-      "bytes": 405014,
+      "bytes": 405139,
       "deps": [
         "python.syntax",
         "python.values",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/python",
-  "version": "0.1.202611021534",
+  "version": "0.1.202611022105",
   "description": "A Python model for Cella Lang: dynamically typed values (arbitrary-precision int, IEEE 754 float, str, tuple, list, dict, set on a heap), operations and printing that match CPython exactly, exceptions, and statements on @cella-lang/machine's small-step machine and debugger — compiled module pack.",
   "files": [
     "python.builtins.cell",
@@ -49,8 +49,8 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202611021533",
-    "@cella-lang/machine": "0.1.202611021533"
+    "cella-lang": "0.1.202611021901",
+    "@cella-lang/machine": "0.1.202611022104"
   },
   "cella": {
     "checkerHash": "eac27d7a51e5e48b",
@@ -58,6 +58,6 @@
     "modules": [
       "python"
     ],
-    "packHash": "e4f3d5212b80ed65"
+    "packHash": "2d67cde1505a6534"
   }
 }