Given Truth Maintenance is turned on by default in Clara, how would I organize different outcomes for entering a state or leaving it? I assume i'll need to track entering & existing that state and have my rule take that information as a precondition.

Im not sure i can properly visualize your use-case, however typically while skirting Truth Maintenance using something like insert-unconditional! can prevent the fact from being “tracked/managed” by truth maintenance.

Thanks @ethanc, I don't have a particular use case 🙂. I was just looking into how clara worked in respect to some other rules engines.