All issues

Search results

vera-core tests mutate the process environment; convert them to child processes

Status: Open.

#140 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

vera serve: a client disconnecting during a cold model load discards the build, so the next request reloads from scratch

Status: Open.

#139 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

Source reads validate by path and open by path: the validate-to-open window spans discovery, indexing and retrieval

Status: Open.

#135 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

A trailing period changes 7 of 8 results, and identical queries can return different orderings

Status: Open.

#122 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

Concept-file injection floods the result window and discards the hybrid results

Status: Open.

#121 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

JSON language values are not accepted by --lang, and retrieval.max_rerank_batch is never read

Status: Open.

#120 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

store_index stamps the index fresh before rebuilding the vector and BM25 stores, so a crash leaves a wrong index that reports healthy

Status: Open.

#119 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

CodeRankEmbed query prefix differs between the local and API paths

Status: Open.

#118 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

MCP and serve diverge from the CLI: no staleness warning, per-cycle model rebuild, per-request model load

Status: Open.

#117 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

MCP search_code advertises fused multi-query results but concatenates and truncates

Status: Open.

#116 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

RST include fan-out is exponential; model and ONNX Runtime downloads are unverified

Status: Open.

#109 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026

Stored index paths are joined to the repo root without validation, allowing reads outside the repository

Status: Open.

#108 In VeraTools/Vera;

· citron07r opened on Aug 20, 2026