main abstraction
/meɪn æbˈstrækʃən/noun · technical · est. 2024
The layer that takes repetitive work off your team.
A technical practice for AI, automation, and on-chain systems. We build the system, wire it into your tools, and keep it running.
Etymology
from Latin abstractus "drawn away" + principalis "first in importance"
See also: agents · retrieval · pipelines
what we do
We design, build, and review production systems. The domain changes more than the work does: a retrieval system, a data pipeline, and a security-critical library all turn on the same questions, which are what breaks first, how you would know, and what happens when it does.
Automate the repetitive work
The manual tasks that take up your team’s time: data between tools, reports, intake, follow-ups. We build the pipeline that does it, and keeps doing it.
AI in production
LLM agents built into your existing workflow. Retrieval over your own data, tools connected through open standards like MCP, with evals and guardrails that keep cost and reliability under control.
Reviews and prototypes
We read architecture and code before a release and tell you what breaks first and what gets expensive to change. We build small prototypes when you need user evidence before a full build.
Design · Build · Review
Most AI projects fail between the demo and production. We work the second half.
how we work
Four steps, in this order. The order is the method: evidence before build, proof before trust, handover before exit.
- 01
Find the expensive problem
We start with what your team actually does by hand and what it costs when it goes wrong. Some of what gets asked for as AI turns out to be a data problem, or a five-line script. We say so before anyone signs a build.
- 02
Build the smallest thing that proves it
One workflow, connected to your real data and your real tools, running against real cases. A working system rather than a slide or a sandbox demo. If the approach is wrong, this is where it is found, and it costs a week instead of a quarter.
- 03
Put a number on the quality
An eval set, a score, and a threshold that has to be beaten before anything reaches production. Guardrails on the actions that cannot be undone. From here on, quality is a measurement instead of an argument.
- 04
Hand it over so it runs without us
Monitoring, alerts, a runbook, and your team walked through the failure modes. Documented well enough that another engineer can take it over. We would rather be recommended than depended on.
Evidence · Proof · Handover
selected work
Two projects documented in full, from the requirement that shaped them to the numbers they were measured against and the limits they still carry. Different domains, one method.
Example project · applied AI
A trust contract for generated reports
A product that turns public signals into a structured verdict, where each claim carries a confidence label derived from the reliability of its source rather than from the model’s own assessment of itself.
Self-reported confidence is generated text like everything else, and it tracks how fluent a claim sounds rather than whether it was observed. Labels are computed in code, per claim rather than per report. The evaluation surface is split along determinism: a deterministic contract suite runs on every commit at zero cost, and the expensive model-facing suite runs nightly, because the failures they catch do not overlap.
- 2
- evaluation layers, split by cost
- 46
- deterministic cases per commit
- <1s
- contract suite runtime
Example project · applied AI
Retrieval over a closed document collection
A question-answering system over a fixed corpus where every claim is traceable to the passage it came from. Hybrid retrieval with reranking, a bounded tool-calling agent, and three verification checks that run in code after generation.
Built around one requirement: an answer has to be checkable. Citations must resolve to passages retrieved that turn, quotations are string-matched against the sources, and each sentence is audited against its evidence. Measured on three evaluation sets of increasing difficulty, one never tuned against, with differences decided by paired bootstrap rather than by score movement.
- 52
- evaluation cases
- 3
- verification checks in code
- 2
- inherited defaults corrected
Example project · blockchain infrastructure
Access-control libraries for a zkVM execution layer
Two Rust libraries for an SVM-style execution layer: an admin authority and a freeze authority (circuit breaker). Foundational, security-relevant code on a platform where programs compile to RISC Zero zkVM guests.
We built the libraries, then proved them: compiled to zkVM guests, deployed on a local sequencer, every privileged path and every rejection exercised on-chain and checked against the execution log. 60 host tests green, CI green, dual-licensed MIT and Apache 2.0. Working that close to the tooling also surfaced a bug in the framework’s own CLI, which we traced, patched, and submitted upstream.
- 2
- libraries delivered
- 60
- host tests passing
- 10
- instructions verified on-chain
Design · Build · Review, on one project
glossary
/ˈɡlɒsəri/The vocabulary of the work, defined twice: sense 1 is the meaning, sense 2 is production.
retrieval-augmented generation
noun · RAGGiving a language model your documents to answer from. The standard way to make AI useful on your company’s knowledge.
Retrieval breaks before the model does. The failure that decides the design is narrower than it sounds: search for a name that appears twice in a corpus and embeddings can miss it inside the top eight, while keyword search puts it first. Embeddings smear a rare token toward its neighbourhood, and names are what people actually search for. That single query class is why hybrid retrieval earns its complexity. The rest is chunking that follows document structure, fusion, a reranker over the final candidates, and a groundedness test that checks every answer against the sources.
usage We build the retrieval layer first and put a number on it before asking anyone to trust an answer.
See also: reciprocal rank fusion · antonym: trusting the model’s memory
reciprocal rank fusion
noun · RRFMerging two ranked lists into one using only the positions, so scores from a keyword index and a vector index never have to be made comparable.
The formula carries a constant, and almost every implementation sets it to 60. That number comes from a 2009 paper that fused search runs over thousands of documents. The constant decides how much a rank difference is worth, so over a candidate pool of a few dozen it swamps the ranks and fusion collapses into a vote: anything both retrievers return beats anything one returns, however confident either was. LangChain exposes it defaulted to 60. LlamaIndex hardcodes it. We derive it from the pool size and write the arithmetic down.
usage We check which constants a library chose for somebody else’s corpus before inheriting them.
See also: eval · antonym: the default
Read the noteagent
nounSoftware that runs a language model in a loop: reason about the goal, call a tool, observe the result, repeat until done. The model decides at runtime which tool to reach for.
Demos skip the two hard parts: stopping and state. A production agent carries a hard iteration cap and a written definition of done, or it loops until the invoice arrives. Tools connect through open standards like MCP: one integration serves every agent. Every step lands in a trace, so when the agent does something strange at 2 a.m., you can read what it saw and what it chose.
usage We design the loop, the tool surface, and the stopping rules before anyone writes a prompt.
See also: guardrail · antonym: a very long prompt
eval
nounA scored test for a non-deterministic system: real cases with known good answers, run against every change.
Teams without one review quality from memory: the demo looked fine, someone rewrote a prompt on Thursday, nobody can say whether Friday’s answers got better or worse. The harder part is knowing when a number moved. A four-point gap on a hundred cases sits inside the noise, so we decide with a paired bootstrap on data the system was never tuned against and release when the interval excludes zero. A suite that passes everything has stopped measuring: we quote scores as the range three identical runs actually produced, and leave the known failures in it.
usage The first thing we build on any AI engagement.
See also: guardrail · antonym: vibes
Read the noteguardrail
nounA check around a probabilistic system: on the way in (injected instructions, personal data) and on the way out (schema, policy, facts).
For agents, put the check on the action: inspect the tool call before it runs. Anything irreversible (send, delete, pay) passes an allowlist or waits for a person. Checks belong in code, after generation, and should report rather than rewrite, because the reader needs to know which sentence to distrust instead of a smoother paragraph. Run more than one: on the same answers, a groundedness judge caught an unsupported claim unanimously while a per-claim audit reported nothing wrong. Two checks, one answer, different verdicts.
usage We define these with you first: what must never happen, and what needs a person before it does.
See also: agent · antonym: optimism
pipeline
nounData moving from where it is created to where it is needed, on schedule, without a person in the middle.
A model answers from whatever the pipeline fed it that morning. Stale loads, silent failures, and duplicated rows all surface the same way: users tell you the AI is wrong. Production pipelines run idempotent, monitored, and re-runnable from any point in history, so the day the source API dies twice costs you one re-run.
usage We build the pipeline before the model.
See also: retrieval-augmented generation · antonym: an intern with a spreadsheet
Foundations over frameworks
about
Main Abstraction is a technical practice. We take a few projects at a time and build them end to end, from first call to production.
The work runs from retrieval systems that answer from a client’s own documents, to automation that removes manual steps between tools, to security-relevant libraries deployed and verified on-chain, across sectors from energy and telecoms to blockchain infrastructure.
Est. 2024
get in touch
Tell us what is eating your team’s time. We will tell you if we can automate it.
gon@mainabstraction.com