From 6ce0d2c5efa1ea2ea3293a2cb668888baa895121 Mon Sep 17 00:00:00 2001 From: 0xLeif Date: Sat, 19 Sep 2026 11:41:10 -0600 Subject: [PATCH 1/3] chore(lifecycle): materialize add-a-hi-check-gate-to-ci --- .../changes/add-a-hi-check-gate-to-ci/state.json | 2 +- .../verification-attempts.json | 16 ++++++++++++++++ .../add-a-hi-check-gate-to-ci/verification.json | 4 ++-- 3 files changed, 19 insertions(+), 3 deletions(-) diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json b/.specsync/changes/add-a-hi-check-gate-to-ci/state.json index 234accb4..7234e6e8 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/state.json @@ -11,7 +11,7 @@ "canonical_applied": true, "base_commit": "64abf58182ab222d2415d7ffcffabc9b0c8ed151", "created_at": 1789600922, - "updated_at": 1789838589, + "updated_at": 1789839670, "affected_specs": [ "github" ], diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json b/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json index 806eb2c7..13c92ddd 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json @@ -80,6 +80,22 @@ } ], "requirement_ids": [] + }, + { + "timestamp": 1789839668, + "commit": "33d10f1f2421197c809b796ca5890812416e0533", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "passed": true, + "commands": [ + { + "command": "specsync check --spec github", + "success": true, + "exit_code": 0 + } + ], + "requirement_ids": [] } ] } diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json b/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json index 18d95e5b..7b55ebe7 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json @@ -1,6 +1,6 @@ { - "timestamp": 1789838587, - "commit": "9e405f62200e1d9c6f840c728855871c56414114", + "timestamp": 1789839668, + "commit": "33d10f1f2421197c809b796ca5890812416e0533", "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", From eaa314dc7db032276303eea1aa0ac084272f9608 Mon Sep 17 00:00:00 2001 From: 0xLeif Date: Sat, 19 Sep 2026 11:41:15 -0600 Subject: [PATCH 2/3] chore(lifecycle): record add-a-hi-check-gate-to-ci verification --- .../changes/add-a-hi-check-gate-to-ci/state.json | 2 +- .../verification-attempts.json | 16 ++++++++++++++++ .../add-a-hi-check-gate-to-ci/verification.json | 4 ++-- 3 files changed, 19 insertions(+), 3 deletions(-) diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json b/.specsync/changes/add-a-hi-check-gate-to-ci/state.json index 7234e6e8..c4f3fea1 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/state.json @@ -11,7 +11,7 @@ "canonical_applied": true, "base_commit": "64abf58182ab222d2415d7ffcffabc9b0c8ed151", "created_at": 1789600922, - "updated_at": 1789839670, + "updated_at": 1789839675, "affected_specs": [ "github" ], diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json b/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json index 13c92ddd..e89adbec 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json @@ -96,6 +96,22 @@ } ], "requirement_ids": [] + }, + { + "timestamp": 1789839673, + "commit": "6ce0d2c5efa1ea2ea3293a2cb668888baa895121", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "passed": true, + "commands": [ + { + "command": "specsync check --spec github", + "success": true, + "exit_code": 0 + } + ], + "requirement_ids": [] } ] } diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json b/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json index 7b55ebe7..51e750b6 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json +++ b/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json @@ -1,6 +1,6 @@ { - "timestamp": 1789839668, - "commit": "33d10f1f2421197c809b796ca5890812416e0533", + "timestamp": 1789839673, + "commit": "6ce0d2c5efa1ea2ea3293a2cb668888baa895121", "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", From 546bca3e14602278bc070bf335f2c5b66b243b8c Mon Sep 17 00:00:00 2001 From: 0xLeif Date: Sat, 19 Sep 2026 11:58:56 -0600 Subject: [PATCH 3/3] chore(lifecycle): archive add-a-hi-check-gate-to-ci Finalize SpecSync package after scoped review; archive-before-merge for #791. --- .../accepted-state.json | 37 ++++++++ .../approvals.json | 7 ++ .../change.md | 2 +- .../context.md | 0 .../finalization.json | 12 +++ .../lesson-bundle.md | 83 +++++++++++++++++ .../plan.md | 0 .../review-attempts.json | 21 +++++ .../review.json | 16 ++++ .../state.json | 4 +- .../testing.md | 0 .../verification-attempts.json | 92 +++++++++++++++++++ .../verification.json | 92 +++++++++++++++++++ .../verification.json | 16 ---- 14 files changed, 363 insertions(+), 19 deletions(-) create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/accepted-state.json rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/approvals.json (93%) rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/change.md (98%) rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/context.md (100%) create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/finalization.json create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/lesson-bundle.md rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/plan.md (100%) create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review-attempts.json create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review.json rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/state.json (97%) rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/testing.md (100%) rename .specsync/{changes/add-a-hi-check-gate-to-ci => archive/changes/2026-09-19-add-a-hi-check-gate-to-ci}/verification-attempts.json (54%) create mode 100644 .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification.json delete mode 100644 .specsync/changes/add-a-hi-check-gate-to-ci/verification.json diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/accepted-state.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/accepted-state.json new file mode 100644 index 00000000..29dfbb85 --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/accepted-state.json @@ -0,0 +1,37 @@ +{ + "schema_version": 1, + "workflow_version": 2, + "workflow_origin_version": 2, + "id": "add-a-hi-check-gate-to-ci", + "slug": "add-a-hi-check-gate-to-ci", + "title": "Add a hi check gate to CI", + "description": "Add a hi check gate to CI", + "kind": "operations", + "state": "accepted", + "canonical_applied": true, + "base_commit": "64abf58182ab222d2415d7ffcffabc9b0c8ed151", + "created_at": 1789600922, + "updated_at": 1789840181, + "affected_specs": [ + "github" + ], + "affected_paths": [ + ".github/workflows/ci.yml", + "Cargo.lock" + ], + "no_spec_change": true, + "no_spec_change_rationale": "The change adds a CI step that installs a pinned external binary and runs it, and bumps a transitive TLS crate in the lockfile so the existing audit job can pass. No canonical spec behaviour changes, and specs/github already owns the workflow files.", + "acceptance_criteria": [ + "A full CI run executes hi check over hi/*.md and fails the job when a file is structurally broken (duplicate id, case with no parent, id colliding with a retired one, malformed id, undeclared family, stranded criterion). A pull request touching only hi/** triggers ci.yml and reaches the required gate rather than waiting forever on a status that is never reported. The hi-check job is a dependency of implementation-gate and of the corvid-pet scoped-review job, so a structural break blocks merge and cannot post a passing review. The installed binary is human-intent pinned to 0.5.0 with --locked. Cargo.lock pins rustls at >=0.23.45 so cargo audit is not red on RUSTSEC-2026-0285." + ], + "selected_artifacts": [ + "context", + "plan", + "testing" + ], + "dependencies": [], + "answers": { + "architecture_risk": "no", + "public_contract": "no" + } +} diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/approvals.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/approvals.json similarity index 93% rename from .specsync/changes/add-a-hi-check-gate-to-ci/approvals.json rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/approvals.json index a4c41b9a..403ba302 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/approvals.json +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/approvals.json @@ -64,6 +64,13 @@ } }, "approved_delta_digests": {} + }, + { + "gate": "finalization", + "actor": "specsync:finalization", + "timestamp": 1789840181, + "digest": "5868c4e8aa89ef411add42bc5f36530cdf0b6ec0c0195b3acc5a07ae8f0855d7", + "note": "Same-PR finalization closing digest" } ], "reopenings": [] diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/change.md b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/change.md similarity index 98% rename from .specsync/changes/add-a-hi-check-gate-to-ci/change.md rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/change.md index 65382aa2..75aad255 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/change.md +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/change.md @@ -1,6 +1,6 @@ --- id: add-a-hi-check-gate-to-ci -state: verifying +state: archived type: operations base_commit: 64abf58182ab222d2415d7ffcffabc9b0c8ed151 --- diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/context.md b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/context.md similarity index 100% rename from .specsync/changes/add-a-hi-check-gate-to-ci/context.md rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/context.md diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/finalization.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/finalization.json new file mode 100644 index 00000000..c8ee52e7 --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/finalization.json @@ -0,0 +1,12 @@ +{ + "schema_version": 2, + "change_id": "add-a-hi-check-gate-to-ci", + "implementation_commit": "eaa314dc7db032276303eea1aa0ac084272f9608", + "implementation_tree": "7045b19101405b6597d9d8fe7c3ac4ed4998e8d3", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "closing_digest": "5868c4e8aa89ef411add42bc5f36530cdf0b6ec0c0195b3acc5a07ae8f0855d7", + "review_digest": "4019d4b1c606c6a0c451ac6759c8006d97915aebf98049bb4b711a259f73a30f", + "finalization_digest": "62bea1727fc17c3ead514b3851e17aaf3e3577cdf902fae3b39bd54b4b347bde", + "timestamp": 1789840181 +} diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/lesson-bundle.md b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/lesson-bundle.md new file mode 100644 index 00000000..3be61299 --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/lesson-bundle.md @@ -0,0 +1,83 @@ +# Lesson bundle — add-a-hi-check-gate-to-ci + +Material for folding this change's lessons into the affected specs' `context.md`. +Synthesise from what actually happened below; do not restate the change description. + +## What this change was + +- **Title**: Add a hi check gate to CI +- **Kind**: Operations +- **Specs**: github +- **Paths**: .github/workflows/ci.yml, Cargo.lock +- **Acceptance**: A full CI run executes hi check over hi/*.md and fails the job when a file is structurally broken (duplicate id, case with no parent, id colliding with a retired one, malformed id, undeclared family, stranded criterion). A pull request touching only hi/** triggers ci.yml and reaches the required gate rather than waiting forever on a status that is never reported. The hi-check job is a dependency of implementation-gate and of the corvid-pet scoped-review job, so a structural break blocks merge and cannot post a passing review. The installed binary is human-intent pinned to 0.5.0 with --locked. Cargo.lock pins rustls at >=0.23.45 so cargo audit is not red on RUSTSEC-2026-0285. + +## Evidence + +- Verification commit: `eaa314dc7db032276303eea1aa0ac084272f9608` +- Base commit: `64abf58182ab222d2415d7ffcffabc9b0c8ed151` +- Verified by: `specsync check --spec github` + +## From the change's context.md + +# Context + +This repository now records its product intent with `hi` (human intent): 159 criteria +across 11 families under `hi/`, plus `INTENT.md`. Those files are the layer above the +canonical specs. A criterion is a plain sentence with a permanent id, and the one thing +`hi` guarantees is that an id is permanent and never reused. + +Nothing was validating them. `hi check` catches exactly six structural problems: a +duplicate id, a case with no parent, an id colliding with a retired one, an id-shaped line +that is not a valid id, a family a file never declared, and a criterion stranded outside +every section. Three of those can otherwise go unnoticed indefinitely, because a broken +`hi/*.md` still renders as perfectly ordinary markdown in review. + +What a session picking this up needs to know: + +- `hi check` never fails on unfinished intent, only on a structurally broken file. A + criterion that is false today is correct `hi`: it means the code has not arrived yet. + This gate therefore cannot go red because somebody wrote down a want that is not built. +- The pin matters. `hi` 0.5.0 changed what `hi check` reads: a file in `hi/` whose name is + not lowercase is hi's own rather than criteria. Pinning an older version would check + these files with rules the tool no longer has, so the install is pinned to `0.5.0` with + `--locked` rather than floating. +- `hi-check` also belongs in the corvid-pet job's `needs` and status table. Otherwise a + structurally broken `hi/*.md` can still receive a passing scoped-review comment while + `implementation-gate` is the only thing that blocks merge. +- `Cargo.lock` is a meaningful path. rustls 0.23.38 is RUSTSEC-2026-0285 (upgrade to + >=0.23.45); without that bump every full CI run fails `cargo audit` before the new gate + can be the story. +- `.github/` is a meaningful path under `require_change_for_meaningful_files`, which is why + this change record exists. The lifecycle gate found the uncovered path before merge. + +## From the change's testing.md + +# Testing + +Verified before review: + +- `hi check` passes locally on this branch: `159 criteria · 11 families · 11 files`, + exit 0, under the pinned `hi` 0.5.0. +- The pin resolves: `human-intent` 0.5.0 is published on crates.io and ships a + `Cargo.lock`, so `--locked` cannot fail for want of a lockfile. +- The workflow still parses as YAML and reports the expected job count. +- The repository's own CI meta-validators pass: `validate-workflow-runtime-pins.py` and + `validate-release-version.py` both exit 0. +- `cargo audit` exits 0 on the bumped lockfile (rustls 0.23.45); the remaining + `instant` unmaintained advisory is already allowed. +- The same step shape already ran green on a clean hosted runner in a sibling repository, + so the install path is proven rather than assumed. + +Verified by CI on this pull request: + +- `hi-check` runs on a full run and reports success. +- `implementation-gate` and the corvid-pet scoped-review job list `hi-check` among + their dependencies. + +Negative case worth exercising once by hand, since no automated test covers it here: +introduce a duplicate id into any `hi/*.md`, confirm `hi check` exits non-zero and that +`implementation-gate` consequently fails. Revert afterwards. + +## Where these lessons go + +- `specs/github/context.md` diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/plan.md b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/plan.md similarity index 100% rename from .specsync/changes/add-a-hi-check-gate-to-ci/plan.md rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/plan.md diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review-attempts.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review-attempts.json new file mode 100644 index 00000000..3a646bed --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review-attempts.json @@ -0,0 +1,21 @@ +{ + "schema_version": 1, + "reviews": [ + { + "schema_version": 2, + "change_id": "add-a-hi-check-gate-to-ci", + "reviewer": "0xLeif", + "provenance": { + "schema_version": 1, + "provider": "github_actions_check", + "required_check": "SpecSync scoped review" + }, + "verdict": "pass", + "implementation_commit": "eaa314dc7db032276303eea1aa0ac084272f9608", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "timestamp": 1789840125 + } + ] +} diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review.json new file mode 100644 index 00000000..af22bc4b --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/review.json @@ -0,0 +1,16 @@ +{ + "schema_version": 2, + "change_id": "add-a-hi-check-gate-to-ci", + "reviewer": "0xLeif", + "provenance": { + "schema_version": 1, + "provider": "github_actions_check", + "required_check": "SpecSync scoped review" + }, + "verdict": "pass", + "implementation_commit": "eaa314dc7db032276303eea1aa0ac084272f9608", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "timestamp": 1789840125 +} diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/state.json similarity index 97% rename from .specsync/changes/add-a-hi-check-gate-to-ci/state.json rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/state.json index c4f3fea1..00ddf5e3 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/state.json +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/state.json @@ -7,11 +7,11 @@ "title": "Add a hi check gate to CI", "description": "Add a hi check gate to CI", "kind": "operations", - "state": "verifying", + "state": "archived", "canonical_applied": true, "base_commit": "64abf58182ab222d2415d7ffcffabc9b0c8ed151", "created_at": 1789600922, - "updated_at": 1789839675, + "updated_at": 1789840695, "affected_specs": [ "github" ], diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/testing.md b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/testing.md similarity index 100% rename from .specsync/changes/add-a-hi-check-gate-to-ci/testing.md rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/testing.md diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification-attempts.json similarity index 54% rename from .specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json rename to .specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification-attempts.json index e89adbec..d5d0aafd 100644 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification-attempts.json +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification-attempts.json @@ -112,6 +112,98 @@ } ], "requirement_ids": [] + }, + { + "timestamp": 1789839673, + "commit": "eaa314dc7db032276303eea1aa0ac084272f9608", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "acceptance_input_digest": "70d7b5889987d50c6aa9164f796ca061e7c8c1aa5f73fb803f1565b0ed373281", + "acceptance_manifest": { + "schema_version": 1, + "entries": [ + { + "path": ".github/workflows/ci.yml", + "kind": "file", + "mode": 33188, + "payload_digest": "0e2c7bc76450689718879c172a6cec24c0c5d4f108b03d5f3876a1ab82e0f3f4", + "entry_digest": "b59d92da2dcb4b0f70ccab2aabf5ab445f86e6e86b27dd0d630f94167edeb1c9", + "owners": [ + "@exact:delivery" + ] + }, + { + "path": "Cargo.lock", + "kind": "file", + "mode": 33188, + "payload_digest": "7edfbeae8a3744dd97e8cf416003a248501279bcc3513da915e03ef7c82e9883", + "entry_digest": "4664fa84599f2369343adb26b123cdaf5a9d56b48605aeae3abdc973876798ac", + "owners": [ + "@exact:delivery" + ] + }, + { + "path": "specs/github/context.md", + "kind": "file", + "mode": 33188, + "payload_digest": "e977b21fb1078a03285c824030fca254ceba910049381052876310e157c19ade", + "entry_digest": "b1e1631c653c9a52976a0bbc80676e6a2210e03bc306dbb7679f224fc753152c", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/github.spec.md", + "kind": "file", + "mode": 33188, + "payload_digest": "90c643e551216d8c000b8a6a3f1e083a0abad123f21442ca8ccbc6d4d0ecf650", + "entry_digest": "28393d458d5232b18fc8fad93386dda0e410c3df7eed500588e59c428fa8832a", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/requirements.md", + "kind": "file", + "mode": 33188, + "payload_digest": "d7cd1ac4e2d1cc938a988760dd62cd80c9233dd138c16f1ee3884f88020d41c4", + "entry_digest": "ff4af5772d0b6d06e48736e84552a3887e87c1e30db473a828b85028d86d645a", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/tasks.md", + "kind": "file", + "mode": 33188, + "payload_digest": "4237dfaf97f01751967f39728ffb4e5849d580c1c01b35d7b755b051650aa161", + "entry_digest": "f936d9241175f55b05ea8cc31f7d72c1a3ad8873691245ff1816b98237d464de", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/testing.md", + "kind": "file", + "mode": 33188, + "payload_digest": "c35fa090ef29c15f1bdc75675c09508c48be3545ef523683dcc31ff3985752bf", + "entry_digest": "a9d07955c49b8247d45470b4aa4e30bfdde0fff5c96c858c1e974af51ab112af", + "owners": [ + "github" + ] + } + ] + }, + "passed": true, + "commands": [ + { + "command": "specsync check --spec github", + "success": true, + "exit_code": 0 + } + ], + "requirement_ids": [] } ] } diff --git a/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification.json b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification.json new file mode 100644 index 00000000..4ae775df --- /dev/null +++ b/.specsync/archive/changes/2026-09-19-add-a-hi-check-gate-to-ci/verification.json @@ -0,0 +1,92 @@ +{ + "timestamp": 1789839673, + "commit": "eaa314dc7db032276303eea1aa0ac084272f9608", + "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", + "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", + "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", + "acceptance_input_digest": "70d7b5889987d50c6aa9164f796ca061e7c8c1aa5f73fb803f1565b0ed373281", + "acceptance_manifest": { + "schema_version": 1, + "entries": [ + { + "path": ".github/workflows/ci.yml", + "kind": "file", + "mode": 33188, + "payload_digest": "0e2c7bc76450689718879c172a6cec24c0c5d4f108b03d5f3876a1ab82e0f3f4", + "entry_digest": "b59d92da2dcb4b0f70ccab2aabf5ab445f86e6e86b27dd0d630f94167edeb1c9", + "owners": [ + "@exact:delivery" + ] + }, + { + "path": "Cargo.lock", + "kind": "file", + "mode": 33188, + "payload_digest": "7edfbeae8a3744dd97e8cf416003a248501279bcc3513da915e03ef7c82e9883", + "entry_digest": "4664fa84599f2369343adb26b123cdaf5a9d56b48605aeae3abdc973876798ac", + "owners": [ + "@exact:delivery" + ] + }, + { + "path": "specs/github/context.md", + "kind": "file", + "mode": 33188, + "payload_digest": "e977b21fb1078a03285c824030fca254ceba910049381052876310e157c19ade", + "entry_digest": "b1e1631c653c9a52976a0bbc80676e6a2210e03bc306dbb7679f224fc753152c", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/github.spec.md", + "kind": "file", + "mode": 33188, + "payload_digest": "90c643e551216d8c000b8a6a3f1e083a0abad123f21442ca8ccbc6d4d0ecf650", + "entry_digest": "28393d458d5232b18fc8fad93386dda0e410c3df7eed500588e59c428fa8832a", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/requirements.md", + "kind": "file", + "mode": 33188, + "payload_digest": "d7cd1ac4e2d1cc938a988760dd62cd80c9233dd138c16f1ee3884f88020d41c4", + "entry_digest": "ff4af5772d0b6d06e48736e84552a3887e87c1e30db473a828b85028d86d645a", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/tasks.md", + "kind": "file", + "mode": 33188, + "payload_digest": "4237dfaf97f01751967f39728ffb4e5849d580c1c01b35d7b755b051650aa161", + "entry_digest": "f936d9241175f55b05ea8cc31f7d72c1a3ad8873691245ff1816b98237d464de", + "owners": [ + "github" + ] + }, + { + "path": "specs/github/testing.md", + "kind": "file", + "mode": 33188, + "payload_digest": "c35fa090ef29c15f1bdc75675c09508c48be3545ef523683dcc31ff3985752bf", + "entry_digest": "a9d07955c49b8247d45470b4aa4e30bfdde0fff5c96c858c1e974af51ab112af", + "owners": [ + "github" + ] + } + ] + }, + "passed": true, + "commands": [ + { + "command": "specsync check --spec github", + "success": true, + "exit_code": 0 + } + ], + "requirement_ids": [] +} diff --git a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json b/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json deleted file mode 100644 index 51e750b6..00000000 --- a/.specsync/changes/add-a-hi-check-gate-to-ci/verification.json +++ /dev/null @@ -1,16 +0,0 @@ -{ - "timestamp": 1789839673, - "commit": "6ce0d2c5efa1ea2ea3293a2cb668888baa895121", - "contract_digest": "5bb281fca5bec4abb6827dc13801d09c16d628861b9bf65c9094781330123d53", - "execution_digest": "e6ff9e9b891ff8f8b9f1726b87028b4d4400282493a95f635bb55f8e5709c731", - "workspace_digest": "dfa500a671c82fd523642bf39f26330ed985483aa543f4c082e2bf6151753362", - "passed": true, - "commands": [ - { - "command": "specsync check --spec github", - "success": true, - "exit_code": 0 - } - ], - "requirement_ids": [] -}