<340 ns Per beslut
<600 ps Logisk op.
2.9M/sec Genomströmning
On-premise nativt Ingen molnkörning

Teknisk arkitekturnot — Version 1.0

Status Kontrollerad offentlig artefakt
Version 1.0
Publiceringsdatum 2026-02-17
Jurisdiktion Schweiz
Omfattning Demonstrationsgräns

Problemformulering

Konventionella auktoriseringssystem förlitar sig på probabilistisk inferens, poängbaserade tröskelvärden eller heuristisk klassificering för att producera beslut. Dessa tillvägagångssätt introducerar tvetydighet vid beslutspunkten, vilket gör det strukturellt omöjligt att garantera deterministiska resultat under fientliga eller ofullständiga förhållanden. Arkitekturen som beskrivs i detta dokument använder en indeterminacy-first-ansats: systemet är utformat för att producera ett formellt avgränsat beslut — inklusive ett explicit indeterminate-tillstånd — för varje indata. Detta eliminerar den klass av fel som uppstår vid tvingad binär resolution och säkerställer att varje beslut är spårbart, återspelbart och bevisbundet. Arkitekturen infererar inte avsikt, förutsäger inte resultat och interpolerar inte saknade bevis. Den utvärderar enbart det som presenteras, inom formellt deklarerade gränser.

Formella invarianter

Följande fem invarianter är arkitekturella begränsningar som tillämpas på varje lager i systemet. De är inte konfigurerbara, inte valfria och inte möjliga att åsidosätta vid körtid.

1. Ingen probabilistisk inferens

  • Definition: Systemet använder inte maskininlärning, statistisk poängsättning, bayesiansk inferens eller någon form av probabilistisk resonering i sin beslutsväg.
  • Garanti: Varje beslut produceras genom deterministisk utvärdering av explicit deklarerade policyregler mot presenterade bevis.
  • Gräns: Externa system som matar data till plattformen kan använda probabilistiska metoder; denna invariant gäller strikt för beslutsutvärderingsvägen.

2. Bevisbunden extraktion

  • Definition: Inget beslut kan produceras utan en fullständig bevispost. Systemet fabricerar inte, antar inte och sätter inte standardvärden för saknade bevisfält.
  • Garanti: Varje beslutsresultat åtföljs av en kryptografiskt länkad bevisuppsättning som fanns vid tidpunkten för utvärdering.
  • Gräns: Bevisfullständighet definieras av policyschemat. Systemet validerar inte bevisens sanningshalt — enbart deras strukturella närvaro och formatkonformitet.

3. Deterministisk återspelbarhet

  • Definition: Givet samma policyversion och samma bevisuppsättning måste systemet producera identiskt beslutsresultat vid varje exekvering.
  • Garanti: Beslutsåterspelning är en förstklassig revisionsfunktion. Varje historiskt beslut kan omutvärderas med sina ursprungliga indata för att verifiera konsekvens.
  • Gräns: Återspelbarhet förutsätter oföränderlig policyversionshantering. Om en policyversion muteras på plats (ett brott mot operativt protokoll) gäller inte återspelningsgarantierna.

4. Icke-självexekverande arkitektur

  • Definition: Systemet producerar beslut men verkställer dem inte. Det har ingen förmåga att utföra åtgärder, modifiera externa system eller autonomt utlösa nedströmseffekter.
  • Garanti: Beslutsresultatet är en rådgivande artefakt. Verkställande delegeras alltid till det anropande systemet, som behåller full kontroll över åtgärdsexekvering.
  • Gräns: Integrationsmönster kan automatisera åtgärder baserat på beslutsresultat. Sådan automation är extern till arkitekturen och utanför denna invariants omfattning.

5. Gräns för mänsklig åsidosättning

  • Definition: Varje beslut som produceras av systemet kan granskas och åsidosättas av en människa. Arkitekturen innehåller ingen väg som kringgår mänsklig auktoritet.
  • Garanti: Åsidosättningshändelser registreras i samma tilläggsbaserade journal som ursprungsbeslut, vilket bevarar den fullständiga revisionskedjan inklusive identitet och motivering för åsidosättningen.
  • Gräns: Plattformen tillhandahåller mekanismen för registrering av åsidosättningar. Organisationspolicyer som styr när åsidosättningar tillåts ligger utanför systemets omfattning.

Definition av deterministisk garanti

Ett beslut anses deterministiskt om och bara om alla följande villkor uppfylls:

  • Policyversionen som används för utvärdering är oföränderlig och versionslåst vid tidpunkten för förfrågan.
  • Bevisuppsättningen är fullständig enligt policyscheman, utan infererade eller standardsatta fält.
  • Utvärderingsfunktionen innehåller inga sidoeffekter, inga externa anrop och inga slumpmässiga indata.
  • Resultatet är ett av exakt tre tillstånd: ALLOW, DENY eller INDETERMINATE.
  • Det fullständiga indata-resultatparet registreras i en tilläggsbaserad journal och är tillgängligt för oberoende återspelningsverifiering.

Klausul för demonstrationsgräns

Denna artefakt beskriver arkitektur som implementerats i en kontrollerad demonstrationsmiljö. Den representerar inte en produktionsdistribution, ett certifierat system eller en kommersiellt driftad tjänst. Demonstrationsmiljön opererar med syntetisk data, begränsade belastningsförhållanden och begränsad klientomfattning. Inga påståenden görs om skalbarhet, tillgänglighet eller regulatorisk certifiering av den beskrivna arkitekturen. Organisationer som utvärderar detta system för operativ distribution måste genomföra sin egen oberoende bedömning av lämplighet för ändamålet.

Integritetsfingeravtryck

SHA-256-integritetsfingeravtrycket publiceras tillsammans med den signerade PDF-artefakten. Kontakta ingenjörsteamet för att erhålla den signerade versionen under NDA.

Kontakta teamet

Begär fullständig artefakt

Erhåll den fullständiga tekniska arkitekturnoten som ett portabelt dokument under NDA.

Begär PDF