RuleWeaver
A compiler that turns published regulation into executable, source-linked rules — where the language model proposes and deterministic software decides.
- Planted faults caught
- 22 / 22
- Tests
- 389
- Diagnostics
- 41 stable codes
Start-up Owner · National Incubation Center Lahore
Systems that hold up when someone checks them.
A compiler for legal rules, a prior-authorization control plane, a shipped AI-services company, and a math paper. Each one below links to the artifact behind it.

Three projects that carry the most weight. Each card states the claim; the case study behind it carries the evidence, and the limitations.
A compiler that turns published regulation into executable, source-linked rules — where the language model proposes and deterministic software decides.
A provider-side prior-authorization control plane for US healthcare, built on criterion-level evidence rather than denial prediction.
An AI services company — founded, built, and shipped, including a twenty-route production site and delivery for SMEs across three sectors.
Preprint · not yet submitted
There is a graph invariant that is hard to pin down, and a conjecture that it equals 8 for a whole infinite family of graphs. This paper proves the conjecture for a sixth of all cases by building matrices whose singularity is decided by where eight roots of a polynomial land on the unit circle. It then proves that this particular technique cannot finish the job — an arithmetic obstruction rules out the remaining cases. Establishing the limit of your own method is the less common half.
The shape rotating behind this section is P(n,3) — the graph the paper is about. Its outer cycle, spokes, and step-3 inner chords are drawn exactly as defined, and n cycles through 10, 24, 28, 42: the four divisibility families for which the certificates prove M(P(n,3)) = Z(P(n,3)) = 8. The chords change color with n, and every color on this site means one of these four.
Verification shipped with it
Education, then roles. Four of these were founding roles — I tend to start the thing rather than join it.
BS Computer Science
3.98 / 4.0 GPA
FAST NUCES Lahore · Aug 2024 - Aug 2028
Four-year bachelor's degree. FAST NUCES is Pakistan's top-ranked computer science university.
Silver Medalist · Dean's List, twice
A-Levels — Computer Science, Physics, Math
A*AA
Lahore Grammar School, Paragon · Aug 2022 - Aug 2024
British pre-university exams, comparable to AP courses. A* is the top grade available.
High Achiever's Award · Founder & President, Coding & Development Society
O-Levels — Sciences
7 A*s
Source Code Academia · Aug 2019 - Aug 2022
British high school qualifications. Top grade in all seven subjects.
Silver and Bronze medals, HRCA · Vice President, Digital Literacy Club
Start-up Owner
National Incubation Center Lahore · Aug 2026 - present
AI Systems Architect
Epoches · Nov 2025 - May 2026
Co-Founder & CEO
Algorizms · Jun 2025 - Dec 2025
Lead, Outreach & PR
Microsoft Learn Student Ambassadors, Islamabad · Jan 2025 - Dec 2025
Currently start-up owner at National Incubation Center Lahore. Open to conversations about engineering roles, research, and collaboration.