Public artifacts for the Warhacker 2026 governed-execution proof-of-concept. Materials released incrementally toward public launch.
AI & ML interests
None defined yet.
Recent Activity
Live prompt-injection and jailbreak detection (Sentra) and PAC-Bayes AGI trajectory forecasts. All scan results emit DSSE-signed receipts.
OTLP span emission for the Ξ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
System anatomy diagram, visual identity design tokens, brand SVGs, and public artifact bundle. For investors, partners, and design reviewers.
Primary Series-A diligence artifacts: a11oy substrate model card, anatomy visual brief, platform dashboard, and why-we-lead investment case.
SLSA-3 Dead-Simple Signing Envelope receipts for governed AI actions. SHA-256 hash chains, Cardano-anchored attestations, W3C Trace Context.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276
Public artifacts for the Warhacker 2026 governed-execution proof-of-concept. Materials released incrementally toward public launch.
System anatomy diagram, visual identity design tokens, brand SVGs, and public artifact bundle. For investors, partners, and design reviewers.
Live prompt-injection and jailbreak detection (Sentra) and PAC-Bayes AGI trajectory forecasts. All scan results emit DSSE-signed receipts.
Primary Series-A diligence artifacts: a11oy substrate model card, anatomy visual brief, platform dashboard, and why-we-lead investment case.
OTLP span emission for the Ξ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
SLSA-3 Dead-Simple Signing Envelope receipts for governed AI actions. SHA-256 hash chains, Cardano-anchored attestations, W3C Trace Context.
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276