Skip to content

fix(grind): require successful qualification effects - #567

Merged
pdfinn merged 3 commits into
masterfrom
fix/infr-434-successful-effects
Aug 29, 2026
Merged

pdfinn merged 3 commits into
masterfrom
fix/infr-434-successful-effects

Conversation

@pdfinn

@pdfinn pdfinn commented Aug 29, 2026

Copy link
Copy Markdown
Member

Summary

  • score red-team qualification from signed child type and successful tool results instead of labels and invocation counts
  • fail closed before model usage when required source roots, probe SDK files, registered grants, or effective namespace permissions are missing
  • require correlated Limbo authoring, write, compile, execution-marker, and safe/vulnerable nsaudit evidence before the live escape dependency can run
  • grant /mnt/llm only to the Limbo tool's restricted invocation and document the exact qualification contract
  • integrate the dynamic campaign-wait gates from test(agent): require dynamic red-team qualification #562 and the untracked runtime-bytecode policy from Make the tracked runtime tree exactly what the source compiles to #559

Test plan

  • Build lucibridge.dis and tools9p.dis
  • ./tests/host/grind_escape_test.sh
  • delegated child compile/execute emulator regression
  • Limbo fixed-purpose service namespace regression
  • ./tests/host/namespace_manifest_invariants_test.sh
  • ./tests/host/veltro_namespace_failclosed_test.sh
  • ./tests/host/write_capability_test.sh
  • Python/YAML syntax validation and git diff --check origin/master...HEAD
  • rerun the live two-VM campaign and attach the sealed evidence directory

Refs: INFR-434

Generated with Devin

pdfinn and others added 3 commits August 29, 2026 09:07
Record signed child identity and result status so failed tool requests cannot
qualify a red-team campaign. Fail closed on incomplete source grants and prove
the bounded Limbo compile and execution before permitting the escape trial.

Refs: INFR-434

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Resolve the qualification scenario overlap with #562 and follow the new
untracked runtime-bytecode policy from #559.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
The untracked-bytecode transition left the AMD64 namespace checks and macOS
wallet tests running against partial runtime trees. Build and verify the full
runtime before those jobs execute host integration tests.

Refs: INFR-434

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@pdfinn
pdfinn merged commit a3a7a62 into master Aug 29, 2026
22 of 23 checks passed
@pdfinn
pdfinn deleted the fix/infr-434-successful-effects branch August 29, 2026 05:40
@pdfinn pdfinn mentioned this pull request Aug 29, 2026
3 tasks
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