nevin@fedora-lab:~/security-research$ ./identity_matrix.sh

============== [ SYSTEM IDENTITY LOADED ] ==============

! USER_ID :   Nevin Shine (uid=1000)
! CONTEXT :   Systems Security Researcher
! FOCUS   :   Compiler-to-Runtime Constraint Enforcement &
              Hardware-Assisted Runtime Security

+ [0x01] CORE ARCHITECTURE
--------------------------------------------------------
  > Strategy   : Deterministic enforcement, bounded verification,
                 hardware-assisted mediation
  > Tech Stack : RISC-V, Z3 SMT, eBPF, LLVM, Verilog, Hypervisors
  > Objective  : Constraining runtime divergence from verified
                 compiler intent

┌───────────────────────────────────────────────────────────────────┐
│  [0x02]  SENTINEL STACK & ALLIED PROJECTS                         │
├──────────────┬────────────────────────────────────────────────────┤
│              │                                                    │
│   RTL Model  │  TCA Prototype    Verilog · Capability Filtering   │
│   Firmware   │  Sentinel PMP     RISC-V PMP · ebreak Routing      │
│   Hypervisor │  Sentinel VMI     x86_64 EPT · ARM64 Stage-2       │
│   Kernel     │  Telos Runtime    LSM · IFC Correlation            │
│   Compiler   │  Telos Language   Z3 Constraints · LLVM Codegen    │
│   Analysis   │  Sentinel-KV      LLVM IR · SMT Constraint Checks  │
│   Network    │  Hyperion XDP     XDP · Zero-Copy Filtering        │
│   Control    │  Cortex Engine    Capability Correlation           │
│              │                                                    │
├──────────────┴────────────────────────────────────────────────────┤
│                                                                   │
│  STATUS                                                           │
│  ──────                                                           │
│  TCA Prototype    ████████░░  simulated    RTL capability gate    │
│  Telos Language   ████████░░  prototype    IFC / LTL constraints  │
│  Sentinel-CC      ███████░░░  research     PCC experimentation    │
│  Hyperion XDP     ██████████  running      AF_XDP orchestration   │
│  Telos Runtime    ████████░░  active       IFC · taint tracking   │
│  Sentinel SMM     ██████░░░░  exploratory  SMM boundary research  │
│  Sentinel-KV      ██████░░░░  experimental LLVM IR analysis       │
│  Sentinel VMI     ███████░░░  partial      EL2 / EPT mediation    │
│  Cortex Engine    █████░░░░░  concept      L7 policy mapping      │
│                                                                   │
└───────────────────────────────────────────────────────────────────┘

+ [0x03] TOOLCHAIN & RESEARCH DOMAINS
--------------------------------------------------------
  # LANGUAGES:   C | Rust | Verilog | Go | Python | RISC-V/x86 Asm
  # COMPILERS:   LLVM | inkwell | AST Parsing | IR lowering | goblin
  # FORMAL:      Z3 SMT | IFC Constraints | RTL Verification
  # HARDWARE:    RISC-V | TCA Prototype | ARMv8 EL2 | AMD-V NPT
  # KERNEL:      eBPF | LSM | KVMi | BTF | Seccomp | Netlink
  # NETWORKING:  TCP/IP | XDP | DNS Interception | gRPC | Protobuf
  # SIMULATION:  QEMU | RTL Modeling | Bare-Metal Emulation
  # CONTROL:     Policy Graphs | Capability Routing | Runtime Correlation
  # CRYPTO:      Ed25519 | SipHash | HMAC | Capability Receipts
  # OBSERVE:     Prometheus | JSONL SIEM | BPF Ringbuf | SQLite

! [0x04] UPLINK ESTABLISHED
--------------------------------------------------------
  @: [email protected]
  L: Nürnberg, DE
  W: nevinshine.codeberg.page 
  G: github.com/nevinshine
  C: codeberg.org/nevinshine

========================================================