Add host-structured imports

2026-08-11 18:33:49 +09:00
parent 46b2b3b1b6
commit 165daada23
12 changed files with 402 additions and 46 deletions
@@ -104,7 +104,7 @@ Concrete(Int(8000))
 ## Runtime scope

 Decodal runtime は application runtime ではなく、pure value evaluator である。
-同じ source、同じ import sources、同じ host globals が与えられた場合、評価結果は決定的である。
+同じ source、同じ import results、同じ host globals が与えられた場合、評価結果は決定的である。

 runtime が扱う責務は以下に限る。

@@ -114,7 +114,7 @@ runtime が扱う責務は以下に限る。
 - materialize 時に constraint を検証する。

 runtime は filesystem、network、environment variable、time、random、mutation を扱わない。
-core における import は host supplied source を受け取る境界であり、filesystem access ではない。
+core における import は host supplied source または structured value を受け取る境界であり、filesystem access ではない。

 ## Constraint