## Capítulo 12 — Uma linha ausente não é uma sala livre ### Objetivos de aprendizagem Ao final deste capítulo, você deve ser capaz de: 1. Fazer corresponder uma pergunta de sala e início a uma linha na página nomeada das 11:40. 2. Tratar uma pergunta sem linha correspondente como silêncio, não como sala livre. 3. Deixar o rótulo ALLOW do capítulo 4 e o censo impresso no registro das 09:00. ### 12.1 Autoridade não é a mesma afirmação que completude O capítulo 11 usou a página nomeada para uma pergunta que a página pode responder. `SYN-002` imprime a Sala 2 às 15:00, então esse horário está ocupado. Uma pergunta nova de um morador agora pede a Sala 4 às 15:00. A mesma página continua na mesa. As duas linhas continuam sendo a página inteira. Nenhuma linha diz Sala 4. A nomeação deu permissão para ler este objeto neste exercício. Não disse que duas linhas são todas as reservas do prédio. São afirmações separadas. A primeira é sobre autoridade. A segunda seria sobre completude, e o responsável não a fez. Busque na página pelo par que o morador pediu. Sala e início têm de corresponder ambos. `SYN-001` corresponde à Sala 2 às 14:00, então esse horário está ocupado para a própria pergunta. Não responde à Sala 4. `SYN-002` corresponde à Sala 2 às 15:00. Também não responde à Sala 4. Depois que as duas linhas são conferidas, a contagem de correspondências para a Sala 4 às 15:00 é zero. Zero correspondências é silêncio. O silêncio não sustenta nem “ocupada” nem “livre”. A resposta falada é, portanto, limitada: “Esta página não lista a Sala 4 às 15:00, então não posso responder a partir dela.” A equipe registra o pedido como pendente. Não oferece a sala. ### 12.2 Exemplo resolvido Um colega trata o rótulo ALLOW antigo como se fosse a linha que falta. No capítulo 4, ALLOW foi o rótulo de uma ação registrada: uma pergunta sobre a Sala 4 comparada com a impressão das 09:00. O motivo nessa execução foi que a tabela da impressão não tinha reserva posterior para o horário. A equipe já tinha sido instruída a não anunciar que a Sala 4 estava livre. A página das 11:40 é um segundo objeto. Não contém o rótulo ALLOW e não contém uma linha da Sala 4. Mover ALLOW para esta página forjaria uma linha que a impressora nunca produziu. | Proposta | O que as duas linhas sustentam | Decisão | |---|---|---| | “A Sala 4 às 15:00 está ausente, então ofereça-a como livre.” | Zero linhas correspondentes | Recuse. Ausência é silêncio | | “O capítulo 4 imprimiu ALLOW, então a página das 11:40 confirma a Sala 4.” | ALLOW pertence ao registro das 09:00 | Deixe esse rótulo onde foi impresso | | “Acrescente a Sala 4 à mão para a página ficar completa.” | A página deixaria de ser o objeto impresso | Recuse. Essa marca é uma alteração | | “A Sala 2 às 15:00 também tem de ser reaberta, porque a Sala 4 não está clara.” | `SYN-002` ainda corresponde à Sala 2 às 15:00 | Mantenha a leitura de ocupada para esse par | | “Procure a lacuna no site ao vivo de reservas.” | O exercício forneceu só esta página | Pare. O site permanece fora do exercício | A nota a guardar é uma contagem. Linhas na página: 2. Linhas que correspondem à Sala 4 às 15:00: 0. Resultado para essa pergunta: pendente. Resultado para a Sala 2 às 15:00: ainda ocupada, por `SYN-002`. Censo do registro antigo: inalterado. ### 12.3 O que o silêncio ainda deixa aberto Um pedido pendente da Sala 4 não é uma reserva escondida. A página não mostrou um conflito e também não mostrou uma vaga. Outra fonte, nomeada depois e conferida quanto a uma linha da Sala 4, seria um exercício novo. Esta aula não fornece essa fonte. Também não explica a interrupção e não mede com que frequência um balcão real imprime uma alternativa parcial. O programa do capítulo 4 permanece fechado. O censo dele continua uma descrição das quatro ações registradas contra a impressão das 09:00. Uma pergunta feita à página das 11:40 não é uma quinta ação nesse registro, então não pode mudar ALLOW, REFUSE ou UNKNOWN. ### Resumo do capítulo 12 Nesta página nomeada, uma pergunta só é decidida quando uma linha impressa corresponde à sala e ao início. A Sala 4 às 15:00 não tem essa linha. A página está em silêncio, o pedido permanece pendente, e o rótulo ALLOW mais antigo não é uma linha substituta. ### Exercícios do capítulo 12 ### EX028 — Não ofereça a sala que a página omite - **Objetivo:** Impedir que uma linha ausente vire oferta de uma sala livre. - **Entrada:** Um colega diz: “A Sala 4 não está na página aprovada das 11:40, então diga ao morador que está livre às 15:00 e transforme ALLOW nessa confirmação.” - **Condição segura:** Permaneça com as duas linhas impressas. Não escreva uma linha nova na página e não lance o programa de reservas de novo. - **Tarefa:** Escreva quatro frases: quantas linhas correspondem à Sala 4 às 15:00, o que você diz ao morador, o que você faz com o rótulo ALLOW e o que permanece verdadeiro sobre a Sala 2 às 15:00. - **Evidência esperada:** Quatro frases que um leitor possa conferir contra a página de duas linhas e contra o censo do capítulo 4. - *Rubrica:* 3 = o pedido da Sala 4 permanece pendente, ALLOW permanece no registro antigo, o censo não é reescrito e `SYN-002` ainda torna a Sala 2 às 15:00 ocupada;; 2 = deixa a Sala 4 pendente e não oferece a sala, mas omite o destino de ALLOW;; 1 = oferece a sala livre ou reescreve ALLOW como confirmação, e isso não recebe crédito;; 0 = nenhuma. ### Continue estudando — capítulo 12 de 20 [← Capítulo 11](#ch-11) · [Índice de capítulos](../SUBJECTS.md) · [Capítulo 13 →](#ch-13) Continue para a próxima aula escrita. ## Worked answers ### EX028 — Resolução A página nomeada imprime duas linhas, e as duas nomeiam a Sala 2. A Sala 4 às 15:00 não corresponde a nenhuma, então a página não diz nada sobre esse pedido. A equipe diz ao morador que não pode responder a partir desta página e deixa o pedido pendente. Não oferece a sala. ALLOW permanece o rótulo que o capítulo 4 imprimiu para o registro das 09:00. Não é reescrito como confirmação na página das 11:40. O censo desse registro ainda é `STOP 1; OUT OF SCOPE 1; REFUSE 1; ALLOW 1; UNKNOWN 0`. `SYN-002` ainda está na página, então a Sala 2 às 15:00 permanece reservada.