feat: parse all Go CLIs with flaggy; dump bash complete.

stdlib flag dropped --hop after the query. One wrapper in internal/cli,
source <(./bin/cli/complete.go bash). Gitea #34.

AGENTS.md

@@ -48,7 +48,7 @@ bin/postgres/ query.go (read-only YAML)
 bin/git/      import.go (go-git history; Python shim execs it)
 bin/web/      search.go (SearXNG; Python shim execs it)
 bin/reasoner/ bakeoff.go (D18 CPU OpenAI tool-call bake-off)
-internal/     shared Go (brain/rank is cgo-free; chats parsers; gitlog; websearch; reasoner; duckstats)
+internal/     shared Go (brain/rank is cgo-free; facts D16; cli flaggy D23; chats; gitlog; websearch; reasoner; duckstats)
 bin/qa/       stats.go (DuckDB quantiles / JSONL count; gcc CGO, not Zig)
 bin/watch/    corpus watcher (used by bin/brain/watch.go)
 bin/tools/    vendored python libs behind bin/* (kblib, yamlout, websearch)
@@ -84,11 +84,12 @@ bin/brain/index.go --rebuild --with-facts --with-chats
 ## Tools
 
 ```bash
-bin/facts/audit.go ["self"|"facts"|"info"|"stale"]  # 2-source + staleness gate
+bin/facts/audit.go ["self"|"db"|"contradict"]     # 2-source + D16 adjudication
 bin/facts/crm.go [--dry-run]                       # proof person↔company/company↔project (ooCRM × corpus SoT)
 bin/kb/search "query" [--repo X]                  # deprecated wrapper → bin/brain/search.go
 bin/brain/search.go "query" [--root facts|info]   # deduction search → YAML
 bin/brain/search.go "query" --no-web              # local graph only
+source <(./bin/cli/complete.go bash)              # flaggy completions (D23)
 eval "$(bin/cgo/zig env)"                         # Zig cc + liblbug (not gcc)
 bin/brain/index.go --rebuild [--with-mail] [--with-facts] [--with-chats]
 bin/brain/add.go --text T --root facts --source "a.md x b.md"  # incremental write

PLAN.md

@@ -5,8 +5,11 @@ RAG over the operational Brain/ops/eSlider stack. Built like Sherlock
 Holmes: nothing is asserted unless it has proof.
 
 Status: **v1 in** (epic [#16](https://git.produktor.io/eSlider/2dph/issues/16) closed).
-v2 board: milestone [v2](https://git.produktor.io/eSlider/2dph/milestone/13) — OCR [#6](https://git.produktor.io/eSlider/2dph/issues/6),
+v2 board: milestone [v2](https://git.produktor.io/eSlider/2dph/milestone/13) —
-[#29](https://git.produktor.io/eSlider/2dph/issues/29) OQ1, [#30](https://git.produktor.io/eSlider/2dph/issues/30) OQ3.
+OCR [#6](https://git.produktor.io/eSlider/2dph/issues/6) in,
+[#29](https://git.produktor.io/eSlider/2dph/issues/29) OQ1 in,
+[#30](https://git.produktor.io/eSlider/2dph/issues/30) OQ3 in,
+[#34](https://git.produktor.io/eSlider/2dph/issues/34) D23 in.
 Gap: [docs/roadmap.md](docs/roadmap.md).
 
 ## What
@@ -42,13 +45,14 @@ detective method: **a fact needs ≥2 independent sources or it is
 | D13 | portfolio | start graph `(Person:eslider)-[:HAS]->(Portfolio)`, associate other natural/juristic persons later. |
 | D14 | tooling style | `bin/{subject}/{method}.go` shebang (e.g. `bin/brain/search.go`). Shared code in `internal/`. One root `go.mod` + `go.work`. No `bin/*/main.go`, no nested modules. |
 | D15 | repo | Gitea [`eSlider/2dph`](https://git.produktor.io/eSlider/2dph) is origin + [issues](https://git.produktor.io/eSlider/2dph/issues). GitHub `eSlider/2dph` is the public clone (PRs + Actions CI). No direct `main` pushes. TDD → PR → CI green → merge. |
-| D16 | contradictions | ≥2 yes vs ≥2 no → unrelated sources conflict → hypothesis → `(not confirmed)`. Resolution (authority, staleness adjudication) = **v2**, tracked as open question. |
+| D16 | contradictions | ≥2 yes vs ≥2 no → hypothesis → `(not confirmed)` until a rule fires. Order: **temporal_freshness** (fresh ≥2 vs stale minority), then **authority_pairing** (runtime/config A×B beats narrative C). Store as `a x b vs c x d` on hypothesis leafs. `bin/facts/audit contradict`. [#29](https://git.produktor.io/eSlider/2dph/issues/29). |
 | D17 | assertion gate | Fact-check every *claim* (facts → info → live → web), not every edit. `bin/brain/search.go` adds a `web` block when there is no facts hit (`throttled`/`skipped`/`refused` ≠ absence). `--root` and `--no-web` stay local. Missing graph ≠ “does not exist”. |
 | D18 | reasoner | Pluggable OpenAI-compatible URL (`REASONER_BASE_URL`). RAM: `Qwen/Qwen3.5-9B`. Quality: `prism-ml/Bonsai-27B-gguf` or `Qwen/Qwen3.6-27B`. No official Qwen3.6-9B. CPU bake-off: `bin/reasoner/bakeoff.go` + compose profile `reasoner` (`OLLAMA_NUM_GPU=0`, `:11435`). PicoClaw is compose profile `picoclaw`; tools are `search`/`get`/`audit`. Weights are not copied into the 2dph image. Agent lever/loop: [#15](https://git.produktor.io/eSlider/2dph/issues/15). |
 | D19 | git history | [go-git](https://github.com/go-git/go-git) via `bin/git/import.go`. No subprocess of the git binary. Conversion prints commit leafs; brain write is `bin/brain/index.go`. |
 | D20 | agent API | OpenAPI + MCP are generated from the same `internal/httpapi.Ops` table as `bin/brain/serve.go` handlers. `GET /openapi.json`, `POST /mcp` (JSON-RPC tools/list + tools/call). Tool names match OpenAPI paths (`search`/`get`/`stats`/`audit`/`ingest`). |
 | D21 | CGO | Ladybug/tokenizers CGO is compiled with **Zig** (`bin/cgo/zcc` → `zig cc -target …-linux-gnu`), not gcc. `bin/cgo/zig` pins Zig 0.14.1 + liblbug 0.19.1 + libtokenizers 1.27.0. Compose `target: api` has no CPython; write/rebuild is profile `index`. |
 | D22 | analytics | **duckdb-go** in-process (`internal/duckstats`, `bin/qa/stats.go`) for quantiles/JSONL. Links with **gcc/g++**, not Zig. Ladybug stays the graph; web-search cache stays modernc sqlite. Slice small structured docs with **mikefarah/yq**, not kislyuk/jq. [#30](https://git.produktor.io/eSlider/2dph/issues/30). |
+| D23 | CLI | **flaggy** (`github.com/integrii/flaggy`, 0 deps). Flags at any position. Wrapper `internal/cli`. Bash complete: `source <(./bin/cli/complete.go bash)`. No cobra, no stdlib `flag` in Go tools. Search does not intercept the word `completion`. [#34](https://git.produktor.io/eSlider/2dph/issues/34). |
 
 ## Architecture
 
@@ -65,7 +69,8 @@ detective method: **a fact needs ≥2 independent sources or it is
     brain/add.go            incremental leaf write (no rebuild)
     brain/get.go stats.go eval.go  # Go read (cgo); Python bin/kb/* CI fallback
     brain/watch.go
-    brain/search.go         deduction: facts → info → web-search
+    brain/search.go         deduction: facts → info → web
+    cli/complete.go         flaggy bash/zsh/fish complete (D23)
     brain/serve.go          HTTP API in-process + OpenAPI/MCP (D20); Zig CGO (D21)
     cgo/zig zcc zc++        CGO toolchain (zig cc, not gcc)
     mail/import.go          JSON → markdown (no brain write)
@@ -117,8 +122,8 @@ Common props on every node/edge: `root`, `confidence`, `evidence[]`, `how`,
 
 ## Open questions (v2)
 
-- OQ1: mutually-contradicting evidence — how to resolve (authority weighting,
+- OQ1: **in** — D16 adjudication: `temporal_freshness` then `authority_pairing`.
-  temporal freshness, audit adjudication). **v2**; [#29](https://git.produktor.io/eSlider/2dph/issues/29).
+  Unresolved 2v2 stays hypothesis. [#29](https://git.produktor.io/eSlider/2dph/issues/29).
 - OQ2: OCR — **in**. `pdftotext -layout` first; scans `pdftoppm` + tesseract
   `eng+deu` (`bin/mail/ocr.go`, `internal/ocr`). No gocv, no gosseract CGO
   (D21 Zig owns Ladybug CGO). Optional `OCR_ENGINE=paddle` / compose profile
@@ -184,4 +189,4 @@ Narrative: [docs/roadmap.md](docs/roadmap.md).
 | 4 | [#15](https://git.produktor.io/eSlider/2dph/issues/15) | **in** — lever/loop documented (`search` → `get` → `audit`). |
 | 5 | [#19](https://git.produktor.io/eSlider/2dph/issues/19) | **in** — CI recall SoT is `bin/brain/eval.go` via Zig. Python `bin/kb/eval` stays as an explicit fallback. |
 
-Does **not** block epic close: OQ1 [#29](https://git.produktor.io/eSlider/2dph/issues/29), OQ3 [#30](https://git.produktor.io/eSlider/2dph/issues/30), OQ4. OCR [#6](https://git.produktor.io/eSlider/2dph/issues/6) is **in**.
+Does **not** block epic close: OQ4. OCR [#6](https://git.produktor.io/eSlider/2dph/issues/6), OQ1 [#29](https://git.produktor.io/eSlider/2dph/issues/29), OQ3 [#30](https://git.produktor.io/eSlider/2dph/issues/30) are **in**.

bin/cli/complete.go

@@ -0,0 +1,91 @@
+//usr/bin/env go run "$0" "$@"; exit
+//
+// bin/cli/complete.go - dump flaggy shell completions for all Go shebang tools (D23).
+//
+//	source <(./bin/cli/complete.go bash)
+//	./bin/cli/complete.go zsh|fish|powershell|nushell
+//
+// Search does not steal the word "completion"; this binary dumps scripts.
+// NOTE: never run `gofmt -w` on this file — it breaks the shebang.
+package main
+
+import (
+	"fmt"
+	"os"
+	"strings"
+
+	mailsync "github.com/eSlider/2dph/bin/mail/sync"
+	"github.com/eSlider/2dph/internal/brain/rank"
+	"github.com/eSlider/2dph/internal/chats"
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/eSlider/2dph/internal/gitlog"
+	"github.com/eSlider/2dph/internal/mdleaves"
+	"github.com/eSlider/2dph/internal/ocr"
+	"github.com/eSlider/2dph/internal/reasoner"
+	"github.com/eSlider/2dph/internal/websearch"
+	"github.com/integrii/flaggy"
+)
+
+func tools() []cli.Tool {
+	return []cli.Tool{
+		{Path: "bin/brain/search.go", Name: "brain-search", New: rank.Parser},
+		{Path: "bin/brain/get.go", Name: "brain-get", New: func() *flaggy.Parser {
+			o := rank.GetOptions{}
+			return rank.GetParser(&o)
+		}},
+		{Path: "bin/brain/stats.go", Name: "brain-stats", New: rank.StatsParser},
+		{Path: "bin/brain/eval.go", Name: "brain-eval", New: rank.EvalParser},
+		{Path: "bin/web/search.go", Name: "web-search", New: websearch.Parser},
+		{Path: "bin/git/import.go", Name: "git-import", New: gitlog.Parser},
+		{Path: "bin/markdown/import.go", Name: "markdown-import", New: mdleaves.Parser},
+		{Path: "bin/qa/stats.go", Name: "qa-stats", New: cli.QAParser},
+		{Path: "bin/reasoner/bakeoff.go", Name: "reasoner-bakeoff", New: reasoner.Parser},
+		{Path: "bin/mail/ocr.go", Name: "mail-ocr", New: ocr.Parser},
+		{Path: "bin/mail/sync.go", Name: "mail-sync", New: mailsync.Parser},
+		{Path: "bin/chats/sync.go", Name: "chats-sync", New: chats.SyncParser},
+		{Path: "bin/chats/import.go", Name: "chats-import", New: chats.ImportParser},
+		{Path: "bin/chats/facts.go", Name: "chats-facts", New: chats.FactsParser},
+		{Path: "bin/chats/apply.go", Name: "chats-apply", New: chats.ApplyParser},
+	}
+}
+
+func main() {
+	os.Exit(run(os.Args[1:]))
+}
+
+func run(args []string) int {
+	shell := "bash"
+	if len(args) > 0 {
+		switch args[0] {
+		case "bash", "zsh", "fish", "powershell", "nushell":
+			shell = args[0]
+		case "-h", "--help", "help":
+			fmt.Fprintln(os.Stderr, "usage: bin/cli/complete.go [bash|zsh|fish|powershell|nushell]")
+			return 0
+		default:
+			fmt.Fprintf(os.Stderr, "cli/complete: unknown shell %q\n", args[0])
+			return 2
+		}
+	}
+	if shell == "bash" {
+		fmt.Print(cli.BashScript(tools()))
+		return 0
+	}
+	var b strings.Builder
+	for _, t := range tools() {
+		p := t.New()
+		p.Name = t.Name
+		switch shell {
+		case "zsh":
+			b.WriteString(flaggy.GenerateZshCompletion(p))
+		case "fish":
+			b.WriteString(flaggy.GenerateFishCompletion(p))
+		case "powershell":
+			b.WriteString(flaggy.GeneratePowerShellCompletion(p))
+		case "nushell":
+			b.WriteString(flaggy.GenerateNushellCompletion(p))
+		}
+	}
+	fmt.Print(b.String())
+	return 0
+}

bin/facts/audit

@@ -1,14 +1,15 @@
 #!/usr/bin/env python3
 """facts/audit - evidence & lexicon checks for the 2dph brain.
 
-  bin/facts/audit self      # lexicon: every fact in db has >=2 sources
+  bin/facts/audit self         # lexicon: docs + two-source rule
-  bin/facts/audit db        # evidence gate: run against var/kb.lbug
+  bin/facts/audit db           # evidence gate against var/kb.lbug
+  bin/facts/audit contradict   # D16 adjudication (JSON claim(s) on stdin)
 
-`self` mode checks the repo itself (no network, no runtime deps). It greps
+`self` mode checks the repo itself (no network, no runtime deps).
-for known-good two-source pairings and confirms the docs are consistent.
+`db` mode loads every Leaf with root=facts. Confirmed facts need ` x `;
-`db` mode loads every Leaf with root=facts and asserts each has source_rev
+hypothesis contradictions need `a x b vs c x d` (both sides ≥2).
-and a non-empty `loc` (the "where did you see it" evidence pointer) and that
+`contradict` applies temporal_freshness then authority_pairing; ≥2 vs ≥2
-'confirmed' facts carry a two-source `source` field.
+with no rule stays hypothesis / `(not confirmed)`.
 
 Exit 0 = all checks pass, 1 = audit failures, 2 = could not evaluate.
 """
@@ -22,6 +23,8 @@ from pathlib import Path
 ROOT = Path(__file__).resolve().parents[2]
 sys.path.insert(0, str(ROOT / "bin" / "tools"))
 
+from contradict import adjudicate, check_fact_row  # noqa: E402
+
 
 def audit_db() -> list[str]:
     from kblib import connect
@@ -33,14 +36,8 @@ def audit_db() -> list[str]:
     r = conn.execute("MATCH (l:Leaf {root:'facts'}) RETURN l.id, l.source, l.loc, l.how, l.confidence")
     problems: list[str] = []
     for lid, source, loc, how, conf in r.get_all():
-        if conf != "confirmed":
+        problems.extend(check_fact_row(str(lid), str(source or ""), str(loc or ""),
-            problems.append(f"{lid}: facts require confidence='confirmed', got '{conf}'")
+                                       str(how or ""), str(conf or "")))
-        if not source or " x " not in source:
-            problems.append(f"{lid}: needs 2-source evidence in source, got '{source}'")
-        if not loc:
-            problems.append(f"{lid}: missing loc (evidence pointer)")
-        if not how:
-            problems.append(f"{lid}: missing how")
     conn.close()
     db.close()
     return problems
@@ -54,20 +51,50 @@ def audit_self() -> list[str]:
         problems.append("PLAN.md missing recall@5 gate")
     if re.search(r"(?i)facts must have.*2 sources|2.source", plan) is None:
         problems.append("PLAN.md missing the two-source evidence rule for facts")
+    if "temporal_freshness" not in plan or "authority_pairing" not in plan:
+        problems.append("PLAN.md missing D16 adjudication rules")
     if re.search(r"(?i)HNSW|BM25|deduction", (ROOT / "README.md").read_text()) is None:
         problems.append("README.md missing search/retrieval description")
     return problems
 
 
+def audit_contradict(raw: str) -> tuple[list[str], list[dict]]:
+    raw = raw.strip()
+    if not raw:
+        return ["contradict: empty stdin (JSON claim or {claims:[...]})"], []
+    try:
+        payload = json.loads(raw)
+    except json.JSONDecodeError as e:
+        return [f"contradict: invalid JSON: {e}"], []
+    if isinstance(payload, dict) and "claims" in payload:
+        claims = list(payload.get("claims") or [])
+    elif isinstance(payload, dict):
+        claims = [payload]
+    elif isinstance(payload, list):
+        claims = payload
+    else:
+        return ["contradict: expected object or list"], []
+    details = [adjudicate(c) for c in claims]
+    return [], details
+
+
 def main(argv: list[str]) -> int:
     import argparse
     p = argparse.ArgumentParser(description="evidence & lexicon audit")
-    p.add_argument("mode", choices=("self", "db"))
+    p.add_argument("mode", choices=("self", "db", "contradict"))
     p.add_argument("--json", action="store_true")
     a = p.parse_args(argv)
 
-    problems = audit_self() if a.mode == "self" else audit_db()
+    details: list[dict] = []
-    out = {"mode": a.mode, "ok": not problems, "problems": problems}
+    if a.mode == "self":
+        problems = audit_self()
+    elif a.mode == "db":
+        problems = audit_db()
+    else:
+        problems, details = audit_contradict(sys.stdin.read())
+    out: dict = {"mode": a.mode, "ok": not problems, "problems": problems}
+    if details:
+        out["contradictions"] = details
     if a.json:
         print(json.dumps(out, indent=2))
     else:

bin/facts/audit.go

@@ -5,6 +5,7 @@
 //
 //	./bin/facts/audit.go self
 //	./bin/facts/audit.go db
+//	./bin/facts/audit.go contradict --json < claim.json
 //
 // Python bin/facts/audit is the implementation (CI runs it directly).
 // NOTE: never run `gofmt -w` on this file — it breaks the shebang.

bin/git/import.go

@@ -16,9 +16,8 @@ import (
 	"fmt"
 	"os"
 	"path/filepath"
-	"strconv"
-	"time"
 
+	cliparse "github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/cmdbin"
 	"github.com/eSlider/2dph/internal/gitlog"
 )
@@ -28,50 +27,17 @@ func main() {
 }
 
 func run(args []string) int {
-	var repo, root, since string
+	c, err := gitlog.ParseArgs(args)
-	limit := 0
+	if err != nil {
-	jsonOut := false
+		return cliparse.Fail(err)
-	i := 0
-	for i < len(args) {
-		a := args[i]
-		switch {
-		case a == "--json":
-			jsonOut = true
-		case a == "--limit" && i+1 < len(args):
-			i++
-			n, err := strconv.Atoi(args[i])
-			if err != nil || n < 0 {
-				fmt.Fprintf(os.Stderr, "git/import: --limit must be a non-negative integer\n")
-				return 2
-			}
-			limit = n
-		case a == "--since" && i+1 < len(args):
-			i++
-			since = args[i]
-		case a == "--root" && i+1 < len(args):
-			i++
-			root = args[i]
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, `usage: bin/git/import.go [REPO] [--json] [--limit N] [--since DATE] [--root DIR]`)
-			return 0
-		case len(a) > 0 && a[0] != '-':
-			repo = a
-		default:
-			fmt.Fprintf(os.Stderr, "git/import: unknown flag %s\n", a)
-			return 2
-		}
-		i++
 	}
+	repo, root, since, limit, jsonOut := c.Repo, c.Root, c.Since, c.Limit, c.JSONOut
 
-	var sinceT time.Time
+	sinceT, err := gitlog.ParseSince(since)
-	if since != "" {
-		var err error
-		sinceT, err = parseSince(since)
 	if err != nil {
 		fmt.Fprintf(os.Stderr, "git/import: %v\n", err)
 		return 2
 	}
-	}
 
 	repos := []string{}
 	if repo != "" {
@@ -132,12 +98,3 @@ func run(args []string) int {
 	}
 	return 0
 }
-
-func parseSince(s string) (time.Time, error) {
-	for _, layout := range []string{time.RFC3339, "2006-01-02"} {
-		if t, err := time.Parse(layout, s); err == nil {
-			return t, nil
-		}
-	}
-	return time.Time{}, fmt.Errorf("cannot parse --since %q", s)
-}

bin/mail/ocr.go

@@ -17,6 +17,7 @@ import (
 	"os"
 	"strings"
 
+	cliparse "github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/ocr"
 )
 
@@ -25,15 +26,12 @@ func main() {
 }
 
 func run(args []string) int {
-	if len(args) != 1 || strings.HasPrefix(args[0], "-") {
+	c, err := ocr.ParseArgs(args)
-		fmt.Fprintln(os.Stderr, `usage: bin/mail/ocr.go <image|pdf>`)
+	if err != nil {
-		return 2
+		return cliparse.Fail(err)
 	}
-	path := args[0]
+	path := c.Path
-	var (
+	var text string
-		text string
-		err  error
-	)
 	if strings.HasSuffix(strings.ToLower(path), ".pdf") {
 		text, err = ocr.PDFFile(path)
 	} else {

bin/mail/sync/cli.go

@@ -5,12 +5,15 @@ package sync
 
 import (
 	"context"
-	"flag"
+	"errors"
 	"fmt"
 	"os"
 	"path/filepath"
 	"strings"
 	"time"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
 )
 
 // CLIConfig is a superset of SyncConfig plus flag parsing results.
@@ -21,58 +24,84 @@ type CLIConfig struct {
 	Help    bool
 }
 
-// ParseCLI reads os.Args into a CLIConfig. Exit codes: 0 ok, 2 usage.
+type flagVals struct {
+	env, out, srcs, query string
+	workers, limit, offset int
+	force, dryRun         bool
+}
+
+func Parser() *flaggy.Parser {
+	v := flagVals{workers: 4, query: "in:inbox", srcs: "onlyoffice"}
+	return bind(&v)
+}
+
+func bind(v *flagVals) *flaggy.Parser {
+	if v.workers == 0 {
+		v.workers = 4
+	}
+	if v.query == "" {
+		v.query = "in:inbox"
+	}
+	if v.srcs == "" {
+		v.srcs = "onlyoffice"
+	}
+	p := cliparse.New("mail-sync")
+	p.Description = "download mail to var/mail"
+	p.String(&v.env, "", "env", ".env file")
+	p.String(&v.out, "", "out", "var/mail root")
+	p.Int(&v.workers, "", "workers", "concurrent downloads")
+	p.Int(&v.limit, "", "limit", "max messages per source (0 = all)")
+	p.Int(&v.offset, "", "offset", "skip first N messages per source")
+	p.Bool(&v.force, "", "force", "overwrite existing message.json")
+	p.Bool(&v.dryRun, "", "dry-run", "list counts without writing")
+	p.String(&v.query, "", "query", "Gmail search query")
+	p.String(&v.srcs, "", "source", "comma list: onlyoffice,gmail")
+	return p
+}
+
+// ParseCLI reads args into a CLIConfig. Exit codes: 0 ok, 2 usage.
 func ParseCLI(args []string) (CLIConfig, int, error) {
-	fs := flag.NewFlagSet("mail/sync", flag.ContinueOnError)
+	v := flagVals{workers: 4, query: "in:inbox", srcs: "onlyoffice"}
-	var (
+	p := bind(&v)
-		env    = fs.String("env", "", ".env file (default: <cwd>/.env)")
+	if err := cliparse.Parse(p, args); err != nil {
-		out    = fs.String("out", "", "var/mail root (default: <cwd>/var/mail)")
+		if errors.Is(err, cliparse.ErrHelp) {
-		workers = fs.Int("workers", 4, "concurrent downloads")
+			return CLIConfig{Help: true}, 0, nil
-		limit  = fs.Int("limit", 0, "max messages per source (0 = all)")
+		}
-		offset = fs.Int("offset", 0, "skip first N messages per source")
-		force  = fs.Bool("force", false, "overwrite existing message.json + attachments")
-		dryRun = fs.Bool("dry-run", false, "list message counts without writing")
-		query  = fs.String("query", "in:inbox", "Gmail search query (gmail source only)")
-		srcs   = fs.String("source", "onlyoffice", "comma list: onlyoffice,gmail (default onlyoffice)")
-		help   = fs.Bool("help", false, "usage")
-	)
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
 		return CLIConfig{}, 2, err
 	}
-	if *help || fs.NArg() > 0 {
+	if len(p.TrailingArguments) > 0 {
 		return CLIConfig{Help: true}, 0, nil
 	}
 	wd, err := os.Getwd()
 	if err != nil {
 		return CLIConfig{}, 2, err
 	}
-	if *env == "" {
+	if v.env == "" {
-		*env = filepath.Join(wd, ".env")
+		v.env = filepath.Join(wd, ".env")
 	}
-	if *out == "" {
+	if v.out == "" {
-		*out = filepath.Join(wd, "var", "mail")
+		v.out = filepath.Join(wd, "var", "mail")
 	}
-	envVars := readEnv(*env)
+	envVars := readEnv(v.env)
 	cfg := SyncConfig{
-		Out:     *out,
+		Out:     v.out,
-		Workers: *workers,
+		Workers: v.workers,
-		Limit:   *limit,
+		Limit:   v.limit,
-		Offset:  *offset,
+		Offset:  v.offset,
-		Force:   *force,
+		Force:   v.force,
-		DryRun:  *dryRun,
+		DryRun:  v.dryRun,
-		Query:   *query,
+		Query:   v.query,
 		Policy:  RetryPolicy{},
 	}
-	cli := CLIConfig{Sync: cfg, Env: *env, Sources: *srcs}
+	out := CLIConfig{Sync: cfg, Env: v.env, Sources: v.srcs}
-	for _, s := range strings.Split(*srcs, ",") {
+	for _, s := range strings.Split(v.srcs, ",") {
 		switch strings.TrimSpace(s) {
 		case "onlyoffice":
 			u := pick(envVars["ONLYOFFICE_URL"], envVars["OO_URL"])
 			user := pick(envVars["ONLYOFFICE_USER"], envVars["OO_USER"])
 			pass := pick(envVars["ONLYOFFICE_PASS"], envVars["OO_PASSWORD"])
 			if u == "" || user == "" || pass == "" {
-				return CLIConfig{}, 2, fmt.Errorf("onlyoffice source needs ONLYOFFICE_URL/USER/PASS in %s", *env)
+				return CLIConfig{}, 2, fmt.Errorf("onlyoffice source needs ONLYOFFICE_URL/USER/PASS in %s", v.env)
 			}
 			cfg.OO = &OOConfig{URL: u, User: user, Password: pass}
 		case "gmail":
@@ -85,30 +114,30 @@ func ParseCLI(args []string) (CLIConfig, int, error) {
 			return CLIConfig{}, 2, fmt.Errorf("unknown source %q", s)
 		}
 	}
-	cli.Sync = cfg
+	out.Sync = cfg
-	return cli, 0, nil
+	return out, 0, nil
 }
 
 // Main is the CLI entry: returns process exit code.
 func Main(args []string) int {
-	cli, code, err := ParseCLI(args)
+	cfg, code, err := ParseCLI(args)
 	if err != nil {
 		fmt.Fprintln(os.Stderr, "mail/sync:", err)
 		return code
 	}
-	if cli.Help {
+	if cfg.Help {
 		fmt.Fprintln(os.Stderr, "usage: bin/mail/sync.go [--source onlyoffice,gmail] [--query GMAIL_Q] [--limit N] [--offset N] [--workers N] [--force] [--dry-run]")
 		return 0
 	}
 	ctx, cancel := context.WithTimeout(context.Background(), 6*time.Hour)
 	defer cancel()
 	start := time.Now()
-	stats, err := Run(ctx, cli.Sync)
+	stats, err := Run(ctx, cfg.Sync)
 	if err != nil {
 		fmt.Fprintln(os.Stderr, "mail/sync:", err)
 		return 1
 	}
-	if cli.Sync.DryRun {
+	if cfg.Sync.DryRun {
 		fmt.Printf("mail/sync: dry-run checked=%d (no writes)\n", stats.Checked)
 		return 0
 	}
@@ -135,7 +164,6 @@ func readEnv(path string) map[string]string {
 		k, v, _ := strings.Cut(line, "=")
 		out[strings.TrimSpace(k)] = strings.Trim(strings.TrimSpace(v), "\"'")
 	}
-	// env overrides file
 	for _, kv := range os.Environ() {
 		k, v, ok := strings.Cut(kv, "=")
 		if !ok {

bin/markdown/import.go

@@ -15,6 +15,7 @@ import (
 	"os"
 	"strings"
 
+	cliparse "github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/mdleaves"
 )
 
@@ -23,29 +24,13 @@ func main() {
 }
 
 func run(args []string) int {
-	jsonOut := false
+	c, err := mdleaves.ParseArgs(args)
-	files := ""
+	if err != nil {
-	root := "."
+		return cliparse.Fail(err)
-	for i := 0; i < len(args); i++ {
-		a := args[i]
-		switch {
-		case a == "--json":
-			jsonOut = true
-		case a == "--files" && i+1 < len(args):
-			i++
-			files = args[i]
-		case strings.HasPrefix(a, "--files="):
-			files = strings.TrimPrefix(a, "--files=")
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, "bin/markdown/import.go [dir] [--files a.md,b.md] [--json]")
-			return 0
-		case strings.HasPrefix(a, "-"):
-			fmt.Fprintln(os.Stderr, "unknown arg:", a)
-			return 2
-		default:
-			root = a
-		}
 	}
+	jsonOut := c.JSONOut
+	files := c.Files
+	root := c.Root
 
 	var paths []string
 	if files != "" {

bin/qa/stats.go

@@ -16,8 +16,8 @@ import (
 	"fmt"
 	"io"
 	"os"
-	"strings"
 
+	cliparse "github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/duckstats"
 )
 
@@ -26,23 +26,11 @@ func main() {
 }
 
 func run(args []string) int {
-	jsonl := ""
+	c, err := cliparse.ParseQAStats(args)
-	for i := 0; i < len(args); i++ {
+	if err != nil {
-		a := args[i]
+		return cliparse.Fail(err)
-		switch {
-		case a == "--jsonl" && i+1 < len(args):
-			i++
-			jsonl = args[i]
-		case strings.HasPrefix(a, "--jsonl="):
-			jsonl = strings.TrimPrefix(a, "--jsonl=")
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, "bin/qa/stats.go [--jsonl FILE]  # stdin = JSON [float,…]")
-			return 0
-		default:
-			fmt.Fprintln(os.Stderr, "unknown arg:", a)
-			return 2
-		}
 	}
+	jsonl := c.JSONL
 	if jsonl != "" {
 		n, err := duckstats.CountJSONL(jsonl)
 		if err != nil {

bin/reasoner/bakeoff.go

@@ -15,8 +15,8 @@ import (
 	"encoding/json"
 	"fmt"
 	"os"
-	"strings"
 
+	cliparse "github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/duckstats"
 	"github.com/eSlider/2dph/internal/reasoner"
 )
@@ -26,42 +26,13 @@ func main() {
 }
 
 func run(args []string) int {
-	base := os.Getenv("REASONER_BASE_URL")
+	c, err := reasoner.ParseArgs(args)
-	if base == "" {
+	if err != nil {
-		base = "http://127.0.0.1:11435/v1"
+		return cliparse.Fail(err)
 	}
-	model := os.Getenv("REASONER_MODEL")
+	base, model, jsonOut, device := c.Base, c.Model, c.JSONOut, c.Device
-	if model == "" {
+	client := reasoner.Client{BaseURL: base, Model: model, Device: device}
-		model = reasoner.OllamaRAM
+	rep := reasoner.Run(client)
-	}
-	jsonOut := false
-	device := "cpu"
-	for i := 0; i < len(args); i++ {
-		a := args[i]
-		switch {
-		case a == "--json":
-			jsonOut = true
-		case a == "--model" && i+1 < len(args):
-			i++
-			model = args[i]
-		case strings.HasPrefix(a, "--model="):
-			model = strings.TrimPrefix(a, "--model=")
-		case a == "--base-url" && i+1 < len(args):
-			i++
-			base = args[i]
-		case a == "--device" && i+1 < len(args):
-			i++
-			device = args[i]
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, "bin/reasoner/bakeoff.go [--model ID] [--base-url URL] [--device cpu] [--json]")
-			return 0
-		default:
-			fmt.Fprintln(os.Stderr, "unknown arg:", a)
-			return 2
-		}
-	}
-	c := reasoner.Client{BaseURL: base, Model: model, Device: device}
-	rep := reasoner.Run(c)
 	lat := make([]float64, 0, len(rep.Prompts))
 	for _, p := range rep.Prompts {
 		lat = append(lat, float64(p.LatencyMS))

bin/tools/contradict.py

@@ -0,0 +1,103 @@
+"""D16 contradiction adjudication (same rules as internal/facts)."""
+from __future__ import annotations
+
+from typing import Any
+
+CONF_CONFIRMED = "confirmed"
+CONF_HYPOTHESIS = "hypothesis"
+
+RULE_UNRESOLVED = "unresolved"
+RULE_TEMPORAL = "temporal_freshness"
+RULE_AUTHORITY = "authority_pairing"
+RULE_TWO_SOURCE = "two_source"
+RULE_SINGLE = "single_source"
+
+KIND_RUNTIME = "runtime"
+KIND_CONFIG = "config"
+KIND_NARRATIVE = "narrative"
+
+
+def _independent(sources: list[dict]) -> int:
+    seen: set[str] = set()
+    for i, s in enumerate(sources):
+        sid = str(s.get("id") or "") or f"{s.get('kind', '')}#{i}"
+        seen.add(sid)
+    return len(seen)
+
+
+def _fresh_n(sources: list[dict]) -> int:
+    return sum(1 for s in sources if not s.get("stale"))
+
+
+def _strong_n(sources: list[dict]) -> int:
+    return sum(1 for s in sources if s.get("kind") in (KIND_RUNTIME, KIND_CONFIG))
+
+
+def adjudicate(claim: dict[str, Any]) -> dict[str, Any]:
+    yes = list(claim.get("yes") or [])
+    no = list(claim.get("no") or [])
+    yes_n, no_n = _independent(yes), _independent(no)
+    text = str(claim.get("text") or "")
+
+    def out(conf: str, rule: str, winner: str = "") -> dict[str, Any]:
+        return {
+            "text": text,
+            "confidence": conf,
+            "confirmed": conf == CONF_CONFIRMED,
+            "rule": rule,
+            "winner": winner,
+            "yes": yes_n,
+            "no": no_n,
+        }
+
+    if yes_n < 2 or no_n < 2:
+        if yes_n >= 2:
+            return out(CONF_CONFIRMED, RULE_TWO_SOURCE, "yes")
+        if no_n >= 2:
+            return out(CONF_CONFIRMED, RULE_TWO_SOURCE, "no")
+        return out(CONF_HYPOTHESIS, RULE_SINGLE)
+    yf, nf = _fresh_n(yes), _fresh_n(no)
+    if yf >= 2 and nf < 2:
+        return out(CONF_CONFIRMED, RULE_TEMPORAL, "yes")
+    if nf >= 2 and yf < 2:
+        return out(CONF_CONFIRMED, RULE_TEMPORAL, "no")
+    ys, ns = _strong_n(yes), _strong_n(no)
+    if ys >= 2 and ns < 2:
+        return out(CONF_CONFIRMED, RULE_AUTHORITY, "yes")
+    if ns >= 2 and ys < 2:
+        return out(CONF_CONFIRMED, RULE_AUTHORITY, "no")
+    return out(CONF_HYPOTHESIS, RULE_UNRESOLVED)
+
+
+def parse_source_field(source: str) -> tuple[str, str]:
+    """Split `a x b vs c x d` into (yes, no). Empty no if no ` vs `."""
+    if " vs " not in source:
+        return source, ""
+    yes, _, no = source.partition(" vs ")
+    return yes.strip(), no.strip()
+
+
+def check_fact_row(lid: str, source: str, loc: str, how: str, conf: str) -> list[str]:
+    """Lexicon checks for one facts leaf (no Ladybug)."""
+    problems: list[str] = []
+    src = source or ""
+    if conf == CONF_CONFIRMED:
+        if " vs " in src:
+            problems.append(f"{lid}: confirmed fact cannot keep a vs-contradiction")
+        if " x " not in src:
+            problems.append(f"{lid}: needs 2-source evidence in source, got '{source}'")
+    elif conf == CONF_HYPOTHESIS:
+        yes, no = parse_source_field(src)
+        if not no or " x " not in yes or " x " not in no:
+            problems.append(
+                f"{lid}: hypothesis contradiction needs 'a x b vs c x d', got '{source}'"
+            )
+    elif conf == "partial":
+        pass
+    else:
+        problems.append(f"{lid}: unknown confidence '{conf}'")
+    if not loc:
+        problems.append(f"{lid}: missing loc (evidence pointer)")
+    if not how:
+        problems.append(f"{lid}: missing how")
+    return problems

bin/tools/test_bin_layout.py

@@ -127,6 +127,38 @@ class BinLayoutTest(unittest.TestCase):
             self.assertIn("cmdbin.ExecFile", text)
             self.assertIn(f"bin/facts/{method.removesuffix('.go')}", text)
 
+    def test_d16_adjudication_is_cgo_free(self) -> None:
+        self.assertTrue((ROOT / "internal" / "facts" / "contradict.go").is_file())
+        go = (ROOT / "internal" / "facts" / "contradict.go").read_text()
+        py = (ROOT / "bin" / "tools" / "contradict.py").read_text()
+        audit = (ROOT / "bin" / "facts" / "audit").read_text()
+        for token in ("temporal_freshness", "authority_pairing", "unresolved"):
+            self.assertIn(token, go)
+            self.assertIn(token, py)
+        self.assertIn("contradict", audit)
+        self.assertIn(" vs ", py)
+        plan = (ROOT / "PLAN.md").read_text()
+        self.assertIn("temporal_freshness", plan)
+        self.assertIn("authority_pairing", plan)
+        shebang = (ROOT / "bin" / "facts" / "audit.go").read_text()
+        self.assertIn("contradict", shebang)
+
+    def test_d23_flaggy_cli(self) -> None:
+        self.assertTrue((ROOT / "internal" / "cli" / "cli.go").is_file())
+        self.assertIn("github.com/integrii/flaggy", (ROOT / "go.mod").read_text())
+        plan = (ROOT / "PLAN.md").read_text()
+        self.assertIn("D23", plan)
+        self.assertIn("flaggy", plan)
+        complete = (ROOT / "bin" / "cli" / "complete.go").read_text()
+        first = complete.splitlines()[0]
+        self.assertTrue(first.startswith("//usr/bin/env go run"), first)
+        self.assertIn("complete.go bash", complete)
+        self.assertIn("brain-search", complete)
+        chats_import = (ROOT / "internal" / "chats" / "import.go").read_text()
+        self.assertNotIn("flag.NewFlagSet", chats_import)
+        args = (ROOT / "internal" / "brain" / "rank" / "args.go").read_text()
+        self.assertIn("internal/cli", args)
+
     def test_mail_import_is_shebang_not_brain_write(self) -> None:
         self._assert_shebang("bin/mail/import.go")
         index_mail = (ROOT / "bin" / "mail" / "index_mail").read_text()

bin/tools/test_contradict.py

@@ -0,0 +1,104 @@
+import os
+import sys
+import unittest
+
+sys.path.insert(0, os.path.dirname(__file__))
+
+from contradict import (  # noqa: E402
+    RULE_AUTHORITY,
+    RULE_SINGLE,
+    RULE_TEMPORAL,
+    RULE_TWO_SOURCE,
+    RULE_UNRESOLVED,
+    adjudicate,
+    check_fact_row,
+    parse_source_field,
+)
+
+
+def src(i, kind, stale=False):
+    return {"id": i, "kind": kind, "stale": stale}
+
+
+class TestContradict(unittest.TestCase):
+    def test_two_vs_two_stays_hypothesis(self):
+        r = adjudicate({
+            "text": "svc listens on 443",
+            "yes": [src("docker-ps", "runtime"), src("compose", "config")],
+            "no": [src("docker-old", "runtime"), src("compose-old", "config")],
+        })
+        self.assertFalse(r["confirmed"])
+        self.assertEqual(r["rule"], RULE_UNRESOLVED)
+        self.assertEqual(r["winner"], "")
+
+    def test_temporal_freshness(self):
+        r = adjudicate({
+            "text": "svc listens on 443",
+            "yes": [src("docker-ps", "runtime"), src("compose", "config")],
+            "no": [src("old-readme", "narrative", True), src("old-wiki", "narrative", True)],
+        })
+        self.assertTrue(r["confirmed"])
+        self.assertEqual(r["rule"], RULE_TEMPORAL)
+        self.assertEqual(r["winner"], "yes")
+
+    def test_authority_pairing(self):
+        r = adjudicate({
+            "text": "svc listens on 443",
+            "yes": [src("docker-ps", "runtime"), src("compose", "config")],
+            "no": [src("readme", "narrative"), src("wiki", "narrative")],
+        })
+        self.assertTrue(r["confirmed"])
+        self.assertEqual(r["rule"], RULE_AUTHORITY)
+        self.assertEqual(r["winner"], "yes")
+
+    def test_two_source_and_single(self):
+        two = adjudicate({
+            "text": "arc-1 runs Matrix",
+            "yes": [src("compose", "config"), src("docker-ps", "runtime")],
+        })
+        self.assertTrue(two["confirmed"])
+        self.assertEqual(two["rule"], RULE_TWO_SOURCE)
+        one = adjudicate({"text": "maybe", "yes": [src("readme", "narrative")]})
+        self.assertFalse(one["confirmed"])
+        self.assertEqual(one["rule"], RULE_SINGLE)
+
+    def test_parse_source_field(self):
+        yes, no = parse_source_field("docker ps x compose.yml vs old.md x wiki.md")
+        self.assertIn(" x ", yes)
+        self.assertIn(" x ", no)
+
+    def test_check_fact_row_allows_hypothesis_vs(self):
+        p = check_fact_row(
+            "L1", "a.md x b.md vs c.md x d.md", "var/", "audit", "hypothesis",
+        )
+        self.assertEqual(p, [])
+        p = check_fact_row("L2", "a.md x b.md", "var/", "audit", "confirmed")
+        self.assertEqual(p, [])
+        p = check_fact_row("L3", "a.md x b.md vs c.md x d.md", "var/", "audit", "confirmed")
+        self.assertTrue(any("vs-contradiction" in x for x in p))
+        p = check_fact_row("L4", "only-one.md", "var/", "audit", "hypothesis")
+        self.assertTrue(any("a x b vs" in x for x in p))
+
+    def test_audit_contradict_cli_unresolved(self):
+        import json
+        import subprocess
+        from pathlib import Path
+        root = Path(__file__).resolve().parents[2]
+        payload = json.dumps({
+            "text": "svc 443",
+            "yes": [src("a", "runtime"), src("b", "config")],
+            "no": [src("c", "runtime"), src("d", "config")],
+        })
+        proc = subprocess.run(
+            [sys.executable, str(root / "bin" / "facts" / "audit"), "contradict", "--json"],
+            input=payload, capture_output=True, text=True, check=False,
+        )
+        self.assertEqual(proc.returncode, 0, proc.stderr)
+        out = json.loads(proc.stdout)
+        self.assertTrue(out["ok"])
+        self.assertEqual(out["contradictions"][0]["rule"], RULE_UNRESOLVED)
+        self.assertFalse(out["contradictions"][0]["confirmed"])
+
+
+if __name__ == "__main__":
+    unittest.main()

bin/web/search.go

@@ -16,9 +16,9 @@ import (
 	"fmt"
 	"net/http"
 	"os"
-	"strconv"
 	"time"
 
+	"github.com/eSlider/2dph/internal/cli"
 	"github.com/eSlider/2dph/internal/websearch"
 	"golang.org/x/sys/unix"
 )
@@ -28,77 +28,15 @@ func main() {
 }
 
 func run(args []string) int {
-	var (
+	c, err := websearch.ParseArgs(args)
-		query, site, lang, fresh, category, engines string
-		limit                                       = websearch.DefaultLimit
-		jsonOut, refresh, force                     bool
-		ttl                                         = float64(websearch.CacheTTL)
-		timeout                                     = 25
-	)
-	i := 0
-	for i < len(args) {
-		a := args[i]
-		switch {
-		case a == "--json":
-			jsonOut = true
-		case a == "--refresh":
-			refresh = true
-		case a == "--force":
-			force = true
-		case (a == "-n" || a == "--limit") && i+1 < len(args):
-			i++
-			n, err := strconv.Atoi(args[i])
-			if err != nil || n < 0 {
-				fmt.Fprintln(os.Stderr, "web/search: --limit must be a non-negative integer")
-				return 2
-			}
-			limit = n
-		case a == "--site" && i+1 < len(args):
-			i++
-			site = args[i]
-		case a == "--lang" && i+1 < len(args):
-			i++
-			lang = args[i]
-		case a == "--fresh" && i+1 < len(args):
-			i++
-			fresh = args[i]
-		case a == "--category" && i+1 < len(args):
-			i++
-			category = args[i]
-		case a == "--engines" && i+1 < len(args):
-			i++
-			engines = args[i]
-		case a == "--ttl" && i+1 < len(args):
-			i++
-			v, err := strconv.ParseFloat(args[i], 64)
 	if err != nil {
-				fmt.Fprintln(os.Stderr, "web/search: --ttl must be a number")
+		return cli.Fail(err)
-				return 2
-			}
-			ttl = v
-		case a == "--timeout" && i+1 < len(args):
-			i++
-			n, err := strconv.Atoi(args[i])
-			if err != nil || n <= 0 {
-				fmt.Fprintln(os.Stderr, "web/search: --timeout must be a positive integer")
-				return 2
-			}
-			timeout = n
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, `usage: bin/web/search.go QUERY [--json] [-n N] [--site HOST] [--lang LANG] [--fresh day|week|month|year] [--category CAT] [--engines LIST] [--refresh] [--force]`)
-			return 0
-		case len(a) > 0 && a[0] != '-' && query == "":
-			query = a
-		default:
-			fmt.Fprintf(os.Stderr, "web/search: unknown flag %s\n", a)
-			return 2
-		}
-		i++
-	}
-	if query == "" {
-		fmt.Fprintln(os.Stderr, "web/search: query required")
-		return 2
 	}
+	query, site, lang, fresh, category, engines := c.Query, c.Site, c.Lang, c.Fresh, c.Category, c.Engines
+	limit := c.Limit
+	jsonOut, refresh, force := c.JSONOut, c.Refresh, c.Force
+	ttl := c.TTL
+	timeout := c.Timeout
 	if site != "" {
 		query = "site:" + site + " " + query
 	}

docs/design.md

@@ -38,6 +38,10 @@ bin/brain/search.go "question"
 from each hit (1=File, 2=Commit, 3=Person). Rebuild writes FROM_FILE;
 git import writes HAS_VERSION/AUTHORED ([#17](https://git.produktor.io/eSlider/2dph/issues/17)).
 
+Go CLIs parse with **flaggy** via `internal/cli` (D23). Flags may appear
+after positionals (`search q --hop 1`). Completions:
+`source <(./bin/cli/complete.go bash)`.
+
 ## Who / What / How / Where / When + evidence
 
 Every assertion edge carries:
@@ -71,7 +75,9 @@ corpus HEAD.
 - C: narrative — READMEs, AGENTS.md, docs
 
 Confirmed = A×B or B×C agreement. Single source = hypothesis + `(not confirmed)`.
-Conflicting pairings (≥2 yes vs ≥2 no) = hypothesis (OQ1 → v2 resolution).
+Conflicting pairings (≥2 yes vs ≥2 no) stay hypothesis until
+`temporal_freshness` or `authority_pairing` fires (`bin/facts/audit contradict`,
+[#29](https://git.produktor.io/eSlider/2dph/issues/29)).
 
 ## Read path
 

docs/roadmap.md

@@ -39,11 +39,12 @@ Epic [#16](https://git.produktor.io/eSlider/2dph/issues/16) closed.
 [#6](https://git.produktor.io/eSlider/2dph/issues/6) OCR — **in**.
 [#30](https://git.produktor.io/eSlider/2dph/issues/30) OQ3 duckdb-go — **in**.
 [#29](https://git.produktor.io/eSlider/2dph/issues/29) OQ1 contradiction
-resolution.
+resolution — **in** (`temporal_freshness`, `authority_pairing`).
+[#34](https://git.produktor.io/eSlider/2dph/issues/34) D23 flaggy CLI — **in**.
 
 ## Blockers
 
-None for epic #16 (closed). Remaining v2: OQ1, OQ4.
+None for epic #16 (closed). Remaining v2: OQ4.
 
 ```
 question
