Files
codex-bot 21439d4c4d
Verify Tessera GUI / verify (push) Failing after 1m30s
docs: render UML diagrams and embed portable previews
2026-10-25 22:09:47 +08:00

1 line
11 KiB
XML

<svg xmlns="http://www.w3.org/2000/svg" version="1.1" viewBox="0 0 911 557" width="911" height="557"><rect x="0" y="0" width="100%" height="100%" fill="#FFFFFF"/><defs/><g><g class="title" data-source-line="5"><text x="300.43" y="22.67" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-weight="bold" font-family="Arial">Managed Task — lifecycle states from tasks.rs</text></g><g class="start_entity" data-qualified-name=".start." id="ent0001" data-source-line="6"><circle cx="368.01" cy="52.64" r="10" fill="#222222" stroke="#222222" stroke-width="1"/></g><g class="entity" data-qualified-name="Pending" id="ent0002" data-source-line="6"><rect x="332.32" y="142.74" width="71.38" height="50" rx="12.5" ry="12.5" fill="#F1F1F1" stroke="#181818" stroke-width="0.5"/><line x1="332.32" y1="168.38" x2="403.7" y2="168.38" stroke="#181818" stroke-width="0.5"/><text x="342.32" y="160.41" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Pending</text></g><g class="entity" data-qualified-name="Running" id="ent0004" data-source-line="7"><rect x="557.93" y="288.84" width="72.15" height="50" rx="12.5" ry="12.5" fill="#F1F1F1" stroke="#181818" stroke-width="0.5"/><line x1="557.93" y1="314.48" x2="630.08" y2="314.48" stroke="#181818" stroke-width="0.5"/><text x="567.93" y="306.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Running</text></g><g class="entity" data-qualified-name="Completed" id="ent0006" data-source-line="8"><rect x="287.16" y="415.84" width="87.7" height="50" rx="12.5" ry="12.5" fill="#F1F1F1" stroke="#181818" stroke-width="0.5"/><line x1="287.16" y1="441.48" x2="374.86" y2="441.48" stroke="#181818" stroke-width="0.5"/><text x="297.16" y="433.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Completed</text></g><g class="entity" data-qualified-name="Failed" id="ent0008" data-source-line="9"><rect x="656.94" y="415.84" width="58.13" height="50" rx="12.5" ry="12.5" fill="#F1F1F1" stroke="#181818" stroke-width="0.5"/><line x1="656.94" y1="441.48" x2="715.07" y2="441.48" stroke="#181818" stroke-width="0.5"/><text x="666.94" y="433.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Failed</text></g><g class="entity" data-qualified-name="Cancelled" id="ent0010" data-source-line="10"><rect x="429.88" y="415.84" width="82.26" height="50" rx="12.5" ry="12.5" fill="#F1F1F1" stroke="#181818" stroke-width="0.5"/><line x1="429.88" y1="441.48" x2="512.14" y2="441.48" stroke="#181818" stroke-width="0.5"/><text x="439.88" y="433.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Cancelled</text></g><g class="end_entity" data-qualified-name=".end." id="ent0015" data-source-line="14"><circle cx="471.01" cy="537.84" r="11" fill="#00000000" stroke="#222222" stroke-width="1"/><circle cx="471.01" cy="537.84" r="6" fill="#222222" stroke="#222222" stroke-width="1"/></g><g class="entity" data-qualified-name="GMN19" id="ent0020" data-source-line="18"><path d="M438.24,123.64 L438.24,163.74 L403.87,167.74 L438.24,171.74 L438.24,211.84 A0,0 0 0 0 438.24,211.84 L729.77,211.84 A0,0 0 0 0 729.77,211.84 L729.77,133.64 L719.77,123.64 L438.24,123.64 A0,0 0 0 0 438.24,123.64" fill="#FEFFDD" stroke="#181818" stroke-width="0.5"/><path d="M719.77,123.64 L719.77,133.64 L729.77,133.64 L719.77,123.64" fill="#FEFFDD" stroke="#181818" stroke-width="0.5"/><text x="444.24" y="141.31" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Provider I/O may already run while the Task</text><text x="444.24" y="156.96" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">is Pending. Running does not necessarily</text><text x="444.24" y="172.6" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">mean the I/O starts at that instant.</text><text x="444.24" y="188.24" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">Scheduler index is weak; callbacks/scopes</text><text x="444.24" y="203.88" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">are traced managed edges.</text></g><g class="link" data-entity-1="ent0001" data-entity-2="ent0002" id="lnk3" data-source-line="6" data-link-type="dependency"><path d="M368.01,62.8906 C368.01,80.0906 368.01,112.4906 368.01,137.3906" fill="none" stroke="#181818" stroke-width="1"/><polygon points="368.01,142.39 372.01,133.39 368.01,137.39 364.01,133.39 368.01,142.39" fill="#181818" stroke="#181818" stroke-width="1"/></g><g class="link" data-entity-1="ent0002" data-entity-2="ent0004" id="lnk5" data-source-line="7" data-link-type="dependency"><path d="M396.26,193.0606 C404.09,199.4206 412.72,206.1006 421.01,211.8406 C466.33,243.2206 517.438,272.0895 553.158,291.3295" fill="none" stroke="#181818" stroke-width="1"/><polygon points="557.56,293.7 551.53,285.91 553.16,291.33 547.74,292.95 557.56,293.7" fill="#181818" stroke="#181818" stroke-width="1"/><text x="496.31" y="255.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">due / delivery eligible</text></g><g class="link" data-entity-1="ent0002" data-entity-2="ent0006" id="lnk7" data-source-line="8" data-link-type="dependency"><path d="M331.85,170.6806 C265.6,176.4106 125.98,199.0906 65.01,288.8406 C6,375.7006 191.9379,417.6495 281.8579,432.6195" fill="none" stroke="#181818" stroke-width="1"/><polygon points="286.79,433.44 278.57,428.02 281.86,432.62 277.26,435.91 286.79,433.44" fill="#181818" stroke="#181818" stroke-width="1"/><text x="66.01" y="319.01" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">provider done; no callback</text></g><g class="link" data-entity-1="ent0002" data-entity-2="ent0008" id="lnk9" data-source-line="9" data-link-type="dependency"><path d="M392.27,193.1006 C400.72,200.2406 410.68,207.3406 421.01,211.8406 C509.05,250.2106 544.83,208.7806 635.01,241.8406 C734.22,278.2106 785.01,276.2906 836.01,368.8406 C862.56,417.0406 770.9668,432.3591 720.2168,437.2691" fill="none" stroke="#181818" stroke-width="1"/><polygon points="715.24,437.75 724.58,440.87 720.22,437.27 723.81,432.9 715.24,437.75" fill="#181818" stroke="#181818" stroke-width="1"/><text x="816.5" y="319.01" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">provider error</text></g><g class="link" data-entity-1="ent0002" data-entity-2="ent0010" id="lnk11" data-source-line="10" data-link-type="dependency"><path d="M343.73,192.9906 C314.24,225.5106 270.71,285.3606 290.01,338.8406 C299.22,364.3706 306.93,370.0506 329.01,385.8406 C345.58,397.6906 389.1219,413.3435 424.8119,425.1235" fill="none" stroke="#181818" stroke-width="1"/><polygon points="429.56,426.69 422.27,420.07 424.81,425.12 419.76,427.67 429.56,426.69" fill="#181818" stroke="#181818" stroke-width="1"/><text x="291.01" y="319.01" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">owner invalid / key replacement / cancel</text></g><g class="link" data-entity-1="ent0004" data-entity-2="ent0006" id="lnk12" data-source-line="11" data-link-type="dependency"><path d="M557.44,330.1906 C548.87,333.3906 539.71,336.4906 531.01,338.8406 C451.43,360.2906 408.36,312.7106 348.01,368.8406 C335.38,380.5806 331.6851,394.8906 330.7051,410.4106" fill="none" stroke="#181818" stroke-width="1"/><polygon points="330.39,415.4 334.95,406.67 330.71,410.41 326.97,406.17 330.39,415.4" fill="#181818" stroke="#181818" stroke-width="1"/><text x="349.01" y="382.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">successful delivery</text></g><g class="link" data-entity-1="ent0004" data-entity-2="ent0008" id="lnk13" data-source-line="12" data-link-type="dependency"><path d="M620.6,339.0806 C629.56,347.9606 639.25,358.4006 647.01,368.8406 C657.83,383.4006 665.4202,396.8453 672.4902,411.0353" fill="none" stroke="#181818" stroke-width="1"/><polygon points="674.72,415.51 674.29,405.67 672.49,411.04 667.13,409.24 674.72,415.51" fill="#181818" stroke="#181818" stroke-width="1"/><text x="659.14" y="382.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">transport or execution error</text></g><g class="link" data-entity-1="ent0004" data-entity-2="ent0010" id="lnk14" data-source-line="13" data-link-type="dependency"><path d="M557.63,328.3306 C529.09,339.6506 492.64,355.9706 483.01,368.8406 C473.04,382.1506 470.3381,395.7928 469.8981,410.6428" fill="none" stroke="#181818" stroke-width="1"/><polygon points="469.75,415.64 474.01,406.76 469.9,410.64 466.02,406.53 469.75,415.64" fill="#181818" stroke="#181818" stroke-width="1"/><text x="484.01" y="382.51" font-size="14" fill="#000000" xml:space="preserve" style="white-space: pre" font-family="Arial">cancel / lifecycle cleanup</text></g><g class="link" data-entity-1="ent0006" data-entity-2="ent0015" id="lnk16" data-source-line="14" data-link-type="dependency"><path d="M367.06,466.3006 C398.98,487.9706 439.193,515.2526 457.933,527.9726" fill="none" stroke="#181818" stroke-width="1"/><polygon points="462.07,530.78 456.87,522.42 457.93,527.97 452.38,529.04 462.07,530.78" fill="#181818" stroke="#181818" stroke-width="1"/></g><g class="link" data-entity-1="ent0008" data-entity-2="ent0015" id="lnk17" data-source-line="15" data-link-type="dependency"><path d="M656.56,454.8506 C607.57,476.5006 516.2233,516.8594 485.3833,530.4894" fill="none" stroke="#181818" stroke-width="1"/><polygon points="480.81,532.51 490.66,532.53 485.38,530.49 487.42,525.21 480.81,532.51" fill="#181818" stroke="#181818" stroke-width="1"/></g><g class="link" data-entity-1="ent0010" data-entity-2="ent0015" id="lnk18" data-source-line="16" data-link-type="dependency"><path d="M471.01,466.3006 C471.01,485.8806 471.01,507.3306 471.01,521.6406" fill="none" stroke="#181818" stroke-width="1"/><polygon points="471.01,526.64 475.01,517.64 471.01,521.64 467.01,517.64 471.01,526.64" fill="#181818" stroke="#181818" stroke-width="1"/></g><?plantuml-src RL9DYzmm3BtxLmXwA-mCXPvseL0M1dhe1ztUIWzQMqbC73b8zinEJ_qH_ONz9LMoayocD93OaPwUdf-iVUGH1GTuHD-taYk7-voomAl3_3XT4O4QhAaSCfTFE12ybuZf__c7-9FWpTiNIUqmv5Fa5XfCIgx4aWW-8cDB0RwXzl3drsz8iI5_zfRIWeKK6ia354lhJjHzV_q3RcxUmHVYO5pkiiwnhvLvsjz2g0HxavFYaUGCjhRnCT46VP-7CL6nthSmIZx6G08XCzq1P_2OqcJ8fkI0CMtn999bIuliAJt3yeaD4_c8AGOJrDCPXCQ4dWRYOX4_ezsY_5zTMhqdrQQczJ0Rx2ge2BAEMGhOuEY9V2qnyqNUXls5lEVcfkBgkRt8TNHN4LEHcUukhPRVAyyIuLm89BQTQMYkyrcS-h3_30EU0PCG1lEXCfmwuuJIqJn-5tKfswsp3DckW543q-G4IandDvZ8kMmYjMiYHG6BHUmJsG9STkx1TnHgcWSGw0cC_KJOtwsZrRtwF98w59eCz7QOuN8TARIaEsTgfkRq5m00?></g></svg>