This commit is contained in:
root
2026-07-01 20:00:57 +00:00
parent a2a5da25df
commit afa8b36105
10 changed files with 945 additions and 62 deletions

View File

@@ -23,7 +23,7 @@ Examples:
- "Satz 7.18" (no description) → **verwerfen** (mere reference).
Rules:
- When in doubt about standalone-ness → lean toward including. Duplicates are removed separately later; here only this counts: real block or junk.
- Decide by the standalone Define test above: an entry that only makes sense INSIDE a specific proof, reduction, or spot in the script is NOT a block → discard it. Include only entries that stand on their own (a concept you could teach on its own); duplicates are removed separately later. This is single-mention material, so hold a firm bar — but never discard a genuine standalone concept hiding behind a reference title (see the rename rule above).
- Copy included entries VERBATIM ("Title — Kurzbeschreibung"), do not rephrase.{final}
Write ONLY the JSON file to: {out_path}