Skip to content

docs: define exact-head CI evidence policy - #97

Merged
ORESoftware merged 1 commit into
mainfrom
docs/exact-head-ci-evidence-20260914
Sep 14, 2026
Merged

ORESoftware merged 1 commit into
mainfrom
docs/exact-head-ci-evidence-20260914

Conversation

@ORESoftware

Copy link
Copy Markdown
Contributor

Codifies the fleet merge-evidence rules used by the current CI hardening work: exact PR-head identity, stepful execution, zero-step runner refusals as non-evidence, stale-SHA rejection, fail-closed security/reproducibility gates, expected-head merges, TJSV evidence for TypeSpec/JSON Schema peer authorities, and equivalent evidence requirements for trusted indie/local runners.

Documentation-only; no workflow or production behavior changes.

@ORESoftware
ORESoftware merged commit 2d56311 into main Sep 14, 2026
5 checks passed
ORESoftware added a commit that referenced this pull request Sep 18, 2026
…12 (DEN-3945)

Brings the sweep branch up to current origin/main (dec94c9..8771248, 6 commits:
PRs #95, #97, #98, #99, #104). Conflict-free. Created with merge-tree/commit-tree
plumbing because this repo tracks both AGENTS.md and agents.md, which collide on
a case-insensitive macOS working tree; both blobs verified byte-identical to
origin/main in the resulting tree.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
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