Gate E - jedit Native Operation Proof #143

Contract

jedit proves designated product operations through the Continuum/Echo/Edict path rather than a direct bespoke execution path.

Owner

Canonical repository: flyingrobots/jedit.

Executable check

TBD: run the jedit native operation proof against pinned Echo and Edict commits.

Required evidence

• Designated jedit operation set.
• Edict compilation of each designated operation.
• Echo admission and invocation evidence.
• End-to-end trace: authored operation -> bundle -> admission -> invocation -> Echo mutation.
• Negative proof that the old direct bypass cannot execute.

Negative cases

• Direct jedit execution path cannot satisfy this gate.
• Missing Edict admission must block invocation.
• Old bypass route must be removed or unreachable.

Compatibility set

Pinned jedit commit, Echo commit, Edict commit, operation set, bundle digests, admission receipts, invocation receipts, and trace digest.

Pass rule

The jedit proof returns pass/fail and links the end-to-end trace plus old-bypass negative test evidence.