coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Freeze/Thaw page under CEK Machine with live demo
Some checks failed
Build and Deploy / build-and-deploy (push) Has been cancelled
Details

Browse Source 
Documents and demonstrates serializable CEK state. Type an expression,
step to any point, click Freeze to see the frozen SX. Click Thaw to
resume from the frozen state and get the result.

- New page at /sx/(geography.(cek.freeze))
- Nav entry under CEK Machine
- Interactive island demo with step/run/freeze/thaw buttons
- Documentation: the idea, freeze format, thaw/resume, what it enables

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
giles
2026-03-14 22:14:33 +00:00
parent b03c84b962
commit 2682be4fe5
8 changed files with 203 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
shared/sx/ref/cek.sx
View File

@@ -1074,9 +1074,9 @@
(nil? val) nil
(number? val) val
(string? val) val
(= (type-of val) "boolean") val
(= (type-of val) "symbol") val
(= (type-of val) "keyword") val
(boolean? val) val
(symbol? val) val
(keyword? val) val
(list? val) (map cek-serialize-value val)
(lambda? val) (list (make-symbol "lambda")
(lambda-params val)
@@ -1137,17 +1137,17 @@
(nil? val) nil
(number? val) val
(string? val) val
(= (type-of val) "boolean") val
(= (type-of val) "symbol") val
(= (type-of val) "keyword") val
(boolean? val) val
(symbol? val) val
(keyword? val) val
;; (primitive "name") → look up native function
(and (list? val) (not (empty? val))
(= (type-of (first val)) "symbol")
(symbol? (first val))
(= (symbol-name (first val)) "primitive"))
(get-primitive (nth val 1))
;; (lambda (params) body) → reconstruct Lambda
(and (list? val) (not (empty? val))
(= (type-of (first val)) "symbol")
(symbol? (first val))
(= (symbol-name (first val)) "lambda"))
(make-lambda (nth val 1) (nth val 2) (dict))
(list? val) (map cek-thaw-value val)

10
shared/sx/ref/platform_js.py
View File

@@ -951,6 +951,8 @@ PRIMITIVES_JS_MODULES: dict[str, str] = {
PRIMITIVES["even?"] = function(n) { return n % 2 === 0; };
PRIMITIVES["zero?"] = function(n) { return n === 0; };
PRIMITIVES["boolean?"] = function(x) { return x === true || x === false; };
PRIMITIVES["symbol?"] = function(x) { return x != null && x._sym === true; };
PRIMITIVES["keyword?"] = function(x) { return x != null && x._kw === true; };
PRIMITIVES["component-affinity"] = componentAffinity;
''',
@@ -1352,8 +1354,14 @@ PLATFORM_JS_POST = '''
}
function mapDict(fn, d) { var r = {}; for (var k in d) r[k] = fn(k, d[k]); return r; }
// Predicate aliases used by transpiled code
// Predicate aliases used by transpiled code (js-mangle: foo? → foo_p)
var number_p = PRIMITIVES["number?"];
var string_p = PRIMITIVES["string?"];
var boolean_p = PRIMITIVES["boolean?"];
var isDict = PRIMITIVES["dict?"];
var list_p = PRIMITIVES["list?"];
var keyword_p = PRIMITIVES["keyword?"];
var symbol_p = PRIMITIVES["symbol?"];
// List primitives used directly by transpiled code
var len = PRIMITIVES["len"];

9
shared/sx/ref/platform_py.py
View File

@@ -721,6 +721,9 @@ PRIMITIVES["number?"] = lambda x: isinstance(x, (int, float)) and not isinstance
PRIMITIVES["string?"] = lambda x: isinstance(x, str)
PRIMITIVES["list?"] = lambda x: isinstance(x, _b_list)
PRIMITIVES["dict?"] = lambda x: isinstance(x, _b_dict)
PRIMITIVES["boolean?"] = lambda x: isinstance(x, bool)
PRIMITIVES["symbol?"] = lambda x: isinstance(x, Symbol)
PRIMITIVES["keyword?"] = lambda x: isinstance(x, Keyword)
PRIMITIVES["continuation?"] = lambda x: isinstance(x, Continuation)
PRIMITIVES["empty?"] = lambda c: (
c is None or c is NIL or
@@ -1010,6 +1013,12 @@ parse_int = PRIMITIVES["parse-int"]
upper = PRIMITIVES["upper"]
has_key_p = PRIMITIVES["has-key?"]
dict_p = PRIMITIVES["dict?"]
boolean_p = PRIMITIVES["boolean?"]
symbol_p = PRIMITIVES["symbol?"]
keyword_p = PRIMITIVES["keyword?"]
number_p = PRIMITIVES["number?"]
string_p = PRIMITIVES["string?"]
list_p = PRIMITIVES["list?"]
dissoc = PRIMITIVES["dissoc"]
index_of = PRIMITIVES["index-of"]
lower = PRIMITIVES["lower"]

25
shared/sx/ref/sx_ref.py
View File

@@ -692,6 +692,9 @@ PRIMITIVES["number?"] = lambda x: isinstance(x, (int, float)) and not isinstance
PRIMITIVES["string?"] = lambda x: isinstance(x, str)
PRIMITIVES["list?"] = lambda x: isinstance(x, _b_list)
PRIMITIVES["dict?"] = lambda x: isinstance(x, _b_dict)
PRIMITIVES["boolean?"] = lambda x: isinstance(x, bool)
PRIMITIVES["symbol?"] = lambda x: isinstance(x, Symbol)
PRIMITIVES["keyword?"] = lambda x: isinstance(x, Keyword)
PRIMITIVES["continuation?"] = lambda x: isinstance(x, Continuation)
PRIMITIVES["empty?"] = lambda c: (
c is None or c is NIL or
@@ -930,6 +933,12 @@ parse_int = PRIMITIVES["parse-int"]
upper = PRIMITIVES["upper"]
has_key_p = PRIMITIVES["has-key?"]
dict_p = PRIMITIVES["dict?"]
boolean_p = PRIMITIVES["boolean?"]
symbol_p = PRIMITIVES["symbol?"]
keyword_p = PRIMITIVES["keyword?"]
number_p = PRIMITIVES["number?"]
string_p = PRIMITIVES["string?"]
list_p = PRIMITIVES["list?"]
dissoc = PRIMITIVES["dissoc"]
index_of = PRIMITIVES["index-of"]
lower = PRIMITIVES["lower"]
@@ -4607,11 +4616,11 @@ def cek_serialize_value(val):
return val
elif sx_truthy(string_p(val)):
return val
elif sx_truthy((type_of(val) == 'boolean')):
elif sx_truthy(boolean_p(val)):
return val
elif sx_truthy((type_of(val) == 'symbol')):
elif sx_truthy(symbol_p(val)):
return val
elif sx_truthy((type_of(val) == 'keyword')):
elif sx_truthy(keyword_p(val)):
return val
elif sx_truthy(list_p(val)):
return map(cek_serialize_value, val)
@@ -4653,15 +4662,15 @@ def cek_thaw_value(val):
return val
elif sx_truthy(string_p(val)):
return val
elif sx_truthy((type_of(val) == 'boolean')):
elif sx_truthy(boolean_p(val)):
return val
elif sx_truthy((type_of(val) == 'symbol')):
elif sx_truthy(symbol_p(val)):
return val
elif sx_truthy((type_of(val) == 'keyword')):
elif sx_truthy(keyword_p(val)):
return val
elif sx_truthy((list_p(val) if not sx_truthy(list_p(val)) else ((not sx_truthy(empty_p(val))) if not sx_truthy((not sx_truthy(empty_p(val)))) else ((type_of(first(val)) == 'symbol') if not sx_truthy((type_of(first(val)) == 'symbol')) else (symbol_name(first(val)) == 'primitive'))))):
elif sx_truthy((list_p(val) if not sx_truthy(list_p(val)) else ((not sx_truthy(empty_p(val))) if not sx_truthy((not sx_truthy(empty_p(val)))) else (symbol_p(first(val)) if not sx_truthy(symbol_p(first(val))) else (symbol_name(first(val)) == 'primitive'))))):
return get_primitive(nth(val, 1))
elif sx_truthy((list_p(val) if not sx_truthy(list_p(val)) else ((not sx_truthy(empty_p(val))) if not sx_truthy((not sx_truthy(empty_p(val)))) else ((type_of(first(val)) == 'symbol') if not sx_truthy((type_of(first(val)) == 'symbol')) else (symbol_name(first(val)) == 'lambda'))))):
elif sx_truthy((list_p(val) if not sx_truthy(list_p(val)) else ((not sx_truthy(empty_p(val))) if not sx_truthy((not sx_truthy(empty_p(val)))) else (symbol_p(first(val)) if not sx_truthy(symbol_p(first(val))) else (symbol_name(first(val)) == 'lambda'))))):
return make_lambda(nth(val, 1), nth(val, 2), {})
elif sx_truthy(list_p(val)):
return map(cek_thaw_value, val)