@someonegg/codex-hub 0.0.0-stage → 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +101 -2
- package/dist/client/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2 +0 -0
- package/dist/client/assets/KaTeX_AMS-Regular-DMm9YOAa.woff +0 -0
- package/dist/client/assets/KaTeX_AMS-Regular-DRggAlZN.ttf +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2 +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2 +0 -0
- package/dist/client/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2 +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Regular-CB_wures.ttf +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2 +0 -0
- package/dist/client/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff +0 -0
- package/dist/client/assets/KaTeX_Main-Bold-Cx986IdX.woff2 +0 -0
- package/dist/client/assets/KaTeX_Main-Bold-Jm3AIy58.woff +0 -0
- package/dist/client/assets/KaTeX_Main-Bold-waoOVXN0.ttf +0 -0
- package/dist/client/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2 +0 -0
- package/dist/client/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf +0 -0
- package/dist/client/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff +0 -0
- package/dist/client/assets/KaTeX_Main-Italic-3WenGoN9.ttf +0 -0
- package/dist/client/assets/KaTeX_Main-Italic-BMLOBm91.woff +0 -0
- package/dist/client/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2 +0 -0
- package/dist/client/assets/KaTeX_Main-Regular-B22Nviop.woff2 +0 -0
- package/dist/client/assets/KaTeX_Main-Regular-Dr94JaBh.woff +0 -0
- package/dist/client/assets/KaTeX_Main-Regular-ypZvNtVU.ttf +0 -0
- package/dist/client/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf +0 -0
- package/dist/client/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2 +0 -0
- package/dist/client/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff +0 -0
- package/dist/client/assets/KaTeX_Math-Italic-DA0__PXp.woff +0 -0
- package/dist/client/assets/KaTeX_Math-Italic-flOr_0UB.ttf +0 -0
- package/dist/client/assets/KaTeX_Math-Italic-t53AETM-.woff2 +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2 +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2 +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff +0 -0
- package/dist/client/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2 +0 -0
- package/dist/client/assets/KaTeX_Script-Regular-C5JkGWo-.ttf +0 -0
- package/dist/client/assets/KaTeX_Script-Regular-D3wIWfF6.woff2 +0 -0
- package/dist/client/assets/KaTeX_Script-Regular-D5yQViql.woff +0 -0
- package/dist/client/assets/KaTeX_Size1-Regular-C195tn64.woff +0 -0
- package/dist/client/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf +0 -0
- package/dist/client/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2 +0 -0
- package/dist/client/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf +0 -0
- package/dist/client/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2 +0 -0
- package/dist/client/assets/KaTeX_Size2-Regular-oD1tc_U0.woff +0 -0
- package/dist/client/assets/KaTeX_Size3-Regular-CTq5MqoE.woff +0 -0
- package/dist/client/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf +0 -0
- package/dist/client/assets/KaTeX_Size4-Regular-BF-4gkZK.woff +0 -0
- package/dist/client/assets/KaTeX_Size4-Regular-DWFBv043.ttf +0 -0
- package/dist/client/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2 +0 -0
- package/dist/client/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff +0 -0
- package/dist/client/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2 +0 -0
- package/dist/client/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf +0 -0
- package/dist/client/assets/index-Dx1LBBmn.js +304 -0
- package/dist/client/assets/index-lmwuA3r2.css +1 -0
- package/dist/client/index.html +16 -0
- package/dist/server/server/adapters/codex/agent-identity.js +9 -0
- package/dist/server/server/adapters/codex/catalog-source.js +2 -0
- package/dist/server/server/adapters/codex/codex-session-source.js +300 -0
- package/dist/server/server/adapters/codex/identity-resolver.js +107 -0
- package/dist/server/server/adapters/codex/interaction-parser.js +90 -0
- package/dist/server/server/adapters/codex/internal-event-parser.js +56 -0
- package/dist/server/server/adapters/codex/io-errors.js +5 -0
- package/dist/server/server/adapters/codex/jsonl-catalog-source.js +58 -0
- package/dist/server/server/adapters/codex/limits.js +10 -0
- package/dist/server/server/adapters/codex/message-normalizer.js +121 -0
- package/dist/server/server/adapters/codex/path-policy.js +88 -0
- package/dist/server/server/adapters/codex/project-directory-resolver.js +79 -0
- package/dist/server/server/adapters/codex/response-item-parser.js +100 -0
- package/dist/server/server/adapters/codex/rollout-decoder.js +286 -0
- package/dist/server/server/adapters/codex/session-index-reader.js +101 -0
- package/dist/server/server/adapters/codex/session-manager.js +62 -0
- package/dist/server/server/adapters/codex/session-normalizer.js +257 -0
- package/dist/server/server/adapters/codex/tool-normalizer.js +58 -0
- package/dist/server/server/adapters/codex/user-input-normalizer.js +123 -0
- package/dist/server/server/api/session-api-mapper.js +194 -0
- package/dist/server/server/application/session-read-service.js +109 -0
- package/dist/server/server/application/session-reader.js +2 -0
- package/dist/server/server/catalog/config.js +4 -0
- package/dist/server/server/catalog/session-catalog-service.js +103 -0
- package/dist/server/server/config.js +145 -0
- package/dist/server/server/create-hub.js +64 -0
- package/dist/server/server/domain/project-directory.js +5 -0
- package/dist/server/server/domain/session-domain.js +2 -0
- package/dist/server/server/domain/session-text.js +45 -0
- package/dist/server/server/http/api-route-handler.js +2 -0
- package/dist/server/server/http/api-router.js +63 -0
- package/dist/server/server/http/create-server.js +148 -0
- package/dist/server/server/http/query-params.js +19 -0
- package/dist/server/server/http/request-body.js +48 -0
- package/dist/server/server/http/router.js +16 -0
- package/dist/server/server/http/security.js +19 -0
- package/dist/server/server/http/session-interaction-routes.js +101 -0
- package/dist/server/server/http/session-management-routes.js +90 -0
- package/dist/server/server/http/session-path.js +13 -0
- package/dist/server/server/http/session-read-routes.js +198 -0
- package/dist/server/server/http/session-updates-routes.js +84 -0
- package/dist/server/server/http/terminal-preview-websocket.js +179 -0
- package/dist/server/server/http/upload-routes.js +74 -0
- package/dist/server/server/interaction/interaction-service.js +247 -0
- package/dist/server/server/interaction/message.js +19 -0
- package/dist/server/server/interaction/pane-binding-manager.js +60 -0
- package/dist/server/server/interaction/reconcile-session-state.js +21 -0
- package/dist/server/server/interaction/session-runtime.js +86 -0
- package/dist/server/server/interaction/terminal-preview-diff.js +71 -0
- package/dist/server/server/interaction/terminal-preview-service.js +194 -0
- package/dist/server/server/interaction/tmux-launcher.js +75 -0
- package/dist/server/server/interaction/tmux-preview-listener.js +101 -0
- package/dist/server/server/interaction/tmux-service.js +269 -0
- package/dist/server/server/interaction/transport.js +9 -0
- package/dist/server/server/main.js +41 -0
- package/dist/server/server/management/operation-service.js +540 -0
- package/dist/server/server/management/session-exit-service.js +50 -0
- package/dist/server/server/management/session-manager.js +59 -0
- package/dist/server/server/repository/catalog-snapshot-store.js +304 -0
- package/dist/server/server/repository/diagnostic-logger.js +70 -0
- package/dist/server/server/repository/opaque-cursor.js +79 -0
- package/dist/server/server/repository/refresh-coordinator.js +14 -0
- package/dist/server/server/repository/session-queries.js +151 -0
- package/dist/server/server/repository/session-query-criteria.js +2 -0
- package/dist/server/server/repository/timeline-prefix-index.js +342 -0
- package/dist/server/server/repository/timeline-prefix-registry.js +55 -0
- package/dist/server/server/security/opaque-id.js +13 -0
- package/dist/server/server/source/session-source.js +2 -0
- package/dist/server/server/updates/session-updates-service.js +147 -0
- package/dist/server/server/updates/update-revision.js +25 -0
- package/dist/server/shared/api-contract.js +2 -0
- package/dist/server/shared/domain.js +2 -0
- package/dist/server/shared/interaction.js +12 -0
- package/dist/server/shared/uploads.js +2 -0
- package/package.json +79 -4
|
@@ -0,0 +1 @@
|
|
|
1
|
+
@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.1"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--code-surface:#f6f8fa;--code-ink:#1f2328;--code-border:#d0d7de80;--terminal-surface:#213138;--terminal-output-surface:#18262c;--terminal-ink:#dce8e8;--terminal-border:#62777d;--terminal-muted:#9fb3b7;--error-ink:#74392e;--error-surface:#fff0ed;--error-border:#d9aaa2;--connection-ink:#175c50;--connection-surface:#e2f0eb;--connection-border:#a9c9bd;--warning-ink:#765126;--warning-surface:#f7ead5;--warning-border:#dbc49d;--scrollbar-thumb:#8fa6ab;--text-status:.75rem;--text-small:.8125rem;--text-control:.875rem;--control-height:36px;--space-small:.5rem;--space-medium:1rem;--space-large:1.5rem;--surface:#fff;--current-hover:#105d66;--radius-control:6px;--radius-panel:8px;--hover-surface:#e3eded;--notice-border:#bdcccf;--archive-ink:var(--ink-soft);--archive-surface:transparent;--archive-border:var(--mist);--unavailable-ink:#704727;--unavailable-surface:#f4e5d4;--unavailable-border:#d6b995;--paper:#f7fafa;--paper-deep:#eef4f4;--ink:#18262d;--ink-soft:#52636a;--mist:#dce6e8;--current:#176b75;--human:#9d4e3a;--signal:#c4862d;--title-font:var(--body-font);--body-font:"Avenir Next", "PingFang SC", Inter, system-ui, sans-serif;--mono-font:"SFMono-Regular", Consolas, monospace;color:var(--ink);font-size:16px;font-family:var(--body-font);background:var(--paper)}*{box-sizing:border-box}html{background:var(--paper);-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%}body{min-width:320px;min-height:100vh;margin:0}button,input,select{font:inherit}button:focus-visible,input:focus-visible,select:focus-visible,a:focus-visible{outline:3px solid color-mix(in srgb, var(--current) 35%, transparent);outline-offset:2px}h1,h2,p{margin-top:0}.muted{color:var(--ink-soft)}.error-state>strong,.continuity-notice strong{font-weight:600}.eyebrow{font-family:var(--body-font);font-size:var(--text-small);letter-spacing:normal;color:var(--current);text-transform:none}.check-row{font-size:var(--text-small);align-items:center;gap:.45rem;margin-top:.7rem;display:flex}.check-row input{width:auto;accent-color:var(--current)}.archive-label{white-space:nowrap;color:var(--archive-ink);font-family:var(--body-font);font-size:var(--text-status);letter-spacing:normal;text-transform:none;flex-shrink:0;font-weight:600;line-height:1.2;display:inline-block}.detail-summary{flex-wrap:wrap;align-items:baseline;gap:.45rem;display:flex}button,input,select,textarea{border-radius:var(--radius-control)}summary{cursor:pointer}summary:focus-visible{outline:2px solid var(--current);outline-offset:3px}button{min-height:var(--control-height);font-size:var(--text-control);line-height:1.4}button:disabled,button[aria-disabled=true]{opacity:.45;cursor:default}button:hover:not(:disabled,[aria-disabled=true]){filter:brightness(.97)}.error-state,.continuity-notice,.interaction-error{border-radius:var(--radius-panel)}@media (width<768px){button{min-height:44px}.error-state .error-dismiss,.interaction-error button{min-width:44px;min-height:44px}.error-state{padding-right:3.5rem}}.hub{grid-template-columns:302px minmax(0,1fr);min-height:100dvh;display:grid}.hub-sidebar{background:var(--paper-deep);height:100dvh;color:var(--ink-soft);border-right:1px solid #34464a;border-color:var(--mist);flex-direction:column;align-self:start;padding:0;display:flex;position:sticky;top:0;overflow:hidden}.hub-brand{flex-shrink:0;justify-content:space-between;align-items:center;gap:.5rem;padding:25px 22px 20px;display:flex}.hub-brand a{color:var(--ink);letter-spacing:-.5px;align-items:center;gap:10px;font-size:1.05rem;font-weight:600;text-decoration:none;display:flex}.hub-sidebar button{color:inherit;cursor:pointer;background:0 0;border:0;min-height:44px}.project-heading>button:last-child{min-width:36px;font-size:1.25rem}.catalog-filters{min-height:44px;color:var(--ink-soft);font-size:var(--text-small);flex-shrink:0;align-items:center;gap:8px;margin:0 18px 20px;display:flex}.home-filter{flex:1;align-items:center;gap:6px;min-width:0;display:flex}.home-filter select{flex:1;min-width:0}.archive-switch input{margin:0}.archive-switch{white-space:nowrap;cursor:pointer;flex-shrink:0;min-height:44px;margin:0}.project-heading{align-items:center;gap:.2rem;display:flex}.project-heading>button:first-child{text-align:left;flex:1;align-items:center;gap:.5rem;min-width:0;padding:9px 7px;font-size:.875rem;font-weight:600;display:flex}.project-name{text-overflow:ellipsis;white-space:nowrap;flex:1;overflow:hidden}.project-heading small{color:var(--ink-soft);font-weight:400;font-size:var(--text-small)}.hub-project{margin-bottom:.75rem}.hub-project ul{margin:0;padding:0;list-style:none}.hub-project a{min-width:0;min-height:44px;color:var(--ink-soft);border-radius:var(--radius-control);align-items:center;gap:.6rem;margin:2px 0;padding:11px 12px 11px 36px;font-size:.875rem;line-height:1.5;text-decoration:none;display:flex;position:relative}.hub-project a small{white-space:nowrap;font-size:var(--text-small);margin-left:auto}.hub-content{min-width:0}.hub-welcome{padding:18vh clamp(1.5rem,5vw,5rem)}.hub-welcome h1{font-family:var(--title-font);font-size:clamp(1.75rem,3vw,2rem);font-weight:500}.hub-welcome p{color:var(--ink-soft)}.hub-back{color:var(--current);cursor:pointer;background:0 0;border:0;min-height:44px;margin:1rem 1.5rem 0;display:none}.hub-empty{color:var(--ink-soft);padding:.75rem}.brand-logo{border-radius:var(--radius-panel);background:var(--current);color:#fff;width:29px;height:29px;font:18px var(--mono-font);place-items:center;display:grid}.hub-sidebar button:hover{background:var(--hover-surface)}.hub-section-label{color:var(--ink-soft);font-size:var(--text-small);letter-spacing:normal;justify-content:space-between;align-items:center;padding:0 18px 8px 23px;display:flex}.hub-section-label button{min-width:32px;font-size:20px}.hub-sidebar>nav{overscroll-behavior:contain;flex:1;min-height:0;padding:0 10px 24px;overflow:auto}.hub-sidebar-footer{border-top:1px solid var(--mist);color:var(--ink-soft);font-size:var(--text-small);flex-shrink:0;align-items:center;gap:8px;padding:16px 22px;display:flex}.status-dot{background:var(--current);border-radius:50%;width:6px;height:6px;display:inline-block}.hub-project a:hover{background:var(--hover-surface)}.hub-project a[aria-current]{color:var(--ink);background:#dfeaea}.hub-project a[aria-current]:before{content:"";background:var(--current);border-radius:3px;width:3px;position:absolute;top:12px;bottom:12px;left:0}.session-nav-copy{flex:1;min-width:0}.session-nav-copy>span{white-space:nowrap;text-overflow:ellipsis;display:block;overflow:hidden}.session-nav-copy time{color:var(--ink-soft);font-size:var(--text-small);margin-top:3px;display:block}.hub-topbar{border-bottom:1px solid var(--mist);min-height:66px;color:var(--ink-soft);align-items:center;gap:12px;padding:0 36px;font-size:.875rem;display:flex}.hub-topbar strong{text-overflow:ellipsis;white-space:nowrap;min-width:0;color:var(--ink-soft);font-weight:500;overflow:hidden}.creation-notice button{margin-left:auto}.creation-notice strong{font-weight:600}.creation-notice{background:var(--paper-deep);border-bottom:1px solid var(--notice-border);z-index:1;grid-column:1/-1;align-items:center;gap:.75rem;padding:.75rem 1rem;display:flex;position:relative}@media (width<768px){.hub{display:block}.hub-sidebar{width:100%;position:static}.hub.has-session .hub-sidebar,.hub:not(.has-session) .hub-content{display:none}.hub-topbar{min-height:60px;font-size:var(--text-small);gap:8px;padding:0 17px}.hub-back{border:1px solid var(--mist);border-radius:var(--radius-control);white-space:nowrap;margin:0;padding:6px 10px;font-size:.875rem;display:block}.hub-project a{padding-block:14px}.hub-sidebar-footer{padding-bottom:max(16px, env(safe-area-inset-bottom))}}.hub-sidebar select{max-width:100%;color:var(--ink);background:var(--surface);border:1px solid var(--mist);padding:.4rem}.reader-welcome{place-items:center;display:grid}.reader-page{min-height:100vh}.reader-header h2{font-family:var(--title-font);letter-spacing:-.02em;overflow-wrap:anywhere;-webkit-line-clamp:2;-webkit-box-orient:vertical;max-width:50rem;margin:0;font-size:2rem;font-weight:500;line-height:1.3;display:-webkit-box;overflow:hidden}.empty-state h2{font-family:var(--title-font);letter-spacing:-.02em;color:var(--ink);font-weight:500}.session-meta{color:var(--ink-soft);font-family:var(--body-font);font-size:var(--text-small);letter-spacing:normal}.reader{width:100%;max-width:72rem;padding:3.5rem clamp(1.5rem,5vw,5rem)}.reader-header{padding-bottom:var(--space-large);border-bottom:1px solid var(--mist);justify-content:space-between;gap:2rem;display:flex}.reader-header>div{min-width:0}.reader-header .session-meta{overflow-wrap:anywhere}.session-origin,.session-source-id{color:var(--ink-soft);font-size:var(--text-small);margin-top:.45rem}.session-source-id code{font-family:var(--mono-font);overflow-wrap:anywhere}.reader-controls{flex-flow:column wrap;align-items:stretch;gap:1rem;max-width:100%;margin-top:.85rem;display:flex}.event-toggles{flex-wrap:wrap;gap:1rem;max-width:100%;display:flex;overflow-x:auto}.event-toggle{flex:none;margin-top:0;font-size:.875rem}.timeline{margin:0;padding:2rem 0 0;list-style:none}.load-more{color:var(--current);border:1px solid var(--current);cursor:pointer;background:0 0;margin-left:0;padding:.48rem .72rem}.error-state button{color:var(--current);border:1px solid var(--current);cursor:pointer;background:0 0;padding:.48rem .72rem}.infinite-scroll-sentinel{min-height:1px;margin-top:.25rem}.infinite-scroll-sentinel .loading{margin:0}.error-state{border-left:3px solid var(--signal);padding:.9rem 1rem;color:var(--error-ink);background:var(--error-surface);border-left-color:var(--human);margin:1.25rem 0;padding-right:3rem;position:relative}.continuity-notice{color:var(--error-ink);background:var(--error-surface);border-left:3px solid var(--human);justify-content:space-between;align-items:center;gap:1rem;margin:1.25rem 0;padding:.9rem 1rem;display:flex}.continuity-notice p{font-size:var(--text-small);margin:.25rem 0 0}.continuity-notice button{color:currentColor;cursor:pointer;background:0 0;border:1px solid;flex:none;padding:.48rem .72rem}.error-state .error-dismiss{color:currentColor;cursor:pointer;background:0 0;border:0;place-items:center;width:1.8rem;height:1.8rem;padding:0;font-size:1.35rem;line-height:1;display:grid;position:absolute;top:.45rem;right:.45rem}.error-state .error-dismiss:hover{background:#74392e17}.error-state .error-dismiss:focus-visible{outline-offset:2px;outline:2px solid}.empty-state{max-width:30rem;color:var(--ink-soft);padding:2.5rem 0}.page-jump-controls{z-index:30;gap:.35rem;display:grid;position:fixed;bottom:clamp(.9rem,2.2vw,1.75rem);right:clamp(.9rem,2.2vw,1.75rem)}.page-jump-control{min-width:4.5rem;min-height:2.5rem;color:var(--current);background:color-mix(in srgb, var(--paper) 94%, transparent);font-family:var(--body-font);font-size:var(--text-small);letter-spacing:normal;text-transform:none;cursor:pointer;opacity:0;pointer-events:none;border:1px solid #aebfc3;border-radius:999px;padding:.45rem .7rem;font-weight:600;transform:translateY(.45rem);box-shadow:0 .3rem 1rem #2131381f}.page-jump-control.is-visible{opacity:1;pointer-events:auto;transform:translateY(0)}.page-jump-control:hover{color:var(--paper);background:var(--current);border-color:var(--current)}.loading{color:var(--ink-soft);font-family:var(--body-font);font-size:var(--text-small)}.hub .reader-header{padding-top:0}.hub .reader-header>div{width:100%}.session-title-row{align-items:flex-start;gap:1rem;padding:0;display:flex;position:relative}.session-title-row h2{-webkit-line-clamp:unset;overflow-wrap:anywhere;flex:1;min-width:0;max-width:none;display:block;overflow:visible}.child-sessions{gap:0;margin:0;display:grid}.child-sessions a{min-height:44px;color:var(--current);overflow-wrap:anywhere;border:0;border-top:1px solid var(--mist);max-width:100%;padding:12px 15px;font-size:.875rem;text-decoration:none}.hub .reader{max-width:72rem;margin:0;padding:3.5rem clamp(1.5rem,5vw,5rem) 5rem}.reader-header .eyebrow{margin-bottom:12px}.session-metadata{color:var(--ink-soft);font:var(--text-small) var(--body-font);flex-wrap:wrap;align-items:center;gap:.6rem;margin:.8rem 0 1rem;display:flex}.session-information{min-width:0}.session-information p{font:var(--text-small) var(--body-font);overflow-wrap:anywhere;margin:0}.parent-session,.child-session-group{border:1px solid var(--mist);border-radius:var(--radius-panel);margin:24px 0 8px;font-size:.875rem}.parent-session a{border-top:0}.child-session-group summary{color:var(--ink-soft);padding:12px 15px}#session-title:focus{outline:none}@media (width<=720px){.reader{padding-top:2.5rem}.reader-header{display:block}}@media (prefers-reduced-motion:no-preference){.page-jump-control{transition:opacity .18s,transform .18s,color .12s,background .12s,border-color .12s}}@media (width<768px){.hub .reader{padding:25px 20px 5rem}.session-metadata{gap:8px;margin-bottom:20px}}.session-information summary{width:fit-content;min-height:var(--control-height);padding-block:var(--space-small);color:var(--ink-soft);font-size:var(--text-small);border-radius:var(--radius-control)}.session-information summary:hover{color:var(--current)}.session-information-content{gap:var(--space-small);padding:var(--space-medium);margin-top:var(--space-small);background:var(--paper-deep);border:1px solid var(--mist);border-radius:var(--radius-panel);display:grid}.session-information code{font-family:var(--mono-font)}.session-information-content p{line-height:1.6}.event-toggle{min-height:var(--control-height)}@media (width<768px){.reader-header h2{font-size:1.75rem}.session-metadata{margin-bottom:var(--space-small)}.reader-controls{gap:var(--space-small)}.event-toggles{column-gap:var(--space-medium);row-gap:0}.event-toggle,.session-information summary{min-height:44px}.continuity-notice{flex-wrap:wrap}}.trace-event{--trace-color:var(--current);content-visibility:auto;contain-intrinsic-size:auto 12rem;min-width:0;padding-bottom:2.5rem;display:block;position:relative}.trace-event.human{--trace-color:var(--human)}.trace-event.tool{--trace-color:var(--signal)}.trace-event.user_input{--trace-color:var(--human)}.trace-event.directive{--trace-color:#7a4f2d}.trace-event.internal{--trace-color:#68777c}.trace-event.token{--trace-color:#496c65}.trace-mark{z-index:1;background:var(--paper);border:2px solid var(--trace-color);border-radius:50%;width:.9rem;height:.9rem;position:absolute;top:.22rem;left:0}.tool .trace-mark{border-radius:1px}.user_input .trace-mark{border-radius:50% 50% 50% 2px;top:1.22rem;left:1.1rem}.directive .trace-mark{border-style:dashed;border-radius:1px}.final .trace-mark{background:var(--current);border-radius:0;transform:rotate(45deg)scale(.78)}.internal .trace-mark{border-style:dotted}.token .trace-mark{border-style:double;border-radius:50%}.trace-event article{width:100%;min-width:0;max-width:52rem}.trace-event article>p{line-height:1.72}.event-label{font-family:var(--body-font);font-size:var(--text-small);letter-spacing:normal;color:var(--trace-color);text-transform:none;margin-bottom:.55rem}.trace-event .event-label{padding-inline-start:1.4rem}.message-body :is(p,li){line-height:1.7}.trace-event :is(h1,h2,h3,h4,h5,h6,strong,b,th){font-weight:500}.message-body :is(h1,h2,h3,h4,h5,h6){font-family:var(--body-font);margin-block:1.5em .6em;line-height:1.4}.message-body h1{font-size:1.5rem}.message-body h2{font-size:1.375rem}.message-body h3{font-size:1.25rem}.message-body h4{font-size:1.125rem}.message-body :is(h5,h6){font-size:1rem}.message-body :is(p,h1,h2,h3,h4,h5,h6,li,a,code){overflow-wrap:anywhere;min-width:0}.markdown-scroll-region{border:1px solid var(--mist);overscroll-behavior-inline:contain;scrollbar-color:var(--scrollbar-thumb) transparent;scrollbar-width:thin;-webkit-overflow-scrolling:touch;max-width:100%;margin-block:1em;overflow:auto hidden}.markdown-scroll-region:focus-visible{outline:2px solid var(--signal);outline-offset:2px}.markdown-scroll-region::-webkit-scrollbar{width:10px;height:10px}.markdown-scroll-region::-webkit-scrollbar-track{background:0 0}.markdown-scroll-region::-webkit-scrollbar-corner{background:0 0}.markdown-scroll-region::-webkit-scrollbar-thumb{background-color:var(--scrollbar-thumb);background-clip:padding-box;border:2px solid #0000;border-radius:999px}.markdown-scroll-code{background:var(--code-surface);border-color:var(--code-border)}.markdown-scroll-code pre{width:max-content;min-width:100%;max-width:none;color:var(--code-ink);white-space:pre;background:0 0;margin:0;padding:1rem;overflow:visible}.markdown-scroll-code code{overflow-wrap:normal}.markdown-scroll-table{border:0}.markdown-scroll-table table{border-collapse:collapse;width:max-content;max-width:none}.markdown-scroll-table :is(th,td){border:1px solid var(--mist);text-align:start;padding:.45rem .65rem}.markdown-scroll-math{border:0;padding:.2rem .35rem}.markdown-scroll-math .katex-display{width:max-content;min-width:100%;margin:0}.event-detail pre,.directive-block{max-width:100%;color:var(--code-ink);background:var(--code-surface);border:1px solid var(--code-border);white-space:pre-wrap;overflow-wrap:anywhere;padding:1rem;overflow:auto}.message-body code{font-family:var(--mono-font);font-size:.86em}.markdown-scroll-code pre,.event-detail pre,.directive-block{font-size:.86rem}.message-body pre code{font-size:inherit}.message-body a{color:#075f70;text-underline-offset:.18em}.image-placeholder{color:var(--ink-soft);font-style:italic}.trace-event article button{color:var(--current);border:1px solid var(--current);cursor:pointer;background:0 0;padding:.48rem .72rem}.trace-event article .plan-toggle{width:100%;color:var(--current);text-align:left;background:0 0;border:0;justify-content:space-between;align-items:center;gap:1rem;padding:0 0 .55rem;display:flex}.plan-toggle .event-label{margin:0}.plan-toggle-action{color:var(--ink-soft);font-family:var(--body-font);font-size:var(--text-small);letter-spacing:normal;text-transform:none;flex:none;align-items:center;gap:.35rem;display:inline-flex}.plan-toggle-mark{font-size:1.15rem;line-height:1;transform:rotate(0)}.plan-toggle[aria-expanded=true] .plan-toggle-mark{transform:rotate(90deg)}.plan-preview{color:var(--ink-soft);white-space:pre-line;overflow-wrap:anywhere;-webkit-line-clamp:3;-webkit-box-orient:vertical;margin:0;display:-webkit-box;overflow:hidden}.event-detail{margin-top:.8rem}.detail-summary strong,.internal-event-body>p>strong,.user-input-options strong{font-weight:500}.character-count{color:var(--current);background:color-mix(in srgb, var(--current) 9%, transparent);font-family:var(--body-font);font-size:var(--text-small);font-variant-numeric:tabular-nums;letter-spacing:normal;white-space:nowrap;border-radius:999px;flex:none;padding:.12rem .42rem;display:inline-flex}.tool-call-id{color:var(--ink-soft);font-size:var(--text-small)}.tool-call-id code{font-family:var(--mono-font);overflow-wrap:anywhere}.user-input-card{border:1px solid var(--mist);border-left:3px solid var(--trace-color);background:var(--paper-deep);padding:1rem 1.1rem}.user-input-heading{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.user-input-heading .event-label{margin:0}.user-input-status{color:var(--ink-soft);background:var(--paper);border:1px solid var(--mist);font-family:var(--body-font);font-size:var(--text-status);letter-spacing:normal;text-transform:none;flex:none;padding:.12rem .4rem;font-weight:500}.user-input-status.answered{color:#31545a;background:#dfeaea;border-color:#c6d8da}.user-input-status.aborted,.user-input-status.unavailable{color:var(--unavailable-ink);background:var(--unavailable-surface);border-color:var(--unavailable-border)}.user-input-question{margin-top:1.25rem}.user-input-question h3{margin:.25rem 0 .75rem;font-size:1rem;font-weight:500;line-height:1.45}.user-input-header{color:var(--trace-color);font-family:var(--body-font);font-size:var(--text-small);text-transform:none;margin:0}.user-input-options{gap:.55rem;margin:0;padding:0;list-style:none;display:grid}.user-input-options li{border:1px solid var(--notice-border);background:var(--paper);justify-content:space-between;align-items:flex-start;gap:1rem;padding:.7rem .8rem;display:flex}.user-input-options li.selected{border-color:var(--scrollbar-thumb);background:var(--hover-surface);box-shadow:inset 3px 0 var(--current)}.user-input-options p{color:var(--ink-soft);font-size:var(--text-small);margin:.25rem 0 0;line-height:1.45}.selected-marker{color:var(--current);font-family:var(--body-font);font-size:var(--text-small);text-transform:none;flex:none}.user-input-freeform{background:var(--hover-surface);margin-top:.65rem;padding:.65rem .8rem}.user-input-freeform span{color:var(--current);font-family:var(--body-font);font-size:var(--text-small);text-transform:none}.user-input-freeform p{white-space:pre-wrap;overflow-wrap:anywhere;margin:.3rem 0 0}.user-input-unavailable{color:var(--ink-soft);font-size:var(--text-small)}.event-detail h4{font-family:var(--body-font);font-size:var(--text-small);text-transform:none;margin:1rem 0 .35rem;font-weight:500}.token-usage{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.5rem;margin-top:.8rem;display:grid}.token-usage h4{font-family:var(--body-font);font-size:var(--text-small);text-transform:none;margin:0 0 .45rem}.token-usage dl{font-family:var(--body-font);font-size:var(--text-small);margin:0}.token-usage dl>div{border-bottom:1px solid var(--mist);justify-content:space-between;gap:1rem;padding:.18rem 0;display:flex}.token-usage dt{color:var(--ink-soft)}.token-usage dd{font-variant-numeric:tabular-nums;margin:0}.token-usage-unavailable{color:var(--ink-soft);font-size:var(--text-small);margin:0}.truncated{color:#7a4f2d;font-size:var(--text-small)}.event-label time{color:var(--ink-soft);font-weight:400}.message-content{color:var(--ink)}.message-content>:last-child{margin-bottom:0}.trace-event .plan-toggle>.event-label{text-align:left;margin-bottom:0}@media (width<=720px){.token-usage{grid-template-columns:1fr}}@media (width<=480px){.message-body :is(ul,ol){padding-inline-start:1.25rem}.message-body :is(ul,ol) :is(ul,ol){padding-inline-start:1rem}.message-body blockquote{margin-inline:.65rem 0;padding-inline-start:.75rem}}@media (prefers-reduced-motion:no-preference){.plan-toggle-mark{transition:transform .14s ease-out}}.markdown-scroll-code,.event-detail pre,.directive-block,.user-input-card,.user-input-options li,.user-input-freeform{border-radius:var(--radius-panel)}.event-detail pre,.directive-block,.markdown-scroll-code pre,.tool-call-id code{font-family:var(--mono-font)}.message-body a{color:var(--current)}.user-input-status{border-radius:999px}.interaction-panel{background:var(--paper-deep);border:1px solid var(--notice-border);border-left:3px solid var(--current);border-radius:var(--radius-panel);max-width:52rem;margin-top:2rem;padding:1.15rem}.interaction-heading{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.interaction-status{color:var(--ink-soft);border:1px solid var(--notice-border);font-family:var(--body-font);font-size:var(--text-status);letter-spacing:normal;text-transform:none;background:#e2eaeb;flex:none;padding:.18rem .38rem;font-weight:600;line-height:1}.interaction-status-warning{color:var(--warning-ink);background:var(--warning-surface);border-color:var(--warning-border)}.interaction-status-error{color:var(--error-ink);background:var(--error-surface);border-color:var(--error-border)}.interaction-summary{color:var(--ink-soft);font-family:var(--body-font);font-size:var(--text-small);margin:.75rem 0 0}.interaction-composer{background:var(--paper);border:1px solid var(--scrollbar-thumb);border-radius:var(--radius-panel);margin-top:1rem;overflow:hidden}.interaction-composer:focus-within{border-color:var(--current);box-shadow:0 0 0 2px color-mix(in srgb, var(--current) 18%, transparent)}.interaction-composer textarea{resize:vertical;width:100%;min-height:10.4rem;color:var(--ink);font:inherit;background:0 0;border:0;outline:0;margin:0;padding:.7rem .75rem;line-height:1.5;display:block}.interaction-composer textarea:disabled{color:var(--ink-soft);background:#e7eeee}.interaction-actions{background:var(--paper-deep);border-top:1px solid var(--mist);justify-content:space-between;align-items:center;gap:1rem;padding:.3rem .4rem;display:flex}.interaction-primary-actions{gap:.3rem;margin-left:auto;display:flex}.interaction-actions button{min-height:var(--control-height);color:var(--current);cursor:pointer;font-family:var(--body-font);font-size:var(--text-control);touch-action:manipulation;-webkit-tap-highlight-color:transparent;background:0 0;border:1px solid #0000;padding:.2rem .5rem;line-height:1.3}.interaction-actions .interaction-send{color:var(--paper);background:var(--current);border-color:var(--current)}.interaction-actions button:disabled{opacity:.42;cursor:default}.interaction-error{color:var(--error-ink);background:var(--error-surface);justify-content:space-between;align-items:center;gap:1rem;margin-top:.8rem;padding:.6rem .7rem;display:flex}.interaction-error button{color:currentColor;cursor:pointer;background:0 0;border:0;font-size:1.2rem}.terminal-preview{border:1px solid var(--terminal-border);background:var(--terminal-surface);margin-top:.75rem}.terminal-preview-header{border-bottom:1px solid var(--terminal-border);align-items:stretch;min-height:44px;display:flex}.terminal-preview-toggle{min-width:0;min-height:var(--control-height);white-space:nowrap;color:var(--terminal-ink);cursor:pointer;font-family:var(--body-font);font-size:var(--text-small);text-align:left;background:0 0;border:0;flex:1;align-items:center;gap:.45rem;padding:.55rem .7rem;display:flex;overflow:hidden}.terminal-preview-interrupt{min-height:var(--control-height);color:var(--terminal-ink);border:1px solid var(--terminal-border);border-radius:var(--radius-control);cursor:pointer;font-family:var(--body-font);font-size:var(--text-small);touch-action:manipulation;-webkit-tap-highlight-color:transparent;background:0 0;flex:none;align-self:center;margin:.3rem .5rem;padding:.3rem .65rem;line-height:1.3}.terminal-preview-toggle:disabled{cursor:wait;opacity:.72}.terminal-preview-mark{width:.7rem;color:var(--terminal-muted);flex:0 0 .7rem}.terminal-preview-status{color:var(--terminal-muted);font-size:var(--text-small);text-overflow:ellipsis;margin-left:auto;overflow:hidden}.terminal-preview-body{background:var(--terminal-output-surface);min-height:9.9rem;position:relative}.terminal-preview pre{max-height:28rem;color:var(--terminal-ink);background:var(--terminal-output-surface);white-space:pre;tab-size:4;scrollbar-color:var(--terminal-border) transparent;scrollbar-width:thin;font-family:var(--mono-font);margin:0;padding:.8rem;font-size:12px;line-height:1.45;overflow:auto}.terminal-preview-content{display:block}.terminal-preview pre::-webkit-scrollbar{width:12px;height:12px}.terminal-preview pre::-webkit-scrollbar-track{background:0 0}.terminal-preview pre::-webkit-scrollbar-corner{background:0 0}.terminal-preview pre::-webkit-scrollbar-thumb{background:var(--terminal-border);background-clip:padding-box;border:3px solid #0000;border-radius:999px}.terminal-preview pre::-webkit-scrollbar-thumb:hover{background-color:var(--terminal-muted)}.terminal-preview pre:focus-visible{outline:1px solid var(--terminal-muted);outline-offset:-2px}.terminal-preview-notice{color:#d8c39f;font-family:var(--mono-font);font-size:var(--text-small);background:#2b3b40;margin:0;padding:.6rem .8rem}.terminal-preview-empty{font-family:var(--mono-font);font-size:var(--text-small);min-height:9.9rem;color:var(--terminal-muted);background:var(--terminal-output-surface);margin:0;padding:.6rem .8rem}.terminal-preview-error{margin:0}.terminal-keypad{border:1px solid var(--terminal-border);border-radius:var(--radius-control);background:#213138db;grid-template:repeat(2,40px)/repeat(3,1fr);gap:.14rem;width:9.75rem;padding:.2rem;display:grid;position:absolute;bottom:2.55rem;right:.55rem;box-shadow:0 .35rem .9rem #00000038}.terminal-key{min-width:40px;min-height:40px;color:var(--terminal-ink);border-radius:var(--radius-control);cursor:pointer;font-family:var(--mono-font);touch-action:manipulation;-webkit-tap-highlight-color:transparent;background:#21313894;border:1px solid #758b90;place-items:center;padding:0;font-size:.92rem;line-height:1;display:grid}.terminal-key-enter,.terminal-key-plan{font-size:var(--text-small);font-weight:650}.terminal-preview-interrupt:focus-visible,.terminal-key:focus-visible{z-index:1;outline:2px solid var(--signal);outline-offset:1px;position:relative}.terminal-key:active:not([aria-disabled=true]){transform:translateY(1px)}.terminal-preview-interrupt[aria-disabled=true],.terminal-key[aria-disabled=true]{cursor:default;opacity:.38}@media (hover:hover) and (pointer:fine){.interaction-actions button:hover:not(:disabled){background:var(--hover-surface);border-color:var(--notice-border)}.interaction-actions .interaction-send:hover:not(:disabled){color:var(--paper);background:var(--current-hover);border-color:var(--current-hover)}.terminal-preview-interrupt:hover:not([aria-disabled=true]),.terminal-key:hover:not([aria-disabled=true]){color:#fff;background:#27727b;border-color:#8eb4b8}}@media (width<=480px){.interaction-heading{align-items:flex-start;gap:.3rem}}.terminal-preview{border-radius:var(--radius-panel);overflow:hidden}.interaction-status{border-radius:999px}.interaction-primary-actions{flex-wrap:wrap}@media (width<768px){.interaction-actions{gap:var(--space-small);flex-wrap:wrap}.interaction-actions button,.terminal-key{min-height:44px}.terminal-keypad{grid-template-rows:repeat(2,44px)}}.tmux-access-trigger,.interaction-management-trigger{min-height:var(--control-height);border:1px solid var(--mist);border-radius:var(--radius-control);color:var(--ink-soft);font-size:var(--text-control);cursor:pointer;background:0 0;padding:.25rem .6rem;line-height:1.3}.interaction-management-actions{margin-left:auto}.resume-reason{color:var(--ink-soft);font-size:var(--text-small)}.live-label{color:#15803d;font-size:var(--text-status);font-weight:600}.interaction-composer-dragging{outline:2px dashed var(--color-accent,#3675cf);outline-offset:4px}.create-session{border:1px solid var(--mist);border-radius:var(--radius-panel);margin:1rem 0;padding:1rem}.create-session h2{min-height:36px;margin-top:0;padding-right:44px;font-size:1rem;font-weight:600}.create-session form{gap:.8rem;display:grid}.create-session label:not(.check-row){gap:.4rem;display:grid}.create-session input[list],.create-session select{width:100%;min-width:0;padding:.65rem}.create-session button{cursor:pointer;border:1px solid var(--mist);background:var(--surface);color:var(--ink);padding:.6rem 1rem;font-size:.875rem}.session-management button,.operation-status button{cursor:pointer;padding:.6rem 1rem}.operation-status{overflow-wrap:anywhere;border-left:3px solid;margin-top:.8rem;padding:1rem;font-size:1rem}.operation-status small{font-size:var(--text-small);display:block}.operation-status strong{font-weight:600}.attach-command pre{white-space:pre-wrap;overflow-wrap:anywhere;-webkit-user-select:text;user-select:text}.session-management{border:0;flex-shrink:0;margin:0;padding:0;position:static}.session-menu-trigger{cursor:pointer;min-width:44px;min-height:44px;color:var(--ink);border:1px solid var(--mist);border-radius:var(--radius-control);background:0 0;font-size:1.6rem;line-height:1}.session-action-menu{z-index:30;border:1px solid var(--mist);border-radius:var(--radius-panel);background:var(--surface);min-width:10rem;padding:.5rem;position:absolute;top:44px;right:0;box-shadow:0 8px 30px #21313814}.session-action-menu button{text-align:left;cursor:pointer;border-radius:var(--radius-control);background:0 0;border:0;width:100%;min-height:44px;font-size:.875rem}.session-operation-details{overflow-wrap:anywhere;font-size:1rem;position:relative}.session-title-row:has(.session-operation-details :is(.operation-status,[role=alert])){flex-wrap:wrap}.session-management:has(.session-operation-details :is(.operation-status,[role=alert])){display:contents}.session-management:has(.session-operation-details :is(.operation-status,[role=alert])) .session-operation-details{flex-basis:100%}dialog.create-session,dialog.terminal-connection-dialog{color:var(--ink);border:1px solid var(--mist);border-radius:var(--radius-panel);background:var(--surface);width:min(30rem,100vw - 2rem);max-height:calc(100dvh - 2rem);margin:auto;padding:26px;position:fixed;inset:0;overflow:auto;box-shadow:0 20px 80px #0002}dialog::backdrop{background:#13282c88}.terminal-connection-dialog .attach-command>p{align-items:center;min-height:44px;padding-right:44px;font-weight:600;display:flex}.dialog-close{top:var(--space-medium);right:var(--space-medium);cursor:pointer;min-width:44px;min-height:44px;font-size:1.3rem;position:absolute}.session-action-menu button:hover{background:var(--hover-surface)}.create-session input{border:1px solid var(--mist);background:var(--surface);color:var(--ink)}.create-session button[type=submit]{color:var(--surface);background:var(--current);border-color:var(--current)}.create-session button[type=submit]:hover:not(:disabled){background:var(--current-hover);border-color:var(--current-hover)}.attach-command pre{padding:var(--space-medium);background:var(--paper-deep);border:1px solid var(--mist);border-radius:var(--radius-panel);font-family:var(--mono-font)}.operation-status{background:var(--paper-deep);border-radius:var(--radius-panel)}.terminal-connection-dialog button{cursor:pointer;border:1px solid var(--mist);background:var(--surface);color:var(--ink);border-radius:var(--radius-control);padding:.6rem 1rem}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
<!doctype html>
|
|
2
|
+
<html lang="en">
|
|
3
|
+
<head>
|
|
4
|
+
<meta charset="UTF-8" />
|
|
5
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
6
|
+
<meta name="color-scheme" content="light" />
|
|
7
|
+
<meta name="description" content="A private, local reader for Codex sessions" />
|
|
8
|
+
<link rel="icon" href="data:," />
|
|
9
|
+
<title>Codex Hub</title>
|
|
10
|
+
<script type="module" crossorigin src="/assets/index-Dx1LBBmn.js"></script>
|
|
11
|
+
<link rel="stylesheet" crossorigin href="/assets/index-lmwuA3r2.css">
|
|
12
|
+
</head>
|
|
13
|
+
<body>
|
|
14
|
+
<div id="root"></div>
|
|
15
|
+
</body>
|
|
16
|
+
</html>
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export function nonEmptyAgentIdentity(fields) {
|
|
2
|
+
return Object.values(fields).some((field) => field !== null) ? fields : null;
|
|
3
|
+
}
|
|
4
|
+
export function taskNameFromAgentPath(agentPath) {
|
|
5
|
+
if (agentPath === null)
|
|
6
|
+
return null;
|
|
7
|
+
return agentPath.split("/").filter(Boolean).at(-1) ?? null;
|
|
8
|
+
}
|
|
9
|
+
//# sourceMappingURL=agent-identity.js.map
|
|
@@ -0,0 +1,300 @@
|
|
|
1
|
+
import { constants } from "node:fs";
|
|
2
|
+
import { access } from "node:fs/promises";
|
|
3
|
+
import { resolve } from "node:path";
|
|
4
|
+
import { performance } from "node:perf_hooks";
|
|
5
|
+
import { paneBindings, } from "../../interaction/pane-binding-manager.js";
|
|
6
|
+
import { opaqueIdForParts } from "../../security/opaque-id.js";
|
|
7
|
+
import { IdentityResolver } from "./identity-resolver.js";
|
|
8
|
+
import { codexBindingAttemptsFrom, codexInteraction } from "./interaction-parser.js";
|
|
9
|
+
import { isExpectedIoError } from "./io-errors.js";
|
|
10
|
+
import { JsonlCatalogSource } from "./jsonl-catalog-source.js";
|
|
11
|
+
import { DECODER_VERSION, NORMALIZER_VERSION } from "./limits.js";
|
|
12
|
+
import { PathPolicy } from "./path-policy.js";
|
|
13
|
+
import { CheckpointedRolloutDecoder, } from "./rollout-decoder.js";
|
|
14
|
+
import { SessionIndexReader } from "./session-index-reader.js";
|
|
15
|
+
import { DefaultSessionNormalizer, } from "./session-normalizer.js";
|
|
16
|
+
const EMPTY_TELEMETRY = {
|
|
17
|
+
fullFiles: 0,
|
|
18
|
+
appendFiles: 0,
|
|
19
|
+
probeBytes: 0,
|
|
20
|
+
decodeBytes: 0,
|
|
21
|
+
decodeMs: 0,
|
|
22
|
+
normalizeMs: 0,
|
|
23
|
+
};
|
|
24
|
+
export class CodexSessionSource {
|
|
25
|
+
codexHome;
|
|
26
|
+
decoder;
|
|
27
|
+
identity;
|
|
28
|
+
normalizer;
|
|
29
|
+
sessionIndex;
|
|
30
|
+
bindings;
|
|
31
|
+
descriptor;
|
|
32
|
+
#cache = new Map();
|
|
33
|
+
#observedRoots = new Set();
|
|
34
|
+
#snapshot = null;
|
|
35
|
+
#lastRefreshTelemetry = EMPTY_TELEMETRY;
|
|
36
|
+
constructor(codexHome, instanceKey, decoder = new CheckpointedRolloutDecoder(), identity = new IdentityResolver(), normalizer = new DefaultSessionNormalizer(), sessionIndex = new SessionIndexReader(codexHome), bindings = paneBindings) {
|
|
37
|
+
this.codexHome = codexHome;
|
|
38
|
+
this.decoder = decoder;
|
|
39
|
+
this.identity = identity;
|
|
40
|
+
this.normalizer = normalizer;
|
|
41
|
+
this.sessionIndex = sessionIndex;
|
|
42
|
+
this.bindings = bindings;
|
|
43
|
+
this.descriptor = {
|
|
44
|
+
sourceType: "codex-jsonl",
|
|
45
|
+
instanceKey,
|
|
46
|
+
sourceInstanceId: opaqueIdForParts("source", instanceKey),
|
|
47
|
+
displayName: "Codex",
|
|
48
|
+
};
|
|
49
|
+
}
|
|
50
|
+
async refresh() {
|
|
51
|
+
await this.sessionIndex.refresh();
|
|
52
|
+
const policy = await PathPolicy.create(this.codexHome);
|
|
53
|
+
const archivedDescriptors = new Map([...this.#cache.values()]
|
|
54
|
+
.filter((entry) => entry.descriptor.archived)
|
|
55
|
+
.map((entry) => [entry.descriptor.canonicalPath, entry.descriptor]));
|
|
56
|
+
const discovery = await new JsonlCatalogSource(policy, archivedDescriptors).discover();
|
|
57
|
+
const presentRoots = new Set(policy.roots().map((root) => root.canonicalPath));
|
|
58
|
+
for (const root of this.#observedRoots) {
|
|
59
|
+
if (!presentRoots.has(root))
|
|
60
|
+
discovery.diagnostics.push({
|
|
61
|
+
code: "session_root_unreadable",
|
|
62
|
+
severity: "warning",
|
|
63
|
+
message: "A previously observed session directory is unavailable.",
|
|
64
|
+
ordinal: null,
|
|
65
|
+
});
|
|
66
|
+
}
|
|
67
|
+
for (const root of presentRoots)
|
|
68
|
+
this.#observedRoots.add(root);
|
|
69
|
+
const discoverySignature = JSON.stringify({
|
|
70
|
+
diagnostics: discovery.diagnostics,
|
|
71
|
+
entries: discovery.entries.map(({ descriptor }) => fingerprintOf(descriptor)),
|
|
72
|
+
});
|
|
73
|
+
const nextCache = new Map();
|
|
74
|
+
const binds = new Map();
|
|
75
|
+
const telemetry = mutableTelemetry();
|
|
76
|
+
const unavailableRollouts = [];
|
|
77
|
+
const loadDiagnostics = [];
|
|
78
|
+
const acceptedThreads = new Set();
|
|
79
|
+
const duplicateThreads = new Set();
|
|
80
|
+
// Previously accepted paths take precedence; discovery order breaks first-scan ties.
|
|
81
|
+
const candidates = [...discovery.entries].sort((left, right) => Number(this.#cache.has(right.descriptor.sourceRelativePath)) -
|
|
82
|
+
Number(this.#cache.has(left.descriptor.sourceRelativePath)));
|
|
83
|
+
for (const { descriptor } of candidates) {
|
|
84
|
+
const fingerprint = fingerprintOf(descriptor);
|
|
85
|
+
const cached = this.#cache.get(descriptor.sourceRelativePath);
|
|
86
|
+
let loaded;
|
|
87
|
+
if (cached !== undefined && sameFingerprint(cached.fingerprint, fingerprint)) {
|
|
88
|
+
if (descriptor.archived) {
|
|
89
|
+
loaded = cached;
|
|
90
|
+
}
|
|
91
|
+
else {
|
|
92
|
+
try {
|
|
93
|
+
await access(descriptor.canonicalPath, constants.R_OK);
|
|
94
|
+
loaded = cached;
|
|
95
|
+
}
|
|
96
|
+
catch (error) {
|
|
97
|
+
if (!isExpectedIoError(error))
|
|
98
|
+
throw error;
|
|
99
|
+
loaded = null;
|
|
100
|
+
}
|
|
101
|
+
}
|
|
102
|
+
}
|
|
103
|
+
else {
|
|
104
|
+
loaded = await this.#load(descriptor, fingerprint, cached, telemetry, binds);
|
|
105
|
+
}
|
|
106
|
+
if (loaded === null) {
|
|
107
|
+
unavailableRollouts.push(descriptor.sourceRelativePath);
|
|
108
|
+
loadDiagnostics.push(rolloutUnavailableDiagnostic());
|
|
109
|
+
continue;
|
|
110
|
+
}
|
|
111
|
+
if (loaded.threadId !== null) {
|
|
112
|
+
if (acceptedThreads.has(loaded.threadId)) {
|
|
113
|
+
duplicateThreads.add(loaded.threadId);
|
|
114
|
+
binds.delete(descriptor.id);
|
|
115
|
+
continue;
|
|
116
|
+
}
|
|
117
|
+
acceptedThreads.add(loaded.threadId);
|
|
118
|
+
}
|
|
119
|
+
nextCache.set(descriptor.sourceRelativePath, loaded);
|
|
120
|
+
}
|
|
121
|
+
const sessions = sourceEntries(nextCache);
|
|
122
|
+
const diagnostics = [
|
|
123
|
+
...discovery.diagnostics.map((item) => ({ ...item })),
|
|
124
|
+
...loadDiagnostics,
|
|
125
|
+
...[...duplicateThreads].map(() => ({
|
|
126
|
+
code: "duplicate_native_session_id",
|
|
127
|
+
severity: "warning",
|
|
128
|
+
message: "Multiple Codex rollouts declared the same native session ID; duplicate rollouts were ignored.",
|
|
129
|
+
ordinal: null,
|
|
130
|
+
})),
|
|
131
|
+
];
|
|
132
|
+
for (const entry of sessions) {
|
|
133
|
+
for (const event of binds.get(entry.normalized.session.id) ?? []) {
|
|
134
|
+
this.bindings.submit({
|
|
135
|
+
...event,
|
|
136
|
+
sessionId: opaqueIdForParts(this.descriptor.instanceKey, entry.localId),
|
|
137
|
+
});
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
const signature = JSON.stringify({
|
|
141
|
+
discoverySignature,
|
|
142
|
+
unavailableRollouts,
|
|
143
|
+
projects: sessions.map((entry) => [entry.localId, entry.normalized.session.projectDirectory]),
|
|
144
|
+
});
|
|
145
|
+
const snapshot = { signature, sessions, diagnostics };
|
|
146
|
+
this.#cache = nextCache;
|
|
147
|
+
this.#lastRefreshTelemetry = telemetry;
|
|
148
|
+
if (this.#snapshot?.signature === signature)
|
|
149
|
+
return this.#snapshot;
|
|
150
|
+
this.#snapshot = snapshot;
|
|
151
|
+
return snapshot;
|
|
152
|
+
}
|
|
153
|
+
lastRefreshTelemetry() {
|
|
154
|
+
return { ...this.#lastRefreshTelemetry };
|
|
155
|
+
}
|
|
156
|
+
nicknameFor(session) {
|
|
157
|
+
if (session.origin.sourceInstanceId !== this.descriptor.sourceInstanceId ||
|
|
158
|
+
session.sourceId === null)
|
|
159
|
+
return null;
|
|
160
|
+
return this.sessionIndex.threadName(session.sourceId);
|
|
161
|
+
}
|
|
162
|
+
async #load(descriptor, fingerprint, cached, telemetry, binds) {
|
|
163
|
+
try {
|
|
164
|
+
const appendCheckpoint = cached?.fingerprint.normalizerVersion === NORMALIZER_VERSION
|
|
165
|
+
? cached.checkpoint
|
|
166
|
+
: undefined;
|
|
167
|
+
const decodeStartedAt = performance.now();
|
|
168
|
+
const decoded = await this.decoder.decode(descriptor, appendCheckpoint);
|
|
169
|
+
telemetry.decodeMs += performance.now() - decodeStartedAt;
|
|
170
|
+
telemetry.probeBytes += decoded.telemetry.probeBytes;
|
|
171
|
+
telemetry.decodeBytes += decoded.telemetry.decodeBytes;
|
|
172
|
+
telemetry[decoded.mode === "append" ? "appendFiles" : "fullFiles"] += 1;
|
|
173
|
+
const normalizeStartedAt = performance.now();
|
|
174
|
+
const identityBase = decoded.mode === "append" && cached !== undefined
|
|
175
|
+
? cached.identityState
|
|
176
|
+
: this.identity.create(descriptor);
|
|
177
|
+
const normalizerBase = decoded.mode === "append" && cached !== undefined
|
|
178
|
+
? cached.normalizerState
|
|
179
|
+
: this.normalizer.create(descriptor);
|
|
180
|
+
const identityState = this.identity.append(identityBase, decoded.records);
|
|
181
|
+
const normalizerState = this.normalizer.append(normalizerBase, decoded.records, decoded.diagnostics);
|
|
182
|
+
const bindingEvents = decoded.records.flatMap((record) => {
|
|
183
|
+
const timestamp = typeof record.value.timestamp === "string" ? Date.parse(record.value.timestamp) : NaN;
|
|
184
|
+
return codexBindingAttemptsFrom(record).map((attempt, position) => ({
|
|
185
|
+
sessionId: descriptor.id,
|
|
186
|
+
time: Number.isFinite(timestamp) ? timestamp : 0,
|
|
187
|
+
ordinal: record.ordinal,
|
|
188
|
+
position,
|
|
189
|
+
attempt,
|
|
190
|
+
}));
|
|
191
|
+
});
|
|
192
|
+
binds.set(descriptor.id, bindingEvents);
|
|
193
|
+
const metadata = this.identity.metadata(identityState);
|
|
194
|
+
const origin = this.#origin(metadata.agentVersion);
|
|
195
|
+
const baseNormalized = decoded.mode === "append" &&
|
|
196
|
+
cached !== undefined &&
|
|
197
|
+
identityState === cached.identityState &&
|
|
198
|
+
normalizerState === cached.normalizerState &&
|
|
199
|
+
sameOrigin(origin, cached.origin)
|
|
200
|
+
? cached.normalized
|
|
201
|
+
: this.normalizer.materialize(normalizerState, metadata, origin);
|
|
202
|
+
let bindProjectDirectory = decoded.mode === "append" ? (cached?.bindProjectDirectory ?? null) : null;
|
|
203
|
+
for (const { attempt } of bindingEvents) {
|
|
204
|
+
if (attempt.valid && attempt.projectDirectory)
|
|
205
|
+
bindProjectDirectory = attempt.projectDirectory;
|
|
206
|
+
}
|
|
207
|
+
const projectDirectory = bindProjectDirectory ?? baseNormalized.session.workingDirectory;
|
|
208
|
+
const normalized = {
|
|
209
|
+
...baseNormalized,
|
|
210
|
+
session: { ...baseNormalized.session, projectDirectory },
|
|
211
|
+
interaction: codexInteraction(projectDirectory),
|
|
212
|
+
};
|
|
213
|
+
telemetry.normalizeMs += performance.now() - normalizeStartedAt;
|
|
214
|
+
return {
|
|
215
|
+
descriptor,
|
|
216
|
+
fingerprint,
|
|
217
|
+
normalized,
|
|
218
|
+
threadId: metadata.threadId,
|
|
219
|
+
parentThreadId: metadata.parentThreadId,
|
|
220
|
+
origin,
|
|
221
|
+
checkpoint: decoded.checkpoint,
|
|
222
|
+
identityState,
|
|
223
|
+
normalizerState,
|
|
224
|
+
bindProjectDirectory,
|
|
225
|
+
};
|
|
226
|
+
}
|
|
227
|
+
catch (error) {
|
|
228
|
+
if (!isExpectedIoError(error))
|
|
229
|
+
throw error;
|
|
230
|
+
return null;
|
|
231
|
+
}
|
|
232
|
+
}
|
|
233
|
+
#origin(agentVersion) {
|
|
234
|
+
return {
|
|
235
|
+
sourceType: this.descriptor.sourceType,
|
|
236
|
+
sourceInstanceId: this.descriptor.sourceInstanceId,
|
|
237
|
+
agentName: this.descriptor.displayName,
|
|
238
|
+
agentVersion,
|
|
239
|
+
formatVersion: null,
|
|
240
|
+
};
|
|
241
|
+
}
|
|
242
|
+
}
|
|
243
|
+
export async function createCodexSessionSource(codexHome, bindings = paneBindings) {
|
|
244
|
+
const configured = resolve(codexHome);
|
|
245
|
+
return new CodexSessionSource(configured, `codex-jsonl\0${configured}`, undefined, undefined, undefined, undefined, bindings);
|
|
246
|
+
}
|
|
247
|
+
function sourceEntries(cache) {
|
|
248
|
+
const sessions = [];
|
|
249
|
+
for (const entry of cache.values()) {
|
|
250
|
+
const { threadId } = entry;
|
|
251
|
+
sessions.push({
|
|
252
|
+
localId: sourceLocalId(threadId, entry.fingerprint.sourceRelativePath),
|
|
253
|
+
nativeSessionId: threadId,
|
|
254
|
+
parentNativeSessionId: entry.parentThreadId,
|
|
255
|
+
origin: entry.origin,
|
|
256
|
+
normalized: entry.normalized,
|
|
257
|
+
});
|
|
258
|
+
}
|
|
259
|
+
return sessions;
|
|
260
|
+
}
|
|
261
|
+
function sourceLocalId(threadId, sourceRelativePath) {
|
|
262
|
+
if (threadId === null)
|
|
263
|
+
return `resource:${sourceRelativePath}`;
|
|
264
|
+
return `thread:${threadId}`;
|
|
265
|
+
}
|
|
266
|
+
function rolloutUnavailableDiagnostic() {
|
|
267
|
+
return {
|
|
268
|
+
code: "rollout_unavailable",
|
|
269
|
+
severity: "warning",
|
|
270
|
+
message: "A registered rollout could not be read.",
|
|
271
|
+
ordinal: null,
|
|
272
|
+
};
|
|
273
|
+
}
|
|
274
|
+
function fingerprintOf(descriptor) {
|
|
275
|
+
return {
|
|
276
|
+
sourceRelativePath: descriptor.sourceRelativePath,
|
|
277
|
+
size: descriptor.size,
|
|
278
|
+
mtimeMs: descriptor.mtimeMs,
|
|
279
|
+
decoderVersion: DECODER_VERSION,
|
|
280
|
+
normalizerVersion: NORMALIZER_VERSION,
|
|
281
|
+
};
|
|
282
|
+
}
|
|
283
|
+
function sameFingerprint(left, right) {
|
|
284
|
+
return (left.sourceRelativePath === right.sourceRelativePath &&
|
|
285
|
+
left.size === right.size &&
|
|
286
|
+
left.mtimeMs === right.mtimeMs &&
|
|
287
|
+
left.decoderVersion === right.decoderVersion &&
|
|
288
|
+
left.normalizerVersion === right.normalizerVersion);
|
|
289
|
+
}
|
|
290
|
+
function mutableTelemetry() {
|
|
291
|
+
return { ...EMPTY_TELEMETRY };
|
|
292
|
+
}
|
|
293
|
+
function sameOrigin(left, right) {
|
|
294
|
+
return (left.sourceType === right.sourceType &&
|
|
295
|
+
left.sourceInstanceId === right.sourceInstanceId &&
|
|
296
|
+
left.agentName === right.agentName &&
|
|
297
|
+
left.agentVersion === right.agentVersion &&
|
|
298
|
+
left.formatVersion === right.formatVersion);
|
|
299
|
+
}
|
|
300
|
+
//# sourceMappingURL=codex-session-source.js.map
|
|
@@ -0,0 +1,107 @@
|
|
|
1
|
+
import { basename } from "node:path";
|
|
2
|
+
import { nonEmptyAgentIdentity, taskNameFromAgentPath } from "./agent-identity.js";
|
|
3
|
+
import { isObject } from "./rollout-decoder.js";
|
|
4
|
+
export class IdentityResolver {
|
|
5
|
+
create(descriptor) {
|
|
6
|
+
return {
|
|
7
|
+
fileName: basename(descriptor.canonicalPath),
|
|
8
|
+
archived: descriptor.archived,
|
|
9
|
+
firstMetadata: null,
|
|
10
|
+
firstMatchingMetadata: null,
|
|
11
|
+
hasFirstRecord: false,
|
|
12
|
+
firstRecordTimestamp: null,
|
|
13
|
+
lastTimestamp: null,
|
|
14
|
+
};
|
|
15
|
+
}
|
|
16
|
+
append(state, records) {
|
|
17
|
+
if (records.length === 0)
|
|
18
|
+
return state;
|
|
19
|
+
let firstMetadata = state.firstMetadata;
|
|
20
|
+
let firstMatchingMetadata = state.firstMatchingMetadata;
|
|
21
|
+
let hasFirstRecord = state.hasFirstRecord;
|
|
22
|
+
let firstRecordTimestamp = state.firstRecordTimestamp;
|
|
23
|
+
let lastTimestamp = state.lastTimestamp;
|
|
24
|
+
for (const record of records) {
|
|
25
|
+
const timestamp = timestampOf(record.value);
|
|
26
|
+
if (!hasFirstRecord) {
|
|
27
|
+
hasFirstRecord = true;
|
|
28
|
+
firstRecordTimestamp = timestamp;
|
|
29
|
+
}
|
|
30
|
+
if (timestamp !== null)
|
|
31
|
+
lastTimestamp = timestamp;
|
|
32
|
+
if (record.value.type !== "session_meta")
|
|
33
|
+
continue;
|
|
34
|
+
const metadata = rawMetadata(record.value.payload);
|
|
35
|
+
if (metadata === null)
|
|
36
|
+
continue;
|
|
37
|
+
firstMetadata ??= metadata;
|
|
38
|
+
if (firstMatchingMetadata === null &&
|
|
39
|
+
metadata.id !== null &&
|
|
40
|
+
state.fileName.includes(metadata.id))
|
|
41
|
+
firstMatchingMetadata = metadata;
|
|
42
|
+
}
|
|
43
|
+
return {
|
|
44
|
+
...state,
|
|
45
|
+
firstMetadata,
|
|
46
|
+
firstMatchingMetadata,
|
|
47
|
+
hasFirstRecord,
|
|
48
|
+
firstRecordTimestamp,
|
|
49
|
+
lastTimestamp,
|
|
50
|
+
};
|
|
51
|
+
}
|
|
52
|
+
metadata(state) {
|
|
53
|
+
const raw = state.firstMatchingMetadata ?? state.firstMetadata;
|
|
54
|
+
return {
|
|
55
|
+
threadId: raw?.id ?? null,
|
|
56
|
+
agentVersion: raw?.agentVersion ?? null,
|
|
57
|
+
title: raw?.title ?? null,
|
|
58
|
+
workingDirectory: raw?.cwd ?? null,
|
|
59
|
+
projectDirectory: raw?.cwd ?? null,
|
|
60
|
+
createdAt: raw?.timestamp ?? state.firstRecordTimestamp,
|
|
61
|
+
updatedAt: state.lastTimestamp,
|
|
62
|
+
parentThreadId: raw?.parentThreadId ?? null,
|
|
63
|
+
archived: state.archived,
|
|
64
|
+
agent: raw?.agent ?? null,
|
|
65
|
+
};
|
|
66
|
+
}
|
|
67
|
+
resolve(decoded) {
|
|
68
|
+
return this.metadata(this.append(this.create(decoded.descriptor), decoded.records));
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
function rawMetadata(value) {
|
|
72
|
+
if (!isObject(value))
|
|
73
|
+
return null;
|
|
74
|
+
const spawn = threadSpawn(value);
|
|
75
|
+
return {
|
|
76
|
+
id: string(value.id),
|
|
77
|
+
agentVersion: string(value.cli_version ?? value.agent_version),
|
|
78
|
+
title: string(value.title),
|
|
79
|
+
cwd: string(value.cwd),
|
|
80
|
+
timestamp: string(value.timestamp),
|
|
81
|
+
parentThreadId: string(value.parent_thread_id) ?? string(value.parent_id) ?? string(spawn?.parent_thread_id),
|
|
82
|
+
agent: rawAgent(value, spawn),
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
function threadSpawn(value) {
|
|
86
|
+
const source = isObject(value.source) ? value.source : null;
|
|
87
|
+
const subagent = source?.subagent;
|
|
88
|
+
return isObject(subagent) && isObject(subagent.thread_spawn) ? subagent.thread_spawn : null;
|
|
89
|
+
}
|
|
90
|
+
function rawAgent(value, spawn) {
|
|
91
|
+
const source = isObject(value.source) ? value.source : null;
|
|
92
|
+
const subagent = source?.subagent;
|
|
93
|
+
return nonEmptyAgentIdentity({
|
|
94
|
+
taskName: taskNameFromAgentPath(string(value.agent_path) ?? string(spawn?.agent_path)),
|
|
95
|
+
nickname: string(value.agent_nickname) ?? string(spawn?.agent_nickname),
|
|
96
|
+
role: string(value.agent_role) ??
|
|
97
|
+
string(spawn?.agent_role) ??
|
|
98
|
+
(typeof subagent === "string" ? subagent : null),
|
|
99
|
+
});
|
|
100
|
+
}
|
|
101
|
+
function timestampOf(record) {
|
|
102
|
+
return record === undefined ? null : string(record.timestamp);
|
|
103
|
+
}
|
|
104
|
+
function string(value) {
|
|
105
|
+
return typeof value === "string" && value.length > 0 ? value : null;
|
|
106
|
+
}
|
|
107
|
+
//# sourceMappingURL=identity-resolver.js.map
|