A signed receipt for every AI decision: researchers draft an offline-verifiable audit protocol — type0 | type0