Part II — The Analysis
Part I defined a web application as two functions and refused to say what State is. This part derives the answer: the factorization every read admits, the properties that make it real, the forcing of State itself, the one crossing from graph to tree, and the write side that closes the loop.