Revisiting the Flows

Stackdump began as a small experiment in expression — a place to post, reflect, and tinker. Over time, it became a kind of notebook for systems that move, evolve, and explain themselves, on the premise that every system is a flow, and flows can be modeled, verified, and composed.

This month, I’m reopening that notebook.

I've archived the old essays and opened a new series called Revisiting the Flows — a return to ideas that deserve another pass, armed with better tools, deeper math, and a few more scars. Each post revisits a topic from the past and connects it to the current Stackdump ecosystem — pflow.xyz and go-pflow.

Here’s what I said was coming, and — updated August 2026, nine months on — what actually got written:

• Tic-Tac-Toe Model → written, and it became the spine of the whole series: the ZK version, the incidence reduction, earned compression, and the zipper all use it.
• Rebuilding the Payments WF-Net → became Earned Compression and The Category Settle, which is more than I planned and less about workflow nets than I expected.
• DiscoPy Revisited → the diagrams-that-execute idea landed as Symmetric Monoidal Categories and the string diagrams in Settle; DiscoPy itself didn't make the cut.
• Merkle-DAGs and Memory → CIDs run through everything now (JSON-LD as infrastructure, Polydocument Host); there was never a standalone post.
• Solidity Generation → shipped as tooling (bitwrap capstone) rather than as an essay. bitwrap.io stopped being hosted in September 2026, so the live editor that post links to is gone; the code is still at stackdump/bitwrap-io, and a generated contract survives as one of pflow-polyglot's forms (solidity/generated.sol).
• Petri Nets in Bash (v3) → folded into pflow-polyglot, one coffee-machine net implemented thirty-nine times across ten languages. Bash carries four of them (interpreter, lambda, contract, proof), and the native parity gate holds each to the same six-line canonical trace as every other language.
• Coq → not in Coq. The reachability-and-safety proofs landed in Lean 4 instead, as the proof form in pflow-polyglot: lean/proof.lean checks 1-safety, the P-invariants and a unique deadlock over the net's 16 reachable markings by decide (not re-run for this update). That is one finite net checked by evaluation — a whole class of nets proven safe is still a different post.
• Vector Notation → absorbed by The Token Language; the algebra of flow turned out to be the incidence matrix, and it got its own post.
• Leap Year Counter, Entropy, Revisited → not written. The entropy one is still the one I most want to do; the Baez angle resurfaced in Structuralism, Not Objects.

The November promise was that the blog would keep its roots in markdown, code, and flow diagrams, but each post would also carry a live model: a JSON-LD Petri net you can inspect, copy, and run — literate modeling, code and concept sharing the same page. A handful of posts kept it — tic-tac-toe and knapsack link their nets into the pflow.xyz editor — but most don't, and the concept posts almost never carry a model at all.

The series was meant as recursion rather than nostalgia — re-entering past ideas to see what survives composition.

What Changed

September 2026: the August roster listed a "Z3/SMT" post that was never on the original list; the November line was Coq, and it is now matched to the Lean proof form. The pflow-polyglot link returned a 404 (the repository lives under stackdump, not pflow-xyz). The live-model paragraph was a promise restated as if it were kept; it now says where it was and wasn't. The Solidity line notes that bitwrap.io is no longer hosted.