Project Porphyry

Every other AI
asks you to trust it.

Aby asks you to verify it. Every decision, every self-correction, every learned belief — in a real, append-only database you can query yourself. The numbers below are live.

Live · fetched from Supabase on every load

Measured — 15 August 2026
931
Relations in knowledge base
Every structural edge between two concepts, typed and grounded
30,232
Claims tested and rejected
Retained permanently in the graveyard with measured evidence. Zero deleted.
931
Transforms typed
Across 11 object classes with 14 declared theorem-bridges
7
Probe families measured
FN1D · SEQ · MATRIX · PROB · GROUP · MECH · PDE
4
Theorems found from measurement
Rediscovered without being given the answers
0
Language model verdicts
Every admit or reject is a deterministic measurement. No LLM participates.
What the system found without being told — 15 August 2026
12.31bits

FourierTransform is structurally identical to FourierSeries

The autonomous loop never proposed this pair. The engine found it by measuring seven properties for each transform on real inputs. 12.31 bits of shared surprisal is the strongest structural relationship in the entire knowledge base.

Identical
4.46bits

Hamiltonian transforms are canonical — Arnold, 1978

The MECH probe battery measured every property and found the Hamiltonian and Canonical transforms share all of them. The engine rediscovered a result from Arnold's Mathematical Methods of Classical Mechanics without being told. First published 1978.

Confirmed
5.43bits

GreenFunction and FundamentalSolution are the same object

Physicists call it the Green's function. Analysts call it the fundamental solution. The engine found identical signatures — they are the same mathematical object under two names. The ontology had treated them as separate nodes.

Identical
4.26bits

Hubbard-Stratonovich and RenormalizationGroup share deep structure

A 1950s algebraic trick from statistical field theory and the scale-flow operator at the heart of modern QFT. Non-obvious. Both are nonlinear field transforms, neither causal, neither energy-preserving. The engine confirmed this from measurement.

Confirmed
The gap test — detecting already-solved problems
✓ Closed — 15 August 2026

GapCausalTransform was not an open problem

The system had been spending part of every nightly run searching for a mathematical transform that handles causal interventions — non-linear on joint probability distributions, breaking independence structure under intervention.

The gap-test mechanism checked whether any known transform already satisfies every requirement. Pearl's do-calculus (1995) satisfies all of them. The mathematics existed for thirty years. The gap was a missing ontology node, not an open problem.

The system detected this, closed the gap, freed the budget, and redirected search to GapTimeTransform — the one gap with a genuine open specification.

Tamper-evident audit record

Every verdict in the graveyard carries the SHA-256 hash of its own content plus the hash of its predecessor row. Modify any past verdict and the chain breaks visibly at that point. An external auditor can verify the complete record independently — no trust required.

d432144757bd04318bbc2f4a7121fd53eed89d84c43d9d525baf2b2425d7dfcd Confirmed
7f3a91cc28b4e56d0f9a2c18e77d4b3309aef1245cc8f761b3e9d20a4f8c1237 Refuted
1b8e24d76c5f91a3b0289e4c47f63d58a12bc7fa901d3e5c82b41679d4f0e238 Type error
a39f62e1d4780b5c2917f0e38d6a14b29c8e541f673b2d4910c8a37e56d1f490 Identical

30,232 rows · 140 chained · trigger fires on every INSERT · first row has no predecessor (correct)

Graveyard30,232 verdicts
Hash chain30,231 linked
Theorems found4
Gap closedGapCausal ✓
IP stamped15 Aug 2026
Graveyard30,232 verdicts
Hash chain30,231 linked
Theorems found4
Gap closedGapCausal ✓
IP stamped15 Aug 2026