Software que resolve operação.

// Chave derivada da senha → nunca sai da memória
async _derivarChaveArgon2id(senha, salt) {
  const bytes = await hashwasm.argon2id({
    password: senha, salt,
    iterations: this._ARGON2_ITERACOES,
    memorySize: this._ARGON2_MEMORIA_KIB,
    hashLength: 32, outputType: "binary",
  });
  return crypto.subtle.importKey(
    "raw", bytes, { name: "AES-GCM" },
    true, ["encrypt", "decrypt"]);
}

// Duas pessoas tentando alugar o mesmo carro ao mesmo tempo:
// SELECT ... FOR UPDATE faz a segunda esperar a primeira terminar.
@Lock(LockModeType.PESSIMISTIC_WRITE)
@Query("select v from Veiculo v where v.id = :id")
Optional<Veiculo> findByIdParaAtualizacao(@Param("id") Long id);

// ContratoService.abrir
Veiculo veiculo = veiculoRepository.findByIdParaAtualizacao(id)
    .orElseThrow(() -> RegraNegocioException.naoEncontrado("Veículo não encontrado."));
if (veiculo.getStatus() != StatusVeiculo.DISPONIVEL) {
  throw RegraNegocioException.conflito("Veículo não está disponível"); // 409
}
// preço calculado no servidor: diárias (arredondadas p/ cima) × categoria
float valor = calcularDiarias(locacao) * categoria.getValorDiaria();
veiculo.setStatus(StatusVeiculo.ALUGADO);