Skip to content

Repair opaque dependency boundary selection - #4

Merged
sneakocom merged 3 commits into
mainfrom
av-exp-003-opaque-boundary-repair
Aug 31, 2026
Merged

sneakocom merged 3 commits into
mainfrom
av-exp-003-opaque-boundary-repair

Conversation

@sneakocom

Copy link
Copy Markdown
Contributor

Summary

  • preserve AV-EXP-002 as a permanent FAIL
  • preregister AV-EXP-003 before repaired outcomes
  • require check-level dependency completeness in plan v2
  • force only checks with incomplete, unknown, or open opaque boundaries
  • add a bounded deterministic Python boundary inspector with provenance
  • replay AV-EXP-001/002 and run ten adversarial SHADOW cases
  • expose exact safety-policy additions in Visible Value receipts

Result

  • AV2-006: old miss; repaired replay selected in both AV arms
  • AV-EXP-001 repaired misses: 0; added test executions: 0
  • AV-EXP-002 repaired misses: 0; added test executions: 6 core / 7 selector arm
  • AV-EXP-003 adversarial misses: 0; 7 added checks; 10/10 remain targeted
  • lifecycle: VERIFIED; trust: OBSERVE/SHADOW

Verification

  • npm run verify
  • 107 tests
  • 15 conformance scenarios
  • 10 determinism checks
  • AV-EXP-003 result and regression-matrix verification
  • 10/10 value receipts pass the released Opsle validator

@sneakocom
sneakocom merged commit 97f490a into main Aug 31, 2026
2 checks passed
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