From 89918cbf0e75ceb761bdec2d9fbb3f0262d86d87 Mon Sep 17 00:00:00 2001
From: retoor <retoor@molodetz.nl>
Date: Sat, 24 Oct 2026 06:40:09 +0200
Subject: [PATCH] detz: M0 scaffold

---
 tai.py                        | 387 +++++++++++++++++++++++++++++++++-
 taicpp/.clang-format          |   3 +
 taicpp/Makefile               |  58 +++++
 taicpp/VERSION                |   1 +
 taicpp/build/cli.o            | Bin 0 -> 7160 bytes
 taicpp/build/detz             | Bin 0 -> 17184 bytes
 taicpp/build/detz_test        | Bin 0 -> 17320 bytes
 taicpp/build/gen/version.hpp  |   3 +
 taicpp/build/main.o           | Bin 0 -> 1560 bytes
 taicpp/main.cpp               |   2 +
 taicpp/src/agent/.gitkeep     |   0
 taicpp/src/cap/.gitkeep       |   0
 taicpp/src/cli/.gitkeep       |   0
 taicpp/src/cli/cli.cpp        |  17 ++
 taicpp/src/cli/cli.h          |  10 +
 taicpp/src/cli/version.hpp.in |   3 +
 taicpp/src/comms/.gitkeep     |   0
 taicpp/src/config/.gitkeep    |   0
 taicpp/src/llm/.gitkeep       |   0
 taicpp/src/mcp/.gitkeep       |   0
 taicpp/src/plexer/.gitkeep    |   0
 taicpp/src/seal/.gitkeep      |   0
 taicpp/src/shell/.gitkeep     |   0
 taicpp/src/store/.gitkeep     |   0
 taicpp/src/tui/.gitkeep       |   0
 taicpp/src/util/.gitkeep      |   0
 taicpp/tests/test_main.cpp    |  12 ++
 taicpp/tools/changelog.sh     |   7 +
 taicpp/tools/release.sh       |   8 +
 taicpp/tools/tag.sh           |   4 +
 taicpp/tools/version-bump.sh  |   8 +
 test_tai.py                   |  79 +++++++
 32 files changed, 599 insertions(+), 3 deletions(-)
 create mode 100644 taicpp/.clang-format
 create mode 100644 taicpp/Makefile
 create mode 100644 taicpp/VERSION
 create mode 100644 taicpp/build/cli.o
 create mode 100755 taicpp/build/detz
 create mode 100755 taicpp/build/detz_test
 create mode 100644 taicpp/build/gen/version.hpp
 create mode 100644 taicpp/build/main.o
 create mode 100644 taicpp/main.cpp
 create mode 100644 taicpp/src/agent/.gitkeep
 create mode 100644 taicpp/src/cap/.gitkeep
 create mode 100644 taicpp/src/cli/.gitkeep
 create mode 100644 taicpp/src/cli/cli.cpp
 create mode 100644 taicpp/src/cli/cli.h
 create mode 100644 taicpp/src/cli/version.hpp.in
 create mode 100644 taicpp/src/comms/.gitkeep
 create mode 100644 taicpp/src/config/.gitkeep
 create mode 100644 taicpp/src/llm/.gitkeep
 create mode 100644 taicpp/src/mcp/.gitkeep
 create mode 100644 taicpp/src/plexer/.gitkeep
 create mode 100644 taicpp/src/seal/.gitkeep
 create mode 100644 taicpp/src/shell/.gitkeep
 create mode 100644 taicpp/src/store/.gitkeep
 create mode 100644 taicpp/src/tui/.gitkeep
 create mode 100644 taicpp/src/util/.gitkeep
 create mode 100644 taicpp/tests/test_main.cpp
 create mode 100755 taicpp/tools/changelog.sh
 create mode 100755 taicpp/tools/release.sh
 create mode 100755 taicpp/tools/tag.sh
 create mode 100755 taicpp/tools/version-bump.sh

diff --git a/tai.py b/tai.py
index cd3c00e..5cec37e 100755
--- a/tai.py
+++ b/tai.py
@@ -313,7 +313,7 @@ SCHEDULER_INTERVAL = 30
 HTTP_TIMEOUT = 60
 STREAM_TIMEOUT = 300
 APPROVAL_MAX_RETRIES = 3
-VERIFY_MAX_ROUNDS = 2
+VERIFY_MAX_ROUNDS = 9
 VERIFY_TIMEOUT = 120
 VERIFY_STEPS = 6
 VERIFY_MAX_CHARS = 6000
@@ -334,6 +334,11 @@ EVAL_MAX_GOLDENS = 200
 EVAL_MAX_PAIRS = 200
 EVAL_MIN_TOKEN = 6
 EVAL_PREFIX_MIN = 4
+RAG_STATS_EVENTS = 5000
+RAG_STATS_TOP = 20
+RAG_STATS_QUERIES = 20
+RAG_STATS_SAMPLE = 10
+RAG_STATS_KINDS = 30
 
 EDGE_HOST = "speech.platform.bing.com"
 EDGE_WS_PATH = "/consumer/speech/synthesize/readaloud/edge/v1"
