socratic-engine 0.2.2__tar.gz → 0.2.3__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {socratic_engine-0.2.2/socratic_engine.egg-info → socratic_engine-0.2.3}/PKG-INFO +5 -5
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/README.md +3 -3
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/pyproject.toml +2 -2
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/__init__.py +1 -1
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/mcp_server.py +1 -1
- {socratic_engine-0.2.2 → socratic_engine-0.2.3/socratic_engine.egg-info}/PKG-INFO +5 -5
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/tests/test_mcp_server.py +1 -1
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/LICENSE +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/setup.cfg +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/bridge_statecanon.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/cli.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/engine.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine/tree.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/SOURCES.txt +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/dependency_links.txt +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/entry_points.txt +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/requires.txt +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/top_level.txt +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/tests/test_bridge_statecanon.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/tests/test_cli.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/tests/test_engine.py +0 -0
- {socratic_engine-0.2.2 → socratic_engine-0.2.3}/tests/test_state_canon_integration.py +0 -0
|
@@ -1,13 +1,13 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: socratic-engine
|
|
3
|
-
Version: 0.2.
|
|
3
|
+
Version: 0.2.3
|
|
4
4
|
Summary: Externalized epistemic scaffolding for AI agents. Recursive boolean certification trees.
|
|
5
5
|
License: Apache-2.0
|
|
6
6
|
Keywords: socratic,epistemic,verification,certification,boolean-trees,trivalent-logic,mcp
|
|
7
7
|
Classifier: Development Status :: 3 - Alpha
|
|
8
8
|
Classifier: Intended Audience :: Developers
|
|
9
9
|
Classifier: Intended Audience :: Science/Research
|
|
10
|
-
Classifier: License :: OSI Approved ::
|
|
10
|
+
Classifier: License :: OSI Approved :: Apache Software License
|
|
11
11
|
Classifier: Programming Language :: Python :: 3
|
|
12
12
|
Classifier: Programming Language :: Python :: 3.10
|
|
13
13
|
Classifier: Programming Language :: Python :: 3.11
|
|
@@ -32,7 +32,7 @@ Dynamic: license-file
|
|
|
32
32
|
|
|
33
33
|
The engine is deliberately small. It does not try to make an LLM "smarter". It gives the model a formal structure in which complex questioning can be proposed, executed recursively, inspected, and diagnosed **outside the model's token-generation loop**.
|
|
34
34
|
|
|
35
|
-
**Status:** v0.2.
|
|
35
|
+
**Status:** v0.2.3 published on PyPI — core engine, VSL tree parser, CLI, MCP bridge, dialectical operator, pragmatic predicates, caching, rate limiting, CI (pytest 3.10–3.12 + coverage gate at 90%), benchmarks, a 189-test suite at 100% statement coverage, and the official state-canon bridge ([`bridge_statecanon.py`](./socratic_engine/bridge_statecanon.py)) with end-to-end examples are working. The broader claim — that externalizing recursive structure improves reliability on tasks that exceed a model's implicit recursive reasoning capacity — is an experimental hypothesis, not a proclamation.
|
|
36
36
|
|
|
37
37
|
---
|
|
38
38
|
|
|
@@ -734,7 +734,7 @@ This makes the same engine usable from:
|
|
|
734
734
|
|
|
735
735
|
## Install
|
|
736
736
|
|
|
737
|
-
### From PyPI (v0.2.
|
|
737
|
+
### From PyPI (v0.2.3)
|
|
738
738
|
|
|
739
739
|
```bash
|
|
740
740
|
pip install socratic-engine
|
|
@@ -1005,7 +1005,7 @@ Its purpose is narrower:
|
|
|
1005
1005
|
- [x] dialectical operator for legitimate contradictions
|
|
1006
1006
|
- [x] temporal / pragmatic predicates
|
|
1007
1007
|
- [x] caching and rate limiting for expensive predicates
|
|
1008
|
-
- [x] published on PyPI (v0.2.0 → v0.2.
|
|
1008
|
+
- [x] published on PyPI (v0.2.0 → v0.2.3; bridge + ejemplos desde 0.2.2; license metadata Apache-only desde 0.2.3)
|
|
1009
1009
|
- [x] official state-canon bridge + end-to-end examples (Claude Code, OpenCode)
|
|
1010
1010
|
|
|
1011
1011
|
### v0.3.x — formal extension
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
|
|
9
9
|
The engine is deliberately small. It does not try to make an LLM "smarter". It gives the model a formal structure in which complex questioning can be proposed, executed recursively, inspected, and diagnosed **outside the model's token-generation loop**.
|
|
10
10
|
|
|
11
|
-
**Status:** v0.2.
|
|
11
|
+
**Status:** v0.2.3 published on PyPI — core engine, VSL tree parser, CLI, MCP bridge, dialectical operator, pragmatic predicates, caching, rate limiting, CI (pytest 3.10–3.12 + coverage gate at 90%), benchmarks, a 189-test suite at 100% statement coverage, and the official state-canon bridge ([`bridge_statecanon.py`](./socratic_engine/bridge_statecanon.py)) with end-to-end examples are working. The broader claim — that externalizing recursive structure improves reliability on tasks that exceed a model's implicit recursive reasoning capacity — is an experimental hypothesis, not a proclamation.
|
|
12
12
|
|
|
13
13
|
---
|
|
14
14
|
|
|
@@ -710,7 +710,7 @@ This makes the same engine usable from:
|
|
|
710
710
|
|
|
711
711
|
## Install
|
|
712
712
|
|
|
713
|
-
### From PyPI (v0.2.
|
|
713
|
+
### From PyPI (v0.2.3)
|
|
714
714
|
|
|
715
715
|
```bash
|
|
716
716
|
pip install socratic-engine
|
|
@@ -981,7 +981,7 @@ Its purpose is narrower:
|
|
|
981
981
|
- [x] dialectical operator for legitimate contradictions
|
|
982
982
|
- [x] temporal / pragmatic predicates
|
|
983
983
|
- [x] caching and rate limiting for expensive predicates
|
|
984
|
-
- [x] published on PyPI (v0.2.0 → v0.2.
|
|
984
|
+
- [x] published on PyPI (v0.2.0 → v0.2.3; bridge + ejemplos desde 0.2.2; license metadata Apache-only desde 0.2.3)
|
|
985
985
|
- [x] official state-canon bridge + end-to-end examples (Claude Code, OpenCode)
|
|
986
986
|
|
|
987
987
|
### v0.3.x — formal extension
|
|
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "socratic-engine"
|
|
7
|
-
version = "0.2.
|
|
7
|
+
version = "0.2.3"
|
|
8
8
|
description = "Externalized epistemic scaffolding for AI agents. Recursive boolean certification trees."
|
|
9
9
|
readme = "README.md"
|
|
10
10
|
requires-python = ">=3.10"
|
|
@@ -14,7 +14,7 @@ classifiers = [
|
|
|
14
14
|
"Development Status :: 3 - Alpha",
|
|
15
15
|
"Intended Audience :: Developers",
|
|
16
16
|
"Intended Audience :: Science/Research",
|
|
17
|
-
"License :: OSI Approved ::
|
|
17
|
+
"License :: OSI Approved :: Apache Software License",
|
|
18
18
|
"Programming Language :: Python :: 3",
|
|
19
19
|
"Programming Language :: Python :: 3.10",
|
|
20
20
|
"Programming Language :: Python :: 3.11",
|
|
@@ -173,7 +173,7 @@ class SocraticMCP:
|
|
|
173
173
|
return {"jsonrpc": "2.0", "id": req_id, "result": {
|
|
174
174
|
"protocolVersion": PROTOCOL_VERSION,
|
|
175
175
|
"capabilities": {"tools": {}},
|
|
176
|
-
"serverInfo": {"name": "socratic-engine", "version": "0.2.
|
|
176
|
+
"serverInfo": {"name": "socratic-engine", "version": "0.2.3"},
|
|
177
177
|
}}
|
|
178
178
|
if method == "notifications/initialized":
|
|
179
179
|
return None # no response to notifications
|
|
@@ -1,13 +1,13 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: socratic-engine
|
|
3
|
-
Version: 0.2.
|
|
3
|
+
Version: 0.2.3
|
|
4
4
|
Summary: Externalized epistemic scaffolding for AI agents. Recursive boolean certification trees.
|
|
5
5
|
License: Apache-2.0
|
|
6
6
|
Keywords: socratic,epistemic,verification,certification,boolean-trees,trivalent-logic,mcp
|
|
7
7
|
Classifier: Development Status :: 3 - Alpha
|
|
8
8
|
Classifier: Intended Audience :: Developers
|
|
9
9
|
Classifier: Intended Audience :: Science/Research
|
|
10
|
-
Classifier: License :: OSI Approved ::
|
|
10
|
+
Classifier: License :: OSI Approved :: Apache Software License
|
|
11
11
|
Classifier: Programming Language :: Python :: 3
|
|
12
12
|
Classifier: Programming Language :: Python :: 3.10
|
|
13
13
|
Classifier: Programming Language :: Python :: 3.11
|
|
@@ -32,7 +32,7 @@ Dynamic: license-file
|
|
|
32
32
|
|
|
33
33
|
The engine is deliberately small. It does not try to make an LLM "smarter". It gives the model a formal structure in which complex questioning can be proposed, executed recursively, inspected, and diagnosed **outside the model's token-generation loop**.
|
|
34
34
|
|
|
35
|
-
**Status:** v0.2.
|
|
35
|
+
**Status:** v0.2.3 published on PyPI — core engine, VSL tree parser, CLI, MCP bridge, dialectical operator, pragmatic predicates, caching, rate limiting, CI (pytest 3.10–3.12 + coverage gate at 90%), benchmarks, a 189-test suite at 100% statement coverage, and the official state-canon bridge ([`bridge_statecanon.py`](./socratic_engine/bridge_statecanon.py)) with end-to-end examples are working. The broader claim — that externalizing recursive structure improves reliability on tasks that exceed a model's implicit recursive reasoning capacity — is an experimental hypothesis, not a proclamation.
|
|
36
36
|
|
|
37
37
|
---
|
|
38
38
|
|
|
@@ -734,7 +734,7 @@ This makes the same engine usable from:
|
|
|
734
734
|
|
|
735
735
|
## Install
|
|
736
736
|
|
|
737
|
-
### From PyPI (v0.2.
|
|
737
|
+
### From PyPI (v0.2.3)
|
|
738
738
|
|
|
739
739
|
```bash
|
|
740
740
|
pip install socratic-engine
|
|
@@ -1005,7 +1005,7 @@ Its purpose is narrower:
|
|
|
1005
1005
|
- [x] dialectical operator for legitimate contradictions
|
|
1006
1006
|
- [x] temporal / pragmatic predicates
|
|
1007
1007
|
- [x] caching and rate limiting for expensive predicates
|
|
1008
|
-
- [x] published on PyPI (v0.2.0 → v0.2.
|
|
1008
|
+
- [x] published on PyPI (v0.2.0 → v0.2.3; bridge + ejemplos desde 0.2.2; license metadata Apache-only desde 0.2.3)
|
|
1009
1009
|
- [x] official state-canon bridge + end-to-end examples (Claude Code, OpenCode)
|
|
1010
1010
|
|
|
1011
1011
|
### v0.3.x — formal extension
|
|
@@ -95,7 +95,7 @@ def test_mcp_initialize():
|
|
|
95
95
|
s = SocraticMCP()
|
|
96
96
|
r = s.handle({"jsonrpc": "2.0", "id": 1, "method": "initialize"})
|
|
97
97
|
assert r["result"]["protocolVersion"] == "2024-11-05"
|
|
98
|
-
assert r["result"]["serverInfo"]["version"] == "0.2.
|
|
98
|
+
assert r["result"]["serverInfo"]["version"] == "0.2.3"
|
|
99
99
|
|
|
100
100
|
|
|
101
101
|
def test_mcp_initialized_notification_no_response():
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{socratic_engine-0.2.2 → socratic_engine-0.2.3}/socratic_engine.egg-info/dependency_links.txt
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|