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

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/sqlite_inserts.prompt

@@ -6,19 +6,25 @@ Hints: use autonum keys (for all tables - including for link/join/junction/inter
 
 Be sure to create classes, never tables.
 
+If you create sum, count or formula Logic Bank rules, then you MUST create a corresponding column in the data model.
+
 Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
 this means you can not enter string attributes where a date or datetime object is expected.
 
 Don't install additional packages.
 Don't use the faker pip package.
 
-Create multiple rows of test data for each table, and follow these guidelines carefully:
+When creating SQLAlchemy data model classes, follow these guidelines carefully:
 * Use foreign key columns instead of relationship names for the data.  
+* Do not specify nullable unless otherwise specified.
+* For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+* Do not use Float unless otherwise specified.
+
+Create multiple rows of test data for each table, and follow these guidelines carefully:
 * Create separate objects for each test data row, not in arrays. 
-* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on Logic Bank,
 and do not generate db.execute statements.
 * Do not create arrays of test data.
 * Do not create a function to load test data.  
 * Do not print the test data. 
-
-For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+* For test data, format dates as date(year, month, day).

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/{sqlite_inserts_iterations.prompt → zsqlite_inserts_iterations.prompt}

@@ -7,6 +7,8 @@ Hints: use autonum keys (for all tables - including for link/join/junction/inter
 
 Be sure to create classes, never tables.
 
+If you create sum, count or formula Logic Bank rules, then you MUST create a corresponding column in the data model.
+
 Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
 this means you can not enter string attributes where a date or datetime object is expected.
 
@@ -16,10 +18,11 @@ Don't use the faker pip package.
 Create multiple rows of test data for each table, and follow these guidelines carefully:
 * Use foreign key columns instead of relationship names for the data.  
 * Create separate objects for each test data row, not in arrays. 
-* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on Logic Bank,
 and do not generate db.execute statements.
 * Do not create arrays of test data.
 * Do not create a function to load test data.  
-* Do not print the test data. 
+* Do not print the test data.
+* For test data, format dates as date(year, month, day).
 
 For each data model class, create a docstring describing the table, prefixed with 'description: '. 

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/create_db_models.py

@@ -0,0 +1,96 @@
+# created from response, to create create_db_models.sqlite, with test data
+#    that is used to create project
+# should run without error in manager 
+#    if not, check for decimal, indent, or import issues
+
+import decimal
+import logging
+import sqlalchemy
+from sqlalchemy.sql import func 
+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 sqlalchemy.orm import relationship
+from datetime import date   
+from datetime import datetime
+
+logging.getLogger('sqlalchemy.engine.Engine').disabled = True  # remove for additional logging
+
+Base = declarative_base()  # from system/genai/create_db_models_inserts/create_db_models_prefix.py
+
+
+class Customer(Base):
+    """description: Table representing customers in the system."""
+
+    __tablename__ = 'customers'
+
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=False)
+    balance = Column(Float, default=0.0)  # Derived as sum of Order.amount_total where shipped_date is null
+    credit_limit = Column(Float, nullable=False)
+
+
+class Order(Base):
+    """description: Table representing customer orders with associated notes."""
+
+    __tablename__ = 'orders'
+
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    customer_id = Column(Integer, ForeignKey('customers.id'))
+    notes = Column(Text)
+    amount_total = Column(Float, default=0.0)  # Derived as sum of Item.amount
+    date_shipped = Column(DateTime)
+
+
+class Item(Base):
+    """description: Table representing items associated with orders."""
+
+    __tablename__ = 'items'
+
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    order_id = Column(Integer, ForeignKey('orders.id'))
+    product_id = Column(Integer, ForeignKey('products.id'))
+    quantity = Column(Integer, nullable=False)
+    amount = Column(Float, default=0.0)  # Derived as quantity * unit_price
+    unit_price = Column(Float)  # Copied from Product.unit_price
+
+
+class Product(Base):
+    """description: Table representing products available for sale."""
+
+    __tablename__ = 'products'
+
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=False)
+    unit_price = Column(Float, nullable=False)
+
+
+# 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
+
+# Test Data Loading
+from datetime import date, datetime
+
+test_product1 = Product(id=1, name="Laptop", unit_price=1000.00)
+test_product2 = Product(id=2, name="Phone", unit_price=600.00)
+
+test_customer1 = Customer(id=1, name="Alice Smith", credit_limit=5000.00, balance=3800.00)
+test_customer2 = Customer(id=2, name="Bob Johnson", credit_limit=3000.00, balance=0.0)
+
+test_order1 = Order(id=1, customer_id=1, notes="Urgent delivery", amount_total=3800.00, date_shipped=None)
+test_order2 = Order(id=2, customer_id=2, notes="Gift wrap", amount_total=1000.00, date_shipped=datetime(2023, 5, 10))
+
+test_item1 = Item(id=1, order_id=1, product_id=1, quantity=2, amount=2000.00, unit_price=1000.00)
+test_item2 = Item(id=2, order_id=1, product_id=2, quantity=3, amount=1800.00, unit_price=600.00)
+test_item3 = Item(id=3, order_id=2, product_id=1, quantity=1, amount=1000.00, unit_price=1000.00)
+
+
+session.add_all([test_product1, test_product2, test_customer1, test_customer2, test_order1, test_order2, test_item1, test_item2, test_item3])
+session.commit()

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_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

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_001.prompt

