Skip to content

[codex] add PassRole Lambda replay subset probe#32

Merged
InfoSecHack merged 1 commit into
mainfrom
codex/complex-passrole-lambda-replay-subset
Jun 4, 2026
Merged

[codex] add PassRole Lambda replay subset probe#32
InfoSecHack merged 1 commit into
mainfrom
codex/complex-passrole-lambda-replay-subset

Conversation

@InfoSecHack

Copy link
Copy Markdown
Owner

Summary

  • Add a tiny replay-ready PassRole-to-Lambda subset fixture for the complex synthetic benchmark theme.
  • Add a local-only probe that runs existing IAMScope replay machinery against the subset when input-contract checks pass.
  • Add focused tests covering fixture hygiene, repo-output refusal, replay status, matched/static-only rows, local-only boundaries, and no committed generated outputs.

Result

  • replay_subset_status: replayed_selected_passrole_lambda_subset
  • input_contract_status: replay_ready
  • matched_rows: 1
  • missing_rows: 0
  • static_only_rows: 1

Boundaries

  • PassRole-to-Lambda subset only; no full complex benchmark replay-equivalence claim.
  • No fixture semantic changes to the existing complex benchmark, reasoner changes, benchmark semantic changes, live AWS, Terraform, AWS CLI, STS, Lambda API, or iam:PassRole calls.
  • No composite benchmark score or pass/fail benchmark label.

Validation

  • python -m pytest -q tests/test_complex_passrole_lambda_replay_subset.py
  • python scripts/probe_complex_passrole_lambda_replay_subset.py --out /tmp/iamscope-complex-passrole-lambda-replay-subset
  • cat /tmp/iamscope-complex-passrole-lambda-replay-subset/replay-subset-summary.md
  • jq . /tmp/iamscope-complex-passrole-lambda-replay-subset/replay-subset-manifest.json
  • account/ARN hygiene scans
  • generated live/Terraform artifact scan
  • ./scripts/check.sh
  • ./scripts/test_fast.sh
  • git diff --check

@InfoSecHack InfoSecHack marked this pull request as ready for review June 4, 2026 00:03
@InfoSecHack InfoSecHack merged commit 70d195f into main Jun 4, 2026
6 checks passed
@InfoSecHack InfoSecHack deleted the codex/complex-passrole-lambda-replay-subset branch June 4, 2026 00:03
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