Marius CiepluchandClaude Opus 4.8 7f8a492857 docs: use-case reference -- catch, prove, fix, re-verify absence (+ GitHub Actions example) [skip ci] ...

The loop: catch a regression in the diff, prove it with a reproducible check,
the dev/agent fixes it (tool gives a repair direction + the failing proof, not an
auto-patch), then the same proof re-runs and no longer triggers = absence
demonstrated by execution; the proof becomes a committed regression test. Example
GitHub Actions workflow uses the real 'ousast pre-push . --base --head --deadline
--mode --artifact' entry; PR-comment formatter marked as a placeholder. Honest
status separates what exists (re-verify by construction, --base/--head) from
delivery work (PR formatter, auto-landing the regression test) and the open
large-repo latency.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

2026-10-07 17:34:06 +02:00

..

ops

docs: MkDocs site with flow diagrams; RustFS permissions

2026-10-02 08:17:40 +02:00

architecture.md

docs: plain-language pass -- detection techniques, architecture, evaluation, decision engine

2026-10-02 21:03:24 +02:00

decision-engine.md

learn: dry-run estimate from measured cached-response cost; docs: exp-004 result; tidy instrument check

2026-10-03 14:23:36 +02:00

deployment.md

ops(kind): skip Substrate's observability stack by default (930 MiB of 2.3 GB); opt in with OUSAST_KIND_OBSERVABILITY=1

2026-10-04 12:03:19 +02:00

detection-techniques.md

docs: plain-language pass -- detection techniques, architecture, evaluation, decision engine

2026-10-02 21:03:24 +02:00

evaluation.md

docs: plain-language pass -- detection techniques, architecture, evaluation, decision engine

2026-10-02 21:03:24 +02:00

examples.md

docs: plain-language pass -- README, index, where we stand, scanning, examples, threat model

2026-10-02 21:01:10 +02:00

index.md

docs: plain-language pass -- README, index, where we stand, scanning, examples, threat model

2026-10-02 21:01:10 +02:00

memory-and-detection.md

docs: plain-language pass -- deployment, plane, memory, RustFS, token economics

2026-10-02 21:00:37 +02:00

memory.md

docs: plain-language pass -- deployment, plane, memory, RustFS, token economics

2026-10-02 21:00:37 +02:00

plane.md

ops(kind): skip Substrate's observability stack by default (930 MiB of 2.3 GB); opt in with OUSAST_KIND_OBSERVABILITY=1

2026-10-04 12:03:19 +02:00

pre-push-for-developers.md

docs: frame the proof as prioritization evidence for busy devs [skip ci]

2026-10-07 17:30:14 +02:00

rustfs.md

engine: worker Deployment from the image (S3 queue with leases, dispatcher --executor queue, engine-image workflow, scoped RustFS policy); merge main

2026-10-04 14:23:04 +02:00

scanning.md

pre-push(17.6): install, Docker wrapper and first-run docs

2026-10-02 22:51:22 +02:00

threat-model.md

docs: plain-language pass -- README, index, where we stand, scanning, examples, threat model

2026-10-02 21:01:10 +02:00

token-ergonomics.md

docs: plain-language pass -- deployment, plane, memory, RustFS, token economics

2026-10-02 21:00:37 +02:00

use-case-fix-and-reverify.md

docs: use-case reference -- catch, prove, fix, re-verify absence (+ GitHub Actions example) [skip ci]

2026-10-07 17:34:06 +02:00

where-we-stand.md

docs: plain-language pass -- README, index, where we stand, scanning, examples, threat model

2026-10-02 21:01:10 +02:00