To prevent billing and invoices being generated that exceed the project contract amounts, CORE converts the billable time into non-billable. You do not need to set any rule for converting billable time into non-billable after the project contract amount is reached. By default, this will happen automatically.
However, you need to make sure that the Projects rule 'Skip time evaluation' is not turned on in Settings > Time & Expenses > Time Entry. Otherwise, it will keep the billable status of the time entries even though the project contract amount has been reached.