Execute Jedit ReplaceRange as a bounded declarative graph operation

[flyingrobots]

Claim

Echo can load the Jedit-owned jedit.text.ReplaceRange.oracle@1 and jedit.text.schema@1 resources, admit an Edict-bound executable operation package, and interpret a data-only bounded graph operation that produces the corpus-defined persistent-rope consequence or typed obstruction without application callbacks, a caller-supplied patch, or a native rope/ReplaceRange intrinsic.

Required RED

A pinned external-consumer test loads exact Jedit/Edict resource bytes and fails closed because current EchoOperationProgramV1 supports only anchored attachment compare-and-set. The test must not construct the package with a handwritten Echo fixture builder.

Scope

• preserve the existing compare-and-set program bytes;
• define the smallest bounded data-only program profile needed by the published Jedit corpus;
• decode the corpus-level u64 invocation independently of the legacy GraphQL/Wesley ABI;
• exact-basis preparation and commit;
• sealed deterministic scalar/byte/hash/record intrinsics;
• metered private worklist evaluation;
• multi-op UpsertNode / SetAttachment patch;
• declared-versus-actual footprint evidence;
• typed result and application-obstruction payloads;
• generalized receipt/WAL corroboration and callback-free recovery;
• structurally separate verifier path, accurately graded.

Refusals

Reject any design containing a Jedit planner callback, MutationPlan, caller-authored patch, native replace_range/rope split/join/balance intrinsic, opaque host function, unrestricted VM, durable child lane, wormhole, or silent Edict/Echo budget-axis reinterpretation.

Evidence dependency

Consumes the resources published by flyingrobots/jedit#293. Finite-corpus agreement is independently implemented conformance evidence only after the Echo evaluator shares no planner/algorithm path with Jedit.