Martin Vogel 20dd0d8715 wip(resolver): JavaScript member rule and format pass, untested ...

Preserves the js-ts lane's on-disk work after its tools were refused. Nothing here has been through a suite: no RED proof, no precision sample for the member rule. Not ready to integrate.

Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>

2026-11-01 14:27:22 +01:00

..

fixtures

ci(codeql): PR scan per language inside PR CI, full scan on main

2026-10-20 23:09:09 +02:00

fuzz

refactor(mem): route this branch's allocations through the memory core

2026-09-18 23:27:23 +02:00

repro

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

windows

Merge branch 'main' into fix/windows-local-transition-cleanup

2026-10-16 13:54:11 +03:00

coverage_live_v2_admin.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

coverage_live_v2_fault.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

coverage_live_v2_native.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

coverage_live_v2_support.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

grammar_cases.h

Add per-grammar regression suite across all 159 grammars

2026-06-05 21:53:25 +02:00

if_native_git_path.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

if_native_git_path.h

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

resolver_quality.h

Preserve exact resolver oracle source bytes on Windows

2026-10-28 09:04:45 +01:00

scale_contract.sh

feat(mcp): make tool output lean and lossless

2026-09-05 06:05:08 +02:00

smoke_guard.sh

feat: add coverage-aware agent integrations

2026-07-13 01:50:03 +02:00

test_ac.c

Resolve all clang-tidy, cppcheck, and clang-format warnings across 94 files

2026-03-15 22:37:34 +01:00

test_activation_diagnostic_contract.sh

fix(cli): name the check that refused, and a remedy that can remove it

2026-09-12 16:50:42 +02:00

test_activation_transaction.c

Merge main and strengthen home alias ownership regression coverage

2026-10-21 03:14:59 +02:00

test_agent_clients.c

test(cli): restore Pi abort-kill assertion dropped alongside #2787 test

2026-10-27 23:41:04 +01:00

test_agent_profiles.c

fix(opencode): pass input args to augment hook and allow tool search in subagents

2026-09-04 21:45:24 +07:00

test_architecture_projection.c

Use memory core for Lens response ownership

2026-10-11 20:16:34 +02:00

test_arena.c

perf: cut the allocation churn and repeated work the sanitizer found

2026-09-18 03:31:22 +02:00

test_artifact.c

fix(adr): store ADRs in a per-project sidecar DB, untouched by reindex

2026-10-22 04:45:43 -05:00

test_ast_profile.c

fix: char buf[1] = "X" → {'X'} for -Wunterminated-string-initialization on Windows/clang

2026-06-29 09:45:28 -06:00

test_build_dir_safety.sh

fix(daemon,win): CI-green fixes and a daemon-stability guard

2026-07-22 17:48:20 +02:00

test_c_lsp.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_call_reference_contract.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_callable_sig.c

