Skip to content

Comments

Add compiled_action type and governance event promotion#11

Merged
davidahmann merged 1 commit intomainfrom
codex/proof-compiled-action-governance
Feb 20, 2026
Merged

Add compiled_action type and governance event promotion#11
davidahmann merged 1 commit intomainfrom
codex/proof-compiled-action-governance

Conversation

@davidahmann
Copy link
Contributor

@davidahmann davidahmann commented Feb 20, 2026

Summary

  • add built-in compiled_action proof record type schema and registry entry
  • add governance event schema and NewRecordFromEvent promotion helper
  • update framework mappings (EU AI Act, SOC2 incl CC8, PCI-DSS)
  • add docs for governance events and context metadata conventions
  • add fixtures/tests/scenario coverage for compiled action and event promotion

Validation

  • go test ./...
  • go test ./internal/scenarios -count=1 -tags=scenario -v
  • go vet ./...
  • ./scripts/test_contract_exitcodes.sh

@davidahmann davidahmann merged commit 05616a2 into main Feb 20, 2026
11 checks passed
@davidahmann davidahmann deleted the codex/proof-compiled-action-governance branch February 20, 2026 01:33
Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 14011c645f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +72 to +74
if recordType == "compiled_action" {
if _, ok := eventPayload["gate_verdict"]; !ok {
eventPayload["gate_verdict"] = strings.TrimSpace(event.Verdict)

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Handle pending verdict before mapping script events

ValidateGovernanceEvent accepts verdict: "pending", but NewRecordFromEvent unconditionally copies any non-empty event.Verdict into gate_verdict for script_evaluation events. This produces a compiled_action record that fails schema validation because gate_verdict does not allow pending, so a governance event that passes validation cannot be promoted. This breaks the documented validate-then-promote flow for pending script evaluations.

Useful? React with 👍 / 👎.

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