Close release artifact and traceability proof gaps#74

iperev merged 1 commit into

mainresearch-engineering/agentic-proofkit:mainfrom

fix/release-graph-proof-closureresearch-engineering/agentic-proofkit:fix/release-graph-proof-closureCopy head branch name to clipboard