@@ -58,8 +59,8 @@ question
 
 ## Not v1
 
-OQ1 contradiction resolution, OQ4 YAML-first leafs.
+OQ4 YAML-first leafs.
-OCR (OQ2) and duckdb-go (OQ3/D22) are in.
+OCR (OQ2), duckdb-go (OQ3/D22), and D16 adjudication (OQ1) are in.
 
 ## Close epic #16 when
 

docs/runbook.md

@@ -53,6 +53,7 @@ bin/brain/add.go --text "arc-1 runs Matrix" --root facts --source "compose.yml x
 bin/brain/index.go --rebuild --with-facts --with-chats
 bin/brain/search.go "LadybugDB vector index"     # facts → info → web (D17)
 bin/brain/search.go "upstream flag" --no-web
+source <(./bin/cli/complete.go bash)            # D23 flaggy complete
 bin/brain/get.go <id> --body
 bin/brain/stats.go
 ```

go.mod

@@ -9,6 +9,7 @@ require (
 	github.com/daulet/tokenizers v1.27.0
 	github.com/duckdb/duckdb-go/v2 v2.10505.0
 	github.com/go-git/go-git/v5 v5.19.2
+	github.com/integrii/flaggy v1.8.0
 	golang.org/x/sys v0.47.0
 	golang.org/x/text v0.40.0
 	modernc.org/sqlite v1.56.0

go.sum

@@ -77,6 +77,8 @@ github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
 github.com/google/uuid v1.6.0/go.mod h1:TIyPZe4MgqvfeYDBFedMoGGpEw/LqOeaOT+nhxU+yHo=
 github.com/hashicorp/golang-lru/v2 v2.0.7 h1:a+bsQ5rvGLjzHuww6tVxozPZFVghXaHOwFs4luLUK2k=
 github.com/hashicorp/golang-lru/v2 v2.0.7/go.mod h1:QeFd9opnmA6QUJc5vARoKUSoFhyfM2/ZepoAG6RGpeM=
+github.com/integrii/flaggy v1.8.0 h1:tC1qWwg4fhF2Qdaj+MpPK04cxlOSq0+HoMZqAW6Arao=
+github.com/integrii/flaggy v1.8.0/go.mod h1:QS4c80m87SXG0pmVUT/Lx2RY5EbkLvLp7IKBD2jwcFA=
 github.com/jbenet/go-context v0.0.0-20150711004518-d14ea06fba99 h1:BQSFePA1RWJOlocH6Fxy8MmwDt+yVQYULKfN0RoTN8A=
 github.com/jbenet/go-context v0.0.0-20150711004518-d14ea06fba99/go.mod h1:1lJo3i6rXxKeerYnT8Nvf0QmHCRC1n8sfWVwXF2Frvo=
 github.com/kevinburke/ssh_config v1.2.0 h1:x584FjTGwHzMwvHx18PXxbBVzfnxogHaAReU4gf13a4=

internal/brain/rank/args.go

@@ -3,12 +3,15 @@ package rank
 import (
 	"fmt"
 	"strconv"
-	"strings"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
 )
 
 const Usage = `usage: bin/brain/search.go "query" [--root facts|info] [--repo REPO] [-n N] [--hop N] [--json] [--no-web]
        bin/brain/search.go serve [port]
