Link to current text
G.0:3 - Forces
- Pluralism vs. comparability. Multiple traditions must co-exist while allowing admissible comparison where justified.
- Expressiveness vs. safety. Rich comparator sets and aggregators vs. measurement admissibility constraints.
- Locality vs. portability. Context-local semantics first; portability only via explicit bridges and explicit losses.
- Assurance vs. agility. Evidence minima must meet the claim threshold while staying light enough to adopt.
- Design-time vs. run-time. Keep legality standards and templates design-time; run-time only cites and applies them.