# Contribuições do Artigo SBIE — Schema WOKDEX

> **Artigo**: *Quebrando o Silêncio Pedagógico: O Modelo WOKDEX para Feedback Formativo em Juízes Online*
> **Trilha**: TPIE — SBIE 2026

Este documento rastreia as **contribuições formalizadas pelo artigo** e o progresso de sua **reverberação** nos demais documentos da tese/qualificação.

---

## Contribuições do Artigo

| ID | Contribuição | Status da Reverberação |
|----|-------------|------------------------|
| **C1** | Proposta do schema WOKDEX — modelo de metadados estruturado (YAML validado por JSON Schema) que formaliza atributos pedagógicos para exercícios de programação. | ✅ Propagado |
| **C2** | Formalização de uma tipologia de testes: `SAMPLE`, `FUNCTIONAL`, `MISCONCEPTION` e `PERFORMANCE`. | ✅ Propagado |
| **C3** | Proposição e catalogação de um *corpus* de referência (45 exercícios, 230 cenários, CS1–CS3). | 🔲 Pendente |
| **C4** | Proposta da Heurística de Modulação de Dica (HMD) — modula a confiabilidade do feedback com base na taxa de falha intra-cenário. | ✅ Propagado |

---

## Reverberação 1: Documentação do Formato WOK → WOKDEX

**Data**: 2026-06-02
**Pasta afetada**: [`apendices/docs/wok-format/`](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format)
**Contribuições propagadas**: C1, C2, C4

### Contexto

A documentação do formato WOK (apêndice da qualificação) ainda utilizava a terminologia e conceituação **anteriores ao artigo SBIE**. O artigo formalizou mudanças significativas na tipologia de testes e introduziu novos conceitos que precisavam ser refletidos nos documentos de referência.

### Mudanças de Terminologia

O mapeamento antigo → novo aplicado:

| Terminologia Antiga | Terminologia WOKDEX | Tipo de Mudança |
|---------------------|---------------------|-----------------|
| `TDD` | `FUNCTIONAL` | Renomeação |
| `TDD_FALSE_GREEN` | `MISCONCEPTION` | Renomeação + formalização semântica |
| *(não existia)* | `SAMPLE` | **Tipo novo** — testes visíveis do enunciado |
| `PERFORMANCE` | `PERFORMANCE` | Sem mudança |

### Novos Conceitos Adicionados

1. **`targetLanguages`** (campo opcional por cenário): Restringe cenários `MISCONCEPTION` a linguagens onde a *misconception* se manifesta (ex: `["C", "C++", "Java"]` para erros de divisão inteira que não ocorrem em Python 3).

2. **Subtipos de `MISCONCEPTION`**: Taxonomia de três subtipos formalizada pelo artigo:
   - `TYPE` — Tipo de dado inadequado (CS1)
   - `FORMAT` — Formatação de saída incorreta (CS1)
   - `STRATEGY` — Estratégia algorítmica insuficiente (CS2–CS3)

3. **Heurística de Modulação de Dica (HMD)**: Modula a emissão de `helpTip` com base na proporção de falhas (alta/moderada/baixa confiança).

4. **3 Camadas do Schema**: Descritiva, Pedagógica e Avaliativa — explicitadas na documentação.

5. **Inversão Semântica**: Nos cenários `MISCONCEPTION`, os arquivos `.out` contêm a **Saída Incorreta Previsível**, não o gabarito correto. Um *match* confirma o diagnóstico do erro cognitivo.

### Arquivos Editados

| Arquivo | Mudanças Principais |
|---------|---------------------|
| [RULES.pt.md](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/RULES.pt.md) | Título → WOKDEX; seção TestType reescrita com 4 tipos; `targetLanguages` no TestScenario; seções de subtipos MC e HMD adicionadas |
| [README.md](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/README.md) | Reescrito com terminologia WOKDEX, 3 camadas, exemplo YAML com SAMPLE/FUNCTIONAL/MISCONCEPTION |
| [RULES.md](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/RULES.md) | Versão inglês atualizada com os 4 tipos e `targetLanguages` |
| [templates/metadata.yaml](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/templates/metadata.yaml) | `testType: TDD` → `testType: SAMPLE` |
| [0003-divisao/metadata.yaml](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/0003-divisao/metadata.yaml) | `d-sample` → `SAMPLE`; demais `TDD` → `FUNCTIONAL`; `TDD_FALSE_GREEN` → `MISCONCEPTION` com `targetLanguages` |

### Arquivos Não Alterados

- [COMPARE_SCRIPTS.pt.md](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/COMPARE_SCRIPTS.pt.md) — Trata de DOMjudge, sem relação com tipologia
- [RUN_SCRIPTS.pt.md](file:///home/alessio/TeseDoutorado-Velha/qualificacao/apendices/docs/wok-format/RUN_SCRIPTS.pt.md) — Trata de DOMjudge, sem relação com tipologia

---

## Reverberações Futuras (Pendentes)

> [!NOTE]
> Esta seção será expandida conforme novos documentos forem atualizados.

- 🔲 **Corpus de exercícios** (C3): Verificar se os 45 exercícios do corpus estão com a tipologia atualizada.
- 🔲 **Outros apêndices/capítulos da qualificação**: Identificar documentos que mencionem a terminologia antiga.
- 🔲 **JSON Schema oficial** (`wok-problem.json`): Verificar se o schema remoto aceita os novos valores de `testType`.