Add application file

Dockerfile

@@ -0,0 +1,23 @@
+# 使用官方 Python 3.9
+FROM python:3.9
+
+# 创建一个非root用户 (Hugging Face官方示例里常见)
+RUN useradd -m -u 1000 user
+USER user
+
+# 把 ~/.local/bin 加进 PATH，便于 pip 安装脚本等
+ENV PATH="/home/user/.local/bin:$PATH"
+
+# 切换到 /app 目录
+WORKDIR /app
+
+# 先复制 requirements.txt 并安装依赖
+COPY requirements.txt .
+RUN pip install --no-cache-dir --upgrade -r requirements.txt
+
+# 再把当前所有代码复制到 /app
+# (此时已含你编译好的前端文件，位于你的 backend/static/ 下)
+COPY . /app
+
+# 最终启动命令：监听 0.0.0.0:7860
+CMD ["python", "app.py", "--host=0.0.0.0", "--port", "7860"]

backend/.gitignore

@@ -0,0 +1 @@
+.env

backend/Example.txt

@@ -0,0 +1,174 @@
+This is an example of representing a Zebra Puzzle using a Z3-based Python code:
+
+There are 5 Producers in this puzzle.
+
+Categories and possible items:
+  - Shirt: black, green, orange, pink, red
+  - Name: Barbara, Isabella, Jane, Nicole, Rachel
+  - Jam: apricot, cherry, fig, raspberry, watermelon
+  - Size: 10 oz, 12 oz, 14 oz, 20 oz, 6 oz
+  - Source: backyard, farmers' coop, local grocer, organic farm, wild pickings
+
+Clues:
+ - The producer whose jam comes from Wild pickings is in the fourth position.
+ - The producer selling Cherry jam is somewhere to the right of the one wearing a Green shirt.
+ - Isabella is selling Cherry jam.
+ - The producer wearing a Pink shirt is somewhere between the producer whose jam source is the Backyard and the one selling Watermelon jam, in that order.
+ - The producer selling 14 oz jars is somewhere to the right of the one wearing a Green shirt.
+ - The producer with 14 oz jars is next to the one selling Raspberry jam.
+ - The Raspberry jam producer is positioned at one of the ends.
+ - Barbara is next to the producer whose jam source is the Organic farm.
+ - Jane is located somewhere between Nicole and Isabella, in that order.
+ - The producer of Fig jam sources the fruit from an Organic farm.
+ - The producer with 10 oz jars is at one of the ends.
+ - The Raspberry jam producer is somewhere to the right of the one wearing a Green shirt.
+ - The producer with 12 oz jars is next to the one who has 6 oz jars.
+ - Isabella is next to the producer wearing a Black shirt.
+ - The producer with 6 oz jars is next to the one whose source is the Local grocer.
+ - The producer with 6 oz jars is in the second position.
+ - Rachel's source of fruit is the Farmers' coop.
+ - Barbara is next to Nicole.
+ - The producer wearing an Orange shirt gets her fruit from the Backyard.
+ - The producer with 12 oz jars is in the very first position.
+
+```python
+from z3 import *
+import json
+import sys
+
+# Define all categories in a single list of tuples:
+# (House is implicit; each row's first column will be the house number.)
+categories = [
+    ("Shirt", ["black", "green", "orange", "pink", "red"]),
+    ("Name", ["Barbara", "Isabella", "Jane", "Nicole", "Rachel"]),
+    ("Jam", ["apricot", "cherry", "fig", "raspberry", "watermelon"]),
+    ("Size", ["10 oz", "12 oz", "14 oz", "20 oz", "6 oz"]),
+    ("Source", ["backyard", "farmers' coop", "local grocer", "organic farm", "wild pickings"])
+]
+
+# No need to change here, automatically processing
+NUM_POSITIONS = len(categories[0][1])
+
+item_to_cat_and_index = {}
+for cat_idx, (_, item_list) in enumerate(categories):
+    for item_idx, item_str in enumerate(item_list):
+        item_to_cat_and_index[item_str] = (cat_idx, item_idx)
+
+Vars = []
+for cat_idx, (cat_name, item_list) in enumerate(categories):
+    var = IntVector(cat_name, len(item_list))
+    Vars.append(var)
+
+s = Solver()
+
+for cat_idx, (cat_name, item_list) in enumerate(categories):
+    for item_idx, item_str in enumerate(item_list):
+        s.add(Vars[cat_idx][item_idx] >= 1, Vars[cat_idx][item_idx] <= NUM_POSITIONS)
+    s.add(Distinct(Vars[cat_idx]))
+
+def pos(item_str):
+    (cat_idx, item_idx) = item_to_cat_and_index[item_str]
+    return Vars[cat_idx][item_idx]
+
+# All clues here
+# The producer whose jam comes from Wild pickings is in the fourth position.
+s.add(pos("wild pickings") == 4)
+
+# The producer selling Cherry jam is somewhere to the right of the one wearing a Green shirt.
+s.add(pos("cherry") > pos("green"))
+
+# Isabella is selling Cherry jam.
+s.add(pos("Isabella") == pos("cherry"))
+
+# The producer wearing a Pink shirt is somewhere between the producer whose jam source is the Backyard and the one selling Watermelon jam, in that order.
+s.add(And(pos("backyard") < pos("pink"), pos("pink") < pos("watermelon")))
+
+# The producer selling 14 oz jars is somewhere to the right of the one wearing a Green shirt.
+s.add(pos("14 oz") > pos("green"))
+
+# The producer with 14 oz jars is next to the one selling Raspberry jam.
+s.add(Abs(pos("14 oz") - pos("raspberry")) == 1)
+
+# The Raspberry jam producer is positioned at one of the ends.
+s.add(Or(pos("raspberry") == 1, pos("raspberry") == NUM_POSITIONS))
+
+# Barbara is next to the producer whose jam source is the Organic farm.
+s.add(Abs(pos("Barbara") - pos("organic farm")) == 1)
+
+# Jane is located somewhere between Nicole and Isabella, in that order.
+s.add(And(pos("Nicole") < pos("Jane"), pos("Jane") < pos("Isabella")))
+
+# The producer of Fig jam sources the fruit from an Organic farm.
+s.add(pos("fig") == pos("organic farm"))
+
+# The producer with 10 oz jars is at one of the ends.
+s.add(Or(pos("10 oz") == 1, pos("10 oz") == NUM_POSITIONS))
+
+# The Raspberry jam producer is somewhere to the right of the one wearing a Green shirt.
+s.add(pos("raspberry") > pos("green"))
+
+# The producer with 12 oz jars is next to the one who has 6 oz jars.
+s.add(Abs(pos("12 oz") - pos("6 oz")) == 1)
+
+# Isabella is next to the producer wearing a Black shirt.
+s.add(Abs(pos("Isabella") - pos("black")) == 1)
+
+# The producer with 6 oz jars is next to the one whose source is the Local grocer.
+s.add(Abs(pos("6 oz") - pos("local grocer")) == 1)
+
+# The producer with 6 oz jars is in the second position.
+s.add(pos("6 oz") == 2)
+
+# Rachel's source of fruit is the Farmers' coop.
+s.add(pos("Rachel") == pos("farmers' coop"))
+
+# Barbara is next to Nicole.
+s.add(Abs(pos("Barbara") - pos("Nicole")) == 1)
+
+# The producer wearing an Orange shirt gets her fruit from the Backyard.
+s.add(pos("orange") == pos("backyard"))
+
+# The producer with 12 oz jars is in the very first position.
+s.add(pos("12 oz") == 1)
+
+# Solve the puzzle
+if s.check() == sat:
+    m = s.model()
+    rows = []
+    header = ["House"] + [cat_name for cat_name, _ in categories]
+    for position in range(1, NUM_POSITIONS + 1):
+        row = [str(position)]
+        for cat_idx, (cat_name, item_list) in enumerate(categories):
+            for item_idx, item_str in enumerate(item_list):
+                if m.evaluate(Vars[cat_idx][item_idx]).as_long() == position:
+                    row.append(item_str)
+                    break
+        rows.append(row)
+    result_dict = {"header": header, "rows": rows}
+
+    cnt = 1
+    block = []
+    for cat_idx, (cat_name, item_list) in enumerate(categories):
+        for i in range(NUM_POSITIONS):
+            block.append(Vars[cat_idx][i] != m[Vars[cat_idx][i]])
+    s.add(Or(block))
+    while s.check() == sat:
+      m = s.model()
+      cnt += 1
+      block = []
+      for cat_idx, (cat_name, item_list) in enumerate(categories):
+          for i in range(NUM_POSITIONS):
+              block.append(Vars[cat_idx][i] != m[Vars[cat_idx][i]])
+      s.add(Or(block))
+
+    if cnt == 1:
+        # Output the solution as a JSON string.
+        print(json.dumps(result_dict))
+    else:
+        print(json.dumps({"error": "Multiple solutions found."}))
+else:
+    print(json.dumps({"error": "No solution found."}))
+sys.stdout.flush()  # Force immediate output
+```
+
+Based on this example, write a similar Z3-based Python code by changing only categories and constraints to represent the puzzle given below.

