Skip to content

docs(defense): three-step demos for the modules of choice - #196

Merged
danielfdez17 merged 1 commit into
developfrom
177-modules-of-choice-their-proof-gates-m176-m177-never-run-in-ci-and-grobase-ci-on-main-is-red
Nov 5, 2026
Merged

danielfdez17 merged 1 commit into
developfrom
177-modules-of-choice-their-proof-gates-m176-m177-never-run-in-ci-and-grobase-ci-on-main-is-red

Conversation

@danielfdez17

Copy link
Copy Markdown
Member

Issue 177 asked for command-plus-expected-output demos in wiki/DEFENSE.md for the factory major (m176/m177), the SSRF minor, and m175. The SSRF minor stays its own point; the risk that a validator folds it into the major is named in the demo. README rows 8–9 and their justifications point at those demos and at the grobase live-proof branch.

Issue 177 asked for command-plus-expected-output demos in wiki/DEFENSE.md for the factory major (m176/m177), the SSRF minor, and m175. The SSRF minor stays its own point; the risk that a validator folds it into the major is named in the demo. README rows 8–9 and their justifications point at those demos and at the grobase live-proof branch.
@coderabbitai

coderabbitai Bot commented Nov 5, 2026

Copy link
Copy Markdown
Contributor

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

Run configuration

  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: defaults
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: 9e8de3e0-a741-4cc1-ba63-043b8720f514

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • Trigger review
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

@sonarqubecloud

sonarqubecloud Bot commented Nov 5, 2026

Copy link
Copy Markdown

@danielfdez17
danielfdez17 merged commit 021ee92 into develop Nov 5, 2026
23 checks passed
@danielfdez17
danielfdez17 deleted the 177-modules-of-choice-their-proof-gates-m176-m177-never-run-in-ci-and-grobase-ci-on-main-is-red branch November 5, 2026 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant