synth-ai 0.2.4.dev4__py3-none-any.whl → 0.2.4.dev5__py3-none-any.whl

synth_ai/environments/examples/verilog/taskset.py

@@ -0,0 +1,418 @@
+from synth_ai.environments.tasks.core import (
+    Task,
+    TaskInstance,
+    TaskInstanceMetadata,
+    TaskInstanceSet,
+    SplitInfo,
+    Impetus,
+    Intent,
+)
+from uuid import uuid4, UUID
+from dataclasses import dataclass, asdict, fields
+from typing import Optional
+from pathlib import Path
+import tempfile
+import os
+import shutil
+import atexit
+from datasets import load_dataset
+
+# Global list to track temp directories for cleanup
+_temp_dirs = []
+
+
+def _cleanup_temp_dirs():
+    """Clean up all temporary directories created during task instances."""
+    for temp_dir in _temp_dirs:
+        try:
+            if os.path.exists(temp_dir):
+                shutil.rmtree(temp_dir)
+        except Exception:
+            pass  # Ignore cleanup errors
+    _temp_dirs.clear()
+
+
+# Register cleanup function to run at exit
+atexit.register(_cleanup_temp_dirs)
+
+verilog_task = Task(
+    global_premises="Implement and verify Verilog hardware designs",
+    global_constraints="Must pass testbench verification",
+    global_objectives="Write correct Verilog code that passes all tests",
+    shared_env_params={},
+)
+
+
+@dataclass
+class VerilogTaskInstanceMetadata(TaskInstanceMetadata):
+    problem_name: str
+    difficulty: str
+    description: str
+    files_provided: list[str]
+
+
+@dataclass
+class VerilogTaskInstance(TaskInstance):
+    pristine_dir: Optional[str] = None
+    snapshot_dir: Optional[str] = None
+
+    async def serialize(self) -> dict:
+        data = asdict(self)
+        if "id" in data and isinstance(data["id"], UUID):
+            data["id"] = str(data["id"])
+        if "intent" in data and data["intent"] is not None:
+            if "deterministic_eval_functions" in data["intent"]:
+                data["intent"]["deterministic_eval_functions"] = []
+        return data
+
+    @classmethod
+    async def deserialize(cls, data: dict) -> "VerilogTaskInstance":
+        """Gracefully accept non-UUID ids and rebuild required objects."""
+        if "id" in data:
+            try:
+                data["id"] = UUID(str(data["id"]))
+            except (ValueError, TypeError, AttributeError):
+                pass  # keep original string
+
+        if "impetus" in data and isinstance(data["impetus"], dict):
+            impetus_data = data["impetus"]
+            # Ensure instructions field exists with default if missing
+            if "instructions" not in impetus_data:
+                impetus_data["instructions"] = "Implement the Verilog module"
+            data["impetus"] = Impetus(**impetus_data)
+
+        if "intent" in data and isinstance(data["intent"], dict):
+            intent_data = data["intent"]
+            if "deterministic_eval_functions" not in intent_data:
+                intent_data["deterministic_eval_functions"] = []
+            # Provide default values for required fields if missing
+            if "rubric" not in intent_data:
+                intent_data["rubric"] = {"goal": "Pass all testbench tests"}
+            if "gold_trajectories" not in intent_data:
+                intent_data["gold_trajectories"] = None
+            if "gold_state_diff" not in intent_data:
+                intent_data["gold_state_diff"] = {}
+            data["intent"] = Intent(**intent_data)
+
+        if "metadata" in data and isinstance(data["metadata"], dict):
+            metadata_data = data["metadata"]
+            # Ensure required fields exist with defaults if missing
+            if "problem_name" not in metadata_data:
+                metadata_data["problem_name"] = "unknown"
+            if "difficulty" not in metadata_data:
+                metadata_data["difficulty"] = "medium"
+            if "description" not in metadata_data:
+                metadata_data["description"] = "Verilog implementation task"
+            if "files_provided" not in metadata_data:
+                metadata_data["files_provided"] = []
+            data["metadata"] = VerilogTaskInstanceMetadata(**metadata_data)
+
+        constructor_field_names = {f.name for f in fields(cls)}
+        filtered_data = {k: v for k, v in data.items() if k in constructor_field_names}
+
+        # Add default values for required fields if missing
+        if "is_reproducible" not in filtered_data:
+            filtered_data["is_reproducible"] = True
+        if "initial_engine_snapshot" not in filtered_data:
+            filtered_data["initial_engine_snapshot"] = None
+
+        return cls(**filtered_data)
+
+
+async def create_verilog_taskset(max_instances: int = 10) -> TaskInstanceSet:
+    """Create a Verilog task set from HuggingFace VerilogEval v2 dataset."""
+    # Load VerilogEval v2 dataset from HuggingFace
+    ds = load_dataset("dakies/nvlabs-verilogeval-v2-spec-to-rtl", split="test")
+
+    instances = []
+
+    # Limit the number of instances for faster testing
+    dataset_size = min(max_instances, len(ds))  # type: ignore[arg-type]
+
+    # Convert each dataset item to VerilogTaskInstance
+    for i in range(dataset_size):
+        item = ds[i]
+        instance = _create_hf_task_instance(item, i)
+        instances.append(instance)
+
+    # Create split info - use first 80% for validation, last 20% for test
+    total_instances = len(instances)
+    val_split = int(0.8 * total_instances)
+
+    val_ids = {inst.id for inst in instances[:val_split]}
+    test_ids = {inst.id for inst in instances[val_split:]}
+
+    split_info = SplitInfo(
+        val_instance_ids=val_ids,
+        test_instance_ids=test_ids,
+        _is_split_defined=True,
+    )
+
+    return TaskInstanceSet(
+        name="VerilogEval v2 TaskSet",
+        description="VerilogEval v2 spec-to-RTL tasks from HuggingFace",
+        instances=instances,
+        split_info=split_info,
+    )
+
+
+def _create_hf_task_instance(item, index: int) -> VerilogTaskInstance:
+    """Create a VerilogTaskInstance from a HuggingFace dataset item."""
+    instance_id = uuid4()
+
+    # Create temporary directory for this task
+    temp_dir = tempfile.mkdtemp(prefix=f"verilog_hf_{index}_{instance_id}_")
+    _temp_dirs.append(temp_dir)  # Track for cleanup
+    pristine_dir = Path(temp_dir)
+    pristine_dir.mkdir(exist_ok=True)
+
+    # Extract information from dataset item
+    problem_id = item["problem_id"]
+    prompt = item["prompt"]
+    testbench = item["test"]
+    ref_solution = item["ref"]
+
+    # Create incomplete module template (TopModule is the expected name in tests)
+    module_content = (
+        """module TopModule();
+    // TODO: Implement the module based on the specification below
+    /*
+    Specification:
+    """
+        + prompt.strip()
+        + """
+    */
+endmodule"""
+    )
+
+    # Write files to pristine directory
+    module_file = "TopModule.v"
+    testbench_file = f"{problem_id}_tb.v"
+    ref_file = "RefModule.v"
+
+    (pristine_dir / module_file).write_text(module_content)
+    (pristine_dir / testbench_file).write_text(testbench)
+    (pristine_dir / ref_file).write_text(ref_solution)  # Include reference module
+
+    files_provided = [module_file, testbench_file, ref_file]
+
+    # Create task components
+    impetus = Impetus(
+        instructions=f"Problem: {problem_id}\n\n{prompt.strip()}\n\nImplement the TopModule according to the specification. The testbench will verify your implementation."
+    )
+
+    intent = Intent(
+        rubric={
+            "goal": f"Implement correct TopModule for {problem_id} that passes testbench verification"
+        },
+        gold_trajectories=None,
+        gold_state_diff={},
+    )
+
+    metadata = VerilogTaskInstanceMetadata(
+        problem_name=problem_id,
+        difficulty="medium",  # VerilogEval doesn't specify difficulty levels
+        description=prompt.strip(),  # Full description
+        files_provided=files_provided,
+    )
+
+    # Create snapshot directory and track for cleanup
+    snapshot_dir = tempfile.mkdtemp(prefix=f"verilog_snapshot_{instance_id}_")
+    _temp_dirs.append(snapshot_dir)
+
+    return VerilogTaskInstance(
+        id=instance_id,
+        impetus=impetus,
+        intent=intent,
+        metadata=metadata,
+        is_reproducible=True,
+        initial_engine_snapshot=None,
+        pristine_dir=str(pristine_dir),
+        snapshot_dir=snapshot_dir,
+    )
+
+
+def _create_adder_task() -> VerilogTaskInstance:
+    """Create a simple 4-bit adder task."""
+    instance_id = uuid4()
+
+    # Create temporary directory for this task
+    temp_dir = tempfile.mkdtemp(prefix=f"verilog_adder_{instance_id}_")
+    _temp_dirs.append(temp_dir)  # Track for cleanup
+
+    # Write adder testbench
+    adder_tb_content = """`timescale 1ns/1ps
+module adder4_tb;
+    reg [3:0] a, b;
+    wire [4:0] sum;
+    
+    adder4 dut(.a(a), .b(b), .sum(sum));
+    
+    initial begin
+        a = 4'b0000; b = 4'b0000; #10;
+        if (sum != 5'b00000) $fatal(1, "Test failed: 0 + 0 != 0");
+        
+        a = 4'b0001; b = 4'b0001; #10;
+        if (sum != 5'b00010) $fatal(1, "Test failed: 1 + 1 != 2");
+        
+        a = 4'b1111; b = 4'b0001; #10;
+        if (sum != 5'b10000) $fatal(1, "Test failed: 15 + 1 != 16");
+        
+        $display("ALL_TESTS_PASSED");
+        $finish;
+    end
+endmodule"""
+
+    # Write incomplete adder module (for student to complete)
+    adder_content = """module adder4(
+    input [3:0] a,
+    input [3:0] b,
+    output [4:0] sum
+);
+    // TODO: Implement 4-bit adder
+    // assign sum = ?;
+endmodule"""
+
+    pristine_dir = Path(temp_dir)
+    pristine_dir.mkdir(exist_ok=True)
+
+    (pristine_dir / "adder4_tb.v").write_text(adder_tb_content)
+    (pristine_dir / "adder4.v").write_text(adder_content)
+
+    impetus = Impetus(
+        instructions="Implement a 4-bit adder module that takes two 4-bit inputs 'a' and 'b' and produces a 5-bit output 'sum'."
+    )
+
+    intent = Intent(
+        rubric="Implement correct 4-bit adder that passes testbench",
+        gold_trajectories=None,
+        gold_state_diff={},
+    )
+
+    metadata = VerilogTaskInstanceMetadata(
+        problem_name="adder4",
+        difficulty="easy",
+        description="4-bit adder implementation",
+        files_provided=["adder4.v", "adder4_tb.v"],
+    )
+
+    return VerilogTaskInstance(
+        id=instance_id,
+        impetus=impetus,
+        intent=intent,
+        metadata=metadata,
+        is_reproducible=True,
+        initial_engine_snapshot=None,
+        pristine_dir=str(pristine_dir),
+        snapshot_dir=(
+            lambda: (
+                _temp_dirs.append(d := tempfile.mkdtemp(prefix=f"verilog_snapshot_{instance_id}_")),
+                d,
+            )[1]
+        )(),
+    )
+
+
+def _create_and_gate_task() -> VerilogTaskInstance:
+    """Create a simple AND gate task."""
+    instance_id = uuid4()
+
+    # Create temporary directory for this task
+    temp_dir = tempfile.mkdtemp(prefix=f"verilog_and_{instance_id}_")
+    _temp_dirs.append(temp_dir)  # Track for cleanup
+
+    # Write AND gate testbench
+    and_tb_content = """`timescale 1ns/1ps
+module and_gate_tb;
+    reg a, b;
+    wire y;
+    
+    and_gate dut(.a(a), .b(b), .y(y));
+    
+    initial begin
+        a = 0; b = 0; #10;
+        if (y != 0) $fatal(1, "Test failed: 0 AND 0 != 0");
+        
+        a = 0; b = 1; #10;
+        if (y != 0) $fatal(1, "Test failed: 0 AND 1 != 0");
+        
+        a = 1; b = 0; #10;
+        if (y != 0) $fatal(1, "Test failed: 1 AND 0 != 0");
+        
+        a = 1; b = 1; #10;
+        if (y != 1) $fatal(1, "Test failed: 1 AND 1 != 1");
+        
+        $display("ALL_TESTS_PASSED");
+        $finish;
+    end
+endmodule"""
+
+    # Write incomplete AND gate module
+    and_content = """module and_gate(
+    input a,
+    input b,
+    output y
+);
+    // TODO: Implement AND gate
+    // assign y = ?;
+endmodule"""
+
+    pristine_dir = Path(temp_dir)
+    pristine_dir.mkdir(exist_ok=True)
+
+    (pristine_dir / "and_gate_tb.v").write_text(and_tb_content)
+    (pristine_dir / "and_gate.v").write_text(and_content)
+
+    impetus = Impetus(
+        instructions="Implement an AND gate module that takes two inputs 'a' and 'b' and produces output 'y'."
+    )
+
+    intent = Intent(
+        rubric="Implement correct AND gate that passes testbench",
+        gold_trajectories=None,
+        gold_state_diff={},
+    )
+
+    metadata = VerilogTaskInstanceMetadata(
+        problem_name="and_gate",
+        difficulty="easy",
+        description="Basic AND gate implementation",
+        files_provided=["and_gate.v", "and_gate_tb.v"],
+    )
+
+    return VerilogTaskInstance(
+        id=instance_id,
+        impetus=impetus,
+        intent=intent,
+        metadata=metadata,
+        is_reproducible=True,
+        initial_engine_snapshot=None,
+        pristine_dir=str(pristine_dir),
+        snapshot_dir=(
+            lambda: (
+                _temp_dirs.append(d := tempfile.mkdtemp(prefix=f"verilog_snapshot_{instance_id}_")),
+                d,
+            )[1]
+        )(),
+    )
+
+
+# Example usage
+if __name__ == "__main__":
+    import asyncio
+
+    async def main():
+        taskset = await create_verilog_taskset()
+
+        serialized = await asyncio.gather(*(inst.serialize() for inst in taskset.instances))
+
+        print(f"Created {len(serialized)} Verilog task instances")
+
+        # Print summary
+        for i, inst in enumerate(taskset.instances):
+            print(f"Task {i + 1}: {inst.metadata.problem_name} ({inst.metadata.difficulty})")
+            print(f"  Description: {inst.metadata.description}")
+            print(f"  Files: {inst.metadata.files_provided}")
+            print()
+
+    asyncio.run(main())

