Alan-Jowett / sonde / 23603714985

82%

Build Type

push

github

Committed by web-flow

Commit Message

feat(protocol): carry initial data for .rodata/.data maps (#481) (#511)

* feat(protocol): carry initial data for .rodata/.data maps in program image (#481)

Add MAP_KEY_INITIAL_DATA (key 5) to the program image CBOR format,
allowing the gateway to embed .rodata/.data section content from ELF
files into the program image. The node applies initial data to map
entries after allocation.

Closes #481

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* docs: add requirements, design, and validation for initial map data (#481)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* fix: rustfmt formatting

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address review findings for PR #511

- Validate global section count matches Prevail map_type==0 descriptor
  count in \ingest_elf()\ — return \ElfParseError\ on mismatch instead
  of silently defaulting to empty data (GW-0405 criterion 4)
- Reject non-bstr CBOR type for \initial_data\ (key 5) in
  \ProgramImage::decode()\ with \InvalidFieldType\ (protocol.md §6)
- Add test_p070 (initial data round-trip) and test_p071 (key 5 absent
  when empty) per protocol-crate-validation.md
- Rename spec test IDs T-P067/T-P068 → T-P070/T-P071 to avoid collision
  with existing test functions

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address review findings: encode validation and tests

- Validate map_initial_data.len() == maps.len() in
  ncode_deterministic() to prevent silent length mismatches
  that corrupt program_hash (protocol.md §6).
- Add unit tests for xtract_global_section_data(): .rodata
  extraction (T-0411/GW-0405), .bss empty data (T-0412/GW-0405),
  and non-BPF ELF rejection.
- Add unit tests for MapStorage::apply_initial_data():
  matching size writes entry 0 (T-N617/ND-0607), size mismatch
  is silently skipped (T-N618/ND-0607), empty data is no-op,
  and multi-map scenario.
- Add test_p072 for encode length-mis... (continued)

Coverage Stats

338 of 361 new or added lines in 5 files covered. (93.63%)

1 existing line in 1 file now uncovered.

22496 of 26254 relevant lines covered (85.69%)

160.86 hits per line