# Bytecode recovery dump for llm_proxy (cpython-3.14)

======================================================================
# code object: <module>  args=()
# DOCSTRING: "Platform LLM-proxy client — route witsoc's model calls through the SPOT proxy.\n\nThe dev-box scripts had no model, so every generative seam was a stub. In\nDEPLOYMENT, though, the platform exposes a reverse LLM proxy\n(`backend/src/services/llm/proxy/routes.py`): JWT-authed, budget-gated, forwarding\nto real models (Claude sonnet-4-6 / haiku-4-5, Gemini 2.5/3). This is the client\nthat reaches it, so the sampler fleet, autoformalizer, conjecturer, abstractor,\nand embedder all get a real brain — by wiring, not by mocking.\n\nConfig (env, injected by the session; absent -> honest None, never a fake):\n  WITSOC_LLM_BASE_URL   e.g. http://localhost:8000\n  WITSOC_LLM_TOKEN      the session JWT (proxy swaps it for the real key)\n  WITSOC_LLM_PROVIDER   anthropic | gemini        (default anthropic)\n  WITSOC_LLM_MODEL      default per provider\n  WITSOC_EMBED_URL      optional embeddings endpoint (proxy has none by default)\n\nThe HTTP transport is INJECTABLE, so the request-building / response-parsing is\nunit-tested with no network. Calibration is unchanged: a model is an UNTRUSTED\ngenerator — everything it returns is a candidate the kernel/gates still judge.\n"
  0           RESUME                   0

  2           LOAD_CONST               0 ("Platform LLM-proxy client — route witsoc's model calls through the SPOT proxy.\n\nThe dev-box scripts had no model, so every generative seam was a stub. In\nDEPLOYMENT, though, the platform exposes a reverse LLM proxy\n(`backend/src/services/llm/proxy/routes.py`): JWT-authed, budget-gated, forwarding\nto real models (Claude sonnet-4-6 / haiku-4-5, Gemini 2.5/3). This is the client\nthat reaches it, so the sampler fleet, autoformalizer, conjecturer, abstractor,\nand embedder all get a real brain — by wiring, not by mocking.\n\nConfig (env, injected by the session; absent -> honest None, never a fake):\n  WITSOC_LLM_BASE_URL   e.g. http://localhost:8000\n  WITSOC_LLM_TOKEN      the session JWT (proxy swaps it for the real key)\n  WITSOC_LLM_PROVIDER   anthropic | gemini        (default anthropic)\n  WITSOC_LLM_MODEL      default per provider\n  WITSOC_EMBED_URL      optional embeddings endpoint (proxy has none by default)\n\nThe HTTP transport is INJECTABLE, so the request-building / response-parsing is\nunit-tested with no network. Calibration is unchanged: a model is an UNTRUSTED\ngenerator — everything it returns is a candidate the kernel/gates still judge.\n")
              STORE_NAME               0 (__doc__)

 23           LOAD_SMALL_INT           0
              LOAD_CONST               1 (('annotations',))
              IMPORT_NAME              1 (__future__)
              IMPORT_FROM              2 (annotations)
              STORE_NAME               2 (annotations)
              POP_TOP

 25           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              3 (argparse)
              STORE_NAME               3 (argparse)

 26           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              4 (json)
              STORE_NAME               4 (json)

 27           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              5 (os)
              STORE_NAME               5 (os)

 28           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              6 (sys)
              STORE_NAME               6 (sys)

 29           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              7 (urllib.request)
              STORE_NAME               8 (urllib)

 30           LOAD_SMALL_INT           0
              LOAD_CONST               3 (('Any', 'Callable'))
              IMPORT_NAME              9 (typing)
              IMPORT_FROM             10 (Any)
              STORE_NAME              10 (Any)
              IMPORT_FROM             11 (Callable)
              STORE_NAME              11 (Callable)
              POP_TOP

 32           LOAD_CONST               4 ('anthropic')
              LOAD_CONST               5 ('claude-sonnet-4-6')
              LOAD_CONST               6 ('gemini')
              LOAD_CONST               7 ('gemini-2.5-pro')
              BUILD_MAP                2
              STORE_NAME              12 (_DEFAULT_MODEL)

 33           LOAD_NAME               13 (float)
              PUSH_NULL
              LOAD_NAME                5 (os)
              LOAD_ATTR               28 (environ)
              LOAD_ATTR               31 (get + NULL|self)
              LOAD_CONST               8 ('WITSOC_LLM_TIMEOUT')
              LOAD_CONST               9 ('120')
              CALL                     2
              CALL                     1
              STORE_NAME              16 (_TIMEOUT)

 36           LOAD_CONST              10 (<code object __annotate__ at 0x7dd2db605020, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 36>)
              MAKE_FUNCTION
              LOAD_CONST              11 (<code object configured at 0x7dd2db7db560, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 36>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              17 (configured)

 40           LOAD_NAME               16 (_TIMEOUT)
              BUILD_TUPLE              1
              LOAD_CONST              12 (<code object __annotate__ at 0x7dd2db733b30, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 40>)
              MAKE_FUNCTION
              LOAD_CONST              13 (<code object _http_post at 0x264b8f40, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 40>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              SET_FUNCTION_ATTRIBUTE   1 (defaults)
              STORE_NAME              18 (_http_post)

 47           LOAD_CONST              14 (<code object __annotate__ at 0x7dd2db603770, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 47>)
              MAKE_FUNCTION
              LOAD_CONST              15 (<code object _build at 0x7dd2db4dc030, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 47>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              19 (_build)

 66           LOAD_CONST              16 (<code object __annotate__ at 0x7dd2db680e30, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 66>)
              MAKE_FUNCTION
              LOAD_CONST              17 (<code object _parse at 0x7dd2dc89b690, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 66>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              20 (_parse)

 75           LOAD_CONST              18 ('system')
              LOAD_CONST               2 (None)
              LOAD_CONST              19 ('model')
              LOAD_CONST               2 (None)
              LOAD_CONST              20 ('provider')

 76           LOAD_CONST               2 (None)

 75           LOAD_CONST              21 ('transport')

 76           LOAD_CONST               2 (None)

 75           LOAD_CONST              22 ('timeout')

 77           LOAD_NAME               16 (_TIMEOUT)

 75           BUILD_MAP                5
              LOAD_CONST              23 (<code object __annotate__ at 0x7dd2db6bc7a0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 75>)
              MAKE_FUNCTION
              LOAD_CONST              24 (<code object complete at 0x264b15c0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 75>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              SET_FUNCTION_ATTRIBUTE   2 (kwdefaults)
              STORE_NAME              21 (complete)

 94           LOAD_CONST              21 ('transport')
              LOAD_CONST               2 (None)
              LOAD_CONST              22 ('timeout')
              LOAD_NAME               16 (_TIMEOUT)
              BUILD_MAP                2
              LOAD_CONST              25 (<code object __annotate__ at 0x7dd2db681230, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 94>)
              MAKE_FUNCTION
              LOAD_CONST              26 (<code object embed at 0x263f9270, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 94>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              SET_FUNCTION_ATTRIBUTE   2 (kwdefaults)
              STORE_NAME              22 (embed)

110           LOAD_CONST              27 (<code object __annotate__ at 0x7dd2db606d30, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 110>)
              MAKE_FUNCTION
              LOAD_CONST              28 (<code object main at 0x263e9910, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 110>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              23 (main)

131           LOAD_NAME               24 (__name__)
              LOAD_CONST              29 ('__main__')
              COMPARE_OP              88 (bool(==))
              POP_JUMP_IF_FALSE       14 (to L1)
              NOT_TAKEN

132           LOAD_NAME               25 (SystemExit)
              PUSH_NULL
              LOAD_NAME               23 (main)
              PUSH_NULL
              CALL                     0
              CALL                     1
              RAISE_VARARGS            1

131   L1:     LOAD_CONST               2 (None)
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 36           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('return')
              LOAD_CONST               2 ('bool')
              BUILD_MAP                1
              RETURN_VALUE

======================================================================
# code object: configured  args=()
# DOCSTRING: 'WITSOC_LLM_BASE_URL'
 36           RESUME                   0

 37           LOAD_GLOBAL              1 (bool + NULL)
              LOAD_GLOBAL              2 (os)
              LOAD_ATTR                4 (environ)
              LOAD_ATTR                7 (get + NULL|self)
              LOAD_CONST               0 ('WITSOC_LLM_BASE_URL')
              CALL                     1
              COPY                     1
              TO_BOOL
              POP_JUMP_IF_FALSE       32 (to L1)
              NOT_TAKEN
              POP_TOP
              LOAD_GLOBAL              2 (os)
              LOAD_ATTR                4 (environ)
              LOAD_ATTR                7 (get + NULL|self)
              LOAD_CONST               1 ('WITSOC_LLM_TOKEN')
              CALL                     1
      L1:     CALL                     1
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 40           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('url')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('headers')
              LOAD_CONST               4 ('dict')
              LOAD_CONST               5 ('payload')
              LOAD_CONST               4 ('dict')
              LOAD_CONST               6 ('timeout')
              LOAD_CONST               7 ('float')
              LOAD_CONST               8 ('return')
              LOAD_CONST               4 ('dict')
              BUILD_MAP                5
              RETURN_VALUE

======================================================================
# code object: _http_post  args=('url', 'headers', 'payload', 'timeout')
# DOCSTRING: 'utf-8'
  40           RESUME                   0

  41           LOAD_GLOBAL              0 (json)
               LOAD_ATTR                2 (dumps)
               PUSH_NULL
               LOAD_FAST_BORROW         2 (payload)
               CALL                     1
               LOAD_ATTR                5 (encode + NULL|self)
               LOAD_CONST               0 ('utf-8')
               CALL                     1
               STORE_FAST               4 (data)

  42           LOAD_GLOBAL              6 (urllib)
               LOAD_ATTR                8 (request)
               LOAD_ATTR               11 (Request + NULL|self)
               LOAD_FAST_BORROW_LOAD_FAST_BORROW 4 (url, data)
               BUILD_MAP                0
               LOAD_FAST_BORROW         1 (headers)
               DICT_UPDATE              1
               LOAD_CONST               1 ('content-type')
               LOAD_CONST               2 ('application/json')
               BUILD_MAP                1
               DICT_UPDATE              1
               LOAD_CONST               3 (('data', 'headers'))
               CALL_KW                  3
               STORE_FAST               5 (req)

  43           LOAD_GLOBAL              6 (urllib)
               LOAD_ATTR                8 (request)
               LOAD_ATTR               13 (urlopen + NULL|self)
               LOAD_FAST_BORROW_LOAD_FAST_BORROW 83 (req, timeout)
               LOAD_CONST               4 (('timeout',))
               CALL_KW                  2
               COPY                     1
               LOAD_SPECIAL             1 (__exit__)
               SWAP                     2
               SWAP                     3
               LOAD_SPECIAL             0 (__enter__)
               CALL                     0
       L1:     STORE_FAST               6 (r)

  44           LOAD_GLOBAL              0 (json)
               LOAD_ATTR               14 (loads)
               PUSH_NULL
               LOAD_FAST_BORROW         6 (r)
               LOAD_ATTR               17 (read + NULL|self)
               CALL                     0
               LOAD_ATTR               19 (decode + NULL|self)
               LOAD_CONST               0 ('utf-8')
               CALL                     1
               CALL                     1

  43   L2:     SWAP                     3
               SWAP                     2
               LOAD_CONST               5 (None)
               LOAD_CONST               5 (None)
               LOAD_CONST               5 (None)
               CALL                     3
               POP_TOP
               RETURN_VALUE
       L3:     PUSH_EXC_INFO
               WITH_EXCEPT_START
               TO_BOOL
               POP_JUMP_IF_TRUE         2 (to L4)
               NOT_TAKEN
               RERAISE                  2
       L4:     POP_TOP
       L5:     POP_EXCEPT
               POP_TOP
               POP_TOP
               POP_TOP
               LOAD_CONST               5 (None)
               RETURN_VALUE

  --   L6:     COPY                     3
               POP_EXCEPT
               RERAISE                  1
ExceptionTable:
  L1 to L2 -> L3 [2] lasti
  L3 to L5 -> L6 [4] lasti

======================================================================
# code object: __annotate__  args=('format',)
 47           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('provider')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('base')
              LOAD_CONST               2 ('str')
              LOAD_CONST               4 ('token')
              LOAD_CONST               2 ('str')
              LOAD_CONST               5 ('model')
              LOAD_CONST               2 ('str')
              LOAD_CONST               6 ('prompt')
              LOAD_CONST               2 ('str')
              LOAD_CONST               7 ('system')

 48           LOAD_CONST               8 ("'str | None'")

 47           LOAD_CONST               9 ('return')

 48           LOAD_CONST              10 ("'tuple[str, dict, dict]'")

 47           BUILD_MAP                7
              RETURN_VALUE

======================================================================
# code object: _build  args=('provider', 'base', 'token', 'model', 'prompt', 'system')
# DOCSTRING: 'gemini'
 47           RESUME                   0

 49           LOAD_FAST_BORROW         0 (provider)
              LOAD_CONST               0 ('gemini')
              COMPARE_OP              88 (bool(==))
              POP_JUMP_IF_FALSE       45 (to L2)
              NOT_TAKEN

 50           LOAD_FAST_BORROW         1 (base)
              FORMAT_SIMPLE
              LOAD_CONST               1 ('/llm/gemini/v1beta/models/')
              LOAD_FAST_BORROW         3 (model)
              FORMAT_SIMPLE
              LOAD_CONST               2 (':generateContent')
              BUILD_STRING             4
              STORE_FAST               6 (url)

 51           LOAD_CONST               3 ('x-goog-api-key')
              LOAD_FAST_BORROW         2 (token)
              BUILD_MAP                1
              STORE_FAST               7 (headers)

 52           LOAD_CONST               4 ('contents')
              LOAD_CONST               5 ('parts')
              LOAD_CONST               6 ('text')
              LOAD_FAST_BORROW         4 (prompt)
              BUILD_MAP                1
              BUILD_LIST               1
              BUILD_MAP                1
              BUILD_LIST               1
              BUILD_MAP                1
              STORE_FAST               8 (payload)

 53           LOAD_FAST_BORROW         5 (system)
              TO_BOOL
              POP_JUMP_IF_FALSE       11 (to L1)
              NOT_TAKEN

 54           LOAD_CONST               5 ('parts')
              LOAD_CONST               6 ('text')
              LOAD_FAST_BORROW         5 (system)
              BUILD_MAP                1
              BUILD_LIST               1
              BUILD_MAP                1
              LOAD_FAST_BORROW         8 (payload)
              LOAD_CONST               7 ('systemInstruction')
              STORE_SUBSCR

 55   L1:     LOAD_FAST_BORROW_LOAD_FAST_BORROW 103 (url, headers)
              LOAD_FAST_BORROW         8 (payload)
              BUILD_TUPLE              3
              RETURN_VALUE

 57   L2:     LOAD_FAST_BORROW         1 (base)
              FORMAT_SIMPLE
              LOAD_CONST               8 ('/llm/anthropic/v1/messages')
              BUILD_STRING             2
              STORE_FAST               6 (url)

 58           LOAD_CONST               9 ('x-api-key')
              LOAD_FAST_BORROW         2 (token)
              LOAD_CONST              10 ('anthropic-version')
              LOAD_CONST              11 ('2023-06-01')
              BUILD_MAP                2
              STORE_FAST               7 (headers)

 59           LOAD_CONST              12 ('model')
              LOAD_FAST_BORROW         3 (model)
              LOAD_CONST              13 ('max_tokens')
              LOAD_GLOBAL              1 (int + NULL)
              LOAD_GLOBAL              2 (os)
              LOAD_ATTR                4 (environ)
              LOAD_ATTR                7 (get + NULL|self)
              LOAD_CONST              14 ('WITSOC_LLM_MAX_TOKENS')
              LOAD_CONST              15 ('1024')
              CALL                     2
              CALL                     1

 60           LOAD_CONST              16 ('messages')
              LOAD_CONST              17 ('role')
              LOAD_CONST              18 ('user')
              LOAD_CONST              19 ('content')
              LOAD_FAST_BORROW         4 (prompt)
              BUILD_MAP                2
              BUILD_LIST               1

 59           BUILD_MAP                3
              STORE_FAST               8 (payload)

 61           LOAD_FAST_BORROW         5 (system)
              TO_BOOL
              POP_JUMP_IF_FALSE        5 (to L3)
              NOT_TAKEN

 62           LOAD_FAST_BORROW_LOAD_FAST_BORROW 88 (system, payload)
              LOAD_CONST              20 ('system')
              STORE_SUBSCR

 63   L3:     LOAD_FAST_BORROW_LOAD_FAST_BORROW 103 (url, headers)
              LOAD_FAST_BORROW         8 (payload)
              BUILD_TUPLE              3
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 66           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('provider')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('resp')
              LOAD_CONST               4 ('dict')
              LOAD_CONST               5 ('return')
              LOAD_CONST               6 ("'str | None'")
              BUILD_MAP                3
              RETURN_VALUE

======================================================================
# code object: _parse  args=('provider', 'resp')
# DOCSTRING: 'gemini'
  66            RESUME                   0

  67            NOP

  68    L1:     LOAD_FAST_BORROW         0 (provider)
                LOAD_CONST               0 ('gemini')
                COMPARE_OP              88 (bool(==))
                POP_JUMP_IF_FALSE       45 (to L3)
                NOT_TAKEN

  69            LOAD_FAST_BORROW         1 (resp)
                LOAD_CONST               1 ('candidates')
                BINARY_OP               26 ([])
                LOAD_SMALL_INT           0
                BINARY_OP               26 ([])
                LOAD_CONST               2 ('content')
                BINARY_OP               26 ([])
                LOAD_CONST               3 ('parts')
                BINARY_OP               26 ([])
                LOAD_SMALL_INT           0
                BINARY_OP               26 ([])
                LOAD_CONST               4 ('text')
                BINARY_OP               26 ([])
        L2:     RETURN_VALUE

  70    L3:     LOAD_CONST               5 ('')
                LOAD_ATTR                1 (join + NULL|self)
                LOAD_CONST               6 (<code object <genexpr> at 0x7dd2db63f4b0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/services/llm_proxy.py", line 70>)
                MAKE_FUNCTION
                LOAD_FAST_BORROW         1 (resp)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST               2 ('content')
                BUILD_LIST               0
                CALL                     2
                GET_ITER
                CALL                     0
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L6)
        L4:     NOT_TAKEN
        L5:     POP_TOP
                LOAD_CONST               7 (None)
        L6:     RETURN_VALUE

  --    L7:     PUSH_EXC_INFO

  71            LOAD_GLOBAL              4 (Exception)
                CHECK_EXC_MATCH
                POP_JUMP_IF_FALSE        5 (to L9)
                NOT_TAKEN
                POP_TOP

  72    L8:     POP_EXCEPT
                LOAD_CONST               7 (None)
                RETURN_VALUE

  71    L9:     RERAISE                  0

  --   L10:     COPY                     3
                POP_EXCEPT
                RERAISE                  1
ExceptionTable:
  L1 to L2 -> L7 [0]
  L3 to L4 -> L7 [0]
  L5 to L6 -> L7 [0]
  L7 to L8 -> L10 [1] lasti
  L9 to L10 -> L10 [1] lasti

======================================================================
# code object: _parse.<locals>.<genexpr>  args=('.0',)
# DOCSTRING: 'type'
  70           RETURN_GENERATOR
               POP_TOP
       L1:     RESUME                   0
               LOAD_FAST                0 (.0)
       L2:     FOR_ITER                46 (to L5)
               STORE_FAST_LOAD_FAST    17 (b, b)
               LOAD_ATTR                1 (get + NULL|self)
               LOAD_CONST               0 ('type')
               CALL                     1
               LOAD_CONST               1 ('text')
               COMPARE_OP              88 (bool(==))
       L3:     POP_JUMP_IF_TRUE         3 (to L4)
               NOT_TAKEN
               JUMP_BACKWARD           26 (to L2)
       L4:     LOAD_FAST_BORROW         1 (b)
               LOAD_ATTR                1 (get + NULL|self)
               LOAD_CONST               1 ('text')
               LOAD_CONST               2 ('')
               CALL                     2
               YIELD_VALUE              0
               RESUME                   5
               POP_TOP
               JUMP_BACKWARD           48 (to L2)
       L5:     END_FOR
               POP_ITER
               LOAD_CONST               3 (None)
               RETURN_VALUE

  --   L6:     CALL_INTRINSIC_1         3 (INTRINSIC_STOPITERATION_ERROR)
               RERAISE                  1
ExceptionTable:
  L1 to L3 -> L6 [0] lasti
  L4 to L6 -> L6 [0] lasti

======================================================================
# code object: __annotate__  args=('format',)
 75           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('prompt')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('system')
              LOAD_CONST               4 ("'str | None'")
              LOAD_CONST               5 ('model')
              LOAD_CONST               4 ("'str | None'")
              LOAD_CONST               6 ('provider')

 76           LOAD_CONST               4 ("'str | None'")

 75           LOAD_CONST               7 ('transport')

 76           LOAD_CONST               8 ("'Callable | None'")

 75           LOAD_CONST               9 ('timeout')

 77           LOAD_CONST              10 ('float')

 75           LOAD_CONST              11 ('return')

 77           LOAD_CONST               4 ("'str | None'")

 75           BUILD_MAP                7
              RETURN_VALUE

======================================================================
# code object: complete  args=('prompt',)
# DOCSTRING: 'One completion via the proxy, or None if unconfigured / on any failure.'
  75            RESUME                   0

  79            LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               1 ('WITSOC_LLM_BASE_URL')
                CALL                     1
                STORE_FAST               6 (base)

  80            LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               2 ('WITSOC_LLM_TOKEN')
                CALL                     1
                STORE_FAST               7 (token)

  81            LOAD_FAST_BORROW         6 (base)
                TO_BOOL
                POP_JUMP_IF_FALSE        9 (to L1)
                NOT_TAKEN
                LOAD_FAST_BORROW         7 (token)
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L2)
                NOT_TAKEN

  82    L1:     LOAD_CONST               3 (None)
                RETURN_VALUE

  83    L2:     LOAD_FAST                3 (provider)
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        42 (to L3)
                NOT_TAKEN
                POP_TOP
                LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               4 ('WITSOC_LLM_PROVIDER')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L3)
                NOT_TAKEN
                POP_TOP
                LOAD_CONST               5 ('anthropic')
        L3:     LOAD_ATTR                7 (lower + NULL|self)
                CALL                     0
                STORE_FAST               3 (provider)

  84            LOAD_FAST                2 (model)
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        73 (to L4)
                NOT_TAKEN
                POP_TOP
                LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               6 ('WITSOC_LLM_MODEL')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        34 (to L4)
                NOT_TAKEN
                POP_TOP
                LOAD_GLOBAL              8 (_DEFAULT_MODEL)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_FAST_BORROW         3 (provider)
                LOAD_GLOBAL              8 (_DEFAULT_MODEL)
                LOAD_CONST               5 ('anthropic')
                BINARY_OP               26 ([])
                CALL                     2
        L4:     STORE_FAST               2 (model)

  85            LOAD_GLOBAL             11 (_build + NULL)
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 54 (provider, base)
                LOAD_ATTR               13 (rstrip + NULL|self)
                LOAD_CONST               7 ('/')
                CALL                     1
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 114 (token, model)
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 1 (prompt, system)
                CALL                     6
                UNPACK_SEQUENCE          3
                STORE_FAST_STORE_FAST  137 (url, headers)
                STORE_FAST              10 (payload)

  86            LOAD_FAST                4 (transport)
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         7 (to L5)
                NOT_TAKEN
                POP_TOP
                LOAD_GLOBAL             14 (_http_post)
        L5:     STORE_FAST              11 (post)

  87            NOP

  88    L6:     LOAD_FAST_BORROW        11 (post)
                PUSH_NULL
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 137 (url, headers)
                LOAD_FAST_BORROW        10 (payload)
                CALL                     3
                STORE_FAST              12 (resp)

  91    L7:     LOAD_GLOBAL             19 (_parse + NULL)
                LOAD_FAST_LOAD_FAST     60 (provider, resp)
                CALL                     2
                RETURN_VALUE

  --    L8:     PUSH_EXC_INFO

  89            LOAD_GLOBAL             16 (Exception)
                CHECK_EXC_MATCH
                POP_JUMP_IF_FALSE        5 (to L10)
                NOT_TAKEN
                POP_TOP

  90    L9:     POP_EXCEPT
                LOAD_CONST               3 (None)
                RETURN_VALUE

  89   L10:     RERAISE                  0

  --   L11:     COPY                     3
                POP_EXCEPT
                RERAISE                  1
ExceptionTable:
  L6 to L7 -> L8 [0]
  L8 to L9 -> L11 [1] lasti
  L10 to L11 -> L11 [1] lasti

======================================================================
# code object: __annotate__  args=('format',)
 94           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('text')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('transport')
              LOAD_CONST               4 ("'Callable | None'")
              LOAD_CONST               5 ('timeout')
              LOAD_CONST               6 ('float')
              LOAD_CONST               7 ('return')
              LOAD_CONST               8 ("'list | None'")
              BUILD_MAP                4
              RETURN_VALUE

======================================================================
# code object: embed  args=('text',)
# DOCSTRING: 'Embedding via WITSOC_EMBED_URL if configured, else None (the proxy has no\nembeddings endpoint by default — Gemini/Specter are SDK-direct).'
  94            RESUME                   0

  97            LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               1 ('WITSOC_EMBED_URL')
                CALL                     1
                STORE_FAST               3 (url)

  98            LOAD_GLOBAL              0 (os)
                LOAD_ATTR                2 (environ)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               2 ('WITSOC_LLM_TOKEN')
                LOAD_CONST               3 ('')
                CALL                     2
                STORE_FAST               4 (token)

  99            LOAD_FAST_BORROW         3 (url)
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L1)
                NOT_TAKEN

 100            LOAD_CONST               4 (None)
                RETURN_VALUE

 101    L1:     LOAD_FAST                1 (transport)
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         7 (to L2)
                NOT_TAKEN
                POP_TOP
                LOAD_GLOBAL              6 (_http_post)
        L2:     STORE_FAST               5 (post)

 102            NOP

 103    L3:     LOAD_FAST_BORROW         5 (post)
                PUSH_NULL
                LOAD_FAST_BORROW         3 (url)
                LOAD_CONST               5 ('x-api-key')
                LOAD_FAST_BORROW         4 (token)
                BUILD_MAP                1
                LOAD_CONST               6 ('text')
                LOAD_FAST_BORROW         0 (text)
                BUILD_MAP                1
                CALL                     3
                STORE_FAST               6 (resp)

 104            LOAD_FAST_BORROW         6 (resp)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               7 ('embedding')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        43 (to L8)
        L4:     NOT_TAKEN
        L5:     POP_TOP
                LOAD_FAST_BORROW         6 (resp)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               8 ('vector')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        18 (to L8)
        L6:     NOT_TAKEN
        L7:     POP_TOP
                LOAD_FAST_BORROW         6 (resp)
                LOAD_ATTR                5 (get + NULL|self)
                LOAD_CONST               9 ('data')
                CALL                     1
        L8:     STORE_FAST               7 (vec)

 105            LOAD_FAST_BORROW         7 (vec)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L16)
        L9:     NOT_TAKEN
       L10:     LOAD_FAST_BORROW         7 (vec)
                GET_ITER
                LOAD_FAST_AND_CLEAR      8 (x)
                SWAP                     2
       L11:     BUILD_LIST               0
                SWAP                     2
       L12:     FOR_ITER                14 (to L13)
                STORE_FAST               8 (x)
                LOAD_GLOBAL              9 (float + NULL)
                LOAD_FAST_BORROW         8 (x)
                CALL                     1
                LIST_APPEND              2
                JUMP_BACKWARD           16 (to L12)
       L13:     END_FOR
                POP_ITER
       L14:     SWAP                     2
                STORE_FAST               8 (x)
       L15:     RETURN_VALUE
       L16:     LOAD_CONST               4 (None)
       L17:     RETURN_VALUE

  --   L18:     SWAP                     2
                POP_TOP

 105            SWAP                     2
                STORE_FAST               8 (x)
                RERAISE                  0

  --   L19:     PUSH_EXC_INFO

 106            LOAD_GLOBAL             10 (Exception)
                CHECK_EXC_MATCH
                POP_JUMP_IF_FALSE        5 (to L21)
                NOT_TAKEN
                POP_TOP

 107   L20:     POP_EXCEPT
                LOAD_CONST               4 (None)
                RETURN_VALUE

 106   L21:     RERAISE                  0

  --   L22:     COPY                     3
                POP_EXCEPT
                RERAISE                  1
ExceptionTable:
  L3 to L4 -> L19 [0]
  L5 to L6 -> L19 [0]
  L7 to L9 -> L19 [0]
  L10 to L11 -> L19 [0]
  L11 to L14 -> L18 [2]
  L14 to L15 -> L19 [0]
  L16 to L17 -> L19 [0]
  L18 to L19 -> L19 [0]
  L19 to L20 -> L22 [1] lasti
  L21 to L22 -> L22 [1] lasti

======================================================================
# code object: __annotate__  args=('format',)
110           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('return')
              LOAD_CONST               2 ('int')
              BUILD_MAP                1
              RETURN_VALUE

======================================================================
# code object: main  args=()
# DOCSTRING: '`cmd:` fleet protocol — JSON {prompt|request, system?} on stdin, JSON\n{completion, nl, text} on stdout — so a fleet entry can be\n`cmd:python3 services/llm_proxy.py`.'
 110            RESUME                   0

 114            LOAD_GLOBAL              0 (argparse)
                LOAD_ATTR                2 (ArgumentParser)
                PUSH_NULL
                LOAD_CONST               1 ('Platform LLM-proxy sampler (cmd: protocol).')
                LOAD_CONST               2 (('description',))
                CALL_KW                  1
                STORE_FAST               0 (ap)

 115            LOAD_FAST_BORROW         0 (ap)
                LOAD_ATTR                5 (add_argument + NULL|self)
                LOAD_CONST               3 ('--probe')
                LOAD_CONST               4 ('store_true')
                LOAD_CONST               5 ('report whether the proxy is configured')
                LOAD_CONST               6 (('action', 'help'))
                CALL_KW                  3
                POP_TOP

 116            LOAD_FAST_BORROW         0 (ap)
                LOAD_ATTR                7 (parse_args + NULL|self)
                CALL                     0
                STORE_FAST               1 (args)

 117            LOAD_FAST_BORROW         1 (args)
                LOAD_ATTR                8 (probe)
                TO_BOOL
                POP_JUMP_IF_FALSE       76 (to L1)
                NOT_TAKEN

 118            LOAD_GLOBAL             11 (print + NULL)
                LOAD_GLOBAL             12 (json)
                LOAD_ATTR               14 (dumps)
                PUSH_NULL
                LOAD_CONST               7 ('configured')
                LOAD_GLOBAL             17 (configured + NULL)
                CALL                     0

 119            LOAD_CONST               8 ('provider')
                LOAD_GLOBAL             18 (os)
                LOAD_ATTR               20 (environ)
                LOAD_ATTR               23 (get + NULL|self)
                LOAD_CONST               9 ('WITSOC_LLM_PROVIDER')
                LOAD_CONST              10 ('anthropic')
                CALL                     2

 118            BUILD_MAP                2
                CALL                     1
                CALL                     1
                POP_TOP

 120            LOAD_SMALL_INT           0
                RETURN_VALUE

 121    L1:     NOP

 122    L2:     LOAD_GLOBAL             12 (json)
                LOAD_ATTR               24 (loads)
                PUSH_NULL
                LOAD_GLOBAL             26 (sys)
                LOAD_ATTR               28 (stdin)
                LOAD_ATTR               31 (read + NULL|self)
                CALL                     0
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L5)
        L3:     NOT_TAKEN
        L4:     POP_TOP
                LOAD_CONST              11 ('{}')
        L5:     CALL                     1
                STORE_FAST               2 (req)

 125    L6:     LOAD_FAST_BORROW         2 (req)
                LOAD_ATTR               23 (get + NULL|self)
                LOAD_CONST              12 ('prompt')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        53 (to L7)
                NOT_TAKEN
                POP_TOP
                LOAD_FAST_BORROW         2 (req)
                LOAD_ATTR               23 (get + NULL|self)
                LOAD_CONST              13 ('request')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE        28 (to L7)
                NOT_TAKEN
                POP_TOP
                LOAD_FAST_BORROW         2 (req)
                LOAD_ATTR               23 (get + NULL|self)
                LOAD_CONST              14 ('text')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L7)
                NOT_TAKEN
                POP_TOP
                LOAD_CONST              15 ('')
        L7:     STORE_FAST               3 (prompt)

 126            LOAD_GLOBAL             35 (complete + NULL)
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 50 (prompt, req)
                LOAD_ATTR               23 (get + NULL|self)
                LOAD_CONST              16 ('system')
                CALL                     1
                LOAD_CONST              17 (('system',))
                CALL_KW                  2
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L8)
                NOT_TAKEN
                POP_TOP
                LOAD_CONST              15 ('')
        L8:     STORE_FAST               4 (out)

 127            LOAD_GLOBAL             11 (print + NULL)
                LOAD_GLOBAL             12 (json)
                LOAD_ATTR               14 (dumps)
                PUSH_NULL
                LOAD_CONST              18 ('completion')
                LOAD_FAST_BORROW         4 (out)
                LOAD_CONST              19 ('nl')
                LOAD_FAST_BORROW         4 (out)
                LOAD_CONST              14 ('text')
                LOAD_FAST_BORROW         4 (out)
                BUILD_MAP                3
                LOAD_CONST              20 (False)
                LOAD_CONST              21 (('ensure_ascii',))
                CALL_KW                  2
                CALL                     1
                POP_TOP

 128            LOAD_SMALL_INT           0
                RETURN_VALUE

  --    L9:     PUSH_EXC_INFO

 123            LOAD_GLOBAL             32 (Exception)
                CHECK_EXC_MATCH
                POP_JUMP_IF_FALSE        6 (to L11)
                NOT_TAKEN
                POP_TOP

 124            BUILD_MAP                0
                STORE_FAST               2 (req)
       L10:     POP_EXCEPT
                JUMP_BACKWARD_NO_INTERRUPT 170 (to L6)

 123   L11:     RERAISE                  0

  --   L12:     COPY                     3
                POP_EXCEPT
                RERAISE                  1
ExceptionTable:
  L2 to L3 -> L9 [0]
  L4 to L6 -> L9 [0]
  L9 to L10 -> L12 [1] lasti
  L11 to L12 -> L12 [1] lasti
