From 6c6660fc296d04256bd85655bdace314c4ae4a3c Mon Sep 17 00:00:00 2001 From: Ronald Tse Date: Sun, 1 Nov 2026 19:12:13 +0800 Subject: [PATCH] =?UTF-8?q?docs:=20TODO.all-sys=20=E2=80=94=20PARG=20v2=20?= =?UTF-8?q?migration=20+=20Rust=20(ort=20inference)=20+=20Python=20runtime?= =?UTF-8?q?s?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TODO.all-sys/13-parg-v2-migration.md | 11 +++++++++++ TODO.all-sys/14-rust-runtime.md | 10 ++++++++++ TODO.all-sys/15-python-runtime.md | 7 +++++++ 3 files changed, 28 insertions(+) create mode 100644 TODO.all-sys/13-parg-v2-migration.md create mode 100644 TODO.all-sys/14-rust-runtime.md create mode 100644 TODO.all-sys/15-python-runtime.md diff --git a/TODO.all-sys/13-parg-v2-migration.md b/TODO.all-sys/13-parg-v2-migration.md new file mode 100644 index 0000000..9d8f352 --- /dev/null +++ b/TODO.all-sys/13-parg-v2-migration.md @@ -0,0 +1,11 @@ +# PARG v2 migration (per ~/src/parsanol/) + +Parsanol is the org's PEG parser family: parsanol-rs (Rust, packrat + +arena, bytecode backend, crates.io), parsanol-python, parsanol-ruby, +parsanol-ts, parsanol-codegen, audit/ + docs/ + leptris gem. +MIGRATION: the ISC map compiler/runtime moves to parsanol v2 — the ISC +grammar re-expressed as a parsanol grammar; the compile pipeline emits +through parsanol-codegen; each runtime executes via its parsanol lib. +Keep ISC semantics frozen (IS-1 v2 normative page; the 22 frozen +rulings; conformance fixtures decide equivalence — byte-identical +outputs across runtimes before any runtime swaps in). diff --git a/TODO.all-sys/14-rust-runtime.md b/TODO.all-sys/14-rust-runtime.md new file mode 100644 index 0000000..fb26923 --- /dev/null +++ b/TODO.all-sys/14-rust-runtime.md @@ -0,0 +1,10 @@ +# Rust runtime (parsanol-rs) + model inference via ort + +New crate: interscript-rs. (a) MAP RUNTIME: execute compiled ISC via +parsanol-rs; conformance = the frozen fixtures in interscript-models/ +conformance/ byte-identical. (b) MODEL INFERENCE: load IMF v1 artifacts +(encoder.onnx/decoder-kv.onnx/metadata.yaml; sha256 verify; byte+3 +tokenizer, trailing EOS) with the ort crate — ONNX Runtime gateway — +greedy + KV decode; parity vs the Ruby/TS runtimes >= 500 samples +single-row greedy before shipping. (c) Optional: batched KV decode for + labeling jobs (kv graphs are batch-safe; plain are batch=1-traced). diff --git a/TODO.all-sys/15-python-runtime.md b/TODO.all-sys/15-python-runtime.md new file mode 100644 index 0000000..c698676 --- /dev/null +++ b/TODO.all-sys/15-python-runtime.md @@ -0,0 +1,7 @@ +# Python runtime (parsanol-python) + +New package: interscript-py. (a) MAP RUNTIME via parsanol-python; +conformance fixtures byte-identical. (b) MODEL INFERENCE already +proven by interscript-ml (the house runtime) — fold it in as the +model layer so Py users get maps + models in one install; keep the +loader's sha256 verification and the registry resolve path.