Commit 7da2d24
chore(submodules): bump pointers for security conformance fixes
Bump submodule pointers to pick up the fix(security) removal of
`eval` from conformance/run_conformance.sh across 4 language repos,
plus the my-lang hygiene fixes commit:
- betlang: e3eaff5..646b500
- error-lang: 10cb351..663f346
- my-lang: 506c0ae..0d46972
- phronesis: c3455cc..7e3142f
- tangle: 8ce7be7..3b39fb5
Each of these bumps also pulls in legitimate upstream work that was
already on the respective submodule's main branch (dependency bumps,
CRG recipes, documentation rewrites, etc.) as a side effect of the
rebase.
Still outstanding after this commit:
- wokelang: on feat/e2e-validation-tests branch, not main.
Conformance fix deferred until branch lands on main.
- affinescript submodule pointer: pre-existing in-progress work,
deliberately NOT bundled with this commit.
Resolves 5 Critical panic-attack CommandInjection findings.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 21064a5 commit 7da2d24
5 files changed
Lines changed: 5 additions & 5 deletions
- .github/workflows/casket-pages.yml+7-7
- .github/workflows/cflite_batch.yml+1-1
- .github/workflows/cflite_pr.yml+1-1
- .github/workflows/codeql.yml+3-3
- .github/workflows/comprehensive-quality.yml+11-11
- .github/workflows/guix-nix-policy.yml+1-1
- .github/workflows/hypatia-scan.yml+2-2
- .github/workflows/jekyll-gh-pages.yml+3-3
- .github/workflows/mirror.yml+14-14
- .github/workflows/npm-bun-blocker.yml+1-1
- .github/workflows/quality.yml+4-4
- .github/workflows/release.yml+7-7
- .github/workflows/rsr-antipattern.yml+1-1
- .github/workflows/scorecard-enforcer.yml+3-3
- .github/workflows/scorecard.yml+3-3
- .github/workflows/secret-scanner.yml+4-4
- .github/workflows/security-policy.yml+1-1
- .github/workflows/test.yml+2-2
- .github/workflows/ts-blocker.yml+1-1
- .github/workflows/wellknown-enforcement.yml+1-1
- .github/workflows/workflow-linter.yml+2-2
- conformance/run_conformance.sh+9-1
Submodule error-lang updated 1 file
- .github/workflows/dogfood-gate.yml+308
- .github/workflows/hypatia-scan.yml+1-2
- .github/workflows/instant-sync.yml+3-1
- .gitignore+4
- ABI-FFI-README.md+26-28
- CHANGELOG.md+52
- Justfile+18
- PROOF-NEEDS.md+41-3
- READINESS.md+47
- README.adoc+119-222
- TEST-NEEDS.md+49
- TOPOLOGY.md+39
- compiler/lib/compositional.ml+418
- compiler/lib/compositional.mli+73
- compiler/lib/parser.mly+8-6
- compiler/tangle-wasm/src/lib.rs+19-5
- compiler/test/dune+1-1
- compiler/test/test_compositional.ml+174
- compiler/test/test_e2e.ml+516
- compiler/test/test_parser.ml+1
- compiler/test/test_property.ml+246
- conformance/run_conformance.sh+11-3
- dialects/README.md+49
- dialects/braid-calculus/README.md+39
- dialects/braid-calculus/grammar-sketch.ebnf+23
- dialects/quantum-circuit/README.md+39
- dialects/quantum-circuit/grammar-sketch.ebnf+29
- dialects/string-diagram/README.md+50
- dialects/string-diagram/grammar-sketch.ebnf+29
- docs/PROOF-REGRESSION-WORKFLOW.adoc+125
- docs/krl_map.html+155
- examples/compositional_pd.tangle+15
- ffi/zig/build.zig+34-62
- ffi/zig/src/main.zig+112-140
- ffi/zig/test/integration_test.zig+43-55
- playground/README.md+42
- playground/examples/figure_eight.tangle+4
- playground/examples/trefoil.tangle+4
- playground/public/index.html+21
- setup.sh+7-5
- src/rust/src/eval.rs+1-11
0 commit comments