2677 Forbidden Terms 7219e9b9

# FORBIDDEN_TERMS.md

Protected terms and constructs that **must never be modified** without explicit user confirmation.
These rules apply to all audit modes (self-check, review, gate, polish).

---

## 1. LaTeX Command Protection List

The following LaTeX commands must **never** be altered in content, spelling, or structure:

| Command | Reason | Example |
|---------|--------|---------|
| `\cite{key}` | Bibliography reference — changing key breaks citation | `\cite{lecun1998}` |
| `\citep{key}` | Parenthetical citation | `\citep{vaswani2017}` |
| `\citet{key}` | Textual citation | `\citet{hinton2006}` |
| `\ref{label}` | Cross-reference — changing breaks link | `\ref{fig:arch}` |
| `\eqref{label}` | Equation reference | `\eqref{eq:loss}` |
| `\autoref{label}` | Auto-typed reference | `\autoref{tab:results}` |
| `\cref{label}` | cleveref reference | `\cref{fig:overview}` |
| `\Cref{label}` | cleveref uppercase reference | `\Cref{tab:ablation}` |
| `\pageref{label}` | Page reference | `\pageref{sec:method}` |
| `\hyperref[label]{text}` | Hyperlink reference | `\hyperref[sec:exp]{Section 3}` |
| `\label{key}` | Label definition — changing breaks all refs | `\label{fig:arch}` |
| `\bibliography{file}` | Bibliography file reference | `\bibliography{references}` |
| `\bibliographystyle{style}` | Bibliography style | `\bibliographystyle{plain}` |
| `\input{file}` | File inclusion | `\input{sections/intro}` |
| `\include{file}` | File inclusion with page break | `\include{chapter1}` |

---

## 2. Typst Command Protection List

| Command | Reason | Example |
|---------|--------|---------|
| `@key` | Bibliography citation | `@lecun1998` |
| `#cite(<key>)` | Citation function | `#cite(<vaswani2017>)` |
| `#ref(<label>)` | Cross-reference | `#ref(<fig:arch>)` |
| `<label>` | Label definition | `<fig:overview>` |
| `#include "file"` | File inclusion | `#include "sections/intro.typ"` |
| `#bibliography("file")` | Bibliography file | `#bibliography("refs.bib")` |

---

## 3. Math Environment Protection List

These environments contain mathematical content — **never** modify the LaTeX/Typst code inside them:

### LaTeX Math Environments
- `$...$` — Inline math
- `$$...$$` — Display math (deprecated but protected)
- `\(...\)` — Inline math (preferred)
- `\[...\]` — Display math (preferred)
- `\begin{equation}...\end{equation}`
- `\begin{equation*}...\end{equation*}`
- `\begin{align}...\end{align}`
- `\begin{align*}...\end{align*}`
- `\begin{aligned}...\end{aligned}`
- `\begin{gather}...\end{gather}`
- `\begin{gather*}...\end{gather*}`
- `\begin{multline}...\end{multline}`
- `\begin{cases}...\end{cases}`
- `\begin{array}...\end{array}`
- `\begin{matrix}...\end{matrix}` (and variants: pmatrix, bmatrix, vmatrix)

### Typst Math Environments
- `$...$` — Inline math
- `$ ... $` — Display math (with spaces)

### Why Protected
Math expressions may contain domain-specific notation. Modifying symbols, operators, or
indices can silently change mathematical meaning without being syntactically wrong.

---

## 4. Domain Terminology Freeze List

These terms appear frequently in academic writing but have **precise technical meanings**.
Do **not** suggest synonyms or rewrites without user confirmation:

### Computer Science / Machine Learning
- **gradient descent** (not "slope descent" or "derivative minimization")
- **backpropagation** (not "backward propagation algorithm")
- **attention mechanism** / **self-attention** / **cross-attention**
- **transformer** (architecture, capitalized in "Transformer" when referring to the architecture)
- **perplexity** (NLP metric — not "confusion" or "uncertainty")
- **overfitting** / **underfitting** / **generalization gap**
- **hyperparameter** (not "meta-parameter" or "configuration parameter" in ML context)
- **fine-tuning** / **pre-training** / **transfer learning**
- **tokenization** / **tokenizer** / **subword tokenization**
- **embedding** (vector representation — not "encoding" interchangeably)
- **batch normalization** / **layer normalization** / **instance normalization**
- **dropout** (regularization technique)
- **cross-entropy loss** / **KL divergence** / **ELBO**
- **precision** / **recall** / **F1 score** (classification metrics — not synonyms)
- **BLEU** / **ROUGE** / **METEOR** (evaluation metrics — not interchangeable)

### Mathematics / Statistics
- **convex** / **concave** (not interchangeable)
- **bijective** / **injective** / **surjective** (not interchangeable)
- **stochastic** (not synonymous with "random" in all contexts)
- **expectation** / **variance** / **covariance** (statistical terms)
- **null hypothesis** / **p-value** / **statistical significance**
- **Monte Carlo** (proper noun — always capitalized)

### General Academic Terms
- **ablation study** (not "component analysis" or "removal experiment")
- **state-of-the-art** / **SOTA** (not "best-performing" without context)
- **baseline** (comparison reference — not synonymous with "default")
- **benchmark** (standardized evaluation — not synonymous with "test")
- **corpus** / **corpora** (linguistic dataset — not "dataset" in all contexts)

---

## 5. Usage Rules for Tools

When an audit module encounters any of the above:

1. **SKIP**: Do not flag the protected construct as an issue.
2. **CONTEXT-ONLY**: Surrounding text may be analyzed, but the protected term/command itself is off-limits.
3. **CONFIRM**: If a change to a protected term is genuinely needed (e.g., broken `\ref` with no matching `\label`), report it as an **issue** but do **not** auto-fix.
4. **REPORT**: Reference-integrity issues (`\ref` with no `\label`) should be reported via `check_references.py`, not silently corrected.

---

## 6. Audit Module Compliance

| Module | Must Skip | Must Report |
|--------|-----------|-------------|
| `analyze_grammar.py` | All math environments, all `\cite`, `\ref`, `\label` | None |
| `analyze_logic.py` | Math environments, citation content | Structural logic issues only |
| `analyze_sentences.py` | All math environments | Sentence-level issues in prose |
| `deai_check.py` | Math environments, citation keys | AI-generated patterns in prose |
| `check_format.py` | Math environments, citations | Format violations in metadata |
| `check_references.py` | Nothing (this is the reporter) | All broken/missing references |
| `verify_bib.py` | Nothing (this is the reporter) | All bib integrity issues |
| `visual_check.py` | All text content | Layout/visual issues only |

---

*Last updated: 2026-02-27*