Skip to content

feat(spec): define deterministic code constraints - #6

Merged
tcballard merged 1 commit into
mainfrom
codex/sentry-constraint-contract
Jul 27, 2026
Merged

feat(spec): define deterministic code constraints#6
tcballard merged 1 commit into
mainfrom
codex/sentry-constraint-contract

Conversation

@tcballard

Copy link
Copy Markdown
Contributor

Summary

  • define a versioned Code Constraints YAML block for decision artifacts
  • standardize forbid_pattern, require_pattern, and forbid_import
  • specify deterministic diff/full-tree enforcement and explicit coverage reporting
  • forbid model-based or nondeterministic judges
  • add a language-neutral JSON Schema and valid example

Validation

  • jq empty schema/code-constraints.schema.json schema/artifact-specs.json examples/manifest.json
  • git diff --check

Follow-up

The native Rust implementation will land separately in asdecided/core; the Sentry GitHub Action and façade packaging will follow in asdecided/ci.

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