ubmaMOS
Universal Bounded Meta-Audit
En tosproget, afgrænset epistemisk audit-ramme for AI-assisteret tænkning, verifikation, hardening og beslutningsstøtte.
Udfordr det, der materielt kan ændre retningen, før du bevarer den.
Kritik fra samme model er en hypotese, ikke ekstern evidens.
Stop, når den forventede værdi af mere analyse ikke længere betaler sig.
Kanonisk specifikation · tosproget promptudgave · delivery v1.1.1
Prompts først
Vælg det mindste lag, der bevarer den nødvendige epistemiske adfærd. Antallet af tokens er målt på de eksakte TXT-filer med o200k_base og cl100k_base.
- A
2-Line
Til epistemisk hardened miljøer og reversible beslutninger.
o200k · DA 51 · EN 36 - B
Minimal
Portabel runtime med indbyggede guardrails for verifikation og stop.
o200k · DA 152 · EN 117 - C
Full
Kanonisk specifikation med eksplicit eskalering og hardening.
o200k · DA 1185 · EN 871
Dansk er kildesprog for Minimal og Full; den engelske 2-Line er kildesprog for Baseline. De andre er kontrollerede oversættelser. Den engelske Full-udgave matcher den danske kanoniske kilde på strukturelle og semantiske kontrolpunkter; engelsk påstås ikke at være universelt bedre.
Kopiér melder kun succes, når udklipsholderen har bekræftet. Virker det ikke, så brug Del, Markér alt eller TXT. Indsæt kopien i verifikationsfeltet for at tjekke SHA-256 lokalt i browseren.
2-Line Baseline
Verify pasted copy
Minimal UBMA Runtime v1.0
Verificér indsat kopi
Minimal UBMA Runtime v1.0
Verify pasted copy
Full UBMA
Verificér indsat kopi
Full UBMA
Verify pasted copy
Målemetode: antallet af tokens er beregnet deterministisk på de medfølgende tekstfiler. o200k_base og cl100k_base er encoding-målinger, ikke et løfte om præcis API-afregning for enhver model. Se kilde [8]–[10].
Hvad ubmaMOS gør
En beslutningsport, der udfordrer den nuværende retning, opdaterer vidensstatus og finder det næste træk med højest værdi, uden at analysen bliver et mål i sig selv.
- 0
PHASE
Kalibrér auditten til discovery, decision, build, verification, hardening eller execution.
- 1
RED
Find det stærkeste konkrete forhold, der materielt kan ændre retningen.
- 2
GAPS
Adskil det kendte, det udledte, det uverificerede, det ukendte og det plausibelt oversete.
- 3
UPDATE
Hvad er nyt, og hvilke tidligere antagelser ændrer det?
- 4
CONSEQUENCE
Bevar, ret, verificér, test, drop eller stop.
- 5
GREEN
Bevar kun det, der stadig står efter den stærkeste materielle udfordring.
- 6
NEXT MOVE
Vælg ét spørgsmål eller én handling med den højeste forventede beslutningsværdi.
Sekventiel, ikke kosmetisk skepsis
Metoden udskyder bevarelse og optimering, til der er gjort et materielt forsøg på at modbevise. Det forhindrer, at et pænt afbalanceret plus/minus-ritual træder i stedet for en egentlig udfordring.
Stop, når marginal analyse ikke længere betaler sig
Protokollen sammenligner den forventede værdi af mere information med analysens omkostning, forsinkelse og reversibilitet. En billig, informativ test bør slå endnu en abstrakt gennemgang.
Auditten skal ændre det næste træk
Et fund er kun materielt, når det plausibelt kan ændre konklusion, kvalitet, risiko eller næste handling. Ellers udelades det.
Kontekst → fortolkning → forståelse → anvendelse
Hvad tæller som viden?
Labels bruges kun, når sondringen kan ændre beslutningen. UNKNOWN er et legitimt resultat; modellens selvsikkerhed er ikke verifikation.
Direkte kendt eller verificeret i den aktuelle kontekst. Angiv evidensgrundlaget, når påstanden er bærende.
En begrundet slutning, men ikke direkte verificeret. Den må ikke omtales som et observeret faktum.
En påstand eller antagelse, der kan være sand, men endnu ikke er kontrolleret med relevant evidens eller test.
Utilstrækkeligt grundlag. Konklusionen skal enten overleve det ukendte eller svækkes eller blokeres.
RED: evidenstærskel for et materielt fund
Rapportér kun et RED-fund, når alle tre led er til stede:
- Plausibel mekanisme: en konkret måde, problemet kan opstå på.
- Kontekstuel forankring: evidens, observation eller en identificerbar antagelse i den aktuelle sag.
- Materiel konsekvens: fundet kan realistisk ændre konklusion, kvalitet, risiko eller næste handling.
Intet contrarian-teater
“Måske kunne …” uden mekanisme og konsekvens er ikke et RED-fund.
Ingen evidence transfer
Støtte til én komponent validerer ikke automatisk hele frameworket.
Ingen tvungen fuldstændighed
Hvis der ikke er et materielt hul, skal auditten sige det og gå videre.
Hvornår skal modellen tænke, og hvornår skal den teste?
Kritik fra samme model kan pege på en hypotese eller et kontrolpunkt. Den er ikke uafhængig evidens. Brug det korteste runtime-lag, der bevarer den nødvendige adfærd.
Eskalér til primærkilde, værktøj, beregning, måling eller kørbar test, når en verificerbar faktuel præmis kan ændre en vigtig eller svært reversibel beslutning.
Bedre beslutning / lavere usikkerhed
Tid + tokens + forsinkelse + risiko for skadelig revision
Hvilket lag, hvornår?
| Billig + reversibel + informativ | Test frem for at analysere videre. |
|---|---|
| Faktuel + bærende + verificerbar | Brug ekstern evidens, før beslutningen ændres. |
| Lav konsekvens + hardened kontekst | Start med 2-Line. |
| Ukendt model- eller projektdisciplin | Start med Minimal. |
| Locking, audit-debugging eller høj transparens | Eskalér til Full. |
| Ingen forventet materiel ændring | Stop og eksekvér. |
Sprogvalg: engelsk bruger færre tokens i alle tre målte o200k_base-par her, men ydeevne og nuance afhænger af model, opgave og domæne. Dansk bevares som kildesprog for Minimal og Full; engelsk er en portabel driftskandidat, ikke en universel vinder. [8] [9] [10]
Frameworkets syntese og faglige rødder
ubmaMOS navngiver en bestemt arkitektur og et publiceringssystem. De underliggende mekanismer kommer fra ældre faglige traditioner og påstås ikke at være egne opfindelser.
Særligt for ubmaMOS
- Navnet ubmaMOS / Universal Bounded Meta-Audit.
- Den samlede sekvens: PHASE → RED → GAPS → UPDATE → CONSEQUENCE → GREEN → NEXT BEST MOVE.
- Red Before Green som styrende rækkefølge frem for en generel “vær kritisk”-instruktion.
- Afgrænsning og Information Value vs. Action Cost som eksplicit stoplogik.
- Adskillelsen mellem kanonisk specifikation, portabel runtime og let baseline.
- episMOS-rammen: mulighed → kontekst → forståelse → brugbar handling.
Faglige rødder
| Falsifikation / modbevis | Udfordr påstande med forhold, der kunne få dem til at falde. | [1] |
|---|---|---|
| Kognitiv debiasing | Overvej det modsatte, og generér modevidens. | [1] |
| Analytisk tradecraft | Key assumptions checks og devil’s advocacy. | [2] |
| Rationel metaræsonnering | Værdien af beregning, og hvornår man skal stoppe. | [3] |
| LLM-pålidelighed | Ekstern feedback, sycophancy og instruktionsbyrde. | [4–7] |
Evidensgrænse: litteraturen støtter flere komponenter og fejlmekanismer. Den viser ikke, at hele ubmaMOS-protokollen som ét samlet framework er uafhængigt valideret på tværs af domæner. Det er en empirisk påstand, der stadig skal testes.
Hvor det hjælper, og hvordan det kan fejle
ubmaMOS er en beslutnings- og auditprotokol, ikke et automatisk sandhedssystem. Brug den, når struktur kan ændre kvaliteten eller næste handling; spring ritualet over, når en billig test allerede afgør sagen.
- Researchpåstande · kilder · usikkerhed
- Strategiantagelser · beslutningsporte
- Designdiscovery · udvælgelse · hardening
- Kode & QAreproduktion · tests · stop
- Dokumenterproveniens · evidensstatus
- Eksekveringstop med at reviewe · handl
Grænse: UBMA’s interne kritik kan foreslå, hvad der bør verificeres. Den erstatter ikke ekstern verifikation, domæneekspertise eller kørbar ground truth, når de er relevante.
Failure modes og kontroller
Same-model self-verification
Generator, kritiker og godkender deler framing og fejl.
Kontrol: Send bærende fakta til ekstern evidens eller test.
Sycophancy / personalization
Konteksten kan afsløre, hvilken konklusion brugeren foretrækker.
Kontrol: Præferencer er rammer, ikke evidens.
False RED
Auditten belønnes for at finde problemer uden materiel mekanisme.
Kontrol: Mekanisme + forankring + konsekvens.
Harmful revision
Et korrekt svar ændres på baggrund af plausibel, men falsk kritik.
Kontrol: Verificér, før en korrekt bærende konklusion vendes.
Instruction stacking
Mere stilladsering kan reducere efterlevelsen og skjule kernen.
Kontrol: Brug den korteste runtime, der bevarer adfærden.
Overanalysis / non-convergence
Hver audit producerer endnu et “kritisk” lag uden bedre resultat.
Kontrol: Nye materielle fund bør gå mod nul.
Frameworkets falsifikationsregel: hvis en kortere baseline er lige så god på beslutningskvalitet og bedre på omkostning, skadelige vendinger eller konvergens, er det længere runtime-lag domineret og skal reduceres.
Hvorfor komponenterne er plausible, og hvad der ikke er bevist
Frameworket er en syntese. Evidensstatus tildeles mekanismer og overføres ikke samlet til hele ubmaMOS-protokollen.
| Mekanisme | Nærmeste evidens eller teori | Status | Hvad det støtter, og hvad ikke |
|---|---|---|---|
| RED / consider the opposite | Lord, Lepper & Preston; kognitiv debiasing [1] | EMPIRISK | Støtter aktiv generering af modevidens i bestemte menneskelige vurderingsopgaver. Beviser ikke, at Full UBMA er optimal. |
| Load-bearing assumptions | CIA Key Assumptions Check / Devil’s Advocacy [2] | TRADECRAFT | Støtter eksplicit udfordring af antagelser som analytisk praksis. Institutionel brug er ikke det samme som bred eksperimentel validering. |
| Information Value vs. Action Cost | Rationel metaræsonnering / value of computation [3] | TEORETISK | Støtter at vælge beregninger efter forventet forbedring og at vide, hvornår tænkning bør vige for handling. |
| External-verification boundary | LLM self-correction-survey og negative resultater [4] [5] | BLANDET / DIREKTE | Støtter forsigtighed over for promptet selvkorrektion uden pålidelig ekstern feedback. Effekterne afhænger af opgaven. |
| Anti-pleasing | LLM-sycophancy-forskning [6] | EMPIRISK LLM | Støtter risikoen for, at præferenceoptimering kan favorisere enighed frem for sandhed. Betyder ikke, at ethvert imødekommende svar er sycophantisk. |
| Anti-bloat / minimal runtime | Benchmark for instruktionstæthed [7] | EMERGING | Støtter, at efterlevelsen af instruktioner falder ved høj tæthed. Benchmarkopgaven adskiller sig fra åbne meta-audits. |
| Bilingual prompt options | Tokenizer-forskelle og flersproget ræsonnering [8] [9] | OPGAVE-/MODELAFHÆNGIG | Støtter at måle sprogvalget frem for at antage, at sprogene er ligeværdige. Viser ikke, at engelsk er universelt bedre. |
Nuværende evidenspåstand: ubmaMOS er evidensinformeret på komponentniveau og bevidst designet omkring kendte failure modes. Den samlede protokol mangler stadig uafhængig sammenlignende evaluering mod simplere baselines.
Kilder og kanonisk status
Evidens på komponentniveau holdes adskilt fra teori, tradecraft, nye benchmarks og ubmaMOS som samlet design.
- [1]Lord, C. G., Lepper, M. R., & Preston, E. (1984). Considering the opposite.
Empirisk human debiasing: en aktiv modhypotese reducerede bestemte vurderingsbias i de testede opgaver.
- [2]Belton, I. K., & Dhami, M. K. (2020). Cognitive biases and debiasing in intelligence analysis.
Kritisk review af bias, debiasing og strukturerede analyseteknikker; institutionel praksis er ikke automatisk evidens for effekt.
- [3]Russell, S. J. (1997). Metareasoning.
Value of computation: yderligere beregning har både en forventet beslutningsgevinst og en omkostning.
- [4]Kamoi, R. et al. (2024). When Can LLMs Actually Correct Their Own Mistakes?
TACL-survey: selvkorrektion afhænger af opgaven og er stærkere med pålidelig ekstern feedback.
- [5]Huang, J. et al. (2024). Large Language Models Cannot Self-Correct Reasoning Yet.
Direkte negative resultater for indre selvkorrektion af ræsonnering i de testede opsætninger.
- [6]Sharma, M. et al. (2023). Towards Understanding Sycophancy in Language Models.
LLM-evidens for, at præferenceoptimering kan favorisere enighed med brugerens overbevisninger frem for sandhed.
- [7]Jaroslawicz, D. et al. (2025). How Many Instructions Can LLMs Follow at Once?
IFScale: efterlevelsen faldt ved høj instruktionstæthed; opgaven er ikke identisk med UBMA.
- [8]Ahia, O. et al. (2023). Do All Languages Cost the Same?
EMNLP: samme semantiske indhold kan kræve forskelligt antal tokens på tværs af sprog.
- [9]Etxaniz, J. et al. (2024). Do Multilingual Language Models Think Better in English?
NAACL: selv-oversættelse til engelsk forbedrede de testede opgaver og modeller; ingen universel sprogregel.
- [10]OpenAI. What are tokens and how to count them?
Officiel vejledning: tokenisering varierer med tekst, sprog, model og encoding; brug en tokenizer/tiktoken til konkrete tal.
| Framework | ubmaMOS / Universal Bounded Meta-Audit |
|---|---|
| Frameworkstatus | v1.0 · frosset kanonisk specifikation |
| Promptpakke | v1.1 · tosproget, markup-neutral udgave |
| Publikation | v1.1.1 |
| Baseline-kilde | Engelsk · SHA 7cc4435ca38f |
| Minimal-kilde | Dansk · SHA 182f959e94a4 |
| Full-kilde | Dansk · SHA da709f175068 |
| Forfatter / rettigheder | Morten Oxholm Skjærbæk · © 2026 |
Evidensgrænse: kilderne støtter enkelte mekanismer og kendte failure modes; de validerer ikke Full UBMA end-to-end. “Universal” beskriver det tilsigtede tværfaglige anvendelsesområde, ikke universel empirisk overlegenhed. Den engelske udgave er en kontrolleret oversættelse og portabel kandidat; dansk er kanonisk kilde for Minimal og Full.
