Repository navigation

Add Jedit-owned Edict flat-text replacement reference - #302

Merged

flyingrobots merged 31 commits into

mainfrom

feature/replace-range-edict-source

Oct 19, 2026

Merged

Add Jedit-owned Edict flat-text replacement reference#302
flyingrobots merged 31 commits into
mainfrom
feature/replace-range-edict-source

Commits on Aug 23, 2026
- feat: establish ReplaceRange Edict application boundary
  flyingrobots
  committed
  3f875ae
- test: advance ReplaceRange compiler boundary
  flyingrobots
  committed
  1b086dc
- feat: select Echo generic pure program profile
  flyingrobots
  committed
  629337d
- test: require verified ReplaceRange package
  flyingrobots
  committed
  a3e2087
- test: lock ReplaceRange toolchain inputs
  flyingrobots
  committed
  2283d3b
- Bind ReplaceRange to exact text identities
  flyingrobots
  committed
  a8d4a52
- Verify the exact executable subject
  flyingrobots
  committed
  d8af4e2
- Require exact ReplaceRange package evidence
  flyingrobots
  committed
  d6769cc
Commits on Aug 24, 2026
- Harden exact Edict package identity proof
  flyingrobots
  committed
  a667352
Commits on Sep 7, 2026
- test(edict): refresh ReplaceRange proof against merged compiler
  flyingrobots
  committed
  a894c7c
Commits on Sep 18, 2026
- test(edict): execute fresh packages through generic Echo runtime
  flyingrobots
  committed
  83ab52a
Commits on Oct 4, 2026
Commits on Oct 5, 2026
Commits on Oct 16, 2026
Commits on Oct 19, 2026
- Prove authored flat-text replacement at merged UTF-8 toolchains
  flyingrobots
  committed
  6155218