backend/app.py

@@ -0,0 +1,84 @@
+# app.py
+from flask import Flask, request, jsonify, send_from_directory
+from flask_cors import CORS
+import os
+
+from puzzle_dataset import get_puzzle_by_index
+from solver import solve_puzzle
+
+app = Flask(__name__)
+CORS(app)  # 如果前后端分开端口，可能需要 CORS
+
+# 读取 Example.txt 作为默认 sys_content（若用户没给就用默认）
+BASE_DIR = os.path.dirname(os.path.abspath(__file__))
+example_path = os.path.join(BASE_DIR, "Example.txt")
+with open(example_path, "r", encoding="utf-8") as f:
+    DEFAULT_SYS_CONTENT = f.read()
+
+app = Flask(__name__, static_folder='static', static_url_path='')
+
+@app.route('/')
+def index():
+    # 返回静态文件夹下编译好的 index.html
+    return send_from_directory(app.static_folder, 'index.html')
+
+@app.route("/get_puzzle", methods=["GET"])
+def get_puzzle():
+    """
+    前端通过 query param ?index=xxx 获取 puzzle 内容和 expected_solution
+    """
+    idx_str = request.args.get("index", "0")
+    try:
+        idx = int(idx_str)
+    except ValueError:
+        return jsonify({"success": False, "error": "Index must be an integer"}), 400
+
+    puzzle, solution = get_puzzle_by_index(idx)
+    if puzzle is None or solution is None:
+        return jsonify({"success": False, "error": "Invalid puzzle index"}), 404
+
+    return jsonify({
+        "success": True,
+        "index": idx,
+        "puzzle": puzzle,
+        "expected_solution": solution
+    })
+
+
+@app.route("/solve", methods=["POST"])
+def solve():
+    """
+    前端 POST { index, puzzle, expected_solution, sysContent } 
+    调用 solve_puzzle，并返回比对结果和执行的 python code
+    """
+    data = request.get_json()
+    puzzle_index = data.get("index")
+    puzzle_text = data.get("puzzle")
+    expected_solution = data.get("expected_solution")
+    sys_content = data.get("sys_content", DEFAULT_SYS_CONTENT)
+
+    if puzzle_index is None or puzzle_text is None or expected_solution is None:
+        return jsonify({"success": False, "error": "Missing puzzle data"}), 400
+
+    result = solve_puzzle(puzzle_index, puzzle_text, expected_solution, sys_content)
+    # result 里包含: success, solution, attempts, generatedCode, modelResponse, etc.
+
+    return jsonify({
+        "success": True,
+        "result": result
+    })
+
+
+@app.route("/default_sys_content", methods=["GET"])
+def get_default_sys_content():
+    """
+    返回默认的 sys_content (Example.txt) 给前端展示或编辑
+    """
+    return jsonify({
+        "success": True,
+        "sysContent": DEFAULT_SYS_CONTENT
+    })
+
+
+if __name__ == "__main__":
+    app.run(host="0.0.0.0", port=7860, debug=False)

backend/deep_convert.py

@@ -0,0 +1,11 @@
+import numpy as np
+
+def deep_convert(obj):
+    if isinstance(obj, np.ndarray):
+        return [deep_convert(x) for x in obj]
+    elif isinstance(obj, dict):
+        return {k: deep_convert(v) for k, v in obj.items()}
+    elif isinstance(obj, list):
+        return [deep_convert(x) for x in obj]
+    else:
+        return obj

backend/puzzle_dataset.py

@@ -0,0 +1,35 @@
+# puzzle_dataset.py
+import pandas as pd
+import os
+from dotenv import load_dotenv
+from huggingface_hub import login
+from deep_convert import deep_convert
+
+df = None
+
+def init_dataset():
+    global df
+    if df is not None:
+        return
+
+    load_dotenv()
+    hf_token = os.getenv("HF_TOKEN")
+    login(token=hf_token)
+
+    # 加载 parquet 数据
+    df = pd.read_parquet("hf://datasets/WildEval/ZebraLogic/grid_mode/test-00000-of-00001.parquet")
+
+def get_puzzle_by_index(idx: int):
+    """
+    返回 (puzzle_text, expected_solution) 二元组
+    """
+    global df
+    if df is None:
+        init_dataset()
+
+    # 简单判断 index 是否越界
+    if idx < 0 or idx >= len(df):
+        return None, None
+
+    row = df.iloc[idx]
+    return row['puzzle'], deep_convert(row['solution'])

backend/solver.py

@@ -0,0 +1,81 @@
+# solver.py
+import sys
+import re
+import json
+import os
+import subprocess
+from deep_convert import deep_convert
+from openai import OpenAI
+from dotenv import load_dotenv
+
+def solve_puzzle(index, puzzle, expected_solution, sys_content):
+    """
+    使用 sys_content + puzzle 调用模型，生成 Z3 Python 代码，
+    运行并比对输出是否与 expected_solution 相同。
+    """
+    load_dotenv()
+    client = OpenAI(
+        api_key=os.getenv("GEMINI_API_KEY"),
+        base_url="https://generativelanguage.googleapis.com/v1beta/openai/"
+    )
+
+    messages = [
+        {"role": "user", "content": sys_content},  # 先把 sys_content 放进去
+        {"role": "user", "content": puzzle},       # 再放 puzzle
+    ]
+    attempts = 0
+    current_solution = None
+
+    while attempts < 3:
+        attempts += 1
+        response = client.chat.completions.create(
+            model="gemini-2.0-flash",
+            messages=messages,
+            temperature=0.0,
+            stream=False
+        )
+        content = response.choices[0].message.content
+        messages.append(response.choices[0].message)
+
+        # 提取 code
+        code_blocks = re.findall(r"```(?:python)?(.*?)```", content, re.DOTALL)
+        if not code_blocks:
+            messages.append({"role": "user", "content": "Please write a complete Python code in your response. Try again."})
+            continue
+
+        code_to_run = code_blocks[0].strip()
+        result = subprocess.run(
+            [sys.executable, "-c", code_to_run],
+            stdout=subprocess.PIPE,
+            stderr=subprocess.PIPE,
+            text=True
+        )
+        output = result.stdout.strip()
+        # print(output)
+
+        try:
+            current_solution = json.loads(output)
+        except json.JSONDecodeError:
+            messages.append({"role": "user", "content": "Your output is not valid JSON. Please ensure your code prints the solution as a JSON dictionary."})
+            continue
+
+        if 'rows' in current_solution.keys() and current_solution['rows'] == deep_convert(expected_solution)['rows']:
+            return {
+                "index": index,
+                "success": True,
+                "solution": current_solution,
+                "attempts": attempts,
+                "generatedCode": code_to_run,
+                "modelResponse": content
+            }
+        else:
+            messages.append({"role": "user", "content": "The solution does not match the expected answer. Please check your categories and constraints and provide the complete code again."})
+
+    return {
+        "index": index,
+        "success": False,
+        "solution": current_solution,
+        "attempts": attempts,
+        "generatedCode": code_to_run,
+        "modelResponse": content
+    }

