ci: refresh stale standards workflow pins (unblock the staleness gate) - #31

Merged

hyperpolymath merged 12 commits into

mainfrom

claude/youthful-fermat-90bhhu

Jun 24, 2026

Commits on Jun 23, 2026

error-lang: replace fabricated ABI "proofs" with machine-checked ones

hyperpolymath
and
claude
committed
450c32a
docs: design Error-Lang as a Trope IR front end (trope-particularity integration)

hyperpolymath
and
claude
committed
52f57e0
docs: qualify external repo paths to clear structural_drift (SD022)

hyperpolymath
and
claude
committed
a3c0df8
compiler: begin ReScript->AffineScript migration — port Types.res

hyperpolymath
and
claude
committed
27571a3
compiler: fix AffineScript module system to unblock the per-module port

hyperpolymath
and
claude
committed
8691fc6
compiler: port Lexer.res -> Lexer.affine

hyperpolymath
and
claude
committed
15480f5

Commits on Jun 24, 2026

compiler: port Cst.res -> Cst.affine (concrete syntax tree + trivia)

hyperpolymath
and
claude
committed
5adb0fb
compiler: port Parser.res -> Parser.affine (recursive-descent parser)

hyperpolymath
and
claude
committed
0f89d0d
compiler: port TypeChecker.res + TypeSuperposition.res -> .affine

hyperpolymath
and
claude
committed
17acf9b
compiler: port Bytecode.res + Codegen.res + VM.res -> .affine

hyperpolymath
and
claude
committed
bfcee30
compiler: port the remaining 8 compiler/src modules -> .affine

hyperpolymath
and
claude
committed
852c215
ci: refresh stale hyperpolymath/standards workflow pins

hyperpolymath
and
claude
committed
619b8f2