ALEMBIC • FASE 6 • QUIZ CROSS-LAYER

Quiz: As 6 Invariantes Load-Bearing

Teste se você realmente entendeu as regras que o Reviewer caça em todo PR. Cada pergunta tem 1 resposta correta + fonte exata. Clique "Revelar fonte" após responder.

1. Toda chamada de modelo no sistema (T0 até Factory) deve retornar um tipo que:

contracts/result.ts:20 • contracts/model.ts:30 • adapter-core.ts:60 • operator-playbook.html (invariante #1 e #2)

2. O que acontece se o budget for excedido antes de uma chamada T2/T3?

harness/funnel.ts (budget guard) • etl/budget.ts • operator-playbook.html (lab 6)

3. Qual é a profundidade máxima estrutural de tarefas no Swarm?

swarm/types.ts:32 • swarm/orchestrator.ts:31-46 • layer-l3-swarm.html

4. O que o Verifier Panel faz quando uma lente de faithfulness falha (mesmo que as outras passem e o quorum seja atingido)?

council/verifier-panel.ts:21-44 • verifier-panel.ts:40 (floors) • hotpath-council-t3.html

5. Antes de qualquer sinal de canal privado (WhatsApp, Discord etc.) ser escrito no store ou enviado a um modelo, o que deve acontecer?

etl/pii.ts (assertRedactedForEmit) • harness/funnel.ts:243 (emitSafeSignal) • hotpath-cli-funnel.html

6. O que o `withWorktree` garante mesmo quando o worker lança exceção ou é abortado?

swarm/worktree.ts (withWorktree + finally) • layer-l3-swarm.html