45d1db63ad
v2 of the codified operational spec. Removes 5 wrong re-encodings (function/procedure, parameter/argument, input/arg, set/kind, proof/construction). Replaces transcendental re-encoding with classification form. Adopts template notation B as default with C++/Odin/Jai opt-in. Encoding default changes to placeholder scheme: float (general) / integer (general) / Scalar (linear/geo/tensor alg) / float64 (resolved). Adds 4 new entries: correlation, Markov chain, PolyTimeAdversary, << / >>. Documents << / >> in 3 placements (Tier 1, Tier 4, per-language rendering in new §9). 13 sections + 4 appendices; ~924 LOC. v1 state preserved in git history; v2 is the current state. 33 deliverables + 2 reports NOT re-processed (Pass 3 will use v2 to produce C11/Python code).