ApiLogicServer 12.0.4__py3-none-any.whl → 12.1.0__py3-none-any.whl

api_logic_server_cli/prototypes/genai_demo/logic/declare_logic.py

@@ -37,17 +37,19 @@ def declare_logic():
 
     from logic_bank.logic_bank import Rule
 
-    # 1. Customer.Balance <= CreditLimit
-    Rule.constraint(validate=Customer,
-                    error_msg="balance exceeds credit limit",
-                    as_condition=lambda row: row.Balance <= row.CreditLimit)
-
-    # 2. Customer.Balance = Sum(Order.AmountTotal where date shipped is null)
-    Rule.sum(derive=Customer.Balance, as_sum_of=Order.AmountTotal,
-            where=lambda row: row.ShipDate is None)
+    from logic.logic_discovery.auto_discovery import discover_logic
+    discover_logic()
 
-    # 3. Order.AmountTotal = Sum(Items.Amount)
+    # Logic from GenAI: (or, use your IDE w/ code completion)n
+    Rule.sum(derive=Customer.Balance, as_sum_of=Order.AmountTotal, where=lambda row: row.ShipDate is None)
     Rule.sum(derive=Order.AmountTotal, as_sum_of=Item.Amount)
+    # Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.UnitPrice, from_parent=Product.UnitPrice)
+    Rule.constraint(validate=Customer,
+                    as_condition=lambda row: row.Balance <= row.CreditLimit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+    # End Logic from GenAI
 
     def derive_amount(row: Item, old_row: Item, logic_row: LogicRow):
         amount = row.Quantity * row.UnitPrice
@@ -58,9 +60,6 @@ def declare_logic():
     # 4. Items.Amount = Quantity * UnitPrice
     Rule.formula(derive=Item.Amount, calling=derive_amount)
 
-    # 5. Store the Items.UnitPrice as a copy from Product.UnitPrice
-    Rule.copy(Item.UnitPrice, from_parent=Product.UnitPrice)
-
     #als: Demonstrate that logic == Rules + Python (for extensibility)
 
     def send_order_to_shipping(row: Order, old_row: Order, logic_row: LogicRow):

api_logic_server_cli/prototypes/manager/.vscode/launch.json

@@ -5,7 +5,7 @@
     "version": "0.2.0",
     "configurations": [
         {
-            "name": "GENAI",
+            "name": " * GENAI",
             "type": "debugpy",
             "request": "launch",
             "program": "${workspaceFolder}/venv/lib/python3.12/site-packages/api_logic_server_cli/cli.py",
@@ -218,6 +218,83 @@
                 "NODE_ENV": "development"
             }
         },
+        {
+            "name": "Internal - GenAI smoke test - genai_demo",
+            "type": "debugpy",
+            "request": "launch",
+            "program": "${workspaceFolder}/venv/lib/python3.12/site-packages/api_logic_server_cli/cli.py",
+            "redirectOutput": true,
+            "cwd": "${workspaceFolder}",
+            "env": {
+                "PYTHONPATH": "", 
+                "SECURITY_ENABLED": "False", 
+                "PYTHONHASHSEED": "0", 
+                "APILOGICSERVER_DEBUG": "False",
+                "OPT_LOCKING": "optional"},
+            "justMyCode": false,
+            "args": [ "genai", "--retries=-1",
+                "--using=${workspaceFolder}/system/genai/examples/genai_demo/genai_demo.prompt"],
+            "console": "internalConsole",
+            "internalConsoleOptions": "openOnSessionStart"
+        },
+        {
+            "name": "  - GenAI informal logic - genai_demo",
+            "type": "debugpy",
+            "request": "launch",
+            "program": "${workspaceFolder}/venv/lib/python3.12/site-packages/api_logic_server_cli/cli.py",
+            "redirectOutput": true,
+            "cwd": "${workspaceFolder}",
+            "env": {
+                "PYTHONPATH": "", 
+                "SECURITY_ENABLED": "False", 
+                "PYTHONHASHSEED": "0", 
+                "APILOGICSERVER_DEBUG": "False",
+                "OPT_LOCKING": "optional"},
+            "justMyCode": false,
+            "args": [ "genai", "--retries=-1",
+                "--using=${workspaceFolder}/system/genai/examples/genai_demo/genai_demo_informal.prompt"],
+            "console": "internalConsole",
+            "internalConsoleOptions": "openOnSessionStart"
+        },
+        {
+            "name": "  - GenAI informal logic - emp_depts",
+            "type": "debugpy",
+            "request": "launch",
+            "program": "${workspaceFolder}/venv/lib/python3.12/site-packages/api_logic_server_cli/cli.py",
+            "redirectOutput": true,
+            "cwd": "${workspaceFolder}",
+            "env": {
+                "PYTHONPATH": "", 
+                "SECURITY_ENABLED": "False", 
+                "PYTHONHASHSEED": "0", 
+                "APILOGICSERVER_DEBUG": "False",
+                "OPT_LOCKING": "optional"},
+            "justMyCode": false,
+            "args": [ "genai", "--retries=-1",
+                "--using=${workspaceFolder}/system/genai/examples/emp_depts/emp_dept.prompt"],
+            "console": "internalConsole",
+            "internalConsoleOptions": "openOnSessionStart"
+        },
+        {
+            "name": "  - retry repaired-response",
+            "type": "debugpy",
+            "request": "launch",
+            "program": "${workspaceFolder}/venv/lib/python3.12/site-packages/api_logic_server_cli/cli.py",
+            "redirectOutput": true,
+            "cwd": "${workspaceFolder}",
+            "env": {
+                "PYTHONPATH": "", 
+                "SECURITY_ENABLED": "False", 
+                "PYTHONHASHSEED": "0", 
+                "APILOGICSERVER_DEBUG": "False",
+                "OPT_LOCKING": "optional"},
+            "justMyCode": false,
+            "args": [ "genai", "--retries=-1",
+                "--using=genai_demo",
+                "--repaired-response=system/genai/examples/genai_demo/genai_demo.response_example"],
+            "console": "internalConsole",
+            "internalConsoleOptions": "openOnSessionStart"
+        },
         {
             "name": "Python: Module",
             "type": "debugpy",

api_logic_server_cli/prototypes/manager/README.md

@@ -1,5 +1,5 @@
 ---
-version info: 0.7 (9/15/2024)
+version info: 0.8 (10/24/2024)
 ---
 ## Welcome to API Logic Server
 
@@ -152,7 +152,7 @@ als genai --using=system/genai/examples/genai_demo/genai_demo.prompt
 
 
 ```bash
-als genai --using=genai_demo.prompt --repaired-response=system/genai/temp/chatgpt_retry.response
+als genai --using=genai_demo.prompt --repaired-response=system/genai/examples/genai_demo/genai_demo_conversation/genai_demo_conversation_005.response-example
 ```
 </br>
 
@@ -197,6 +197,19 @@ als genai --project-name='genai_demo_conversation' --using=system/genai/examples
 
 <details markdown>
 
+<summary> You can iterate with logic</summary>
+
+<br>You can add new columns/tables, while keeping the prior model intact:
+
+```bash title="Iterate With Logic"
+als genai --project-name='genai_demo_iterative_logic' --using=system/genai/examples/genai_demo/genai_demo_iterative_logic
+# open Docs/db.dbml
+```
+</details>
+</br>
+
+<details markdown>
+
 <summary> You can also execute directly, and iterate</summary>
 
 <br>You can add new columns/tables, while keeping the prior model intact:
@@ -225,7 +238,7 @@ als create --project-name=genai_demo --from-model=system/genai/temp/create_db_mo
 Or, correct the chatgpt response, and
 
 ```bash
-als genai --using=genai_demo.prompt --repaired-response=system/genai/temp/chatgpt_retry.response
+als genai --using=genai_demo.prompt --repaired-response=system/genai/examples/genai_demo/genai_demo.response_example
 ```
 
 We have seen failures such as:

api_logic_server_cli/prototypes/manager/system/genai/create_db_models_inserts/create_db_models_create_db.py

@@ -0,0 +1,10 @@
+
+
+# ALS/GenAI: Create an SQLite database
+engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
+Base.metadata.create_all(engine)
+
+Session = sessionmaker(bind=engine)
+session = Session()
+# ALS/GenAI: Prepare for sample data
+

api_logic_server_cli/prototypes/manager/system/genai/create_db_models_inserts/create_db_models_imports.py

@@ -0,0 +1,19 @@
+# created from response - used to create database and project
+#  should run without error
+#  if not, check for decimal, indent, or import issues
+
+import decimal
+import logging
+import sqlalchemy
+from sqlalchemy.sql import func  # end imports from system/genai/create_db_models_inserts/create_db_models_prefix.py
+from logic_bank.logic_bank import Rule
+from sqlalchemy import create_engine, Column, Integer, String, Float, ForeignKey, Date, DateTime, Numeric, Boolean, Text
+from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.orm import sessionmaker
+from datetime import datetime
+from sqlalchemy.orm import relationship
+from datetime import date
+
+logging.getLogger('sqlalchemy.engine.Engine').disabled = True  # remove for additional logging
+
+Base = declarative_base()

api_logic_server_cli/prototypes/manager/system/genai/create_db_models_inserts/create_db_models_test_data.py

@@ -0,0 +1,7 @@
+# Create an SQLite database
+engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
+Base.metadata.create_all(engine)
+
+Session = sessionmaker(bind=engine)
+session = Session()
+

api_logic_server_cli/prototypes/manager/system/genai/examples/emp_depts/emp_dept.prompt

@@ -0,0 +1,4 @@
+System for Departments and Employees.
+
+LogicBank:
+1. Sum of employee salaries cannot exceed department budget

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo.prompt

@@ -2,7 +2,7 @@ Create a system with customers, orders, items and products.
 
 Include a notes field for orders.
 
-Use LogicBank to create declare_logic() to enforce the Check Credit requirement (do not generate check constraints):
+Use LogicBank to enforce the Check Credit requirement:
 1. Customer.balance <= credit_limit
 2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
 3. Order.amount_total = Sum(Item.amount)

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo.response_example

@@ -1,130 +1,56 @@
-To achieve the given requirements using SQLAlchemy, follow these steps to create a SQLAlchemy ORM model for a SQLite database, create the database, and insert some test data.
-
-### 1. Setup and Import Libraries
-
-First install SQLAlchemy if you haven't already:
-```bash
-pip install sqlalchemy
-```
-
-Then, you can write the code:
-
-```python
-from sqlalchemy import create_engine, Column, Integer, String, DateTime, ForeignKey, DECIMAL
-from sqlalchemy.ext.declarative import declarative_base
-from sqlalchemy.orm import sessionmaker, relationship
-import datetime
-
-# Create an instance of the declarative base class
-Base = declarative_base()
-
-# Define the Customer model
-class Customer(Base):
-    """
-    description: This table stores customer information, including a balance and credit limit.
-    """
-    __tablename__ = 'customers'
-    id = Column(Integer, primary_key=True, autoincrement=True)
-    name = Column(String, nullable=False)
-    balance = Column(DECIMAL, nullable=False, default=0)
-    credit_limit = Column(DECIMAL, nullable=False, default=0)
-
-# Define the Order model
-class Order(Base):
-    """
-    description: This table stores information about each order, including total amount and notes.
-    """
-    __tablename__ = 'orders'
-    id = Column(Integer, primary_key=True, autoincrement=True)
-    customer_id = Column(Integer, ForeignKey('customers.id'), nullable=False)
-    date_placed = Column(DateTime, default=datetime.datetime.utcnow)
-    date_shipped = Column(DateTime, nullable=True)
-    amount_total = Column(DECIMAL, nullable=False)
-    notes = Column(String, nullable=True)
-
-# Define the Product model
-class Product(Base):
-    """
-    description: This table stores product information, including unit prices.
-    """
-    __tablename__ = 'products'
-    id = Column(Integer, primary_key=True, autoincrement=True)
-    name = Column(String, nullable=False)
-    unit_price = Column(DECIMAL, nullable=False)
-
-# Define the Item model
-class Item(Base):
-    """
-    description: This table stores each item in an order, including quantity, and unit price.
-    """
-    __tablename__ = 'items'
-    id = Column(Integer, primary_key=True, autoincrement=True)
-    order_id = Column(Integer, ForeignKey('orders.id'), nullable=False)
-    product_id = Column(Integer, ForeignKey('products.id'), nullable=False)
-    quantity = Column(Integer, nullable=False, default=1)
-    unit_price = Column(DECIMAL, nullable=False)
-    amount = Column(DECIMAL, nullable=False)
-
-# SQLite Database
-engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
-Base.metadata.create_all(engine)
-
-Session = sessionmaker(bind=engine)
-session = Session()
-
-# Create some test data
-# Add test products
-product1 = Product(name='Product 1', unit_price=10.50)
-product2 = Product(name='Product 2', unit_price=15.75)
-
-# Add test customers
-customer1 = Customer(name='Customer 1', balance=0, credit_limit=500)
-customer2 = Customer(name='Customer 2', balance=0, credit_limit=1000)
-
-# Add test orders and items for customer1
-order1 = Order(customer_id=1, amount_total=0, notes='First Order')
-item1 = Item(order_id=1, product_id=1, quantity=2, unit_price=10.50, amount=21.00)
-item2 = Item(order_id=1, product_id=2, quantity=1, unit_price=15.75, amount=15.75)
-
-# Calculate order total
-order1.amount_total = item1.amount + item2.amount
-
-# Add order2
-order2 = Order(customer_id=1, amount_total=0, notes='Second Order')
-item3 = Item(order_id=2, product_id=1, quantity=1, unit_price=10.50, amount=10.50)
-
-# Calculate order2 total
-order2.amount_total = item3.amount
-
-# Set balance for customer1
-customer1.balance = order1.amount_total + order2.amount_total
-
-# Add test orders and items for customer2
-order3 = Order(customer_id=2, amount_total=0, notes='First Order for customer 2')
-item4 = Item(order_id=3, product_id=2, quantity=3, unit_price=15.75, amount=47.25)
-
-# Calculate order3 total
-order3.amount_total = item4.amount
-
-# Set balance for customer2
-customer2.balance = order3.amount_total
-
-# Add records to the session
-session.add_all([product1, product2, customer1, customer2, order1, item1, item2, order2, item3, order3, item4])
-
-# Commit the session
-session.commit()
-
-# Close the session
-session.close()
-```
-
-### Explanation:
-
-1. **Database Models**: There are four main models: Customer, Order, Product, and Item. Each has its own table and columns defined.
-
-2. **No Check Constraints**: Instead of using constraints for calculations, calculations are made in Python and are reflected in the ORM models (like order totals, item amounts, etc.).
-
-3. **Adding Data**: Insert test data for products, customers, orders, and items. This includes calculating the amounts manually before adding them to ensure the database consistency requirements are met.
-
-Make sure to adapt the paths and environment as needed. This code should create the SQLite database, define the relationships, insert some records, and enforce the credit requirements logically within Python.
+{
+    "models": [
+        {
+            "classname": "Customer",
+            "code": "from sqlalchemy import Column, Integer, String, Float\nfrom sqlalchemy.orm import declarative_base\n\nBase = declarative_base()\n\nclass Customer(Base):\n    \"\"\"description: Stores customer details, such as balance and credit limit.\"\"\"\n    __tablename__ = 'customer'\n    \n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    balance = Column(Float, default=0.0)\n    credit_limit = Column(Float, nullable=False)",
+            "description": "Stores customer details, such as balance and credit limit.",
+            "name": "Customer"
+        },
+        {
+            "classname": "Order",
+            "code": "from sqlalchemy import Column, Integer, String, Float, DateTime, ForeignKey\nfrom sqlalchemy.orm import declarative_base\n\nBase = declarative_base()\n\nclass Order(Base):\n    \"\"\"description: Represents a customer's order, with total amount and optional shipping date.\"\"\"\n    __tablename__ = 'order'\n    \n    id = Column(Integer, primary_key=True, autoincrement=True)\n    customer_id = Column(Integer, ForeignKey('customer.id'))\n    amount_total = Column(Float, default=0.0)\n    date_shipped = Column(DateTime, nullable=True)\n    notes = Column(String, nullable=True)",
+            "description": "Represents a customer's order, with total amount and optional shipping date.",
+            "name": "Order"
+        },
+        {
+            "classname": "Item",
+            "code": "from sqlalchemy import Column, Integer, Float, ForeignKey\nfrom sqlalchemy.orm import declarative_base\n\nBase = declarative_base()\n\nclass Item(Base):\n    \"\"\"description: Stores details about items within an order, including quantity and unit price.\"\"\"\n    __tablename__ = 'item'\n    \n    id = Column(Integer, primary_key=True, autoincrement=True)\n    order_id = Column(Integer, ForeignKey('order.id'))\n    product_id = Column(Integer, ForeignKey('product.id'))\n    amount = Column(Float, default=0.0)\n    quantity = Column(Integer, nullable=False)\n    unit_price = Column(Float, nullable=False)",
+            "description": "Stores details about items within an order, including quantity and unit price.",
+            "name": "Item"
+        },
+        {
+            "classname": "Product",
+            "code": "from sqlalchemy import Column, Integer, String, Float\nfrom sqlalchemy.orm import declarative_base\n\nBase = declarative_base()\n\nclass Product(Base):\n    \"\"\"description: Catalog of products available for purchase.\"\"\"\n    __tablename__ = 'product'\n    \n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    unit_price = Column(Float, nullable=False)",
+            "description": "Catalog of products available for purchase.",
+            "name": "Product"
+        }
+    ],
+    "rules": [
+        {
+            "name": "Customer Balance Constraint",
+            "description": "Ensures that a customer's balance does not exceed their credit limit.",
+            "code": "Rule.constraint(validate=Customer,\n                as_condition=lambda row: row.balance <= row.credit_limit,\n                error_msg=\"Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})\")"
+        },
+        {
+            "name": "Customer Balance Calculation",
+            "description": "Calculates the customer's balance as the sum of their orders' total amounts where orders have not been shipped.",
+            "code": "Rule.sum(derive=Customer.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)"
+        },
+        {
+            "name": "Order Amount Total Calculation",
+            "description": "Calculates the order's amount total as the sum of all item amounts in the order.",
+            "code": "Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)"
+        },
+        {
+            "name": "Item Amount Calculation",
+            "description": "Calculates the item amount as the product of quantity and unit price.",
+            "code": "Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)"
+        },
+        {
+            "name": "Item Unit Price Copy",
+            "description": "Copies the unit price from the product to the item.",
+            "code": "Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)"
+        }
+    ],
+    "test_data": "## Test Data\n\n# Products\nproduct1 = Product(id=1, name='Product 1', unit_price=10.0)\nproduct2 = Product(id=2, name='Product 2', unit_price=15.0)\n\n# Customers\ncustomer1 = Customer(id=1, name='Alice', balance=0.0, credit_limit=100.0)\ncustomer2 = Customer(id=2, name='Bob', balance=0.0, credit_limit=150.0)\n\n# Orders\norder1 = Order(id=1, customer_id=1, amount_total=0.0, notes='Order 1 for Alice')\norder2 = Order(id=2, customer_id=2, amount_total=0.0, notes='Order 2 for Bob')\norder3 = Order(id=3, customer_id=1, amount_total=0.0, notes='Another order for Alice', date_shipped=None)\n\n# Items\nitem1 = Item(id=1, order_id=1, product_id=1, quantity=2, unit_price=10.0, amount=20.0)\nitem2 = Item(id=2, order_id=1, product_id=2, quantity=1, unit_price=15.0, amount=15.0)\nitem3 = Item(id=3, order_id=2, product_id=2, quantity=3, unit_price=15.0, amount=45.0)\nitem4 = Item(id=4, order_id=3, product_id=1, quantity=5, unit_price=10.0, amount=50.0)\n\n# Since the logic is not enforced via LogicBank for this demo, we manually calculate derived values:\n# Order 1 Total for Alice: 20.0 + 15.0 = 35.0\norder1.amount_total = item1.amount + item2.amount\n# Order 2 Total for Bob: 45.0\norder2.amount_total = item3.amount\n# Order 3 Total for Alice, not shipped yet: 50.0\norder3.amount_total = item4.amount\n# Customer Balance for Alice: 35.0 (order 1) + 50.0 (order 3, not shipped)\ncustomer1.balance = order1.amount_total + order3.amount_total\n# Customer Balance for Bob: 45.0\ncustomer2.balance = order2.amount_total"
+}

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo.response_example_z

@@ -0,0 +1,130 @@
+To achieve the given requirements using SQLAlchemy, follow these steps to create a SQLAlchemy ORM model for a SQLite database, create the database, and insert some test data.
+
+### 1. Setup and Import Libraries
+
+First install SQLAlchemy if you haven't already:
+```bash
+pip install sqlalchemy
+```
+
+Then, you can write the code:
+
+```python
+from sqlalchemy import create_engine, Column, Integer, String, DateTime, ForeignKey, DECIMAL
+from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.orm import sessionmaker, relationship
+import datetime
+
+# Create an instance of the declarative base class
+Base = declarative_base()
+
+# Define the Customer model
+class Customer(Base):
+    """
+    description: This table stores customer information, including a balance and credit limit.
+    """
+    __tablename__ = 'customers'
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=False)
+    balance = Column(DECIMAL, nullable=False, default=0)
+    credit_limit = Column(DECIMAL, nullable=False, default=0)
+
+# Define the Order model
+class Order(Base):
+    """
+    description: This table stores information about each order, including total amount and notes.
+    """
+    __tablename__ = 'orders'
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    customer_id = Column(Integer, ForeignKey('customers.id'), nullable=False)
+    date_placed = Column(DateTime, default=datetime.datetime.utcnow)
+    date_shipped = Column(DateTime, nullable=True)
+    amount_total = Column(DECIMAL, nullable=False)
+    notes = Column(String, nullable=True)
+
+# Define the Product model
+class Product(Base):
+    """
+    description: This table stores product information, including unit prices.
+    """
+    __tablename__ = 'products'
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=False)
+    unit_price = Column(DECIMAL, nullable=False)
+
+# Define the Item model
+class Item(Base):
+    """
+    description: This table stores each item in an order, including quantity, and unit price.
+    """
+    __tablename__ = 'items'
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    order_id = Column(Integer, ForeignKey('orders.id'), nullable=False)
+    product_id = Column(Integer, ForeignKey('products.id'), nullable=False)
+    quantity = Column(Integer, nullable=False, default=1)
+    unit_price = Column(DECIMAL, nullable=False)
+    amount = Column(DECIMAL, nullable=False)
+
+# SQLite Database
+engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
+Base.metadata.create_all(engine)
+
+Session = sessionmaker(bind=engine)
+session = Session()
+
+# Create some test data
+# Add test products
+product1 = Product(name='Product 1', unit_price=10.50)
+product2 = Product(name='Product 2', unit_price=15.75)
+
+# Add test customers
+customer1 = Customer(name='Customer 1', balance=0, credit_limit=500)
+customer2 = Customer(name='Customer 2', balance=0, credit_limit=1000)
+
+# Add test orders and items for customer1
+order1 = Order(customer_id=1, amount_total=0, notes='First Order')
+item1 = Item(order_id=1, product_id=1, quantity=2, unit_price=10.50, amount=21.00)
+item2 = Item(order_id=1, product_id=2, quantity=1, unit_price=15.75, amount=15.75)
+
+# Calculate order total
+order1.amount_total = item1.amount + item2.amount
+
+# Add order2
+order2 = Order(customer_id=1, amount_total=0, notes='Second Order')
+item3 = Item(order_id=2, product_id=1, quantity=1, unit_price=10.50, amount=10.50)
+
+# Calculate order2 total
+order2.amount_total = item3.amount
+
+# Set balance for customer1
+customer1.balance = order1.amount_total + order2.amount_total
+
+# Add test orders and items for customer2
+order3 = Order(customer_id=2, amount_total=0, notes='First Order for customer 2')
+item4 = Item(order_id=3, product_id=2, quantity=3, unit_price=15.75, amount=47.25)
+
+# Calculate order3 total
+order3.amount_total = item4.amount
+
+# Set balance for customer2
+customer2.balance = order3.amount_total
+
+# Add records to the session
+session.add_all([product1, product2, customer1, customer2, order1, item1, item2, order2, item3, order3, item4])
+
+# Commit the session
+session.commit()
+
+# Close the session
+session.close()
+```
+
+### Explanation:
+
+1. **Database Models**: There are four main models: Customer, Order, Product, and Item. Each has its own table and columns defined.
+
+2. **No Check Constraints**: Instead of using constraints for calculations, calculations are made in Python and are reflected in the ORM models (like order totals, item amounts, etc.).
+
+3. **Adding Data**: Insert test data for products, customers, orders, and items. This includes calculating the amounts manually before adding them to ensure the database consistency requirements are met.
+
+Make sure to adapt the paths and environment as needed. This code should create the SQLite database, define the relationships, insert some records, and enforce the credit requirements logically within Python.

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_informal.prompt

@@ -0,0 +1,10 @@
+Create a system with customers, orders, items and products.
+
+Include a notes field for orders.
+
+Use LogicBank to enforce the Check Credit requirement:
+    1. The Customer's balance is less than the credit limit
+    2. The Customer's balance is the sum of the Order amount_total where date_shipped is null
+    3. The Order's amount_total is the sum of the Item amount
+    4. The Item amount is the quantity * unit_price
+    5. The Item unit_price is copied from the Product unit_price

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_000.response

@@ -0,0 +1 @@
+You are a data modelling expert and python software architect who expands on user input ideas. You create data models with at least 4 tables