AgentPROV corpus: Munim (bookkeeper) on AgentDojo (GPL-3.0-or-later)
收藏资源简介:
An execution-provenance corpus built by AgentPROV v0.1.0 from the Munim (bookkeeper) AgentDojo run logs (GPL-3.0-or-later): each execution as an AgentPROV Execution Record, semantic annotations and W3C PROV bundles, validated and hash-chained. Each copyleft source is its own corpus and record, under the source's licence (D-94). This deposit draft holds 1 AgentPROV corpus version(s), prepared offline by agentprov package --deposit for the release date 2026-10-30. Nothing has been uploaded or published. Corpus bookkeeper-agentdojo 0.1.0: Munim (bookkeeper): AgentDojo 0.1.35 banking logs of a deterministic money gate (sricursion/bookkeeper). 570 execution records, of which 0 are outcome-only records. Licence class: GPL-3.0-or-later; restrictions: "GPL-3.0-or-later: a corpus holding these logs is conveyed under the GPL (corresponding source, the same licence for derived works); kept in its own corpus (D-94)". Content digest sha256:790f63dd9b2fb10fc43d582dfe317c5ade14c42dafba6a5933e4ff41db230a3f; root digest sha256:6cfc1fdabaafd19f057901a321104ebe639bed0663c23cb3de790c7ee44c83ec. Counts are computed from each corpus manifest at sealing. Each DATASHEET states what the records do and do not establish; a statement about the data is scoped as it is there. To verify: compare each archive's sha256 or md5 with DEPOSIT-MANIFEST.json, run agentprov verify on the archives (archive mode, no extraction; H.5.5), and compare each root digest with the one published outside the deposit (the corpus tag annotation and the paper).



