maintain

abstract fun maintain(contextId: <Error class: unknown class>, sessionPropositions: List<Proposition> = emptyList()): MaintenanceResult

Run all maintenance stages for the given context.

Return

Result summarizing all changes made

Parameters

contextId

The context to maintain

sessionPropositions

Propositions from the current session to consolidate; empty for scheduled maintenance