Bjørn Reppen

Betatech AS · Trondheim · kjøreliste 002

Harnesset kjører her, i fanen din.

Dette er ikke en illustrasjon. Under ligger to implementasjoner av folketrygdens alderspensjon på gammel opptjeningsmodell: den gamle, med sine seks bevarte særheter, og omskrivingen. Nettleseren din genererer sakene, kjører begge, og sammenligner felt for felt — i øre.

Fasiten er en SHA-256 over alle utfallene fra den gamle koden. Den er skrevet ned i repoet. Kjøringen under regner den ut på nytt hos deg, og du ser om den stemmer.

Kjører lokalt · ingen server, ingen kundedata, ingen nettverkskall

Golden master · alderspensjon, gammel opptjeningsmodell starter…

    0 saker avstemt

    Avvik 0

    Syntetiske saker fra en deterministisk generator (seed 20260823) — ikke kundedata.


    Kjøringen

    Det samme harnesset som kjøres i terminalen med node harness/compare.mjs, uendret.

    Måling Verdi

    Dekning

    Hva sakene faktisk traff. En fasit uten grensesaker beviser ingenting.


    Hvorfor særhetene er bevart.

    Den gamle koden avkorter poengtall til to desimaler, tar de tidligste poengårene i 40-årskappen, avkorter særtillegget mot en allerede avrundet tilleggspensjon, holder særtillegget utenfor levealdersjusteringen og legger restøret på desemberutbetalingen. Ingen av delene står i noe rundskriv.

    En omskriving som «retter» slikt stille, endrer utbetalinger. Derfor er kravet likhet, ikke korrekthet: hver sak, hvert felt, hvert øre.

    Er én av dem faktisk feil, er det en beslutning som skal tas åpent, med tall på hva den koster — ikke en bieffekt av at noen skrev om koden.