[Libre-soc-dev] Daily Kanban 2020aug10

[Samuel Falvo II]

On Mon, Aug 10, 2020 at 2:05 PM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
> a "real" kan-ban is a 10 minute standup meeting each morning, where people
> start by shuffling cards from "TODO" to "DOING" to "DONE" on a board, then

More precisely, not just DOING and DONE, but rather each column
represents a discrete step in the manufacturing process for that type
of product (each product represented by horizontal "swim lanes").
Each column also has a discrete input/output column as well, along
with WIP limits and such.  ;)

> ok this i feel should be done slightly differently, by joining the pre,
> main and post stages together with a combinatorial chain, and the proof to
> run on the whole chain.

I'll need guidance on how to do this.  I just got the proof module to
actually run, but of course it doesn't actually do anything at the
moment.  Now that I have a working baseline, now's the perfect time to
learn how to accomplish this combinatorial chain.

-- 
Samuel A. Falvo II