{synth_ai-0.2.4.dev4.dist-info → synth_ai-0.2.4.dev5.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: synth-ai
-Version: 0.2.4.dev4
+Version: 0.2.4.dev5
 Summary: Software for aiding the best and multiplying the will - Core AI functionality and tracing
 Author-email: Synth AI <josh@usesynth.ai>
 License-Expression: MIT

{synth_ai-0.2.4.dev4.dist-info → synth_ai-0.2.4.dev5.dist-info}/RECORD

@@ -29,6 +29,104 @@ synth_ai/environments/environment/resources/sqlite.py,sha256=_kKSF2SUGN1E61Hq7AZ
 synth_ai/environments/environment/rewards/__init__.py,sha256=5TpSHuCNeRy0W5N55ITVVoAI6oNYre9usbPhFnDrc7I,18
 synth_ai/environments/environment/rewards/core.py,sha256=NPy6EmpBzeWlEulIvWXh12aJqQ71_X7rqzgVu85myXk,888
 synth_ai/environments/environment/tools/__init__.py,sha256=hl244E3Zy4RYMtCzz0RPpFTTqYCh0IckRrdN7mGafoc,6910
+synth_ai/environments/examples/__init__.py,sha256=POgz9O4n1tvPAW1rYNUNeQGrMlWxoPDmyht85o5Po0s,38
+synth_ai/environments/examples/crafter_classic/__init__.py,sha256=waICaSbO19tTJpj-BxCURLDxRdx_gnSVQXLIwo4gqLM,270
+synth_ai/environments/examples/crafter_classic/config_logging.py,sha256=Eqq35s0lPAmBiU0neZM6vmHPct15gp9TwS3vogrNziM,3794
+synth_ai/environments/examples/crafter_classic/debug_translation.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+synth_ai/environments/examples/crafter_classic/engine.py,sha256=Nvp3aSd2Qqby6eJOPH1bLXuk-rU6EuUC-HEs8d-D-sY,25046
+synth_ai/environments/examples/crafter_classic/engine_deterministic_patch.py,sha256=Jhn4dtLypG4-eLMsHxesagVTGJtzoGF6UssEfblEJYE,2801
+synth_ai/environments/examples/crafter_classic/engine_serialization_patch_v3.py,sha256=E7EA1IODxeb8Fq6uV15pL5HFuv4q-KTwnmRGqweuM34,11126
+synth_ai/environments/examples/crafter_classic/environment.py,sha256=6Us77M0AhVOrBwZoaZesxC4QXC6q1tmVphga2BZvVv4,17218
+synth_ai/environments/examples/crafter_classic/taskset.py,sha256=Jg3BgGetBjFor6MT3Fsx8BrrNRcS-RsffvusZsmi7v0,9843
+synth_ai/environments/examples/crafter_classic/trace_hooks_v3.py,sha256=OuP_pm565jRIFc4AzzEAa7jrIvm0E4B5EAv6GnQWGzw,7195
+synth_ai/environments/examples/crafter_classic/world_config_patch_simple.py,sha256=hrWo6OweT1Cyrck9YVP4TtxGdHmezbvITRTrhibWieo,10165
+synth_ai/environments/examples/crafter_classic/engine_helpers/action_map.py,sha256=KUf20wX_t-DpU6kxWX6n7iyZxg_zrq7dV5S8Ci-2r18,229
+synth_ai/environments/examples/crafter_classic/engine_helpers/serialization.py,sha256=biLmlrQFsSS4SVAqKilFyR6NjgcNJR1UlTnql98L0a0,2242
+synth_ai/environments/examples/crafter_custom/__init__.py,sha256=139ewayoaO3Oxr-vG-1hxI89urYr1Dsy35JEeJEdvj0,190
+synth_ai/environments/examples/crafter_custom/dataset_builder.py,sha256=QHoP45shr9kFvCjf0ta0aHPuVq9R6rU9MP1ZE1wk4L0,12956
+synth_ai/environments/examples/crafter_custom/environment.py,sha256=9RswjKlVa2NwSELqYuvqxeZnW9O3eOVClMKDmdVV0m0,14784
+synth_ai/environments/examples/crafter_custom/run_dataset.py,sha256=DmyxqebahMcnUDLgTCQdprfHYzFXKho17U6ypbobuQs,9959
+synth_ai/environments/examples/crafter_custom/crafter/__init__.py,sha256=_M8hAShOyx-rd7prlDNGpzWk8BhGKY2l6hQvQ5teECs,235
+synth_ai/environments/examples/crafter_custom/crafter/config.py,sha256=b3EuU7aK9XUIBeEbJiq6Xnt_7D4aYOBg8_hdqKxCxS8,5542
+synth_ai/environments/examples/crafter_custom/crafter/constants.py,sha256=ZAHy89ZCWyLGzP1sQqlHHqGIMuIHqgsYWy7usD3ODB8,218
+synth_ai/environments/examples/crafter_custom/crafter/engine.py,sha256=DFGknXHvOoliVtded7TnDsBrOOSnb79gbTdgpJNQKtE,9479
+synth_ai/environments/examples/crafter_custom/crafter/env.py,sha256=EsYNnypT797f5yH_2FXcd_kQrxO3UA_gsXZ8HX6pSY4,9313
+synth_ai/environments/examples/crafter_custom/crafter/objects.py,sha256=mCMu0ofXBaQIgjVM27eD2IN9IWi7ki6LeYDLnScNctk,13022
+synth_ai/environments/examples/crafter_custom/crafter/recorder.py,sha256=NcqecXkU8S5pJ4vE89KcZPIO8SknkKuV1AookEvQ2Gw,5898
+synth_ai/environments/examples/crafter_custom/crafter/worldgen.py,sha256=ieQMJyoni4Xl6uM_32ekKLk1QdFtJRHz6FR-8nLCwcI,4128
+synth_ai/environments/examples/enron/engine.py,sha256=Unq3mrgit0Y4Y64s9cmiG4wocWyE28iRGGBFjN2IvmA,11534
+synth_ai/environments/examples/enron/environment.py,sha256=QW0dmvv7og31tVnFHrQefZjAoo-yiKkkUUwj8QSd2f4,5985
+synth_ai/environments/examples/enron/taskset.py,sha256=PdCkrPm99lAfRKKwkh6Qg_3LUEHy2AAP3qcvFht8_PI,3171
+synth_ai/environments/examples/enron/art_helpers/email_search_tools.py,sha256=VqUy5pDRHt2qs0G7jwgqN60T7xQJEKRUhWQYsIopqP0,5545
+synth_ai/environments/examples/enron/art_helpers/local_email_db.py,sha256=G0_26Y-6TwDIHcjVrMLJ-4gqQwJowoFB-WkgQhtAlPU,9984
+synth_ai/environments/examples/enron/art_helpers/types_enron.py,sha256=Nxn0yP5aQyRftlsuXvH6_8BxM3Ms14UuD1Pq-UO9uBY,733
+synth_ai/environments/examples/minigrid/__init__.py,sha256=tWQQ9kqbf-eP9RcJtlM_RNR63YkNXAl_U1zPfgP2TWk,1328
+synth_ai/environments/examples/minigrid/engine.py,sha256=gvdc8Wgc8E4SGRhxCtCARgTzMMmtzxZT5Nc68-iI85k,22061
+synth_ai/environments/examples/minigrid/environment.py,sha256=T-65hM-C3vqncmaLYzemNTwY7akDkRHiCKk3Dhiu9sQ,10490
+synth_ai/environments/examples/minigrid/environment_mapping.py,sha256=N0JJ4Ako-sX-89nE9vCbPQIzVuhGpyy309Y_y7osNiA,7019
+synth_ai/environments/examples/minigrid/puzzle_loader.py,sha256=Kc2KRBQr2wo1Lq3xhTASXFo1-j9ZgysY7imQ8uNz0zE,14655
+synth_ai/environments/examples/minigrid/taskset.py,sha256=_ekomoTujsRbur60GvWSwWmABmZCp5k7f_JBDwJGmYk,21305
+synth_ai/environments/examples/nethack/__init__.py,sha256=viygo8pTUB891fGm_tb38s5thNcr17bLFffQdDOfiQ0,266
+synth_ai/environments/examples/nethack/achievements.py,sha256=hSDld5CBHubzmrDy2kZcfVDxQtymfg3kjQr0WuPH-Ro,12443
+synth_ai/environments/examples/nethack/engine.py,sha256=e4F1bBoCbcvJwiHOGCCB5Ogwk_ARYHXiO3WC7tQAI-o,29956
+synth_ai/environments/examples/nethack/environment.py,sha256=5ez7AJiKdnwe4cekTSTEh1Y5I1ZtPrDtCa6VeH_6pIY,10041
+synth_ai/environments/examples/nethack/taskset.py,sha256=aPuleNGageiPhSXfNV-bzdmyPMi6gQSU40BAd8eT-a0,11339
+synth_ai/environments/examples/nethack/helpers/__init__.py,sha256=7U8i1NKNIMC2eFKU5aOKYnUHbQCBTkoEZe-prFhAZOw,959
+synth_ai/environments/examples/nethack/helpers/action_mapping.py,sha256=AZwkDY9-VEblagnpFrrnzlmNyRumWsDEf4w35y5Csmg,9133
+synth_ai/environments/examples/nethack/helpers/nle_wrapper.py,sha256=dhyBFbHVHVslSm_4ztELLEURNt-iky0OOer2DEM7J8A,15141
+synth_ai/environments/examples/nethack/helpers/observation_utils.py,sha256=XIHK6gtroNfeiLc8aisj7rDvcxROYiIpHKSCoJoWypU,12350
+synth_ai/environments/examples/nethack/helpers/recording_wrapper.py,sha256=uWxZOgsi0GT29nv5_7zKAm28YCG8ukYCXafeV1kmgow,7448
+synth_ai/environments/examples/nethack/helpers/trajectory_recorder.py,sha256=vzU_ir8zX1AlwcvgliA-HkCqEJJpICFDvAAS_UuP7xY,8987
+synth_ai/environments/examples/nethack/helpers/visualization/replay_viewer.py,sha256=eceK4aejd3OcBXW98s3uhJ70kzOEXIa19TxdP4BCZdI,11902
+synth_ai/environments/examples/nethack/helpers/visualization/visualizer.py,sha256=jHndZowjrRF2nYFyN-gP_3OOBsP3uPNT2PP1y6WV4pA,14831
+synth_ai/environments/examples/red/__init__.py,sha256=4uHc_oyMmFK9jllUs9BAY4mxMwt5_Q7sD7Meo8zuTa4,199
+synth_ai/environments/examples/red/config_logging.py,sha256=jVjehrms140gnJ1aAaXK9oxRXqh8CuU23yGp4AZOh74,3710
+synth_ai/environments/examples/red/engine.py,sha256=43fKZ9YEs-ccL7rPtVNihStbwvxndk7GYyjr4zoCbYI,23835
+synth_ai/environments/examples/red/environment.py,sha256=oHdG2I1QUOnVj80_IvIgBi5Rv2IyotnPgwMpXqsSZMc,9342
+synth_ai/environments/examples/red/taskset.py,sha256=1oYI2UOqBdV5A-r7fg1LM4JIi5OQcRdTI6UUyPuQW_0,2825
+synth_ai/environments/examples/red/engine_helpers/__init__.py,sha256=YyNOk0TMWA_CI_EakcTMjbLJpkFKKRhJfVe792w-CXE,33
+synth_ai/environments/examples/red/engine_helpers/memory_map.py,sha256=jOsBYaYYxUy2tz3L2pCoj7Y_3UdrViw6vNYdgbEZFDk,1193
+synth_ai/environments/examples/red/engine_helpers/reward_components.py,sha256=QllhLE4lpyKLcTbGgl5zK51ftX5CXjl_7-MOoSIiRLg,9355
+synth_ai/environments/examples/red/engine_helpers/screen_analysis.py,sha256=gR1AU10m_HZGqWr6g6eTUx1fkZi8Yfhg73XuMwmZODg,12773
+synth_ai/environments/examples/red/engine_helpers/state_extraction.py,sha256=i20OpC7DCcOo52dHGzHQnXI2DzUiTbu_2PcyVhGDj9Q,4418
+synth_ai/environments/examples/red/engine_helpers/reward_library/__init__.py,sha256=kETzPWAaFOiAO4sNxcGerX2lXP1xnQkdiVfzmL1JGkU,4015
+synth_ai/environments/examples/red/engine_helpers/reward_library/adaptive_rewards.py,sha256=xE7AsliJVmygo2aptYCHBnt4X0OffeLYzRa0Tjhp92k,1890
+synth_ai/environments/examples/red/engine_helpers/reward_library/battle_rewards.py,sha256=hjJMYS-CzvO2ugJyBVBNZuhZIG-LU2ng0S4DUkHZD90,10426
+synth_ai/environments/examples/red/engine_helpers/reward_library/composite_rewards.py,sha256=sRS4h4njAzfGDnaah_OG0kCz3P5UlAz9zXm0hczRyLA,5091
+synth_ai/environments/examples/red/engine_helpers/reward_library/economy_rewards.py,sha256=25ACp4SDPXUxQjAVRcdFvOw_NStRFaPc5K78OrwcJG4,5018
+synth_ai/environments/examples/red/engine_helpers/reward_library/efficiency_rewards.py,sha256=RCLbN-hh-Cx0fxOB3zKQs6KvRa-u9MlKYeI5_TtOFrg,1817
+synth_ai/environments/examples/red/engine_helpers/reward_library/exploration_rewards.py,sha256=V3Gvs-hHGHV9OohDsZncBd8K7kiGRtQkDo7p8rOG1mA,12391
+synth_ai/environments/examples/red/engine_helpers/reward_library/novelty_rewards.py,sha256=uCRT8CQUDBueCuMa8x7IYKQun2yXq32mt6eHBifu4B8,3611
+synth_ai/environments/examples/red/engine_helpers/reward_library/pallet_town_rewards.py,sha256=I-MzN6eiaQs7cuQHZvKO_nZJ1SRVlsK83dIY4TmTigA,19889
+synth_ai/environments/examples/red/engine_helpers/reward_library/pokemon_rewards.py,sha256=pHMN8mh3qvJ-anxb80DxR_UBChOdrjiL7Ng6oyFBydU,10860
+synth_ai/environments/examples/red/engine_helpers/reward_library/social_rewards.py,sha256=qQ-gN_xceb9QTzMiMGNmmKrZSsQDr-bD9JDWS4d_ops,5675
+synth_ai/environments/examples/red/engine_helpers/reward_library/story_rewards.py,sha256=1sH6bLShvWOrvdOCIWbg56oMJ7eeMm2SmSLMcrO8MME,8464
+synth_ai/environments/examples/sokoban/__init__.py,sha256=Y5MpHrvlI9s5gEwlAJ0FM08bZpyC4QdnGWaTCyPQas8,35
+synth_ai/environments/examples/sokoban/engine.py,sha256=Dn5lV8lyhb_4uQNIwpTeDjN0bYUCqjo1ym3vrD2nQfs,26275
+synth_ai/environments/examples/sokoban/environment.py,sha256=wZ59GS9-UZMt9ysAVgdJIcL9UwvjiCdzYjEj6aPYSKM,9801
+synth_ai/environments/examples/sokoban/generate_verified_puzzles.py,sha256=tGCJNaNsXGK2nsZ54xqJ4p9lyfjQGJ54a9SguUIQiiU,15509
+synth_ai/environments/examples/sokoban/puzzle_loader.py,sha256=4Ufqx9IyuWDfHt77VxcM7URgCb6crpsMHr-1TBkfxsc,11497
+synth_ai/environments/examples/sokoban/taskset.py,sha256=UhavqJceg6CYFFWClbldgjqRzY6gBUqZveaHc7N13Ko,15537
+synth_ai/environments/examples/sokoban/engine_helpers/__init__.py,sha256=ensyOUm01rMpYZPIoV012_v6vxnv95mwwi63hLJvwIw,29
+synth_ai/environments/examples/sokoban/engine_helpers/room_utils.py,sha256=NZ3TSvTmbo19aT9X-xaPsg5CV4oPmdtV6356L76F7Bk,21757
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/__init__.py,sha256=jdGs_dghlGglKSi1EpsLz3IivSqNYhgu0icwzS7nKS0,404
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/__init__.py,sha256=Gvw94rIHk-BAaARkboJzZ6mx4z_n_UkFxm9xqZqxVFc,134
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/boxoban_env.py,sha256=ykJzlZjQtmcG0JJbOECUJ5EgQAURfvKkAq3ACwYF5xE,4132
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/render_utils.py,sha256=Vpj86hJhrSkK6kPobB_H5_bcvKsPT86-uhs7Agu66L4,11375
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/room_utils.py,sha256=43mge3pUJgvnGqKT1y7Ww39h3k0MRcvmL208ffzHzZ8,10587
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/sokoban_env.py,sha256=VaLExeff0vh4hQvkZphPBmjtS-f5v_MRk4E-9jNtCxU,10381
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/sokoban_env_fixed_targets.py,sha256=aVsb29Q79X_6XYR6-fKynTlSoxBo7_Es9wlUFAM8ltE,2551
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/sokoban_env_pull.py,sha256=8FiVFOf5-w_fuf2fWUOcluRH5Zzqbn7y4CDxXlMjtMM,3807
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/sokoban_env_two_player.py,sha256=ChjsHcraEnjRPazhojeG4RDekyBbB9XzRU-UnXIfEEo,3762
+synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/sokoban_env_variations.py,sha256=mQlnDZJUfi-TiR3zcGyy4iTJutUqxwjRj7fxz8THupg,15455
+synth_ai/environments/examples/tictactoe/__init__.py,sha256=XGoOP8GEGXjG-TI_E_-3b1jOhpGNtl_LmR9G3K59Gig,31
+synth_ai/environments/examples/tictactoe/engine.py,sha256=NuFpXuiClyBCByS-m3fEpU343nkNq_aIsqYAMxXrGCs,12430
+synth_ai/environments/examples/tictactoe/environment.py,sha256=42y9wCpG1NOAPxaILdaBjDl8WgEvnHbk3rd75GtgLH4,9335
+synth_ai/environments/examples/tictactoe/taskset.py,sha256=rGbFwkokndkwXR95RSUF4-mRwvX8EKjpQRofnabmhs8,7811
+synth_ai/environments/examples/verilog/__init__.py,sha256=JBf4ayWGO-VPK7PLitp_-jiKDi9gd3hhQ-PahNkiLJ0,262
+synth_ai/environments/examples/verilog/engine.py,sha256=jxpVJ5oVbRyObCLnETfy-sPARunaoYLLaPx7cyl68jc,12170
+synth_ai/environments/examples/verilog/environment.py,sha256=M6igedpgJWvLjw_ta1k4fwY9Kz0dPDIEgO9S4B-eBGg,12329
+synth_ai/environments/examples/verilog/taskset.py,sha256=-Vqrc_HY07WHcHLDQJ3KIDU3kNjpCgAMqCUYtay2Vyg,13336
 synth_ai/environments/reproducibility/core.py,sha256=y4__bivu_tdyIas509oK2EH9KUdLaQfbJ6z3dK8wYxc,1499
 synth_ai/environments/reproducibility/helpers.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 synth_ai/environments/reproducibility/tree.py,sha256=bl0lfIjrJGxMNmcWs75uPBwurgd1ENjN_mI5RHfrANY,13743
@@ -181,9 +279,9 @@ synth_ai/v0/tracing_v1/events/manage.py,sha256=dgIlH43aEz7yA1_rj4IisJP6ROiROmLwD
 synth_ai/v0/tracing_v1/events/scope.py,sha256=BuBkhSpVHUJt8iGT9HJZF82rbb88mQcd2vM2shg-w2I,2550
 synth_ai/v0/tracing_v1/events/store.py,sha256=gVM3L_bV_PAEh9GD9eg2AQqNfANu-zH9ied7bAKk_Eg,9040
 synth_ai/zyk/__init__.py,sha256=6HFa13sdHCouhzKOUPEWcJeVxKlzjWO7ERsrrwtTugs,752
-synth_ai-0.2.4.dev4.dist-info/licenses/LICENSE,sha256=ynhjRQUfqA_RdGRATApfFA_fBAy9cno04sLtLUqxVFM,1069
-synth_ai-0.2.4.dev4.dist-info/METADATA,sha256=rQqUijPG-9CeDt33ihFOSoDyKrQpF_3obxoNG-tCCJg,7150
-synth_ai-0.2.4.dev4.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-synth_ai-0.2.4.dev4.dist-info/entry_points.txt,sha256=GSFXaJreq4PJXbixkUI0GHZwGh2dZDG5pYaoVmqr_KE,46
-synth_ai-0.2.4.dev4.dist-info/top_level.txt,sha256=fBmtZyVHuKaGa29oHBaaUkrUIWTqSpoVMPiVdCDP3k8,9
-synth_ai-0.2.4.dev4.dist-info/RECORD,,
+synth_ai-0.2.4.dev5.dist-info/licenses/LICENSE,sha256=ynhjRQUfqA_RdGRATApfFA_fBAy9cno04sLtLUqxVFM,1069
+synth_ai-0.2.4.dev5.dist-info/METADATA,sha256=j8LGEHF6txGGKOR6MSHd2zPoUUkgS5QeZbsoS-EJids,7150
+synth_ai-0.2.4.dev5.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+synth_ai-0.2.4.dev5.dist-info/entry_points.txt,sha256=GSFXaJreq4PJXbixkUI0GHZwGh2dZDG5pYaoVmqr_KE,46
+synth_ai-0.2.4.dev5.dist-info/top_level.txt,sha256=fBmtZyVHuKaGa29oHBaaUkrUIWTqSpoVMPiVdCDP3k8,9
+synth_ai-0.2.4.dev5.dist-info/RECORD,,