astakos: Sync commit for plus-logic