audit(axiom-triage): classify 124 Parameter/Axiom declarations — P2-A14

All 124 module-level Parameters are in v1.1 canonical-suite entries
(the v1.1 closure standard explicitly permits the Parameter shortcut).
Zero violations in v1.0 entries (all v1.0 Parameters are inside
Section…End blocks and are discharged as Section variables).

Classification breakdown:
  abstract-algebra   62 — type + algebraic law scaffolds
  hard-direction     14 — DCT, Hahn-Banach, knot commutativity, etc.
  physics-postulate  18 — Carnot, mass-action, Lorentz, Nyquist, KVL/KCL
  measurement-prim   12 — hazard rate, bandwidth, expectation, integral
  decidability        6 — eq_dec on abstract sets
  security-model      7 — E5 crypto: shared_key, nonce/agent/key eq_dec
  biology-postulate   2 — Hardy-Weinberg (S8)
  todo-proof          5 — low-priority, follow up in v1.1 polishing pass

Publication posture: all axioms are defensible; hard-direction class is
the intellectually honest admission of what deep library is missing
(Lebesgue measure, Zorn's lemma, ambient isotopy).  AXIOM-TRANSPARENCY.adoc
action item noted for pre-submission.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath