Issues

• docs: verification — path map schema, verdict guide, PR template, and evidence retention

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#132 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — Lean 4 machine-checked proofs with lake build --wfail (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#131 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — TLA+ and Alloy model checking of protocols and authorization models (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#130 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — Gobra deductive verification of pure Go packages (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#129 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — Dafny shared algorithmic core verified and compiled to Python, Go, and JavaScript

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#128 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — TypeScript fast-check properties, strict types, and model-based tests (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#127 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — Go fuzz, rapid properties, and static invariants (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#126 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: verification — Python contracts, CrossHair, Hypothesis, and mypy strict (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#125 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: program verification reusable workflows — contracts, proofs, model checking [parent]

  documentationenhancementparentpriority: highsecurity
  sparkgeo/github-actions#124 · Filter by author ms280690 opened on Sep 28, 2026
  2

  

• feat: privacy — anonymised fixtures with postgresql_anonymizer and presidio verification

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#123 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: privacy — DSAR export and erasure script test harness (scheduled)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#122 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: privacy — privacy review gate for changes touching personal data (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#121 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: privacy — retention and residency enforcement in IaC with checkov (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#120 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: privacy — RoPA as code with completeness checks (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#119 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: privacy and data lifecycle checks [parent]

  documentationenhancementparentpriority: highsecurity
  sparkgeo/github-actions#118 · Filter by author ms280690 opened on Sep 28, 2026
  2

  

• feat: inventory — live account drift and untagged-resource report with Steampipe (scheduled)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#117 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: inventory — org-wide asset register roll-up (scheduled)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#116 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: inventory — asset inventory and tag-grouped diagram from plan/synth output (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#115 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: inventory — tagging standard and PR-time enforcement across IaC stacks

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#114 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: asset inventory and tag enforcement from IaC [parent]

  documentationenhancementparentpriority: highsecurity
  sparkgeo/github-actions#113 · Filter by author ms280690 opened on Sep 28, 2026
  2

  

• docs: threat intel — feed reference, expiry policy, and MISP graduation criteria

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#112 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: threat intel — dependency reputation check via deps.dev and Scorecard (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#111 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: threat intel — IOC check on IaC, container, and dependency sources (PR/CI)

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#110 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: threat intel — daily feed mirror and threat-feeds composite

  documentationenhancementpriority: highsecurity
  sparkgeo/github-actions#109 · Filter by author ms280690 opened on Sep 28, 2026
  2

• feat: threat intelligence feeds for CI gates [parent]

  documentationenhancementparentpriority: highsecurity
  sparkgeo/github-actions#108 · Filter by author ms280690 opened on Sep 28, 2026
  2