`#i-dZddlmZddlZddlZddlmZmZddlm Z ddl m Z m Z m Z ddlmZddlmZmZd ZeGd d Zd ZGd dZy)uG core/evolution/code_proposer.py Story 8.06: CodeProposer — Structural Fix Generator Uses an LLM (Opus) to generate Python interceptor code for proposed architectural fixes identified by MetaArchitect. All external I/O is dependency-injected so every method is fully testable without real API calls. Usage:: proposer = CodeProposer(opus_client=my_llm_fn, axiomatic_tests=AxiomaticTests()) proposal = proposer.propose(bottleneck, existing_code_context) if proposer.validate_proposal(proposal): path = proposer.write_proposal(proposal, epoch_id="epoch_001") ) annotationsN) dataclassfield)Path)AnyCallableOptional) Bottleneck)AxiomaticTests AxiomResultaYou are a Genesis architect. Given this recurring bottleneck: Description: {description} Frequency: {frequency} Affected saga IDs: {saga_ids} Scar IDs: {scar_ids} And existing code context: {existing_code} Generate a Python interceptor that: 1. Extends BaseInterceptor 2. Addresses the bottleneck 3. Follows Genesis conventions Return JSON only (no markdown fences): {{"file_path": "core/interceptors/.py", "code_content": "...", "test_file_path": "tests/interceptors/test_.py", "test_content": "...", "config_changes": {{}}}} cVeZdZUdZded<ded<ded<ded<eeZded <y ) CodeProposaluA proposed code fix generated by CodeProposer. Attributes: file_path: E: drive path for the new/modified interceptor file. code_content: Full Python source content of the interceptor. test_file_path: Path for the test file (must start with ``tests/``). test_content: Full Python source content of the test file. config_changes: Any config-layer changes required (key → new_value). str file_path code_contenttest_file_path test_content)default_factorydictconfig_changesN)__name__ __module__ __qualname____doc____annotations__rrr5/mnt/e/genesis-system/core/evolution/code_proposer.pyrr9s/N 6ND6rrz./mnt/e/genesis-system/data/evolution/proposalscNeZdZdZ d d dZd dZd dZd dZd dZy) CodeProposeru8Generates Python interceptor code from LLM responses for bottleneck fixes. All external dependencies are dependency-injected so every code path is fully mockable in tests — zero real API or file-system access is required by the test suite. Args: opus_client: A callable ``(prompt: str) -> str`` that invokes the LLM (typically Opus) and returns raw text. When ``None`` the proposer raises ``RuntimeError`` on ``propose()`` calls. axiomatic_tests: An ``AxiomaticTests`` instance (from story 8.02). Defaults to a fresh ``AxiomaticTests()`` instance. proposals_dir: Base directory for writing proposals. Defaults to ``data/evolution/proposals``. NcV||_||n t|_|xst|_y)N) opus_clientr axiomatic_tests_DEFAULT_PROPOSALS_DIR proposals_dir)selfr"r#r%s r__init__zCodeProposer.__init__es- '2A2MSaSc*D.DrcH|j tdtj|j|j dj |jxsddj |jxsd|}|j|}|j|}|S)aGenerate a ``CodeProposal`` for the given bottleneck. Formats the prompt with bottleneck data + existing code context, calls the Opus client, and parses the JSON response into a ``CodeProposal`` instance. Args: bottleneck: The structural bottleneck to fix. existing_code_context: Relevant existing interceptor code to use as implementation reference in the prompt. Returns: A ``CodeProposal`` with all five fields populated. Raises: RuntimeError: If ``opus_client`` is not set. ValueError: If the LLM response is not valid JSON or is missing required fields. zXCodeProposer.propose() requires an opus_client callable. Pass one at construction time.z, none) description frequencysaga_idsscar_ids existing_code) r" RuntimeErrorPROPOSE_PROMPTformatr*r+joinaffected_saga_idsr-_parse_response)r& bottleneckexisting_code_contextprompt raw_responseproposals rproposezCodeProposer.proposess(    #1   &&".. **YYz;;<FYYz223=v/ ' !,,V4 '' 5rc|jj|ji}|jsyd|jvry|jj dsyy)u1Validate a ``CodeProposal`` against Genesis axioms. Runs ``AxiomaticTests.run_all`` on the proposal's ``code_content``. A proposal is valid only when: • No axiom violations are found in ``code_content``, AND • ``code_content`` contains the string ``"BaseInterceptor"`` (confirming the generated class inherits from the correct base). Args: proposal: The ``CodeProposal`` to validate. Returns: ``True`` iff all axioms pass and ``BaseInterceptor`` is present. )r state_contentFBaseInterceptorztests/T)r#run_allrpassedr startswith)r&r9results rvalidate_proposalzCodeProposer.validate_proposalsf #22::!..; }} H$9$9 9&&11(;rct|j|z }||jz }|jj dd|j |j d||jz }|jj dd|j |jd||j|j|jd}|dz }|j tj|ddt|S) uWrite a ``CodeProposal`` to disk under ``proposals_dir/{epoch_id}/``. Creates the directory structure if it does not exist. Writes: • The interceptor source to ``{proposals_dir}/{epoch_id}/{file_path}`` • The test source to ``{proposals_dir}/{epoch_id}/{test_file_path}`` • A ``proposal.json`` metadata file in ``{proposals_dir}/{epoch_id}/`` Args: proposal: The ``CodeProposal`` to persist. epoch_id: The evolution epoch identifier (e.g. ``"epoch_001"``). Returns: The absolute path to the ``proposal.json`` metadata file as a string. T)parentsexist_okzutf-8)encoding)epoch_idrrrz proposal.json)indent) rr%rparentmkdir write_textrrrrjsondumpsr)r&r9rGbaseinterceptor_path test_pathmetadata manifest_paths rwrite_proposalzCodeProposer.write_proposalsD&&'(2 ("4"44%%dT%B##H$9$9G#L8222 td;X22WE!!++&55&55   .   HQ!?' R=!!rc  |j}|jdrQ|j}|dd}|r|djdk(r|dd}dj|j} t j |}t|ts'td t|jd |dd|}d }|Dcgc] }||vs| } }| r(td | d t|jtt|dt|dt|dt|dt|j!diS#tj $r}td|d|dd|d}~wwxYwcc}w)a Parse the LLM response string into a ``CodeProposal``. Strips markdown code fences (``` ... ```) if present, then parses the JSON body. Args: raw: Raw text response from the Opus client. Returns: A populated ``CodeProposal`` instance. Raises: ValueError: If the JSON cannot be decoded or required fields (``file_path``, ``code_content``, ``test_file_path``, ``test_content``) are missing. z```N z;CodeProposer: LLM response is not valid JSON. Parse error: z". Raw response (first 200 chars): z%CodeProposer: LLM response parsed to zB, expected a JSON object (dict). Raw response (first 200 chars): )rrrrz?   /##  #u$Fs4CymU   9s$4E F F F.FF)NNN)r"zOptional[Callable[[str], str]]r#zOptional[AxiomaticTests]r%z Optional[str]returnNone)r5r r6rrmr)r9rrmbool)r9rrGrrmr)rdrrmr) rrrrr'r:rBrTr4rrrr r SsY&7;48'+ E3E2E% E  E$LB%"V; rr )r __future__rrMos dataclassesrrpathlibrtypingrrr core.evolution.meta_architectr core.evolution.axiomatic_testsr r r0rr$r rrrrws\"# (**4F 0 77 7,JM M r