Skip to content

Implement local oracle i001 fixture correction#58

Merged
InfoSecHack merged 1 commit into
mainfrom
codex/prodlike-i001-local-fixture-correction
Jun 5, 2026
Merged

Implement local oracle i001 fixture correction#58
InfoSecHack merged 1 commit into
mainfrom
codex/prodlike-i001-local-fixture-correction

Conversation

@InfoSecHack
Copy link
Copy Markdown
Owner

Summary

  • Implement the local-only oracle-i-001 fixture correction from Option A.
  • Split the old shared uncertainty_probe Terraform source into:
    • uncertainty_resource_probe / uncertainty-resource-probe for wildcard resource-scope uncertainty with no permission boundary.
    • uncertainty_boundary_probe / uncertainty-boundary-probe for boundary/session uncertainty rows with the session-context boundary.
  • Move oracle-i-001 comparator mapping to iamscope-prodlike-v1-uncertainty-resource-probe and keep expected behavior inconclusive.
  • Update static oracle fixture support files, README notes, and focused tests.

Boundaries

  • No live AWS.
  • No Terraform apply/destroy/plan.
  • No AWS CLI, STS, Lambda, or iam:PassRole calls.
  • No reasoner changes.
  • No new oracle rows, composite score, or pass/fail benchmark label.

Validation

  • Focused prod-like oracle fixture / Terraform source / comparator tests: 35 passed
  • terraform fmt -check in sandbox Terraform source: passed
  • Synthetic local comparator CLI run: oracle-i-001 matched as inconclusive; no mismatches in the small local sample
  • ./scripts/check.sh: passed
  • ./scripts/test_fast.sh: 1999 passed
  • git diff --check: passed
  • Account/ARN hygiene scans: clean
  • Terraform/raw artifact scan: clean

@InfoSecHack InfoSecHack marked this pull request as ready for review June 5, 2026 02:44
@InfoSecHack InfoSecHack merged commit 2e152db into main Jun 5, 2026
6 checks passed
@InfoSecHack InfoSecHack deleted the codex/prodlike-i001-local-fixture-correction branch June 5, 2026 02:44
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