backend/static/asset-manifest.json

@@ -0,0 +1,15 @@
+{
+  "files": {
+    "main.css": "/static/css/main.e6c13ad2.css",
+    "main.js": "/static/js/main.ee989f30.js",
+    "static/js/453.8ab44547.chunk.js": "/static/js/453.8ab44547.chunk.js",
+    "index.html": "/index.html",
+    "main.e6c13ad2.css.map": "/static/css/main.e6c13ad2.css.map",
+    "main.ee989f30.js.map": "/static/js/main.ee989f30.js.map",
+    "453.8ab44547.chunk.js.map": "/static/js/453.8ab44547.chunk.js.map"
+  },
+  "entrypoints": [
+    "static/css/main.e6c13ad2.css",
+    "static/js/main.ee989f30.js"
+  ]
+}

backend/static/index.html

@@ -0,0 +1 @@
+<!doctype html><html lang="en"><head><meta charset="utf-8"/><link rel="icon" href="/favicon.ico"/><meta name="viewport" content="width=device-width,initial-scale=1"/><meta name="theme-color" content="#000000"/><meta name="description" content="Web site created using create-react-app"/><link rel="apple-touch-icon" href="/logo192.png"/><link rel="manifest" href="/manifest.json"/><title>React App</title><script defer="defer" src="/static/js/main.ee989f30.js"></script><link href="/static/css/main.e6c13ad2.css" rel="stylesheet"></head><body><noscript>You need to enable JavaScript to run this app.</noscript><div id="root"></div></body></html>

backend/static/manifest.json

@@ -0,0 +1,25 @@
+{
+  "short_name": "React App",
+  "name": "Create React App Sample",
+  "icons": [
+    {
+      "src": "favicon.ico",
+      "sizes": "64x64 32x32 24x24 16x16",
+      "type": "image/x-icon"
+    },
+    {
+      "src": "logo192.png",
+      "type": "image/png",
+      "sizes": "192x192"
+    },
+    {
+      "src": "logo512.png",
+      "type": "image/png",
+      "sizes": "512x512"
+    }
+  ],
+  "start_url": ".",
+  "display": "standalone",
+  "theme_color": "#000000",
+  "background_color": "#ffffff"
+}

backend/static/robots.txt

@@ -0,0 +1,3 @@
+# https://www.robotstxt.org/robotstxt.html
+User-agent: *
+Disallow:

backend/static/static/css/main.e6c13ad2.css

@@ -0,0 +1,2 @@
+body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}
+/*# sourceMappingURL=main.e6c13ad2.css.map*/

backend/static/static/css/main.e6c13ad2.css.map

@@ -0,0 +1 @@
+{"version":3,"file":"static/css/main.e6c13ad2.css","mappings":"AAAA,KAKE,kCAAmC,CACnC,iCAAkC,CAJlC,mIAEY,CAHZ,QAMF,CAEA,KACE,uEAEF","sources":["index.css"],"sourcesContent":["body {\n  margin: 0;\n  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Oxygen',\n    'Ubuntu', 'Cantarell', 'Fira Sans', 'Droid Sans', 'Helvetica Neue',\n    sans-serif;\n  -webkit-font-smoothing: antialiased;\n  -moz-osx-font-smoothing: grayscale;\n}\n\ncode {\n  font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',\n    monospace;\n}\n"],"names":[],"sourceRoot":""}

backend/static/static/js/453.8ab44547.chunk.js

