Skrevet ned først. Sjekket etterpå.
HGE, Hypothesis Generation Engine, er evidensmotoren bak forskningen vår: den formulerer hypoteser som kan testes, kjører dem mot instrumentene og signerer bevisene. Hvert resultat kan kjøres på nytt fra de samme dataene.
Påstanden skrives ned før testen.
HGE fremsetter påstanden først, lagrer den slik at den ikke kan endres, og lar utfallet avgjøre om den holdt.
CERES for sultrisiko, Laplace for Gaia DR3, MARVIS til sjøs og kvanteevalueringen i Osaka går alle på HGE.
Hva den leser.
- Instrumenter
- Alle kilder med en adapter: stjernekataloger, satellittarkiver, humanitære data, en kvantemaskin.
Slik virker den.
- Data
- Kildene samordnes, sjekkes for uteliggere og drift, og får en sporingshendelse når de kommer inn.
- Hypoteser
- Hver påstand er en maskinlesbar hypotese i JSON-LD med grenser, forhåndsantakelser og testen som ville motbevist den.
- Eksperimenter
- Eksperimentene rangeres etter forventet informasjonsgevinst innenfor det instrumentet og budsjettet tillater, og passerer en regelkontroll før de kjøres.
- Bevis
- Utfallet, den oppdaterte sikkerheten og sporingskjeden pakkes i en signert bevispakke som gir det samme resultatet når den kjøres på nytt.
Teknisk grunnlag.
- Hypoteser
- JSON-LD-skjemaer, bayesiansk prioritering av eksperimenter.
- Integritet
- Ed25519-signaturer, SHA-256-hasher, sporing i tråd med W3C PROV.
- Styringsmoduser
- Av, logging eller håndhevet, slik at en institusjon kan gå fra å observere til å håndheve.
- Integrasjon
- Et grensesnitt mot instrumenter, et REST-API for eksperimenter, webhooks for trege instrumenter, containere, PostgreSQL eller MongoDB.
I tall.
- 1,8 mrd.
- Objekter i Gaia DR3 i valideringskjøringen
- 6
- Angrepsmåter i manipulasjonstesten
- 26
- Eksperimenter på kvantemaskin
- 4
- Operasjoner i HGE Core API
Én motor under alle systemene.
HGE Core API gikk i produksjon i januar 2026 med fire operasjoner: sende inn en hypotese, vurdere den, flytte den til en ny tilstand og lese protokollen. Laplace, CERES, ORION, MARVIS, AION og ATHENA er adaptere på den. Evalueringen på kvantemaskinen OQTOPUS i Osaka gikk også på den.
Vi publiserer bevisene og holder noe av oppskriften for oss selv: de interne rangeringsreglene, driftsparametrene knyttet til en installasjon og sikkerhetsmekanismene som ville svekket manipulasjonsvernet om de ble kjent.
Publikasjoner, kode og data.
Hvem den er for.
Forskningsmiljøer som vil kjøre et fagfelt på motoren, eller se hvordan den kommer fram til en konklusjon, kan be om en teknisk gjennomgang.
Skriv til oss- Forskningsinstitusjoner som trenger resultater andre kan kjøre på nytt.
- Offentlige organer og tilsyn som vil se hvordan en konklusjon ble til.
