Author ReplaceRange as Jedit-owned Edict source - #302

Draft

flyingrobots wants to merge 10 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