Add typed native Linux/libc vocabulary - #13

Merged

isomorphisms merged 24 commits into

phone/armv7-runtimefrom

native/linux-libc-vocabulary

Sep 16, 2026

Commits on Sep 10, 2026

Pin Grease native libc vocabulary source
isomorphisms
committed
dab0d07
ci: expose native diagnostics and run libc test
isomorphisms
committed
f0b27ae
Pin current native libc source and diagnostics
isomorphisms
committed
cb40194

Commits on Sep 11, 2026

native CI: repair translated bridge and host build handoff
isomorphisms
committed
26e79e3
native CI: run only focused libc bridge tests
isomorphisms
committed
efa6342
Pin translator-safe native libc boundary
isomorphisms
committed
3547222
Pin scoped native libc implementation
isomorphisms
committed
983120a
Exercise file-backed mapping from Grease
isomorphisms
committed
dfa8f58
Exercise native actions from Grease syntax
isomorphisms
committed
3e61bf3
Document the narrow native libc boundary
isomorphisms
committed
bfe9f10
Pin protection-aware native mappings
isomorphisms
committed
24e5ebc
Use call-site syntax for native named arguments
isomorphisms
committed
dc78e1e
ci: run Oils cpp-spec natively on Debian
isomorphisms
committed
c8b2c70
ci: build ARMv7 runtime natively from Debian
isomorphisms
committed
c66220f
ci: make Debian ARMv7 dependencies explicit
isomorphisms
committed
73eaea6
ci: keep fork PRs off Debian receipt runner
isomorphisms
committed
2d59688
ci: keep fork PRs off Debian ARMv7 runner
isomorphisms
committed
958b342

Commits on Sep 14, 2026

ci: return native libc receipt to hosted Ubuntu
isomorphisms
committed
aee2364
ci: return ARMv7 build to hosted Ubuntu
isomorphisms
committed
30d14fb
Merge phone/armv7-runtime into native Linux libc vocabulary
isomorphisms
committed
5877522
Fix ARM ELF receipt checks under pipefail
isomorphisms
committed
8e5a562
Provision readline for hosted libc receipt
isomorphisms
committed
9985a12
Reuse cpp-spec YSH for mapped IB receipt
isomorphisms
committed
758f9ad

Commits on Sep 16, 2026

Reconcile ARM runtime verifier with base
isomorphisms
committed
ef9c740