Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,11 @@ its committed dependency closure, tracked by `native/provenance.json`.
Preserve callback-local pointer lifetimes, one outstanding request, scoped
generations, acknowledged counts, provider errors and cancellation quarantine.
Keep the native-executor turn budget so ready-only callbacks cannot starve it.
- `crates/host` owns only the host-side facade over the exported `kore-vol`
procedure, never DagFS semantics: no second locate/recover/commit path, no
host-side format writer, no parsing of volume bytes outside the engine. Volumes
are offline; never open one a running machine holds. Behavior changes go to
Kore's `tools/kore-vol` and arrive through `tools/sync-native.py`.
- C headers come from cbindgen 0.29.4; Zig aliases come from those declarations
and target layouts from Zig 0.16.0 translation. Regenerate before checking.
`test-foreign` is a host-test feature; never add a runtime C/Zig build dependency.
Expand Down
Loading
Loading