Repository navigation
jedit Optic Intent / Observation Handoff #495
Description
Activity
- addedlane:asapMethod lane asap.Method lane asap.legend:platformMethod legend platform.Method legend platform.
on Jun 1, 2026 coderabbitai commented
on Jun 1, 2026 coderabbitaiboton Jun 1, 2026 – with coderabbitaiContributorMore actions🔗 Related PRs
#326 - Echo contract hosting roadmap [merged]
#329 - Stack Witness 0001 fixture-backed jedit walking skeleton [merged]
#331 - feat(core): add optic invocation admission skeleton [merged]
#365 - feat(wesley): emit query observer host helpers [merged]
#368 - feat(core): connect installed contract intent pipeline [merged]
📝 Issue Planner
Check the box below or use the
@coderabbitai plancommand 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!
- addedlane:up-nextMethod lane up-next.Method lane up-next.and removedlane:asapMethod lane asap.Method lane asap.
on Jun 1, 2026 Architecture supersession note: this issue predates the now-explicit
Jim.edictactive-observer ownership model. Do not use it to add Jedit nouns,
verbs, rope intrinsics, planners, or callbacks to Echo, or to make a TypeScript
frontend call application operations directly as the final composition.The active generic-runtime work is #684, Interpret compiler-produced bounded
Edict graph programs. It is blocked on flyingrobots/jedit#296 producing a real
compiler-generated package from Jim-ownedReplaceRange.edict. Jedit's schema
and oracle are ABI/conformance evidence only, never executable semantic input.
The final consumer cutover is flyingrobots/jedit#295 and #301: Echo delivers
canonical events to installedJim.edict, which requests bounded readings,
derives Jim-owned operation intents, handles outcomes, and advances editor
state.
Migrated from Method backlog
This issue was created from a legacy filesystem backlog card. GitHub Issues are now the live work tracker; repository docs remain Method evidence.
Source backlog:
docs/method/backlog/up-next/PLATFORM_jedit-hot-text-runtime-host-surface.mdOriginal lane:
up-nextOriginal legend:
PLATFORMOriginal backlog card
jedit Optic Intent / Observation Handoff
up-nextPLATFORM1Why now
jeditnow has a real authored GraphQL contract for its hot-text boundary,including:
createBufferWorldlinereplaceRangecreateCheckpointworldlineSnapshotWesley can generate TypeScript and Zod operation registries from that
contract, and
jeditnow consumes those registries in its app-owned adapter.The next blocker is not in
jedit. It is in the substrate handoff model.Echo's current public wasm/kernel boundary exposes:
That is directionally correct, but the integration posture now needs to match
the optic model more explicitly:
scheduler-owned receipt through observation/correlation
generic graph truth into app-specific nouns
What is missing is not a
jedit-named Echo API. What is missing is the firstclean handoff that connects:
Hill
Define the first substrate handoff that lets a
jedit-style application useEcho through optics without:
jeditto fake causal state changes entirely in app-local runtimeDone looks like
receipt evidence plus a hologram/frontier handoff
jedithot-text operations:The authored contract may declare retained tick/receipt obligations for these
operations. That declaration does not let application code create or schedule
ticks.
read canonical worldline snapshot
repo truth makes clear how those operations travel through:
Repo evidence
crates/echo-wasm-abi/src/kernel_port.rscrates/warp-wasm/src/lib.rsdocs/design/0012-dynamic-footprint-binding-runtime.mddocs/invariants/DECLARATIVE-RULE-AUTHORSHIP.mdoptics/warp-optic.pdfdocs/design/0013-generic-observer-api-and-plan.md