Process-aware programming assessment through temporal knowledge graph reasoning and LLM verification (Discover Artificial Intelligence (Springer), 2026)