predicate-skill 2.0.2 → 2.0.4

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "predicate",
-  "version": "2.0.2",
+  "version": "2.0.4",
   "description": "Local reasoning knowledge graph (RDF/OWL) for AI agents — 9 kg_* MCP tools + cross-platform Stop-hook turn extraction (Claude Code + Gemini CLI + OpenCode) + reasoning bridge for action data.",
   "author": {
     "name": "Nordic Agents Research",
@@ -8,7 +8,7 @@
   },
   "homepage": "https://github.com/NordicAgents/predicate#readme",
   "repository": "https://github.com/NordicAgents/predicate",
-  "license": "Apache-2.0",
+  "license": "Elastic-2.0",
   "keywords": ["mcp", "knowledge-graph", "rdf", "owl", "sparql", "reasoning"],
   "mcpServers": {
     "predicate": {

package/LICENSE

@@ -1,202 +1,93 @@
+Elastic License 2.0 (ELv2)
 
-                                 Apache License
-                           Version 2.0, January 2004
-                        http://www.apache.org/licenses/
-
-   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
-
-   1. Definitions.
-
-      "License" shall mean the terms and conditions for use, reproduction,
-      and distribution as defined by Sections 1 through 9 of this document.
-
-      "Licensor" shall mean the copyright owner or entity authorized by
-      the copyright owner that is granting the License.
-
-      "Legal Entity" shall mean the union of the acting entity and all
-      other entities that control, are controlled by, or are under common
-      control with that entity. For the purposes of this definition,
-      "control" means (i) the power, direct or indirect, to cause the
-      direction or management of such entity, whether by contract or
-      otherwise, or (ii) ownership of fifty percent (50%) or more of the
-      outstanding shares, or (iii) beneficial ownership of such entity.
-
-      "You" (or "Your") shall mean an individual or Legal Entity
-      exercising permissions granted by this License.
-
-      "Source" form shall mean the preferred form for making modifications,
-      including but not limited to software source code, documentation
-      source, and configuration files.
-
-      "Object" form shall mean any form resulting from mechanical
-      transformation or translation of a Source form, including but
-      not limited to compiled object code, generated documentation,
-      and conversions to other media types.
-
-      "Work" shall mean the work of authorship, whether in Source or
-      Object form, made available under the License, as indicated by a
-      copyright notice that is included in or attached to the work
-      (an example is provided in the Appendix below).
-
-      "Derivative Works" shall mean any work, whether in Source or Object
-      form, that is based on (or derived from) the Work and for which the
-      editorial revisions, annotations, elaborations, or other modifications
-      represent, as a whole, an original work of authorship. For the purposes
-      of this License, Derivative Works shall not include works that remain
-      separable from, or merely link (or bind by name) to the interfaces of,
-      the Work and Derivative Works thereof.
-
-      "Contribution" shall mean any work of authorship, including
-      the original version of the Work and any modifications or additions
-      to that Work or Derivative Works thereof, that is intentionally
-      submitted to Licensor for inclusion in the Work by the copyright owner
-      or by an individual or Legal Entity authorized to submit on behalf of
-      the copyright owner. For the purposes of this definition, "submitted"
-      means any form of electronic, verbal, or written communication sent
-      to the Licensor or its representatives, including but not limited to
-      communication on electronic mailing lists, source code control systems,
-      and issue tracking systems that are managed by, or on behalf of, the
-      Licensor for the purpose of discussing and improving the Work, but
-      excluding communication that is conspicuously marked or otherwise
-      designated in writing by the copyright owner as "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any individual or Legal Entity
-      on behalf of whom a Contribution has been received by Licensor and
-      subsequently incorporated within the Work.
-
-   2. Grant of Copyright License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      copyright license to reproduce, prepare Derivative Works of,
-      publicly display, publicly perform, sublicense, and distribute the
-      Work and such Derivative Works in Source or Object form.
-
-   3. Grant of Patent License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      (except as stated in this section) patent license to make, have made,
-      use, offer to sell, sell, import, and otherwise transfer the Work,
-      where such license applies only to those patent claims licensable
-      by such Contributor that are necessarily infringed by their
-      Contribution(s) alone or by combination of their Contribution(s)
-      with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a
-      cross-claim or counterclaim in a lawsuit) alleging that the Work
-      or a Contribution incorporated within the Work constitutes direct
-      or contributory patent infringement, then any patent licenses
-      granted to You under this License for that Work shall terminate
-      as of the date such litigation is filed.
-
-   4. Redistribution. You may reproduce and distribute copies of the
-      Work or Derivative Works thereof in any medium, with or without
-      modifications, and in Source or Object form, provided that You
-      meet the following conditions:
-
-      (a) You must give any other recipients of the Work or
-          Derivative Works a copy of this License; and
-
-      (b) You must cause any modified files to carry prominent notices
-          stating that You changed the files; and
-
-      (c) You must retain, in the Source form of any Derivative Works
-          that You distribute, all copyright, patent, trademark, and
-          attribution notices from the Source form of the Work,
-          excluding those notices that do not pertain to any part of
-          the Derivative Works; and
-
-      (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, then any Derivative Works that You distribute must
-          include a readable copy of the attribution notices contained
-          within such NOTICE file, excluding those notices that do not
-          pertain to any part of the Derivative Works, in at least one
-          of the following places: within a NOTICE text file distributed
-          as part of the Derivative Works; within the Source form or
-          documentation, if provided along with the Derivative Works; or,
-          within a display generated by the Derivative Works, if and
-          wherever such third-party notices normally appear. The contents
-          of the NOTICE file are for informational purposes only and
-          do not modify the License. You may add Your own attribution
-          notices within Derivative Works that You distribute, alongside
-          or as an addendum to the NOTICE text from the Work, provided
-          that such additional attribution notices cannot be construed
-          as modifying the License.
-
-      You may add Your own copyright statement to Your modifications and
-      may provide additional or different license terms and conditions
-      for use, reproduction, or distribution of Your modifications, or
-      for any such Derivative Works as a whole, provided Your use,
-      reproduction, and distribution of the Work otherwise complies with
-      the conditions stated in this License.
-
-   5. Submission of Contributions. Unless You explicitly state otherwise,
-      any Contribution intentionally submitted for inclusion in the Work
-      by You to the Licensor shall be under the terms and conditions of
-      this License, without any additional terms or conditions.
-      Notwithstanding the above, nothing herein shall supersede or modify
-      the terms of any separate license agreement you may have executed
-      with Licensor regarding such Contributions.
-
-   6. Trademarks. This License does not grant permission to use the trade
-      names, trademarks, service marks, or product names of the Licensor,
-      except as required for reasonable and customary use in describing the
-      origin of the Work and reproducing the content of the NOTICE file.
-
-   7. Disclaimer of Warranty. Unless required by applicable law or
-      agreed to in writing, Licensor provides the Work (and each
-      Contributor provides its Contributions) on an "AS IS" BASIS,
-      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
-      implied, including, without limitation, any warranties or conditions
-      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
-      PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or redistributing the Work and assume any
-      risks associated with Your exercise of permissions under this License.
-
-   8. Limitation of Liability. In no event and under no legal theory,
-      whether in tort (including negligence), contract, or otherwise,
-      unless required by applicable law (such as deliberate and grossly
-      negligent acts) or agreed to in writing, shall any Contributor be
-      liable to You for damages, including any direct, indirect, special,
-      incidental, or consequential damages of any character arising as a
-      result of this License or out of the use or inability to use the
-      Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or any and all
-      other commercial damages or losses), even if such Contributor
-      has been advised of the possibility of such damages.
-
-   9. Accepting Warranty or Additional Liability. While redistributing
-      the Work or Derivative Works thereof, You may choose to offer,
-      and charge a fee for, acceptance of support, warranty, indemnity,
-      or other liability obligations and/or rights consistent with this
-      License. However, in accepting such obligations, You may act only
-      on Your own behalf and on Your sole responsibility, not on behalf
-      of any other Contributor, and only if You agree to indemnify,
-      defend, and hold each Contributor harmless for any liability
-      incurred by, or claims asserted against, such Contributor by reason
-      of your accepting any such warranty or additional liability.
-
-   END OF TERMS AND CONDITIONS
-
-   APPENDIX: How to apply the Apache License to your work.
-
-      To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
-      replaced with your own identifying information. (Don't include
-      the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format. We also recommend that a
-      file or class name and description of purpose be included on the
-      same "printed page" as the copyright notice for easier
-      identification within third-party archives.
-
-   Copyright [yyyy] [name of copyright owner]
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.
+URL: https://www.elastic.co/licensing/elastic-license
+
+## Acceptance
+
+By using the software, you agree to all of the terms and conditions below.
+
+## Copyright License
+
+The licensor grants you a non-exclusive, royalty-free, worldwide,
+non-sublicensable, non-transferable license to use, copy, distribute, make
+available, and prepare derivative works of the software, in each case subject
+to the limitations and conditions below.
+
+## Limitations
+
+You may not provide the software to third parties as a hosted or managed
+service, where the service provides users with access to any substantial set of
+the features or functionality of the software.
+
+You may not move, change, disable, or circumvent the license key functionality
+in the software, and you may not remove or obscure any functionality in the
+software that is protected by the license key.
+
+You may not alter, remove, or obscure any licensing, copyright, or other notices
+of the licensor in the software. Any use of the licensor's trademarks is subject
+to applicable law.
+
+## Patents
+
+The licensor grants you a license, under any patent claims the licensor can
+license, or becomes able to license, to make, have made, use, sell, offer for
+sale, import and have imported the software, in each case subject to the
+limitations and conditions in this license. This license does not cover any
+patent claims that you cause to be infringed by modifications or additions to
+the software. If you or your company make any written claim that the software
+infringes or contributes to infringement of any patent, your patent license for
+the software granted under these terms ends immediately. If your company makes
+such a claim, your patent license ends immediately for work on behalf of your
+company.
+
+## Notices
+
+You must ensure that anyone who gets a copy of any part of the software from you
+also gets a copy of these terms.
+
+If you modify the software, you must include in any modified copies of the
+software prominent notices stating that you have modified the software.
+
+## No Other Rights
+
+These terms do not imply any licenses other than those expressly granted in
+these terms.
+
+## Termination
+
+If you use the software in violation of these terms, such use is not licensed,
+and your licenses will automatically terminate. If the licensor provides you
+with a notice of your violation, and you cease all violation of this license no
+later than 30 days after you receive that notice, your licenses will be
+reinstated retroactively. However, if you violate these terms after such
+reinstatement, any additional violation of these terms will cause your licenses
+to terminate automatically and permanently.
+
+## No Liability
+
+*As far as the law allows, the software comes as is, without any warranty or
+condition, and the licensor will not be liable to you for any damages arising
+out of these terms or the use or nature of the software, under any kind of
+legal claim.*
+
+## Definitions
+
+The **licensor** is the entity offering these terms, and the **software** is the
+software the licensor makes available under these terms, including any portion
+of it.
+
+**you** refers to the individual or entity agreeing to these terms.
+
+**your company** is any legal entity, sole proprietorship, or other kind of
+organization that you work for, plus all organizations that have control over,
+are under the control of, or are under common control with that organization.
+**control** means ownership of substantially all the assets of an entity, or
+the power to direct its management and policies by vote, contract, or
+otherwise. Control can be direct or indirect.
+
+**your licenses** are all the licenses granted to you for the software under
+these terms.
+
+**use** means anything you do with the software requiring one of your licenses.
+
+**trademark** means trademarks, service marks, and similar rights.

package/README.md

@@ -1,97 +1,375 @@
-# predicate-skill
+# Predicate
 
-Distributable Predicate package: bundled MCP server + `predicate` CLI +
-Claude Code plugin (SKILL.md + hooks + slash commands) + per-platform
-hook adapters for Cursor, Gemini CLI, VS Code Copilot, OpenCode, and
-Codex CLI. This is the install target for both the Claude Code
-marketplace and the npm path.
+**Reasoning memory for AI agents — a knowledge graph that compounds with use.**
 
-Current version: **2.0.0** (`v2.0.0-domain-agnostic-bootstrap`).
+[![npm](https://img.shields.io/npm/v/predicate-skill?label=npm&color=blue)](https://www.npmjs.com/package/predicate-skill)
+[![marketplace](https://img.shields.io/badge/Claude%20Code-Marketplace-blue)](https://github.com/NordicAgents/predicate)
+[![License: ELv2](https://img.shields.io/badge/License-ELv2-blue.svg)](LICENSE)
+[![GitHub stars](https://img.shields.io/github/stars/NordicAgents/predicate?style=flat&color=yellow)](https://github.com/NordicAgents/predicate/stargazers)
+[![Last commit](https://img.shields.io/github/last-commit/NordicAgents/predicate?color=green)](https://github.com/NordicAgents/predicate/commits)
+
+## The Problem
+
+An AI coding or research agent loses most of its value to two failures: it
+forgets across sessions, and it can only answer single-hop lookups. Ask
+*"why did login break?"* and a RAG system returns documents containing the
+word *login*. It cannot traverse
+`auth.ts → validateToken → jwt.verify → JWT_SECRET → .env.production`,
+cannot tell you the blast radius of a rename, and cannot say which of two
+documents contradicts the other. The "agent memory" category mostly stores
+text or vectors with light graph structure on top — it does not separate
+schema from data, does not run a reasoner, does not track provenance per
+fact, and grows without bound until the operator cleans up by hand.
+
+### How Predicate solves it
+
+Predicate is an MCP skill that gives the agent a real reasoning graph,
+not a search index.
+
+1. **RDF/OWL, not retrieval.** Facts are stored as triples in Apache Jena
+   Fuseki. A curated OWL 2 RL ruleset materializes entailments through
+   SPARQL `CONSTRUCT` rules; SHACL covers closed-world validation. The
+   model formulates SPARQL against a freshly read schema — pre-baked
+   queries are forbidden — and reads logically entailed answers, never
+   hand-derived ones.
+2. **Provenance per triple.** Every fact carries source, time, confidence,
+   and extraction method via RDF-star. Low-confidence triples stay visible
+   to queries but are excluded from the inference closure so they cannot
+   poison entailment. `kg_explain` returns the backward-chained derivation
+   for any claim with citations.
+3. **Schema as code, with a use-gated promotion loop.** The TBox lives in
+   git as Turtle. The agent never edits it directly — it proposes deltas
+   to `kg:tbox-staging`. The reasoner validates each proposal; only after
+   N successful queries inside a TTL is a delta promoted into `kg:tbox`.
+   Unused proposals expire quietly. The graph cannot thrash because the
+   gate, not the goal source, is the safety mechanism.
+4. **Goal-conditioned growth.** Concepts enter because a goal needed
+   them, not because a document mentioned them. `kg_research_goal`
+   decomposes a goal, detects schema or data gaps, and runs research only
+   where the existing graph cannot answer. Periodic generalization and a
+   reaper sweep keep size bounded.
+5. **Cross-session continuity.** A Stop hook on each platform extracts
+   typed triples from the turn — files modified, commands that succeeded
+   or failed, decisions reached — and asserts them into `kg:abox`. The
+   reasoner derives `Hotspot`, `FlakyCommand`, and `ActiveFile` from
+   action data so `kg_ask` can answer "what is unstable here?" without
+   re-reading the repo next session.
 
 ## Install
 
 Prerequisites everywhere: **Docker** (for Fuseki) and **Node 20+**.
 
-### Claude Code marketplace
+<details open>
+<summary><strong>Claude Code</strong> — plugin marketplace, fully automatic</summary>
 
-```
+**Install:**
+
+```bash
 /plugin marketplace add NordicAgents/predicate
 /plugin install predicate@predicate
 ```
 
-### npm (any MCP-capable host)
+Restart Claude Code (or `/reload-plugins`). Then start the graph:
 
 ```bash
-npm install -g predicate-skill
 predicate up
+```
+
+**Verify:**
+
+```bash
 predicate doctor
 ```
 
-Or one-shot without a global install:
+All checks should show OK. The doctor validates Docker, Fuseki, the named
+graphs, the reasoner, and plugin registration.
+
+**Slash commands:**
+
+| Command | What it does |
+|---|---|
+| `/predicate:up` | Start Fuseki and bootstrap the 9 named graphs. |
+| `/predicate:down` | Stop Fuseki, keep the volume. |
+| `/predicate:doctor` | Health check across Docker, Fuseki, TBox, tools. |
+| `/predicate:stats` | Triples, ABox, inferred, TBox counts; inferred ratio; unused-concept ratio. |
+| `/predicate:ask <question>` | Free-form question routed through `kg_ask`. |
+
+**Routing:** Automatic. The SessionStart hook injects a one-line KG
+status banner. PreToolUse, PostToolUse, and Stop hooks capture tool
+calls and extract typed session triples — no file is written to your
+project.
+
+<details>
+<summary>Alternative — MCP-only install (no hooks or slash commands)</summary>
 
 ```bash
 claude mcp add predicate -- npx -y predicate-skill
 ```
 
-### Other platforms
+This gives you all `kg_*` tools without lifecycle hooks. Good for a quick
+trial before installing the full plugin.
 
-See the platform-specific config templates and READMEs under `hooks/`:
+</details>
 
-| Platform | Subdirectory | Hook events wired |
-|---|---|---|
-| Claude Code | `hooks/` (root) | SessionStart, PreToolUse, PostToolUse, Stop |
-| Gemini CLI | `hooks/gemini-cli/` | sessionStart, preCompress, stop |
-| Cursor | `hooks/cursor/` | manual / cron only (no native events) |
-| VS Code Copilot | `hooks/vscode-copilot/` | manual / VS Code tasks |
-| OpenCode | `hooks/opencode/` | session.started, session.compacted, session.stopped |
-| Codex CLI | `hooks/codex-cli/` | manual / shell alias / cron |
+</details>
 
-## CLI
+<details>
+<summary><strong>Any MCP-capable client</strong> — npm install</summary>
 
+```bash
+npm install -g predicate-skill
+predicate up
+predicate doctor
 ```
-predicate up             # docker compose up + bootstrap graphs (then init on first run)
-predicate init           # initialize kg:tbox (community ontology / upload / empty)
-predicate down           # stop fuseki, keep the volume
-predicate doctor         # health checks (docker, fuseki, tbox)
-predicate stats          # current kg_stats output
-predicate sessionstart   # one-line KG status banner (used by hook scripts)
-predicate maintain       # reaper + generalizer + promotion sweeper
-predicate capture        # record a tool invocation in kg:usage (opt-in: PREDICATE_RAW_CAPTURE=1)
-predicate extract        # read a Stop-hook payload and assert typed triples to kg:abox
-predicate --version
-predicate --help
+
+The bundled MCP server lives at the package's `bin` entry. Point any
+MCP-over-stdio client at `predicate-skill` (or
+`node /path/to/predicate-skill/server.bundle.mjs`) with env
+`FUSEKI_URL=http://localhost:3030` and `PREDICATE_DATASET=predicate`.
+
+</details>
+
+<details>
+<summary><strong>Cursor</strong> — MCP + maintenance scripts</summary>
+
+**Install:**
+
+1. Install context-mode globally and start Fuseki:
+
+   ```bash
+   npm install -g predicate-skill
+   predicate up
+   ```
+
+2. Copy the MCP config template to `~/.cursor/mcp.json` and replace
+   `__PLUGIN_DIR__` with the absolute path to the installed
+   `predicate-skill` directory:
+
+   ```bash
+   cp $(npm root -g)/predicate-skill/hooks/cursor/mcp.json.template ~/.cursor/mcp.json
+   ```
+
+3. Reload MCP servers (Cmd-Shift-P → "Reload MCP servers").
+
+**Verify:** Open Cursor Settings → MCP and confirm "predicate" is
+connected. In agent chat, type `predicate stats`.
+
+**Routing:** Cursor has no native SessionStart / Stop events. The
+SessionStart, PreCompact, and Stop maintenance scripts under
+`hooks/cursor/` can be wired via cron or a shell alias — see
+`hooks/cursor/README.md`.
+
+</details>
+
+<details>
+<summary><strong>Gemini CLI</strong> — MCP + sessionStart + preCompress + stop hooks</summary>
+
+**Install:**
+
+1. Install and start Fuseki:
+
+   ```bash
+   npm install -g predicate-skill
+   predicate up
+   ```
+
+2. Merge the template into `~/.gemini/settings.json`, replacing
+   `__PLUGIN_DIR__` with the absolute path to the installed
+   `predicate-skill` directory:
+
+   ```bash
+   cat $(npm root -g)/predicate-skill/hooks/gemini-cli/settings.json.template
+   ```
+
+3. Restart Gemini CLI.
+
+**Verify:** `/mcp list` should show `predicate: ... Connected`.
+
+**Routing:** Automatic via the three hook events. The Stop hook pipes
+the transcript through `predicate extract --from-stdin --platform gemini`
+so session triples land in `kg:abox` after every turn.
+
+</details>
+
+<details>
+<summary><strong>VS Code Copilot</strong> — MCP via settings.json</summary>
+
+**Install:**
+
+1. Install and start Fuseki:
+
+   ```bash
+   npm install -g predicate-skill
+   predicate up
+   ```
+
+2. Merge `hooks/vscode-copilot/settings.json.template` into your VS Code
+   `settings.json`, replacing `__PLUGIN_DIR__`. Restart VS Code.
+
+**Verify:** Open Copilot Chat and type `predicate stats`.
+
+**Routing:** VS Code Copilot does not yet expose SessionStart / PreCompact
+/ Stop events. See `hooks/vscode-copilot/README.md` for manual and
+VS Code-task wiring of the maintenance scripts.
+
+</details>
+
+<details>
+<summary><strong>OpenCode</strong> — MCP + session.started + session.compacted + session.stopped hooks</summary>
+
+**Install:**
+
+1. Install and start Fuseki:
+
+   ```bash
+   npm install -g predicate-skill
+   predicate up
+   ```
+
+2. Merge `hooks/opencode/opencode.json.template` into
+   `~/.config/opencode/opencode.json`, replacing `__PLUGIN_DIR__`.
+
+3. Restart OpenCode.
+
+**Verify:** In the OpenCode session, type `predicate stats`.
+
+**Routing:** Automatic via the three lifecycle events. The
+session.stopped hook pipes the transcript through
+`predicate extract --from-stdin --platform opencode`.
+
+</details>
+
+<details>
+<summary><strong>Codex CLI</strong> — MCP via config.toml</summary>
+
+**Install:**
+
+1. Install and start Fuseki:
+
+   ```bash
+   npm install -g predicate-skill
+   predicate up
+   ```
+
+2. Merge `hooks/codex-cli/config.toml.template` into
+   `~/.codex/config.toml`, replacing `__PLUGIN_DIR__`.
+
+**Verify:** Launch `codex` and type `predicate stats`.
+
+**Routing:** Codex CLI has no lifecycle events yet. See
+`hooks/codex-cli/README.md` for shell-alias wiring of the maintenance
+scripts.
+
+</details>
+
+<details>
+<summary><strong>Continue.dev</strong> — MCP via config.yaml</summary>
+
+In `~/.continue/config.yaml`:
+
+```yaml
+mcpServers:
+  - name: predicate
+    command: predicate-skill
+    env:
+      FUSEKI_URL: http://localhost:3030
+      PREDICATE_DATASET: predicate
 ```
 
+Then `predicate up` and restart Continue.
+
+</details>
+
+## Bootstrap modes
+
+On first `predicate up`, choose how to seed the schema:
+
+- **Community ontology** — install a bundled vocabulary (`top`,
+  `codebase`, `foaf`, `schema-org-lite`, `fhir-core`) from the catalog
+  in `packages/predicate-ontology/catalog/`.
+- **Bring your own** — upload a Turtle file as the initial TBox.
+- **Empty** — start with no schema; let the agent grow vocabulary through
+  the propose → validate → 3-uses-in-7-days promotion gate.
+
+Schema-learning is toggleable at runtime via `kg_config_set` /
+`kg_config_get`.
+
 ## MCP tools
 
-The bundled server exposes 11 tools over stdio: `kg_explore_schema`,
-`kg_ask`, `kg_assert`, `kg_explain`, `kg_propose_schema`,
-`kg_research_goal`, `kg_stats`, `kg_maintain`, `kg_capture`,
-`kg_config_get`, `kg_config_set`.
+The bundled server exposes 11 tools over stdio:
 
-Env vars consumed at runtime:
+| Tool | What it does |
+|---|---|
+| `kg_explore_schema` | Returns the TBox slice for a concept so the model uses real predicates. |
+| `kg_ask` | Executes a caller-drafted SPARQL query against asserted + inferred graphs. Logs to `kg:usage`, truncates results, supports `includeRemote: true` for peer-federated queries. |
+| `kg_assert` | Writes a triple to `kg:abox` with RDF-star provenance. Rejects undeclared predicates. |
+| `kg_explain` | Returns the backward-chained derivation for a claim, with cited provenance. |
+| `kg_propose_schema` | Stages a `SchemaDelta` proposal in `kg:tbox-staging`. |
+| `kg_research_goal` | Decompose a goal → gap-detect → optionally execute research → return a plan. |
+| `kg_stats` | Triples, ABox, inferred, TBox counts; inferred ratio; unused-concept ratio. |
+| `kg_maintain` | Runs reaper, generalizer, and promotion sweeper, then re-materializes inferred. |
+| `kg_capture` | Records a tool invocation (toolName, input, output, sessionId, phase) into `kg:usage`. Used by PreToolUse / PostToolUse hooks. |
+| `kg_config_get` / `kg_config_set` | Read or update runtime config (e.g. schema-learning toggle). |
 
-- `FUSEKI_URL` (default `http://localhost:3030`)
-- `PREDICATE_DATASET` (default `predicate`)
-- `PREDICATE_CAPTURE_SKIP` (comma list of tool names to suppress in `kg_capture`, default empty)
-- `PREDICATE_CAPTURE_TRUNCATE` (max chars per captured input/output field, default `500`)
+## CLI
+
+```
+predicate up                # docker compose up + bootstrap the 9 named graphs
+predicate init              # initialize kg:tbox (community / upload / empty)
+predicate down              # stop Fuseki, keep the volume
+predicate doctor            # health checks (docker, fuseki, tbox, tools)
+predicate stats             # current kg_stats output
+predicate sessionstart      # one-line KG status banner (used by hook scripts)
+predicate maintain          # reaper + generalizer + promotion sweeper
+predicate capture           # record a tool call in kg:usage (opt-in: PREDICATE_RAW_CAPTURE=1)
+predicate extract           # read a Stop-hook payload and assert typed triples to kg:abox
+predicate sessions          # list recent extracted sessions (modifiedFiles / ok / fail)
+predicate captures          # list raw kg:usage ToolCall captures
+predicate recall <query>    # substring search over session history (files + commands)
+predicate dashboard         # serve a localhost web view of session history + reasoning output
+
+predicate peer add <name> <sparql-endpoint>   # register a teammate's Fuseki
+predicate peer list | peer remove
+predicate export-sessions [--since DATE] [--user NAME]
+predicate import-sessions <file.trig>
+
+predicate ld init           # register DBpedia + Wikidata as external LD peers
+predicate ld list
+predicate ld ask <query>    # one-shot SPARQL across all registered LD endpoints
+
+predicate --version
+predicate --help
+```
+
+## Environment
+
+| Var | Default | What it controls |
+|---|---|---|
+| `FUSEKI_URL` | `http://localhost:3030` | Where the MCP server reaches Fuseki. |
+| `PREDICATE_DATASET` | `predicate` | Fuseki dataset name. |
+| `PREDICATE_CAPTURE_SKIP` | *(empty)* | Comma-separated tool names suppressed by `kg_capture`. |
+| `PREDICATE_CAPTURE_TRUNCATE` | `500` | Max chars per captured input/output field. |
+| `PREDICATE_RAW_CAPTURE` | unset | When `1`, raw PreToolUse/PostToolUse captures are persisted to `kg:usage`. |
+| `ANTHROPIC_API_KEY` | unset | Enables the LLM-augmented decomposer fallback in `kg_research_goal`. |
 
 ## What's in this directory
 
-- `.claude-plugin/plugin.json` — MCP server + skills + hooks registration for the Claude Code marketplace path.
-- `server.bundle.mjs` — bundled MCP server (no `node_modules` required at runtime).
-- `cli.bundle.mjs` — bundled `predicate` CLI, surfaced via this package's `bin` entry.
-- `skills/predicate/SKILL.md` — host-agent contract: triggers, workflow, HARD-GATE anti-patterns, worked examples.
-- `skills/predicate-doctor/SKILL.md`, `skills/predicate-stats/SKILL.md` — operator skills.
-- `commands/{up,down,doctor,stats,ask}.md` — slash-command definitions for `/predicate:*`.
-- `hooks/hooks.json` — Claude Code hook registration (SessionStart, PreToolUse, PostToolUse).
-- `hooks/session-start.sh`, `hooks/pre-tool-use.sh`, `hooks/post-tool-use.sh` — Claude Code lifecycle hooks; each delegates to a `predicate` CLI subcommand.
-- `hooks/{cursor,gemini-cli,vscode-copilot,opencode,codex-cli}/` — per-platform hook scripts + config templates + per-platform README.
-- `compose/docker-compose.yml`, `compose/fuseki/config.ttl` — Fuseki + TDB2 config that `predicate up` launches.
+| Path | Purpose |
+|---|---|
+| `.claude-plugin/plugin.json` | MCP + skills + hooks registration for the Claude Code marketplace. |
+| `server.bundle.mjs` | Bundled MCP server — runs without `node_modules` at runtime. |
+| `cli.bundle.mjs` | Bundled `predicate` CLI, surfaced via this package's `bin` entry. |
+| `skills/predicate/SKILL.md` | Host-agent contract: triggers, workflow, HARD-GATE anti-patterns, worked examples. |
+| `skills/predicate-doctor/`, `skills/predicate-stats/` | Operator skills. |
+| `commands/{up,down,doctor,stats,ask}.md` | Slash-command definitions for `/predicate:*`. |
+| `hooks/hooks.json` | Claude Code hook registration (SessionStart, PreToolUse, PostToolUse, Stop). |
+| `hooks/{session-start,pre-tool-use,post-tool-use,stop}.sh` | Claude Code lifecycle hooks — each delegates to a `predicate` CLI subcommand. |
+| `hooks/{cursor,gemini-cli,vscode-copilot,opencode,codex-cli}/` | Per-platform hook scripts + config templates + per-platform README. |
+| `compose/docker-compose.yml`, `compose/fuseki/config.ttl` | Fuseki + TDB2 config launched by `predicate up`. |
 
 ## Rebuilding the bundles
 
-Bundles are committed so the marketplace install path works without
+The bundles are committed so the marketplace install path works without
 `pnpm install`. To rebuild after a source change:
 
 ```bash
@@ -110,9 +388,9 @@ The full workspace test suite runs against a live Fuseki:
 
 ```bash
 predicate up
-pnpm test           # 160 tests across 5 packages
+pnpm test
 ```
 
 ## License
 
-Apache-2.0. See `LICENSE`.
+Elastic License 2.0 (ELv2) — source-available. See [`LICENSE`](LICENSE).

package/catalog/catalog.json

@@ -0,0 +1,36 @@
+{
+  "version": "1.0.0",
+  "ontologies": [
+    {
+      "name": "top",
+      "description": "Minimal upper ontology — Thing, dependsOn, relatedTo",
+      "license": "CC0",
+      "files": ["top.ttl"]
+    },
+    {
+      "name": "codebase",
+      "description": "Software code structure (files, symbols, calls, modifications)",
+      "license": "Elastic-2.0",
+      "files": ["codebase.ttl"],
+      "shapes": "codebase.shacl.ttl"
+    },
+    {
+      "name": "foaf",
+      "description": "Friend-of-a-friend — faithful subset of xmlns.com/foaf/0.1",
+      "license": "CC0",
+      "files": ["foaf.ttl"]
+    },
+    {
+      "name": "schema-org-lite",
+      "description": "Web entities — faithful subset of schema.org core (soft-typed)",
+      "license": "CC-BY-4.0",
+      "files": ["schema-org-lite.ttl"]
+    },
+    {
+      "name": "fhir-core",
+      "description": "HL7 FHIR R4 resource class vocabulary (class hierarchy only; load fhir.ttl for full data modeling)",
+      "license": "HL7",
+      "files": ["fhir-core.ttl"]
+    }
+  ]
+}

package/catalog/codebase.shacl.ttl

@@ -0,0 +1,24 @@
+@prefix sh:   <http://www.w3.org/ns/shacl#> .
+@prefix :     <https://predicate.dev/codebase#> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+
+:FileShape a sh:NodeShape ;
+    sh:targetClass :File ;
+    sh:property [
+        sh:path :path ; sh:datatype xsd:string ;
+        sh:minCount 1 ; sh:maxCount 1
+    ] .
+
+:SymbolShape a sh:NodeShape ;
+    sh:targetClass :Symbol ;
+    sh:property [
+        sh:path :declaredIn ; sh:class :File ;
+        sh:minCount 1 ; sh:maxCount 1
+    ] .
+
+:CommitShape a sh:NodeShape ;
+    sh:targetClass :Commit ;
+    sh:property [
+        sh:path :sha ; sh:datatype xsd:string ;
+        sh:minCount 1 ; sh:maxCount 1
+    ] .

package/catalog/codebase.ttl

@@ -0,0 +1,92 @@
+@prefix :       <https://predicate.dev/codebase#> .
+@prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+
+# --- Classes -------------------------------------------------------
+
+:Artifact     a owl:Class ; rdfs:label "Artifact" .
+:File         a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "File" .
+:Symbol       a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "Symbol" .
+:Function     a owl:Class ; rdfs:subClassOf :Symbol   ; rdfs:label "Function" .
+:Class        a owl:Class ; rdfs:subClassOf :Symbol   ; rdfs:label "Class" .
+:Module       a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "Module" .
+:Package      a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "Package" .
+:EnvVar       a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "EnvVar" .
+:Commit       a owl:Class ; rdfs:label "Commit" .
+:Test         a owl:Class ; rdfs:subClassOf :Artifact ; rdfs:label "Test" .
+:Command      a owl:Class ; rdfs:label "Shell command invocation" .
+
+:Hotspot      a owl:Class ; rdfs:subClassOf :File    ; rdfs:label "File modified in many sessions" .
+:FlakyCommand a owl:Class ; rdfs:subClassOf :Command ; rdfs:label "Command that has failed in multiple sessions" .
+:ActiveFile   a owl:Class ; rdfs:subClassOf :File    ; rdfs:label "File modified in the most recent session" .
+
+:Function owl:disjointWith :Class .
+:File     owl:disjointWith :Symbol .
+
+# --- Properties ----------------------------------------------------
+
+:declaredIn   a owl:ObjectProperty ;
+              rdfs:domain :Symbol ; rdfs:range :File ;
+              rdfs:label "declared in" .
+
+:imports      a owl:ObjectProperty , owl:TransitiveProperty ;
+              rdfs:domain :Artifact ; rdfs:range :Artifact ;
+              rdfs:label "imports" .
+
+:calls        a owl:ObjectProperty , owl:TransitiveProperty ;
+              rdfs:domain :Function ; rdfs:range :Function ;
+              rdfs:label "calls" .
+
+:reads        a owl:ObjectProperty ;
+              rdfs:domain :Function ; rdfs:range :EnvVar ;
+              rdfs:label "reads env var" .
+
+:dependsOn    a owl:ObjectProperty , owl:TransitiveProperty ;
+              rdfs:label "depends on" .
+
+# Property chain: f calls g ∧ g declaredIn h → f dependsOn h
+:dependsOn owl:propertyChainAxiom ( :calls :declaredIn ) .
+
+# Imports implies dependsOn
+:imports rdfs:subPropertyOf :dependsOn .
+
+:testedBy     a owl:ObjectProperty ;
+              owl:inverseOf :tests ;
+              rdfs:label "tested by" .
+
+:tests        a owl:ObjectProperty ;
+              rdfs:domain :Test ; rdfs:range :Symbol ;
+              rdfs:label "tests" .
+
+:lastModifiedIn a owl:ObjectProperty , owl:FunctionalProperty ;
+              rdfs:domain :Artifact ; rdfs:range :Commit ;
+              rdfs:label "last modified in" .
+
+:path         a owl:DatatypeProperty , owl:FunctionalProperty ;
+              rdfs:domain :File ; rdfs:range xsd:string ;
+              rdfs:label "path" .
+
+:sha          a owl:DatatypeProperty , owl:FunctionalProperty ;
+              rdfs:domain :Commit ; rdfs:range xsd:string ;
+              rdfs:label "sha" .
+
+# --- Action predicates (used by the Stop-hook deterministic extractor) ---
+
+:commandText  a owl:DatatypeProperty ;
+              rdfs:domain :Command ; rdfs:range xsd:string ;
+              rdfs:label "The literal command string." .
+
+:modifiedIn   a owl:ObjectProperty ;
+              rdfs:domain :File ; rdfs:range <https://predicate.dev/meta#Session> ;
+              rdfs:label "File was modified during this session." .
+:createdIn    a owl:ObjectProperty ;
+              rdfs:domain :File ; rdfs:range <https://predicate.dev/meta#Session> ;
+              rdfs:label "File was newly created in this session." .
+:succeededIn  a owl:ObjectProperty ;
+              rdfs:domain :Command ; rdfs:range <https://predicate.dev/meta#Session> ;
+              rdfs:label "Command exited 0 in this session." .
+:failedIn     a owl:ObjectProperty ;
+              rdfs:domain :Command ; rdfs:range <https://predicate.dev/meta#Session> ;
+              rdfs:label "Command exited non-zero in this session." .

package/catalog/fhir-core.ttl

@@ -0,0 +1,32 @@
+@prefix fhir: <http://hl7.org/fhir/> .
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+# FHIR core — TRUE subset of HL7 FHIR R4 resource-type vocabulary.
+# Upstream: http://hl7.org/fhir/R4/   License: see HL7 terms
+#
+# This file ships ONLY the resource class hierarchy. The published
+# HL7 FHIR RDF ontology (http://hl7.org/fhir/fhir.ttl) uses a rich
+# value-type metamodel (fhir:link, fhir:CodeableConcept, fhir:Reference,
+# wrapped scalar values, etc.) — flattening Patient.subject, Observation.code
+# etc. into bare OWL properties with rdfs:range xsd:string would NOT be a
+# subset of FHIR-RDF; it would contradict it. So we omit those axioms.
+#
+# If you need full FHIR data modeling, load HL7's published RDF ontology
+# directly (predicate init --mode upload --file fhir.ttl).
+
+fhir:Resource           a owl:Class ; rdfs:label "Resource" .
+
+fhir:Patient            a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Patient" .
+fhir:Practitioner       a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Practitioner" .
+fhir:Organization       a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Organization" .
+fhir:Encounter          a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Encounter" .
+fhir:Observation        a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Observation" .
+fhir:Condition          a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Condition" .
+fhir:Medication         a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Medication" .
+fhir:MedicationRequest  a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Medication Request" .
+fhir:Procedure          a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Procedure" .
+fhir:DiagnosticReport   a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Diagnostic Report" .
+fhir:AllergyIntolerance a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Allergy Intolerance" .
+fhir:Immunization       a owl:Class ; rdfs:subClassOf fhir:Resource ; rdfs:label "Immunization" .

package/catalog/foaf.ttl

@@ -0,0 +1,55 @@
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+# FOAF (Friend Of A Friend) — true subset of the upstream vocabulary.
+# Upstream: http://xmlns.com/foaf/spec/   License: CC0
+# Every axiom below is also asserted (or is strictly entailed) by the
+# published FOAF ontology. We add nothing FOAF does not say.
+
+# --- Classes -------------------------------------------------------
+
+foaf:Agent         a owl:Class ; rdfs:label "Agent" .
+foaf:Person        a owl:Class ; rdfs:subClassOf foaf:Agent ; rdfs:label "Person" .
+foaf:Organization  a owl:Class ; rdfs:subClassOf foaf:Agent ; rdfs:label "Organization" .
+foaf:Group         a owl:Class ; rdfs:subClassOf foaf:Agent ; rdfs:label "Group" .
+foaf:Document      a owl:Class ; rdfs:label "Document" .
+foaf:Image         a owl:Class ; rdfs:subClassOf foaf:Document ; rdfs:label "Image" .
+foaf:OnlineAccount a owl:Class ; rdfs:label "Online Account" .
+
+# --- Object properties --------------------------------------------
+
+foaf:knows  a owl:ObjectProperty ;
+            rdfs:domain foaf:Person ; rdfs:range foaf:Person ;
+            rdfs:label "knows" .
+
+foaf:member a owl:ObjectProperty ;
+            rdfs:domain foaf:Group ; rdfs:range foaf:Agent ;
+            rdfs:label "member" .
+
+foaf:made   a owl:ObjectProperty ;
+            rdfs:domain foaf:Agent ;
+            rdfs:label "made" .
+
+foaf:maker  a owl:ObjectProperty ;
+            rdfs:range foaf:Agent ;
+            owl:inverseOf foaf:made ;
+            rdfs:label "maker" .
+
+# --- Datatype properties ------------------------------------------
+
+# Domains left unconstrained where the FOAF spec does so — over-tightening
+# (e.g. domain foaf:Person on foaf:name) would be a non-subset extension.
+
+foaf:name      a owl:DatatypeProperty ; rdfs:label "name" .
+foaf:firstName a owl:DatatypeProperty ; rdfs:domain foaf:Person ; rdfs:label "first name" .
+foaf:lastName  a owl:DatatypeProperty ; rdfs:domain foaf:Person ; rdfs:label "last name" .
+foaf:age       a owl:DatatypeProperty ; rdfs:domain foaf:Agent  ; rdfs:label "age" .
+foaf:homepage  a owl:DatatypeProperty ; rdfs:label "homepage" .
+
+# foaf:mbox is the canonical FOAF identity property — InverseFunctional
+# is core to its meaning. Domain is Agent, not Person.
+foaf:mbox      a owl:DatatypeProperty , owl:InverseFunctionalProperty ;
+               rdfs:domain foaf:Agent ;
+               rdfs:label "email" .

package/catalog/schema-org-lite.ttl

@@ -0,0 +1,63 @@
+@prefix schema: <https://schema.org/> .
+@prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+
+# Schema.org-lite — true subset of schema.org's published vocabulary.
+# Upstream: https://schema.org/        License: CC-BY-4.0
+#
+# Schema.org deliberately does NOT use rdfs:domain / rdfs:range on its
+# properties — it uses its own schema:domainIncludes / schema:rangeIncludes,
+# which are "soft" expected-type hints, not OWL-style strict constraints.
+# We follow that convention so anything we publish is a faithful subset.
+
+schema:domainIncludes a rdf:Property ; rdfs:label "domain includes" .
+schema:rangeIncludes  a rdf:Property ; rdfs:label "range includes" .
+
+# --- Classes (real schema.org hierarchy) --------------------------
+
+schema:Thing               a owl:Class ; rdfs:label "Thing" .
+schema:Person              a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Person" .
+schema:Organization        a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Organization" .
+schema:Place               a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Place" .
+schema:Event               a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Event" .
+schema:Product             a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Product" .
+
+schema:CreativeWork        a owl:Class ; rdfs:subClassOf schema:Thing ; rdfs:label "Creative Work" .
+schema:Article             a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Article" .
+schema:Book                a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Book" .
+schema:Movie               a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Movie" .
+schema:Recipe              a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Recipe" .
+schema:Review              a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Review" .
+schema:WebPage             a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Web Page" .
+schema:SoftwareApplication a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Software Application" .
+schema:Dataset             a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Dataset" .
+schema:ImageObject         a owl:Class ; rdfs:subClassOf schema:CreativeWork ; rdfs:label "Image Object" .
+
+# --- Datatype-ish properties --------------------------------------
+
+schema:name           a rdf:Property ; rdfs:label "name" .
+schema:description    a rdf:Property ; rdfs:label "description" .
+schema:url            a rdf:Property ; rdfs:label "url" .
+schema:identifier     a rdf:Property ; rdfs:label "identifier" .
+schema:datePublished  a rdf:Property ; rdfs:label "date published" .
+schema:dateCreated    a rdf:Property ; rdfs:label "date created" .
+schema:dateModified   a rdf:Property ; rdfs:label "date modified" .
+
+# --- Object-ish properties (schema-style soft typing) -------------
+
+schema:author    a rdf:Property ;
+                 schema:rangeIncludes schema:Person , schema:Organization ;
+                 rdfs:label "author" .
+schema:publisher a rdf:Property ;
+                 schema:rangeIncludes schema:Organization , schema:Person ;
+                 rdfs:label "publisher" .
+schema:image     a rdf:Property ;
+                 schema:rangeIncludes schema:ImageObject , schema:URL ;
+                 rdfs:label "image" .
+schema:about     a rdf:Property ;
+                 schema:rangeIncludes schema:Thing ;
+                 rdfs:label "about" .
+schema:location  a rdf:Property ;
+                 schema:rangeIncludes schema:Place , schema:Organization ;
+                 rdfs:label "location" .

package/catalog/top.ttl

@@ -0,0 +1,20 @@
+@prefix :     <https://predicate.dev/top#> .
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+# Minimal upper ontology (Predicate v2.0 "start-empty" mode seed)
+
+:Thing      a owl:Class ;
+            rdfs:label "Thing" ;
+            rdfs:comment "The universal class. Everything is a Thing." .
+
+:dependsOn  a owl:ObjectProperty , owl:TransitiveProperty ;
+            rdfs:domain :Thing ; rdfs:range :Thing ;
+            rdfs:label "depends on" ;
+            rdfs:comment "Asymmetric directional dependency. Transitive: A→B and B→C implies A→C." .
+
+:relatedTo  a owl:ObjectProperty , owl:SymmetricProperty ;
+            rdfs:domain :Thing ; rdfs:range :Thing ;
+            rdfs:label "related to" ;
+            rdfs:comment "Generic symmetric association." .

package/cli.bundle.mjs

@@ -17302,6 +17302,9 @@ function hasFlag(args, name) {
 function findCatalogDir() {
   const here = dirname2(fileURLToPath2(import.meta.url));
   const candidates = [
+    // Bundled-alongside-CLI layout (predicate-skill global install).
+    join2(here, "catalog"),
+    // Monorepo / source-tree layouts.
     join2(here, "..", "..", "..", "predicate-ontology", "catalog"),
     join2(here, "..", "predicate-ontology", "catalog"),
     join2(here, "..", "..", "predicate-ontology", "catalog"),

package/meta/predicate-meta.ttl

@@ -0,0 +1,99 @@
+@prefix pred: <https://predicate.dev/meta#> .
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+
+# --- Event class hierarchy ---------------------------------------
+
+pred:Event a owl:Class ; rdfs:label "Predicate lifecycle event" .
+
+pred:SchemaProposed         a owl:Class ; rdfs:subClassOf pred:Event .
+pred:SchemaValidationPassed a owl:Class ; rdfs:subClassOf pred:Event .
+pred:SchemaValidationFailed a owl:Class ; rdfs:subClassOf pred:Event .
+pred:SchemaPromoted         a owl:Class ; rdfs:subClassOf pred:Event .
+pred:SchemaRejected         a owl:Class ; rdfs:subClassOf pred:Event .
+pred:SchemaRolledBack       a owl:Class ; rdfs:subClassOf pred:Event .
+pred:TBoxVersionAdvanced    a owl:Class ; rdfs:subClassOf pred:Event .
+
+pred:GoalCreated       a owl:Class ; rdfs:subClassOf pred:Event .
+pred:GoalStatusChanged a owl:Class ; rdfs:subClassOf pred:Event .
+
+pred:InconsistencyDetected a owl:Class ; rdfs:subClassOf pred:Event .
+pred:MaintenanceRun        a owl:Class ; rdfs:subClassOf pred:Event .
+
+# --- Common event properties -------------------------------------
+
+pred:at      a owl:DatatypeProperty , owl:FunctionalProperty ;
+             rdfs:domain pred:Event ; rdfs:range xsd:dateTime .
+pred:actor   a owl:DatatypeProperty ;
+             rdfs:domain pred:Event ; rdfs:range xsd:string .
+pred:goal    a owl:ObjectProperty ; rdfs:domain pred:Event .
+pred:payload a owl:DatatypeProperty ;
+             rdfs:domain pred:Event ; rdfs:range xsd:string .
+
+# --- Provenance properties (already used by kg_assert RDF-star) --
+
+pred:source     a owl:DatatypeProperty ; rdfs:range xsd:string .
+pred:confidence a owl:DatatypeProperty ; rdfs:range xsd:decimal .
+pred:method     a owl:DatatypeProperty ; rdfs:range xsd:string .
+pred:timestamp  a owl:DatatypeProperty ; rdfs:range xsd:dateTime .
+
+# --- Query/usage event class (already used by kg_ask) ------------
+
+pred:Query a owl:Class ; rdfs:label "Query execution record" .
+pred:question  a owl:DatatypeProperty ; rdfs:domain pred:Query ; rdfs:range xsd:string .
+pred:sparql    a owl:DatatypeProperty ; rdfs:domain pred:Query ; rdfs:range xsd:string .
+pred:rowCount  a owl:DatatypeProperty ; rdfs:domain pred:Query ; rdfs:range xsd:integer .
+pred:elapsedMs a owl:DatatypeProperty ; rdfs:domain pred:Query ; rdfs:range xsd:integer .
+
+# --- Tool-call capture event class (used by kg_capture) ----------
+
+pred:ToolCall a owl:Class ; rdfs:label "Captured tool invocation" .
+
+pred:toolName   a owl:DatatypeProperty ;
+                rdfs:domain pred:ToolCall ; rdfs:range xsd:string .
+pred:toolInput  a owl:DatatypeProperty ;
+                rdfs:domain pred:ToolCall ; rdfs:range xsd:string .
+pred:toolOutput a owl:DatatypeProperty ;
+                rdfs:domain pred:ToolCall ; rdfs:range xsd:string .
+pred:sessionId  a owl:DatatypeProperty ;
+                rdfs:domain pred:ToolCall ; rdfs:range xsd:string .
+pred:phase      a owl:DatatypeProperty ;
+                rdfs:domain pred:ToolCall ; rdfs:range xsd:string .
+
+# --- Session class (used by the Stop-hook extractor) -------------
+
+pred:Session a owl:Class ; rdfs:label "Development session" .
+pred:startedAt a owl:DatatypeProperty ;
+               rdfs:domain pred:Session ; rdfs:range xsd:dateTime .
+pred:endedAt   a owl:DatatypeProperty ;
+               rdfs:domain pred:Session ; rdfs:range xsd:dateTime .
+
+# --- Peer registry (federation) ----------------------------------
+
+pred:Peer       a owl:Class ; rdfs:label "Registered federation peer" .
+pred:peerName   a owl:DatatypeProperty ;
+                rdfs:domain pred:Peer ; rdfs:range xsd:string .
+pred:peerEndpoint a owl:DatatypeProperty ;
+                rdfs:domain pred:Peer ; rdfs:range xsd:anyURI .
+pred:peerAddedAt a owl:DatatypeProperty ;
+                rdfs:domain pred:Peer ; rdfs:range xsd:dateTime .
+pred:peerKind   a owl:DatatypeProperty ;
+                rdfs:domain pred:Peer ; rdfs:range xsd:string ;
+                rdfs:label "Peer kind tag: 'team' (default) or 'external-ld'" .
+
+# --- Bootstrap/init config (v2.0) --------------------------------
+
+pred:Config           a owl:Class ; rdfs:label "Predicate runtime config singleton" .
+pred:initMode         a owl:DatatypeProperty , owl:FunctionalProperty ;
+                      rdfs:domain pred:Config ; rdfs:range xsd:string ;
+                      rdfs:comment "One of: community | upload | empty" .
+pred:initOntology     a owl:DatatypeProperty , owl:FunctionalProperty ;
+                      rdfs:domain pred:Config ; rdfs:range xsd:string ;
+                      rdfs:comment "Catalog name (e.g. codebase, foaf), or 'user' for upload, or 'top' for empty" .
+pred:schemaLearningEnabled a owl:DatatypeProperty , owl:FunctionalProperty ;
+                      rdfs:domain pred:Config ; rdfs:range xsd:boolean ;
+                      rdfs:comment "When false, Generalizer skips auto-proposal generation (Sweeper still promotes existing staging)" .
+pred:initializedAt    a owl:DatatypeProperty , owl:FunctionalProperty ;
+                      rdfs:domain pred:Config ; rdfs:range xsd:dateTime .

package/meta/version.json

@@ -0,0 +1,6 @@
+{
+  "version": "0.8.0",
+  "tbox_files": ["tbox/codebase.ttl", "meta/predicate-meta.ttl"],
+  "shape_files": ["shapes/codebase.shacl.ttl"],
+  "domain": "codebase"
+}

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "predicate-skill",
-  "version": "2.0.2",
+  "version": "2.0.4",
   "description": "Local reasoning knowledge graph (RDF/OWL) for AI agents — Claude Code plugin + MCP server + predicate CLI.",
   "author": {
     "name": "Nordic Agents Research",
     "email": "midhunxavier@outlook.com"
   },
-  "license": "Apache-2.0",
+  "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://github.com/NordicAgents/predicate#readme",
   "repository": {
     "type": "git",
@@ -30,13 +30,15 @@
     "commands",
     "hooks",
     "compose",
+    "catalog",
+    "meta",
     "dashboard",
     "LICENSE",
     "README.md"
   ],
   "scripts": {
     "bundle": "node scripts/bundle.mjs",
-    "prepublishOnly": "node scripts/bundle.mjs && node -e \"const fs=require('fs');for(const f of ['server.bundle.mjs','cli.bundle.mjs']){if(!fs.existsSync(f)){console.error('missing '+f);process.exit(1)}}\""
+    "prepublishOnly": "node scripts/bundle.mjs && node -e \"const fs=require('fs');for(const f of ['server.bundle.mjs','cli.bundle.mjs','catalog/catalog.json','meta/predicate-meta.ttl']){if(!fs.existsSync(f)){console.error('missing '+f);process.exit(1)}}\""
   },
   "engines": {
     "node": ">=20"