Trace a valid-ready pipeline

%23%20%2F%2F%2F%20script%0A%23%20requires-python%20%3D%20%22%3E%3D3.11%22%0A%23%20dependencies%20%3D%20%5B%22marimo%3E%3D0.24.0%22%5D%0A%23%20%2F%2F%2F%0A%0Aimport%20marimo%0A%0A__generated_with%20%3D%20%220.24.0%22%0Aapp%20%3D%20marimo.App(width%3D%22medium%22%2C%20app_title%3D%22Trace%20a%20valid-ready%20pipeline%22)%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Trace%20a%20valid-ready%20pipeline%0A%20%20%20%20Hardware%20correctness%20includes%20*when*%20data%20moves.%20Change%20the%20downstream%20ready%0A%20%20%20%20pattern%20and%20watch%20offers%2C%20transfers%2C%20queue%20occupancy%2C%20and%20output%20timing.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20pattern%3Dmo.ui.dropdown(%7B%22always%20ready%22%3A%5B1%2C1%2C1%2C1%2C1%2C1%2C1%2C1%5D%2C%22two-cycle%20stall%22%3A%5B1%2C1%2C0%2C0%2C1%2C1%2C1%2C1%5D%2C%22alternating%22%3A%5B1%2C0%2C1%2C0%2C1%2C0%2C1%2C1%5D%7D%2Cvalue%3D%22two-cycle%20stall%22%2Clabel%3D%22downstream%20pattern%22)%0A%20%20%20%20latency%3Dmo.ui.slider(1%2C5%2Cvalue%3D2%2Clabel%3D%22pipeline%20latency%22)%0A%20%20%20%20mo.hstack(%5Bpattern%2Clatency%5D)%0A%20%20%20%20return%20latency%2C%20pattern%0A%0A%0A%40app.cell%0Adef%20_(latency%2C%20pattern)%3A%0A%20%20%20%20ready%3Dpattern.value%0A%20%20%20%20offers%3D%5B(%22A%22%2C6)%2C(%22B%22%2C15)%2C(%22C%22%2C8)%5D%0A%20%20%20%20pending%3D%5B%5D%0A%20%20%20%20next_offer%3D0%0A%20%20%20%20rows%3D%5B%5D%0A%20%20%20%20for%20cycle%2Cis_ready%20in%20enumerate(ready)%3A%0A%20%20%20%20%20%20%20%20if%20next_offer%20%3C%20len(offers)%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20tag%2Cpayload%3Doffers%5Bnext_offer%5D%0A%20%20%20%20%20%20%20%20%20%20%20%20valid%3D1%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20tag%2Cpayload%3D%22%E2%80%94%22%2C0%0A%20%20%20%20%20%20%20%20%20%20%20%20valid%3D0%0A%20%20%20%20%20%20%20%20transfer%3Dbool(valid%20and%20is_ready)%0A%20%20%20%20%20%20%20%20if%20transfer%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20pending.append((cycle%2Blatency.value%2Ctag%2Cpayload))%0A%20%20%20%20%20%20%20%20%20%20%20%20next_offer%2B%3D1%0A%20%20%20%20%20%20%20%20_completed%3D%5Bitem%20for%20item%20in%20pending%20if%20item%5B0%5D%3D%3Dcycle%5D%0A%20%20%20%20%20%20%20%20rows.append(%7B%22cycle%22%3Acycle%2C%22valid%22%3Avalid%2C%22ready%22%3Ais_ready%2C%22offered%20tag%22%3Atag%2C%22input%20transfer%22%3Atransfer%2C%22completed%22%3A_completed%5B0%5D%5B1%5D%20if%20_completed%20else%20%22%E2%80%94%22%7D)%0A%20%20%20%20return%20(rows%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20rows)%3A%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%201%20%C2%B7%20A%20transfer%20needs%20both%20votes%22)%2Cmo.ui.table(rows%2Cselection%3DNone)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20rows)%3A%0A%20%20%20%20accepted%3D%5Brow%5B%22offered%20tag%22%5D%20for%20row%20in%20rows%20if%20row%5B%22input%20transfer%22%5D%5D%0A%20%20%20%20completed%3D%5Brow%5B%22completed%22%5D%20for%20row%20in%20rows%20if%20row%5B%22completed%22%5D!%3D%22%E2%80%94%22%5D%0A%20%20%20%20kind%3D%22success%22%20if%20completed%3D%3Daccepted%5B%3Alen(completed)%5D%20else%20%22danger%22%0A%20%20%20%20mo.callout(f%22accepted%20order%3A%20%7Baccepted%7D%20%C2%B7%20completed%20order%3A%20%7Bcompleted%7D%22%2Ckind%3Dkind)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Design%20questions%0A%20%20%20%20-%20Which%20signals%20must%20remain%20stable%20during%20ready%3D0%3F%0A%20%20%20%20-%20Why%20does%20latency%20not%20determine%20steady-state%20throughput%3F%0A%20%20%20%20-%20Extend%20the%20model%20with%20output%20backpressure%20and%20a%20one-entry%20result%20register.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A