Skip to content

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger #37

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger #37

Triggered via pull request July 21, 2026 06:15
Status Success
Total duration 1h 26m 2s
Artifacts 4

static-analysis-gate.yml

on: pull_request
panic-attack assail
5s
panic-attack assail
Hypatia neurosymbolic scan
33s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
5s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
10s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

2 notices
panic-attack assail
panic-attack binary not available — skipping assail
Patch Bridge CVE triage
panic-attack binary not available — skipping Patch Bridge

Artifacts

Produced during runtime
Name Size Digest
bridge-report
218 Bytes
sha256:9453982f4c8d5ca9a8f966bf3dc76624598208402d51e2591e2b82454c225dc6
hypatia-findings
161 Bytes
sha256:30665950742d1b7f56e5dda74c539b03fe0f0af52eb22a62379c8fcbc4264f03
panic-attack-findings
171 Bytes
sha256:b38d1939d9c32b889618b131af593cb6d77b7013f9d830e9fc2188d6cce7cf85
unified-findings
403 Bytes
sha256:4eb332a2f998a29cded1e7ec779d9fbfebc3ee415649be6ad1d706ed2bab92e9