FORMAL / COMPUTING — COVERAGE PRIORITIES

This strand adds reusable distinctions for stating and checking expressions, not a claim to complete mathematics or computer science. The source-title queue is deliberately larger than the eventual admitted set. A retained article is evidence to inspect, not an automatic entitlement to a new concept.

1. Mathematical structure and conditions: morphisms, order, algebraic constructions, topology, functional analysis and measure. Preserve the assumptions distinguishing a theorem, an object and an operation.
2. Probability and inference: stochastic information, sampling designs, estimator properties, model criticism and uncertainty intervals. Distinguish an algorithmic output from its inferential interpretation.
3. Optimization and graphs: feasible sets, duality, numerical steps and structural graph properties. Mathematical optimality does not establish adequacy of the chosen objective.
4. Algorithms and representation: compact data structures, complexity, compression and approximation. Preserve resource assumptions and accuracy contracts.
5. Distributed systems and program meaning: consistency, concurrency, storage, cryptography, program semantics and proof systems. Exactness, availability, trust, authorization and evidence remain distinct questions.

Existing meanings are reused rather than renamed into new concepts. Name similarity is only a screening signal; definitions must be compared before a reuse/deferral decision. Canonical redirects may collapse multiple source leads. A narrower subtype must introduce an operationally meaningful distinction and a source-supported boundary.

Coordination: biological and epidemiological applications belong to the life strand; social choice, institutional decisions and human learning belong to the human/social strand; physical engineering and metrology belong to the physical-systems strand. Formal network modularity is owned here; ecological applications can link to it.

Each eventual proposal must have selected retained units actually inspected, a compact independently worded definition, a reason for its distinction from the baseline, and contextual links that do not imply causal or deductive consequences. Source capture is centrally managed; this strand does not initiate parallel acquisition.