@@ -0,0 +1,2 @@
+"use strict";(self.webpackChunkfrontend=self.webpackChunkfrontend||[]).push([[453],{453:(e,t,n)=>{n.r(t),n.d(t,{getCLS:()=>y,getFCP:()=>g,getFID:()=>C,getLCP:()=>P,getTTFB:()=>D});var i,r,a,o,u=function(e,t){return{name:e,value:void 0===t?-1:t,delta:0,entries:[],id:"v2-".concat(Date.now(),"-").concat(Math.floor(8999999999999*Math.random())+1e12)}},c=function(e,t){try{if(PerformanceObserver.supportedEntryTypes.includes(e)){if("first-input"===e&&!("PerformanceEventTiming"in self))return;var n=new PerformanceObserver((function(e){return e.getEntries().map(t)}));return n.observe({type:e,buffered:!0}),n}}catch(e){}},f=function(e,t){var n=function n(i){"pagehide"!==i.type&&"hidden"!==document.visibilityState||(e(i),t&&(removeEventListener("visibilitychange",n,!0),removeEventListener("pagehide",n,!0)))};addEventListener("visibilitychange",n,!0),addEventListener("pagehide",n,!0)},s=function(e){addEventListener("pageshow",(function(t){t.persisted&&e(t)}),!0)},m=function(e,t,n){var i;return function(r){t.value>=0&&(r||n)&&(t.delta=t.value-(i||0),(t.delta||void 0===i)&&(i=t.value,e(t)))}},v=-1,d=function(){return"hidden"===document.visibilityState?0:1/0},p=function(){f((function(e){var t=e.timeStamp;v=t}),!0)},l=function(){return v<0&&(v=d(),p(),s((function(){setTimeout((function(){v=d(),p()}),0)}))),{get firstHiddenTime(){return v}}},g=function(e,t){var n,i=l(),r=u("FCP"),a=function(e){"first-contentful-paint"===e.name&&(f&&f.disconnect(),e.startTime<i.firstHiddenTime&&(r.value=e.startTime,r.entries.push(e),n(!0)))},o=window.performance&&performance.getEntriesByName&&performance.getEntriesByName("first-contentful-paint")[0],f=o?null:c("paint",a);(o||f)&&(n=m(e,r,t),o&&a(o),s((function(i){r=u("FCP"),n=m(e,r,t),requestAnimationFrame((function(){requestAnimationFrame((function(){r.value=performance.now()-i.timeStamp,n(!0)}))}))})))},h=!1,T=-1,y=function(e,t){h||(g((function(e){T=e.value})),h=!0);var n,i=function(t){T>-1&&e(t)},r=u("CLS",0),a=0,o=[],v=function(e){if(!e.hadRecentInput){var t=o[0],i=o[o.length-1];a&&e.startTime-i.startTime<1e3&&e.startTime-t.startTime<5e3?(a+=e.value,o.push(e)):(a=e.value,o=[e]),a>r.value&&(r.value=a,r.entries=o,n())}},d=c("layout-shift",v);d&&(n=m(i,r,t),f((function(){d.takeRecords().map(v),n(!0)})),s((function(){a=0,T=-1,r=u("CLS",0),n=m(i,r,t)})))},E={passive:!0,capture:!0},w=new Date,L=function(e,t){i||(i=t,r=e,a=new Date,F(removeEventListener),S())},S=function(){if(r>=0&&r<a-w){var e={entryType:"first-input",name:i.type,target:i.target,cancelable:i.cancelable,startTime:i.timeStamp,processingStart:i.timeStamp+r};o.forEach((function(t){t(e)})),o=[]}},b=function(e){if(e.cancelable){var t=(e.timeStamp>1e12?new Date:performance.now())-e.timeStamp;"pointerdown"==e.type?function(e,t){var n=function(){L(e,t),r()},i=function(){r()},r=function(){removeEventListener("pointerup",n,E),removeEventListener("pointercancel",i,E)};addEventListener("pointerup",n,E),addEventListener("pointercancel",i,E)}(t,e):L(t,e)}},F=function(e){["mousedown","keydown","touchstart","pointerdown"].forEach((function(t){return e(t,b,E)}))},C=function(e,t){var n,a=l(),v=u("FID"),d=function(e){e.startTime<a.firstHiddenTime&&(v.value=e.processingStart-e.startTime,v.entries.push(e),n(!0))},p=c("first-input",d);n=m(e,v,t),p&&f((function(){p.takeRecords().map(d),p.disconnect()}),!0),p&&s((function(){var a;v=u("FID"),n=m(e,v,t),o=[],r=-1,i=null,F(addEventListener),a=d,o.push(a),S()}))},k={},P=function(e,t){var n,i=l(),r=u("LCP"),a=function(e){var t=e.startTime;t<i.firstHiddenTime&&(r.value=t,r.entries.push(e),n())},o=c("largest-contentful-paint",a);if(o){n=m(e,r,t);var v=function(){k[r.id]||(o.takeRecords().map(a),o.disconnect(),k[r.id]=!0,n(!0))};["keydown","click"].forEach((function(e){addEventListener(e,v,{once:!0,capture:!0})})),f(v,!0),s((function(i){r=u("LCP"),n=m(e,r,t),requestAnimationFrame((function(){requestAnimationFrame((function(){r.value=performance.now()-i.timeStamp,k[r.id]=!0,n(!0)}))}))}))}},D=function(e){var t,n=u("TTFB");t=function(){try{var t=performance.getEntriesByType("navigation")[0]||function(){var e=performance.timing,t={entryType:"navigation",startTime:0};for(var n in e)"navigationStart"!==n&&"toJSON"!==n&&(t[n]=Math.max(e[n]-e.navigationStart,0));return t}();if(n.value=n.delta=t.responseStart,n.value<0||n.value>performance.now())return;n.entries=[t],e(n)}catch(e){}},"complete"===document.readyState?setTimeout(t,0):addEventListener("load",(function(){return setTimeout(t,0)}))}}}]);
+//# sourceMappingURL=453.8ab44547.chunk.js.map

backend/static/static/js/453.8ab44547.chunk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static/js/453.8ab44547.chunk.js","mappings":"oLAAA,IAAIA,EAAEC,EAAEC,EAAEC,EAAEC,EAAE,SAASJ,EAAEC,GAAG,MAAM,CAACI,KAAKL,EAAEM,WAAM,IAASL,GAAG,EAAEA,EAAEM,MAAM,EAAEC,QAAQ,GAAGC,GAAG,MAAMC,OAAOC,KAAKC,MAAM,KAAKF,OAAOG,KAAKC,MAAM,cAAcD,KAAKE,UAAU,MAAM,EAAEC,EAAE,SAAShB,EAAEC,GAAG,IAAI,GAAGgB,oBAAoBC,oBAAoBC,SAASnB,GAAG,CAAC,GAAG,gBAAgBA,KAAK,2BAA2BoB,MAAM,OAAO,IAAIlB,EAAE,IAAIe,qBAAqB,SAASjB,GAAG,OAAOA,EAAEqB,aAAaC,IAAIrB,EAAE,IAAI,OAAOC,EAAEqB,QAAQ,CAACC,KAAKxB,EAAEyB,UAAS,IAAKvB,CAAC,CAAC,CAAC,MAAMF,GAAG,CAAC,EAAE0B,EAAE,SAAS1B,EAAEC,GAAG,IAAIC,EAAE,SAASA,EAAEC,GAAG,aAAaA,EAAEqB,MAAM,WAAWG,SAASC,kBAAkB5B,EAAEG,GAAGF,IAAI4B,oBAAoB,mBAAmB3B,GAAE,GAAI2B,oBAAoB,WAAW3B,GAAE,IAAK,EAAE4B,iBAAiB,mBAAmB5B,GAAE,GAAI4B,iBAAiB,WAAW5B,GAAE,EAAG,EAAE6B,EAAE,SAAS/B,GAAG8B,iBAAiB,YAAY,SAAS7B,GAAGA,EAAE+B,WAAWhC,EAAEC,EAAE,IAAG,EAAG,EAAEgC,EAAE,SAASjC,EAAEC,EAAEC,GAAG,IAAIC,EAAE,OAAO,SAASC,GAAGH,EAAEK,OAAO,IAAIF,GAAGF,KAAKD,EAAEM,MAAMN,EAAEK,OAAOH,GAAG,IAAIF,EAAEM,YAAO,IAASJ,KAAKA,EAAEF,EAAEK,MAAMN,EAAEC,IAAI,CAAC,EAAEiC,GAAG,EAAEC,EAAE,WAAW,MAAM,WAAWR,SAASC,gBAAgB,EAAE,GAAG,EAAEQ,EAAE,WAAWV,GAAG,SAAS1B,GAAG,IAAIC,EAAED,EAAEqC,UAAUH,EAAEjC,CAAC,IAAG,EAAG,EAAEqC,EAAE,WAAW,OAAOJ,EAAE,IAAIA,EAAEC,IAAIC,IAAIL,GAAG,WAAWQ,YAAY,WAAWL,EAAEC,IAAIC,GAAG,GAAG,EAAE,KAAK,CAAC,mBAAII,GAAkB,OAAON,CAAC,EAAE,EAAEO,EAAE,SAASzC,EAAEC,GAAG,IAAIC,EAAEC,EAAEmC,IAAIZ,EAAEtB,EAAE,OAAO8B,EAAE,SAASlC,GAAG,2BAA2BA,EAAEK,OAAO+B,GAAGA,EAAEM,aAAa1C,EAAE2C,UAAUxC,EAAEqC,kBAAkBd,EAAEpB,MAAMN,EAAE2C,UAAUjB,EAAElB,QAAQoC,KAAK5C,GAAGE,GAAE,IAAK,EAAEiC,EAAEU,OAAOC,aAAaA,YAAYC,kBAAkBD,YAAYC,iBAAiB,0BAA0B,GAAGX,EAAED,EAAE,KAAKnB,EAAE,QAAQkB,IAAIC,GAAGC,KAAKlC,EAAE+B,EAAEjC,EAAE0B,EAAEzB,GAAGkC,GAAGD,EAAEC,GAAGJ,GAAG,SAAS5B,GAAGuB,EAAEtB,EAAE,OAAOF,EAAE+B,EAAEjC,EAAE0B,EAAEzB,GAAG+C,uBAAuB,WAAWA,uBAAuB,WAAWtB,EAAEpB,MAAMwC,YAAYlC,MAAMT,EAAEkC,UAAUnC,GAAE,EAAG,GAAG,GAAG,IAAI,EAAE+C,GAAE,EAAGC,GAAG,EAAEC,EAAE,SAASnD,EAAEC,GAAGgD,IAAIR,GAAG,SAASzC,GAAGkD,EAAElD,EAAEM,KAAK,IAAI2C,GAAE,GAAI,IAAI/C,EAAEC,EAAE,SAASF,GAAGiD,GAAG,GAAGlD,EAAEC,EAAE,EAAEiC,EAAE9B,EAAE,MAAM,GAAG+B,EAAE,EAAEC,EAAE,GAAGE,EAAE,SAAStC,GAAG,IAAIA,EAAEoD,eAAe,CAAC,IAAInD,EAAEmC,EAAE,GAAGjC,EAAEiC,EAAEA,EAAEiB,OAAO,GAAGlB,GAAGnC,EAAE2C,UAAUxC,EAAEwC,UAAU,KAAK3C,EAAE2C,UAAU1C,EAAE0C,UAAU,KAAKR,GAAGnC,EAAEM,MAAM8B,EAAEQ,KAAK5C,KAAKmC,EAAEnC,EAAEM,MAAM8B,EAAE,CAACpC,IAAImC,EAAED,EAAE5B,QAAQ4B,EAAE5B,MAAM6B,EAAED,EAAE1B,QAAQ4B,EAAElC,IAAI,CAAC,EAAEiD,EAAEnC,EAAE,eAAesB,GAAGa,IAAIjD,EAAE+B,EAAE9B,EAAE+B,EAAEjC,GAAGyB,GAAG,WAAWyB,EAAEG,cAAchC,IAAIgB,GAAGpC,GAAE,EAAG,IAAI6B,GAAG,WAAWI,EAAE,EAAEe,GAAG,EAAEhB,EAAE9B,EAAE,MAAM,GAAGF,EAAE+B,EAAE9B,EAAE+B,EAAEjC,EAAE,IAAI,EAAEsD,EAAE,CAACC,SAAQ,EAAGC,SAAQ,GAAIC,EAAE,IAAI/C,KAAKgD,EAAE,SAASxD,EAAEC,GAAGJ,IAAIA,EAAEI,EAAEH,EAAEE,EAAED,EAAE,IAAIS,KAAKiD,EAAE/B,qBAAqBgC,IAAI,EAAEA,EAAE,WAAW,GAAG5D,GAAG,GAAGA,EAAEC,EAAEwD,EAAE,CAAC,IAAItD,EAAE,CAAC0D,UAAU,cAAczD,KAAKL,EAAEwB,KAAKuC,OAAO/D,EAAE+D,OAAOC,WAAWhE,EAAEgE,WAAWrB,UAAU3C,EAAEqC,UAAU4B,gBAAgBjE,EAAEqC,UAAUpC,GAAGE,EAAE+D,SAAS,SAASlE,GAAGA,EAAEI,EAAE,IAAID,EAAE,EAAE,CAAC,EAAEgE,EAAE,SAASnE,GAAG,GAAGA,EAAEgE,WAAW,CAAC,IAAI/D,GAAGD,EAAEqC,UAAU,KAAK,IAAI1B,KAAKmC,YAAYlC,OAAOZ,EAAEqC,UAAU,eAAerC,EAAEwB,KAAK,SAASxB,EAAEC,GAAG,IAAIC,EAAE,WAAWyD,EAAE3D,EAAEC,GAAGG,GAAG,EAAED,EAAE,WAAWC,GAAG,EAAEA,EAAE,WAAWyB,oBAAoB,YAAY3B,EAAEqD,GAAG1B,oBAAoB,gBAAgB1B,EAAEoD,EAAE,EAAEzB,iBAAiB,YAAY5B,EAAEqD,GAAGzB,iBAAiB,gBAAgB3B,EAAEoD,EAAE,CAAhO,CAAkOtD,EAAED,GAAG2D,EAAE1D,EAAED,EAAE,CAAC,EAAE4D,EAAE,SAAS5D,GAAG,CAAC,YAAY,UAAU,aAAa,eAAekE,SAAS,SAASjE,GAAG,OAAOD,EAAEC,EAAEkE,EAAEZ,EAAE,GAAG,EAAEa,EAAE,SAASlE,EAAEgC,GAAG,IAAIC,EAAEC,EAAEE,IAAIG,EAAErC,EAAE,OAAO6C,EAAE,SAASjD,GAAGA,EAAE2C,UAAUP,EAAEI,kBAAkBC,EAAEnC,MAAMN,EAAEiE,gBAAgBjE,EAAE2C,UAAUF,EAAEjC,QAAQoC,KAAK5C,GAAGmC,GAAE,GAAI,EAAEe,EAAElC,EAAE,cAAciC,GAAGd,EAAEF,EAAE/B,EAAEuC,EAAEP,GAAGgB,GAAGxB,GAAG,WAAWwB,EAAEI,cAAchC,IAAI2B,GAAGC,EAAER,YAAY,IAAG,GAAIQ,GAAGnB,GAAG,WAAW,IAAIf,EAAEyB,EAAErC,EAAE,OAAO+B,EAAEF,EAAE/B,EAAEuC,EAAEP,GAAG/B,EAAE,GAAGF,GAAG,EAAED,EAAE,KAAK4D,EAAE9B,kBAAkBd,EAAEiC,EAAE9C,EAAEyC,KAAK5B,GAAG6C,GAAG,GAAG,EAAEQ,EAAE,CAAC,EAAEC,EAAE,SAAStE,EAAEC,GAAG,IAAIC,EAAEC,EAAEmC,IAAIJ,EAAE9B,EAAE,OAAO+B,EAAE,SAASnC,GAAG,IAAIC,EAAED,EAAE2C,UAAU1C,EAAEE,EAAEqC,kBAAkBN,EAAE5B,MAAML,EAAEiC,EAAE1B,QAAQoC,KAAK5C,GAAGE,IAAI,EAAEkC,EAAEpB,EAAE,2BAA2BmB,GAAG,GAAGC,EAAE,CAAClC,EAAE+B,EAAEjC,EAAEkC,EAAEjC,GAAG,IAAIwC,EAAE,WAAW4B,EAAEnC,EAAEzB,MAAM2B,EAAEkB,cAAchC,IAAIa,GAAGC,EAAEM,aAAa2B,EAAEnC,EAAEzB,KAAI,EAAGP,GAAE,GAAI,EAAE,CAAC,UAAU,SAASgE,SAAS,SAASlE,GAAG8B,iBAAiB9B,EAAEyC,EAAE,CAAC8B,MAAK,EAAGd,SAAQ,GAAI,IAAI/B,EAAEe,GAAE,GAAIV,GAAG,SAAS5B,GAAG+B,EAAE9B,EAAE,OAAOF,EAAE+B,EAAEjC,EAAEkC,EAAEjC,GAAG+C,uBAAuB,WAAWA,uBAAuB,WAAWd,EAAE5B,MAAMwC,YAAYlC,MAAMT,EAAEkC,UAAUgC,EAAEnC,EAAEzB,KAAI,EAAGP,GAAE,EAAG,GAAG,GAAG,GAAG,CAAC,EAAEsE,EAAE,SAASxE,GAAG,IAAIC,EAAEC,EAAEE,EAAE,QAAQH,EAAE,WAAW,IAAI,IAAIA,EAAE6C,YAAY2B,iBAAiB,cAAc,IAAI,WAAW,IAAIzE,EAAE8C,YAAY4B,OAAOzE,EAAE,CAAC6D,UAAU,aAAanB,UAAU,GAAG,IAAI,IAAIzC,KAAKF,EAAE,oBAAoBE,GAAG,WAAWA,IAAID,EAAEC,GAAGW,KAAK8D,IAAI3E,EAAEE,GAAGF,EAAE4E,gBAAgB,IAAI,OAAO3E,CAAC,CAAjL,GAAqL,GAAGC,EAAEI,MAAMJ,EAAEK,MAAMN,EAAE4E,cAAc3E,EAAEI,MAAM,GAAGJ,EAAEI,MAAMwC,YAAYlC,MAAM,OAAOV,EAAEM,QAAQ,CAACP,GAAGD,EAAEE,EAAE,CAAC,MAAMF,GAAG,CAAC,EAAE,aAAa2B,SAASmD,WAAWvC,WAAWtC,EAAE,GAAG6B,iBAAiB,QAAQ,WAAW,OAAOS,WAAWtC,EAAE,EAAE,GAAG,C","sources":["../node_modules/web-vitals/dist/web-vitals.js"],"sourcesContent":["var e,t,n,i,r=function(e,t){return{name:e,value:void 0===t?-1:t,delta:0,entries:[],id:\"v2-\".concat(Date.now(),\"-\").concat(Math.floor(8999999999999*Math.random())+1e12)}},a=function(e,t){try{if(PerformanceObserver.supportedEntryTypes.includes(e)){if(\"first-input\"===e&&!(\"PerformanceEventTiming\"in self))return;var n=new PerformanceObserver((function(e){return e.getEntries().map(t)}));return n.observe({type:e,buffered:!0}),n}}catch(e){}},o=function(e,t){var n=function n(i){\"pagehide\"!==i.type&&\"hidden\"!==document.visibilityState||(e(i),t&&(removeEventListener(\"visibilitychange\",n,!0),removeEventListener(\"pagehide\",n,!0)))};addEventListener(\"visibilitychange\",n,!0),addEventListener(\"pagehide\",n,!0)},u=function(e){addEventListener(\"pageshow\",(function(t){t.persisted&&e(t)}),!0)},c=function(e,t,n){var i;return function(r){t.value>=0&&(r||n)&&(t.delta=t.value-(i||0),(t.delta||void 0===i)&&(i=t.value,e(t)))}},f=-1,s=function(){return\"hidden\"===document.visibilityState?0:1/0},m=function(){o((function(e){var t=e.timeStamp;f=t}),!0)},v=function(){return f<0&&(f=s(),m(),u((function(){setTimeout((function(){f=s(),m()}),0)}))),{get firstHiddenTime(){return f}}},d=function(e,t){var n,i=v(),o=r(\"FCP\"),f=function(e){\"first-contentful-paint\"===e.name&&(m&&m.disconnect(),e.startTime<i.firstHiddenTime&&(o.value=e.startTime,o.entries.push(e),n(!0)))},s=window.performance&&performance.getEntriesByName&&performance.getEntriesByName(\"first-contentful-paint\")[0],m=s?null:a(\"paint\",f);(s||m)&&(n=c(e,o,t),s&&f(s),u((function(i){o=r(\"FCP\"),n=c(e,o,t),requestAnimationFrame((function(){requestAnimationFrame((function(){o.value=performance.now()-i.timeStamp,n(!0)}))}))})))},p=!1,l=-1,h=function(e,t){p||(d((function(e){l=e.value})),p=!0);var n,i=function(t){l>-1&&e(t)},f=r(\"CLS\",0),s=0,m=[],v=function(e){if(!e.hadRecentInput){var t=m[0],i=m[m.length-1];s&&e.startTime-i.startTime<1e3&&e.startTime-t.startTime<5e3?(s+=e.value,m.push(e)):(s=e.value,m=[e]),s>f.value&&(f.value=s,f.entries=m,n())}},h=a(\"layout-shift\",v);h&&(n=c(i,f,t),o((function(){h.takeRecords().map(v),n(!0)})),u((function(){s=0,l=-1,f=r(\"CLS\",0),n=c(i,f,t)})))},T={passive:!0,capture:!0},y=new Date,g=function(i,r){e||(e=r,t=i,n=new Date,w(removeEventListener),E())},E=function(){if(t>=0&&t<n-y){var r={entryType:\"first-input\",name:e.type,target:e.target,cancelable:e.cancelable,startTime:e.timeStamp,processingStart:e.timeStamp+t};i.forEach((function(e){e(r)})),i=[]}},S=function(e){if(e.cancelable){var t=(e.timeStamp>1e12?new Date:performance.now())-e.timeStamp;\"pointerdown\"==e.type?function(e,t){var n=function(){g(e,t),r()},i=function(){r()},r=function(){removeEventListener(\"pointerup\",n,T),removeEventListener(\"pointercancel\",i,T)};addEventListener(\"pointerup\",n,T),addEventListener(\"pointercancel\",i,T)}(t,e):g(t,e)}},w=function(e){[\"mousedown\",\"keydown\",\"touchstart\",\"pointerdown\"].forEach((function(t){return e(t,S,T)}))},L=function(n,f){var s,m=v(),d=r(\"FID\"),p=function(e){e.startTime<m.firstHiddenTime&&(d.value=e.processingStart-e.startTime,d.entries.push(e),s(!0))},l=a(\"first-input\",p);s=c(n,d,f),l&&o((function(){l.takeRecords().map(p),l.disconnect()}),!0),l&&u((function(){var a;d=r(\"FID\"),s=c(n,d,f),i=[],t=-1,e=null,w(addEventListener),a=p,i.push(a),E()}))},b={},F=function(e,t){var n,i=v(),f=r(\"LCP\"),s=function(e){var t=e.startTime;t<i.firstHiddenTime&&(f.value=t,f.entries.push(e),n())},m=a(\"largest-contentful-paint\",s);if(m){n=c(e,f,t);var d=function(){b[f.id]||(m.takeRecords().map(s),m.disconnect(),b[f.id]=!0,n(!0))};[\"keydown\",\"click\"].forEach((function(e){addEventListener(e,d,{once:!0,capture:!0})})),o(d,!0),u((function(i){f=r(\"LCP\"),n=c(e,f,t),requestAnimationFrame((function(){requestAnimationFrame((function(){f.value=performance.now()-i.timeStamp,b[f.id]=!0,n(!0)}))}))}))}},P=function(e){var t,n=r(\"TTFB\");t=function(){try{var t=performance.getEntriesByType(\"navigation\")[0]||function(){var e=performance.timing,t={entryType:\"navigation\",startTime:0};for(var n in e)\"navigationStart\"!==n&&\"toJSON\"!==n&&(t[n]=Math.max(e[n]-e.navigationStart,0));return t}();if(n.value=n.delta=t.responseStart,n.value<0||n.value>performance.now())return;n.entries=[t],e(n)}catch(e){}},\"complete\"===document.readyState?setTimeout(t,0):addEventListener(\"load\",(function(){return setTimeout(t,0)}))};export{h as getCLS,d as getFCP,L as getFID,F as getLCP,P as getTTFB};\n"],"names":["e","t","n","i","r","name","value","delta","entries","id","concat","Date","now","Math","floor","random","a","PerformanceObserver","supportedEntryTypes","includes","self","getEntries","map","observe","type","buffered","o","document","visibilityState","removeEventListener","addEventListener","u","persisted","c","f","s","m","timeStamp","v","setTimeout","firstHiddenTime","d","disconnect","startTime","push","window","performance","getEntriesByName","requestAnimationFrame","p","l","h","hadRecentInput","length","takeRecords","T","passive","capture","y","g","w","E","entryType","target","cancelable","processingStart","forEach","S","L","b","F","once","P","getEntriesByType","timing","max","navigationStart","responseStart","readyState"],"sourceRoot":""}

