Goalpost: Run Jim.edict as an Echo-realized active observer

[flyingrobots]

Priority

P0. Do not schedule broad Vim parity or book-derived runtime work ahead of this
goalpost.

Current truth

Jedit's Wesley/Rust compatibility corridor is genuinely Echo-backed, but it is
not the final application architecture. TypeScript and native Rust still
interpret Jim requests and directly choose operations.

The final application is Jim authored in Edict and realized by Echo:

• Jedit/Bijou/native code is Jim's I/O body: canonical event decoding,
  bootstrap, raw transport, file adapters, and disposable rendering.
• Jim.edict is Jim's mind: editor state, modes, operators, motions, cursor,
  selection, registers, pending actions, event interpretation, observation
  requests, operation intents, and outcome handling.
• Jim-owned Edict lawpacks define ReplaceRange, CreateBuffer,
  DeclareCheckpoint, TextWindow, application facts, and typed obstructions.
• Edict checks, lowers, packages, and independently verifies those sources.
• Echo generically installs, admits, budgets, schedules, interprets, commits,
  records, and recovers verified programs without editor or rope vocabulary.

Definition of done

The supported production editor loop is:

canonical KeyEvent
-> Echo delivers the event to installed Jim.edict at J0
-> Jim.edict requests a basis-bound TextWindow reading
-> Jim.edict derives any application intent from Jim state
-> Echo interprets the compiler-produced generic program
-> Echo commits one Tick or returns one typed obstruction
-> Jim.edict handles the outcome and advances J0 to J1
-> Jedit renders a disposable projection

Every supported operation originates in checked-in Jim-owned Edict source,
crosses Edict's public application-build boundary, is independently verified,
and runs through Echo's generic runtime authority. Generated clients are codecs
and transport stubs only.

Production rejects frontend command-to-operation mapping, handwritten
packages, native Jim callbacks, caller-authored patches, MutationPlan, fake
transports, compatibility fallback, and optimistic text mutation.

Slices

• Slice: Author and prove Jim's first Edict operation ReplaceRange #296 Author and prove Jim's first Edict operation: ReplaceRange.
• Slice: Author Jim lawpacks for CreateBuffer TextWindow and DeclareCheckpoint #297 Author Jim lawpacks for CreateBuffer, TextWindow, and
  DeclareCheckpoint.
• Slice: Host Jim.edict as an active observer #301 Host Jim.edict as an active observer and move production input to
  canonical event delivery.
• Slice: Retire frontend operation orchestration and the compatibility host #298 Retire frontend/native operation orchestration and the
  GraphQL/Wesley compatibility route; make Gate E prove the final composition.

Required evidence

• Exact Jedit, Edict, and Echo commits and generated artifact digests.
• Authored Edict source -> Core/Target IR -> compiler package -> independent
  verification -> Echo admission/execution -> outcomes/readings/receipts.
• A real active-observer event, reading, child-operation, outcome, and Jim-state
  transition witness.
• Restart recovery from Echo-owned durable history.
• Negative guards proving semantic TypeScript, native callbacks, handwritten
  packages, and compatibility routes cannot satisfy production composition.
• Gate E (Gate E - jedit Native Operation Proof #143) emits the Emit a machine-readable authority-gate evidence manifest #283 machine-readable evidence manifest.

Non-goals

• No application vocabulary or rope intrinsic in Echo.
• No ambient filesystem, process, network, Git, GitHub, or model authority in
  Edict.
• No local text authority or optimistic UI mutation.
• No claim that a direct generated-client operation harness rewrites Jim in
  Edict.

[coderabbitai]

🔗 Related PRs

#23 - feat(echo): add Echo release gate witness [closed]
#27 - feat(echo): wire trusted runtime lifecycle into jedit [closed]
#205 - Document graph-backed rope runtime gate [merged]
#261 - Complete CR-00 snapshot escape hatch guard [merged]
#282 - Route checkpoint declarations through Echo [merged]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!

[flyingrobots]

Implementation slices:

• Slice: Author and prove Jim's first Edict operation ReplaceRange #296 — cut ReplaceRange over to compiler-produced Edict-on-Echo execution;
• Slice: Author Jim lawpacks for CreateBuffer TextWindow and DeclareCheckpoint #297 — migrate buffer creation, bounded reads, and checkpoint declaration;
• Slice: Retire frontend operation orchestration and the compatibility host #298 — remove/quarantine the compatibility host and make Gate E Edict-native.

Downstream book-derived work remains ordered behind this goalpost:

• Slice: Add Jim command catalog schema and witness #183/Slice: Add describe command describe-key and prefix help #184 — generated command catalog and self-documenting help;
• WF-0115: Causal Marks With Drift #137 — causal marks with drift;
• Slice: Execute dot-repeat as a Jim.edict semantic intent #299 then WF-0118: Semantic Dot-Repeat Explanation #136 — semantic repeat execution and explanation;
• Slice: Add Jim.edict semantic macro scripts and replay reports #187 — semantic macro scripts and replay reports;
• WF-0110: Search Sets And Substitute Strand Preview #132 — search sets and substitute strand preview;
• Slice: Route standard undo and redo through Echo causal history #273 — causal undo/redo.

PR #293 and flyingrobots/echo#684 are prerequisites for the first slice; they are evidence and evaluator work, not substitutes for Jim's production cutover.