Incremental-concurrent fusion checking for efficient context consistency