Skip to content

Add WallGuard clean-room synthesis contract#13

Merged
mdheller merged 6 commits into
mainfrom
work/wallguard-clean-room-synthesis-v0
May 30, 2026
Merged

Add WallGuard clean-room synthesis contract#13
mdheller merged 6 commits into
mainfrom
work/wallguard-clean-room-synthesis-v0

Conversation

@mdheller
Copy link
Copy Markdown
Member

Summary

Adds a WallGuard clean-room synthesis contract surface for Holmes.

This PR introduces:

  • schemas/wallguard-clean-room-synthesis.schema.json
  • examples/wallguard-clean-room-synthesis.valid.json
  • examples/wallguard-clean-room-synthesis.cross-wall.rejected.json
  • examples/wallguard-clean-room-synthesis.bad-clean-room.rejected.json
  • tools/validate_wallguard_clean_room_synthesis.py
  • make validate-wallguard-clean-room-synthesis

Scope

Contract and fixture validation only. This does not implement live synthesis, runtime policy evaluation, model invocation, or artifact export.

Semantics covered

  • same-wall synthesis must keep output wall_restricted
  • clean-room release requires clean_room_release_allowed
  • clean-room release must exclude restricted payloads
  • source labels must be preserved
  • broader release classifications require restricted payload exclusion
  • residual restrictions must remain attached

Links

Validation

Not yet run in CI at PR creation. Manual diff review confirms six files changed and Makefile only adds the WallGuard validation target into validate-contracts.

Expected validation command:

make validate-wallguard-clean-room-synthesis

Known gaps

This is not the full Holmes clean-room synthesis runtime. It is the first contract/fixture surface for WallGuard clean-room synthesis and release constraints.

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