open/dynamisk-rettsstat
1
0
Fork 0
Code Issues Pull requests Releases 3 Wiki Activity Actions
3 releases 3 tags
  • v0.1.2 9d6c53f6e1

    v0.1.2 Stable

    ktg released this 2026-11-11 19:42:30 +00:00 | 1 commits to main since this release

    Signed by ktg
    SSH key fingerprint: SHA256:JakMjO6FTBBzN0Bhfj9saOoEjaFxlSdYuZQQpM/lF9Q
    • Notatet omtaler nå selv at utgangspunktet i modellene med kø i domstolen ikke er en eksakt likevekt (avsnitt 10,
      «Utgangspunktet i modellene med kø»). README og docs/forbehold.md sa at notatet ikke nevner det; det er rettet.
      Modellen, kjernen og fasiten er uendret: notatets kode er den samme som ved commit 2badc25.
    Downloads
  • v0.1.1 13f6c28dc0

    v0.1.1 Stable

    ktg released this 2026-11-11 19:24:58 +00:00 | 2 commits to main since this release

    Signed by ktg
    SSH key fingerprint: SHA256:JakMjO6FTBBzN0Bhfj9saOoEjaFxlSdYuZQQpM/lF9Q

    Etter forfatterens prøve av 0.1.0 i Cowork.

    • README: hva som er målt i Cowork, og hva som ikke er det. Zip-fila fra Forgejo lastes opp som den er, de fire
      ferdighetene virker, diagnosen og forløpet gir notatets tall, og kontrollen gir «bit for bit som notatet» også med
      Python 3.13.18, numpy 2.5.3 og scipy 1.18.1 på Linux. Ikke målt der: en egen simulering med figur, installasjon av
      numpy og scipy, og om en arbeidskopi blir liggende til neste økt.
    • Rettet: miljo sa at kontrollen «sammenligner med toleranse, ikke bit for bit» når numpy eller scipy ikke er
      notatets versjoner. Det stemte ikke: kontrollen sammenligner alltid byte for byte først, og i Cowork ga numpy 2.5.3
      bit for bit. Meldingen sier nå at tallene kan avvike i siste siffer, og at kontrollen sier hva de gjør.
    • Nytt: kontroll --alt viser alle linjene som er ulike. Før ble alt etter de 40 første per sammenligning bare
      talt («… linjer til»), uten noen måte å få dem fram på. Linja sier nå hvordan.
    • Ferdigheten simuler: spørsmålet før kjøringen skal kunne besvares med ja eller nei. I prøven ble det et valg
      mellom varianter, og kjøringen ble stående.
    • Ferdigheten forbedre: ligger arbeidskopien et sted brukeren ikke åpner selv, som i Cowork, sier Claude hvor, og
      tilbyr den som zip-fil sammen med kontrollutskriften.
    Downloads
  • v0.1.0 19858bbda9

    v0.1.0 Stable

    ktg released this 2026-11-11 18:40:52 +00:00 | 3 commits to main since this release

    Signed by ktg
    SSH key fingerprint: SHA256:JakMjO6FTBBzN0Bhfj9saOoEjaFxlSdYuZQQpM/lF9Q

    Første versjon.

    • Fire ferdigheter på norsk: diagnose (leddet som binder, tiltakstype og kapasitetsbehov fra egne tall), forlop
      (stabilitetssjekk og forløp måned for måned), simuler (fra «hva om …» til scenariofil, kjøring, tabell og figur)
      og forbedre (arbeidskopi, modellkart, utvidelser med grensetilfelle og kontroll av hva en endring flytter). Finnes
      en egen versjon av modellen i brukerens mappe, spør ferdighetene før de bruker den, og sier hva kontrollen sier om
      den.
    • Modellen bak notatet Den dynamiske rettsstaten: modell/kjerne/ har uendrede kopier av sim.py, diagnose.py
      og forlop.py fra notatets repository ved commit 2badc25.
    • modell/kjor.py: én inngang for alle kommandoene (diagnose, forlop, scenario, notatet, kontroll,
      miljo, arbeidskopi), bare standardbiblioteket. Den finner en Python med numpy og scipy, og installerer dem bare
      i en egen mappe etter miljo --opprett. Feltnavn den ikke kjenner i inndata til diagnosen og forløpet, stopper
      regningen med et forslag til riktig navn.
    • kontroll: måler kjernen og fasiten mot notatets egne sjekksummer, og sammenligner diagnosen, forløpet, en full
      kjøring av notatets simulering (22 datafiler og utskriften), utvidelsenes grensetilfeller og scenariokjøreren med
      fasiten. Sier om modellen regner bit for bit som notatet, innenfor toleranse eller er endret, og hva som ikke er
      kontrollert når numpy eller scipy mangler.
    • Scenariokjøreren med scenarioformat på norsk (docs/scenarioformat.md): alle fem simulatorene i kjernen,
      overstyring av parameterne, beslutningsregler, sjokk, tiltak og sveip over én eller to parametere. Endres en
      parameter som bestemmer utgangspunktet, stopper kjøringen, med mindre scenarioet sier om utgangspunktet skal
      kalibreres på nytt eller kjøres fra ubalansen (startlikevekt). Ut: sammendrag, CSV per kjøring og
      resultat.json med alle parametere, versjoner og sjekksummer.
    • 21 scenariofiler som gjenskaper 20 av notatets 22 datafiler (de to siste er analytiske), og seks scenarioer notatet
      ikke har figur for, blant dem en nullinje uten sjokk.
    • Utvidelser ved siden av kjernen, med regelen fra notatet om et grensetilfelle som gjenskaper kjernen eksakt.
      Gjennomført eksempel: paadrag_tidsserie (pådraget følger en tidsserie i stedet for ett varig sjokk). Mal i
      docs/utvidelser.md.
    • arbeidskopi: en kopi av modellen brukeren eier og kan endre, også kjernen.
    • Dokumentasjon: inndata, scenarioformat, modellkart (ligning → funksjon → parameter), utvidelser og forbehold.
      Forbeholdene sier blant annet at utgangspunktet i notatets modeller med kø i domstolen ikke er en eksakt likevekt,
      og hvor mye modellen driver uten sjokk. Eksempelfiler: stiliserte tall som gjenskaper avsnitt 9.5, og offentlige
      norske tall for 2025.
    • BIDRA.md: hvordan en forbedring sendes tilbake.
    Downloads