Formal Sciences¶
← Back to Mechanisms by Domain Group
The study of abstract structure. Proceed by definition, axiom, and proof. Their results are about patterns, not about things in the world. Claim to truth rests on internal consistency plus conformity to definition.
1,179 mechanisms across 4 domains in this group. Mechanisms draw on the same canonical roster the two abstraction layers do; a domain's group is derived from it, never stored on an entity. Counted by primary origin domain — a mechanism that also draws on other domains is listed once, here.
| Domain | Mechanisms |
|---|---|
| Experimental Design & Statistics | 652 |
| Information Theory | 24 |
| Mathematics | 210 |
| Operations Research | 293 |
Experimental Design & Statistics
The mathematical and methodological discipline of designing studies, quantifying uncertainty, and drawing inferences from data. Distinct from Data Science by its emphasis on inference under controlled designs rather than prediction at scale. Canonical traditions: Fisher, Neyman-Pearson, Bayesian inference, causal inference (Rubin, Pearl), survey methodology, psychometrics.
652 mechanisms
- A/B Test Interpretation Protocol
- A/B Test Readout
- Ablation and Sensitivity Test
- Acceptance Sampling Plan
- Activation Outcome Calibration
- Active Probe Protocol
- Adaptive Decision Threshold
- Adaptive Window Re-estimation
- Administrative Record Linkage
- Aggregate Trend Overlay
- Aggregate–Marginal Sign-Divergence Alert
- Aggregation Bias Audit
- Aggregation Rules
- Aggregation Sensitivity Test
- Alert Sensitivity Floor Tuning
- Alpha-Spending Plan
- Alternate-Vantage Shadow Sample
- Alternative-Benchmark Sensitivity Grid
- Anomaly Detection
- Anomaly Detection Model
- Anonymous Aggregate Response
- Anonymous Preference Poll
- Assumption Audit Checklist
- Assumption Stress-test Workshop
- Attention Control Script
- Attribution-Claim Review Gate
- Attrition Dashboard
- Audience Blind Comparison Test
- Autocorrelation and Whiteness Test
- Automated A/B Balance Dashboard
- Autoregressive Dependency Map
- Autoregressive Stochastic Sequence Model
- Avoided-Loss Counterfactual Review
- Backtesting Against Known Cases
- Balance Exception Report
- Balanced-Panel Completeness Check
- Base-Rate and Precision Dashboard
- Baseline Comparison
- Baseline Context Band
- Baseline Model
- Batch, Rater, or Instrument Counterbalancing Protocol
- Bayesian Model Update
- Bayesian Risk Update
- Before/After Analysis
- Before/After Contrast Framing
- Belief Distribution Dashboard
- Binning and Discretization Scheme
- Blanket Drift Monitor
- Blind Independent Review Round
- Blind Integrity Questionnaire
- … and 602 more — see all
Information Theory
The mathematical study of the quantification, storage, and transmission of information. Founded as a distinct discipline by Claude Shannon's A Mathematical Theory of Communication (1948); later extended into algorithmic information theory (Kolmogorov, Chaitin, Solomonoff), rate–distortion theory, and network information theory. Canonical concepts: entropy, channel capacity, mutual information, source coding, channel coding, noise, redundancy, and the fundamental limits they imply.
24 mechanisms
- Anti-Aliasing Bin Selection
- Anti-Aliasing Prefilter or Smoothing Rule
- Check-Digit or Format Validation
- Checksum or Hash Validation
- Code-Division Scheme
- Compressed Data Format
- Delta or Differential Encoding
- Entropy Budget Dashboard
- Error Correction
- Guard Band or Guard Interval Design
- Lossy Compression Profile
- Minimum Description Length Penalty
- Multimodal Redundant Encoding
- Multiplex Channel Architecture
- Multiplexer / Demultiplexer Pair
- Namespace Entropy Review
- Predictive Codec
- Quantization Rule
- Redundancy or Error-Correction Scheme
- Redundancy-Based Error Detection
- Sampling Interval Choice
- Temporal Multiplexing Schedule
- Time-Bandwidth Product Calculation
- Time-Division Schedule
Mathematics
The study of abstract structure — number, quantity, space, change, and the formal relationships among them. Proceeds by definition, axiom, and proof; its canonical artefact is the theorem. Canonical traditions: Euclidean geometry, modern algebra, analysis, topology, category theory, mathematical logic.
210 mechanisms
- Absorbing-State Trigger
- Adjacency Matrix
- Adjacent-Swap Sequence
- Algebraic Inverse Construction
- Algebraic Simplification Rulebook
- Area, Volume, or Counting Template
- Associativity Property Test
- Assumption Ledger
- Asymptotic Claim Review
- Attractor Basin Analysis
- Axiom Boundary Statement
- Axiom Checklist for Group Structure
- Axiom Schema Catalog
- Axiom Set
- Banzhaf Power Index
- Basin-of-Attraction Mapping
- Basis & Coordinate Table
- Basis Conditioning and Perturbation Audit
- Basis Expansion and Projection
- Basis Extraction from a Spanning Set
- Basis Sensitivity Review
- Basis-Candidate Pruning Workflow
- Big-O / Landau Notation
- Bipartite Coverage Matrix
- Birthday-Bound Calculation
- Birthday-Bound Calculator
- Borel Resummation
- Borel–Padé Resummation
- Bounded Depth Generation Template
- Canonical Representative Selection
- Case-Split Elimination Table
- Cellular Automata Rule
- Change-of-Basis Matrix
- Change-of-Basis Review
- Chart Atlas Map
- Checkpointed Convergence Review
- Closure Generation Workflow
- Collision Analysis Matrix
- Collision Probability Table
- Commutative Diagram Review
- Commutative Path-Equivalence Diagram
- Composition Table
- Condition-Number Dashboard
- Connected-Component Scan
- Consistency and Contradiction Test
- Constructive Algorithm and Correctness Proof
- Continuation or Homotopy Steering
- Contradiction Search Checklist
- Convergence or Asymptotic Behavior Check
- Coordinate Chart Mapping
- … and 160 more — see all
Operations Research
The discipline of applying advanced analytical methods — optimization, simulation, stochastic modeling, decision analysis — to complex decision-making problems. Originated in WWII military logistics; now applied across industry, logistics, healthcare, and government. Canonical traditions: linear and integer programming, Markov decision processes, queueing theory, network flow, game theory extensions.
293 mechanisms
- A/B Comparison
- Absence-Evidence Calibration Test
- Active-Site Capacity Dashboard
- Adaptive Appointment System
- Adaptive Production Schedule
- Adaptive Release Gate
- Advance Staffing Roster
- Aging Dashboard
- Algorithmic Relaxation
- Alternate Pathway Routing
- Annealing or Perturbation Schedule
- Appointment Arrival Staggering
- Appointment Queue
- Appointment System
- Appointment Waitlist Clearing
- Assignment Model
- Assignment Optimization Matcher
- Automation of Bottleneck Stage
- Backward Deadline Pass
- Bandwidth and Latency Budget
- Batch Size Tuning
- Bayesian Value-of-Information Update
- Before/After Constraint Monitoring
- Bottleneck Buffer
- Bottleneck Intervention
- Bottleneck Priority Rule
- Bottleneck Valuation Map
- Bound-Based Candidate Screening
- Braess Paradox Scenario Test
- Branch and Bound
- Bridge-Edge Prioritization
- Budget / Time Limit
- Budget Allocation Model
- Buffer and Float Allocation Model
- Calendar Holdback
- Callback Queue
- Candidate Cap
- Capacity Allocation Rule
- Capacity Expansion
- Capacity Expansion Trigger
- Capacity Forecast
- Capacity Planning Model
- Capacity Pool
- Capacity Threshold Trigger
- Capacity Trigger Revision
- Capacity Utilization Dashboard
- Capacity Window Assignment
- Capacity-Aware Dispatch Optimizer
- Channel Capacity Management
- Choice Set Pruning Method
- … and 243 more — see all