; LINEAR_TRUTH · measure then live · pure linear truth step
; =============================================================================
; NAME     LINEAR_TRUTH
; OP       linear_truth(a,b) → (a-b)|1   BGF class then fire-mark
; ABI      edi=a · esi=b · → eax
; LAW      travel measure · read |1 first · C IS LIE
; RELATED  bgf/ · until_grin/ · pure_linear/
; IRON
        global  linear_truth
linear_truth:
        mov     eax, edi
        sub     eax, esi
        or      eax, 1
        ret