Seal Own Coffin

Recording the seal broke the seal

Seal Own Coffin Recording the seal broke the seal 01 / Flight Recorder Append run node · Flight Recorder Append run node Seal signs head · verify passes · Flight Recorder Seal signs head verify passes Log sealed notice · celebrate · Flight Recorder · the bug Log sealed notice celebrate the bug Head moves on · Flight Recorder Head moves on Sig points at past · Flight Recorder Sig points at past Seal last · nothing after · Flight Recorder · rule Seal last nothing after rule Legend Agent logic Policy

The bug

  • • Signature points at a past head
  • • Logging the seal moved the head

The rule

  • • Seal last, speak never
  • • Nothing appends after