@@ -0,0 +1,208 @@
+Here is the simplified API for LogicBank:
+
+Create a function called declare_logic(), consisting of calls to Rule methods.
+
+Do not generate import statements.
+
+Use only the methods provided below.
+
+class Rule:
+    """Invoke these functions to declare rules in the created declare_logic function.  """
+
+    @staticmethod
+    def sum(derive: Column, as_sum_of: any, where: any = None, child_role_name: str = "", insert_parent: bool=False):
+        """
+        Derive parent column as sum of designated child column, optional where
+
+        Example
+            Prompt
+                Customer.Balance = Sum(Order.amount_total where date_shipped is null)
+            Response
+                Rule.sum(derive=Customer.Balance, as_sum_of=Order.AmountTotal,
+                    where=lambda row: row.ShippedDate is None)
+
+        Args:
+            derive: name of parent <class.attribute> being derived
+            as_sum_of: name of child <class.attribute> being summed
+            child_role_name: parent's child accessor attribute (required only for disambiguation)
+            where: optional where clause, designates which child rows are summed
+
+        """
+        return Sum(derive, as_sum_of, where, child_role_name, insert_parent)
+
+    @staticmethod
+    def count(derive: Column, as_count_of: object, where: any = None, child_role_name: str = "", insert_parent: bool=False):
+        """
+        Derive parent column as count of designated child rows
+
+        Example
+            Prompt
+                Customer.UnPaidOrders = count(Orders where ShippedDate is None)
+            Response
+                Rule.count(derive=Customer.UnPaidOrders, as_count_of=Order,
+                    where=Lambda row: row.ShippedDate is None)
+
+        Args:
+            derive: name of parent <class.attribute> being derived
+            as_count_of: name of child <class> being counted
+            child_role_name: parent's child accessor attribute (required only for disambiguation)
+            where: optional where clause, designates which child rows are counted
+        """
+        return Count(derive, as_count_of, where, child_role_name, insert_parent)
+
+    @staticmethod
+    def constraint(validate: object,
+                   calling: Callable = None,
+                   as_condition: any = None,
+                   error_msg: str = "(error_msg not provided)",
+                   error_attributes=None):
+        """
+        Constraints declare condition that must be true for all commits
+
+        Example
+            Prompt
+                Customer.balance <= credit_limit
+            Response  
+                Rule.constraint(validate=Customer,
+                                as_condition=lambda row: row.Balance <= row.CreditLimit,
+                                error_msg="balance ({row.Balance}) exceeds credit ({row.CreditLimit})")
+
+        Args:
+            validate: name of mapped <class>
+            as_condition: lambda, passed row (simple constraints)
+            error_msg: string, with {row.attribute} replacements
+            error_attributes: list of attributes
+
+        """
+        if error_attributes is None:
+            error_attributes = []
+        return Constraint(validate=validate, as_condition=as_condition,
+                          error_attributes=error_attributes, error_msg=error_msg)
+
+    @staticmethod
+    def parent_check(validate: object,
+                     error_msg: str = "(error_msg not provided)",
+                     enable: bool = True):
+        """
+        Parent Checks ensure that non-null foreign keys are present in parent class
+
+        Example
+           Rule.parent_check(validate=Customer, enable=True, error_msg="Missing Parent")
+
+        Parent_check failures raise ConstraintException, e.g.:
+            try:
+                session.commit()
+            except ConstraintException as ce:
+                print("Constraint raised: " + str(ce))
+
+        Args:
+            validate: name of mapped class
+            error_msg: message included in exception (can have {} syntax)
+            enable: True (default) = enable, False means disable (tolerate orphans)
+
+        Note: False not recommended - for existing databases with bad data
+            Behavior is undefined for other rules (sum, count, parent references, etc)
+
+        """
+        return ParentCheck(validate=validate, error_msg=error_msg, enable=enable)
+
+    @staticmethod
+    def formula(derive: Column,
+                as_expression: Callable = None,
+                no_prune: bool = False):
+        """
+        Formulas declare column value, based on current and parent rows
+
+        Example
+            Prompt
+                Item.amount = quantity * unit_price
+            Response
+                Rule.formula(derive=OrderDetail.Amount,
+                             as_expression=lambda row: row.UnitPrice * row.Quantity)
+
+        Args:
+            derive: <class.attribute> being derived
+            as_expression: lambda, passed row (for syntax checking)
+            no_prune: disable pruning (rarely used, default False)
+        """
+        return Formula(derive=derive,
+                       as_expression=as_expression,
+                       no_prune=no_prune)
+
+    @staticmethod
+    def copy(derive: Column, from_parent: any):
+        """
+        Copy declares child column copied from parent column
+
+        Example
+            Prompt
+                Store the Item.unit_price as a copy from Product.unit_price
+            Response
+                Rule.copy(derive=OrderDetail.UnitPrice, from_parent=Product.UnitPrice)
+
+        Args:
+            derive: <class.attribute> being copied into
+            from_parent: <parent-class.attribute> source of copy
+        """
+        return Copy(derive=derive, from_parent=from_parent)
+
+
+Expanded example:
+
+Prompt:
+
+    Use Logic Bank to enforce the Check Credit requirement (do not generate check constraints):
+        1. Customer.balance <= credit_limit
+        2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
+        3. Order.amount_total = Sum(Item.amount)
+        4. Item.amount = quantity * unit_price
+        5. Store the Item.unit_price as a copy from Product.unit_price
+
+Response:
+
+def declare_logic():  # created by Web/GenAI for ApiLogicServer, LogicBank
+    
+    Rule.sum(derive=CustomerAccount.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)
+    Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)
+    Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)
+    Rule.constraint(validate=CustomerAccount,
+                    as_condition=lambda row: row.balance <= row.credit_limit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+
+Equivalent expanded example using informal syntax:
+
+Prompt:
+
+    Use Logic Bank to enforce the Check Credit requirement (do not generate check constraints):
+        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
+
+Response is the same:
+
+def declare_logic():  # created by Web/GenAI for ApiLogicServer, LogicBank
+    
+    Rule.sum(derive=CustomerAccount.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)
+    Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)
+    Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)
+    Rule.constraint(validate=CustomerAccount,
+                    as_condition=lambda row: row.balance <= row.credit_limit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+Intermediate sum/count values require a new column, with a LogicBank sum/count rule.  For example:
+
+Prompt:
+    The sum of the child value cannot exceed the parent limit
+
+Response is to create 2 rules - a derivation and a constraint, as follows:
+    First Rule to Create:
+        Rule.sum(derive=Parent.value_total, as_sum_of=Child.value)
+    And, be sure to create the second Rule:
+        Rule.constraint(validate=Parent,
+                    as_condition=lambda row: row.value_total <= row.limit,
+                    error_msg="Parent value total ({row.value_total}) exceeds limit ({row.limit})")

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_002.prompt

@@ -0,0 +1,89 @@
+
+Use SQLAlchemy to create a sqlite database named system/genai/temp/create_db_models.sqlite, to
+
+Create a system with customers, orders, items and products.
+
+Include a notes field for orders.
+
+Use LogicBank to create declare_logic() to enforce these requirements (do not generate check constraints); be sure to update the data model and *all* test data with any attributes used in the logic:
+    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
+
+.
+
+Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
+
+Be sure to create classes, never tables.
+
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
+this means you can not enter string attributes where a date or datetime object is expected.
+
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create multiple rows of test data for each table, and follow these guidelines carefully:
+* Use foreign key columns instead of relationship names for the data.  
+* Create separate objects for each test data row, not in arrays. 
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+and do not generate db.execute statements.
+* Do not create arrays of test data.
+* Do not create a function to load test data.  
+* Do not print the test data. 
+* For test data, format dates as date(year, month, day).
+
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+
+class WGResult(BaseModel):  # must match system/genai/prompt_inserts/response_format.prompt
+
+    models : List[Model] # list of sqlalchemy classes in the response
+
+    rules : List[Rule] # list rule declarations
+
+    test_data: str
+
+    name: str  # suggest a short name for the project
+
+
+
+Format the response as a WGResult.
+
+Update the prior response - be sure not to lose classes and test data already created.
+
+Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
+
+Be sure to create classes, never tables.
+
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
+this means you can not enter string attributes where a date or datetime object is expected.
+
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create multiple rows of test data for each table, and follow these guidelines carefully:
+* Use foreign key columns instead of relationship names for the data.  
+* Create separate objects for each test data row, not in arrays. 
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+and do not generate db.execute statements.
+* Do not create arrays of test data.
+* Do not create a function to load test data.  
+* Do not print the test data.
+* For test data, format dates as date(year, month, day).
+
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+
+class WGResult(BaseModel):  # must match system/genai/prompt_inserts/response_format.prompt
+
+    models : List[Model] # list of sqlalchemy classes in the response
+
+    rules : List[Rule] # list rule declarations
+
+    test_data: str
+
+    name: str  # suggest a short name for the project
+
+
+
+Format the response as a WGResult.

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_003.prompt

@@ -0,0 +1,40 @@
+
+please initialize the customer.balance and order.amount_total
+
+Update the prior response - be sure not to lose classes and test data already created.
+
+Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
+
+Be sure to create classes, never tables.
+
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
+this means you can not enter string attributes where a date or datetime object is expected.
+
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create multiple rows of test data for each table, and follow these guidelines carefully:
+* Use foreign key columns instead of relationship names for the data.  
+* Create separate objects for each test data row, not in arrays. 
+Use LogicBank to create declare_logic() to enforce these requirements (do not generate check constraints); be sure to update the data model and *all* test data with any attributes used in the logic:
+and do not generate db.execute statements.
+* Do not create arrays of test data.
+* Do not create a function to load test data.  
+* Do not print the test data.
+* For test data, format dates as date(year, month, day).
+
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+
+class WGResult(BaseModel):  # must match system/genai/prompt_inserts/response_format.prompt
+
+    models : List[Model] # list of sqlalchemy classes in the response
+
+    rules : List[Rule] # list rule declarations
+
+    test_data: str
+
+    name: str  # suggest a short name for the project
+
+
+
+Format the response as a WGResult.

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_004.response

@@ -0,0 +1,57 @@
+{
+    "models": [
+        {
+            "classname": "Customer",
+            "code": "class Customer(Base):\n    \"\"\"description: Table representing customers in the system.\"\"\"\n\n    __tablename__ = 'customers'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    balance = Column(Float, default=0.0)  # Derived as sum of Order.amount_total where shipped_date is null\n    credit_limit = Column(Float, nullable=False)",
+            "description": "Table representing customers in the system.",
+            "name": "Customer"
+        },
+        {
+            "classname": "Order",
+            "code": "class Order(Base):\n    \"\"\"description: Table representing customer orders with associated notes.\"\"\"\n\n    __tablename__ = 'orders'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    customer_id = Column(Integer, ForeignKey('customers.id'))\n    notes = Column(Text)\n    amount_total = Column(Float, default=0.0)  # Derived as sum of Item.amount\n    date_shipped = Column(DateTime)",
+            "description": "Table representing customer orders with associated notes.",
+            "name": "Order"
+        },
+        {
+            "classname": "Item",
+            "code": "class Item(Base):\n    \"\"\"description: Table representing items associated with orders.\"\"\"\n\n    __tablename__ = 'items'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    order_id = Column(Integer, ForeignKey('orders.id'))\n    product_id = Column(Integer, ForeignKey('products.id'))\n    quantity = Column(Integer, nullable=False)\n    amount = Column(Float, default=0.0)  # Derived as quantity * unit_price\n    unit_price = Column(Float)  # Copied from Product.unit_price",
+            "description": "Table representing items associated with orders.",
+            "name": "Item"
+        },
+        {
+            "classname": "Product",
+            "code": "class Product(Base):\n    \"\"\"description: Table representing products available for sale.\"\"\"\n\n    __tablename__ = 'products'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    unit_price = Column(Float, nullable=False)",
+            "description": "Table representing products available for sale.",
+            "name": "Product"
+        }
+    ],
+    "rules": [
+        {
+            "name": "Customer Balance Constraint",
+            "description": "Ensure customer's balance is less than the credit limit.",
+            "code": "Rule.constraint(validate=Customer, as_condition=lambda row: row.balance <= row.credit_limit, error_msg=\"Customer's balance ({row.balance}) exceeds the credit limit ({row.credit_limit})\")"
+        },
+        {
+            "name": "Customer Balance Sum Rule",
+            "description": "Derive customer's balance as the sum of order amount_total where date_shipped is null.",
+            "code": "Rule.sum(derive=Customer.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)"
+        },
+        {
+            "name": "Order Amount Total Sum Rule",
+            "description": "Derive order's amount_total as the sum of item amounts.",
+            "code": "Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)"
+        },
+        {
+            "name": "Item Amount Formula",
+            "description": "Derive item amount as quantity multiplied by unit_price.",
+            "code": "Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)"
+        },
+        {
+            "name": "Item Unit Price Copy Rule",
+            "description": "Copy item unit_price from product unit_price.",
+            "code": "Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)"
+        }
+    ],
+    "test_data": "# Test Data Loading\nfrom datetime import date, datetime\n\ntest_product1 = Product(id=1, name=\"Laptop\", unit_price=1000.00)\ntest_product2 = Product(id=2, name=\"Phone\", unit_price=600.00)\n\ntest_customer1 = Customer(id=1, name=\"Alice Smith\", credit_limit=5000.00, balance=0.0)\ntest_customer2 = Customer(id=2, name=\"Bob Johnson\", credit_limit=3000.00, balance=0.0)\n\ntest_order1 = Order(id=1, customer_id=1, notes=\"Urgent delivery\", amount_total=0.0, date_shipped=None)\ntest_order2 = Order(id=2, customer_id=2, notes=\"Gift wrap\", amount_total=0.0, date_shipped=datetime(2023, 5, 10))\n\ntest_item1 = Item(id=1, order_id=1, product_id=1, quantity=2, amount=2000.00, unit_price=1000.00)\ntest_item2 = Item(id=2, order_id=1, product_id=2, quantity=3, amount=1800.00, unit_price=600.00)\ntest_item3 = Item(id=3, order_id=2, product_id=1, quantity=1, amount=1000.00, unit_price=1000.00)",
+    "name": "SalesSystem"
+}

api_logic_server_cli/prototypes/manager/system/genai/retry/conv/inf-1_iter_1_1_005.response

@@ -0,0 +1,57 @@
+{
+    "models": [
+        {
+            "classname": "Customer",
+            "code": "class Customer(Base):\n    \"\"\"description: Table representing customers in the system.\"\"\"\n\n    __tablename__ = 'customers'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    balance = Column(Float, default=0.0)  # Derived as sum of Order.amount_total where shipped_date is null\n    credit_limit = Column(Float, nullable=False)",
+            "description": "Table representing customers in the system.",
+            "name": "Customer"
+        },
+        {
+            "classname": "Order",
+            "code": "class Order(Base):\n    \"\"\"description: Table representing customer orders with associated notes.\"\"\"\n\n    __tablename__ = 'orders'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    customer_id = Column(Integer, ForeignKey('customers.id'))\n    notes = Column(Text)\n    amount_total = Column(Float, default=0.0)  # Derived as sum of Item.amount\n    date_shipped = Column(DateTime)",
+            "description": "Table representing customer orders with associated notes.",
+            "name": "Order"
+        },
+        {
+            "classname": "Item",
+            "code": "class Item(Base):\n    \"\"\"description: Table representing items associated with orders.\"\"\"\n\n    __tablename__ = 'items'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    order_id = Column(Integer, ForeignKey('orders.id'))\n    product_id = Column(Integer, ForeignKey('products.id'))\n    quantity = Column(Integer, nullable=False)\n    amount = Column(Float, default=0.0)  # Derived as quantity * unit_price\n    unit_price = Column(Float)  # Copied from Product.unit_price",
+            "description": "Table representing items associated with orders.",
+            "name": "Item"
+        },
+        {
+            "classname": "Product",
+            "code": "class Product(Base):\n    \"\"\"description: Table representing products available for sale.\"\"\"\n\n    __tablename__ = 'products'\n\n    id = Column(Integer, primary_key=True, autoincrement=True)\n    name = Column(String, nullable=False)\n    unit_price = Column(Float, nullable=False)",
+            "description": "Table representing products available for sale.",
+            "name": "Product"
+        }
+    ],
+    "rules": [
+        {
+            "name": "Customer Balance Constraint",
+            "description": "Ensure customer's balance is less than the credit limit.",
+            "code": "Rule.constraint(validate=Customer, as_condition=lambda row: row.balance <= row.credit_limit, error_msg=\"Customer's balance ({row.balance}) exceeds the credit limit ({row.credit_limit})\")"
+        },
+        {
+            "name": "Customer Balance Sum Rule",
+            "description": "Derive customer's balance as the sum of order amount_total where date_shipped is null.",
+            "code": "Rule.sum(derive=Customer.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)"
+        },
+        {
+            "name": "Order Amount Total Sum Rule",
+            "description": "Derive order's amount_total as the sum of item amounts.",
+            "code": "Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)"
+        },
+        {
+            "name": "Item Amount Formula",
+            "description": "Derive item amount as quantity multiplied by unit_price.",
+            "code": "Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)"
+        },
+        {
+            "name": "Item Unit Price Copy Rule",
+            "description": "Copy item unit_price from product unit_price.",
+            "code": "Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)"
+        }
+    ],
+    "test_data": "# Test Data Loading\nfrom datetime import date, datetime\n\ntest_product1 = Product(id=1, name=\"Laptop\", unit_price=1000.00)\ntest_product2 = Product(id=2, name=\"Phone\", unit_price=600.00)\n\ntest_customer1 = Customer(id=1, name=\"Alice Smith\", credit_limit=5000.00, balance=3800.00)\ntest_customer2 = Customer(id=2, name=\"Bob Johnson\", credit_limit=3000.00, balance=0.0)\n\ntest_order1 = Order(id=1, customer_id=1, notes=\"Urgent delivery\", amount_total=3800.00, date_shipped=None)\ntest_order2 = Order(id=2, customer_id=2, notes=\"Gift wrap\", amount_total=1000.00, date_shipped=datetime(2023, 5, 10))\n\ntest_item1 = Item(id=1, order_id=1, product_id=1, quantity=2, amount=2000.00, unit_price=1000.00)\ntest_item2 = Item(id=2, order_id=1, product_id=2, quantity=3, amount=1800.00, unit_price=600.00)\ntest_item3 = Item(id=3, order_id=2, product_id=1, quantity=1, amount=1000.00, unit_price=1000.00)",
+    "name": "SalesSystem"
+}

api_logic_server_cli/prototypes/manager/system/genai/retry/readme.md

@@ -0,0 +1 @@
+Use this as a temp folder to store and edit retry files.