Label on write per la memoria SI — LabelOnWrite.forMemory collega una carta o una linea di giornale SI di memoria ad ogni fonte etichettata del suo funzionamento, o, in ENFORCE con il controllo di perdita, alla sua base da solo quando il controllo trova il fatto pulito di tutto il resto il run letto (LEAKS, UNSURE, un fallimento, una fonte senza il suo estratto, AUDIT e un controllo disabilitato conserva ogni sorgente.