All checks were successful
CI / test (pull_request) Successful in 3m4s
CI / release-exercise (pull_request) Successful in 11s
CI / self-guards (pull_request) Successful in 6s
CI / action-exercise (pull_request) Successful in 6s
CI / docs-sync-exercise (pull_request) Successful in 6s
Refs guard / refs-not-closing (pull_request) Has been skipped
labels / labels (pull_request) Successful in 8s
@codex-reviewer-andresmgsl's five points. Three were correctness, and one of
them found that my must-fail cases could not fail.
1. THE OBJECT IS MANDATORY. UNVERIFIABLE-HERE is gone: a missing ref, an absent
object and a non-ancestor are three distinct refusals. The ref is now the
FULL 40-character SHA, and ci.yml fetches exactly that object before the
suite. "Runs offline" means the TEST reads local evidence; it never meant CI
may omit the evidence and pass.
2. THE SCAN COVERS WHAT THE INVENTORY CLAIMS. It walked shell under four globs
and never looked at workflows, .github/labels.conf or drills/ — three
categories the inventory governs. Widened, and it immediately found four
real blind spots on merged main: refs-not-closing's declaration,
labels.yml's inline forge decision, refs-guard.yml's GitHub-only scheduling
and release-exercise.yml's pinned CEREMONY_FORGE. All four are now inventory
entries with the issue that removes them, because a delta location with no
exit is indistinguishable from one nobody noticed. A file that DECLARES a
client is no longer exempt as a "consumer" — only files that merely CALL the
shim are.
3. THE TEETH NOW DRIVE THE GUARD. They asserted the predicates separately and
never invoked no_unlisted, so the guard could have been `return 0` and both
must-fail rows would still have passed. SCAN_ROOT is a parameter now and the
cases build a tree, add an unlisted decider — shell AND workflow, so
coverage cannot regress to the old glob — and assert the real top-level
check fails naming it. Replacing no_unlisted with `return 0` reds five.
4. PATH MATCHING, NOT PREFIX MATCHING. `drills/` accepted `drills-old/x` and
`lib/forge.sh` accepted `lib/forge.sh.backup`. Exact for files, `dir/` for
directories, with both negative boundaries covered.
5. THE IMMUTABLE SHA IS CAPTURED AT FETCH. The runbook now takes
upstream_sha=$(git rev-parse gh/main) once and merges and records that
value. This is not hypothetical: while this PR was in review upstream moved
from 8c3a4d1 to 08e2912, and re-reading gh/main at recording time would have
written a commit this tree does not contain. I caught that by walking into
it.
test/run.sh 29/29; upstream-delta 21/21; shellcheck 0.10.0, actionlint,
changelog-armed clean.
Refs #200
193 lines
9.1 KiB
YAML
193 lines
9.1 KiB
YAML
name: CI
|
|
|
|
on:
|
|
pull_request:
|
|
push:
|
|
branches: [main]
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
test:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0
|
|
# GitHub-hosted ubuntu-latest ships shellcheck; the Forgejo runner image
|
|
# this instance uses (ghcr.io/catthehacker/ubuntu:act-22.04) does not.
|
|
# actionlint already self-installs below — the same for shellcheck, so a
|
|
# green head is reachable once a ceremony runner is online (#188).
|
|
- name: Install shellcheck
|
|
env:
|
|
SHELLCHECK_VERSION: 0.10.0
|
|
run: |
|
|
curl -fsSLo shellcheck.tar.xz \
|
|
"https://github.com/koalaman/shellcheck/releases/download/v${SHELLCHECK_VERSION}/shellcheck-v${SHELLCHECK_VERSION}.linux.x86_64.tar.xz"
|
|
tar -xJf shellcheck.tar.xz "shellcheck-v${SHELLCHECK_VERSION}/shellcheck"
|
|
sudo install "shellcheck-v${SHELLCHECK_VERSION}/shellcheck" /usr/local/bin/shellcheck
|
|
- name: Shellcheck
|
|
run: bash .github/scripts/shellcheck-all.sh
|
|
- name: Install actionlint
|
|
env:
|
|
ACTIONLINT_VERSION: 1.7.12
|
|
run: |
|
|
curl -fsSLo actionlint.tar.gz \
|
|
"https://github.com/rhysd/actionlint/releases/download/v${ACTIONLINT_VERSION}/actionlint_${ACTIONLINT_VERSION}_linux_amd64.tar.gz"
|
|
tar -xzf actionlint.tar.gz actionlint
|
|
sudo install actionlint /usr/local/bin/actionlint
|
|
- name: Actionlint
|
|
run: bash .github/scripts/actionlint-all.sh
|
|
- name: Self-ref pin
|
|
# The pin rules (issue #9; #1 D3): a stale CEREMONY_SELF_REF fails
|
|
# CI here, not a consumer's release.
|
|
run: bash .github/scripts/self-ref-check.sh
|
|
- name: Documentation availability markers
|
|
# Five stale markers survived the tags that shipped their machinery
|
|
# (#221); #238 makes the release candidate reject that drift.
|
|
run: bash .github/scripts/marker-check.sh
|
|
- name: Vendored manifest
|
|
# The manifest rules (issue #251; #248's near-miss): a doctrine file
|
|
# at the root that nobody added to docs/VENDORED.txt is invisible to
|
|
# every consumer's docs-sync, so it fails CI here instead.
|
|
run: bash .github/scripts/vendored-check.sh
|
|
- name: Fetch the recorded upstream commit
|
|
# test/upstream-delta.test.sh REFUSES when the recorded object is
|
|
# absent rather than calling it unverifiable (#200). "Runs offline"
|
|
# means the test reads local evidence — it does not mean CI may omit
|
|
# the evidence and pass. This step supplies it; the test never reaches
|
|
# the network itself.
|
|
run: |
|
|
ref="$(grep -vE '^[[:space:]]*(#|$)' .upstream-ref | head -n1)"
|
|
git fetch --no-tags --depth=1 \
|
|
https://github.com/heavy-duty/ceremony.git "$ref" || {
|
|
echo "::error::could not fetch the recorded upstream commit $ref" >&2
|
|
exit 1
|
|
}
|
|
- name: Tests
|
|
env:
|
|
# The npm-backed version_write case may skip locally when npm is
|
|
# absent; in CI a skip must be a failure, or the case could
|
|
# quietly stop running (issue #3's test contract).
|
|
CEREMONY_REQUIRE_NPM: 1
|
|
# Same contract for the yq-backed labeler.yml parse cases
|
|
# (#130): yq is preinstalled on ubuntu-latest, optional locally.
|
|
CEREMONY_REQUIRE_YQ: 1
|
|
run: bash test/run.sh
|
|
|
|
# The release exercise (issue #9's scratch caller) on every PR, so the
|
|
# parse proof and the merge door's step-replay are standing, reviewable
|
|
# evidence — not a dispatch someone must remember to run. PR-ONLY, and
|
|
# the gate is load-bearing: this CI also runs on push to main, and a
|
|
# workflow_call from THAT context would hand release.yml a genuine
|
|
# push+refs/heads/main event — the merge door's exact gate — opening a
|
|
# live door from CI. A pull_request event can never satisfy either
|
|
# door's `if:`.
|
|
release-exercise:
|
|
if: github.event_name == 'pull_request'
|
|
uses: ./.github/workflows/release-exercise.yml
|
|
|
|
# The self-guards (issue #11): this repo eats exactly what it serves. The
|
|
# guard actions run against the REAL tree — VERSION, CHANGELOG.md,
|
|
# drills/, .github/workflows/ — through the same `uses:` steps every
|
|
# consumer's CI carries.
|
|
# These steps are also the composite-action wiring proof (issue #5's
|
|
# acceptance criterion: action.yml resolving, $GITHUB_ACTION_PATH, the
|
|
# relative lib sourcing) that action-exercise carried with scratch files
|
|
# while this repo had no tree of its own to guard; the armed and
|
|
# drill-recorded scratch steps moved here per the armed step's own
|
|
# eviction note — the file backend hardcodes the VERSION name, so a
|
|
# scratch write would SHADOW the real file, not sit beside it.
|
|
self-guards:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
# The monotonic guard compares HEAD against the merge base; a
|
|
# shallow checkout cannot resolve it, and in CI that is a hard
|
|
# failure, not a skip (the action's description).
|
|
fetch-depth: 0
|
|
- uses: ./actions/changelog-armed
|
|
- uses: ./actions/changelog-monotonic
|
|
- uses: ./actions/changelog-assembled
|
|
- uses: ./actions/drill-recorded
|
|
- uses: ./actions/runner-isolated
|
|
|
|
# Exercises changelog-monotonic the way a consumer does, against a
|
|
# CONSTRUCTED history. The self-guards job above runs the same action on
|
|
# the real tree, but there its containment half is only as interesting as
|
|
# the PR's own diff; this job commits a known base and an insert-above
|
|
# edit on top, so a real, non-vacuous containment run is standing
|
|
# evidence on every PR. (Armed and drill-recorded moved to self-guards —
|
|
# the real tree now exercises them; monotonic stays because it reads no
|
|
# version source, so it is immune to the VERSION-shadowing problem that
|
|
# evicted the other two.)
|
|
action-exercise:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- name: Construct a scratch history for the monotonic guard
|
|
# The monotonic guard's input is a DIFF, so its exercise needs
|
|
# history, not just a file: commit a scratch changelog, mark that
|
|
# commit as the fixture base, then commit an insert-above edit on
|
|
# top — a real containment run, not just an action.yml parse. The
|
|
# base ref is the in-job branch, passed explicitly, because this
|
|
# job's shallow PR checkout carries no origin/main for the input's
|
|
# default to resolve (consumers get that via fetch-depth: 0, per
|
|
# the action's description). Scratch-named file so the real
|
|
# CHANGELOG.md is never shadowed; the commits live only in this
|
|
# job's checkout and are never pushed.
|
|
run: |
|
|
git config user.name ceremony-ci
|
|
git config user.email ceremony-ci@users.noreply.github.com
|
|
printf '# Changelog\n\n## Unreleased\n\n## 0.1.0 — 2026-07-01\n\n- Shipped entry.\n' > CHANGELOG.monotonic.scratch.md
|
|
git add CHANGELOG.monotonic.scratch.md
|
|
git commit -m 'fixture: monotonic base'
|
|
git branch monotonic-fixture-base
|
|
printf '# Changelog\n\n## Unreleased\n\n- Entry inserted above.\n\n## 0.1.0 — 2026-07-01\n\n- Shipped entry.\n' > CHANGELOG.monotonic.scratch.md
|
|
git commit -am 'fixture: insert above'
|
|
- uses: ./actions/changelog-monotonic
|
|
with:
|
|
changelog: CHANGELOG.monotonic.scratch.md
|
|
base-ref: monotonic-fixture-base
|
|
|
|
# Exercises actions/docs-sync the way a consumer does (issue #19's
|
|
# acceptance criterion). Its own job, unlike the exercises above: the
|
|
# composite reads the CONSUMER's tree at the workspace root, and a
|
|
# `uses:` step cannot change directory — so the fixture consumer must BE
|
|
# the workspace root, with ceremony itself checked out to a subdirectory
|
|
# (that path also serves as the action reference and the --source
|
|
# override; no ref carrying docs/VENDORED.txt exists to fetch until this
|
|
# lands, and the exercised bytes should be THIS PR's anyway).
|
|
docs-sync-exercise:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
path: ceremony-src
|
|
- name: Construct a fixture consumer at the workspace root
|
|
# The pin ref is scratch — --source overrides the fetch, but the
|
|
# pin line itself is still parsed and required (one pin governs
|
|
# machinery and doctrine; a consumer without one has nothing for
|
|
# the mirror to be verified against).
|
|
run: |
|
|
mkdir -p .github/workflows
|
|
printf '%s\n' \
|
|
'name: release' \
|
|
'on:' \
|
|
' push:' \
|
|
' branches: [main]' \
|
|
'jobs:' \
|
|
' release:' \
|
|
' uses: heavy-duty/ceremony/.github/workflows/release.yml@0.0.0-fixture' \
|
|
> .github/workflows/release.yml
|
|
- name: Bootstrap the mirror (--fix)
|
|
uses: ./ceremony-src/actions/docs-sync
|
|
with:
|
|
mode: fix
|
|
source: ceremony-src
|
|
- name: Verify the mirror (--check, the mode consumers run)
|
|
uses: ./ceremony-src/actions/docs-sync
|
|
with:
|
|
source: ceremony-src
|