feat(llm): Entra ID auth for the Azure OpenAI backend - #2389
Open
keith-oak wants to merge 1 commit into
Open
Graphify Labs / Graphify Formal Verification
completed
Aug 2, 2026 in 0s
No divergence found (not a proof)
Compared 00efd6e7969837ae4a9f11d8d504dcd3b20b09df (base) against 4605a6e4b69e52e465cb61f6d37614359d7cb376 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 2 | 2 | 0 |
graphify/llm\.py· _azure_client: unsupported — not verifiable: all 9 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous (mostly OpenAIError — names the real obstacle, not a sampling gap)graphify/llm\.py· extract_files_direct: unsupported — parameter `root` is annotated `Path` — outside the synthesizable primitive/collection set
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 4 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
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.
Loading