Merge pull request #14 from amoffat/dev

Release 1.0.0

Author: amoffat

.gitignore

@@ -3,7 +3,8 @@ __pycache__/
 /.venv
 /.env
 /test_grammar.py
+/test_transform.py
 /dist
 /.coverage
-/TODO.md
+TODO.md
 /docs/build

.vscode/settings.json

@@ -3,7 +3,7 @@
     "editor.defaultFormatter": "ms-python.black-formatter"
   },
   "python.formatting.provider": "none",
-  "python.testing.pytestArgs": ["heimdallm", "-s", "-x"],
+  "python.testing.pytestArgs": ["heimdallm", "-s"],
   "python.testing.unittestEnabled": false,
   "python.testing.pytestEnabled": true,
   "editor.rulers": [88],

CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## 1.0.0 - 9/11/23
+
+- Subquery support
+- CTE (Common Table Expressions) support
+- PostgreSQL support
+- Renamed constraint method `required_constraints` to `parameterized_constraints`
+- Renamed Bifrost method `mocked` to `validation_only`
+- All exceptions include a `ctx` property for debugging
+- Mysql `INTERVAL` syntax support
+
 ## 0.3.0 - 7/15/23
 
 - Autofix non-qualified column names

README.md

@@ -101,6 +101,7 @@ the mitigations.
 
 - Sqlite
 - MySQL
+- Postgres
 
 There is active development for the other top relational SQL databases. To help me
 prioritize, please vote on which database you would like to see supported:

docs/source/api/abc/context.rst

@@ -0,0 +1,5 @@
+Traverse Context
+================
+
+.. automodule:: heimdallm.context
+    :members:

docs/source/api/abc/index.rst

@@ -10,5 +10,6 @@ intended for direct use.
     envelope
     validator
     llm_integration
+    context
 
     sql/index

docs/source/attack_surface/sql.rst

@@ -129,7 +129,7 @@ Optional conditions
 
 When required conditions are defined, either as a :meth:`requester identity
 <validator.ConstraintValidator.requester_identities>`, or as some other
-:meth:`required constraint <validator.ConstraintValidator.required_constraints>`, an
+:meth:`parameterized constraint <validator.ConstraintValidator.parameterized_constraints>`, an
 attacker may attempt to bypass the condition by coaxing the LLM to produce a query that
 includes the condition as part of an ``OR`` clause. For example:
 

docs/source/blog/index.rst

@@ -0,0 +1,8 @@
+📖 Blog Posts
+=============
+
+.. toctree::
+    :glob:
+    :maxdepth: 2
+
+    posts/*