Alan-Jowett / sonde / 24470795406
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 112
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 80.383%. Remained the same
24470795406

push

github

web-flow 
docs(bpf): update spec for Context write behavior and `Memory` region tag (#723)

* docs(bpf): update spec for Context write behavior and `Memory` region tag

§2.2: Add `Memory` variant to `RegionTag` enum — writable input
memory that allows stores, unlike read-only `Context`.

§3.2: Update `mem_store` pseudocode to match implementation and
ND-0505 AC6: Context writes are bounds-checked but silently ignored
(return `Ok(())`), not rejected with `ReadOnlyWrite`.

§3.3: Update atomics description to reflect that Context writes
suppress the store while preserving FETCH/CMPXCHG register semantics.

§5: Clarify that `ReadOnlyWrite` is retained in the error enum but
no longer raised for Context writes.

§8: Replace future-work language about mutable input regions with
reference to the existing `Memory` tag.

Closes #692

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* docs(bpf): clarify Context vs Memory selection via `read_only_ctx` flag

Address review feedback: describe `Context` and `Memory` in terms
of the `read_only_ctx` flag rather than implying a separate API
parameter.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* docs(bpf): address review feedback — API signature, Memory tag references, stale patterns

- §10.1: Update `execute_program` signature to match implementation
  (`ctx: &mut [u8]`, `read_only_ctx: bool`, `instruction_budget: u64`)
- §2.3: Add `Memory` to dereferenceable pointer tag list
- §4.3: Include `Memory` in pointer definition
- §3.1: Fix `mem_load` to use `wrapping_add_signed` (matches impl)
- §11.1: Fix stale 'rejects writes to Context' → 'ignores writes'
- §12: Update tag encoding to include `Memory` variant

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* docs(bpf): label pre-tagged API as histo... (continued)

23545 of 29291 relevant lines covered (80.38%)

186.2 hits per line

Jobs
ID Job ID Ran Files Coverage
1 24470795406.1 112
80.38
 GitHub Action Run
Source Files on build 24470795406