RASP · Relational And Structural Processor
You bring it a problem; it works on that problem and hands back an answer that
carries its own standing.
Code with a failing test? It runs the repair in an isolated sandbox until the test actually
passes. An open question with your documents? It maps the problem, proposes trajectories, and
tests the ones that can be tested. It never presents as proven anything it has not
verified — every answer is labelled with how far it really got.
Below: the method it follows, the loop we extended, and where each piece stands — in its own vocabulary. RASP, the engine inside, also reads after Grothendieck as the Raising-Sea Processor.
The method
Alexander Grothendieck described two ways to open a problem. You can strike it — hammer, chisel, cleverness and force. Or you can let understanding rise around it like the sea, until one day the problem opens on its own, almost without being touched. Webzzle is built on the second way: it doesn’t chase answers — it builds the structure around a problem until what works can be seen, tested, and proven.
The sea on our pages isn’t decoration. It’s the method.
In the processor’s own language: a problem is a functor U ↦ F(U); a working solution is a global section; every failure is a typed obstruction; and resistance ω marks the exact place where a new object must be constructed.
The loop we extended
Grothendieck raised the sea by hand, for mathematics. We extended his loop into an processor that runs it on real problems — and had to add what he never needed to write down: measurement, verification, and an honest account of how far each movement actually works today.
Attempt the problem with the structure already admitted — and record every step, so nothing learned is lost.
AVAILABLE NOWWhere the attempt pushes back, measure it instead of routing around it. Resistance marks the exact place where a concept is missing.
RESEARCH PREVIEWCompress recurring resistance into a shape: what kind of blockage is this, and where has it appeared before?
RESEARCH PREVIEWName the missing concept. A genuine frame earns its name: a definition, a witness, and a held-out test it must survive.
IN CONSTRUCTIONCompile the concept into a rule that actually narrows the search. Value is measured against a baseline, never assumed.
IN CONSTRUCTIONA structure is admitted only if it makes the next problem easier — proven on problems it has never seen. The loop’s closing test, deliberately the hardest.
VISIONWhat it does at launch
A working reasoning instrument, not an oracle. Each verb below is a capability you can use now.
Turns the problem into objects, relations, constraints and unknowns.
Formulates several hypotheses and paths to a resolution.
Proposes the observations or experiments that tell them apart.
Keeps the paths explored, the failures, and the transformations.
Separates a plausible proposal from an actually validated result.
Webzzle builds a memory of validated problem structures, subject to user consent and verification. It does not learn automatically from every problem.
IN CONSTRUCTIONThe confidence hierarchy
This is the real product. You always see how far a claim has earned its way up — from a raw observation to a capability certified on new problems. Nothing skips a rung.
Inside a response
Webzzle doesn’t just hand you an answer — it hands you the reasoning, and marks exactly where certainty ends.
Objects, relations, constraints, objectives and missing information.
The contradiction or dependency that seems to block the resolution.
HYPOTHESISSeveral explanations, without artificially selecting one.
What to observe, compute or test to eliminate the wrong ones.
The solution and its conditions of validity.
The abstraction that might transfer — flagged so a single case never becomes a general theory too soon.
CANDIDATE — NOT YET A RULEProof status
We hold this page to the discipline it describes: every claim carries its standing.
One end-to-end validated case on a controlled problem: the processor reproduced the failure, discovered the fix by structural analysis, the tests passed, and an independent replay reconstructed the exact final state.
Around 80 instances were logged as solved in earlier runs. An internal audit showed this legacy count is not clean — several entries were carried over as solved without the oracle actually being re-executed — so it is treated as unverified, not as an oracle-confirmed result. Exactly one case has been scientifically certified end to end, with an independent replay of the final state.
The cumulative loop — every validated problem making the next one easier — is not yet proven. We are building the instruments to measure it honestly, one validated structure at a time.
The principle
A response does not become knowledge until it has been validated.
Vision
Build the collective intelligence of problems.
VISION Every validated problem should make the next one easier. We don’t claim the cumulative loop is proven — we’re building the instruments to measure it honestly, one validated structure at a time.