From 3dd67c99c3821e89df7108595bbd58a14f3ee453 Mon Sep 17 00:00:00 2001 From: DeFiDude <59237470+DeFiDude@users.noreply.github.com> Date: Sun, 3 May 2026 12:45:13 -0600 Subject: [PATCH] record resource advertisement parse --- .agents/agent-1.md | 4 +++- .agents/integration-queue.md | 3 ++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.agents/agent-1.md b/.agents/agent-1.md index d7a9604..c38d9fc 100644 --- a/.agents/agent-1.md +++ b/.agents/agent-1.md @@ -6,6 +6,7 @@ milestone-7-resource-channel — claimed 2026-05-03T12:52:00Z, ETA active ## Recent claims (rolling, last 10) +- resource-advertisement-parse — claimed 2026-05-03T18:37:00Z, completed 2026-05-03T18:44:55Z, branch: main, integrated as c766af7 - resource-part-parse — claimed 2026-05-03T18:33:00Z, completed 2026-05-03T18:36:58Z, branch: main, integrated as e0e4b31 - resource-reassembly-init — claimed 2026-05-03T18:20:00Z, completed 2026-05-03T18:32:55Z, branch: main, integrated as d034722 - channel-envelopes — claimed 2026-05-03T13:06:00Z, completed 2026-05-03T13:18:00Z, branch: main, integrated as 5b8a70c @@ -33,7 +34,7 @@ milestone-7-resource-channel — claimed 2026-05-03T12:52:00Z, ETA active ## Notes / blockers - Baseline gates passed before live session: `make ci` and `./verify --all`. - Worktrees exist for agents 2-6 at `/Users/Games/Desktop/main/RISC-V-C6-agent-N`. -- Active milestone is milestone 7; eligible remaining claims are `resource_advertisement_parse`, `resource_reassembly_update`, and `resource_process_plaintext`. +- Active milestone is milestone 7; eligible remaining claims are `resource_reassembly_update` and `resource_process_plaintext`. - 2026-05-03T07:33:11Z — closed milestone 3 and activated milestone 4 on main as 40493eb. - 2026-05-03T07:57:41Z — milestone-4 flash driver/model, hardware contract, and qemu proof integrated through 143055f; `make ci`, `make build TARGET=qemu-virt`, `make build TARGET=c6`, and `./verify --all` passed. - 2026-05-03T08:28:10Z — TARGET_C6 ROM-helper flash backend and executable reset-retention hardware test integrated through 27b75d6; `make ci`, `make build TARGET=qemu-virt`, `make image TARGET=c6`, focused `./verify flash_*`, and `./verify --all` passed. @@ -56,3 +57,4 @@ milestone-7-resource-channel — claimed 2026-05-03T12:52:00Z, ETA active - 2026-05-03T13:18:00Z — implemented verified `channel_envelope_build` and `channel_envelope_parse` on main as 5b8a70c; gates: `./verify channel_envelope_build`, `./verify channel_envelope_parse`, `make ci` (`667 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. - 2026-05-03T18:32:55Z — implemented verified `resource_reassembly_init` on main as d034722; gates: `./verify resource_reassembly_init`, `make ci` (`671 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. - 2026-05-03T18:36:58Z — implemented verified `resource_part_parse` on main as e0e4b31; gates: `./verify resource_part_parse`, `make ci` (`679 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. +- 2026-05-03T18:44:55Z — implemented verified `resource_advertisement_parse` on main as c766af7; gates: `./verify resource_advertisement_parse`, `make ci` (`696 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. diff --git a/.agents/integration-queue.md b/.agents/integration-queue.md index 1ef6745..cbf0ec0 100644 --- a/.agents/integration-queue.md +++ b/.agents/integration-queue.md @@ -2,7 +2,7 @@ ## Session -- parallel session live — 2026-05-03T06:18:00Z; milestone 7 is active through e0e4b31. Latest integrated slice: verified resource part parser. Current gates passed: `./verify resource_part_parse`, `make ci` (`679 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. Eligible next milestone-7 claims: `resource_advertisement_parse`, `resource_reassembly_update`, `resource_process_plaintext`. +- parallel session live — 2026-05-03T06:18:00Z; milestone 7 is active through c766af7. Latest integrated slice: verified resource advertisement parser. Current gates passed: `./verify resource_advertisement_parse`, `make ci` (`696 passed, 14 skipped`), qemu/C6 builds, registry, stack max 2304/16384, and `git diff --check`. Eligible next milestone-7 claims: `resource_reassembly_update`, `resource_process_plaintext`. ## Pending @@ -10,6 +10,7 @@ ## Resolved (rolling, last 20) +- [agent-1] Implement verified `resource_advertisement_parse`; accepts the strict upstream `ResourceAdvertisement.pack()` msgpack order for encrypted single-segment non-request resources, rejects unsupported flags/segments/hashmap inconsistencies, and covers malformed encodings with direct-QEMU tests plus source contract proof — branch: main, integrated as c766af7 2026-05-03T18:44:55Z - [agent-1] Implement verified `resource_part_parse`; parses raw RESOURCE part payloads without requiring an on-wire part index, computes upstream `SHA256(part || random_hash)[0:4]` map hashes, and covers valid/empty/max/null/overflow cases with direct-QEMU tests plus source contract proof — branch: main, integrated as e0e4b31 2026-05-03T18:36:58Z - [agent-1] Implement verified `resource_reassembly_init`; adds fixed resource receive-table constants/state, clears the 2-entry/64-part map-hash window table, corrects milestone docs to reflect upstream RESOURCE part index inference, and covers the initializer with direct-QEMU tests plus a source contract proof — branch: main, integrated as d034722 2026-05-03T18:32:55Z - [agent-1] Implement verified milestone-7 channel envelopes; adds resource constants, build/parse for upstream `msgtype || sequence || length || payload`, direct-QEMU boundary coverage, and source contract proof — branch: main, integrated as 5b8a70c 2026-05-03T13:18:00Z