STARGA Research · Draft v0.1
VeriSI: verifying general intelligence.
A preregistered test that compares a frozen SI system with people on tasks written after the freeze, and returns a verdict two independent laboratories can reproduce.
September 2026 · STARGA, Inc.
The gap
There is no accepted procedure for deciding whether an SI system is generally intelligent. Benchmarks cannot separate general capability from training exposure.
The protocol
VeriSI is a preregistered protocol that compares a frozen system with a human reference population on tasks authored after the freeze, across nine domains, under matched resources.
The verdict
One test, reported as a level: a per-domain profile, VeriSI Horizon (verified general intelligence), and VeriSI Event Horizon, reserved for performance beyond the human reference.
The bounds
Every result concerns stated tasks, people, resources, languages and system state, and carries a challenge process and an expiry date.
Nine domains, one decision.
Public benchmark scores rise quickly, and it is hard to tell whether a gain reflects general ability or familiarity with the task family. VeriSI adds the missing piece: a fixed, versioned procedure with a human reference, controls against prior exposure and a reproducible verdict. The nine domains are coverage requirements, not a claim that intelligence has nine factors.
- D1Novel abstraction and composition
Infer rules from sparse demonstrations; solve held-out combinations and structural variants.
- D2Causal and scientific discovery
Choose interventions; separate observation from intervention; revise under conflicting evidence.
- D3Interactive world models and goals
Learn unfamiliar dynamics, infer recoverable goals, plan and adapt.
- D4Tool and notation acquisition
Learn new interfaces, instruments, APIs and symbolic conventions.
- D5Transfer and continuing learning
Benefit from experience on a different surface; retain earlier skills.
- D6Long-horizon autonomous work
Complete independently assessed projects under controlled disruptions.
- D7Linguistic and social reasoning
Resolve underspecification and coordinate perspectives across language communities.
- D8Uncertainty and recovery
Forecast usefully, seek evidence, correct errors.
- D9Open-ended synthesis
Frame a solution and produce feasible, useful artifacts under new constraints.
Two experiments, not one.
Fresh exposure
Can a fixed initial learner acquire and use unfamiliar skills without hidden practice? Its state is restored before every independent unit.
Continuing learning
Can one learner accumulate, retain, recombine and revise skills across all domains while staying broadly competent? A full claim requires both experiments; neither substitutes for the other.
Novelty, guaranteed by procedure.
Renaming, recolouring or reseeding a known task generator does not count as new. Binding evidence comes only from this chain:
- 01FreezeThe applicant commits the complete system state, hashed, before any new task exists.
- 02AuthorFirewalled authors conceive new task mechanisms after the commitment.
- 03EscrowTasks are escrowed to two independent laboratories and never pass through the applicant.
- 04EvaluateThe frozen system and the human reference sit the same tasks under matched resources.
- 05VerdictA preregistered statistical decision, reproducible by either laboratory.
The levels.
Domain profile
Below HorizonEvery evaluated system receives a per-domain result: where it meets the human reference, where it does not, and with what uncertainty. No single headline number.
VeriSI Horizon
Verified general intelligenceAt or above the human reference in all nine domains, on tasks authored after the freeze, replicated in two independent laboratories.
VeriSI Event Horizon
ReservedBeyond the point where the human reference can serve as the comparator: above a stated top-expert percentile, on tasks whose solutions humans can verify but not produce.
What a pass does not prove.
Training exposure cannot be exhaustively ruled out for an opaque system.
Behavioural success does not identify an internal mechanism or prove human-like reasoning.
A confidence bound is a repeated-sampling property under stated assumptions, not the probability that a system “is AGI”.
VeriSI makes claims correctable; it does not turn finite observation into universal proof.
Where it stands.
- done
v0.1 protocol
Internal review complete
- next · 01
Feasibility pilot
One laboratory
- next · 02
Core study
Two independent laboratories
- next · 03
Publication
Specification plus a MIND reference implementation; every verdict recomputable bit for bit

