Visuell referens
Diagramatlas
Alla bokdiagram renderas automatiskt från sina versionshanterade Mermaid-definitioner. Atlasen ger en samlad vy; kapitlen förklarar antaganden, evidens och begränsningar.
Kapitel 1
| FIG-01-01 — Matrix kontrollslinga ovanpå källsystemens dataplan |
Visa diagramdefinition
flowchart LR
subgraph DP[Systemens dataplan och sanningskällor]
S[Källsystem och runtime]
end
S -->|producenter och adapters| A[Anslut]
A --> D[Beskriv]
D --> O[Observera]
O --> F[Förklara]
F --> C[Koordinera]
C --> G[Grindad handling]
G -->|utförs i källsystemet| S
S -->|ny observation verifierar resultat| O
H[Människa] -->|fråga och mandat| F
F -->|lägesbild och evidens| H
H -->|godkänn eller stoppa| G
Kapitel 2
| FIG-02-01 — Från verklighet till verifierad förändring |
Visa diagramdefinition
flowchart LR R[Verklighet] -->|observeras| O[Observation] D[Definition] --> X[Avvikelse] O --> X E[Evidens] --> B[Bedömning] X --> B B --> G[Mänsklig grind] G --> H[Handling] H --> V[Verifiering] V --> O2[Nytt observerat tillstånd]
Kapitel 3
| FIG-03-01 — Samma valid time, olika known time |
Visa diagramdefinition
flowchart LR
E[Händelse 09.07] -->|observeras| O[Observation 09.08]
E -->|sen leverans| R[Registrerad 09.24]
V[Gäller vid 09.10] --> Q{As-of-fråga}
K[Känt vid 09.10 eller 09.24] --> Q
R --> K
O --> V
Q --> A1[137 vid known_at 09.10]
Q --> A2[139 vid known_at 09.24]
Kapitel 4
| FIG-04-01 — Från källor till spårbar konfliktresolution |
Visa diagramdefinition
flowchart LR
S1[Källa A] --> C1[Claim A]
S2[Källa B] --> C2[Claim B]
O[Gemensamt ursprung] --> S1
O --> S2
C1 --> N[Normalisera subjekt, predikat, scope och tid]
C2 --> N
N --> X{Direkt konflikt?}
X -->|nej| K[Samtidigt förenliga claims]
X -->|ja| P[Versionsbunden resolutionspolicy]
P --> R[Resolved, conflicted eller unknown]
R --> A[Ny spårbar bedömning]
Kapitel 5
| FIG-05-01 — Federerad väg från källor till beslutbar grafprojektion |
Visa diagramdefinition
flowchart LR
S[Versionsbundna källor] --> P1[Producer A]
S --> P2[Producer B]
P1 --> V{Schema + lokal integritet}
P2 --> V
V -- vägra --> R[Synlig refusal med orsak]
V -- godkänd --> A[Aggregat]
A --> C{Täckning, identitet,<br/>derivability, staleness}
C -- vägra --> R2[Synlig refusal<br/>coverage eller identitet]
C -- godkänd --> D[Härledda kanter]
D --> Q[Versionsbunden frågesemantik]
Q --> U[Påverkan, förklaring,<br/>gränssnitt och beslut]
U --> E[Evidens och audit]
E -. ny observation .-> NEXT[Nästa cykel:<br/>versionsbundna källor]
Kapitel 6
| FIG-06-01 — Från event till tids- och täckningsbedömt kunskapstillstånd |
Visa diagramdefinition
flowchart LR
O[Händelse i källsystem] -->|occurredAt| E[Event envelope]
E --> I[Insamling]
I -->|observed/recorded at| D[Identitet + deduplicering]
D --> F{Färskhetskontrakt}
F -- stale/refused --> U[Okänt eller begränsat svar]
F -- färskt --> C{Fullständighetskontrakt}
C -- gap/öppen gräns --> U
C -- tillräckligt enligt policy --> W[Preliminär eller stabil bedömning]
W --> L[Sen data / korrektion]
L --> W
Kapitel 7
| FIG-07-01 — Adaptergränsen från extern källa till beslutbar Matrix-artefakt |
Visa diagramdefinition
flowchart LR
X[Externt system<br/>vendor- och kundmodell] --> A[Förvärv<br/>minsta read-scope]
A --> R[Rått, versionsbundet<br/>underlag]
R --> N[Versionsbunden<br/>normalisering]
N --> V{Schema + domän +<br/>tenant/data boundary}
V -- vägra/quarantine --> F[Synlig refusal<br/>med orsak]
V -- godkänd --> P[Matrix bundle/event<br/>med sourceRefs]
P --> C{Coverage gate}
C -- lucka --> F
C -- komplett enligt kontrakt --> K[Kunskapslager]
K --> D[Förklaring och beslut]
D -. action proposal .-> G[Mänsklig/policygrind]
G -. separat exekveringsväg .-> W[Write-endpoint i externt system]
Kapitel 8
| FIG-08-01 — Från ändringsscenario till beslutbar konsekvensbedömning |
Visa diagramdefinition
flowchart LR
S[Ändringsscenario<br/>före → efter, scope, tid] --> R[Nåbarhet<br/>kanter, riktning, djup]
R --> E[Exponering<br/>vilka kan möta förändringen?]
E --> P[Trolig påverkan<br/>semantik + antaganden]
P --> C[Bekräftad påverkan<br/>observation + evidens]
C --> A[Krävd handling<br/>ägarbeslut + grind]
Q[Frågekontrakt<br/>grafrevision, filter, tenant] --> R
V[Evidens och coverage<br/>färskhet, luckor, konflikter] --> P
V --> C
U[Okänt eller avklippt] -. får inte bli opåverkat .-> A
A --> D{Beslut}
D -->|genomför| M[Mät utfall och uppdatera claims]
D -->|vägra eller utred| X[Ny evidens eller nytt scenario]
M --> N[Ny evidens för nästa analyscykel]
X --> N
Kapitel 9
| FIG-09-01 — Konfigurationens väg från deklaration till verifierad konvergens |
Visa diagramdefinition
flowchart LR
D[Deklarerad<br/>git, paket, miljövärden] --> R[Renderad<br/>effektiv konfiguration]
R --> P[Planerad<br/>diff + konsekvens]
P --> G{Godkänd<br/>för scope?}
G -->|nej| X[Vägrad eller uppskjuten]
G -->|ja| A[Applicerad<br/>försök + kvitto]
A --> O[Observerad<br/>live state + tid]
O --> N[Normaliserad jämförelse<br/>fältägare + ignorepolicy]
N --> C{Verdict}
C -->|converged| V[Verifierad konvergens]
C -->|drift| F[Driftfinding<br/>ägare + risk + åtgärd]
C -->|unknown| U[Samla evidens<br/>eller vägra beslut]
F --> Q{Policy}
Q -->|reconcile| RP[Nästa cykel:<br/>ny planerad diff]
Q -->|accept| AD[Nästa baslinje:<br/>uppdaterad deklaration]
Q -->|rollback| RB[Nytt rollback-intent<br/>till planering]
V --> T[Övervaka förändring över tid]
T --> NO[Nästa tidsbundna observation]
Kapitel 10
| FIG-10-01 — Från handlingsförslag till verifierat eller reconcilerat utfall |
Visa diagramdefinition
flowchart LR
subgraph MAIN["Huvudväg — avsikt till verifierat utfall"]
direction TB
[*] --> P[Proposed]
P -->|bind intent + target + evidence| PL[Planned]
PL -->|simulate / dry-run| PV[Previewed]
PV -->|authorized decision| A[Approved]
A -->|execution receipt started| E[Executing]
E -->|provider receipt + known effect| AP[Applied]
AP -->|test postcondition + coverage| V[Verifying]
V -->|complete + fresh| OK[Verified]
end
subgraph EXCEPTIONS["Avvikelse- och återhämtningsvägar"]
direction TB
subgraph DECISION["Beslutet stoppar handlingen"]
direction LR
D[Denied]
end
subgraph EXECUTION["Exekveringsutfallet är inte en känd effekt"]
direction TB
F[FailedBeforeEffect] -->|policy permits retry| TOA[Nästa tillstånd: Approved]
U[OutcomeUnknown] -->|receipt lookup / read-back| R[Reconciling]
R -->|effect identified| TOAP[Nästa tillstånd: Applied]
R -->|absence proven| TOF[Nästa tillstånd: FailedBeforeEffect]
R -->|uncertainty remains| M[ManualDecision]
end
subgraph VERIFICATION["Verifieringen hittar en avvikelse"]
direction LR
DV[Deviation] -->|approved rollback / compensation| C[Compensating]
C -->|verify compensating effect| TOV[Nästa tillstånd: Verifying]
end
end
PV -->|reject or expire| D
E -->|proven no effect| F
E -->|crash / timeout after possible effect| U
V -->|failed / partial / unknown| DV
Kapitel 11
| FIG-11-01 — Från arbete via eventdriven review till förklarad landning |
Visa diagramdefinition
flowchart TB
subgraph FLOW["Operativ huvudväg"]
direction LR
T[Agenttyp + policy<br/>modell + verktyg]
W[Work item + lease<br/>heartbeat + episode]
R[Build run + stages<br/>handovers + receipts]
N[Stage completion<br/>bokför + NOTIFY]
Q[Wake-up listener]
H[Scheduling assessment<br/>demand + supply + cap<br/>health + ekonomi + eval]
B[Review claim + bokförd dom<br/>head + actor + verdict]
G{Landing gate<br/>non-FAIL + head + oberoende?}
M[Merge / landning]
D[Vägran / skuld]
W -->|claim / reap / redispatch| R
T -->|binder agent, modell och verktyg| R
R --> N
N -. NOTIFY, ej sanningskälla .-> Q
Q --> H
H -->|coverage + freshness| B
B --> G
G -->|ja| M
G -->|nej| D
end
subgraph EXPLANATION["Separat läsmodell — inte en ny exekveringsväg"]
direction LR
S[Bokförda tillstånd som läses:<br/>work item · run · stage · receipt<br/>verdict · gate · health]
X[Coordinator explanation<br/>validAt + coverage + unknowns]
S -->|projektion| X
end
G -. bokförda tillstånd .-> S
Kapitel 13
| FIG-13-01 — Från användarlöfte till incidentlärande kontrollslinga |
Visa diagramdefinition
flowchart LR
J[Användarresa<br/>och beslutskonsekvens] --> L[Löfte<br/>SLI + SLO + fönster]
L --> O[Observationer<br/>events metrics logs traces]
O --> A{Bedömning<br/>freshness + coverage}
A -->|inom mål| B[Error budget<br/>och ändringsbeslut]
A -->|hotat mål| R[Larm<br/>handling + ägare + tid]
R --> I[Incident<br/>command + tidslinje]
I --> M[Mitigation<br/>och recovery]
M --> V[Verifiering<br/>användarresa + beroenden]
V --> P[Postmortem<br/>mekanism + action owner]
P --> J
O --> S[Matrix självobservation]
S --> A
Kapitel 12
| FIG-12-01 — Deterministiska mandatgränser runt en probabilistisk agent |
Visa diagramdefinition
flowchart LR
H[Verifierad människa / session] --> I[Delegerat intent\nscope + TTL]
A[Agentroll / run] --> M{Effective authority\nintersektion}
I --> M
Z[Tenant + datazon] --> M
T[Tool + parameterpolicy] --> M
P[Actionpolicy + risk] --> M
M -- tomt / otillåtet --> D[Vägran\nregel + nästa steg]
M -- read --> R[Observation / förslag]
U[Otrustat innehåll\nsanera + fence + triage] --> R
R --> G[Mänsklig grind\nexact intent + impact]
G --> E[Separat executor\nbounded effect]
E --> V[Read-back + evaluation]
V --> Q[Quality record\ntask + safety + coverage]
Q --> C{Autonomibeslut}
C -->|befordra| PA[Nästa policyversion:<br/>utökat agentmandat]
C -->|begränsa / återkalla| PD[Nästa policyversion:<br/>begränsat mandat]
Kapitel 14
| FIG-14-01 — Eliciteringens separerade artefakter och verifierade datalivscykel |
Visa diagramdefinition
flowchart LR
A[Ändamål, mandat och scope] --> B[Intervjusession\nen fråga per tur]
B --> T[Transkript\notrustat + pseudonymiserat]
T --> C[Interviewer → atomära claims\nevidensfakta + ursprung]
C --> H[Challenger\nflaggar utan mutation]
C --> P[Playback\nbekräfta / korrigera / avvisa]
C --> R[Role-agent\nclaims + probes]
T -. vägras vid rollgränsen .-> Z[Ingen transcriptåtkomst<br/>för role-agent]
P --> E{Store graph + livscykel}
H --> E
E -->|behåll| F[Begränsad åtkomst]
E -->|aggregat| G[Rollup + riskkontroll]
E -->|radera / rätta| X[Grafoperation + postcondition]
X --> J[Minimerat kvitto och dossier]
J -. coverage/gap .-> N[Nästa livscykel:<br/>ändamål, mandat och scope]
Kapitel 15
| FIG-15-01 — Självobservation, safe mode och verifierad återställning |
Visa diagramdefinition
flowchart TB P[Användarlöfte] --> O[Observer] O --> C[Controller] C --> A[Action mot dataplan] A --> U[Dataplan och användarutfall] U --> NO[Nästa observation] D[Oberoende dead-man] -. övervakar .-> O D -. övervakar .-> C B[Backup och kanoniska källor] --> R[Isolerad restore/rebuild] R --> V[Invariants och användarjourney] V -->|bevisad| RA[Kontrollerad återaktivering] V -->|fel| S[Safe/degraded mode]
Kapitel 16
| FIG-16-01 — Från belagt problem till portföljbeslut |
Visa diagramdefinition
flowchart LR
P[Belagt problem] --> B[Målgrupp och beteende]
B --> J[Följbar användarresa]
J --> O[Verifierat outcome]
C[Coverage + attribution] --> O
O --> E[Unit economics och risk]
E --> D{Portföljbeslut}
D -->|skala| SJ[Nästa portföljcykel:<br/>skala användarresan]
D -->|redesign/experiment| SB[Nästa portföljcykel:<br/>redesign målgrupp/beteende]
D -->|avveckla| X[Data- och beroendeavslut]