Commit 0784b6c
chore(submodule): bump ephapax → 9a4bfdc (PR #34 — L3009 admit closed)
Points to the last merged PR on main. PR #35 (full preservation Qed)
is open and will be a follow-up bump once merged.
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>1 parent 98859cd commit 0784b6c
1 file changed
Lines changed: 1 addition & 1 deletion
- .gitignore+7
- .machine_readable/contractiles/bust/Bustfile.a2ml+28
- .machine_readable/contractiles/bust/bust.ncl+66
- .machine_readable/svc/README.adoc+16
- .machine_readable/svc/k9/ephapax-metadata.k9.ncl
- Cargo.lock+49-13
- Cargo.toml+1
- Justfile+2
- ROADMAP.adoc+4-4
- TEST-NEEDS.md+16-5
- docs/governance/CRG-AUDIT-2026-04-18.adoc+518
- formal/Justfile+20
- formal/Makefile-961
- formal/Makefile.conf+2-2
- formal/Semantics.v+198-4
- formal/Typing.v+5
- src/ast.cmi
- src/ast.cmo
- src/ast.ml+44
- src/ephapax-desugar/src/lib.rs+6-5
- src/ephapax-package/src/manifest.rs+2-1
- src/ephapax-parser/src/lib.rs+4-2
- src/ephapax-parser/src/surface.rs+16-8
- src/lexer.ml+558
- src/lexer.mll+30
- src/parser.cmi
- src/parser.ml+1.1k
- src/parser.mli+41
- src/parser.mly+95
- src/typecheck.cmi
- src/typecheck.cmo
- src/typecheck.ml+128
- test/test_choreo.eph+27
- test/test_typecheck.ml+83
- test_minimal.cmi
- test_minimal.cmo
- test_minimal.ml+20
- tests/fuzz/.gitignore+16
- tests/fuzz/Cargo.lock+637
- tests/fuzz/Cargo.toml+28
- tests/fuzz/FUZZING_GUIDE.md+131
- tests/fuzz/README.md+84
- tests/fuzz/placeholder.txt-1
- tests/fuzz/run_fuzz.sh+34
- tests/fuzz/src/lib.rs+9
- tests/fuzz/src/parse_fuzzer/lib.rs+17
- tests/fuzz/src/typecheck_fuzzer/lib.rs+21
- tools/ephapax-dap/src/main.rs+9-7
0 commit comments