Digital HACCP, from the inside

-- O telemóvel envia a leitura e o ponto. Nunca o veredicto.
select * into v_point from demo_haccp_points where id = p_point;

if v_point.kind = 'tarefa' then
  v_ok := true;
  p_value := null;
else
  if p_value is null then raise exception 'sem leitura'; end if;
  if p_value < -40 or p_value > 200 then
    raise exception 'leitura impossivel';
  end if;
  -- O cumpre ou não cumpre nasce aqui, e só aqui
  v_ok := p_value >= v_point.min_c and p_value <= v_point.max_c;
end if;

-- Hoje no fuso do restaurante, não no do servidor
v_today := (now() at time zone 'Europe/Lisbon')::date;

-- Um incumprimento só fecha com uma acção escrita e assinada.
if length(btrim(coalesce(p_action, ''))) < 4 then
  raise exception 'accao vazia';
end if;

-- E não se "corrige" o que cumpre: isso seria ruído no registo
if v_row.ok then raise exception 'este registo cumpre'; end if;

-- Corrigir uma leitura mal metida substitui-a e reabre o
-- incumprimento, em vez de deixar duas versões do mesmo turno
on conflict (room_code, point_id, day, shift) do update
   set value_c = excluded.value_c, ok = excluded.ok,
       signed_by = excluded.signed_by, created_at = now(),
       corrective = null, corrected_by = null, corrected_at = null;

-- Um ponto só se regista uma vez por turno e por dia.
create unique index demo_haccp_checks_once_idx
  on demo_haccp_checks (room_code, point_id, day, shift);

-- Um ponto de temperatura sem limites não é um ponto de controlo
constraint demo_haccp_limits_needed
  check (kind = 'tarefa'
         or (min_c is not null and max_c is not null
             and min_c <= max_c));

-- Quem assinou não sai pela chave pública: chega o que o ecrã
-- precisa para acender o alerta em tempo real.
grant select (id, room_code, point_id, day, shift, value_c, ok,
              corrected_at, created_at)
  on demo_haccp_checks to anon;

// O ecrã do responsável acende sozinho quando a equipa
// regista uma leitura fora dos limites, do outro lado da casa.
const channel = supabase
  .channel(`demo-haccp-${room}`)
  .on("postgres_changes",
      { event: "*", schema: "public", table: "demo_haccp_checks",
        filter: `room_code=eq.${room}` },
      () => void load(room))
  .subscribe();

// Incumprimentos por resolver: fora dos limites e sem acção escrita
const openFails = checks.filter((c) => !c.ok && !c.corrected_at);

-- Não se verifica o que ainda não foi corrigido.
-- Na função, para dar um erro legível:
if v_row.corrected_at is null then
  raise exception 'ainda sem accao correctiva';
end if;

-- E na tabela, para valer mesmo que alguém escreva direto:
alter table demo_haccp_checks
  add constraint demo_haccp_verify_order
  check (verified_at is null or corrected_at is not null);

-- Uma leitura nova apaga a acção e a verificação: referem-se
-- a um número que já não está lá.
on conflict (room_code, point_id, day, shift) do update
   set value_c = excluded.value_c, ok = excluded.ok,
       corrective = null, corrected_by = null, corrected_at = null,
       verified_by = null, verified_at = null;

-- Os limites de recepção são do servidor, não do telemóvel.
v_max := case p_kind when 'refrigerado' then 4.0
                     when 'congelado' then -15.0
                     else null end;

v_temp_ok := p_temp <= v_max;
v_date_ok := p_expiry >= v_today;

-- Repare no que NÃO acontece aqui: o servidor não decide aceitar.
-- Diz se estava dentro; aceitar é de quem está na doca, e fica
-- registado como decisão dessa pessoa.

-- Recusar sem dizer porquê não é recusar, é esconder:
constraint demo_delivery_reason_needed
  check (accepted
         or (reject_reason is not null
             and length(btrim(reject_reason)) >= 4));