@@ -2599,7 +2604,7 @@ BUNDLED_SKILLS = {
     "deep-research": {
         "SKILL.md": r"""---
 name: deep-research
-description: "End-to-end deep research that turns a question into a cited, verifiable report. Use whenever the answer needs many external sources rather than a single lookup: technology/library selection, code and architecture questions, academic or medical literature, market and company facts, policy and standards, and 'what's the latest' or capability/benchmark questions. Routes each sub-question to the most authoritative sources for its domain (GitHub and official docs for code, arXiv/OpenAlex/Semantic Scholar for scholarship, PubMed/Europe PMC for medicine, SEC EDGAR for company facts, vendor and official pages for products), gathers evidence in parallel, triangulates claims, and writes a structured report with dated citations. Trigger on 调研/研究/调查/综述/对比一下 X、帮我查清楚 X、X 的最新进展/评测数据/方案有哪些, and any request for a research report, literature review, landscape survey, or source-backed answer - even when the user does not say the word 'research'."
+description: "End-to-end deep research that turns a question into a cited, verifiable report. Reach for it generously whenever external facts could help resolve the request: prefer it over a single lookup for technology/library selection, code and architecture questions, debugging or resolving an issue, academic or medical literature, market and company facts, policy and standards, and 'what's the latest' or capability/benchmark questions. Routes each sub-question to the most authoritative sources for its domain (GitHub and official docs for code, arXiv/OpenAlex/Semantic Scholar for scholarship, PubMed/Europe PMC for medicine, SEC EDGAR for company facts, vendor and official pages for products), gathers evidence in parallel, triangulates claims, and writes a structured report with dated citations. Trigger on 调研/研究/调查/综述/对比一下 X、帮我查清楚 X、X 的最新进展/评测数据/方案有哪些, troubleshooting and debugging questions, and any request for a research report, literature review, landscape survey, or source-backed answer - even when the user does not say the word 'research'."
 ---
 
 # Deep Research
@@ -2610,9 +2615,10 @@ This skill is **self-contained and host-agnostic**. It defines the *method*; it
 
 ## When to use
 
-Use it when the answer must be assembled from **multiple external sources** and needs to be current, comparative, or authoritative:
+Use it generously whenever external facts could help resolve the request, especially when the answer needs to be current, comparative, or authoritative:
 
 - technical / library / architecture selection, migration paths, "X vs Y"
+- debugging or resolving an issue: errors, unexpected behavior, root-cause analysis
 - literature reviews, "what does the research say about X"
 - medical, clinical, or life-science questions
 - market, company, competitive, or due-diligence facts
@@ -19535,6 +19541,372 @@ class RetrievalEval:
         return "\n".join(lines)
 
 
+class RagStats:
+    """RAG usage and effectiveness stats (spec). One read-only rollup over
+    the vault tables plus the event log, printed by --stats-rag.
+
+    Definitions: shown means a record id appeared in a search-query event
+    hit list; read means a record-read event named the id; context uses is
+    shown plus read (both inject vault text into the LLM context, snippets
+    on show, full pages on read); read-through is reads divided by shows.
+    The events window holds the newest RAG_STATS_EVENTS rows; totals via
+    COUNT(*) are exact, window-derived shares are labeled as window shares.
+    Caps: RAG_STATS_* constants bound rows scanned, top lists, and samples."""
+
+    @staticmethod
+    def _one(db, sql, params=()):
+        try:
+            row = db.execute(sql, tuple(params)).fetchone()
+        except sqlite3.Error:
+            return None
+        return row[0] if row else None
+
+    @staticmethod
+    def _rows(db, sql, params=()):
+        try:
+            return db.execute(sql, tuple(params)).fetchall()
+        except sqlite3.Error:
+            return []
+
+    @staticmethod
+    def _parse_hits(raw):
+        kinds = {}
+        ranked = []
+        shown_records = []
+        shown_chunks = []
+        for piece in (raw or "").split(","):
+            piece = piece.strip()
+            if not piece:
+                continue
+            kind, sep, rest = piece.partition(":")
+            if not sep or kind not in ("record", "event", "audit", "chunk", "log"):
+                kinds["other"] = kinds.get("other", 0) + 1
+                ranked.append(piece)
+                continue
+            kinds[kind] = kinds.get(kind, 0) + 1
+            if kind == "record":
+                ranked.append(rest)
+                shown_records.append(rest)
+            elif kind == "chunk":
+                ranked.append(piece)
+                shown_chunks.append(rest or piece)
+            else:
+                ranked.append(piece)
+        return kinds, ranked, shown_records, shown_chunks
+
+    @staticmethod
+    def _parse_search_event(text):
+        try:
+            parts = dict(part.split("=", 1) for part in str(text or "").split("\t") if "=" in part)
+            query = (parts.get("q") or "").strip()
+            if not query:
+                return None
+            kinds, ranked, shown_records, shown_chunks = RagStats._parse_hits(parts.get("hits") or "")
+            try:
+                limit = int(parts.get("limit") or 0)
+            except (TypeError, ValueError):
+                limit = 0
+            return {"query": query, "limit": limit, "hits": len(ranked), "kinds": kinds,
+                    "ranked": ranked, "shown_records": shown_records, "shown_chunks": shown_chunks}
+        except Exception:
+            return None
+
+    @staticmethod
+    def collect(store, profile, include_eval=True):
+        db = store.db
+        stats = {"profile": profile, "fts_ok": bool(getattr(store, "fts_ok", False)),
+                 "window": RAG_STATS_EVENTS}
+        stats["events_total"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ?", (profile,)) or 0
+        row = RagStats._rows(db, "SELECT COUNT(*), COALESCE(SUM(size), 0), COALESCE(SUM(reads), 0) FROM records WHERE profile = ?", (profile,))
+        stats["records_total"], stats["records_bytes"], stats["records_reads"] = (row[0][0] or 0, row[0][1] or 0, row[0][2] or 0) if row else (0, 0, 0)
+        stats["records_by_kind"] = [(r[0], r[1], r[2] or 0, r[3] or 0) for r in RagStats._rows(
+            db, "SELECT kind, COUNT(*), COALESCE(SUM(size), 0), COALESCE(SUM(reads), 0) FROM records WHERE profile = ? GROUP BY kind ORDER BY COUNT(*) DESC", (profile,))]
+        stats["top_reads"] = [(r[0], r[1], r[2] or "", r[3] or 0, r[4] or 0) for r in RagStats._rows(
+            db, "SELECT id, kind, title, reads, size FROM records WHERE profile = ? ORDER BY reads DESC, updated DESC LIMIT ?", (profile, RAG_STATS_TOP))]
+        stats["top_size"] = [(r[0], r[1], r[2] or "", r[3] or 0, r[4] or 0) for r in RagStats._rows(
+            db, "SELECT id, kind, title, reads, size FROM records WHERE profile = ? ORDER BY size DESC LIMIT ?", (profile, RAG_STATS_TOP))]
+        stats["zero_read_records"] = RagStats._one(db, "SELECT COUNT(*) FROM records WHERE profile = ? AND COALESCE(reads, 0) = 0", (profile,)) or 0
+        stats["never_read_sample"] = [r[0] for r in RagStats._rows(
+            db, "SELECT id FROM records WHERE profile = ? AND COALESCE(reads, 0) = 0 ORDER BY updated DESC LIMIT ?", (profile, RAG_STATS_SAMPLE))]
+        stats["chunks_total"] = RagStats._one(db, "SELECT COUNT(*) FROM chunks WHERE profile = ?", (profile,)) or 0
+        stats["chunks_by_parent"] = [(r[0], r[1]) for r in RagStats._rows(
+            db, "SELECT parent_kind, COUNT(*) FROM chunks WHERE profile = ? GROUP BY parent_kind ORDER BY COUNT(*) DESC", (profile,))]
+        stats["chunk_parents"] = RagStats._one(db, "SELECT COUNT(DISTINCT parent_kind || ':' || parent_id) FROM chunks WHERE profile = ?", (profile,)) or 0
+        stats["top_chunk_parents"] = [(r[0], r[1], r[2]) for r in RagStats._rows(
+            db, "SELECT parent_kind, parent_id, COUNT(*) FROM chunks WHERE profile = ? GROUP BY parent_kind, parent_id ORDER BY COUNT(*) DESC LIMIT ?", (profile, RAG_STATS_TOP))]
+        stats["orphan_chunks"] = RagStats._one(db, "SELECT COUNT(*) FROM chunks WHERE profile = ? AND parent_kind = 'record' AND parent_id NOT IN (SELECT id FROM records WHERE profile = ?)", (profile, profile)) or 0
+        tag_row = RagStats._rows(db, "SELECT COUNT(*), COUNT(DISTINCT tag), COUNT(DISTINCT item) FROM tags WHERE profile = ?", (profile,))
+        stats["tags_rows"], stats["tags_distinct"], stats["tags_items"] = (tag_row[0][0] or 0, tag_row[0][1] or 0, tag_row[0][2] or 0) if tag_row else (0, 0, 0)
+        try:
+            stats["top_tags"] = list(store.tag_counts("", RAG_STATS_TOP, profile))
+        except Exception:
+            stats["top_tags"] = []
+        stats["record_tag_rows"] = RagStats._one(db, "SELECT COUNT(*) FROM tags WHERE profile = ? AND item LIKE 'mem:%'", (profile,)) or 0
+        stats["tagged_records"] = RagStats._one(db, "SELECT COUNT(DISTINCT item) FROM tags WHERE profile = ? AND item LIKE 'mem:%'", (profile,)) or 0
+        stats["only_record_tag"] = RagStats._one(db, "SELECT COUNT(*) FROM (SELECT item FROM tags WHERE profile = ? AND item LIKE 'mem:%' GROUP BY item HAVING COUNT(*) = 1 AND MAX(tag) = 'record')", (profile,)) or 0
+        stats["edges_total"] = RagStats._one(db, "SELECT COUNT(*) FROM edges WHERE profile = ?", (profile,)) or 0
+        stats["edges_by_relation"] = [(r[0], r[1]) for r in RagStats._rows(
+            db, "SELECT relation, COUNT(*) FROM edges WHERE profile = ? GROUP BY relation ORDER BY COUNT(*) DESC LIMIT ?", (profile, RAG_STATS_TOP))]
+        stats["top_degree"] = [(r[0], r[1]) for r in RagStats._rows(
+            db, "SELECT node, COUNT(*) FROM (SELECT src AS node FROM edges WHERE profile = ? UNION ALL SELECT dst AS node FROM edges WHERE profile = ?) GROUP BY node ORDER BY COUNT(*) DESC LIMIT ?", (profile, profile, RAG_STATS_TOP))]
+        stats["isolated_records"] = RagStats._one(db, "SELECT COUNT(*) FROM records WHERE profile = ? AND id NOT IN (SELECT src FROM edges WHERE profile = ? UNION SELECT dst FROM edges WHERE profile = ?)", (profile, profile, profile)) or 0
+        stats["isolated_sample"] = [r[0] for r in RagStats._rows(
+            db, "SELECT id FROM records WHERE profile = ? AND id NOT IN (SELECT src FROM edges WHERE profile = ? UNION SELECT dst FROM edges WHERE profile = ?) ORDER BY updated DESC LIMIT ?", (profile, profile, profile, RAG_STATS_SAMPLE))]
+        stats["fts_by_kind"] = []
+        if stats["fts_ok"]:
+            stats["fts_by_kind"] = [(r[0], r[1]) for r in RagStats._rows(db, "SELECT kind, COUNT(*) FROM fts_docs WHERE profile = ? GROUP BY kind ORDER BY COUNT(*) DESC", (profile,))]
+        stats["events_by_kind"] = [(r[0], r[1], r[2]) for r in RagStats._rows(
+            db, "SELECT role, kind, COUNT(*) FROM events WHERE profile = ? GROUP BY role, kind ORDER BY COUNT(*) DESC LIMIT ?", (profile, RAG_STATS_KINDS))]
+        span = RagStats._rows(db, "SELECT MIN(ts), MAX(ts) FROM events WHERE profile = ?", (profile,))
+        stats["events_first"], stats["events_last"] = (span[0][0], span[0][1]) if span else (None, None)
+        now = datetime.now(timezone.utc)
+        day_cut = (now - timedelta(days=1)).isoformat(timespec="seconds")
+        week_cut = (now - timedelta(days=7)).isoformat(timespec="seconds")
+        stats["searches_total"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'search-query'", (profile,)) or 0
+        stats["reads_total"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'record-read'", (profile,)) or 0
+        stats["searches_24h"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'search-query' AND ts >= ?", (profile, day_cut)) or 0
+        stats["reads_24h"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'record-read' AND ts >= ?", (profile, day_cut)) or 0
+        stats["searches_7d"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'search-query' AND ts >= ?", (profile, week_cut)) or 0
+        stats["reads_7d"] = RagStats._one(db, "SELECT COUNT(*) FROM events WHERE profile = ? AND role = 'tool' AND kind = 'record-read' AND ts >= ?", (profile, week_cut)) or 0
+        text_col = "tai_dec(text)" if store.seal.enabled else "text"
+        window_rows = RagStats._rows(db, "SELECT ts, role, kind, %s FROM events WHERE profile = ? ORDER BY id DESC LIMIT ?" % text_col, (profile, RAG_STATS_EVENTS))
+        window_rows.reverse()
+        searches = []
+        reads = []
+        for pos, row in enumerate(window_rows):
+            if row[1] == "tool" and row[2] == "search-query":
+                parsed = RagStats._parse_search_event(row[3] or "")
+                if parsed is not None:
+                    parsed["pos"] = pos
+                    parsed["ts"] = row[0]
+                    searches.append(parsed)
+            elif row[1] == "tool" and row[2] == "record-read" and (row[3] or "").strip():
+                reads.append({"pos": pos, "id": (row[3] or "").strip()[:200], "ts": row[0]})
+        stats["window_events"] = len(window_rows)
+        stats["window_searches"] = len(searches)
+        stats["window_reads"] = len(reads)
+        hits_by_kind = {}
+        shown_counter = collections.Counter()
+        chunk_counter = collections.Counter()
+        query_counter = collections.Counter()
+        query_hits = {}
+        query_len = 0
+        query_terms = 0
+        zero_hit = []
+        dist = {"0": 0, "1": 0, "2-5": 0, "6+": 0}
+        for item in searches:
+            query_counter[item["query"]] += 1
+            query_hits.setdefault(item["query"], []).append(item["hits"])
+            query_len += len(item["query"])
+            query_terms += len(item["query"].split())
+            for kind, count in item["kinds"].items():
+                hits_by_kind[kind] = hits_by_kind.get(kind, 0) + count
+            for record_id in item["shown_records"]:
+                shown_counter[record_id] += 1
+            for chunk_id in item["shown_chunks"]:
+                chunk_counter[chunk_id] += 1
+            if item["hits"] == 0:
+                dist["0"] += 1
+                zero_hit.append(item["query"])
+            elif item["hits"] == 1:
+                dist["1"] += 1
+            elif item["hits"] <= 5:
+                dist["2-5"] += 1
+            else:
+                dist["6+"] += 1
+        stats["hits_by_kind"] = sorted(hits_by_kind.items(), key=lambda pair: (-pair[1], pair[0]))
+        stats["hits_dist"] = dist
+        stats["zero_hit_window"] = dist["0"]
+        stats["zero_hit_sample"] = zero_hit[:RAG_STATS_SAMPLE]
+        total_hits = sum(item["hits"] for item in searches)
+        stats["avg_hits"] = round(total_hits / len(searches), 2) if searches else 0.0
+        stats["avg_query_chars"] = round(query_len / len(searches), 1) if searches else 0.0
+        stats["avg_query_terms"] = round(query_terms / len(searches), 1) if searches else 0.0
+        stats["repeated_queries"] = sum(1 for count in query_counter.values() if count > 1)
+        stats["queries_distinct"] = len(query_counter)
+        top_queries = []
+        for query, count in query_counter.most_common(RAG_STATS_QUERIES):
+            shots = query_hits.get(query) or [0]
+            top_queries.append((query, count, round(sum(shots) / len(shots), 1)))
+        stats["top_queries"] = top_queries
+        stats["top_shown"] = shown_counter.most_common(RAG_STATS_TOP)
+        stats["top_shown_chunks"] = chunk_counter.most_common(RAG_STATS_TOP)
+        stats["shown_distinct"] = len(shown_counter)
+        read_counter = collections.Counter(item["id"] for item in reads)
+        stats["top_read_ids"] = read_counter.most_common(RAG_STATS_TOP)
+        stats["read_distinct"] = len(read_counter)
+        rank_dist = {"1": 0, "2": 0, "3": 0, "4-5": 0, "6+": 0, "unshown": 0}
+        read_follow = 0
+        for idx, item in enumerate(searches):
+            end = searches[idx + 1]["pos"] if idx + 1 < len(searches) else len(window_rows)
+            for row in window_rows[item["pos"] + 1:min(end, item["pos"] + 21)]:
+                if row[1] == "tool" and row[2] == "record-read" and (row[3] or "").strip():
+                    read_follow += 1
+                    rank = RetrievalEval.rank_of((row[3] or "").strip()[:200], item["ranked"])
+                    if rank is None:
+                        rank_dist["unshown"] += 1
+                    elif rank == 1:
+                        rank_dist["1"] += 1
+                    elif rank == 2:
+                        rank_dist["2"] += 1
+                    elif rank == 3:
+                        rank_dist["3"] += 1
+                    elif rank <= 5:
+                        rank_dist["4-5"] += 1
+                    else:
+                        rank_dist["6+"] += 1
+                    break
+        stats["read_follow"] = read_follow
+        stats["rank_dist"] = rank_dist
+        shown_set = set(shown_counter)
+        read_set = set(read_counter)
+        stats["direct_reads"] = len(read_set - shown_set)
+        stats["direct_sample"] = sorted(read_set - shown_set)[:RAG_STATS_SAMPLE]
+        stats["shown_never_read"] = len(shown_set - read_set)
+        stats["shown_never_sample"] = sorted(shown_set - read_set)[:RAG_STATS_SAMPLE]
+        effectiveness = []
+        for record_id in set(list(shown_set) + list(read_set)):
+            shown = shown_counter.get(record_id, 0)
+            read = read_counter.get(record_id, 0)
+            effectiveness.append((record_id, shown, read, shown + read))
+        effectiveness.sort(key=lambda row: (-row[3], -row[2], row[0]))
+        stats["effectiveness"] = effectiveness[:RAG_STATS_TOP]
+        meta = {}
+        ids = [row[0] for row in stats["effectiveness"]]
+        if ids:
+            marks = ", ".join("?" * len(ids))
+            for r in RagStats._rows(db, "SELECT id, kind, title, reads, size FROM records WHERE profile = ? AND id IN (%s)" % marks, tuple([profile] + ids)):
+                meta[r[0]] = {"kind": r[1], "title": r[2] or "", "reads_col": r[3] or 0, "size": r[4] or 0}
+        stats["effectiveness_meta"] = meta
+        stats["eval"] = None
+        stats["eval_error"] = ""
+        if include_eval:
+            try:
+                goldens = RetrievalEval.goldens_from_vault(store, profile)
+                result = RetrievalEval.score(store, goldens, profile)
+                pairs = RetrievalEval.implicit_pairs(store, profile)
+                stats["eval"] = {"goldens": result.get("goldens", 0), "k": result.get("k", EVAL_K),
+                                 "overall": result.get("overall") or {}, "by_category": result.get("by_category") or {},
+                                 "misses": (result.get("misses") or [])[:RAG_STATS_SAMPLE],
+                                 "searches": pairs.get("searches", 0), "read_follow": pairs.get("read_follow", 0),
+                                 "zero_hit_count": pairs.get("zero_hit_count", 0),
+                                 "zero_hit": (pairs.get("zero_hit") or [])[:RAG_STATS_SAMPLE]}
+            except Exception as exc:
+                stats["eval_error"] = short_error(exc)
+        return stats
+
+    @staticmethod
+    def _pct(part, whole):
+        if not whole:
+            return "n/a"
+        return "%.1f%%" % (100.0 * part / whole)
+
+    @staticmethod
+    def format_report(stats):
+        lines = ["rag stats: profile %s (fts %s, window newest %d of %d events)" % (
+            stats.get("profile"), "ok" if stats.get("fts_ok") else "OFF", stats.get("window_events", 0), stats.get("events_total", 0))]
+        lines.append("vault: %d records (%d bytes, %d reads col) | %d chunks (%d parents) | %d tag rows (%d tags on %d items) | %d edges | %d events" % (
+            stats.get("records_total", 0), stats.get("records_bytes", 0), stats.get("records_reads", 0),
+            stats.get("chunks_total", 0), stats.get("chunk_parents", 0), stats.get("tags_rows", 0),
+            stats.get("tags_distinct", 0), stats.get("tags_items", 0), stats.get("edges_total", 0), stats.get("events_total", 0)))
+        if stats.get("events_first") or stats.get("events_last"):
+            lines.append("events span: %s .. %s" % (stats.get("events_first") or "?", stats.get("events_last") or "?"))
+        for kind, count, size, reads in stats.get("records_by_kind") or []:
+            lines.append("records [%s]: n=%d bytes=%d reads=%d" % (kind, count, size, reads))
+        for record_id, kind, title, reads, size in stats.get("top_reads") or []:
+            lines.append("top-read: %d reads %s [%s] %s (%d bytes)" % (reads, record_id, kind, " ".join(title.split())[:60], size))
+        for record_id, kind, title, reads, size in stats.get("top_size") or []:
+            lines.append("top-size: %d bytes %s [%s] %s (%d reads)" % (size, record_id, kind, " ".join(title.split())[:60], reads))
+        lines.append("unread records: %d of %d (%s)" % (stats.get("zero_read_records", 0), stats.get("records_total", 0),
+                                                       RagStats._pct(stats.get("zero_read_records", 0), stats.get("records_total", 0))))
+        for record_id in stats.get("never_read_sample") or []:
+            lines.append("never-read: %s" % record_id)
+        for parent, count in stats.get("chunks_by_parent") or []:
+            lines.append("chunks [%s]: n=%d" % (parent, count))
+        parents = stats.get("chunk_parents", 0)
+        lines.append("chunks per parent: %.1f avg, %d orphan record-chunks" % (
+            (stats.get("chunks_total", 0) / parents) if parents else 0.0, stats.get("orphan_chunks", 0)))
+        for parent_kind, parent_id, count in stats.get("top_chunk_parents") or []:
+            lines.append("chunked: %d chunks %s:%s" % (count, parent_kind, (parent_id or "")[:60]))
+        for tag, count in stats.get("top_tags") or []:
+            lines.append("tag: %d %s" % (count, tag))
+        records_total = stats.get("records_total", 0)
+        lines.append("tag coverage: %d of %d records tagged, %d with only the record tag, %.1f tags per record" % (
+            stats.get("tagged_records", 0), records_total, stats.get("only_record_tag", 0),
+            (stats.get("record_tag_rows", 0) / records_total) if records_total else 0.0))
+        for relation, count in stats.get("edges_by_relation") or []:
+            lines.append("edge [%s]: n=%d" % (relation, count))
+        for node, degree in stats.get("top_degree") or []:
+            lines.append("linked: degree %d %s" % (degree, (node or "")[:80]))
+        lines.append("isolated records: %d of %d (%s)" % (stats.get("isolated_records", 0), records_total,
+                                                         RagStats._pct(stats.get("isolated_records", 0), records_total)))
+        for record_id in stats.get("isolated_sample") or []:
+            lines.append("isolated: %s" % record_id)
+        for kind, count in stats.get("fts_by_kind") or []:
+            lines.append("fts [%s]: n=%d" % (kind, count))
+        for role, kind, count in stats.get("events_by_kind") or []:
+            lines.append("events [%s/%s]: n=%d" % (role, kind, count))
+        lines.append("searches: total=%d window=%d zero-hit=%d (%s) avg-hits=%.2f avg-q=%.1f chars/%.1f terms 24h=%d 7d=%d" % (
+            stats.get("searches_total", 0), stats.get("window_searches", 0), stats.get("zero_hit_window", 0),
+            RagStats._pct(stats.get("zero_hit_window", 0), stats.get("window_searches", 0)), stats.get("avg_hits", 0.0),
+            stats.get("avg_query_chars", 0.0), stats.get("avg_query_terms", 0.0), stats.get("searches_24h", 0), stats.get("searches_7d", 0)))
+        dist = stats.get("hits_dist") or {}
+        lines.append("hits dist: 0=%d 1=%d 2-5=%d 6+=%d" % (dist.get("0", 0), dist.get("1", 0), dist.get("2-5", 0), dist.get("6+", 0)))
+        for kind, count in stats.get("hits_by_kind") or []:
+            lines.append("hits [%s]: n=%d" % (kind, count))
+        lines.append("queries: %d distinct in window, %d repeated" % (stats.get("queries_distinct", 0), stats.get("repeated_queries", 0)))
+        for query, count, avg in stats.get("top_queries") or []:
+            lines.append("query: %dx avg-hits=%.1f %s" % (count, avg, " ".join(query.split())[:80]))
+        for query in stats.get("zero_hit_sample") or []:
+            lines.append("zero-hit: %s" % " ".join(query.split())[:80])
+        lines.append("reads: total=%d window=%d distinct=%d 24h=%d 7d=%d" % (
+            stats.get("reads_total", 0), stats.get("window_reads", 0), stats.get("read_distinct", 0),
+            stats.get("reads_24h", 0), stats.get("reads_7d", 0)))
+        lines.append("read-follow: %d of %d window searches (%s)" % (stats.get("read_follow", 0), stats.get("window_searches", 0),
+                                                                    RagStats._pct(stats.get("read_follow", 0), stats.get("window_searches", 0))))
+        rank = stats.get("rank_dist") or {}
+        lines.append("read rank: 1=%d 2=%d 3=%d 4-5=%d 6+=%d unshown=%d" % (
+            rank.get("1", 0), rank.get("2", 0), rank.get("3", 0), rank.get("4-5", 0), rank.get("6+", 0), rank.get("unshown", 0)))
+        for record_id, count in stats.get("top_read_ids") or []:
+            lines.append("read-id: %dx %s" % (count, record_id))
+        for record_id, count in stats.get("top_shown") or []:
+            lines.append("shown: %dx %s" % (count, record_id))
+        for chunk_id, count in stats.get("top_shown_chunks") or []:
+            lines.append("shown-chunk: %dx %s" % (count, (chunk_id or "")[:80]))
+        lines.append("coverage: %d distinct shown, %d shown-never-read, %d direct-read-never-shown" % (
+            stats.get("shown_distinct", 0), stats.get("shown_never_read", 0), stats.get("direct_reads", 0)))
+        for record_id in stats.get("shown_never_sample") or []:
+            lines.append("shown-never-read: %s" % record_id)
+        for record_id in stats.get("direct_sample") or []:
+            lines.append("direct-read: %s" % record_id)
+        lines.append("context uses per record (shown + read events in window):")
+        meta = stats.get("effectiveness_meta") or {}
+        for record_id, shown, read, total in stats.get("effectiveness") or []:
+            info = meta.get(record_id) or {}
+            through = ("%s/%s" % (read, shown)) if shown else ("%d/0" % read)
+            lines.append("use: total=%d shown=%d read=%d through=%s col-reads=%d %s [%s] %s" % (
+                total, shown, read, through, info.get("reads_col", 0), record_id,
+                info.get("kind", "?"), " ".join(str(info.get("title", "")).split())[:60]))
+        eval_result = stats.get("eval")
+        if eval_result is not None:
+            overall = eval_result.get("overall") or {}
+            lines.append("eval: %d goldens at k=%d hit=%.3f mrr=%.3f ndcg=%.3f cp=%.3f" % (
+                eval_result.get("goldens", 0), eval_result.get("k", EVAL_K), overall.get("hit", 0.0),
+                overall.get("mrr", 0.0), overall.get("ndcg", 0.0), overall.get("cp", 0.0)))
+            for category in sorted((eval_result.get("by_category") or {}).keys()):
+                entry = eval_result["by_category"][category]
+                mean = entry.get("mean") or {}
+                lines.append("eval [%s]: n=%d hit=%.3f mrr=%.3f ndcg=%.3f cp=%.3f" % (
+                    category, entry.get("goldens", 0), mean.get("hit", 0.0), mean.get("mrr", 0.0),
+                    mean.get("ndcg", 0.0), mean.get("cp", 0.0)))
+            lines.append("eval implicit: %d searches, %d followed by a read, %d zero-hit" % (
+                eval_result.get("searches", 0), eval_result.get("read_follow", 0), eval_result.get("zero_hit_count", 0)))
+        elif stats.get("eval_error"):
+            lines.append("eval: skipped (%s)" % stats["eval_error"])
+        lines.append("note: hit lists truncate at 1500 chars in the log, shown counts are lower bounds")
+        return "\n".join(lines)
+
+
 class Agent:
     def __init__(self, config, store, persist=True, quiet=False, depth=0, auto=False, yolo=False, ctx=None):
         self.config = config
@@ -21798,6 +22170,8 @@ def boot(args):
         mode = "cap-speak"
     elif getattr(args, "eval_retrieval", False):
         mode = "eval"
+    elif getattr(args, "stats_rag", False):
+        mode = "stats-rag"
     elif getattr(args, "update_models", False):
         mode = "update-models"
     elif getattr(args, "prompt", None):
@@ -39955,6 +40329,7 @@ def build_parser():
     parser.add_argument("--no-opencode", action="store_true", help="skip the opencode CLI backends for this run (same as TAI_OPENCODE=0)")
     parser.add_argument("--update-models", action="store_true", help="rediscover the free model lists of every provider, drop models that are gone, and exit")
     parser.add_argument("--eval-retrieval", action="store_true", help="score vault retrieval (Hit@K, MRR, nDCG, Context Precision) on generated goldens plus implicit pairs, print the report, and exit")
+    parser.add_argument("--stats-rag", action="store_true", help="print RAG usage and effectiveness stats (vault totals, searches, reads, per-record context uses, retrieval eval) and exit")
     parser.add_argument("--version", action="store_true")
     parser.add_argument("--cap-manifest", action="store_true", help="print tai's CAP agent manifest (cap-agent.toml) and exit")
     parser.add_argument("--cap-speak", action="store_true", help="speak CAP stream-json on stdio as an agent (bulk session config via CAP_SESSION_CONFIG)")
@@ -40166,6 +40541,12 @@ def main(argv=None):
         finally:
             agent.store.close()
         return 0
+    if args.stats_rag:
+        try:
+            print(RagStats.format_report(RagStats.collect(agent.store, agent.profile)))
+        finally:
+            agent.store.close()
+        return 0
     if args.scheduler:
         print("scheduler online, press Ctrl-C to stop")
         try:
diff --git a/taicpp/.clang-format b/taicpp/.clang-format
new file mode 100644
index 0000000..75a203b
--- /dev/null
+++ b/taicpp/.clang-format
@@ -0,0 +1,3 @@
+BasedOnStyle: LLVM
+IndentWidth: 4
+ColumnLimit: 100
diff --git a/taicpp/Makefile b/taicpp/Makefile
new file mode 100644
index 0000000..777b582
--- /dev/null
+++ b/taicpp/Makefile
@@ -0,0 +1,58 @@
+CXX ?= g++
+CXXSTD = -std=c++23
+WARN = -Wall -Wextra
+CXXFLAGS ?= $(CXXSTD) $(WARN) -O2
+BUILD = build
+VERSION = $(shell cat VERSION)
+BIN = $(BUILD)/detz
+
+GEN_INC = $(BUILD)/gen
+VERSION_HPP = $(GEN_INC)/version.hpp
+
+SRCS = main.cpp src/cli/cli.cpp
+OBJS = $(BUILD)/main.o $(BUILD)/cli.o
+
+all: $(BIN)
+
+$(VERSION_HPP): VERSION
+	@mkdir -p $(GEN_INC)
+	@sed 's/@VERSION@/$(VERSION)/' src/cli/version.hpp.in > $@
+
+$(BUILD)/main.o: main.cpp src/cli/cli.h $(VERSION_HPP)
+	@mkdir -p $(BUILD)
+	$(CXX) $(CXXFLAGS) -I$(GEN_INC) -Isrc/cli -c main.cpp -o $@
+
+$(BUILD)/cli.o: src/cli/cli.cpp src/cli/cli.h $(VERSION_HPP)
+	@mkdir -p $(BUILD)
+	$(CXX) $(CXXFLAGS) -I$(GEN_INC) -Isrc/cli -c src/cli/cli.cpp -o $@
+
+$(BIN): $(OBJS)
+	$(CXX) $(CXXFLAGS) $(OBJS) -o $@
+
+test: $(BIN) $(BUILD)/detz_test
+	./$(BUILD)/detz_test
+	./$(BIN) --version
+
+$(BUILD)/detz_test: tests/test_main.cpp src/cli/cli.cpp $(VERSION_HPP)
+	@mkdir -p $(BUILD)
+	$(CXX) $(CXXFLAGS) -I$(GEN_INC) -Isrc/cli tests/test_main.cpp src/cli/cli.cpp -o $@
+
+lint:
+	$(CXX) $(CXXSTD) $(WARN) -Werror -fsyntax-only main.cpp -I$(GEN_INC) -Isrc/cli || true
+
+version-bump:
+	tools/version-bump.sh $(PART)
+
+changelog:
+	tools/changelog.sh "$(MSG)"
+
+tag:
+	tools/tag.sh
+
+release:
+	PART=$(PART) MSG="$(MSG)" tools/release.sh
+
+clean:
+	rm -rf $(BUILD)
+
+-include src/*/*.mk
diff --git a/taicpp/VERSION b/taicpp/VERSION
new file mode 100644
index 0000000..6e8bf73
--- /dev/null
+++ b/taicpp/VERSION
@@ -0,0 +1 @@
+0.1.0
diff --git a/taicpp/build/cli.o b/taicpp/build/cli.o
new file mode 100644
index 0000000000000000000000000000000000000000..12f87f484b1d1727eb455666d7e2893533628ebf
GIT binary patch
literal 7160
zcmb_geQ+Da6<=BYkQ2~dAOzDueH68|C$W&6I9LW!pDo2JdJY~OLkgi9MV3DrSyH8w
z<0N!qDm&yx5qLVZL#Mz${iFQTfzlbsFceHo;?S0smTAjO2b!U@#B~|SbO<I5R^Qv(
zbvBC4l$JMhx4XZ6@9q1#-IWf8jBOPT2NC2TTgioyKnYp6>O#Mrb=yfDxtj6T!gv)t
zDCdSpf#+Y!7thiBKV7uY<)Zn8T5}7$YjUe;q2~V9(Re0nhG_9tU?ivUCHMW)H2<<|
zW<aSA!o+h;O~^i+0!bQBbFYk#xsth=`B&}v`^TIxm&`pq|NPX{z<^h&pFn+Vef_SZ
zi8LWb@t``Oyg#kqsrTtS`g*DLZ?LS@u)bzk_jwv-yVRzpq4<E+wU*9yxvD|<MAte3
zeIF`P)^ut4bB=@Sz^GPgy>ZXI`Y!!m{hNAZMyYQnM&a8o>knb;Rm1v-c@nl>22T~`
zf!$6*x&w<!{tU#Wd-5G+auGVTV0an~E9UArQF%Sde^O!oq!{|7yBJr)#o+NeY6U&6
z`CS83-Gy5`-NmHZZF##VOA2$!uu68YtmF0)S66_-{DMQ7xD|Vo)5;`5VJqp<PXwEA
zva>-8Lo|&*zsIFaw3bRGqmXSdZqE90j~ayoTDNtEz5pnav%B$Q!#YV{TBxFd59~ET
z=`S#^hGlqEs)SBc$8mbp<}W#E;5b#fPScnERz<D%sg>|(%t8aaRKtbMp0IWNw&F&Y
zQS4I<s}D>(%hg&R8P*OD_-lGp+o=Ndi~?d1K589P9yp2dV(wK7_ufRv>I3&GuVB%g
z_!TqmoMD}wzfsCRwV?EFQ>jH&TG$UIcub?#7_`$`IPgbh;!zNz#k5L``+><v3#(}0
z<J>FAYZSX2dVayB<Uax?{p@t5GWjyB8=9OppH-d-v>)CIAS5niO?N2I8ji(*4$G)s
zMA`WtDD~qY1-d)e84$!g4lw%@6^o@(IDa0J^*B0FfYLLpw+-tobARrypOi{UJ;eF6
zUH4!pB;LG+7P3A_JQjv(G%oU3!GIPZ+J?0U{OW8l9Pd$Uk8e(eMQr)vn1k_#t!hXD
zlmsLIGV~9_vUPM9ymPO!HOJ9JU3sQPKfFzyd(pOo76R1T8nk91m4OAw{?-Lr9E04v
zyFeQkb;k#^@r<57wZH=P-5<iTIP#y>tuy%(uI+`jwcD+=N-%ID^WNM6m<3@6CYx2b
z$oLNQf?**j+GCJdF!E0n3d80w3Q#go66%~w_@z8keK@4fEifx_f5<OfH`<BX!`3Ww
z*bXXP8XbWAI;r*2+@bTOQXv3Iv$l2=499s)+IdXc+*_bcfANbDh8OGMHUBI`qxx{C
zI=3A}a3`C?5G{4^yT?HvwSLzNTglFTTB!VT1F&G0sPzFY-Upr)O^;$7vlE7Z-Gi*P
z(!wr}j|Sc}eXxny`xPzR3?-w|z^r*WEkLK3w)02xGa9hw-m--z|7^0DwNvXawDB#j
zlPwqY0OPFbrUmRR$-{{D(+#$Pxmwu9cKWC9xp#(%vTfR$Vg8AYHc9LaH%WY6zt;z&
zn3>A7wMDuknRqmjNW~)2bUL2w$Ds7b&HdWj;}2_{8#Xj=($cAnsig)qGdk=|@AGQC
z@wkS&Ya;E{?qu6|vJJ(^?r3&67Rj2K;pAYO7E2|en~RySm1_f;)QFbMB@)_jR!gQ#
zZ8Vw~W{ZIw8m#XKTjyaPFQnibug5sv_!;6DE?n!O5XP&*xZ~Ji#7&*WU<!LPP;{oJ
zA>@Ch+d5@fXP(0|0T_9(S1(lq?Dg|&SqOn2zQy+eu$hVn?2Qo98h|eylbTg&{)C-W
z!+MwVEq?^c#~~Jzk1ze-=h-FfWs;?m<I0aKrkt<4$m2CtzjTogYpS3Ru)4151`?|x
zBvrMM99VM$VzrGh-c&W~z(Hjj3?%C6>}=B-`gZ4%W=`|Bc$>YxCjXWk8~YnMLP#Zu
zsPLe0*Y-XF8~8M0a40fb%Uj3(JBVXUb*#Uv#x(`|VjbYu^0_Rw)UEDY<#u(gCS)@V
zTlriZ+ih<3NJY?HcgU%`wR~lTvC3ViyVVZ2YujpFbT8<0?C&wyYBfJX>Gfhw0|p*M
zfOdhAXea7^sN!~a-Gj~!w^pp|a5o&O(%rs8)w;ViU(@AIo2%TdLAOtLHvmJ2yRL&R
z90EHv5I0c=&=Gi;K6g4_bEx`ARk89x=R*}_BjAr91JLX6FrJWGJ%s+`ok4fH;wkW^
z)2-@mm%f_C<Rs%JBq;bnr}Gd*_EQK#3cAmfmSb@)W#i&mC#k&{;3Fpi=awNSx%?6o
zHB?Ca7zZS{lrUV3(HEp1_I9zi{OV(a8ghjULjP_yb}iL|n2xYc4XY!8VcX9J7>$eR
zX&7E1#evlvV6Vc1^;=HA2jELmd{`X<rh)3^_!|IUj(-$zTz8x=fOUuTeZa4;z+1FU
zA|gLqLI2Se@E2CVkFS7V1!c6H{hk$YeFZ!MIQn&p`-8QO^qm#>A6>y75=#twW9c-B
z+`WA>9x|H%*wPctWaF8ZG&Z5(o}QRDmP+(r#B);+m^%~0n=-ki#NstNHxYO><7+d%
zT2QRl++rVZVd&lziNwan{C<D4d^&|=y{6wE8;WKkW+pmpX2Y>iZxmi3Y<gQFp-`|T
zG<vZSovD$LXtJLfF-p=oGy6HN*34GxPxOqAe2!ZEWj<UQY!bZ7n~4v2Bay+eu}B(@
z^HdU!W^-R;)JNd_PQ;U7Pjc@F8Hta?()(=VK5JC{E$pI^PDEqz2&OmG6C3IIdTa!o
z?Mv<*PWDIch-Y&naZnGL2}C01P$soEl1L50jUt}Oq%y$GCYyarlkw!BIV8_ssH#gU
zhD6|E5{>PN#D?}n2BO0WsNb)!D#pEw5d0?LV#sI%$Fbb;s}*=N$B`fRLV@4J@pAqT
zB^=L2!M_u}4<zK5@pBT6Kg|Vy6D|l;&cBf#yoj%ZNAQ0`!twhT_@so(`X7^USx-GG
z2Es<>*Ckx$AC+*Ke?r1#{#E=Ig41{w2s_tGIG#cR4@tP}*U$?1<O=wYB^>W1LVpjB
zKZYA^x(^;C{Go^>@U%T7>v>)T-p}z`9#4S_{lDdL5IEi!klrZ6Z?IwVB)3!WALe)q
zZ&6H+!#ykDS4%kdg*~@OxU456;cF!RT@o(y3%}7Gyz2@5dpJMZkN+hJT*MFguaWS*
z&__akyp;%kkq6}ef`sRxk5sN-#Hn2W_iT2STiLHCC0zDvR>Eb!el6kGLSNX4zcZ20
z9(=Chb%PiZ4zFW9`=#-|;1^ROFNpI}Vp9ht{woDDv=2)-%8c{zV-n6wi6QSuIL1iO
zd%S}>kYCh|OR9gIJH>_8NI3F~eX~`<kyYFabqPm)aqlPI?7k5*x*J+EW4A-1mx(8$
zUNb&s5^sOhj1uqeY?gR4DI6fX-|N44*a|}-<Nf?@19(15igU@t@Sb>LAMp;x;D8#7
z#nWa4Oi#o)7qbrx@xo8*Xu|txr!3reMn>XE@DP3&$Gz~&s)-#{d_0)UdDEE`9L**y
z$9#(qMFuiaI4!+{nN&`EP7u-mkJ=zV_+6A!I|nY~E$;2u7quhWmE?_O<gtE*oM<(`
zute~uxlB9x;OBA?1J*7xL4Q3wsH+_wnHuoVYoMc8yg+C_epliij^8#C-Uo1f`I|$0
zb-6(Z0`YRT2k_nq59<71<^3RwI>kK$x{Sp7<+xa1wC%vXoP0aC|68`YrMK{3$nW6t
z_|L3NPjUIU3_>6GN||nl0gHc`{3%{kKF*Bs$NQ65U&Q~XfT1nr;a*n*Akb@ev-B=o
zhCBf?%jI9i%LULlcNEvh^QC<K=K({Oa=m}&>$k(4Od@Uq!{0@SIm;9@@P)*Bg1>zH
z8<<!wep7t27jZ)S@m?zA1&)6R;QAuY&}HP~j9(Q1Z-xD$#eH7%W!AgILNW;ba^5-s
zFjQsklbu{%E0Zr*>*MQ}%a3tJaX%Ak%H=nJ{Brq!g2zvsV;Db#guI9!`cu9(u62_C
wb@CdY#5*kBOUvbvt^C^uh&;kK&Iiks<9agTXR@69Q}`nRNSvSc=+gNA2Q2Z>Hvj+t

literal 0
HcmV?d00001

diff --git a/taicpp/build/detz b/taicpp/build/detz
new file mode 100755
index 0000000000000000000000000000000000000000..d46654557d48922f62138ba69200c657fea1f773
GIT binary patch
literal 17184
zcmeHOdvIG-dOz|bRv<_U8^8fdL{O-+NfawD;?RI(OYs%R!5b%#0^vrMWLu3a3F#`a
z6Sf$XWOG*-48u^`G7QUXcXvA5Zg!VfnQbuylCT{*N!bFOF4SdVR%&=8O8}D%R)62U
z=g8L=i)|VH>iB4Mzw<rMcfRwu_uPBVoq^DX8jFRARLibmgpHi9Q@otvyqaeKylgGA
z;p$`y*eu|68cpYWbpWoO9JN!SmD7n#dJ5;8;iX(oK;a=l(yNw^&DJ>rGKY?nUOi<w
zZiY{CJpl#3Ql68Pk(}DK0@K`o0gZYTo6cpreCPV9@Mw*WALCHy5lVX7x!!iJC!mAN
z3n=1AF`<7a_s0xf;87BgWGNA(zw-*hz6hIjG86C%<#D}E6LfMt0Y!OT?<&!+QeG$5
zdxRS_!zeFLKvCYephxli-zL#LHu3VRwckPB4gyj?p+x1*!=IX=ed88(`0tO5ZCupx
z=(kt;Z~3|Z)DJ>e-t^t&iFo&#Rm&66Wr=t)H?VAA?V4q4R=Kk&_X<X4$p^Bh`+XO3
zlil`s>|gpdLY2#WDDt5@MPdW6>FBRlp*ySC@l~N8uVRPVW4dy!RqQ0H$k$ep|3wvf
zilGyKb2<&ebpF8nwDL=<&{sfVq1ia$vfSIBO3GO!oKa+%$-&JXax|8S^~SSGEVH?z
zEs;vbHix?tF`YL(=jJYDMYAj`eVNoQIT1_tDt&S+lSySdua7YK=4hgGXFuS^F6Am&
zjtmTVJf0QZ;cPsDf-~`CZ!prOcs!B5a7I=#;kc3wMgm=7Tmqiea)+FWr4!*uOpc@y
z(LiUUA6ENePwpKUkkheDHkAw~;>w`Bvl)dXcTrKW*HUpP)r*oQ{n?V-6;DRxO|fjQ
zKgQBIB@0`KKxBs;>DwXqgyRVYzfcd*(fP?s3QvDHPL#+%Sni2ak-KB8Kh_^f4>Cw)
zm1tzi5*ik32<?qPjW7>k5uM)N)+VoXH?y{_TYarT+2dZx+C#xspdhbuuk;u=?iM3Y
z&&w;^t13CqWOn6bc7=O2nzaTax)!6m9@kl{fmuPJTgExm=Ez&{y9s?l^t;Y02hSyL
ziaHjO1-cUFcLIO)Cp&OEn$31`ns59sF!ZhLZjKKg{|WSGvHLl$EPen}Z!LQiI3=<d
z<2=IW#pCBO`1QA(_Tc>wVfv_NPjLJR4X<O*aXfc%9PZb!UjnBj?oVQVPk%$FZ{_zN
zL2u@Ct5@d>y1?JKR;Sb4MX?ZR%s>}&Gx3TB`Wzt)c+x<(8R+8%y4^r`cy)xTgTPhN
z0WRMF3a_fh8!^!NRIbq<HqdDf7wItrU3-q;j2{{3`h2Z34jSlGwn)zy=puH+8#U1R
zqll(*)Iit!nr`WsfsTfsNiz|ciNH(*W+E^Xf&WtkKC)kSM#{ful?wI$wVW|&->6bk
zJ|^W~v>wvzlvi&8xx8pIuJ#39M)G~cDZO1TmwQGuoNlb8f1SkXhFW@I5~mw!>1UHT
zJphy*pTy~gT6$m-ryFVM?n#_(pry<tPB+d{_asg?%+jU`US2feW~|4)z|S;)%Zna0
z;SZVcdrkO$6aMEWe5VOdn(!VIewzuuv4Tql#nlw>yxgIVh165eQq3jxKZ{SIGE(8(
z(iw!3LL5|IJTXseE66)T>W3f{(<C&!$64Hk07-?brItHfP0D#vA?uLxhb_fU@I&fv
ziw88h^@BD%Zq3p2^C^FFg7nviDSuka-{ER5ep54chsz-i`&~|{<%nXF3X~g8TZ*5P
z7%(X+EvZ}71aEUz@^=x;YW6fA^Y1lArNTUoFR7bd5c!=tAr0T*YABvSV@n0lU_qD2
z)uX#L9xDD6wzdA`c|WKgzfDr#mh$hM?A#pijCx*%pWj0n<qMYJ#mMO%w|&806b@6v
z>%RqxG+cijftGRQ0(4~?<<XUAm&fc2hDh!ZhmgNqlV5!?fyEP&dQy7+gKMSd$7?0a
zVd?mUG7kpc#JZ0RSj%I2KN9*>zoGTSX1OI>r2P5^C@ZP&Ds!a5`lo;t2R}zFqVV-_
z{gc2g+n`%1pY%(+z~uh$cwzjtTc!N?Y-J6u4Y_lrLc?8acVa1~1mN=iIk5Xv*hPLT
z<^KkG&!{#`b^oMimn|dlcnX?QizD~)(110WJ9Od|oqyLrEqKY?&rbYeWTa;@epJ5i
zre_jq#zMn)I(qCMj{0u&ZSig1(j}?C$IP%cq+T0R(Xo!SJC-f$i}k4O^Q0r~R_dvT
z+b?9uHzUjJbK9NyGnP9qgi~uJ^^IG$`EK=X^WEl?QGG896>hhx{}xnV38|kJd(W23
z=)kC{-Ts|!%nltb6ZZTmOd}op-m&kSKt?KrTumW0Vr@NKcR9;{UZebQIPiJLaLf@L
z_P^99seYIB#H~Fe9fdz}bqpsR9jd!yU)jEQDFPEx%f&hrA*nCvMO=hYgq+2`cRl6y
zjoSASDX1o`zQca%2l=)pXAqNKs3q#M+V`$S1BD9NrqI>d=G-Hp!X9UbdP@2yP$|`R
zEdDH{9z~a_ms(ER_x_m5+Bf=-G!2H-5JrwYP?Rh$Nzdr=<yxubCCT1il%9XLUQ$1l
z)P&1feEj!R2Bd?9Rj#1=(sjd2t)by9j*z+qE`DO)8`P@sX$S)d^;KMs;&Q0agy9Hb
z05wwGB=rURcaBoLwCc?g)q9gj>K0V5?tCq}d;eK;?o3E6o>*>Ze@R8xyUro0l0z!&
zMi+d+DX9a1qt0N<Yxcd5Kn)`wlfiBXHA{taq?XTeFOzI&xZUE*k6Z2ePa)*{WVFt{
z??sdwz_@wZ{#1+iz%?ME;R5PttNrPaWum854b7S$-4hR0#$(%sAp|l1(V23YT7Pd1
zrh#DoEE<c}x>5mMFQmR5Qa>qfhe+u+Xkd&d)I*!!$x$@CG9R;EGa8;ch9k6iqSyst
znyFANL_4JJK)u?ULYDU>bw_i_fkJfs;Q>qWBFF~SS!e`w2{Zs&=)XhiMDfGV;8Vd}
zdQ~fP2(@HB`%?|R0~;Kr=X5`$LW`tc<5!QMDO<+T`qzw0!vkoW-;QH)@mWqvi%<FT
zW8+$&?*2;@OPJ>qpL!~P*t)SWZ}vuYp55PaIP-pK54cdaP-AO7+)?~CJfPVUwa{n*
zblMltuyFEqnpqvi>md;;pv#a{$tvn)e`?l&fTJ|7d5QZV`o|ybY$NMI^+@qbQqqDd
z0kdk@9<*<*q&{ETkA7EZL8GbHv=%~^v(#v3snJSr!J6;6%Mga=7T|K?X+&ezfi_2J
zBUH4RZ5vE!8FEWJFKm(2<6W3aw&JFs-!!O|XyU~k0X<7`+0_?{8S30bC>FJ*OSslb
zg<D<CQp=l4GbS-U-{Uqn+~%O$5^i+J&|Rr_9IE+4xLLiKdrMc^_aBNDGcWE=(&D#@
zeiA`ng2ET?YJaRTr`*+MV;bA)8NFrOq2hdSwP{*CRQh-1CnrzzLv8-t98}L@zAU6L
zmKKn|%fH;;r$06L8!TMvlHl$IK^ob*yEJ*0?uXO}<>*OFbAX=HFiGi8W+2X_nF!28
zU?u`H5txa<SB!uK-vGqQA<3HE9(+vM8H*^X%(`{jhoW#Ik&4LSbUK!dqKs%v+3kFL
z=s{=Ok|irvI@76);!O28m2ljh9&|gqVlgMJ5)x^*^G0nsl3b^GX8bs{&KXH1@jWOP
zQLrR&_GD81&SWl;aK^LFWJ+=F#Fro{%W_HW)!PB-eg57L%jE|FSDh@E>6@P)@K=EE
z03O40V)|6M?84LU6M*l5ej4x&;{UE(o&$dLqjGr&@I~BIPXm4*H}WPx`c_NHvU?M=
z3^**8%xSQWaQda7lie#xz~7*K&Tt{S3jg8<<?=zI+Z-Egjn~=F-DMqO*IwN6&6Tc&
zL?*kp;-7}!nj#UAh_2w@2l``xB2iiQ;6IA`Xs`AqoAdT_Y*rutn9&H{kMTbSf3ko~
zvN;C9ZwH_JIf}o6y2XgM!REN9#&2ufU+c3u^K~_$b8L-1o1@ic-Egi?WErC}DOq-R
zhP2u@{IvxScbAA5gutWv{u*W8T8D4jKL-Na_to5BYrMC%)#e<oYqd4qQ}44i@1Nzf
zt<5*I+tSK8wzYm+v(MH9fmT~%t5$FTembE}b)SQ}Q(fzJ<6=wa8}`q-r+&EZ-rD<W
z*iw)l#{cNY<?^c}^JlmOY>xd@pM0&~maaL7+O*jmJ}o#D7pl7-HvJ^ujtgwo?nh@p
zDwi$a_^f86_Ejr;w4wf&R`zj2J@OzsF08+TMesHvRlk(&nR^A%W-kW5vi^vLkh*n1
zP;Jd`WVP@4usTXKdZk6FW=O};Wwb;*YHz~n`#&X;)xFWsnafNBW+E^Xftd)*L|`TY
zGZC1H!2hENh<#IHpOknmq`hC11WtR!j5zJ(qBKVbmCaM<ar{T~^$Z7<{aTlBK7A6U
zbg>SY*taE~@df|miE@fWM)(6PJ=ap|<Qe*`L+KgL7kiFg<NopG2&3n2N*Cy$auv_T
zX}&*6JoldD614uIM4xmiU8Dmx#vK%NE60W3Z*V!WH%gRGFQX|5IlM&H>IZi<65fYv
zxWo<Pi;RW~Ke61>@GChVudS!>b?aZ>RqW$7TWscwL@$S(9B$_@&EXJ-BOE@);Xw{Z
zIW*h<L%7(#C*-iPa-FkjOLs1*<eZ+>?iKFlWu7%T4fibO6d^nfr0!D3PL<6pYCj8l
zjo2^l<N~y<a5{PF-!(XGFf>;eq;(@D>Rv>j!#DHN+K*B<{?pmnQH8z}bh0yQ+7vv%
z=_gI}0;h}d4OC0t!_~qrVU1oL=fj2lokqW?G9Gm<W4}U%$`$j4ppPMAVHZ}$x1d+^
zp8{;bj^<x46q1v0x;UJtIX0Jx{qsWF3AzQN+T1@EYxMa{jAtQ#E$9x+Hln_Qeij4X
zNwbhwP;|Hf@^hg9rj}@(Olb?~=OYf{MGU=Xprn94O_kVvn!GM!ygttDbn^D%(+~S$
z75U?!&#k$bnfv`)pkEHU!>d~t^U9ejcCJ8u7s7uppO|CZsoOz6zsAnQye)j)MRb7}
z;Dc4@^zwk>BhKS!@1mghgDUdRRH468g<d3j4Q6@Myzv3(6d!Z@(uNdjcjh%Xk8A_{
zbfEt`P4qdSPZyt?wR%mpLD)a=`fleFJiP;=^g6e1_UAWM?3}JbpNIbC)GSWDG=olY
z9-@f|DXRl^y+-GV0d!Zfb9)s!>xyI)k2{6!?&0pZtb}`6BoTK<(rMbpzlvU~t^{FC
zXE>9MWmcyN1mc~Y5jXA8pCWUWAHr>k_{vN!X%L~!^qM^slvQ&0#vj4kT5-HUR{G@#
z9X+6}`O%czn@Dws6LJ(Udb4skH^3sP{&XUy#G-fsJgo$6(T~gFOeQ=i$C65Bko9E3
z{V_S3>+c_giUE@$sZ0@-<qeyB9RWG8(NBjWWV{-a0}>}n{!L8w|LI0wN3e~_?V%f5
zeIfaV4I8=wo8`^E)=&T%v1nKc<HW=bI64rGC*@o=HZ>|=j2wzFo-FWc2LrI-pEmUC
zrxB)*^uq{WcJM+M*N+xZjIt@YFPx0xB!~YdcP7^3u5y5)`q7E07U?+08vW&a@GG3`
zpaULVtK~qzzap@cY0U*M>8ym|xJ9MPIN_ilwWv^V{6RbHVRA}4YvP?eV1Z*4=EEHo
z6R<!{4*?u>sWdh<o$dnK5nmCsb1Pp<MLkr}ulE#;vG#O+#5g*?F!E5*?rfIVjn2JP
zB0-&Oy6#{I<d>ffGE53rwWa#|(b2R4j|xvYZsQe4V5U2GBu4*~V@J%L9qd=a-GE9)
zhkYW4&o41|Z!+iZ&c$&)4WD7$@g&YIrI|+U3upV7J35$z1sy6GoultPOHM&#@G`MP
zm=t&}olwXkx`-QDcW;VkvatwrE3pBfG|fOdr44v@tdCDDeNk8w7>dDZpx8hpmR2yA
z(qSrh#r1S1g)>abASdBm&@!5CwPN*2NiRg?;a#{tj`H;q(Vz^IZht=}Im3ki6|?mG
zN=pmeHnmjkTqbAZ*>!4i1I439MZelPS)oO;#<T{=Cs@;n^2NGOKo=Jl<%;JWVZ)0I
zt@(t$SQiTTFfWjnkCYYqVtpoohFft(U#v3)6zfWeXvyq<C#bY$6XlC_nt%(rp73AD
z3Ahb>S_2APtOErc<@)45`6>M8WR^gNYzzI$x|9pP!39P6LSNLM))&NU<#J<OK){m*
zeR_m6>kolOF%j$X%5xfjUK8toh-gXpA@DuO81<c8Pr!phkVDR{6tmx?e~b$VDCC71
zfeUz_Nq>wp1bj>=awzl!eAuKf)`0>p5&`4-UJeC#6d7av#q+p;;{A${H^=Y$Twk<5
zb8<-z|B9mmnB396*;4sJU#z<Xj0!~#&E-D}x>289&ILIfBc>sl%YP9(qyE@JU06V`
zL6@>7bL=(HjPsZIoOrWI-&}slq%YR}0y<6l=K9mtQmhWOu}PxhoT50FZ7xsX0@Ar*
zyFp*P7u$+mzm$ZWj!oi%ZihaNJ(?RRiS@BKpD)hg^Veq;d!qk-7djMEp)c0a>E&b%
z@8NV%xr%ZHY=p8=pLw|`54@OXgaM%^@XMe~G*P}-KQ(fFvpkh$Ojq#oxp;*o^u>Bq
zFoeDlioP#o2zt4}CLTC?k4Ntkg+HQR^u9>=j%+3M(V<+Vf~muZa&<1fbC_QLqZVCa
KsY$_vvi|`Ie1G2n

literal 0
HcmV?d00001

diff --git a/taicpp/build/detz_test b/taicpp/build/detz_test
new file mode 100755
index 0000000000000000000000000000000000000000..d8c96213c405c4d3e10673d2a9e591b023c9ec99
GIT binary patch
literal 17320
zcmeHPeQ;aVmA~>wtRx^Q5Q0f45s6?ELKHh+*r5rMZN<+ZCvH9<Z4+J;NlrA8C9U+7
z*nt@WN<v<Ri<f06yX`QUU3N=%w$sq=0z>IyNJwCJ$|MU*ncV_uXr@vFBw4-;4blG2
zefLVwuU6XW@=s@cJ@1`+&OPUzbI<*JSNHm!KyYP^&BkP?Wh)rRrWzEVNO<CA$-$V9
zwJ-<XZZ?xm0J#p2Pb6ERtJX-6&@T9hOmdn?x5BFhpM=svf+SZh^h`2RBxEiFC%Jlx
z3fv0)lMOxzWqMhk+el{?XcxvvXqF@2_~sjOzU8Cgn>7Z0LO>};D9QB*xgH@Wp-b>f
zDE&!h(9<LQX@wr7QIL>$DG;RRnc0N>K5R0`OhT)^f{?R9w~&)i>RWqCi~K42dW772
zB10>T3w;tweP4qd`SXtrvU#i#`l{96u&4(Kshv<Dz0`H68ah|4XB+J7-JiyPdGw0M
zH=hrjoOI@t=LbUz;;}7D7cYoM=Eq}+Z2$cJmZkHTF7{@U-i3^^y$lcKXV`r&Vg`-i
z@#w341gnL=fFQ|R!|E#Zm0%o;|Eendzo^3Rt-^nM75eci`9!MF?N#!j`X0;v+A93d
zRpF<4cjK{!k3bkJe`G%<|BY4XJ_yXRW=^=OZtY7Z)QlENYpTlBu65mNB$|$Hjb*fG
zdR=#WJei2D3vG!<jkK{-zOhzY*rcl3wsdl*8jmKnYTMLkI-N}S+!ki)HzM(#9eseS
z)@nDYYPi3@xw(1amQW@ZhT?QAv9&9_R%>n!ZwsYWEggz!nXYhPZ3wSG^AfdNO-EDl
zP&lfFlkrHPC)|fz`;ecywZC6YMbnvNA{38l1L}?@C`s%jRmiWkY*2D5G*#?bpV%2o
zMAS9WOtvq|Qdup7yx@WGb~U_hyV@Iy#X$&VGEw-1W3UpX0ufz@Y$j**g<?br_lMNp
z7#XlD%KD;x;l30HsR0J&j1~#cn@4?XDWO}#kS45|u&_bzY;RW=d7D`Kh7JC<F16Xa
zh;;_L+JJ(**t@9Nl;UkQrx|f|p?7gP)?A4$szeuhmr!Nb;IEcHb(oE6(Zd^<9r#3~
z855TnR?z=#ERHrK+hx!71DK&Eu|3rA5NsG}Hi`5e;II8?JEpgZ>;XaZk9-GN+1Yml
zK5+a;ke|T*QQ+F#hcJ}avY!B_K>6(wX@pOW#V%#A?s-9b_^%$pa8%D;5%|AwypFvt
z@a*&$3Q@z}0Zu{AcXGZsA=VR$n9n5rfS}ubTnrWqDDXFLF>o3S&HeC%iEfOO24BHM
zcNir8K5L@OF`g1eO!O%xewWWcs5o#$IrIzu22ey%dD?ChUDhEb>^ITH)Xe#ZOmsO{
zQNp7pI$y7FZpIFn=%ibQCrotdJ4!ofqEqXV;TaQMER}fDu!$~~LY)4xiGGR91n`)N
z?ljTIqvIYJ_rSOZ#y#-o;eijG*L<$z-m@$D`d=+zOxZiE)s&7Yxx@BDya1&oZ6KGf
z>%iMN)5nN^8>JLamP)1GA&%2TSp3flP7`49#R^UnU-8EkoF=^D-&Js$=!y?jaGKDI
z_f>G3@QUdQP7_^mO9iJ1uDGUx)5KP6tKc-D6&IHA(sgfp8S8b<>|ne+rRx$Fyw`%?
zX~A!|;Hxb7N(;Wif-kk;UJHJ`1;56EPb=ff;H6y-#-1gYD1%EB#FfG2>j4U1LxGWe
z10|D(kUZB&CW!+1Lm9l=(^M#+zLfmk9+xuM;c+XiM>U6%r`TZ1R=ADWfGH7WUfp$b
zkWbdG=<gIVpchu~M9niN(ELibej=!!dzR{s(iich$;B2_HZ_ti{qX6jytU;uk2|QJ
z0ip201+w8TcOlA6xLIkv+cQVIRLN&tO74iQ@G8=S`fmyoD6_%k4P^JXxXkh=uqrFu
zX~fS^Jk8@&p2mxn=PqI!qdb2PdLe;Vuh%(q4+>Ff?`xl>2993R6H)Sp4-_39Q3mT@
zz?w)I40`O!pyp{Hce*IaUU-~r$ldK}oZ#HMfvZH4;he!GLy#&w^hK$(ci6di8Ksh7
z;Vje;rIS;ZA0)2x;4*5d4XIUY=^u#ATB_XPp620i9x6PFMDBV0P;t_z5*q!t`TZ{a
z_??P=Qpx@LY|pwt^KkPk@U{(3FJ1A|d5nEj@d@a^0tH3?Zvw3&+7%c&9-}yhj)|oc
z&Y8Q(cZUQ7|C5}5$v+X8dqL69DldF+i}J!qtztW(9KWDVMFxE$1AFO&(J!Su*}Z!?
zC9~|j^-6B}EQ%`nDeV#^zkDT-!rb$yxd?1MQXc?r+XUINev&WlM53^VaR0h4{rvj1
zN<N8UZ>G}vmbL&&jXGEIH!FkfF6snmhKNuf=!6C(cL-hMt?b)f`Kvw3-v80A=t4tA
zZNH<;efyi6{2Pncf@_Fkhbr#6cno&(dg0@5r(Ma7Ow^X*-H@HE<Qwj7*?~`MEdUq3
zff226?swD_mj8g_rx0%*=EJn%FXh?!^NBr{grw5y%D%F@-=4@GI{kAa{oejsq$RRH
zKK<O#P;bR7?vFd3iKiF~4&LMHb)Fga-|k=UUkCr_zeAgE3F@~5b#%+4ov!)ww?%vP
z&Z)}LPCNDUBc0P2;!TJ$=af!&?sMBc(_mDKqQ6Ow@Ne?p=~q!5J{HXXrCtB8F8$|0
z{nNtzpO;GL{wS%_dH)v74&AL6oVjyo;N5$F?c95TxAdTAPEZfq+m6&-%W_}TXx|?U
ze9=7^b#)DPywu1$+3AhFL*4nWdb$S_u5R7iy|?7t^8p+a)Jp{qR4DpOhKehBXB@FP
z_bjIv^)VuK=?T04NXLATa_w{6U6}NOtr3sixu*pUCYaC63ErG(%6>1HzsudNpHuz~
zR0_4-b3Y5}FQW<9E3IdpdlFPJdxw7pvsq9NqER>l1;zG~@{GY>s#RKFQk<Oy<%LuA
zihf4X;~sb6<Y%M<++F#_o-X~RTL*8n2M5=?g8F)x_=$7RWXe|mG^nrhpuA{nh1C#I
zsMQ7YM1%Vj{YB^fFO$D=RJ;kYcyAF&UytI|UB<n;=Rde{p9l5A=>?|xS9J7&ThWXa
zmy+LwCitRT(fa|1-CeD3IQM)HV(0_t2fM)3q~s?lt)FFIA>QC%r_G-mu{(30g315M
zaGi7SVdxEDAb8sORI6|Q3J_6o0e!g5`E<~Bp|?#BPPjm_rynVg5AD-}aANLXQ8udm
zJvA7ix^m}Hn#ZURn3vEFP6qW)3I|3?rQ*97%+PO84nBXAp{RK6D$E&8sCa4^uHf7Y
zg}(+fjff}~ydBiHqg?HCg0}Y+eS1^U1to_3V85+!2Y9>m38(}#2~+@T=(j=rLSX^u
z-Fa{EHLi0vO3D1rryBhGSGtPN8+Iu9Rz+XYp&vz6wvM3oSBxlw{ivJYj9{?y+s-O;
z&-rsFM!2Ky`x~ewtoakaelB;!zA8U;;wpWrv!nG$`u!rGnqUuAHgDms!p}aXQmms=
za9RM3_C-`IjQoXyhT$sY!4b@($q-l3F3aV7YQp}2t2n}~#5xD<<10JbVVbQ=KU(M|
zA?{QKn8LBUP`|Z`{z7pd#<6@WDotO}mJiy_Q>C4!N-MsN-2Bg912;TB6R*=x!y6O!
zx4Vj~Ai_u5neZ5oT#ATXFRoYg<7+XLY#2R#Vj|%4C1y^i{$e3b&7IGK1?sz~wH776
z(bGiZbJNAg=kI?40XaS!LKvXA&wR!JUD!h`)z&y$dE%%w&O{7j8!&rrI#l>NQu#2A
z>GQjARb|Y^fMKkXsb!3ZaSx1pVB7<LULLSv&pr~>b}?GpVHFrlXm0vpWzJltMKfAv
z0loQ8E#7b{#lqf1s4wbXzT7>_5SRs0ItzB9HL>m{_v+h_m$4L0uqJOaepuNN4Qt8t
zvSs|2q)<Gb46C73Dw>EeuG@Wb_rvb?dGi)7a;K7M&7JIZYoVAoHQ;rxjYi#uBCq>)
zzPwE=;|@0ec(u$OPA2dRQ8uh$iR<o7C;QxqY&`CcW!#CR=H7wdhM<bsX4KwHdl$5i
zz4%P2L~EP6v!&8uz^Q=01biJ(!@A@4a~SBcnmP%%4sh}RV#Wl0>W8J$9+La0RHEMo
z9|nAw=pUC#2LUxKV?5v&KWi}Ct~Jco@3PIfq`^K!e2}>s&wk{0Js|67;6F!r5M7LC
z=z~(}7||WBm5#<+os)Okce7ijx8AVGGmFS1zY$Lh?B{|+L?F6`rwR07Kp7~{2k_Wo
zca(@L9j*szIvkDrYW)s(uC69H$<gR{xY``{m6QE4YS>8Zwp~3zUV?`2p85)7Gh{i)
zUV2WzU#|n!U5Ua49IjkVmt%9ylam~-c848@DX6SLJR4xweZ+SjFURH_T*N~o-Zw&Y
z1pdenMRB+WCOPb#lMT83AZ>*08|xtZG7#ARV9jbr<F{+u9PYuoHpiR?>iv$UeG~kS
zmRv)pBc)Apv~)O{{Ej(bXmd2S@xld=pBv(D;#mb-$R~9V;^j!?8um?ipnkCK+qDnY
zup2=l6KPHK8u8qN7s|Dde3q;2aHMJu!ei|Ym!FqU+P@EZb`U>R4)UzsXOys1vQ4}R
z`&-+u!YUm|T|W@O%Rj3bs(sDQ9&4!ocRTyIp&oINUDN7kvoKha^*6G+rpzYV#JRv1
z)gLwFmjNL?c-(jhqjLt(HcT|yYNJrI+rZ&k9w?343*p31fp}#-aKiX&+ymnt827-q
z2gW@x?tyU+jC<e@df)^tyb%rvDA!wbHj9G9=`5ESr?XZRE-^s)T(UfCw0MS*aFs}x
z=cxp_d`@b*NSEiTXuVCrZUFZ2g;J8DLt<fQtR5NLEh4myPvIGnF3$v=7WQG;%mb}+
zDO_QI@>{MqH;eN?ay{u5^1>}RNoIsA1#A+Bk|Z7HWO<Nw(>k4kJi8?I)8-=u$%jot
zUOuSfB<z23{85oHcHlWK?ZoE_$KxU$pKGJijoiPyw>-CP&9O;*y!iy|5pc7BDFJs2
zI3(Z!0S^i|EZ{K#PY7t$_lI!1Z!`zaL@smBS-&Nl(6a94CEkVJruofFvm9@pD=4Ey
zMqyO_b?jVe6cGs3rwy%0o)>ouhRXrR;=dO38r(J*7Kiih6a4e4@GlblZQ`&XedkfQ
z0}ti%s-V-i8iieW#?reNbmDK44Vah_?#Dy)%@+FK3c4Hzh?l}aJT^9iHTnpvj0ey0
z_?1ldTb_v5yLc#nIj%_h8ANPsTKQb1q*t@wfeNtU#N@`=lCuKGD(}@)VQdO}&t2i8
z*aDtUBeS;S7EZs4$$l@TR)Owf)63<R^cHkLH|WeKDF$2*{wa_^A`kSPN+AOJW$*)v
z%maP@Q^<in%ZQG8({DxQ^Pw{F$traEp^EZ%Q^P}e-2nW2>sa}G2>vNG)0wrOpt8o)
zJ00|E!SC`J8O!l%X%&7I^jWaytY}wJVb2eVzsAYrd?3i|Cspz}R)zjm_@Dbz<j?n>
zklD#9{2x`JPvrSXD=N@K^cu__mhtBX(8+JI{Y#0Zpi?_xK1nfPJEzZJZVO!jeJuYx
z0{U3>^)aWTpF#x%+RLGEIogrS)E^BhV>3Y?E1#w+^d8XNQrHCJoZrEAi-|HL((bR4
z&tp~c`C%10TN_Sm&E6!PkKYngwa`|+Pg~icrOjI}ozrLGc#QAa;@JOU+TvXV!qT2l
z8mH=)qzD9JJw0KA*UWQM2bkOAu|?R|HL*Z%M$6)-<1jXD<t+qN>r=yYLxE24N0RE+
zcydc9u12ukn^8mAeilylrQ%U78o@U3m>hI=Kc<G#>Ck{0O=#%>)|<u_vl_|v^$kG8
zgsI@vMzN~u$~FG(fErlUL3bxq>};t4MG%#aHB9aJ`YL~SS36TXgR9&8L3Q=Ym1_g*
z)OG&0U;q-)NJtCeV#R9QDTu@pYBm#%&^?KZI1FmcR}OsqssOG4&=G&*n!+fOaU)?g
ziC<i}*p&@~-MD{1Zp$RqZJ|Vj?tqxDMU2X|;|^~++Uu=yDWm#zjM2L2ipWx9zrO2F
zxGh4LM%FG-1A&f(fgOz3Elj4X7N$!ZWwUWXg4~lDC{u8If?pu97{%|e_$v1^a0|nF
zVWgY|a-ens23(#gw+yOh!vs`1et6(_VZM}tHd8^r+?zG#($n=5bA$Z7-id;4$z(*?
z=q^p!6VxKdY7QnxUi`k1sUO_bp6u&G6Xb&e3Owoxk5As98S65W94ba#Wn$jUK%W-c
z0;r`8xJ}0JlTFmSHIemh$;NO;4nN&^@vBrconoB2EtJ{Dype$faxkElHd5q|PMl33
zD$>%?c!&f<EEU%%M>G*HqTa1Z5y?cu%&SHFfzp@+?j#=_ywPo96xtR+ZW4n|TqcV4
zhodPC<1k&&@|I0crIWZ9r40xYt`*Ivp_;2TMleH(jKjK6Ukv&Uji^wDfw`{_Bcf??
z`F}*|yOBP5Fs<`Y?S808#+rC^@B+mWs4QRYzOIxaUUOIq1m`G{QosBjmCz%YrCzyS
zl6m+Lp>I(sFTYnMq%%+y=(CohQeJ*HDxhIWP?ne9zY@ytU9j+AwZ8{c`j(XX<@ck6
zay=#OmwXa#f;@ejN?d-QN;u558upW&(tbf^aYQI@DKEd5C6wRGQood!<=-LX+eC))
z`&&Y{C@{&>o`Y3>H)zBn_Y2DFJh9%B`x0Q`LE0hlyAUzUyM>&D$0VbGBDt()pGE$x
zV31Jq%WNbr;e!@=d~_H=z+r((Amt={6bWYg<@czB8M#p*GVsZa1bht8EHBsd63Tra
zDQ5NG<3e86KXVIC0e>q{31t0A{GSma{Zd|j=SfKI%N(rwpGBfse#5l}w}f_?vB<=#
z|FA`V^K64rLgN=nAuM<+7-Me$F^^x?`|3?*X2h-fixzpg{~)2;B5y4}9dX3hX!-Y5
zxgRI*hg<bYTtd2!>@>;C?|x;zp;+=6SjB!xcS4@}9*qqY<oCGzKLPUp0f=qAa`|QZ
z{T5`X{-nJ8Zr{9sa%1cOe^*{ouY`>dHp?@g;1!OS<BZHf%1Qhh2op`}m*0bpLf*<x
zy3Ap=&~L40DKE!gDI?|0(9%RXt50N@5{{$&McQ(Z_Q-Nk_m;MELGe1c#E2ZVG#IH@
V^3pIfmi*3T1_zyiFb50D{tvl%R$Tx9

literal 0
HcmV?d00001

diff --git a/taicpp/build/gen/version.hpp b/taicpp/build/gen/version.hpp
new file mode 100644
index 0000000..d6a80b1
--- /dev/null
+++ b/taicpp/build/gen/version.hpp
@@ -0,0 +1,3 @@
+#pragma once
+#include <string_view>
+namespace detz { constexpr std::string_view kVersion = "0.1.0"; }
diff --git a/taicpp/build/main.o b/taicpp/build/main.o
new file mode 100644
index 0000000000000000000000000000000000000000..c5dd804e73f1f9c2be65dfc0d22466fc502ab90d
GIT binary patch
literal 1560
zcmbtU&1(};5TEUbiM6J+^bn{>go+i-qiOv@p+;iu9;6hpAYPWuW@|!{&ANFDZ4i3s
zDHNec{{r#P5cJ^DKf{9;^(JDSdHW{WKGKU0%+Abjelu_0N3y^E<nfqg0gDA|FpL-l
zcsn-q%gQZ74$i~RnM=RygKznoeK>z*2@`hz*<#l2|LFg*-@IPTd?l`Zh*-_Oo-pD`
z``}alqsqWWrE;&Zv|Wt@85c^o#EMuhmTt!?E?v_IwwOSjMV&<5*xUvj=L2Ems3h}=
z0ju{Etle2_VLFpN!i`)+oRs7Nee7J})l@F~@EirF3!T9Pd_Nw=7+2Gr%uHc8m%`Or
zh|QqV+@=%}7==UIZ3My#L*;<;V)JIrm%UZ5)wuHrol2{*8pXkSV{6L;$LUJfYdT)N
z>Fl_T7WTZX7oxKv{e7Is{S;1T$aq2HbiJu71`yr7wsfm#Wt7-Dd(z*PAZo63K~%e4
z5Ru<<1))fGBN>MvyiU9A2S^J#(ieDRMK!99Uk0%VqfY2Ya!;50b!R7X+rFOXf6W3m
zpgTNcG%6c0hr~?_og-oVzBpHA$FOGoRm^8m|Fyn^wbb*p`T2bzMTz;AZXincUsl=S
z=ZhY6Swr+QARf(1l245Ktq_%Y8isxC(EifG`)6xolKnLAT{=klCigk!GN>osB*yP`
zO+i~WJU_=FI@Hsw|EvjjnW(K<-$Z=W`Ef%&Cpy2gs9ewZsI}EndZR}w0GLKgZ^W#p
hp61)368cXgSxd~|tKmU>0liW6d3_+g0W)#T`oAOUgS7wv

literal 0
HcmV?d00001

diff --git a/taicpp/main.cpp b/taicpp/main.cpp
new file mode 100644
index 0000000..443c7b1
--- /dev/null
+++ b/taicpp/main.cpp
@@ -0,0 +1,2 @@
+#include "src/cli/cli.h"
+int main(int argc, char** argv) { return detz::cli::DetzCli{}.run(argc, argv); }
diff --git a/taicpp/src/agent/.gitkeep b/taicpp/src/agent/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/cap/.gitkeep b/taicpp/src/cap/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/cli/.gitkeep b/taicpp/src/cli/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/cli/cli.cpp b/taicpp/src/cli/cli.cpp
new file mode 100644
index 0000000..0b54d7e
--- /dev/null
+++ b/taicpp/src/cli/cli.cpp
@@ -0,0 +1,17 @@
+#include "cli.h"
+#include "version.hpp"
+#include <cstdio>
+namespace detz::cli {
+Command Parser::parse(int argc, char** argv) {
+    Command c;
+    if (argc > 1) { c.name = argv[1]; for (int i = 2; i < argc; ++i) c.args.emplace_back(argv[i]); }
+    return c;
+}
+int Command::run() {
+    if (name == "--version" || name == "version") { std::puts(kVersion.data()); return 0; }
+    std::puts("detz — C++23 port of tai.py. See --help. Version:");
+    std::puts(kVersion.data());
+    return 0;
+}
+int DetzCli::run(int argc, char** argv) { return Parser{}.parse(argc, argv).run(); }
+} // namespace detz::cli
diff --git a/taicpp/src/cli/cli.h b/taicpp/src/cli/cli.h
new file mode 100644
index 0000000..17a9c92
--- /dev/null
+++ b/taicpp/src/cli/cli.h
@@ -0,0 +1,10 @@
+#pragma once
+#include <string>
+#include <vector>
+namespace detz::cli {
+struct Command { std::string name{"--help"}; std::vector<std::string> args; int run(); };
+class Parser { public: Command parse(int argc, char** argv); };
+class DetzCli { public: int run(int argc, char** argv); };
+// molo-subcommand adapter stub (M1 wires `molo detz` registration here).
+class MoloSubcommand { public: const char* name() const { return "detz"; } };
+} // namespace detz::cli
diff --git a/taicpp/src/cli/version.hpp.in b/taicpp/src/cli/version.hpp.in
new file mode 100644
index 0000000..50f8adf
--- /dev/null
+++ b/taicpp/src/cli/version.hpp.in
@@ -0,0 +1,3 @@
+#pragma once
+#include <string_view>
+namespace detz { constexpr std::string_view kVersion = "@VERSION@"; }
diff --git a/taicpp/src/comms/.gitkeep b/taicpp/src/comms/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/config/.gitkeep b/taicpp/src/config/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/llm/.gitkeep b/taicpp/src/llm/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/mcp/.gitkeep b/taicpp/src/mcp/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/plexer/.gitkeep b/taicpp/src/plexer/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/seal/.gitkeep b/taicpp/src/seal/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/shell/.gitkeep b/taicpp/src/shell/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/store/.gitkeep b/taicpp/src/store/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/tui/.gitkeep b/taicpp/src/tui/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/src/util/.gitkeep b/taicpp/src/util/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/taicpp/tests/test_main.cpp b/taicpp/tests/test_main.cpp
new file mode 100644
index 0000000..e281a0c
--- /dev/null
+++ b/taicpp/tests/test_main.cpp
@@ -0,0 +1,12 @@
+#include "../src/cli/cli.h"
+#include <cassert>
+#include <cstdio>
+int main() {
+    detz::cli::Parser p;
+    const char* a0 = "detz";
+    auto c = p.parse(1, (char**)&a0);
+    assert(c.name == "--help");
+    assert(c.run() == 0);
+    std::puts("M0 OK");
+    return 0;
+}
diff --git a/taicpp/tools/changelog.sh b/taicpp/tools/changelog.sh
new file mode 100755
index 0000000..88c0848
--- /dev/null
+++ b/taicpp/tools/changelog.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+msg=${1:-update}
+v=$(cat VERSION); d=$(date +%F)
+{ echo "# Changelog"; echo; echo "## [$v] - $d"; echo "- $msg"; echo; tail -n +2 CHANGELOG.md; } > CHANGELOG.md.new
+mv CHANGELOG.md.new CHANGELOG.md
+echo "changelog updated"
diff --git a/taicpp/tools/release.sh b/taicpp/tools/release.sh
new file mode 100755
index 0000000..72dc51b
--- /dev/null
+++ b/taicpp/tools/release.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+set -e
+: "${PART:=patch}"
+tools/version-bump.sh "$PART"
+tools/changelog.sh "$MSG"
+git add VERSION CHANGELOG.md 2>/dev/null || true
+git commit -m "detz: release v$(cat VERSION) $MSG" 2>/dev/null || true
+tools/tag.sh
diff --git a/taicpp/tools/tag.sh b/taicpp/tools/tag.sh
new file mode 100755
index 0000000..47d4bea
--- /dev/null
+++ b/taicpp/tools/tag.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -e
+v=$(cat VERSION)
+git tag -a "detz-v$v" -m "detz v$v" 2>/dev/null || echo "tag detz-v$v (no git or exists)"
diff --git a/taicpp/tools/version-bump.sh b/taicpp/tools/version-bump.sh
new file mode 100755
index 0000000..dda499b
--- /dev/null
+++ b/taicpp/tools/version-bump.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+set -e
+part=${1:-patch}
+v=$(cat VERSION)
+maj=${v%%.*}; rest=${v#*.}; min=${rest%%.*}; pat=${rest##*.}
+case $part in major) maj=$((maj+1)); min=0; pat=0;; minor) min=$((min+1)); pat=0;; *) pat=$((pat+1));; esac
+echo "$maj.$min.$pat" > VERSION
+echo "VERSION -> $(cat VERSION)"
diff --git a/test_tai.py b/test_tai.py
index 63af6d9..472276d 100644
--- a/test_tai.py
+++ b/test_tai.py
@@ -2239,6 +2239,14 @@ class BundledSkillsTests(unittest.TestCase):
                 self.assertNotIn("`/plan`", text, label)
                 self.assertNotIn("/skill plan", text, label)
 
+    def test_deep_research_trigger_prefers_use(self):
+        text = tai.BUNDLED_SKILLS["deep-research"]["SKILL.md"]
+        skill = tai.parse_skill_front(text.split("\n---", 1)[0].splitlines()[1:])
+        self.assertNotIn("\n", skill["description"])
+        catalog = tai.skill_catalog({"deep-research": {"description": skill["description"]}})
+        self.assertIn("prefer it over a single lookup", catalog)
+        self.assertIn("resolving an issue", catalog)
+
     def test_skills_doc_names_everything(self):
         with open(os.path.join(os.path.dirname(os.path.abspath(__file__)), "skills.md"), encoding="utf-8") as handle:
             doc = handle.read()
@@ -4801,6 +4809,77 @@ class RetrievalEvalTests(unittest.TestCase):
         self.assertEqual(pairs["zero_hit"], ["zzz-nope-nothing"])
 
 
+class RagStatsTests(unittest.TestCase):
+    def setUp(self):
+        self.tmp = tempfile.TemporaryDirectory()
+        os.environ["TAI_HOME"] = self.tmp.name
+
+        class FakeArgs:
+            profile = "t"
+            yes = True
+
+        self.config = tai.Config(FakeArgs())
+        self.store = tai.Store(self.config, tai.Seal(self.config.home, "rag-stats-1"))
+        self.app = FakeSecretApp(self.store)
+        self.app.profile = "t"
+        self.app.config = self.config
+        self.tools = tai.Tools(self.app)
+
+    def tearDown(self):
+        self.store.close()
+        self.tmp.cleanup()
+        os.environ.pop("TAI_HOME", None)
+
+    def seed(self):
+        ids = {}
+        ids["title"] = self.store.add_record("note", "quasar beacon", "short body here", [], "t")
+        ids["stuffed"] = self.store.add_record("note", "unrelated title", "background words filler text. " * 10 + "quasar beacon " * 10, [], "t")
+        ids["harbor"] = self.store.add_record("note", "harbor launch checklist", "step one step two step three", [], "t")
+        return ids
+
+    def test_collect_empty(self):
+        stats = tai.RagStats.collect(self.store, "t", include_eval=False)
+        self.assertEqual(stats["records_total"], 0)
+        self.assertEqual(stats["searches_total"], 0)
+        self.assertEqual(stats["reads_total"], 0)
+        self.assertIn("rag stats: profile t", tai.RagStats.format_report(stats))
+
+    def test_collect_counts_search_and_read(self):
+        ids = self.seed()
+        self.tools.dispatch("search", json.dumps({"query": "quasar beacon", "kinds": ["record"]}))
+        self.tools.dispatch("record_read", json.dumps({"id": ids["title"]}))
+        self.tools.dispatch("search", json.dumps({"query": "zzz-nope-nothing"}))
+        stats = tai.RagStats.collect(self.store, "t", include_eval=False)
+        self.assertEqual(stats["records_total"], 3)
+        self.assertEqual(stats["searches_total"], 2)
+        self.assertEqual(stats["reads_total"], 1)
+        self.assertEqual(stats["window_searches"], 2)
+        self.assertEqual(stats["zero_hit_window"], 1)
+        self.assertEqual(stats["read_follow"], 1)
+        self.assertEqual(stats["rank_dist"]["1"], 1)
+        shown = dict(stats["top_shown"])
+        self.assertGreaterEqual(shown.get(ids["title"], 0), 1)
+        by_id = {row[0]: row for row in stats["effectiveness"]}
+        self.assertIn(ids["title"], by_id)
+        _rid, shown_n, read_n, total = by_id[ids["title"]]
+        self.assertGreaterEqual(shown_n, 1)
+        self.assertEqual(read_n, 1)
+        self.assertGreaterEqual(total, 2)
+
+    def test_format_report_covers_sections(self):
+        ids = self.seed()
+        self.tools.dispatch("search", json.dumps({"query": "quasar beacon", "kinds": ["record"]}))
+        self.tools.dispatch("record_read", json.dumps({"id": ids["title"]}))
+        report = tai.RagStats.format_report(tai.RagStats.collect(self.store, "t"))
+        for section in ("context uses per record", "read-follow", "hits dist", "tag coverage",
+                        "read rank", "queries:", "eval:", ids["title"]):
+            self.assertIn(section, report)
+
+    def test_parser_flag(self):
+        self.assertTrue(tai.build_parser().parse_args(["--stats-rag"]).stats_rag)
+        self.assertFalse(tai.build_parser().parse_args([]).stats_rag)
+
+
 class SupervisorCapTests(unittest.TestCase):
     def setUp(self):
         self.tmp = tempfile.TemporaryDirectory()