Skip to content
View reggaesharkk's full-sized avatar

Block or report reggaesharkk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
reggaesharkk/README.md

Prince Upadhyay — independent researcher working across mathematical structures, computational evidence and formal tools

RESEARCH MAP  ·  RESEARCH CV  ·  ORCID  ·  PUBLIC REPOSITORIES

I work where a question meets a test.

I'm Prince Upadhyay, an independent researcher in India. My work moves between mathematical dynamics, spectral methods, formal verification, AI evaluation, and evidence tooling.

I begin with an idea. I build a model, proof artifact, benchmark, or software system around it. Then I ask where it breaks. A finite certificate stays finite; an open conjecture stays open; a prototype carries its limits in plain sight.

An idea may travel far. A claim still has to answer to evidence.

Selected work

Project What I built Boundary I keep visible
LRSC Odd-Ring Spectral Rank A scoped spectral-rank result and finite certificate. The result applies within its stated finite model.
Riemann Bandwidth-One Verification Finite-band verification and conditional analysis. This does not prove the Riemann Hypothesis.
Navier–Stokes Bridge Audit Reproducible finite Fourier–Galerkin certificates. Continuum transfer remains open.
Self-Referential Processing Design Lab Experimental design and simulation validation. Confirmatory collection is paused.
SharkLang v2.4.2 An approval-gated language/runtime for governed AI requests. The release states its own evaluation boundary and terms.
Evidence Desk A local-first ZIP structure and manifest auditor. It checks archive evidence without executing contents.

How I work

Build a concrete object. Probe it with tests, counterexamples, and hostile questions. Verify the parts that can be verified. Preserve the failures and open obligations.

The broader map includes mathematical models, AI-behavior benchmarks, signed execution evidence, and formal methods. Each project has its own source repository and a stated scope. The Reggae Shark Universe is the index; the individual repositories hold the work.

Collaboration

I value collaboration that begins with a real question, a careful challenge, or another set of eyes. If one of these projects intersects with your work, I welcome a thoughtful note. The repositories show what is established, what is only a prototype, and what remains open.

Contact: starxshark@gmail.com

Independent research · India · Updated 1 November 2026

Pinned Loading

  1. physics-v1-dynamical-sector physics-v1-dynamical-sector Public

    Reproducibility repository for Physics v1.0 and Appendix A v1.1: equilibrium and linear-stability analysis of the phenomenological dynamical sector.

    Python 2

  2. intentseal intentseal Public

    IntentSeal — verification infrastructure for authorized agent actions and proof-carrying scientific claims.

    2

  3. strength-intent-ns-lean strength-intent-ns-lean Public

    Python 1

  4. Reggae-shark-universe- Reggae-shark-universe- Public

    Public research map and paper archive for 10 independent programs, with frozen records and links to specialist repositories.

    Python 2

  5. navier-stokes-bridge-audit navier-stokes-bridge-audit Public

    Finite Fourier–Galerkin audits of 3D Navier–Stokes: reproducible diagnostics, counterexamples, and open proof gates.

    Python 1

  6. The-Reggae-Shark-Protocol The-Reggae-Shark-Protocol Public

    Verifiable, Proof-Carrying AI Execution OS & Security Gateway governed by 4D ODE Dynamics and VRK Proofs.

    Python 1