A type discipline for
AI-augmented applications.

// prisma/schema.prisma
model Submissao {
  id             String   @id @default(uuid())
  resposta_aluno String
  avaliacao      String   // no enum constraint at type level
  createdAt      DateTime @default(now())
}

// app/api/avaliar/route.ts  (truncated)
export async function POST(req: NextRequest) {
  const session = await getServerSession();
  if (session?.role !== "Professor") {
    return NextResponse.json({ error: "Forbidden" }, { status: 403 });
  }
  const input = await req.json();

  // Hand-rolled LLM call
  const res = await anthropic.messages.create({
    model: "claude-sonnet-4-20250514",
    max_tokens: 256,
    system: SYSTEM_PROMPT,
    messages: [{ role: "user", content: input.resposta_aluno }],
  });
  const text = (res.content[0] as any).text;

  // No schema — manual parsing, frequently broken
  let parsed: any;
  try { parsed = JSON.parse(text); } catch { return error(...); }
  if (!["Correto","Parcial","Incorreto"].includes(parsed.avaliacao)) {
    // every team writes this branch differently
    return NextResponse.json({ queue: "manual_review" });
  }

  // No confidence threshold. No Bayesian update.
  // No trace. No checkpoint. No audit.
  await prisma.submissao.update({
    where: { id: input.id },
    data:  { avaliacao: parsed.avaliacao },
  });
  return NextResponse.json({ ok: true });
}

@Language: Epi v0.3
@Database: sqlite

Entity Submissao {
    id: UUID(auto),
    resposta_aluno: Text,
    criado_em: DateTime(auto),
    avaliacao: AI.Enum(
        Correto, Parcial, Incorreto,
        strict: true,
        prior: Distribution(
            Correto: 0.40,
            Parcial: 0.45,
            Incorreto: 0.15
        ),
        confidence_threshold: 0.85
    )
}

Guard SoProfessores {
    Condition: Auth.Role == "Professor"
}

Pulse AvaliarResposta {
    Input: Submissao
    Protect: Guard.SoProfessores
    Process:
        Execute: AI.classify(
            source: Input.resposta_aluno,
            prompt: file("@prompts/avaliar.md"),
            temperature: 0.1,
            confidence_threshold: 0.85,
            on_low_confidence:
                Checkpoint.ReviewRequired(role: "Professor"),
            on_fail:
                Fallback.ManualReview(Queue: "Professores")
        )
    Output: Submissao.avaliacao
}