code2logic extracts control flow/data flow/call graphs but search currently does not consume their IR. AC: stable read-only structural export and schema version, normalized symbol-local CFG/DFG/I-O/effects with source hashes; alpha-renaming equivalent positive fixtures and behavior-changing negative fixtures; structural similarity stays advisory. User-authorized audit backlog 2026-10-03. This proposal does not start competing implementation.
Strategy Metadata:
- repository: semcod/code2logic
- planfile_id: semcod/code2logic:e3471ebef2189de8:PLF-006
code2logic extracts control flow/data flow/call graphs but search currently does not consume their IR. AC: stable read-only structural export and schema version, normalized symbol-local CFG/DFG/I-O/effects with source hashes; alpha-renaming equivalent positive fixtures and behavior-changing negative fixtures; structural similarity stays advisory. User-authorized audit backlog 2026-10-03. This proposal does not start competing implementation.
Strategy Metadata: