Implement Zag Script, zagd planning, and Linux x86 milestones - #2

Open

micahcooley wants to merge 452 commits into

mainfrom

zag-v2-machine-control

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 19, 2026

zagd: wire persisted incremental records
micahcooley
committed
dea45c8
zagd: persist declaration dependency fingerprints
micahcooley
committed
d2e3d84
zagd: invalidate declaration reordering conservatively
micahcooley
committed
9e79ec6
zagd: fail closed unsafe deep benchmarks
micahcooley
committed
7c5449c
script: reject obvious lifetime escapes
micahcooley
committed
0a73837
i686: add bounded byte-slice ABI
micahcooley
committed
313a899
zagd: add bounded direct finalist executor
micahcooley
committed
0451187
explain: report hidden copies explicitly
micahcooley
committed
76ab411
zagd: integrate bounded deep finalist measurements
micahcooley
committed
91fac29
script: keep bounded lifetime check within compiler limits
micahcooley
committed
36004e0
test: isolate bootstrap fixpoint from advisory services
micahcooley
committed
4369c52
test: bound deep planner product verification
micahcooley
committed
54051d4
explain: defer hidden copy facts past memory cliff
micahcooley
committed
f9c7021
test: accept capability-aware explain memory facts
micahcooley
committed
de8ae3c
bootstrap: refresh merged compiler and planner seeds
micahcooley
committed
2a0641e
test: isolate native authority from advisory analysis
micahcooley
committed
c260fe6
semantic-manifest: build witnesses with append buffers to fix OOM

micahcooley
and
codesmith-bot
committed
0d497a8
optimizer: bound pass memory growth
micahcooley
committed
be150f6
compiler: bound self-analysis manifest memory
micahcooley
committed
77f6dbc
test: bound self-host memory regression runs
micahcooley
committed
d37cc5a
bootstrap: refresh merged bounded-memory seed
micahcooley
committed
4f420bf
i686: link multiple ELF32 objects and archives
micahcooley
committed
4c769d9
docs: define i686 multi-object linker boundary
micahcooley
committed
33a64de
i686: reject unsupported ELF32 symbol models
micahcooley
committed
b219196
cache: reuse revalidated foreground machine code
micahcooley
committed
fbf590c
script: enforce bounded accounting and helper lifetimes
micahcooley
committed
9541e75
bootstrap: refresh cache lifetime and i686 seed
micahcooley
committed
0fceb9c
zagd: enforce quiet user service resource limits
micahcooley
committed
c189bcd
docs: describe authoritative foreground cache boundary
micahcooley
committed
771f815
planner: ingest exact keyed hot profiles
micahcooley
committed
1d82616
i686: add imported allocation runtime tranche
micahcooley
committed
fa3ba24
script: align charged storage and error witnesses
micahcooley
committed
a07567c
i686: reject allocation size overflow
micahcooley
committed
388b5fa
bootstrap: refresh planner daemon binary
micahcooley
committed
5ddc69c
parser: canonicalize import identity across compiler paths
micahcooley
committed
8cc7a76
script: release temporary file-read staging
micahcooley
committed
8fed02c
zagd: persist project incremental index
micahcooley
committed
5b7e8a1
zagd: raise default service memory cap
micahcooley
committed
0a67e9e
native: use SSE2 chunks for runtime memcpy
micahcooley
committed
f1c6723
script: test file-read failure accounting
micahcooley
committed
45d35ff
i686: separate linked text and data segments
micahcooley
committed
da23547
native: route memcpy through SSE2 runtime
micahcooley
committed
d2d7925
bootstrap: refresh compiler after x86 wave
micahcooley
committed
0edb5c8

Commits on Jul 20, 2026

harden native linker input validation
micahcooley
committed
edfc671
i686: validate linked object metadata
micahcooley
committed
27b75b8
add trailing zero native lowering
micahcooley
committed
49b3b35
native: add BMI1 trailing-zero dispatch
micahcooley
committed
f3acd20
zagd: ignore non-source filesystem churn
micahcooley
committed
a8cfa0c
native: define trailing zero fallback for zero
micahcooley
committed
cd7a5c0
bootstrap: refresh compiler after safety dispatch wave
micahcooley
committed
e8c5d80
zagd: preserve explicit root authority
micahcooley
committed
954cc7f
script: analyze switch control flow for lifetime safety
micahcooley
committed
93f564c
script: track arena values nested in aggregates
micahcooley
committed
533cf1f
bootstrap: refresh compiler after aggregate lifetime checks
micahcooley
committed
eba6efe
script: propagate arena lifetime through local assignments
micahcooley
committed
6788a4e
tests: avoid duplicate authority self-rebuild
micahcooley
committed
c3016a6
script: account for aggregate root allocations
micahcooley
committed
e6e0ed9
script: preserve lifetime through switch expressions
micahcooley
committed
720608f
zagd: record nested semantic call dependencies
micahcooley
committed
0b389f4
zagd: stop cleanly on daemon memory exhaustion
micahcooley
committed
a4f145d
ast: record parsed declaration module origin
micahcooley
committed
840d319
script: reject uncharged reachable helper allocations
micahcooley
committed
1bcccf4
script: reject uncharged helper new allocations
micahcooley
committed
aaa3ae7
script: reject raw allocator helper paths
micahcooley
committed
86e23e3
script: report enforced allocation boundaries
micahcooley
committed
a15aef8
v2: reject direct use after free
micahcooley
committed
1df4c9a
v2: track direct ownership aliases
micahcooley
committed
ba0e3aa
v2: track direct frees through control flow
micahcooley
committed
659dda0
v2: require release or return for direct ownership
micahcooley
committed
5a22ff0
zagd: publish watcher and cache telemetry
micahcooley
committed
0f1d446
v2: preserve ownership transfer through aliases
micahcooley
committed
21cf3fc
v2: enforce explicit consuming call contracts
micahcooley
committed
511e74e

Commits on Jul 21, 2026

Make Zag Script println accept integer expressions
micahcooley
committed
5d936f3

Commits on Jul 23, 2026

v2: harden borrow aliases and zagd telemetry
micahcooley
committed
8d65f37
script: add beginner collection conveniences
micahcooley
committed
e71af1e

Commits on Jul 24, 2026

zagd: align manifest hashing with script activation
micahcooley
committed
85e5a5b
Fix script parser + add python-shaped script normalization and tests
micahcooley
committed
0ca65f3
znc: drop nonexistent PlannerConfig.max_memory_bytes zagd flag

micahcooley
and
codesmith-bot
committed
ae9d522
zagd: harden watcher and service resource policy
micahcooley
committed
21690c6
Merge remote-tracking branch 'origin/zag-v2-machine-control' into zag-v2-machine-control
micahcooley
committed
b361799
znc: forward configured zagd memory budget
micahcooley
committed
6d662ce
v2: harden allocation ownership and daemon cleanup
micahcooley
committed
31f89f3
v2: enforce ownership flow contracts
micahcooley
committed
2cbce1c
runtime: harden allocator double free detection
micahcooley
committed
b5be557
runtime: reject stale realloc ownership
micahcooley
committed
a28fa9d

Commits on Jul 25, 2026

Commits on Jul 26, 2026

Add checked heap bounds instrumentation
micahcooley
committed
c1000d6
Harden checked allocator lifetime boundaries
micahcooley
committed
b4ab607
Model realloc ownership transfers
micahcooley
committed
3c2db53
Exercise v2 callback and global boundaries
micahcooley
committed
60e78da
Cover checked realloc stale pointers
micahcooley
committed
52c0756
Add owned scalar callback environments
micahcooley
committed
40e2b08
tests: reject escaping closure via pointer capture

