diff --git a/client/src/components/TransactionForm.tsx b/client/src/components/TransactionForm.tsx
index 2451bdf..948f5aa 100644
--- a/client/src/components/TransactionForm.tsx
+++ b/client/src/components/TransactionForm.tsx
@@ -1,6 +1,7 @@
 import React, { useState } from 'react';
 import { checkDispensingEligibility, type LocalSettings, type GuardResult } from '../utils/dispensingGuard';
 import { type PatientDocType } from '../db/schema';
+import { TRANSACTION_TYPES, type TransactionType } from '../constants';
 
 // Mock Patient Data (Since we don't have a patient picker UI yet)
 const MOCK_PATIENTS: (PatientDocType & { last_sync_date: string })[] = [
@@ -15,7 +16,7 @@ const LOCAL_SETTINGS: LocalSettings = {
 };
 
 interface TransactionFormProps {
-    onAdd: (type: 'DISPENSE' | 'RECEIVE' | 'ADJUST', qty: number, batchId: string) => void;
+    onAdd: (type: TransactionType, qty: number, batchId: string) => void;
     sku: string;
 }
 
@@ -34,7 +35,7 @@ export const TransactionForm: React.FC<TransactionFormProps> = ({ onAdd, sku })
         setGuardResult(result);
 
         if (result.allowed) {
-            onAdd('DISPENSE', qty, batchId);
+            onAdd(TRANSACTION_TYPES.DISPENSE, qty, batchId);
             setQty(0);
         }
     };
@@ -103,13 +104,13 @@ export const TransactionForm: React.FC<TransactionFormProps> = ({ onAdd, sku })
                     Dispense ( - )
                 </button>
                 <button
-                    onClick={() => { onAdd('RECEIVE', qty, batchId); setQty(0); }}
+                    onClick={() => { onAdd(TRANSACTION_TYPES.RECEIVE, qty, batchId); setQty(0); }}
                     style={{ backgroundColor: '#ccffcc', padding: '8px 16px', border: 'none', borderRadius: '4px', cursor: 'pointer' }}
                 >
                     Receive ( + )
                 </button>
                 <button
-                    onClick={() => { onAdd('ADJUST', qty, batchId); setQty(0); }}
+                    onClick={() => { onAdd(TRANSACTION_TYPES.ADJUST, qty, batchId); setQty(0); }}
                     style={{ backgroundColor: '#ffffcc', padding: '8px 16px', border: 'none', borderRadius: '4px', cursor: 'pointer' }}
                 >
                     Adjust ( +/- )
diff --git a/client/src/constants.ts b/client/src/constants.ts
new file mode 100644
index 0000000..37144d4
--- /dev/null
+++ b/client/src/constants.ts
@@ -0,0 +1,7 @@
+export const TRANSACTION_TYPES = {
+    DISPENSE: 'DISPENSE',
+    RECEIVE: 'RECEIVE',
+    ADJUST: 'ADJUST'
+} as const;
+
+export type TransactionType = typeof TRANSACTION_TYPES[keyof typeof TRANSACTION_TYPES];
diff --git a/client/src/db/schema.ts b/client/src/db/schema.ts
index bc4bb84..24a6545 100644
--- a/client/src/db/schema.ts
+++ b/client/src/db/schema.ts
@@ -3,6 +3,7 @@ import {
     toTypedRxJsonSchema,
     type ExtractDocumentTypeFromTypedRxJsonSchema
 } from 'rxdb';
