Skip to content

feat: add chaos, SDK, formal verification, and Helm scaffolding for #… - #1629

Merged
K1NGD4VID merged 3 commits into
LabsCrypt:mainfrom
Hotmopo:feature/chaos-sdks-formal-verification-k8s
Oct 18, 2026
Merged

K1NGD4VID merged 3 commits into
LabsCrypt:mainfrom
Hotmopo:feature/chaos-sdks-formal-verification-k8s

Conversation

@Hotmopo

@Hotmopo Hotmopo commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Closes #1477
closes #1479
Closes #1476
Closes #1478

Description

Type of Change

  • 🐛 Bug fix (non-breaking change which fixes an issue)
  • ✨ New feature (non-breaking change which adds functionality)
  • 💥 Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • 📚 Documentation update
  • 🔧 Refactoring (no functional changes)
  • ⚡ Performance improvement
  • 🧪 Test addition or update

Related Issues

Closes #

Changes Made

Testing

Test Coverage

  • Unit tests added/updated
  • Integration tests added/updated
  • Manual testing performed

Test Steps

Breaking Changes

Breaking Changes:

Migration Guide:

Screenshots/Demo

Checklist

  • My code follows the project's style guidelines
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • Updated Postman/Hoppscotch API collections if routes changed
  • If routes or response shapes changed, ran the OpenAPI api-types drift check (npm run codegen:openapi in backend/, then npm run codegen:api-types in frontend/) and committed the regenerated flowfi.openapi.json / api-types.generated.ts
  • My changes generate no new warnings
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes
  • Any dependent changes have been merged and published
  • I have checked for breaking changes and documented them if applicable
  • If this change adds or modifies a metric, I have updated the Grafana dashboard and the alert rules in backend/docs/observability/

Additional Notes

Hotmopo and others added 3 commits October 18, 2026 03:26
…ealthy proxies

The chaos suite's Docker tier failed in CI with ECONNRESET / "Connection is
closed" because the helper recreated every proxy with a `127.0.0.1` listen
address; Toxiproxy resolves that inside its own container, so the published
host ports accepted and immediately dropped connections. `listProxies()` also
silently discarded the `{ name: proxy }` map that `GET /proxies` returns, so
the stale definitions were never detected.

Proxies now bind `0.0.0.0`, the client parses both response shapes, and
`ensureProxies()` only rebuilds proxies whose topology actually differs
(normalising the `[::]` echo). The Redis scenario handles reset errors and
polls for sever/recover instead of racing one assertion, and the Postgres
scenario connects before injecting the hold so backpressure hits the query
path. The workflow drops the deprecated `basic` reporter and disables coverage
for this single-spec job, whose 60% global thresholds could never be met.

🤖 Generated with Codebuff
Co-Authored-By: Codebuff <noreply@codebuff.com>
@K1NGD4VID
K1NGD4VID merged commit b73ba57 into LabsCrypt:main Oct 18, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment