Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions profile/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ semantics, mechanized models, and proving infrastructure.

<p align="center">
<picture>
<source media="(max-width: 640px)" srcset="./assets/oraclizer-system-map-mobile.svg">
<source media="(max-width: 900px)" srcset="./assets/oraclizer-system-map-mobile.svg">
<img src="./assets/oraclizer-system-map.svg" alt="Oraclizer system and research map showing on-chain and off-chain systems connected through the OIP and OSS target architecture, with regulatory semantics and assurance layers" width="100%">
</picture>
</p>
Expand All @@ -60,7 +60,7 @@ development, and private candidates are intentionally distinguished.

<p align="center">
<picture>
<source media="(max-width: 640px)" srcset="./assets/org-assurance-chain-mobile.svg">
<source media="(max-width: 900px)" srcset="./assets/org-assurance-chain-mobile.svg">
<img src="./assets/org-assurance-chain.svg" alt="Mechanized Isabelle/HOL models feed bounded bridges that carry evidence today, and those bridges pin named implementations; a dashed band states the target of full core refinement from models to runtime, distinguished from the bounded evidence that exists now" width="100%">
</picture>
</p>
Expand Down
154 changes: 66 additions & 88 deletions profile/assets/oraclizer-system-map-mobile.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading