Andrew Hundt b835b5e8b2 fix(cypher): defer unbound relationship predicates ...

execute_single previously evaluated the complete WHERE tree while only the first MATCH alias was bound. A target-alias predicate such as NOT callee.file_path CONTAINS "tests/" therefore rejected every seed before CALLS expansion and returned zero rows.

Add allocation-free three-valued partial evaluation in src/cypher/cypher.c: bound leaves prune early, unbound node or edge aliases remain unknown, and AND/OR/NOT/XOR preserve boolean semantics and safe short-circuiting. Register eval_expr_partial in src/foundation/recursion_whitelist.h.

Add four relationship-target and mixed-alias regressions in tests/test_cypher.c. Verified 159/159 Cypher tests under ASan/UBSan, source-safety and whitelist checks, an -O2 production build, and the formerly empty hotspot query returning 20 bounded rows.

Signed-off-by: Andrew Hundt <ATHundt@gmail.com>

2026-07-18 19:16:09 -04:00

..

repro

…

windows

…

grammar_cases.h

…

scale_contract.sh

…

smoke_guard.sh

…

test_ac.c

…

test_arena.c

…

test_artifact.c

…

test_ast_profile.c

…

test_benchmark_campaign.py

…

test_benchmark_incremental_speed.py

…

test_c_lsp.c

…

test_cli.c

…

test_configlink.c

…

test_convergence_probe.c

…

test_cpp_index_hang.sh

…

test_cs_lsp_bench.c

…

test_cs_lsp.c

…

test_cypher.c

…

test_depindex.c

…

test_discover.c

…

test_dump_verify_io.c

…

test_dump_verify.c

…

test_dyn_array.c

…

test_edge_imports.c

…

test_edge_structural.c

…

test_edge_types_probe.c

…

test_extraction_imports.c

…

test_extraction_inheritance.c

…

test_extraction.c

…

test_foundation_main.c

…

test_fqn.c

…

test_framework.h

…

test_git_context.c

…

test_gitignore.c

…

test_go_lsp.c

…

test_grammar_imports.c

…

test_grammar_labels.c

…

test_grammar_probe_a.c

…

test_grammar_probe_b.c

…

test_grammar_probe_c.c

…

test_grammar_probe_d.c

…

test_grammar_probe_e.c

…

test_grammar_probe_f.c

…

test_grammar_probe_g.c

…

test_grammar_regression.c

…

test_graph_buffer.c

…

test_graph_diff.h

…

test_hash_table.c

…

test_helpers.h

…

test_httpd.c

…

test_httplink.c

…

test_incremental.c

…

test_index_resilience.c

…

test_infrascan.c

…

test_input_validation.c

…

test_integration.c

…

test_java_lsp_coverage.c

…

test_java_lsp.c

…

test_kotlin_lsp.c

…

test_lang_contract.c

…

test_language.c

…

test_log.c

…

test_lsp_resolution_probe.c

…

test_lz4.c

…

test_main.c

…

test_matrix_known_classes.c

…

test_matrix_new_constructs.c

…

test_mcp.c

…

test_mem.c

…

test_node_creation_probe.c

…

test_pagerank.c

…

test_parallel.c

…

test_parent_watchdog.sh

…

test_parse_coverage.c

…

test_path_alias.c

…

test_perl_lsp.c

…

test_php_lsp.c

…

test_pipeline.c

…

test_platform.c

…

test_py_lsp_bench.c

…

test_py_lsp_scale.c

…

test_py_lsp_stress.c

…

test_py_lsp.c

…

test_registry.c

…

test_route_canon.c

…

test_rust_lsp.c

…

test_scope.c

…

test_security_strings_allowlist.sh

…

test_security.c

…

test_semantic.c

…

test_simhash.c

…

test_slab_alloc.c

…

test_sqlite_helpers.h

…

test_sqlite_writer.c

…

test_stack_overflow.c

…

test_store_arch.c

…

test_store_bulk.c

…

test_store_checkpoint.c

…

test_store_edges.c

…

test_store_nodes.c

…

test_store_pragmas.c

…

test_store_search.c

…

test_str_intern.c

…

test_str_util.c

…

test_subprocess.c

…

test_summarize_benchmark_results.py

…

test_token_reduction.c

…

test_tool_consolidation.c

…

test_traces.c

…

test_ts_lsp.c

…

test_type_rep.c

…

test_ui.c

…

test_userconfig.c

…

test_vmem.c

…

test_watcher.c

…

test_worker_pool.c

…

test_worker_watchdog.sh

…

test_yaml.c

…

test_zstd.c

…