fix(analysis): reduce false positives in pattern detectors

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -26,5 +26,8 @@ projects = [
   { name = "gitbot-fleet", repo = "hyperpolymath/gitbot-fleet", relation = "optional-consumer", note = "OikosBot can run as a fleet member via the excluded crates/oikosbot-fleet bridge; the bots/sustainabot/ slot is reserved and separate." },
   { name = "affinescript", repo = "hyperpolymath/affinescript", relation = "upstream-toolchain", note = "Provides the AffineScript compiler/stdlib for bot-integration-affine/." },
   { name = "verisimdb", repo = "hyperpolymath/verisimdb", relation = "datastore-dependency", note = "Single identity-consonance store (octad of modal witnesses). Its graph + document witnesses subsume the retired ArangoDB, and its semantic witness subsumes the retired Virtuoso/RDF. Runtime client deferred/gated (VeriSimDB v0.1.0). Seed: databases/ontology/eco.ttl." },
-  { name = "hpm-*-rsr", repo = "hyperpolymath/hpm-crypto-rsr, hpm-http-client-rsr, hpm-json-rsr, hpm-github-api-rsr", relation = "ffi-dependency", note = "Zig-FFI RSR libraries consumed by bot-integration-affine via the composite libhpm_github_api (crypto/http/json) through AffineScript extern fn." }
+  { name = "hpm-*-rsr", repo = "hyperpolymath/hpm-crypto-rsr, hpm-http-client-rsr, hpm-json-rsr, hpm-github-api-rsr", relation = "ffi-dependency", note = "Zig-FFI RSR libraries consumed by bot-integration-affine via the composite libhpm_github_api (crypto/http/json) through AffineScript extern fn." },
+  { name = "oikosbot-estate", repo = "hyperpolymath/oikosbot-estate", relation = "data-artefact", note = "DATA ONLY, no code, no CI. Versioned Parquet snapshots (runs/repos/releases) plus analysis.json and a rendered report, one directory per collection run, produced by `oikosbot estate`. Kept OUT of this repo deliberately: history stays git history, and OikosBot never silently measures a corpus containing itself. Named oikosbot-estate, not oikos-*, because the oikos-* prefix belongs to the DSL — see DISAMBIGUATION.adoc." },
+  { name = "eclexia", repo = "hyperpolymath/eclexia", relation = "policy-language + future-host", note = "Turing-complete general-purpose language implementing the Economics-as-Code paradigm; far broader in scope than this bot. Today: the .ecl policy surface (currently evaluated by a filename-matching FAKE backend — see DEBT.adoc). Intended trajectory: OikosBot's dominance/frontier maths moves into the Eclexia stdlib so its currently-inert @optimize becomes semantically real for every Eclexia program; OikosBot's DEA duals become the real solver behind shadow_price(), replacing hand-set constants; and OikosBot is eventually IMPLEMENTED IN Eclexia. OikosBot is its first serious application, not its owner." },
+  { name = "standards", repo = "hyperpolymath/standards", relation = "reusable-workflows", note = "Supplies the reusable workflows this repo calls (mirror, secret-scanner, scorecard, governance). Pin bumps here are estate-coordinated." }
 ]

ARCHITECTURE.adoc

@@ -4,6 +4,29 @@
 
 = Oikos Bot: Ecological & Economic Code Analysis Platform
 
+[WARNING]
+====
+*This is the TARGET design, not the current state.* Read it as intent. Several
+components specified below were never built, and one contradicts a later
+ruling:
+
+* *§"OCaml Documentation Analyzer" (`/analyzers/docs-ocaml/`)* — does not
+  exist. `analyzers/` contains only `code-haskell`.
+* *§"Policy Engine (Datalog + DeepProbLog)" and the tech-stack table's "Python
+  + Datalog"* — superseded. Python is banned by the language policy, and the
+  2026-07-28 ruling retargets the engine to *Scallop* (Rust). The Datalog rules
+  in `policy-engine/datalog/eco_rules.dl` have never executed.
+* *Four bot roles ("consultant, advisor, regulator, and policy developer")* —
+  `crates/oikosbot-cli/src/config.rs` implements three. There is no `policy
+  developer` mode.
+* *The Praxis Loop and DeepProbLog inference* — not implemented.
+
+It also predates the *estate* pipeline (`oikosbot-telemetry` / `-capability` /
+`-dea`), which is the newest and most evidentially solid surface. For what is
+actually built, see link:docs/STATUS.adoc[`docs/STATUS.adoc`],
+link:EXPLAINME.adoc[`EXPLAINME.adoc`] and link:DEBT.adoc[`DEBT.adoc`].
+====
+
 [NOTE]
 ====
 *Note — which product is this?*