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

Replace \uXXXX escapes with actual UTF-8 characters in .sx files

Browse Source 
SX parser doesn't process \u escapes — they render as literal text.
Use actual UTF-8 characters (→, —, £, ⬡) directly in source.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
giles
2026-03-13 10:46:53 +00:00
parent 98036b2292
commit 28a6560963
5 changed files with 23 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sx/sx/plans/spec-explorer.sx
View File

@@ -70,7 +70,7 @@
(td :class "px-3 py-2"
(span :class "inline-block px-2 py-0.5 rounded text-xs font-bold bg-rose-500 text-white" "3"))
(td :class "px-3 py-2 font-semibold text-stone-700" "Bridge")
(td :class "px-3 py-2 text-stone-600" "Cross-references: which spec functions and platform primitives this function depends on. Platform deps marked with " (code "\u2B21") "."))
(td :class "px-3 py-2 text-stone-600" "Cross-references: which spec functions and platform primitives this function depends on. Platform deps marked with " (code "⬡") "."))
(tr :class "border-b border-stone-100"
(td :class "px-3 py-2"
(span :class "inline-block px-2 py-0.5 rounded text-xs font-bold bg-amber-500 text-white" "4"))
@@ -178,7 +178,7 @@
(span :class "inline-block px-2 py-0.5 rounded text-xs font-bold bg-sky-600 text-white uppercase" "Inc 2")
(span :class "font-semibold text-stone-800" "Bridge + Runtime (Ring 3-4)"))
(ul :class "list-disc pl-5 text-sm text-stone-600 space-y-1"
(li "Cross-reference index: function\u2192slug mapping across all spec files")
(li "Cross-reference index: function→slug mapping across all spec files")
(li "Platform dependency detection (ref not in index = platform primitive)")
(li "Test file parsing: " (code "defsuite") "/" (code "deftest") " structure extraction")
(li "Test-to-function matching")

2
sx/sx/plans/sx-web-platform.sx
View File

@@ -48,7 +48,7 @@
(tr :class "border-b border-stone-100"
(td :class "py-2 px-3 font-semibold" "Verify")
(td :class "py-2 px-3" "Environment images")
(td :class "py-2 px-3" "Spec CID \u2192 image CID \u2192 endpoint provenance"))))))
(td :class "py-2 px-3" "Spec CID → image CID → endpoint provenance"))))))
(~docs/section :title "Embedded Claude Code" :id "claude-code"
(p "Claude Code sessions run inside the browser as reactive islands. "

4
sx/sx/plans/theorem-prover.sx
View File

@@ -192,7 +192,7 @@
(p :class "text-stone-600"
"The deep result. The SX evaluator executes " (code "z3.sx") ", which reads SX spec files and emits formal logic. Then the SX evaluator executes " (code "prove.sx") ", which parses that logic and proves properties about it. The specification, the translator, and the prover are all written in the same language, operating on the same data structures.")
(p :class "text-stone-600"
"The pipeline: " (code "SX spec") " \u2192 " (code "SX translator") " \u2192 " (code "formal logic") " \u2192 " (code "SX prover") " \u2192 " (code "proof") ". At every step, SX is both the subject and the tool. The system is verifying its own foundations using its own machinery.")
"The pipeline: " (code "SX spec") " → " (code "SX translator") " → " (code "formal logic") " → " (code "SX prover") " → " (code "proof") ". At every step, SX is both the subject and the tool. The system is verifying its own foundations using its own machinery.")
(div :class "rounded border border-amber-200 bg-amber-50 p-4 mt-3"
(p :class "text-sm text-amber-800 font-semibold mb-2" "The strange loop")
(p :class "text-sm text-amber-700"
@@ -226,7 +226,7 @@
(tr :class "text-stone-700 border-t border-stone-200"
(td :class "py-2 pr-4 font-mono text-xs" "3")
(td :class "py-2 pr-4 font-mono text-xs" "properties")
(td :class "py-2 pr-4 font-mono text-xs" "prove.sx \u2192 z3-expr")
(td :class "py-2 pr-4 font-mono text-xs" "prove.sx → z3-expr")
(td :class "py-2" "SMT-LIB for Z3 (unbounded)"))
(tr :class "text-stone-400 border-t border-stone-200"
(td :class "py-2 pr-4 font-mono text-xs" "4")