Research works

Reconstructing the Concept of the Poets’ Fuḥūlah in Arabic Literary Criticism: An Analytical Reading of Abdullah Al-Maṭānī’s Critical Vision

يهدف هذا البحث إلى دراسة قضية فحولة الشعراء في النقد العربي القديم من خلال تحليل رؤية الدكتور عبد اللّه المعطاني، والكشف عن منهجه في إعادة بناء هذا المصطلح النقدي في ضوء المناهج النقدية الحديثة. وينطلق البحث من تتبع الأصول اللغوية والاصطلاحية لمفهوم الفحولة، واستقراء تطوره في الم...

Longitudinal dynamics of the maternal gut virome associate with metabolic features of preterm birth

Preterm birth (PTB) remains a major pregnancy complication, yet the role of the maternal gut virome in its etiology is largely unknown. Here we show that the maternal gut virome undergoes ecological destabilization prior to PTB, coupled with distinct host metabolic remodeling. Ne...

Democratic Participation of Sudanese Women in Decision-Making Positions (40 BC–2019 AD)

هدفت هذه الدراسة إلى تتبّع مسيرة المشاركة الديمقراطية للمرأة السودانية في مواقع صنع القرار خلال المدة الممتدة من عام 40 ق.م إلى عام 2019م، والكشف عن أدوارها السياسية والاجتماعية والاقتصادية والثقافية، وبيان أثر مشاركتها في تطور الدولة والمجتمع السوداني. واعتمدت الدراسة المنهج الت...

QUANTA: A Quantum-Compute Threat Axis for Cross-Framework Verification Systems

Established threat-modeling frameworks contain no dedicated axis for quantum-compute threats. The individual threats are well studied, harvest-now-decrypt-later, Grover/Shor capability escalation, quantum side-channels, and circuit fingerprinting each have an active literature, b...

A Two-Space Scale-Invariant Direct Multisearch Method for Mixed-Variable Multiobjective Optimization

Many multiobjective black-box problems combine continuous, ordered-discrete, and categorical variables. Direct search on such domains requires a geometry that respects each variable type and is insensitive to arbitrary scaling, spacing, and labeling. We propose DMS-SI-Mix, a dete...

CHIRAGE: A Morphic-Polymorphic Threat Axis for Deception-Based Defensive Systems

Established threat-modeling frameworks, STRIDE for security and LINDDUN for privacy, contain no category for the threats specific to deception-based defensive systems: systems that protect assets by morphing, mimicking, or concealing their own state. Such systems are increasingly...

The Inward Structural Dimension Hypothesis: Scale-Extended Objects, Perceptual Compression, and Dimensional Access

The Inward Structural Dimension Hypothesis (ISDH) proposes a formal representation of physical objects using three ordinary spatial coordinates and an additional coordinate of inward structural depth. The coordinate I orders the progression from macroscopic form through progressi...

Provable Compliance without Full Ledger Disclosure

Supervisors need reliable assurance over balances, issuance, and transaction integrity. Institutions need toprotect sensitive financial data. Traditional audit practice often resolves this tension by granting broad accessto ledgers. That approach is effective, but costly in priva...

Comparative Implementation of a Zero-Knowledge Settlement Layer across Five Proof Systems: Design Findings and Measurements

We present a comparative implementation of the same financial settlement circuit in five zero-knowledge proofsystems—Groth16, Halo2/IPA, STARK/FRI, PLONK/KZG, and Nova/folding—and report the design consequencesthat appear only when the comparison is performed on a complete statef...

From Institutional Trust to Verifiable Properties

Financial settlement systems rely heavily on institutional trust: intermediaries maintain ledgers, certifycompliance, and prevent unauthorized creation or movement of value. Zero-knowledge (ZK) techniques make itpossible to replace part of that trust with verifiable properties. T...

Fork-Triggerable AI Coding Agents in CI: A Wide-Net Survey

AI coding agents are increasingly wired directly into continuous integrationpipelines to triage issues, review pull requests, and land fixes. This paperidentifies a composition of three properties that turns such an integration into a repository-takeover primitive: the job runs o...

The Riemannian Geometry of Order Parameter Spacetime — Field-Theoretic Foundations of Irreversible Dynamics

We prove that the irreversible equation of motion of Ref. [1] is an inevitable consequence of the variation of the order parameter spacetime field theory. The unified action contains three fundamental fields—metric, gauge, and order parameter—without any dissipative terms. Variat...

Unbounded Signature of Line Graphs: Counterexamples and Transfer Principles

Akbari, Elphick, Kumar, Pragada, and Tang conjectured that every connected graph satisfies a one-unit upper bound between the positive and negative adjacency inertia indices of its line graph. Version 1 exhibited a connected simple counterexample with line-graph inertia (9, 0, 7)...

PAPER-Π: Generative Comparability and the Origin of Geometry

Geometry is conventionally founded upon an already available space, manifold, metric, topology, or differentiable structure. The present paper proposes that these structures are not logically primitive. The analysis may be carried one level further. Before distinguishable objects...

TRIAD 5.9 Mathematical Core: Two Independent Stability Certificates (2D OU Core & Patch Consensus Framework) with Documented Failure Maps

Authors: Valeriia Zaiats Description: This Working Paper presents the results of a formal adversarial verification of the TRIAD 5.9 mathematical core, conducted using Pragma OS — a multi‑AI validation platform developed by Pragma Research Inc. under the aegis of the OPH (Observer...

Cyber-Physical Resolution of the Riemann Hypothesis and Its Planetary-Scale Impact

This publication presents a groundbreaking paradigm shift in both theoretical physics and applied global infrastructure. By successfully integrating the Riemann Hypothesis within a 12-Dimensional Grand Unified Field Theory (GUFT), these papers systematically resolve the century-o...

How personality traits interact with social identity in the formation of social networks? A case study in South India

Using original data from rural South India, we examine how personality traits intersect with caste and gender to shape interpersonal network characteristics in a Global South context. We analyse the relationship between four personality traits (emotional stability, plasticity, co...

Trajectory History Drives Short-Horizon Vessel Forecasting, and Gridded Wind Encodes Position: A Controlled Study of METOC Feature Ablations

Vessel trajectory forecasting increasingly fuses meteorological and oceanographic (METOC) observations with AIS kinematics. We report that the standard method for valuing those inputs, the feature ablation, is confounded whenever the environmental field is gridded and sampled at...

Applying Safety Instrumented System Principles from Industrial Process Control to Deployed Large Language Models

Deployed large language models operate as open-loop, feed-forward systems: weights are frozen at release, inference contains no feedback path, no comparator, and no mechanism for runtime self-correction. Corrections supplied by users do not persist, so the same error recurs in ev...

ORMAS: Neural Architectural Transparency Enables Autonomous Self-Correction

The neural network black box is not an inherent property of deep learning—it is a mathematical consequence of global backpropagation, where a single entangled error signal ren- ders mid-training structural collapse invisible. We show that structurally isolating gradient chains to...