Infrastructure Security • Systems Reasoning • Risk & Formal Analysis

Security is not just controls; it is accountable decision-making that survives scrutiny. These projects exist to make visible, in public and inspectable form, the structural governance and accountability failures that industry already recognizes but rarely externalizes.

I work at the intersection of infrastructure security, systems design, and formal reasoning, with an emphasis on governance in regulated and high-consequence environments.

My work focuses on how security decisions are made, justified, preserved, and defended over time. Across projects, I prioritize clarity, auditability, and disciplined decision-making in systems that must withstand oversight, operational pressure, and change in leadership.

A recurring failure mode in security programs is not the absence of controls, but the loss of decision rationale. When the reasoning behind security decisions is not preserved, systems become difficult to explain, defend, and govern, even when they remain technically compliant.

This perspective is articulated in the following white paper:

• Decision Accountability Is the Missing Control
  A governance white paper examining why security programs can meet compliance requirements yet fail audits, incidents, and leadership transitions due to loss of decision rationale.
  → https://github.com/JessiMarosi/Decision_Accountability_Governance

The projects below form a coherent body of work addressing governance, accountability, and operational security from complementary angles:

Institutional truth infrastructure designed to preserve system decisions, rationale, and human accountability as first-class artifacts.
→ https://github.com/JessiMarosi/DADS

A reproducible, DISA STIG-aligned Zero Trust reference lab demonstrating firewall segmentation, centralized identity, endpoint hardening, and evidentiary logging.
→ https://github.com/JessiMarosi/STIG-Hardened-Lab

A jurisdiction-aware, NIST 800-53-aligned digital chain-of-custody system with forensic-grade documentation and evidentiary rigor.
→ https://github.com/JessiMarosi/ChainLogic-DCCS

A deterministic formal reasoning instrument built on Lean 4 and mathlib, designed to surface assumptions, enforce constraints, and support auditable reasoning rather than oracle-style conclusions.
→ https://github.com/JessiMarosi/AxiomForge

A local-first, cross-platform workbench and methodology for secure, auditable, AI-assisted software development with an emphasis on epistemic clarity and stepwise reasoning.
→ https://github.com/JessiMarosi/Cairn

I publish professional work under Bytelock Technologies Inc., where projects are curated, documented, and presented for long-term clarity rather than short-term visibility.

https://www.bytelocktechinc.com/

• Infrastructure & Systems Security
• Governance, Accountability, and Control Systems
• Formal Verification & Reasoning
• Risk Modeling & Decision Support

This profile repository serves as an index.
Project-specific documentation and primary artifacts live in individual repositories.