Why K2F

From docs/spec/k2f-v0.1.md (public contract, not a paraphrase).

For agents

The semantic tree is JSON with stable dotted ids and roles. Patch a clause or total by id. Do not draw a PDF. Do not hand-place coordinates.

For humans

The compiled lock paints the same pages on every official reader. Opening a file is not compiling. The banner reports whether the lock still matches the tree, theme, fonts, and engine.

What it is not