← Research notes

WORLD EXPERIMENTS · EXTERNAL ACTION

Can an action be reconciled without inventing success?

An exact adapter acknowledgement closed one committed action after restart. Missing or unavailable acknowledgement remains open.

Date
2026-09-24
Stage
Current MIRA
Status
PASS / BOUNDED
Source
EXP-0107
01

Research question

After an external action is delivered and the process crashes, can an exact adapter observation close the durable commit without performing the action again?

02

Hypothesis

If the adapter receives an opaque action event ID and can later report the same ID from its actual delivery record, the runtime can reconcile the action using only commit, action, and surface identity.

03

Experimental setup

  • Action delivery was followed immediately by a simulated process crash.
  • Automatic retry after restart was prohibited.
  • Exact acknowledgement, no acknowledgement, and an acknowledgement for another action were compared.
  • The adapter reported raw delivery records rather than interpreting a success sentence.
04

Observed result

Observation after restartResultNew external actions
Exact acknowledgementOUTCOME_OBSERVED0
Same acknowledgement againALREADY_OBSERVED0
No adapter recordCOMMITTED_ACTION_UNOBSERVED0
Different action IDRejected; memory unchanged0

The exact acknowledgement source survived snapshot and restart as outcome provenance.

05

Interpretation

An opaque action coordinate was sufficient to reconnect a durable commit with an observed delivery record. The adapter did not need to claim that an action “succeeded”; it only exposed what it had actually delivered.

06

Failure and limitation

RESIDUAL

NEGATIVE_OR_UNAVAILABLE_ACKNOWLEDGEMENT_REMAINS_OPEN

An absent record cannot distinguish an action that never ran, a temporarily unavailable adapter, or a delivery that has not appeared yet. Absence therefore cannot authorize a retry.

07

Next question

How should an explicitly observed failure differ from unavailable or unknown state, and what observed parent should a later retry permission require?