+import { TRANSACTION_TYPES } from '../constants';
 
 // --- Transaction Event (Write Model) ---
 export const TRANSACTION_SCHEMA_LITERAL = {
@@ -16,7 +17,11 @@ export const TRANSACTION_SCHEMA_LITERAL = {
         },
         type: {
             type: 'string',
-            enum: ['DISPENSE', 'RECEIVE', 'ADJUST'],
+            enum: [
+                TRANSACTION_TYPES.DISPENSE,
+                TRANSACTION_TYPES.RECEIVE,
+                TRANSACTION_TYPES.ADJUST
+            ],
             maxLength: 20
         },
         sku: {
@@ -48,7 +53,7 @@ export const TRANSACTION_SCHEMA_LITERAL = {
     required: ['id', 'type', 'sku', 'qty', 'timestamp', 'sync_status']
 } as const;
 
-const schemaTypedTransaction = toTypedRxJsonSchema(TRANSACTION_SCHEMA_LITERAL);
+export const schemaTypedTransaction = toTypedRxJsonSchema(TRANSACTION_SCHEMA_LITERAL);
 export type TransactionDocType = ExtractDocumentTypeFromTypedRxJsonSchema<typeof schemaTypedTransaction>;
 
 export const TransactionSchema: RxJsonSchema<TransactionDocType> = TRANSACTION_SCHEMA_LITERAL;
@@ -79,7 +84,7 @@ export const INVENTORY_SCHEMA_LITERAL = {
     required: ['sku', 'batch_id', 'current_stock']
 } as const;
 
-const schemaTypedInventory = toTypedRxJsonSchema(INVENTORY_SCHEMA_LITERAL);
+export const schemaTypedInventory = toTypedRxJsonSchema(INVENTORY_SCHEMA_LITERAL);
 export type InventoryDocType = ExtractDocumentTypeFromTypedRxJsonSchema<typeof schemaTypedInventory>;
 
 export const InventorySchema: RxJsonSchema<InventoryDocType> = INVENTORY_SCHEMA_LITERAL;
@@ -110,7 +115,7 @@ export const PATIENT_SCHEMA_LITERAL = {
     required: ['id', 'name', 'municipality']
 } as const;
 
-const schemaTypedPatient = toTypedRxJsonSchema(PATIENT_SCHEMA_LITERAL);
+export const schemaTypedPatient = toTypedRxJsonSchema(PATIENT_SCHEMA_LITERAL);
 export type PatientDocType = ExtractDocumentTypeFromTypedRxJsonSchema<typeof schemaTypedPatient>;
 
 export const PatientSchema: RxJsonSchema<PatientDocType> = PATIENT_SCHEMA_LITERAL;
diff --git a/client/src/hooks/useInventory.ts b/client/src/hooks/useInventory.ts
index 4a65372..d6e499a 100644
--- a/client/src/hooks/useInventory.ts
+++ b/client/src/hooks/useInventory.ts
@@ -1,6 +1,7 @@
 import { useState, useEffect } from 'react';
 import { getDatabase, type MyDatabase } from '../db/database';
 import { type TransactionDocType } from '../db/schema';
+import { TRANSACTION_TYPES, type TransactionType } from '../constants';
 
 export function useInventory(sku: string | null) {
     const [currentStock, setCurrentStock] = useState<number>(0);
@@ -43,13 +44,13 @@ export function useInventory(sku: string | null) {
         return () => subscription.unsubscribe();
     }, [db, sku]);
 
-    const addTransaction = async (type: 'DISPENSE' | 'RECEIVE' | 'ADJUST', qty: number, batch_id: string) => {
+    const addTransaction = async (type: TransactionType, qty: number, batch_id: string) => {
         if (!db || !sku) return;
 
         // Ensure negative for Dispense if user passes positive
         let finalQty = qty;
-        if (type === 'DISPENSE' && qty > 0) finalQty = -qty;
-        if (type === 'RECEIVE' && qty < 0) finalQty = -qty; // Receive should be positive
+        if (type === TRANSACTION_TYPES.DISPENSE && qty > 0) finalQty = -qty;
+        if (type === TRANSACTION_TYPES.RECEIVE && qty < 0) finalQty = -qty; // Receive should be positive
 
         await db.transactions.insert({
             id: crypto.randomUUID(),
diff --git a/verification/transactions.png b/verification/transactions.png
new file mode 100644
index 0000000..f8337b6
Binary files /dev/null and b/verification/transactions.png differ
diff --git a/verification/verify_transactions.py b/verification/verify_transactions.py
new file mode 100644
index 0000000..f2eec60
--- /dev/null
+++ b/verification/verify_transactions.py
@@ -0,0 +1,55 @@
+from playwright.sync_api import sync_playwright
+
+def verify_transactions():
+    with sync_playwright() as p:
+        browser = p.chromium.launch()
+        page = browser.new_page()
+
+        print("Navigating to app...")
+        try:
+            page.goto("http://localhost:3000")
+        except Exception as e:
+            print(f"Failed to navigate: {e}")
+            return
+
+        # Wait for app to load
+        print("Waiting for app to load...")
+        try:
+            page.wait_for_selector("h1:has-text('YAKAP-Link')", timeout=10000)
+        except Exception as e:
+            print(f"App didn't load in time: {e}")
+            page.screenshot(path="verification/error.png")
+            return
+
+        # Add Dispense Transaction
+        print("Adding Dispense transaction...")
+        page.fill("input[type=number]", "5")
+        page.click("button:has-text('Dispense ( - )')")
+
+        # Add Receive Transaction
+        print("Adding Receive transaction...")
+        page.fill("input[type=number]", "10")
+        page.click("button:has-text('Receive ( + )')")
+
+        # Add Adjust Transaction
+        print("Adding Adjust transaction...")
+        page.fill("input[type=number]", "2")
+        page.click("button:has-text('Adjust ( +/- )')")
+
+        # Verify Ledger
+        print("Verifying ledger...")
+        # Check if 'DISPENSE', 'RECEIVE', 'ADJUST' text exists in the ledger area
+        try:
+            page.wait_for_selector("text=DISPENSE", timeout=5000)
+            page.wait_for_selector("text=RECEIVE", timeout=5000)
+            page.wait_for_selector("text=ADJUST", timeout=5000)
+        except Exception as e:
+             print(f"Ledger verification failed: {e}")
+
+        print("Taking screenshot...")
+        page.screenshot(path="verification/transactions.png")
+
+        browser.close()
+
+if __name__ == "__main__":
+    verify_transactions()