-       bin/brain/search.go --list-model`
+       bin/brain/search.go --list-model
+       source <(./bin/cli/complete.go bash)`
 
 type Options struct {
 	Query     string
@@ -21,62 +24,57 @@ type Options struct {
 	NoWeb     bool
 }
 
+// NewParser is the flaggy schema for search (also used by bin/cli/complete.go).
+func NewParser(opt *Options) *flaggy.Parser {
+	if opt.Limit == 0 {
+		opt.Limit = 20
+	}
+	p := cli.New("brain-search")
+	p.Description = "deduction search: facts → info → web"
+	p.String(&opt.Root, "", "root", "facts or info")
+	p.String(&opt.Repo, "", "repo", "filter by repo")
+	p.Int(&opt.Limit, "n", "n", "max hits")
+	p.Int(&opt.Hop, "", "hop", "walk FROM_FILE depth 1-3")
+	p.Bool(&opt.JSONOut, "", "json", "JSON output")
+	p.Bool(&opt.NoWeb, "", "no-web", "stay local")
+	p.Bool(&opt.ListModel, "", "list-model", "print embedding model")
+	return p
+}
+
 // ParseArgs reads flags. Unknown flags are an error: silently dropping them
 // meant `--hop 1` vanished and its argument `1` was appended to the query.
 func ParseArgs(args []string) (Options, error) {
 	opt := Options{Limit: 20}
-	var queryArgs []string
+	p := NewParser(&opt)
-
+	var q string
-	for i := 0; i < len(args); i++ {
+	p.AddPositionalValue(&q, "query", 1, false, "search query")
-		arg := args[i]
+	if err := cli.Parse(p, args); err != nil {
-		wantsValue := arg == "--root" || arg == "--repo" || arg == "-n" || arg == "--hop"
+		return opt, err
-		if wantsValue && i+1 >= len(args) {
-			return opt, fmt.Errorf("%s needs a value", arg)
 	}
-		switch arg {
+	opt.Query = cli.Query(q, p.TrailingArguments)
-		case "--root":
+	if opt.Root != "" && opt.Root != "facts" && opt.Root != "info" {
-			i++
-			opt.Root = args[i]
-			if opt.Root != "facts" && opt.Root != "info" {
 		return opt, fmt.Errorf("--root must be facts or info, got %q", opt.Root)
 	}
-		case "--repo":
+	if opt.Limit < 1 {
-			i++
+		return opt, fmt.Errorf("-n must be a positive integer, got %q", strconv.Itoa(opt.Limit))
-			opt.Repo = args[i]
-		case "-n":
-			i++
-			n, err := strconv.Atoi(args[i])
-			if err != nil || n < 1 {
-				return opt, fmt.Errorf("-n must be a positive integer, got %q", args[i])
 	}
-			opt.Limit = n
+	if opt.Hop < 0 {
-		case "--hop":
+		return opt, fmt.Errorf("--hop must be a positive integer, got %q", strconv.Itoa(opt.Hop))
-			i++
-			n, err := strconv.Atoi(args[i])
-			if err != nil || n < 1 {
-				return opt, fmt.Errorf("--hop must be a positive integer, got %q", args[i])
 	}
-			if n > 3 {
+	if opt.Hop > 3 {
 		return opt, fmt.Errorf("--hop max is 3 (File → Commit → Person)")
 	}
-			opt.Hop = n
-		case "--json":
-			opt.JSONOut = true
-		case "--no-web":
-			opt.NoWeb = true
-		case "--list-model":
-			opt.ListModel = true
-		default:
-			if strings.HasPrefix(arg, "-") {
-				return opt, fmt.Errorf("unknown flag %q", arg)
-			}
-			queryArgs = append(queryArgs, arg)
-		}
-	}
-
-	opt.Query = strings.TrimSpace(strings.Join(queryArgs, " "))
 	if opt.Query == "" && !opt.ListModel {
 		return opt, fmt.Errorf("no query given")
 	}
 	return opt, nil
 }
+
+// Parser is the search schema for bin/cli/complete.go.
+func Parser() *flaggy.Parser {
+	opt := Options{Limit: 20}
+	p := NewParser(&opt)
+	var q string
+	p.AddPositionalValue(&q, "query", 1, false, "search query")
+	return p
+}

internal/brain/rank/escalate.go

@@ -19,20 +19,35 @@ type SecondSourceHit struct {
 
 type WebFn func(query string) SecondSource
 
-// ShouldEscalate is true when the default deduction path has no facts hit.
+// ShouldEscalate is true when the default deduction path has no confirmed
+// facts hit. Hypothesis/partial facts are `(not confirmed)` (D16).
 // `--root facts|info` is a single-root ask: do not mix in the web.
 func ShouldEscalate(hits []Hit, rootFilter string) bool {
 	if rootFilter != "" {
 		return false
 	}
 	for _, h := range hits {
-		if h.Root == "facts" {
+		if ConfirmedFact(h) {
 			return false
 		}
 	}
 	return true
 }
 
+// ConfirmedFact is a facts-root hit that is not hypothesis/partial.
+// Empty confidence is treated as confirmed (legacy leafs).
+func ConfirmedFact(h Hit) bool {
+	if h.Root != "facts" {
+		return false
+	}
+	switch h.Confidence {
+	case "hypothesis", "partial":
+		return false
+	default:
+		return true
+	}
+}
+
 // Deduce returns the second-source block, or nil when web must not run.
 func Deduce(hits []Hit, query, rootFilter string, noWeb bool, web WebFn) *SecondSource {
 	if noWeb || web == nil || !ShouldEscalate(hits, rootFilter) {

internal/brain/rank/escalate_test.go

@@ -14,6 +14,16 @@ func TestShouldEscalateWhenNoFacts(t *testing.T) {
 	}
 }
 
+func TestShouldEscalateWhenHypothesisFacts(t *testing.T) {
+	hyp := Hit{ID: "c", Root: "facts", Confidence: "hypothesis", Source: "a x b vs c x d"}
+	if !ShouldEscalate([]Hit{hyp}, "") {
+		t.Fatal("hypothesis facts are (not confirmed); escalate")
+	}
+	if ConfirmedFact(hyp) {
+		t.Fatal("hypothesis is not confirmed")
+	}
+}
+
 func TestShouldNotEscalateWhenFactsConfirm(t *testing.T) {
 	hits := []Hit{h("f", "facts", "docker ps x compose"), h("i", "info", "docs/a.md")}
 	if ShouldEscalate(hits, "") {

internal/brain/rank/query.go

@@ -3,10 +3,10 @@ package rank
 // BM25 ranks best-first, so the top hits are the *highest* scores; cosine
 // distance ranks best-first ascending. Both mirror kblib.py.
 const FTSStmt = "CALL QUERY_FTS_INDEX('Leaf', 'id', $q) " +
-	"RETURN node.id, node.text, node.root, node.source, score ORDER BY score DESC LIMIT $n"
+	"RETURN node.id, node.text, node.root, node.source, score, node.confidence ORDER BY score DESC LIMIT $n"
 
 const VecStmt = "CALL QUERY_VECTOR_INDEX('Leaf', 'Leaf_vec', $q, $n) " +
-	"RETURN node.id, node.text, node.root, node.source, distance ORDER BY distance LIMIT $n"
+	"RETURN node.id, node.text, node.root, node.source, distance, node.confidence ORDER BY distance LIMIT $n"
 
 // HopStmt is the Cypher walk from a search hit. Depth 1 = File, 2 = Commit, 3 = Person.
 func HopStmt(depth int) string {

internal/brain/rank/rank.go

@@ -19,6 +19,7 @@ type Hit struct {
 	ID         string    `json:"id"`
 	Text       string    `json:"text"`
 	Root       string    `json:"root"`
+	Confidence string    `json:"confidence,omitempty"`
 	Source     string    `json:"-"`
 	Score      float64   `json:"score"`
 	Snippet    string    `json:"snippet,omitempty"`

internal/brain/rank/rank_test.go

@@ -172,4 +172,7 @@ func TestFTSQueryOrdersByScoreDescending(t *testing.T) {
 	if !strings.Contains(FTSStmt, "ORDER BY score DESC") {
 		t.Fatalf("FTS query must order by score DESC, got:\n%s", FTSStmt)
 	}
+	if !strings.Contains(FTSStmt, "node.confidence") {
+		t.Fatal("FTS must return confidence for D16")
+	}
 }

internal/brain/rank/readargs.go

@@ -0,0 +1,59 @@
+package rank
+
+import (
+	"fmt"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type GetOptions struct {
+	ID      string
+	Body    bool
+	JSONOut bool
+}
+
+func GetParser(opt *GetOptions) *flaggy.Parser {
+	p := cli.New("brain-get")
+	p.Description = "read one leaf"
+	p.Bool(&opt.Body, "", "body", "full text instead of snippet")
+	p.Bool(&opt.JSONOut, "", "json", "JSON output")
+	p.AddPositionalValue(&opt.ID, "id", 1, false, "leaf id")
+	return p
+}
+
+func ParseGet(args []string) (GetOptions, error) {
+	var opt GetOptions
+	if err := cli.Parse(GetParser(&opt), args); err != nil {
+		return opt, err
+	}
+	if opt.ID == "" {
+		return opt, fmt.Errorf("id required")
+	}
+	return opt, nil
+}
+
+type JSONFlag struct {
+	JSONOut bool
+}
+
+func bindJSON(name string, opt *JSONFlag) *flaggy.Parser {
+	p := cli.New(name)
+	p.Bool(&opt.JSONOut, "", "json", "JSON output")
+	return p
+}
+
+func StatsParser() *flaggy.Parser {
+	opt := JSONFlag{}
+	return bindJSON("brain-stats", &opt)
+}
+
+func EvalParser() *flaggy.Parser {
+	opt := JSONFlag{}
+	return bindJSON("brain-eval", &opt)
+}
+
+func ParseJSONFlag(name string, args []string) (JSONFlag, error) {
+	var opt JSONFlag
+	return opt, cli.Parse(bindJSON(name, &opt), args)
+}

internal/brain/read.go

@@ -11,30 +11,15 @@ import (
 	"unicode/utf8"
 
 	"github.com/eSlider/2dph/internal/brain/rank"
+	"github.com/eSlider/2dph/internal/cli"
 )
 
 func MainGet(args []string) int {
-	id, body, jsonOut := "", false, false
+	opt, err := rank.ParseGet(args)
-	for _, a := range args {
+	if err != nil {
-		switch {
+		return cli.Fail(err)
-		case a == "--body":
-			body = true
-		case a == "--json":
-			jsonOut = true
-		case a == "-h" || a == "--help":
-			fmt.Fprintln(os.Stderr, `usage: bin/brain/get.go <id> [--body] [--json]`)
-			return 0
-		case strings.HasPrefix(a, "-"):
-			fmt.Fprintf(os.Stderr, "brain/get: unknown flag %s\n", a)
-			return 2
-		default:
-			id = a
-		}
-	}
-	if id == "" {
-		fmt.Fprintln(os.Stderr, "brain/get: id required")
-		return 2
 	}
+	id, body, jsonOut := opt.ID, opt.Body, opt.JSONOut
 	if err := openBrain(); err != nil {
 		fmt.Fprintf(os.Stderr, "open brain: %v\n", err)
 		return 1
@@ -72,21 +57,11 @@ func MainGet(args []string) int {
 }
 
 func MainStats(args []string) int {
-	jsonOut := false
+	opt, err := rank.ParseJSONFlag("brain-stats", args)
-	for _, a := range args {
+	if err != nil {
-		switch a {
+		return cli.Fail(err)
-		case "--json":
-			jsonOut = true
-		case "-h", "--help":
-			fmt.Fprintln(os.Stderr, `usage: bin/brain/stats.go [--json]`)
-			return 0
-		default:
-			if strings.HasPrefix(a, "-") {
-				fmt.Fprintf(os.Stderr, "brain/stats: unknown flag %s\n", a)
-				return 2
-			}
-		}
 	}
+	jsonOut := opt.JSONOut
 	if err := openBrain(); err != nil {
 		fmt.Fprintf(os.Stderr, "open brain: %v\n", err)
 		return 1
@@ -124,21 +99,11 @@ func MainStats(args []string) int {
 }
 
 func MainEval(args []string) int {
-	jsonOut := false
+	opt, err := rank.ParseJSONFlag("brain-eval", args)
-	for _, a := range args {
+	if err != nil {
-		switch a {
+		return cli.Fail(err)
-		case "--json":
-			jsonOut = true
-		case "-h", "--help":
-			fmt.Fprintln(os.Stderr, `usage: bin/brain/eval.go [--json]`)
-			return 0
-		default:
-			if strings.HasPrefix(a, "-") {
-				fmt.Fprintf(os.Stderr, "brain/eval: unknown flag %s\n", a)
-				return 2
-			}
-		}
 	}
+	jsonOut := opt.JSONOut
 	if err := openBrain(); err != nil {
 		fmt.Fprintf(os.Stderr, "open brain: %v\n", err)
 		return 1

internal/brain/search.go

@@ -20,6 +20,7 @@ import (
 
 	lbug "github.com/LadybugDB/go-ladybug"
 	"github.com/eSlider/2dph/internal/brain/rank"
+	"github.com/eSlider/2dph/internal/cli"
 )
 
 const defaultPort = 17830
@@ -29,6 +30,9 @@ const healthPath = "/health"
 func runSearch(args []string) int {
 	opt, err := rank.ParseArgs(args)
 	if err != nil {
+		if errors.Is(err, cli.ErrHelp) {
+			return 0
+		}
 		fmt.Fprintf(os.Stderr, "brain/search: %v\n%s\n", err, rank.Usage)
 		return 2
 	}
@@ -212,7 +216,11 @@ func rowsToHits(res *lbug.QueryResult) ([]Hit, error) {
 		root := fmt.Sprint(vals[2])
 		source := fmt.Sprint(vals[3])
 		score := float64(vals[4].(float64))
-		hits = append(hits, Hit{ID: id, Text: text, Root: root, Source: source, Score: score})
+		conf := ""
+		if len(vals) >= 6 {
+			conf = fmt.Sprint(vals[5])
+		}
+		hits = append(hits, Hit{ID: id, Text: text, Root: root, Source: source, Score: score, Confidence: conf})
 	}
 	return hits, nil
 }
@@ -230,6 +238,7 @@ type jsonHit struct {
 	ID         string         `json:"id"`
 	Text       string         `json:"text"`
 	Root       string         `json:"root"`
+	Confidence string         `json:"confidence,omitempty"`
 	Score      float64        `json:"score"`
 	Snippet    string         `json:"snippet,omitempty"`
 	Hops       []rank.HopNode `json:"hops,omitempty"`
@@ -242,6 +251,7 @@ func toJSONOut(hits []Hit, query, rootFilter string, web *rank.SecondSource) *js
 			ID:         h.ID,
 			Text:       h.Text,
 			Root:       h.Root,
+			Confidence: h.Confidence,
 			Score:      h.Score,
 			Snippet:    h.Snippet,
 			Hops:       h.Hops,
@@ -265,6 +275,9 @@ func resultsToDicts(hits []Hit) []any {
 			{"root", h.Root},
 			{"score", h.Score},
 		}
+		if h.Confidence != "" {
+			d = append(d, KV{"confidence", h.Confidence})
+		}
 		if h.Snippet != "" {
 			d = append(d, KV{"snippet", h.Snippet})
 		}

internal/chats/apply.go

@@ -3,12 +3,13 @@ package chats
 import (
 	"bytes"
 	"encoding/json"
-	"flag"
 	"fmt"
 	"os"
 	"os/exec"
 	"path/filepath"
 	"strings"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
 )
 
 type ooContact struct {
@@ -25,16 +26,9 @@ type ooContact struct {
 }
 
 func RunApply(args []string) int {
-	fs := flag.NewFlagSet("chats apply", flag.ContinueOnError)
+	dryRun, err := parseApplyFlags(args)
-	dryRun := fs.Bool("dry-run", false, "show what would be done without writing")
+	if err != nil {
-	help := fs.Bool("help", false, "")
+		return cliparse.Fail(err)
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
-		return 2
-	}
-	if *help {
-		fmt.Fprintln(os.Stderr, "usage: chats apply [--dry-run]")
-		return 0
 	}
 
 	ooCLI := findOO()
@@ -128,7 +122,7 @@ func RunApply(args []string) int {
 
 	fmt.Printf("\nchats apply: %d actions to apply\n", len(resolved))
 
-	if *dryRun {
+	if dryRun {
 		for _, r := range resolved {
 			switch r.Action {
 			case "info-add":

internal/chats/cli.go

@@ -0,0 +1,74 @@
+package chats
+
+import (
+	cliparse "github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type syncTelegramFlags struct {
+	Limit int
+	Phone string
+}
+
+type syncLinkedInFlags struct {
+	Limit   int
+	Refresh bool
+}
+
+func SyncParser() *flaggy.Parser {
+	p := cliparse.New("chats-sync")
+	p.Description = "download chats to var/chats"
+	tg := flaggy.NewSubcommand("telegram")
+	li := flaggy.NewSubcommand("linkedin")
+	var limit int
+	var phone string
+	var refresh bool
+	tg.Int(&limit, "", "limit", "max messages per chat")
+	tg.String(&phone, "", "phone", "phone (default TELEGRAM_PHONE)")
+	li.Int(&limit, "", "limit", "max messages per conversation")
+	li.Bool(&refresh, "", "refresh", "refresh webtop session")
+	p.AttachSubcommand(tg, 1)
+	p.AttachSubcommand(li, 1)
+	return p
+}
+
+func ImportParser() *flaggy.Parser {
+	return cliparse.New("chats-import")
+}
+
+func FactsParser() *flaggy.Parser {
+	return cliparse.New("chats-facts")
+}
+
+func ApplyParser() *flaggy.Parser {
+	p := cliparse.New("chats-apply")
+	dry := false
+	p.Bool(&dry, "", "dry-run", "show without writing")
+	return p
+}
+
+func parseTelegramFlags(args []string) (syncTelegramFlags, error) {
+	var f syncTelegramFlags
+	p := cliparse.New("chats-sync-telegram")
+	p.Int(&f.Limit, "", "limit", "max messages per chat")
+	p.String(&f.Phone, "", "phone", "phone (default TELEGRAM_PHONE)")
+	return f, cliparse.Parse(p, args)
+}
+
+func parseLinkedInFlags(args []string) (syncLinkedInFlags, error) {
+	var f syncLinkedInFlags
+	p := cliparse.New("chats-sync-linkedin")
+	p.Int(&f.Limit, "", "limit", "max messages per conversation")
+	p.Bool(&f.Refresh, "", "refresh", "refresh webtop session")
+	return f, cliparse.Parse(p, args)
+}
+
+func parseApplyFlags(args []string) (dryRun bool, err error) {
+	p := cliparse.New("chats-apply")
+	p.Bool(&dryRun, "", "dry-run", "show without writing")
+	return dryRun, cliparse.Parse(p, args)
+}
+
+func parseNoFlags(name string, args []string) error {
+	return cliparse.Parse(cliparse.New(name), args)
+}

internal/chats/facts.go

@@ -3,12 +3,13 @@ package chats
 import (
 	"bufio"
 	"encoding/json"
-	"flag"
 	"fmt"
 	"os"
 	"path/filepath"
 	"regexp"
 	"strings"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
 )
 
 var (
@@ -76,15 +77,8 @@ type ExtractedFact struct {
 }
 
 func RunFacts(args []string) int {
-	fs := flag.NewFlagSet("chats facts", flag.ContinueOnError)
+	if err := parseNoFlags("chats-facts", args); err != nil {
-	help := fs.Bool("help", false, "")
+		return cliparse.Fail(err)
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
-		return 2
-	}
-	if *help {
-		fmt.Fprintln(os.Stderr, "usage: chats facts")
-		return 0
 	}
 
 	root := Dir()

internal/chats/import.go

@@ -4,25 +4,19 @@ import (
 	"bufio"
 	"bytes"
 	"encoding/json"
-	"flag"
 	"fmt"
 	"html"
 	"os"
 	"path/filepath"
 	"sort"
 	"strings"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
 )
 
 func RunImport(args []string) int {
-	fs := flag.NewFlagSet("chats import", flag.ContinueOnError)
+	if err := parseNoFlags("chats-import", args); err != nil {
-	help := fs.Bool("help", false, "")
+		return cliparse.Fail(err)
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
-		return 2
-	}
-	if *help {
-		fmt.Fprintln(os.Stderr, "usage: chats import")
-		return 0
 	}
 
 	root := Dir()

internal/chats/sync_linkedin.go

@@ -2,12 +2,13 @@ package chats
 
 import (
 	"context"
-	"flag"
 	"fmt"
 	"os"
 	"os/exec"
 	"path/filepath"
 	"time"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
 )
 
 func checkLinkedInSession(userDataDir string) (bool, error) {
@@ -29,18 +30,12 @@ func checkLinkedInSession(userDataDir string) (bool, error) {
 }
 
 func RunSyncLinkedIn(args []string) int {
-	fs := flag.NewFlagSet("chats sync linkedin", flag.ContinueOnError)
+	f, err := parseLinkedInFlags(args)
-	limit := fs.Int("limit", 0, "max messages per conversation (0 = all)")
+	if err != nil {
-	refresh := fs.Bool("refresh", false, "refresh session from live webtop browser before sync")
+		return cliparse.Fail(err)
-	help := fs.Bool("help", false, "")
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
-		return 2
-	}
-	if *help {
-		fmt.Fprintln(os.Stderr, "usage: chats sync linkedin [--limit N] [--refresh]")
-		return 0
 	}
+	limit := f.Limit
+	refresh := f.Refresh
 
 	userDataDir := envVar("LINKEDIN_USER_DATA_DIR", "")
 	if userDataDir == "" {
@@ -48,7 +43,7 @@ func RunSyncLinkedIn(args []string) int {
 		userDataDir = home + "/.linkedin-mcp/profile"
 	}
 
-	if *refresh {
+	if refresh {
 		if code := refreshLinkedInSession(userDataDir); code != 0 {
 			return code
 		}
@@ -72,7 +67,7 @@ func RunSyncLinkedIn(args []string) int {
 	defer cancel()
 
 	start := time.Now()
-	if err := src.Sync(ctx, Dir(), *limit); err != nil {
+	if err := src.Sync(ctx, Dir(), limit); err != nil {
 		fmt.Fprintf(os.Stderr, "chats sync linkedin: %v\n", err)
 		return 1
 	}

internal/chats/sync_telegram.go

@@ -2,33 +2,28 @@ package chats
 
 import (
 	"context"
-	"flag"
 	"fmt"
 	"os"
 	"path/filepath"
 	"strconv"
 	"strings"
 	"time"
+
+	cliparse "github.com/eSlider/2dph/internal/cli"
 )
 
 func RunSyncTelegram(args []string) int {
-	fs := flag.NewFlagSet("chats sync telegram", flag.ContinueOnError)
+	f, err := parseTelegramFlags(args)
-	limit := fs.Int("limit", 0, "max messages per chat (0 = all)")
+	if err != nil {
-	phone := fs.String("phone", "", "phone number (default env TELEGRAM_PHONE)")
+		return cliparse.Fail(err)
-	help := fs.Bool("help", false, "")
-	fs.SetOutput(os.Stderr)
-	if err := fs.Parse(args); err != nil {
-		return 2
-	}
-	if *help {
-		fmt.Fprintln(os.Stderr, "usage: chats sync telegram [--limit N] [--phone PHONE]")
-		return 0
 	}
+	limit := f.Limit
+	phone := f.Phone
 
 	apiIDStr := envVar("TELEGRAM_API_ID", "")
 	apiHash := envVar("TELEGRAM_API_HASH", "")
 	sessionStr := envVar("TELEGRAM_SESSION_STRING", "")
-	phoneNum := *phone
+	phoneNum := phone
 	if phoneNum == "" {
 		phoneNum = envVar("TELEGRAM_PHONE", "")
 	}
@@ -78,7 +73,7 @@ func RunSyncTelegram(args []string) int {
 	defer cancel()
 
 	start := time.Now()
-	if err := src.Sync(ctx, Dir(), *limit); err != nil {
+	if err := src.Sync(ctx, Dir(), limit); err != nil {
 		fmt.Fprintf(os.Stderr, "chats sync telegram: %v\n", err)
 		return 1
 	}

internal/cli/cli.go

@@ -0,0 +1,190 @@
+// Package cli is the shared flaggy wrapper (D23).
+//
+// flaggy: zero deps, flags at any position, shell completion scripts.
+// Individual tools keep ShowCompletion off so a query like "completion" is
+// not stolen; dump scripts with bin/cli/complete.go.
+package cli
+
+import (
+	"errors"
+	"fmt"
+	"os"
+	"strings"
+	"sync"
+
+	"github.com/integrii/flaggy"
+)
+
+// ErrHelp means -h/--help was requested (exit 0).
+var ErrHelp = errors.New("help")
+
+var parseMu sync.Mutex
+
+// New returns a per-call parser. Never reuse: flaggy parses once.
+func New(name string) *flaggy.Parser {
+	p := flaggy.NewParser(name)
+	p.ShowVersionWithVersionFlag = false
+	p.ShowCompletion = false
+	// Extra positionals become TrailingArguments (search "two words --json").
+	// Unknown dash tokens are rejected in Parse after flaggy returns.
+	p.ShowHelpOnUnexpected = false
+	p.ShowHelpWithHFlag = true
+	return p
+}
+
+// Parse runs p.ParseArgs and turns flaggy's os.Exit into an error.
+// Not safe to call in parallel (flaggy.PanicInsteadOfExit is process-global).
+func Parse(p *flaggy.Parser, args []string) error {
+	parseMu.Lock()
+	defer parseMu.Unlock()
+	prev := flaggy.PanicInsteadOfExit
+	flaggy.PanicInsteadOfExit = true
+	defer func() { flaggy.PanicInsteadOfExit = prev }()
+
+	var exitMsg string
+	err := func() error {
+		defer func() {
+			if r := recover(); r != nil {
+				exitMsg = fmt.Sprint(r)
+			}
+		}()
+		return p.ParseArgs(args)
+	}()
+	if err != nil {
+		return err
+	}
+	if exitMsg != "" {
+		if strings.Contains(exitMsg, "code: 0") {
+			return ErrHelp
+		}
+		return errors.New(exitMsg)
+	}
+	if u := unknownFlags(p, args); len(u) > 0 {
+		return fmt.Errorf("unknown flag %q", u[0])
+	}
+	return nil
+}
+
+func unknownFlags(p *flaggy.Parser, args []string) []string {
+	flags := collectFlags(&p.Subcommand)
+	var out []string
+	skipNext := false
+	for _, a := range args {
+		if skipNext {
+			skipNext = false
+			continue
+		}
+		if a == "--" {
+			break
+		}
+		name, inline := flagName(a)
+		if name == "" {
+			continue
+		}
+		if name == "h" || name == "help" {
+			continue
+		}
+		f := findFlag(flags, name)
+		if f == nil {
+			out = append(out, a)
+			continue
+		}
+		if !inline && !isBoolFlag(f) {
+			skipNext = true
+		}
+	}
+	return out
+}
+
+func flagName(a string) (name string, inline bool) {
+	if a == "-" || !strings.HasPrefix(a, "-") {
+		return "", false
+	}
+	rest := strings.TrimLeft(a, "-")
+	name, _, inline = strings.Cut(rest, "=")
+	return name, inline
+}
+
+func collectFlags(sc *flaggy.Subcommand) []*flaggy.Flag {
+	out := append([]*flaggy.Flag{}, sc.Flags...)
+	for _, sub := range sc.Subcommands {
+		out = append(out, collectFlags(sub)...)
+	}
+	return out
+}
+
+func findFlag(flags []*flaggy.Flag, name string) *flaggy.Flag {
+	for _, f := range flags {
+		if f.HasName(name) {
+			return f
+		}
+	}
+	return nil
+}
+
+func isBoolFlag(f *flaggy.Flag) bool {
+	_, ok := f.AssignmentVar.(*bool)
+	return ok
+}
+
+// Query joins the first positional with leftover trailing words.
+func Query(first string, trailing []string) string {
+	parts := make([]string, 0, 1+len(trailing))
+	if s := strings.TrimSpace(first); s != "" {
+		parts = append(parts, s)
+	}
+	for _, t := range trailing {
+		if s := strings.TrimSpace(t); s != "" {
+			parts = append(parts, s)
+		}
+	}
+	return strings.Join(parts, " ")
+}
+
+// Code maps parse errors to process exit codes (0 help, 2 usage).
+func Code(err error) int {
+	if err == nil || errors.Is(err, ErrHelp) {
+		return 0
+	}
+	return 2
+}
+
+// Fail prints err unless it is help or a flaggy exit that already wrote stderr.
+func Fail(err error) int {
+	if err == nil || errors.Is(err, ErrHelp) {
+		return 0
+	}
+	if strings.HasPrefix(err.Error(), "Panic instead of exit") {
+		return 2
+	}
+	fmt.Fprintln(os.Stderr, err)
+	return 2
+}
+
+// Tool is one shebang CLI for completion dump.
+type Tool struct {
+	Path string
+	Name string
+	New  func() *flaggy.Parser
+}
+
+// BashScript concatenates flaggy bash complete scripts and binds each
+// function to the shebang path (./bin/subject/method.go).
+func BashScript(tools []Tool) string {
+	var b strings.Builder
+	b.WriteString("# 2dph flaggy completions (D23). source <(./bin/cli/complete.go bash)\n")
+	for _, t := range tools {
+		p := t.New()
+		p.Name = t.Name
+		script := flaggy.GenerateBashCompletion(p)
+		b.WriteString(script)
+		fn := "_" + strings.ReplaceAll(t.Name, "-", "_") + "_complete"
+		if t.Path != "" && t.Path != t.Name {
+			fmt.Fprintf(&b, "complete -F %s %s\n", fn, t.Path)
+			if !strings.HasPrefix(t.Path, "./") {
+				fmt.Fprintf(&b, "complete -F %s ./%s\n", fn, t.Path)
+			}
+		}
+	}
+	return b.String()
+}

internal/cli/cli_test.go

@@ -0,0 +1,77 @@
+package cli
+
+import (
+	"errors"
+	"strings"
+	"testing"
+
+	"github.com/integrii/flaggy"
+)
+
+func TestParseBoolAndIntAnyPosition(t *testing.T) {
+	p := New("t")
+	jsonOut := false
+	n := 20
+	q := ""
+	p.Bool(&jsonOut, "", "json", "JSON")
+	p.Int(&n, "n", "n", "limit")
+	p.AddPositionalValue(&q, "query", 1, false, "q")
+	if err := Parse(p, []string{"two", "words", "--json", "-n", "5"}); err != nil {
+		t.Fatal(err)
+	}
+	got := Query(q, p.TrailingArguments)
+	if got != "two words" || !jsonOut || n != 5 {
+		t.Fatalf("q=%q json=%v n=%d", got, jsonOut, n)
+	}
+}
+
+func TestParseUnknownFlagIsError(t *testing.T) {
+	p := New("t")
+	jsonOut := false
+	p.Bool(&jsonOut, "", "json", "JSON")
+	if err := Parse(p, []string{"--nope"}); err == nil {
+		t.Fatal("unknown flag accepted")
+	}
+}
+
+func TestParseHelpIsErrHelp(t *testing.T) {
+	p := New("t")
+	jsonOut := false
+	p.Bool(&jsonOut, "", "json", "JSON")
+	err := Parse(p, []string{"--help"})
+	if !errors.Is(err, ErrHelp) {
+		t.Fatalf("got %v", err)
+	}
+}
+
+func TestParseMissingFlagValueIsError(t *testing.T) {
+	p := New("t")
+	n := 0
+	p.Int(&n, "", "hop", "hop")
+	if err := Parse(p, []string{"--hop"}); err == nil {
+		t.Fatal("expected missing value error")
+	}
+}
+
+func TestBashScriptNamesShebangPath(t *testing.T) {
+	out := BashScript([]Tool{{
+		Path: "bin/brain/search.go",
+		Name: "brain-search",
+		New:  newSearchLike,
+	}})
+	if !strings.Contains(out, "--json") || !strings.Contains(out, "--hop") {
+		t.Fatalf("flags missing:\n%s", out)
+	}
+	if !strings.Contains(out, "complete -F") || !strings.Contains(out, "bin/brain/search.go") {
+		t.Fatalf("shebang complete missing:\n%s", out)
+	}
+}
+
+func newSearchLike() *flaggy.Parser {
+	p := New("brain-search")
+	jsonOut := false
+	hop := 0
+	p.Bool(&jsonOut, "", "json", "JSON")
+	p.Int(&hop, "", "hop", "graph hop")
+	return p
+}

internal/cli/qa.go

@@ -0,0 +1,24 @@
+package cli
+
+import "github.com/integrii/flaggy"
+
+type QAStats struct {
+	JSONL string
+}
+
+func QAParser() *flaggy.Parser {
+	c := QAStats{}
+	return BindQA(&c)
+}
+
+func BindQA(c *QAStats) *flaggy.Parser {
+	p := New("qa-stats")
+	p.Description = "DuckDB quantiles / JSONL count"
+	p.String(&c.JSONL, "", "jsonl", "JSONL file (else stdin JSON [float,…])")
+	return p
+}
+
+func ParseQAStats(args []string) (QAStats, error) {
+	var c QAStats
+	return c, Parse(BindQA(&c), args)
+}

internal/facts/contradict.go

@@ -0,0 +1,120 @@
+// Package facts is cgo-free evidence rules (D16 contradictions).
+package facts
+
+import "strconv"
+
+const (
+	ConfConfirmed  = "confirmed"
+	ConfHypothesis = "hypothesis"
+
+	RuleUnresolved        = "unresolved"
+	RuleTemporalFreshness = "temporal_freshness"
+	RuleAuthorityPairing  = "authority_pairing"
+	RuleTwoSource         = "two_source"
+	RuleSingleSource      = "single_source"
+
+	KindRuntime   = "runtime"
+	KindConfig    = "config"
+	KindNarrative = "narrative"
+)
+
+// Source is one independent pointer on a yes or no side.
+type Source struct {
+	ID    string `json:"id"`
+	Kind  string `json:"kind"`
+	When  string `json:"when,omitempty"`
+	Stale bool   `json:"stale,omitempty"`
+}
+
+// Claim is one assertion with yes/no evidence lists.
+type Claim struct {
+	Text string   `json:"text"`
+	Yes  []Source `json:"yes"`
+	No   []Source `json:"no"`
+}
+
+// Result is audit output. Confirmed=false means `(not confirmed)`.
+type Result struct {
+	Text       string `json:"text"`
+	Confidence string `json:"confidence"`
+	Confirmed  bool   `json:"confirmed"`
+	Rule       string `json:"rule"`
+	Winner     string `json:"winner,omitempty"`
+	YesN       int    `json:"yes"`
+	NoN        int    `json:"no"`
+}
+
+func independent(ss []Source) int {
+	seen := map[string]struct{}{}
+	for i, s := range ss {
+		id := s.ID
+		if id == "" {
+			id = s.Kind + "#" + strconv.Itoa(i)
+		}
+		seen[id] = struct{}{}
+	}
+	return len(seen)
+}
+
+func freshN(ss []Source) int {
+	n := 0
+	for _, s := range ss {
+		if !s.Stale {
+			n++
+		}
+	}
+	return n
+}
+
+func strongN(ss []Source) int {
+	n := 0
+	for _, s := range ss {
+		if s.Kind == KindRuntime || s.Kind == KindConfig {
+			n++
+		}
+	}
+	return n
+}
+
+func out(c Claim, conf, rule, winner string) Result {
+	return Result{
+		Text:       c.Text,
+		Confidence: conf,
+		Confirmed:  conf == ConfConfirmed,
+		Rule:       rule,
+		Winner:     winner,
+		YesN:       independent(c.Yes),
+		NoN:        independent(c.No),
+	}
+}
+
+// Adjudicate applies D16: ≥2 yes vs ≥2 no stays hypothesis until a rule fires.
+// Order: temporal_freshness, then authority_pairing (A/B beats narrative C).
+func Adjudicate(c Claim) Result {
+	yesN := independent(c.Yes)
+	noN := independent(c.No)
+	if yesN < 2 || noN < 2 {
+		if yesN >= 2 {
+			return out(c, ConfConfirmed, RuleTwoSource, "yes")
+		}
+		if noN >= 2 {
+			return out(c, ConfConfirmed, RuleTwoSource, "no")
+		}
+		return out(c, ConfHypothesis, RuleSingleSource, "")
+	}
+	yf, nf := freshN(c.Yes), freshN(c.No)
+	if yf >= 2 && nf < 2 {
+		return out(c, ConfConfirmed, RuleTemporalFreshness, "yes")
+	}
+	if nf >= 2 && yf < 2 {
+		return out(c, ConfConfirmed, RuleTemporalFreshness, "no")
+	}
+	ys, ns := strongN(c.Yes), strongN(c.No)
+	if ys >= 2 && ns < 2 {
+		return out(c, ConfConfirmed, RuleAuthorityPairing, "yes")
+	}
+	if ns >= 2 && ys < 2 {
+		return out(c, ConfConfirmed, RuleAuthorityPairing, "no")
+	}
+	return out(c, ConfHypothesis, RuleUnresolved, "")
+}

internal/facts/contradict_test.go

@@ -0,0 +1,86 @@
+package facts
+
+import "testing"
+
+func src(id, kind string, stale bool) Source {
+	return Source{ID: id, Kind: kind, Stale: stale}
+}
+
+func TestTwoVsTwoStaysHypothesis(t *testing.T) {
+	c := Claim{
+		Text: "svc listens on 443",
+		Yes: []Source{
+			src("docker-ps", KindRuntime, false),
+			src("compose", KindConfig, false),
+		},
+		No: []Source{
+			src("docker-ps-old", KindRuntime, false),
+			src("compose-old", KindConfig, false),
+		},
+	}
+	r := Adjudicate(c)
+	if r.Confirmed || r.Confidence != ConfHypothesis || r.Rule != RuleUnresolved {
+		t.Fatalf("2v2 must stay (not confirmed): %+v", r)
+	}
+	if r.Winner != "" {
+		t.Fatalf("unresolved must not name a winner: %+v", r)
+	}
+}
+
+func TestTemporalFreshnessResolvesStaleSide(t *testing.T) {
+	c := Claim{
+		Text: "svc listens on 443",
+		Yes: []Source{
+			src("docker-ps", KindRuntime, false),
+			src("compose", KindConfig, false),
+		},
+		No: []Source{
+			src("old-readme", KindNarrative, true),
+			src("old-wiki", KindNarrative, true),
+		},
+	}
+	r := Adjudicate(c)
+	if !r.Confirmed || r.Rule != RuleTemporalFreshness || r.Winner != "yes" {
+		t.Fatalf("fresh yes vs stale no: %+v", r)
+	}
+}
+
+func TestAuthorityPairingBeatsNarrative(t *testing.T) {
+	c := Claim{
+		Text: "svc listens on 443",
+		Yes: []Source{
+			src("docker-ps", KindRuntime, false),
+			src("compose", KindConfig, false),
+		},
+		No: []Source{
+			src("readme", KindNarrative, false),
+			src("wiki", KindNarrative, false),
+		},
+	}
+	r := Adjudicate(c)
+	if !r.Confirmed || r.Rule != RuleAuthorityPairing || r.Winner != "yes" {
+		t.Fatalf("A×B vs C×C: %+v", r)
+	}
+}
+
+func TestTwoSourceYesIsConfirmed(t *testing.T) {
+	c := Claim{
+		Text: "arc-1 runs Matrix",
+		Yes: []Source{
+			src("compose", KindConfig, false),
+			src("docker-ps", KindRuntime, false),
+		},
+	}
+	r := Adjudicate(c)
+	if !r.Confirmed || r.Rule != RuleTwoSource || r.Winner != "yes" {
+		t.Fatalf("%+v", r)
+	}
+}
+
+func TestSingleSourceIsHypothesis(t *testing.T) {
+	c := Claim{Text: "maybe", Yes: []Source{src("readme", KindNarrative, false)}}
+	r := Adjudicate(c)
+	if r.Confirmed || r.Rule != RuleSingleSource {
+		t.Fatalf("%+v", r)
+	}
+}

internal/gitlog/args.go

@@ -0,0 +1,51 @@
+package gitlog
+
+import (
+	"fmt"
+	"time"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type CLI struct {
+	Repo, Root, Since string
+	Limit             int
+	JSONOut           bool
+}
+
+func Parser() *flaggy.Parser {
+	c := CLI{}
+	return Bind(&c)
+}
+
+func Bind(c *CLI) *flaggy.Parser {
+	p := cli.New("git-import")
+	p.Description = "go-git history → commit leafs"
+	p.Bool(&c.JSONOut, "", "json", "JSON output")
+	p.Int(&c.Limit, "", "limit", "max commits (0 = all)")
+	p.String(&c.Since, "", "since", "RFC3339 or YYYY-MM-DD")
+	p.String(&c.Root, "", "root", "scan dir for git repos")
+	p.AddPositionalValue(&c.Repo, "repo", 1, false, "git repo path")
+	return p
+}
+
+func ParseArgs(args []string) (CLI, error) {
+	var c CLI
+	if err := cli.Parse(Bind(&c), args); err != nil {
+		return c, err
+	}
+	return c, nil
+}
+
+func ParseSince(s string) (time.Time, error) {
+	if s == "" {
+		return time.Time{}, nil
+	}
+	for _, layout := range []string{time.RFC3339, "2006-01-02"} {
+		if t, err := time.Parse(layout, s); err == nil {
+			return t, nil
+		}
+	}
+	return time.Time{}, fmt.Errorf("cannot parse --since %q", s)
+}

internal/mdleaves/args.go

@@ -0,0 +1,41 @@
+package mdleaves
+
+import (
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type CLI struct {
+	Root    string
+	Files   string
+	JSONOut bool
+}
+
+func Parser() *flaggy.Parser {
+	c := CLI{Root: "."}
+	return Bind(&c)
+}
+
+func Bind(c *CLI) *flaggy.Parser {
+	if c.Root == "" {
+		c.Root = "."
+	}
+	p := cli.New("markdown-import")
+	p.Description = "split markdown H2 leafs"
+	p.Bool(&c.JSONOut, "", "json", "JSON output")
+	p.String(&c.Files, "", "files", "comma-separated paths")
+	p.AddPositionalValue(&c.Root, "dir", 1, false, "markdown root")
+	return p
+}
+
+func ParseArgs(args []string) (CLI, error) {
+	c := CLI{Root: "."}
+	p := Bind(&c)
+	if err := cli.Parse(p, args); err != nil {
+		return c, err
+	}
+	if extra := cli.Query("", p.TrailingArguments); extra != "" && c.Root == "." {
+		c.Root = extra
+	}
+	return c, nil
+}

internal/ocr/args.go

@@ -0,0 +1,35 @@
+package ocr
+
+import (
+	"fmt"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type CLI struct {
+	Path string
+}
+
+func Parser() *flaggy.Parser {
+	c := CLI{}
+	return Bind(&c)
+}
+
+func Bind(c *CLI) *flaggy.Parser {
+	p := cli.New("mail-ocr")
+	p.Description = "tesseract eng+deu on image or scanned PDF"
+	p.AddPositionalValue(&c.Path, "file", 1, false, "image or pdf")
+	return p
+}
+
+func ParseArgs(args []string) (CLI, error) {
+	var c CLI
+	if err := cli.Parse(Bind(&c), args); err != nil {
+		return c, err
+	}
+	if c.Path == "" {
+		return c, fmt.Errorf("usage: bin/mail/ocr.go <image|pdf>")
+	}
+	return c, nil
+}

internal/reasoner/args.go

@@ -0,0 +1,47 @@
+package reasoner
+
+import (
+	"os"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type CLI struct {
+	Base    string
+	Model   string
+	Device  string
+	JSONOut bool
+}
+
+func Parser() *flaggy.Parser {
+	c := NewCLI()
+	return Bind(&c)
+}
+
+func NewCLI() CLI {
+	base := os.Getenv("REASONER_BASE_URL")
+	if base == "" {
+		base = "http://127.0.0.1:11435/v1"
+	}
+	model := os.Getenv("REASONER_MODEL")
+	if model == "" {
+		model = OllamaRAM
+	}
+	return CLI{Base: base, Model: model, Device: "cpu"}
+}
+
+func Bind(c *CLI) *flaggy.Parser {
+	p := cli.New("reasoner-bakeoff")
+	p.Description = "CPU tool-call bake-off"
+	p.Bool(&c.JSONOut, "", "json", "JSON output")
+	p.String(&c.Model, "", "model", "Ollama/HF model id")
+	p.String(&c.Base, "", "base-url", "OpenAI-compatible URL")
+	p.String(&c.Device, "", "device", "cpu")
+	return p
+}
+
+func ParseArgs(args []string) (CLI, error) {
+	c := NewCLI()
+	return c, cli.Parse(Bind(&c), args)
+}

internal/websearch/args.go

@@ -0,0 +1,63 @@
+package websearch
+
+import (
+	"fmt"
+
+	"github.com/eSlider/2dph/internal/cli"
+	"github.com/integrii/flaggy"
+)
+
+type CLI struct {
+	Query, Site, Lang, Fresh, Category, Engines string
+	Limit                                       int
+	JSONOut, Refresh, Force                     bool
+	TTL                                         float64
+	Timeout                                     int
+}
+
+func NewCLI() CLI {
+	return CLI{Limit: DefaultLimit, TTL: float64(CacheTTL), Timeout: 25}
+}
+
+func Parser() *flaggy.Parser {
+	c := NewCLI()
+	return Bind(&c)
+}
+
+func Bind(c *CLI) *flaggy.Parser {
+	p := cli.New("web-search")
+	p.Description = "SearXNG second source (throttled ≠ absence)"
+	p.Bool(&c.JSONOut, "", "json", "JSON output")
+	p.Bool(&c.Refresh, "", "refresh", "bypass cache")
+	p.Bool(&c.Force, "", "force", "allow PII in query")
+	p.Int(&c.Limit, "n", "limit", "max hits")
+	p.String(&c.Site, "", "site", "restrict to host")
+	p.String(&c.Lang, "", "lang", "language")
+	p.String(&c.Fresh, "", "fresh", "day|week|month|year")
+	p.String(&c.Category, "", "category", "searx category")
+	p.String(&c.Engines, "", "engines", "engine list")
+	p.Float64(&c.TTL, "", "ttl", "cache ttl seconds")
+	p.Int(&c.Timeout, "", "timeout", "http timeout seconds")
+	return p
+}
+
+func ParseArgs(args []string) (CLI, error) {
+	c := NewCLI()
+	p := Bind(&c)
+	var q string
+	p.AddPositionalValue(&q, "query", 1, false, "search query")
+	if err := cli.Parse(p, args); err != nil {
+		return c, err
+	}
+	c.Query = cli.Query(q, p.TrailingArguments)
+	if c.Query == "" {
+		return c, fmt.Errorf("query required")
+	}
+	if c.Limit < 0 {
+		return c, fmt.Errorf("--limit must be a non-negative integer")
+	}
+	if c.Timeout <= 0 {
+		return c, fmt.Errorf("--timeout must be a positive integer")
+	}
+	return c, nil
+}

skills/brain/SKILL.md

@@ -45,6 +45,8 @@ bin/brain/eval.go                                      # recall@5 >= 0.95 gate (
   are not evidence of absence. `--root facts|info` and `--no-web` skip the web.
 - If recall looks wrong, run `bin/brain/eval.go`; it gates control questions and
   should stay at or above 95% recall@5.
+- Contradictions (≥2 yes vs ≥2 no) stay `(not confirmed)` until
+  `bin/facts/audit contradict` fires `temporal_freshness` or `authority_pairing`.
 - Agents: `GET /openapi.json` and `POST /mcp` on `bin/brain/serve.go` (same
   handlers; tool names match paths `search`/`get`/`stats`/`audit`). Generated
   list: [tools.md](tools.md).