Skip to content

feat(engine): add Sentry enforcement and native Herald rendering - #387

Merged
tcballard merged 2 commits into
mainfrom
codex/sentry-native-engine
Jul 27, 2026
Merged

feat(engine): add Sentry enforcement and native Herald rendering#387
tcballard merged 2 commits into
mainfrom
codex/sentry-native-engine

Conversation

@tcballard

@tcballard tcballard commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • add native Rust decided sentry and compose it into decided gate --code
  • enforce forbid_pattern, require_pattern, and forbid_import deterministically
  • support full-tree certification and added-line Git diff enforcement
  • publish decision coverage in human/JSON output and violations as SARIF
  • validate malformed constraint blocks during ordinary corpus validation
  • provide Python, Rust, and JavaScript/TypeScript import adapters with no Python runtime or model judge
  • move Herald collection, deduplication, sorting, and Markdown rendering into native decided herald

Contract dependency

Depends on asdecided/spec#6. The vendored registry is intentionally advanced to that contract, so Guard 1 becomes green when the Spec PR merges.

Validation

  • cargo test --workspace (70 engine tests plus workspace/integration suites)
  • cargo clippy --workspace --no-deps -- -D warnings
  • cargo check --workspace
  • full-tree Sentry CLI smoke
  • real Git diff enforcement test
  • native Herald deterministic rendering, overflow, deduplication, and empty-state tests

All local checks pass. This stays draft until the Spec dependency lands.

@tcballard tcballard changed the title feat(engine): enforce decision constraints with Sentry feat(engine): add Sentry enforcement and native Herald rendering Jul 27, 2026
@tcballard
tcballard marked this pull request as ready for review July 27, 2026 21:40
@tcballard
tcballard merged commit 846cc7b into main Jul 27, 2026
7 of 8 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