Commit 855750d
chore(submodules): advance affinescript, ephapax, my-lang pointers
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent c7cb81d commit 855750d
3 files changed
Lines changed: 3 additions & 3 deletions
- .github/workflows/rust-ci.yml+39
- EXPLAINME.adoc+27
- Justfile+31-27
- PROOF-NEEDS.md+5-4
- ROADMAP.adoc+6-6
- TEST-NEEDS.md+5-4
- ephapax-proven-ffi/.machine_readable/6a2/ECOSYSTEM.a2ml+20-79
- ephapax-proven-ffi/.machine_readable/6a2/META.a2ml+27-186
- ephapax-proven-ffi/.machine_readable/6a2/STATE.a2ml+76-208
- ephapax-proven-sys/.machine_readable/6a2/AGENTIC.a2ml+33-15
- ephapax-proven-sys/.machine_readable/6a2/ECOSYSTEM.a2ml+20-69
- ephapax-proven-sys/.machine_readable/6a2/META.a2ml+27-109
- ephapax-proven-sys/.machine_readable/6a2/NEUROSYM.a2ml+20-12
- ephapax-proven-sys/.machine_readable/6a2/PLAYBOOK.a2ml+26-13
- ephapax-proven-sys/.machine_readable/6a2/STATE.a2ml+58-138
- ephapax-proven/.machine_readable/6a2/ECOSYSTEM.a2ml+20-73
- ephapax-proven/.machine_readable/6a2/META.a2ml+27-155
- ephapax-proven/.machine_readable/6a2/STATE.a2ml+45-223
- formal/Semantics.v+13-1
- scripts/status-gate.sh+54
- opsm.toml+23
- playground/.machine_readable/6a2/AGENTIC.a2ml+33-15
- playground/.machine_readable/6a2/ECOSYSTEM.a2ml+19-13
- playground/.machine_readable/6a2/META.a2ml+27-14
- playground/.machine_readable/6a2/NEUROSYM.a2ml+20-12
- playground/.machine_readable/6a2/PLAYBOOK.a2ml+26-13
- playground/.machine_readable/6a2/STATE.a2ml+32-44
- playground/hives/duet/.machine_readable/6a2/ECOSYSTEM.a2ml+17-31
- playground/hives/duet/.machine_readable/6a2/META.a2ml+26-23
- playground/hives/duet/.machine_readable/6a2/STATE.a2ml+33-34
- playground/hives/ensemble/.machine_readable/6a2/ECOSYSTEM.a2ml+17-31
- playground/hives/ensemble/.machine_readable/6a2/META.a2ml+26-23
- playground/hives/ensemble/.machine_readable/6a2/STATE.a2ml+33-33
- playground/hives/solo/.machine_readable/6a2/ECOSYSTEM.a2ml+17-31
- playground/hives/solo/.machine_readable/6a2/META.a2ml+26-23
- playground/hives/solo/.machine_readable/6a2/STATE.a2ml+33-34
0 commit comments