fig1

Figure 1. WikiPlanner four-stage pipeline. Functional blocks are grouped and numbered by stage: S1 Extract (wiki text → 220 raw TC-IR records via GLM-4-flash; 211 schema-valid), S2 Curate and Compile (post-processing and targeted re-extraction → 239-record pool; confidence-ranked curation → 37 records; + 8 manually authored, human-verified records → 45-record library; deterministic template compiler → LTLf formulas), S3 Instantiate (parallel typed monitors), S4 Validate and Repair (symbol grounding, parallel validation, repair module). LLM: Large language model; TC-IR: Temporal Constraint Intermediate Representation; LTLf: Linear Temporal Logic over finite traces.