research-document

FE-013 Analysis Plan

FE-013 Analysis Plan

  • Compare AST richness across artifacts.
  • Compare loop presence.
  • Compare branch presence.
  • Compare entry and exit conditions.
  • Compare invariant extraction.
  • Compare static versus procedural artifacts.
  • Compare model agreement across GPT, Claude, and Gemini.
  • Identify whether procedural ASTs offer more useful comparison than primitive sequences.