feat(identity): callable identity plumbing, no language enabled (#2061)

2026-10-01 00:10:39 +02:00

test_cli.c

Merge origin/main into fix/2722-install-managed-binary-path

2026-10-31 06:11:22 +01:00

test_codeql_retrace.sh

fix(ci): retrace changed vendor families and wrappers

2026-10-21 00:07:51 +02:00

test_complexity.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_conditional_variants.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_config_json_like.c

Merge branch 'main' into fix/1954-uninstall-symlinked-config

2026-09-11 23:26:33 +02:00

test_config_text_edit.c

fix(cli): follow user-owned symlinked config files in the editors

2026-09-08 02:04:51 +02:00

test_config_toml_edit.c

test(config): a v0.10.2 Codex block now upgrades in place to the PreToolUse block

2026-10-25 17:56:40 +01:00

test_config_yaml_edit.c

fix(install): Hermes hook edit no longer refuses unrelated YAML sections (#2209)

2026-09-25 22:56:39 +02:00

test_configlink.c

feat(configlink): TOML and INI keys link by exact name in their component

2026-10-14 22:09:37 +02:00

test_convergence_probe.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_coverage_children.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_children.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_flush.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_live_v2.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_map.sh

fix(test): the Windows leg runs the test-impact contracts, and its verdict cannot be faked

2026-10-06 03:19:38 +02:00

test_coverage_merge.sh

fix(test): the Windows leg runs the test-impact contracts, and its verdict cannot be faked

2026-10-06 03:19:38 +02:00

test_coverage_parent_failure.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_parent_failure.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_coverage_terminal.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_cpp_index_hang.sh

Fix O(n^2) overload resolution in the C/C++ cross-LSP registry (#410)

2026-06-06 22:16:04 +02:00

test_cross_repo.c

fix(cross-repo): no row count decides which calls are matched

2026-10-10 15:24:17 +02:00

test_cs_lsp_bench.c

fix(build): give sanitized-build detection one spelling and a backstop

2026-08-14 06:46:05 -04:00

test_cs_lsp.c

fix: preserve semantic graph relationships

2026-07-18 15:52:50 +02:00

test_cypher.c

Merge pull request #2744 from harshitaajoshi/fix/2591-cypher-where-property-compare

2026-10-26 01:58:25 +01:00

test_daemon_application.c

Merge origin/main into fix/permanent-daemon-watch

2026-10-30 22:37:40 +01:00

test_daemon_bootstrap.c

feat(test-impact): team artifact bundles and admitted coverage

2026-10-05 18:52:26 +02:00

test_daemon_frontend.c

feat(mcp): opt-in async index_repository with status polling (#2144)

2026-09-25 23:03:56 +02:00

test_daemon_ipc.c

Merge branch 'main' into fix/cohort-lock-tmp-cleaner

2026-10-20 19:45:49 +02:00

test_daemon_open_readiness.py

revert(release): re-embed runtime assets into the single shipped binary

2026-08-09 13:06:42 +02:00

test_daemon_runtime_contract.h

fix: stabilize cross-platform daemon coordination

2026-07-18 11:48:59 +02:00

test_daemon_runtime.c

Merge origin/main into fix/cohort-lock-tmp-cleaner

2026-10-20 18:31:17 +02:00

test_daemon_smoke.py

fix(install,daemon): unbreak npx clients, group-writable homes, and legacy updaters

2026-08-11 13:37:32 +02:00

test_daemon_version.c

fix(daemon): name the conflicting daemon and the way out on a build conflict (#2277)

2026-09-28 00:01:56 +02:00

test_daemon.c

fix(daemon): compare session roots separator-equivalently without respelling the policy root

2026-09-06 16:23:45 +02:00

test_destructive_ordering_contract.sh

test(install): pin that index deletion runs after every abortable step (#1558)

2026-08-13 14:04:51 +02:00

test_diagnostics.c

fix(output): preserve compact output safety signals

2026-09-05 06:05:08 +02:00

test_diagrams.c

test(diagram): keep the unclosed class declaration in its own diagram

2026-10-30 23:20:25 +01:00

test_discover.c

Merge origin/main into fix/dotd-depinfo-sniff

2026-10-28 18:13:34 +01:00

test_doc_links_adoc.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_links_md.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_doc_links_pdf.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_links_rst.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_c.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_go.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_helpers.h

doc-links: ship the doc-comment families that passed their held-out audit

2026-10-11 12:43:35 +02:00

test_doc_mentions_jvm.c

Merge current main into shared resolver implementation

2026-10-28 04:49:17 +01:00

test_doc_mentions_perl.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_php.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_rs.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions_ts.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doc_mentions.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_doclinks.c

fix(pipeline): address doclinks review feedback

2026-09-22 08:48:33 +02:00

test_dump_verify_io.c

Add post-dump plausibility gate returning status:degraded (#334)

2026-06-23 06:38:45 +09:00

test_dump_verify.c

fix(dump): detect sparse absolute persistence loss

2026-08-27 10:15:09 +02:00

test_dyn_array.c

Fix Windows build: add missing stdint.h include in test_dyn_array

2026-03-25 09:28:11 +01:00

test_edge_imports.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_edge_structural.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_edge_types_probe.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_extraction_imports.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_extraction_inheritance.c

fix(extraction): keep Ruby superclass names bare

2026-08-18 15:56:41 +08:00

test_extraction.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_failure_report_contract.sh

fix(ci): preserve executable modes for failure report scripts

2026-10-12 20:18:19 +02:00

test_fqn.c

feat(docker): a Dockerfile DEPENDS_ON the images it builds on

2026-10-11 11:42:35 +02:00

test_framework.h

test(harness): per-test selection and per-test coverage profiles

2026-10-01 22:56:52 +02:00

test_git_context.c

fix(mcp,cypher): allocate the new query-path memory through the memory core

2026-10-14 20:18:55 +02:00

test_git_env_isolation_contract.sh

fix(tests): ignore an inherited git repository environment (#2003)

2026-09-30 23:50:03 +02:00

test_gitignore_checked.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_gitignore.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_go_lsp.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_grammar_imports.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_grammar_labels.c

test(grammar): pin C# 14 extension block members in the regression net

2026-10-20 19:30:16 +02:00

test_grammar_probe_a.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_grammar_probe_b.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_grammar_probe_c.c

Add grammar-only probe suites (~35 code grammars); +1 new root-cause class

2026-06-07 19:13:01 +02:00

test_grammar_probe_d.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_grammar_probe_e.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_grammar_probe_f.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_grammar_probe_g.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_grammar_regression.c

Merge origin/main into fix/objectscript-empty-deserialize

2026-10-25 20:26:27 +01:00

test_graph_buffer.c

test(graph_buffer): a failed edge append must not report success

2026-10-31 21:34:41 +01:00

test_graph_mem.c

perf(store): evict idle adjacency layers, budget them, own memory class

2026-10-14 22:54:02 +02:00

test_harness_selection.sh

ci(test-impact): team artifact producer, PR shadow and the PR-CI narrowing switch

2026-10-05 18:52:31 +02:00

test_harness_test_only.sh

fix(test): the Windows leg runs the test-impact contracts, and its verdict cannot be faked

2026-10-06 03:19:38 +02:00

test_hash_table.c

refactor(mem): route this branch's allocations through the memory core

2026-09-18 23:27:23 +02:00

test_helpers.h

fix(tests): ignore an inherited git repository environment (#2003)

2026-09-30 23:50:03 +02:00

test_hook_conflict_notice.sh

fix(test): isolate harness daemon runtimes

2026-08-17 22:07:11 +03:00

test_httpd.c

Use memory core for Lens response ownership

2026-10-11 20:16:34 +02:00

test_importance.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_incremental.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_index_format.c

fix(docker): never invent a registry host for an image

2026-10-16 02:10:53 +02:00

test_index_policy.c

feat(index): add opt-in discovery resource limits

2026-09-09 16:06:59 +08:00

test_index_resilience.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_index_supervisor.c

fix(index): name a worker that exits cleanly without a response (#1300)

2026-09-26 07:14:58 +02:00

test_infrascan.c

Merge remote-tracking branch 'origin/main' into prq/pr2752-fixup

2026-10-26 01:46:52 +01:00

test_integration.c

Merge remote-tracking branch 'origin/main' into feat/shared-coordination-daemon

2026-07-18 13:48:06 +02:00

test_inventory_filter_cases.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_errors.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_internal.h

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_limits.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_native_fixture.c

test(inventory): name the failing stage of the native inventory fixture

2026-10-06 18:07:16 +02:00

test_inventory_filter_native_internal.h

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_native_platform.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_native.c

test(inventory): name the failing stage of the native inventory fixture

2026-10-06 18:07:16 +02:00

test_inventory_filter_structure_extra.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter_support.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_inventory_filter.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_java_lsp_coverage.c

feat(lsp): Java hybrid LSP resolver (type-aware calls, annotations, signatures)

2026-06-02 18:52:37 +02:00

test_java_lsp.c

fix: preserve semantic graph relationships

2026-07-18 15:52:50 +02:00

test_kotlin_lsp.c

fix: preserve semantic graph relationships

2026-07-18 15:52:50 +02:00

test_kotlin_typed_calls.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_lane_gate_contract.sh

ci: move macOS runners to macos-15 and pin the deployment target to 14.0

2026-10-30 23:44:25 +01:00

test_lane_wiring_contract.sh

ci(codeql): PR scan per language inside PR CI, full scan on main

2026-10-20 23:09:09 +02:00

test_lang_contract.c

Merge pinned main 7b398de4 into the strict shared resolver

2026-10-31 21:34:07 +01:00

test_language_count_contract.sh

test(contract): drop the language-count surfaces #2729 stopped claiming

2026-10-21 00:33:40 +02:00

test_language.c

Merge origin/main into fix/inc-c-family-routing

2026-10-29 04:33:04 +01:00

test_lock_registry.c

fix(tests): make the lock-registry absolute-deadline fixture deterministic

2026-09-04 15:42:15 +02:00

test_log.c

fix(mcp): keep request timing, defer protocol behaviour changes

2026-10-26 01:58:34 +01:00

test_lsp_resolution_probe.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_lz4.c

Resolve all clang-tidy, cppcheck, and clang-format warnings across 94 files

2026-03-15 22:37:34 +01:00

test_main.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_makefile_ts_runtime_dependencies.sh

feat: complete shared daemon lifecycle

2026-07-18 01:26:08 +02:00

test_matrix_known_classes.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_matrix_new_constructs.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_mcp.c

Merge origin/main into fix/adr-reindex-race

2026-10-31 16:38:41 +01:00

test_mcpb_bundle_contract.sh

ci(composition): scope A1d-bind-now to release links, declare fixtures by name

2026-09-04 22:02:47 +02:00

test_mcpb_registry_entries_contract.sh

fix(release): restore exec bits on the new mcpb scripts

2026-08-11 17:01:24 +02:00

test_mem_events.c

refactor(mem): route this branch's allocations through the memory core

2026-09-18 23:27:23 +02:00

test_mem.c

Complete strict resolver regression migration

2026-10-28 07:37:07 +01:00

test_memlab_runtime_isolation_contract.sh

fix(test): isolate memlab harness daemon runtime

2026-09-13 13:52:08 +03:00

test_node_creation_probe.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_nomic_blob_generator_contract.sh

fix(build): stop blob regeneration from reverting the ELF stack hardening

2026-08-20 21:20:44 +02:00

test_openapi.c

feat(docs): diagrams and OpenAPI operations in the graph

2026-10-11 02:08:58 +02:00

test_parallel_harness_contract.sh

test(harness): hold the scheduler contract's fixtures by construction

2026-09-28 19:45:45 +02:00

test_parallel.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_parent_watchdog.sh

test(watchdog): guard the ps -W pipeline for POSIX cleanup

2026-09-06 13:12:20 +08:00

test_parse_coverage.c

Merge origin/main into fix/issue-2481-tsx-ampersand

2026-10-20 07:16:11 +02:00

test_path_alias.c

fix(workspace): do not follow links in the path-alias config walk

2026-10-02 05:34:41 +02:00

test_perl_lsp.c

fix: preserve semantic graph relationships

2026-07-18 15:52:50 +02:00

test_php_lsp.c

fix(php): index trait methods by receiver while flattening (#1265)

2026-10-19 04:39:09 +02:00

test_pipeline_conventions.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_pipeline_frozen.c

Add shared semantic resolution with explicit proof admission

2026-10-25 18:20:22 +01:00

test_pipeline.c

wip(resolver): JavaScript and TypeScript modules, scopes and exports

2026-11-01 14:07:04 +01:00

test_platform.c

Merge origin/main into pr/windows-setenv-utf8

2026-10-26 01:52:26 +01:00

test_private_file_lock.c

fix(daemon): address QA round 1

2026-09-21 13:02:07 -05:00

test_prod_allocator_contract.sh

test(mem): pin the production allocator's start-up and local patches

2026-10-21 00:33:51 +02:00

test_profile_map_v2.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_profile_text_parser.py

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_project_lock.c

feat: complete shared daemon lifecycle

2026-07-18 01:26:08 +02:00

test_py_lsp_bench.c

test(bench): make the py-lsp time budget a liveness backstop, not a perf gate

2026-08-10 16:40:31 +02:00

test_py_lsp_scale.c

test(py-lsp): gate the shared cross-registry build on counted work

2026-10-20 19:29:02 +02:00

test_py_lsp_stress.c

feat(py_lsp): close all stress gaps — lambda, dict-dispatch, async, callable, next, kwargs

2026-05-09 14:16:15 +02:00

test_py_lsp.c

Merge origin/main into perf/py-cross-registry-index

2026-10-28 23:51:03 +01:00

test_registry.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_release_archive_extractor_contract.sh

feat(release): ship MCPB bundles and publish them to the MCP Registry (#1246)

2026-08-11 17:01:24 +02:00

test_release_candidate_derivation_contract.sh

ci(composition): scope A1d-bind-now to release links, declare fixtures by name

2026-09-04 22:02:47 +02:00

test_release_gate_chain_contract.sh

test: gate-chain contract pins the explicit-result conditions

2026-08-18 22:30:28 +02:00

test_resolver_binding_generic.c

wip(resolver): JavaScript and TypeScript modules, scopes and exports

2026-11-01 14:07:04 +01:00

test_resolver_binding_js.c

wip(resolver): JavaScript member rule and format pass, untested

2026-11-01 14:27:22 +01:00

test_resolver_binding.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_c.c

test(c_lsp): a nested syntax error bounds proofs at the error

2026-10-31 23:36:17 +01:00

test_resolver_capabilities.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_resolver_contract.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_cs.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_diagnostics.c

Require explicit import proofs and expose per-edge capabilities

2026-10-28 05:26:51 +01:00

test_resolver_generation.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_resolver_go.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_resolver_import_authority.c

Merge main a6d0d6c9 into the strict shared resolver

2026-10-31 22:12:49 +01:00

test_resolver_infra.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_integration.c

test(resolver): source text that is not UTF-8 must not stop publication

2026-10-31 23:51:54 +01:00

test_resolver_java.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_k8s.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_kotlin.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_lookup.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_php.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_pipeline.c

test(resolver): project-wide proof pools must have no work budget

2026-11-01 00:20:14 +01:00

test_resolver_proof_ownership.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_proof.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_py_types.c

Complete strict resolver proof integration and quality accounting

2026-10-27 19:16:41 +01:00

test_resolver_python.c

Add shared semantic resolution with explicit proof admission

2026-10-25 18:20:22 +01:00

test_resolver_quality.c

Preserve exact resolver oracle source bytes on Windows

2026-10-28 09:04:45 +01:00

test_resolver_rust.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_resolver_solver.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_stabilization.c

Complete strict resolver proof bridges and type propagation

2026-10-29 02:50:03 +01:00

test_resolver_symbols.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_ts.c

wip(resolver): JavaScript and TypeScript modules, scopes and exports

2026-11-01 14:07:04 +01:00

test_resolver_types.c

Require occurrence-bound evidence for cross-file edges

2026-10-25 22:14:52 +01:00

test_resolver_variants.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_route_canon.c

fix(routes): canonicalize path parameters so client calls match handlers

2026-06-23 13:52:08 -03:00

test_runtime_isolation_contract.sh

test: checkpoint cross-platform harness fixes

2026-10-03 18:37:19 +02:00

test_runtime_settings.c

fix(daemon): settings startup survives busy and interrupted writes

2026-10-15 18:07:25 +02:00

test_rust_lsp.c

test(rust-lsp): tag the shared-registry fixtures as Rust defs

2026-10-18 06:55:57 +02:00

test_scope.c

perf(lsp): collapse repeated Python scope-chain lookups

2026-09-28 00:13:39 +02:00

test_script_exec_bit_contract.sh

fix(ci): mark the new lane scripts executable, and let the contract see them

2026-08-03 15:42:32 +02:00

test_security_audit_subprocess_calls.sh

Use the current Bash in subprocess audit fixtures

2026-10-11 20:42:19 +02:00

test_security_fuzz_harness.sh

test: checkpoint cross-platform harness fixes

2026-10-03 18:37:19 +02:00

test_security_gate_fail_closed.sh

ci(codeql): PR scan per language inside PR CI, full scan on main

2026-10-20 23:09:09 +02:00

test_security_strings_allowlist.sh

fix(security): allow the bare wget token the shell pass compares

2026-10-15 03:18:42 +02:00

test_security_ui_urls.sh

Audit all Lens source URLs with scoped fixture exceptions

2026-10-11 18:23:58 +02:00

test_security.c

fix(release): externalize runtime assets and harden VT verification

2026-08-08 17:35:05 +02:00

test_select_lanes.sh

fix(ci): normalize Windows paths in CodeQL retracing

2026-10-21 20:04:54 +02:00

test_semantic.c

feat(docs): a diagram section's candidates carry its diagram family's p

2026-10-11 15:46:00 +02:00

test_setup_scripts_contract.sh

fix(setup): install through install.sh / install.ps1, one install path

2026-10-02 06:50:04 +02:00

test_shell_line_endings.sh

feat(ci): seeded fuzz leg, and register both new legs as canonical entries

2026-09-18 03:31:42 +02:00

test_simhash.c

refactor(mem): route this branch's allocations through the memory core

2026-09-18 23:27:23 +02:00

test_slab_alloc.c

test: add 56 unit tests for semantic, slab_alloc, and ast_profile modules

2026-06-28 21:57:35 -06:00

test_smoke_fixture_contract.sh

ci: run only the selected lanes on PRs; dry run and release unchanged

2026-09-30 23:21:43 +02:00

test_smoke_runtime_isolation_contract.sh

fix(test): arm smoke runtime cleanup at init, retire the daemon first

2026-09-21 11:29:04 +03:00

test_soak_daemon_recovery_contract.sh

fix(test-infra): repair the native Windows soak transport and release checks

2026-07-25 00:37:05 +02:00

test_soak_runtime_isolation_contract.sh

fix(test): isolate soak harness daemon runtime

2026-09-13 13:52:00 +03:00

test_spawn_no_window_contract.sh

fix(windows): suppress the console window on the last spawn site (#1427)

2026-08-07 14:58:22 +02:00

test_spawns.c

graph: one identity per conditional definition, SPAWNS edges, no cross-language guesses

2026-10-06 02:44:56 +02:00

test_sqlite_writer.c

fix(store): use 64-bit file offsets in the SQLite page writer

2026-10-13 16:28:45 +09:00

test_stack_overflow.c

fix(ts): bound recursive member and method lookup

2026-10-13 17:50:13 +08:00

test_store_arch.c

Merge origin/main into fix/adr-reindex-race

2026-10-30 22:29:41 +01:00

test_store_bulk.c

fix(pipeline): bound unresolved call evidence

2026-10-07 23:50:20 +00:00

test_store_checkpoint.c

fix(store): one process-wide section for a query connection's first access

2026-10-07 19:20:08 +02:00

test_store_edges.c

fix(graph): IMPORTS edges keyed by local_name across buffer, store and dump

2026-07-03 20:16:39 +02:00

test_store_graph_digest.c

Merge pinned main 7b398de4 into the strict shared resolver

2026-10-31 21:34:07 +01:00

test_store_impact.c

fix(graph): platform variants keep their path QNs and are related by variant_key

2026-10-13 18:33:40 +02:00

test_store_nodes.c

fix(store): keep unresolved_calls rows out of the missed graph

2026-10-25 22:30:47 +01:00

test_store_pragmas.c

perf(mcp): fast query tools on every platform

2026-10-14 18:26:57 +02:00

test_store_scope.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_store_search.c

perf(store): index-friendly plans for architecture, schema counts and anchored name search

2026-10-14 21:20:07 +02:00

test_str_intern.c

Add 480+ tests, fix 3 bugs discovered by new test coverage

2026-03-24 23:48:23 +01:00

test_str_util.c

fix(resolver): keep JSON strict when source text is not UTF-8

2026-10-31 23:57:23 +01:00

test_subprocess.c

wip: Smart CI narrows PR CI for real (pre-rebase checkpoint)

2026-10-17 14:48:52 +02:00

test_test_conventions.c

feat(test-impact): detect_changes scope:"tests" end to end

2026-10-05 02:15:08 +02:00

test_test_impact_artifact.c

feat(test-impact): team artifact bundles and admitted coverage

2026-10-05 18:52:26 +02:00

test_test_impact_changes.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_classify.c

feat(test-impact): detect_changes scope:"tests" end to end

2026-10-05 02:15:08 +02:00

test_test_impact_engine.c

Complete proof bridges and migrate resolver quality contracts

2026-10-28 04:48:12 +01:00

test_test_impact_git.c

wip: Smart CI narrows PR CI for real (pre-rebase checkpoint)

2026-10-17 14:48:52 +02:00

test_test_impact_inventory_errors.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_inventory_internal.h

feat(test-impact): detect_changes scope:"tests" end to end

2026-10-05 02:15:08 +02:00

test_test_impact_inventory_support.c

feat(test-impact): detect_changes scope:"tests" end to end

2026-10-05 02:15:08 +02:00

test_test_impact_inventory.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_origins.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_predict.sh

ci: report-only test-impact shadow job on PRs

2026-09-30 23:29:52 +02:00

test_test_impact_profiles.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_runner_filter_fixture.c

wip: Smart CI narrows PR CI for real (pre-rebase checkpoint)

2026-10-17 14:48:52 +02:00

test_test_impact_runner_filter_process.c

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_test_impact_runner_filter.c

wip: Smart CI narrows PR CI for real (pre-rebase checkpoint)

2026-10-17 14:48:52 +02:00

test_test_impact_runner_filter.h

wip: Smart CI narrows PR CI for real (pre-rebase checkpoint)

2026-10-17 14:48:52 +02:00

test_test_impact_seed.c

fix(graph): platform variants keep their path QNs and are related by variant_key

2026-10-13 18:33:40 +02:00

test_test_impact_selection.sh

ci(test-impact): team artifact producer, PR shadow and the PR-CI narrowing switch

2026-10-05 18:52:31 +02:00

test_test_impact_source.c

fix(test-impact): a changed code line is never a comment line

2026-10-06 18:07:16 +02:00

test_test_impact_tree.c

fix(test-impact): accept the owner-only DACL as Windows stores it

2026-10-06 05:58:39 +02:00

test_test_impact.c

test(test-impact): make the conditional-path fixture a valid coverage map

2026-10-18 17:10:45 +02:00

test_thread_stack_tls_contract.sh

fix: keep large thread-locals off the static TLS block

2026-09-18 23:26:05 +02:00

test_traces.c

fix(traces): stop an unreadable span timestamp from becoming a real duration

2026-09-02 21:55:30 -04:00

test_ts_lsp.c

Merge pinned main 7b398de4 into the strict shared resolver

2026-10-31 21:34:07 +01:00

test_type_rep.c

Fix uninitialized template-arg arrays binding stack garbage into type graphs

2026-06-10 12:11:02 +02:00

test_ui_dev_proxy_security.sh

daemon: permanent lifecycle, daemon-backed CLI/hooks, real-Windows hardening, long-path launcher transactions

2026-07-21 15:32:15 +02:00

test_ui_license_inventory.py

chore(ui): drop sharp and its LGPL libvips; the license gate allows no exception

2026-10-13 20:57:12 +02:00

test_ui.c

Merge origin/main into fix/1762-paired-free-functions

2026-10-27 19:17:40 +01:00

test_userconfig.c

fix(discover): map jinja and jinja2 in userconfig language table

2026-10-08 18:33:34 -06:00

test_vendored_integrity_contract.sh

fix(release): externalize runtime assets and harden VT verification

2026-08-08 17:35:05 +02:00

test_venue_parity_contract.sh

ci(codeql): PR scan per language inside PR CI, full scan on main

2026-10-20 23:09:09 +02:00

test_version_cohort.c

style(tests): drop unrelated reflow hunks

2026-09-25 14:24:26 -05:00

test_version_metadata_contract.sh

feat(plugin): Claude Code plugin marketplace, discovery slice

2026-10-21 00:34:29 +02:00

test_vm_isolated_dispatch.sh

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_vm_isolation_contract.sh

fix(test): a failed Windows preflight contract leaves its reason in the leg log

2026-10-06 03:36:33 +02:00

test_vm_verdict_contract.sh

fix(test): a failed Windows preflight contract leaves its reason in the leg log

2026-10-06 03:36:33 +02:00

test_vm_worktree_manifest.sh

fix(release): externalize runtime assets and harden VT verification

2026-08-08 17:35:05 +02:00

test_vmem.c

Forbid test skips and convert existing skips to hard failures

2026-06-05 21:53:25 +02:00

test_vt_candidate_selection_contract.sh

fix(ci): finish the three-candidate wiring and restore full-surface VT scanning

2026-08-14 00:21:31 +02:00

test_vt_gate_policy_contract.sh

fix(ci): publish VT evidence under the marker the gate actually writes

2026-08-14 04:40:07 +02:00

test_vt_release_notes_contract.sh

fix(ci): release notes report the shipped binary, not every candidate

2026-08-14 12:48:40 +02:00

test_watcher_disabled.sh

test: checkpoint cross-platform harness fixes

2026-10-03 18:37:19 +02:00

test_watcher.c

fix(watcher): inspect repository and cache paths as UTF-8

2026-10-14 16:49:39 +09:00

test_windows_bundle_contract.sh

install.ps1: report checksum-verified layout mismatch separately from unsafe archive

2026-10-22 16:41:03 +05:30

test_windows_preflight_contract.ps1

wip(ci): checkpoint hybrid test-impact implementation

2026-10-03 23:55:18 +02:00

test_worker_error_response.sh

feat(index): add opt-in discovery resource limits

2026-09-09 16:06:59 +08:00

test_worker_pool.c

Make parallel_for_actually_parallel deterministic

2026-06-06 19:48:48 +02:00

test_worker_session_scope.sh

fix(test): the worker-scope script sends the policy a supervisor sends

2026-09-20 21:40:37 +02:00

test_worker_watchdog.sh

feat(index): add opt-in discovery resource limits

2026-09-09 16:06:59 +08:00

test_workspace.c

Merge branch 'main' into feat/path-allow-broad-too-shallow-override

2026-10-20 19:45:03 +02:00

test_yaml.c

Add 480+ tests, fix 3 bugs discovered by new test coverage

2026-03-24 23:48:23 +01:00

test_zstd.c

feat: add persistent artifact storage for team sharing

2026-04-15 23:56:03 +02:00