feat(config): let a project declare what an ambiguous extension means via .graphifyrc (#2961) - #3075

Compared 522ea9662ead3a960f9a67d9d0f499e9b96580cf (base) against 1ad08a9a99e340e8827cc0ca4c12d8f24ad5d448 (head).

Covered 0/13 changed functions (13 abstained, 0 never run)

• graphify/cache\.py · load_cached: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/cache\.py · save_cached: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/detect\.py · classify_file: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/detect\.py · detect: unsupported — parameter `root` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/extract\.py · extract: unsupported — parameter `cache_root` is annotated `Path | None` — outside the synthesizable primitive/collection set
• graphify/extract\.py · _extract_parallel: unsupported — parameter `root` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/extract\.py · _extract_sequential: unsupported — parameter `root` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/extract\.py · _extract_single_file: unsupported — not verifiable: all 8 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous (mostly ValueError — names the real obstacle, not a sampling gap)
• graphify/extract\.py · _get_extractor: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/extract\.py · _lang_family: unsupported — parameter `source_file` is annotated `object` — outside the synthesizable primitive/collection set
• graphify/extract\.py · _lang_is_case_insensitive: unsupported — parameter `source_file` is annotated `object` — outside the synthesizable primitive/collection set
• graphify/hooks\.py · _load_graphifyrc: unsupported — parameter `root` is annotated `Path` — outside the synthesizable primitive/collection set
• graphify/resolver\_registry\.py · run_language_resolvers: unsupported — parameter `paths` is annotated `Sequence` — outside the synthesizable primitive/collection set

Formal verification is advisory: equivalent is a proof over a bounded sound subset; may_equivalent is sampled, not proven; unsupported and error are honest abstentions.