Skip to content

chore(experiments): E-S1/E-S2 live-repo results + Exhibit #23 audit docs - #32

Merged
ManSio merged 13 commits into
mainfrom
chore/experiments-es1-es2-0909
Sep 10, 2026
Merged

ManSio merged 13 commits into
mainfrom
chore/experiments-es1-es2-0909

Conversation

@ManSio

@ManSio ManSio commented Sep 9, 2026

Copy link
Copy Markdown
Owner

Experiments + audit session docs: E-S1/E-S2 polygon, .h issue, Exhibit #23 absent tool call research. 9 pre-commit checks passed; facts verified via MCP not grep.

MSCodeBase Agent added 4 commits September 8, 2026 15:40
COLLECT(expr) now lowers to json_group_array(expr) FILTER (WHERE expr IS NOT NULL): Neo4j semantics (null-ignored, empty match -> []). collect(*) and nested collect raise explicit ValueError; DISTINCT is rejected by the parser layer. Translator marks collect columns (collect_cols); cypher_executor decodes json.loads only for marked string columns (collision-safe, warning-only on decode failure).

13 new SQL/E2E/error tests incl. decode-collision guard; full pytest 1663 passed / 6 skipped / 91 deselected (verified 5x incl. sanitized-env gate-zero replica); ruff clean; verify_diary 16/0; negative controls: stale_detector PROVEN. Red Team 5/5. Experiments G1/G2 raw-verified on sqlite 3.50.4.

Refs KNOWN_ISSUES 2026-09-07 (collect open -> fixed).
Remove 3 duplicate issue blocks (full version kept), fix false entry counter (11 -> 14) after dedup, set yellow temperature + deadline + owner on open items (VOR lazy-only by 2026-09-15, B4 refactor by 2026-10-01).
- EXPERIMENTS_LOG: E-S1/E-S2 on 6 real top-repos (imports edge-rate
  java 0.867 / php 0.797 / c 0.680 / kotlin 0.853 / dart 0.940 /
  ruby 0.618; calls php 0.813 / ruby 0.562 / c 0.250 / dart 0.080 -
  synthetic "PHP/Ruby/C/Dart calls = 0" defect withdrawn; skeleton
  ASSIGNED_FROM+condition_path thousands of rows outside Python)
- KNOWN_ISSUES: new Open entry - .h headers not indexed
  (SUPPORTED_EXTENSIONS lacks .h; curl 65/300 map_lies mostly .h)
- README: tests badge -> 1663 (real full-suite count: 1663 passed /
  6 skipped / 91 deselected, verified twice on this HEAD)
- telemetry: runtime rotation from MCP tool runs

Refs: docs/research/universal-engine-study/05 sec.3, 08 sec.3,
KNOWN_ISSUES #13 (lazy reindex: symbols +28, graph not rebuilt)
@coderabbitai

coderabbitai Bot commented Sep 9, 2026

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Advanced

Run ID: 344d4d4d-97fe-49cc-bf4d-af8ea86cbe57


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

MSCodeBase Agent added 9 commits September 9, 2026 22:13
Verify memory without an agent call: _check_index_health now invokes a
registered hook (set_idle_vor_callback) that runs VerifyOnRead in the
background with budget=250ms and locked()-guard. Uses the shared
_write_lock and get_verifier registry so idle and agent passes
serialize without a second lock. Extract _build_symbol_resolver for
DRY. Closes KNOWN_ISSUES 2026-09-07 (deadline 2026-09-15).
PARSE_EXTENSIONS now includes .h; the C parser handles .h, env and
import node maps map .h->c/preproc_include. Header files previously
produced no AST imports/calls even though they were vector-indexed
(dart-http curl 65/300 chunks were .h). Closes the E-S1 map_lies gap.
Add AlertStore (per-project JSON, thread-safe, dedup by kind+payload,
atomic collect_and_clear limit=5). Generate memory_stale on first
STALE transition in notify_change and memory_starved from idle VOR
and intel_get_project_memory. Deliver via format_system_alerts into
intel_get_project_memory and intel_explain_project_state.

Tests: 14 new (AlertStore + formatter); full pytest 1689 passed.
@ManSio
ManSio merged commit 4fd3b5c into main Sep 10, 2026
12 of 13 checks passed
@ManSio
ManSio deleted the chore/experiments-es1-es2-0909 branch September 10, 2026 02:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant