hexa-lang/.github/workflows/codegen-bootstrap-sync.yml at main · dancinlab/hexa-lang · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
# codegen-bootstrap-sync.yml — RETIRED (HEXA-CC-ZERO P6).
#
# This gate used to FAIL if any `hexa_<sym>(` C-call shape emitted by a string
# literal in `self/codegen.hexa` was missing from the committed bootstrap
# transpiler `self/native/hexa_cc.c` — catching a "added a direct-call mapping
# to codegen.hexa but forgot to `hexa cc --regen` + commit hexa_cc.c" desync
# (the #1187 farr32 class).
#
# Its PREMISE is now structurally obsolete: `self/native/hexa_cc.c` left git in
# the B9 `.c=0` graduation (#2065 — tracked `.c` = 0) and is a gitignored build
# artifact, ABSENT on every fresh checkout. The gate's `open('self/native/
# hexa_cc.c')` therefore fails on every commit (a removed-invariant false-red),
# and there is no longer a committed bootstrap C seed to diff codegen.hexa
# against. The hand-maintained C seed it guarded no longer exists.
#
# There is no successor committed-artifact freshness invariant: per an explicit
# user decision (2026-05-30) the repo carries ZERO committed transpiler `.c`.
# Both `self/native/hexa_cc.c` (gitignored, locally regenerated via
# `hexa cc --regen`) and the former cold-seed `self/native/hexa_cc_seed.c`
# (REMOVED — HEXA-CC-ZERO P3/P5/P6 withdrawn, #2126 / #2134 / #2179) are absent
# from git, so there is nothing to diff codegen.hexa against. This workflow stays
# a deliberate no-op.

name: codegen-bootstrap-sync

# Retired: never triggers on push/pull_request (the old paths referenced a
# removed file). Kept manually dispatchable only so the workflow name survives
# in history with this rationale. No automatic runs.
on:
  workflow_dispatch:

permissions:
  contents: read

jobs:
  retired:
    name: codegen-bootstrap-sync (RETIRED — hexa_cc.c removed in #2065)
    runs-on: ubuntu-24.04
    timeout-minutes: 1
    steps:
      - name: Explain retirement
        shell: bash
        run: |
          echo "codegen-bootstrap-sync is RETIRED (HEXA-CC-ZERO P6)."
          echo "It diffed self/codegen.hexa string-literal direct-calls against the"
          echo "committed bootstrap C seed self/native/hexa_cc.c, which was removed in"
          echo "#2065 (.c=0 graduation) and is now a gitignored build artifact."
          echo "Per a user decision (2026-05-30) the repo carries ZERO committed"
          echo "transpiler .c (the cold-seed hexa_cc_seed.c was removed), so there"
          echo "is nothing to diff codegen.hexa against — this stays a no-op."