OpenCyber AcademyObjetivos de aprendizagem
Ao final deste capítulo, você deve ser capaz de:
- Fazer corresponder uma pergunta de sala e início a uma linha na página nomeada das 11:40.
- Tratar uma pergunta sem linha correspondente como silêncio, não como sala livre.
- 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.
Tabela da aula; deslize para ver todas as colunas →
| 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.
Mostrar critérios de avaliação
Rubrica: 3 = o pedido da Sala 4 permanece pendente, ALLOW permanece no registro antigo, o censo não é reescrito eSYN-002ainda 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.