Define OpenPAKT CI policy evaluation semantics v0.1 by meisterware-admin · Pull Request #22 · Meisterware/openpakt-spec

spec: draft v0.1 CI policy evaluation semantics

meisterware-admin

committed

spec: polish CI policy semantics clarity

meisterware-admin

committed

- small tweak to severity guidance to avoid future reference drift

meisterware-admin

committed

- since our last push will produce merge conflicts with Codex, I manually update locally.

meisterware-admin

committed

- added normative constraints for ignore lists so ignore_severities must use canonical severity values and ignore_types must use canonical taxonomy identifiers, and specified deterministic invalid-…

meisterware-admin

committed

- updated the ambiguous invalid-ignore normative rule to require one deterministic outcome: if unsupported ignore_severities or ignore_types values are present, evaluators must stop with an invalid…

meisterware-admin

committed

- added a deterministic normative rule that missing or unsupported fail_on must produce an invalid-policy result and stop evaluation (no pass/fail decision), resolving the reviewer’s ambiguity conc…

meisterware-admin

committed

- added explicit support for invalid-policy in the machine-readable decision guidance so evaluation outputs consistently represent malformed policy outcomes alongside pass and fail.

meisterware-admin

committed

- added explicit normative handling for unknown policy keys: v0.1 policies must not include unknown top-level keys, and such policies are now explicitly invalid-policy inputs that must stop evaluat…

meisterware-admin

committed

- added explicit invalid-policy output-shape semantics for machine-readable results: when decision is invalid-policy, fail_on must be null and matched finding identifiers must be an empty array, re…

meisterware-admin

committed

- added deterministic handling for malformed/non-normalized findings by requiring evaluators to stop with invalid-policy when findings input is malformed (e.g., missing required fields or unsupport…

meisterware-admin

committed

- clarify CI policy evaluation input source as normalized findings from report.findings (or equivalent extracted normalized findings list).

meisterware-admin

committed

- introduce a full CI policy semantics document for OpenPAKT v0.1 with deterministic pass/fail behavior on normalized findings.

meisterware-admin

committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Define OpenPAKT CI policy evaluation semantics v0.1#22

Define OpenPAKT CI policy evaluation semantics v0.1#22
meisterware-admin merged 13 commits intomainfrom
spec/draft-ci-policy-evaluation-semantics-specification

Commits on Mar 15, 2026

spec: draft v0.1 CI policy evaluation semantics

spec: polish CI policy semantics clarity

- small tweak to severity guidance to avoid future reference drift

- since our last push will produce merge conflicts with Codex, I manually update locally.

- added normative constraints for ignore lists so ignore_severities must use canonical severity values and ignore_types must use canonical taxonomy identifiers, and specified deterministic invalid-…

- updated the ambiguous invalid-ignore normative rule to require one deterministic outcome: if unsupported ignore_severities or ignore_types values are present, evaluators must stop with an invalid…

- added a deterministic normative rule that missing or unsupported fail_on must produce an invalid-policy result and stop evaluation (no pass/fail decision), resolving the reviewer’s ambiguity conc…

- added explicit support for invalid-policy in the machine-readable decision guidance so evaluation outputs consistently represent malformed policy outcomes alongside pass and fail.

- added explicit normative handling for unknown policy keys: v0.1 policies must not include unknown top-level keys, and such policies are now explicitly invalid-policy inputs that must stop evaluat…

- added explicit invalid-policy output-shape semantics for machine-readable results: when decision is invalid-policy, fail_on must be null and matched finding identifiers must be an empty array, re…

- added deterministic handling for malformed/non-normalized findings by requiring evaluators to stop with invalid-policy when findings input is malformed (e.g., missing required fields or unsupport…

- clarify CI policy evaluation input source as normalized findings from report.findings (or equivalent extracted normalized findings list).

- introduce a full CI policy semantics document for OpenPAKT v0.1 with deterministic pass/fail behavior on normalized findings.