backend/static/static/js/main.ee989f30.js.LICENSE.txt

@@ -0,0 +1,49 @@
+/**
+ * @license React
+ * react-dom-client.production.js
+ *
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+/**
+ * @license React
+ * react-dom.production.js
+ *
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+/**
+ * @license React
+ * react-jsx-runtime.production.js
+ *
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+/**
+ * @license React
+ * react.production.js
+ *
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+/**
+ * @license React
+ * scheduler.production.js
+ *
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */

frontend/.gitignore

@@ -0,0 +1,23 @@
+# See https://help.github.com/articles/ignoring-files/ for more about ignoring files.
+
+# dependencies
+/node_modules
+/.pnp
+.pnp.js
+
+# testing
+/coverage
+
+# production
+/build
+
+# misc
+.DS_Store
+.env.local
+.env.development.local
+.env.test.local
+.env.production.local
+
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*

frontend/README.md

@@ -0,0 +1,70 @@
+# Getting Started with Create React App
+
+This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).
+
+## Available Scripts
+
+In the project directory, you can run:
+
+### `npm start`
+
+Runs the app in the development mode.\
+Open [http://localhost:3000](http://localhost:3000) to view it in your browser.
+
+The page will reload when you make changes.\
+You may also see any lint errors in the console.
+
+### `npm test`
+
+Launches the test runner in the interactive watch mode.\
+See the section about [running tests](https://facebook.github.io/create-react-app/docs/running-tests) for more information.
+
+### `npm run build`
+
+Builds the app for production to the `build` folder.\
+It correctly bundles React in production mode and optimizes the build for the best performance.
+
+The build is minified and the filenames include the hashes.\
+Your app is ready to be deployed!
+
+See the section about [deployment](https://facebook.github.io/create-react-app/docs/deployment) for more information.
+
+### `npm run eject`
+
+**Note: this is a one-way operation. Once you `eject`, you can't go back!**
+
+If you aren't satisfied with the build tool and configuration choices, you can `eject` at any time. This command will remove the single build dependency from your project.
+
+Instead, it will copy all the configuration files and the transitive dependencies (webpack, Babel, ESLint, etc) right into your project so you have full control over them. All of the commands except `eject` will still work, but they will point to the copied scripts so you can tweak them. At this point you're on your own.
+
+You don't have to ever use `eject`. The curated feature set is suitable for small and middle deployments, and you shouldn't feel obligated to use this feature. However we understand that this tool wouldn't be useful if you couldn't customize it when you are ready for it.
+
+## Learn More
+
+You can learn more in the [Create React App documentation](https://facebook.github.io/create-react-app/docs/getting-started).
+
+To learn React, check out the [React documentation](https://reactjs.org/).
+
+### Code Splitting
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/code-splitting](https://facebook.github.io/create-react-app/docs/code-splitting)
+
+### Analyzing the Bundle Size
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/analyzing-the-bundle-size](https://facebook.github.io/create-react-app/docs/analyzing-the-bundle-size)
+
+### Making a Progressive Web App
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/making-a-progressive-web-app](https://facebook.github.io/create-react-app/docs/making-a-progressive-web-app)
+
+### Advanced Configuration
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/advanced-configuration](https://facebook.github.io/create-react-app/docs/advanced-configuration)
+
+### Deployment
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/deployment](https://facebook.github.io/create-react-app/docs/deployment)
+
+### `npm run build` fails to minify
+
+This section has moved here: [https://facebook.github.io/create-react-app/docs/troubleshooting#npm-run-build-fails-to-minify](https://facebook.github.io/create-react-app/docs/troubleshooting#npm-run-build-fails-to-minify)

frontend/package.json

@@ -0,0 +1,39 @@
+{
+  "name": "frontend",
+  "version": "0.1.0",
+  "private": true,
+  "dependencies": {
+    "@testing-library/dom": "^10.4.0",
+    "@testing-library/jest-dom": "^6.6.3",
+    "@testing-library/react": "^16.2.0",
+    "@testing-library/user-event": "^13.5.0",
+    "react": "^19.0.0",
+    "react-dom": "^19.0.0",
+    "react-scripts": "5.0.1",
+    "web-vitals": "^2.1.4"
+  },
+  "scripts": {
+    "start": "react-scripts start",
+    "build": "react-scripts build",
+    "test": "react-scripts test",
+    "eject": "react-scripts eject"
+  },
+  "eslintConfig": {
+    "extends": [
+      "react-app",
+      "react-app/jest"
+    ]
+  },
+  "browserslist": {
+    "production": [
+      ">0.2%",
+      "not dead",
+      "not op_mini all"
+    ],
+    "development": [
+      "last 1 chrome version",
+      "last 1 firefox version",
+      "last 1 safari version"
+    ]
+  }
+}

frontend/public/index.html

@@ -0,0 +1,43 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <link rel="icon" href="%PUBLIC_URL%/favicon.ico" />
+    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <meta name="theme-color" content="#000000" />
+    <meta
+      name="description"
+      content="Web site created using create-react-app"
+    />
+    <link rel="apple-touch-icon" href="%PUBLIC_URL%/logo192.png" />
+    <!--
+      manifest.json provides metadata used when your web app is installed on a
+      user's mobile device or desktop. See https://developers.google.com/web/fundamentals/web-app-manifest/
+    -->
+    <link rel="manifest" href="%PUBLIC_URL%/manifest.json" />
+    <!--
+      Notice the use of %PUBLIC_URL% in the tags above.
+      It will be replaced with the URL of the `public` folder during the build.
+      Only files inside the `public` folder can be referenced from the HTML.
+
+      Unlike "/favicon.ico" or "favicon.ico", "%PUBLIC_URL%/favicon.ico" will
+      work correctly both with client-side routing and a non-root public URL.
+      Learn how to configure a non-root public URL by running `npm run build`.
+    -->
+    <title>React App</title>
+  </head>
+  <body>
+    <noscript>You need to enable JavaScript to run this app.</noscript>
+    <div id="root"></div>
+    <!--
+      This HTML file is a template.
+      If you open it directly in the browser, you will see an empty page.
+
+      You can add webfonts, meta tags, or analytics to this file.
+      The build step will place the bundled scripts into the <body> tag.
+
+      To begin the development, run `npm start` or `yarn start`.
+      To create a production bundle, use `npm run build` or `yarn build`.
+    -->
+  </body>
+</html>

frontend/public/manifest.json

@@ -0,0 +1,25 @@
+{
+  "short_name": "React App",
+  "name": "Create React App Sample",
+  "icons": [
+    {
+      "src": "favicon.ico",
+      "sizes": "64x64 32x32 24x24 16x16",
+      "type": "image/x-icon"
+    },
+    {
+      "src": "logo192.png",
+      "type": "image/png",
+      "sizes": "192x192"
+    },
+    {
+      "src": "logo512.png",
+      "type": "image/png",
+      "sizes": "512x512"
+    }
+  ],
+  "start_url": ".",
+  "display": "standalone",
+  "theme_color": "#000000",
+  "background_color": "#ffffff"
+}

frontend/public/robots.txt

@@ -0,0 +1,3 @@
+# https://www.robotstxt.org/robotstxt.html
+User-agent: *
+Disallow:

frontend/src/App.css

@@ -0,0 +1,38 @@
+.App {
+  text-align: center;
+}
+
+.App-logo {
+  height: 40vmin;
+  pointer-events: none;
+}
+
+@media (prefers-reduced-motion: no-preference) {
+  .App-logo {
+    animation: App-logo-spin infinite 20s linear;
+  }
+}
+
+.App-header {
+  background-color: #282c34;
+  min-height: 100vh;
+  display: flex;
+  flex-direction: column;
+  align-items: center;
+  justify-content: center;
+  font-size: calc(10px + 2vmin);
+  color: white;
+}
+
+.App-link {
+  color: #61dafb;
+}
+
+@keyframes App-logo-spin {
+  from {
+    transform: rotate(0deg);
+  }
+  to {
+    transform: rotate(360deg);
+  }
+}

frontend/src/App.js

@@ -0,0 +1,130 @@
+// frontend/src/App.js
+import React, { useState, useEffect } from 'react';
+
+function App() {
+  // 用于存储 puzzle index 及其 puzzle 数据
+  const [puzzleIndex, setPuzzleIndex] = useState(0);
+  const [puzzleText, setPuzzleText] = useState("");
+  const [expectedSolution, setExpectedSolution] = useState(null);
+
+  // sysContent 如果用户不改，就用默认 Example.txt
+  const [sysContent, setSysContent] = useState("");
+
+  // 交互结果
+  const [modelResponse, setModelResponse] = useState("");
+  const [generatedCode, setGeneratedCode] = useState("");
+  const [executionSuccess, setExecutionSuccess] = useState(null);
+  const [attempts, setAttempts] = useState(0);
+
+  // 前端先获取默认 sysContent
+  useEffect(() => {
+    fetch("http://localhost:5000/default_sys_content")
+      .then(res => res.json())
+      .then(data => {
+        if(data.success) {
+          setSysContent(data.sysContent);
+        }
+      })
+      .catch(e => console.error(e));
+  }, []);
+
+  // 当 puzzleIndex 改变时，自动获取对应 puzzle
+  useEffect(() => {
+    fetch(`http://localhost:5000/get_puzzle?index=${puzzleIndex}`)
+      .then(res => res.json())
+      .then(data => {
+        if(data.success) {
+          setPuzzleText(data.puzzle);
+          setExpectedSolution(data.expected_solution);
+        } else {
+          console.error("获取 puzzle 失败", data.error);
+          setPuzzleText("");
+          setExpectedSolution(null);
+        }
+      })
+      .catch(e => console.error(e));
+  }, [puzzleIndex]);
+
+  const handleSolve = () => {
+    if(!puzzleText || !expectedSolution) {
+      alert("puzzle 或 expectedSolution 不完整");
+      return;
+    }
+    const payload = {
+      index: puzzleIndex,
+      puzzle: puzzleText,
+      expected_solution: expectedSolution,
+      sys_content: sysContent
+    };
+
+    fetch("http://localhost:5000/solve", {
+      method: "POST",
+      headers: { "Content-Type": "application/json" },
+      body: JSON.stringify(payload)
+    })
+    .then(res => res.json())
+    .then(data => {
+      if(!data.success) {
+        alert("后端处理错误: " + data.error);
+        return;
+      }
+      const result = data.result;
+      setModelResponse(result.modelResponse || "");
+      setGeneratedCode(result.generatedCode || "");
+      setExecutionSuccess(result.success);
+      setAttempts(result.attempts || 0);
+    })
+    .catch(e => console.error(e));
+  };
+
+  return (
+    <div style={{ margin: 20 }}>
+      <h1>Zebra Puzzle Demo</h1>
+
+      <div style={{ marginBottom: 20 }}>
+        <label>选择 puzzle index (0 - 999): </label>
+        <input
+          type="number"
+          value={puzzleIndex}
+          onChange={(e) => setPuzzleIndex(Number(e.target.value))}
+          min={0}
+          max={999}
+        />
+        <button onClick={() => setPuzzleIndex(puzzleIndex)}>Load Puzzle</button>
+      </div>
+
+      <div style={{ marginBottom: 20 }}>
+        <h3>Puzzle Text</h3>
+        <pre>{puzzleText}</pre>
+        <h3>Expected Solution</h3>
+        <pre>{JSON.stringify(expectedSolution, null, 2)}</pre>
+      </div>
+
+      <div style={{ marginBottom: 20 }}>
+        <h3>sys_content (可编辑)</h3>
+        <textarea
+          rows={10}
+          cols={80}
+          value={sysContent}
+          onChange={(e) => setSysContent(e.target.value)}
+        />
+      </div>
+
+      <div style={{ marginBottom: 20 }}>
+        <button onClick={handleSolve}>Solve Puzzle with LLM</button>
+      </div>
+
+      <div>
+        <h2>Result</h2>
+        <p>Success: {executionSuccess === null ? "N/A" : executionSuccess ? "✅" : "❌"}</p>
+        <p>Attempts: {attempts}</p>
+        <h3>Generated Code</h3>
+        <pre>{generatedCode}</pre>
+        <h3>Model Response</h3>
+        <pre>{modelResponse}</pre>
+      </div>
+    </div>
+  );
+}
+
+export default App;

frontend/src/App.test.js

@@ -0,0 +1,8 @@
+import { render, screen } from '@testing-library/react';
+import App from './App';
+
+test('renders learn react link', () => {
+  render(<App />);
+  const linkElement = screen.getByText(/learn react/i);
+  expect(linkElement).toBeInTheDocument();
+});

frontend/src/index.css

@@ -0,0 +1,13 @@
+body {
+  margin: 0;
+  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Oxygen',
+    'Ubuntu', 'Cantarell', 'Fira Sans', 'Droid Sans', 'Helvetica Neue',
+    sans-serif;
+  -webkit-font-smoothing: antialiased;
+  -moz-osx-font-smoothing: grayscale;
+}
+
+code {
+  font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',
+    monospace;
+}

frontend/src/index.js

@@ -0,0 +1,17 @@
+import React from 'react';
+import ReactDOM from 'react-dom/client';
+import './index.css';
+import App from './App';
+import reportWebVitals from './reportWebVitals';
+
+const root = ReactDOM.createRoot(document.getElementById('root'));
+root.render(
+  <React.StrictMode>
+    <App />
+  </React.StrictMode>
+);
+
+// If you want to start measuring performance in your app, pass a function
+// to log results (for example: reportWebVitals(console.log))
+// or send to an analytics endpoint. Learn more: https://bit.ly/CRA-vitals
+reportWebVitals();

frontend/src/reportWebVitals.js

@@ -0,0 +1,13 @@
+const reportWebVitals = onPerfEntry => {
+  if (onPerfEntry && onPerfEntry instanceof Function) {
+    import('web-vitals').then(({ getCLS, getFID, getFCP, getLCP, getTTFB }) => {
+      getCLS(onPerfEntry);
+      getFID(onPerfEntry);
+      getFCP(onPerfEntry);
+      getLCP(onPerfEntry);
+      getTTFB(onPerfEntry);
+    });
+  }
+};
+
+export default reportWebVitals;

frontend/src/setupTests.js

@@ -0,0 +1,5 @@
+// jest-dom adds custom jest matchers for asserting on DOM nodes.
+// allows you to do things like:
+// expect(element).toHaveTextContent(/react/i)
+// learn more: https://github.com/testing-library/jest-dom
+import '@testing-library/jest-dom';