micahcooley
and
codesmith-bot
committed
0c0f228
Add bounded scalar v2 globals
micahcooley
committed
cdd43f9
Add bounded memory sanitizer mode
micahcooley
committed
9291f18
Track raw slices in checked provenance
micahcooley
committed
a09d495
Permit checked pointer globals
micahcooley
committed
008dbcc
Keep release sanitizer blocker accurate
micahcooley
committed
f2f20b1
Specify v2 allocator handle contract
micahcooley
committed
f78e570
Keep v2 pointer-global docs accurate
micahcooley
committed
defb25f
Cover v2 global lifetime escape rejection
micahcooley
committed
056e4ca
Cover released v2 raw slices
micahcooley
committed
b518b1f
native: scope aggregate closure-capture rejection to edition 2027

micahcooley
and
codesmith-bot
committed
dbd675d
Add checked v2 SystemAllocator handles
micahcooley
committed
b43601e
Track v2 Allocation generations
micahcooley
committed
9eee729
Validate replacement Allocation generations
micahcooley
committed
fdf0747
Add zeroed v2 allocator handles
micahcooley
committed
a277efd
Add checked v2 allocator resize
micahcooley
committed
997d221
Validate dynamic v2 allocator alignment
micahcooley
committed
f8c26f3
Cover v2 Allocation callback and global escapes
micahcooley
committed
c2de787
Correct v2 allocator readiness documentation
micahcooley
committed
b2522d0
Advance v2 ABI concurrency and release evidence
micahcooley
committed
5d86d1b
Harden v2 ABI target and callback effects
micahcooley
committed
bee0944
Fail closed on unsupported v2 object ABI
micahcooley
committed
feaa77b
Add bounded v2 atomic load and store
micahcooley
committed
5e8df05
Harden bounded atomic value typing and docs
micahcooley
committed
e386286
Strengthen allocator and ownership boundaries
micahcooley
committed
0aeb61e
Refresh self-hosted compiler after safety gates
micahcooley
committed
a28498d
Verify allocator telemetry and reject unsupported safety modes
micahcooley
committed
aee544c
Harden indirect effects and dynamic C ABI evidence
micahcooley
committed
e76797e
Document bounded indirect effect propagation
micahcooley
committed
9f37d0b
Add bounded v2 atomic compare-exchange
micahcooley
committed
9ce1eae
Advance bounded v2 atomic and lifetime contracts
micahcooley
committed
c1d775a
Advance bounded atomic and ABI safety boundaries
micahcooley
committed
b9d86d4
Tighten consume lifetime and linker output boundaries
micahcooley
committed
cf386fc
Fail closed on unsupported export controls
micahcooley
committed
750f1b2
Harden pointer ordering and debug output boundaries
micahcooley
committed
bfe7f76
Add bounded atomic bitwise operations
micahcooley
committed
a84cca6
Harden allocator and volatile safety boundaries
micahcooley
committed
c8afebd
Fail closed on sanitizer and allocator hooks
micahcooley
committed
1ca61c1
Harden linker controls and allocator identity
micahcooley
committed
e1a4d38
Fail closed on CPU controls and stale resize handles
micahcooley
committed
cd12fac
Reject silent target feature controls
micahcooley
committed
113dfd6
Add byte-swap intrinsic and opaque pointer guards
micahcooley
committed
7bbc587
Add leading-zero intrinsic evidence
micahcooley
committed
de2d00e
Add verified prefetch and address-space guards
micahcooley
committed
3bbe813
Expand allocator identity and volatile MMIO widths
micahcooley
committed
1239aba
Add sanitizer free poisoning evidence
micahcooley
committed
32353d0
Add bounded atomic orders and ABI stack evidence
micahcooley
committed
3d52184
Add bounded SIMD callbacks and effect guards
micahcooley
committed
d86f65a

Commits on Jul 27, 2026

Reject host effects in GPU kernels
micahcooley
committed
37ea3b8
Validate atomic RMW and CAS memory orders
micahcooley
committed
4f048a7
Bind allocator handles to their receiver
micahcooley
committed
f217a31
Update atomic release support matrix
micahcooley
committed
f9c622a
Add constrained x86-64 C ABI object exports
micahcooley
committed
9512160
Generate C ABI test harness at runtime to keep tree pure Zag

micahcooley
and
codesmith-bot
committed
1ba11a6
Align GPU runtime docs with direct DRM boundary
micahcooley
committed
a455eb0
Preserve try-wrapped borrow identity
micahcooley
committed
e8721d9
Lay fixed-buffer runtime foundation
micahcooley
committed
d0228b8
Harden fixed-buffer retained-owner handoff
micahcooley
committed
5b2c758
Harden fixed-buffer runtime authority
micahcooley
committed
04bc0d2
Permit linear fixed-buffer block access
micahcooley
committed
675f0ae
Rebuild compiler for fixed-buffer blocks
micahcooley
committed
b8f60b4
Track fixed-buffer reset generations
micahcooley
committed
ee81fbe
Add typed atomic fence orders
micahcooley
committed
0c25fc9
Align atomic release-gate evidence
micahcooley
committed
fc73cb2
Revalidate fixed-buffer backing on access
micahcooley
committed
29cafe6
Rebuild compiler for fixed-buffer backing checks
micahcooley
committed
cc99b30
Correct fixed-buffer allocator documentation
micahcooley
committed
e34fe33
Harden fixed-buffer runtime authority
micahcooley
committed
67dfa4b
Correct fixed-buffer memory-model status
micahcooley
committed
4e6ec3e
Add bounded retained arena allocator
micahcooley
committed
523a372
Tighten sanitizer logical allocation bounds
micahcooley
committed
e62e1de
Document sanitizer logical bounds in release gate
micahcooley
committed
0460a6f
Add bounded MMIO region authority
micahcooley
committed
aee2c18
Correct v2 x86 target support status
micahcooley
committed
8c11157
Guard checked raw pointer index overflow
micahcooley
committed
0c15d4d
Rebuild compiler after raw index safety fix
micahcooley
committed
cb59669
Guard large sanitizer allocations
micahcooley
committed
5bff3cd
Clarify unimplemented concurrency contracts
micahcooley
committed
4c72b1f
Document sanitizer guard-page coverage
micahcooley
committed
2a450ac
Refresh sanitizer support evidence
micahcooley
committed
2aed90d
Add guarded Linux futex primitives
micahcooley
committed
81d4cc5
Clarify native compiler and C bridge
micahcooley
committed
0cb04e8
Mark unsupported thread runtime sketches
micahcooley
committed
4517016
Add guarded Linux thread spawn and join
micahcooley
committed
b4d2f2d
Verify thread stack guard page
micahcooley
committed
bbc37d3
Add direct C ABI object import relocations
micahcooley
committed
64a9e23
Add compiler-reserved AtomicI64 storage
micahcooley
committed
11bc815
Track SystemAllocator deallocation in lifetime flow
micahcooley
committed
e62071c
Track SystemAllocator resize ownership transfer
micahcooley
committed
048668c
Reject direct Allocation handle copies
micahcooley
committed
95c1ee5
Make allocation handles opaque
micahcooley
committed
189fa1e
Stabilize v2 release gate bootstrap
micahcooley
committed
47ca473
Reject borrowed aggregate escapes
micahcooley
committed
b7bc504
Reject borrowed field escapes
micahcooley
committed
80d29c6
Correct v2 support matrix evidence
micahcooley
committed
7ebd201
Preserve possible borrows across control flow
micahcooley
committed
6b019d8
Cover borrow joins across loop and switch
micahcooley
committed
58eacd1
Support f64 dynamic C ABI imports
micahcooley
committed
237845a
Remove aggregate provenance depth cap
micahcooley
committed
0875a66
Add checked SSE2 i32x4 subtraction
micahcooley
committed
5303598
Support scalar thread worker arguments
micahcooley
committed
133f1d0
Strengthen multi-owner lifetime contracts
micahcooley
committed
9bcc932
Support affine allocation helper returns
micahcooley
committed
6f70dc2
Prove affine allocation helper returns
micahcooley
committed
a885df6
Reject leaking allocation producer helpers
micahcooley
committed
027084c
Update self-hosted compiler artifact
micahcooley
committed
f6dc970
Track local affine allocation returns
micahcooley
committed
1ec4821
Update local-flow compiler artifact
micahcooley
committed
4529a47
Track multi-local affine allocation flow
micahcooley
committed
1ed89f8

Commits on Jul 29, 2026

Prove affine allocation branch returns
micahcooley
committed
905f0e9
Fail closed opaque effect calls
micahcooley
committed
f3e4a2f
Prove consuming owner return transfers
micahcooley
committed
ade068b
Preserve ownership through fallible transfers
micahcooley
committed
51cee64
Track aggregate owner return transfers
micahcooley
committed
3e505bd
Enforce affine aggregate allocation handles
micahcooley
committed
ad768e9
Track aggregate allocation resize transfers
micahcooley
committed
a8e0c08
Transfer allocation owners through verified helpers
micahcooley
committed
7b26262
Add checked SSE2 bitwise vector intrinsics
micahcooley
committed
d6ab28d
Separate atomic FFI and GPU effects
micahcooley
committed
245494c
Verify aggregate and method effect rows
micahcooley
committed
1393ca3
Add checked small-allocation red zones
micahcooley
committed
3b36c9e
Quarantine checked allocator address reuse
micahcooley
committed
6a79747

Commits on Jul 30, 2026

Split ncodegen into modules and add GPU shader backend emitters

micahcooley
and
devin-ai-integration[bot]
committed
21e2d04
V2 edition improvements, SIMD bitwise ops, sema/typed enhancements

micahcooley
and
devin-ai-integration[bot]
committed
7c606a9
Accept fallible results stored into error-union slots

micahcooley
and
codesmith-bot
committed
5a797e7
Lower _zag_str_free in the arm64 backend

micahcooley
and
codesmith-bot
committed
67cad46

Commits on Aug 14, 2026

Complete deterministic resource embedding
micahcooley
committed
f61e940
Fix aggregate switch value lowering
micahcooley
committed
b1ab753
Improve v2 edition source diagnostics
micahcooley
committed
3bbf841
Add checksum and stored zlib primitives
micahcooley
committed
e5f66bb
Add general zlib inflate support
micahcooley
committed
1d99f87
Support generic numeric pointer slices
micahcooley
committed
886cac9
Fix nested System V calls and memory-class aggregates
micahcooley
committed
470eeee
Cover imported nested aggregate returns
micahcooley
committed
bf62b8d
Resolve declared local package imports
micahcooley
committed
1307435
Reject non-relative package roots
micahcooley
committed
56ab67a
Implement explicit x86-64 C struct layout
micahcooley
committed
c1d9253
Define the native R11 scratch register
micahcooley
committed
e1a1042
Preserve error unions stored in struct fields
micahcooley
committed
6254ec8
Add parameter-local lifetime contracts
micahcooley
committed
35eb9e2
Refine parameter borrow propagation
micahcooley
committed
5ed965a
Resolve error literals after local bindings
micahcooley
committed
9a04ac5
Support call-duration slice borrows
micahcooley
committed
a4a22e0
Declare generic list mutation borrows
micahcooley
committed
c40e91a
Preserve annotated declaration metadata
micahcooley
committed
df5cbff
Add edition 2027 resource contract syntax
micahcooley
committed
9e010a6
v2: advance self-hosted compiler and bootstrap artifacts
micahcooley
committed
05ecc87
v2: add typed standard-library services
micahcooley
committed
12262dc
v2: expand conformance and reference test suites
micahcooley
committed
6aef991
v2: add unified typed driver contract and QEMU evidence
micahcooley
committed
6bdc965
v2: document and package the release
micahcooley
committed
047f226
ci: keep incomplete capability matrix out of release gate
micahcooley
committed
4b19a9c

Commits on Aug 23, 2026

ci: fix native authority bootstrap matcher
micahcooley
committed
d58d71a
chore: install one-shot import visibility repair
micahcooley
committed
abed8aa