A date instead of a fire: promising Punjab's farmers a machine, on AWS

core_indices = list(solver.sufficient_assumptions_for_infeasibility())
core = [literal for literal in literals if literal.index in core_indices]
# Deletion filter: drop each assumption that is not needed for infeasibility.
position = 0
while position < len(core):
    trial = core[:position] + core[position + 1 :]
    trial_status, _ = _solve_with(model, trial, seconds=SHRINK_STEP_SECONDS)
    if trial_status == cp_model.INFEASIBLE:
        core = trial
    else:
        position += 1

for (const match of text.matchAll(/\d+(?:[.,]\d+)*/g)) {
  if (!allowedNumbers.has(canonicalNumber(match[0]))) unsupported.push(match[0]);
}
return { ok: unsupported.length === 0, unsupported };

// A farmer's phone sees the fields booked with that phone, nothing else.
@id("farmer-phone-own-fields")
permit (principal is FarmerPhone, action in [Action::"ViewField", Action::"AskWhy", Action::"RequestSooner", Action::"ChangeBooking"], resource is Field)
when { resource.farmerPhone != "" && resource.farmerPhone == principal.phone };

// An officer never sees a farmer's contact details.
@id("officer-no-contact")
forbid (principal is User, action == Action::"ViewFarmerContact", resource)
when { principal.role == "officer" };

new RegExp(`(?<![\\p{L}\\p{M}])${escaped}(?![\\p{L}\\p{M}])`, "gu")