{"version":"v0","appSlug":"hello-counter","fixtureId":"hello-counter-v0","reportId":"lab_hello-counter-v0_20260605165557193","generatedAt":"2026-06-05T16:55:57.193Z","status":"pass","canonicalUrl":"https://nocksperimental.com/api/reports/generated/hello-counter/provenance","summary":{"stepsPassed":4,"stepsTotal":4,"invariantsPassed":4,"invariantsTotal":4,"alertsTriggered":0,"snapshotsCaptured":5},"checks":{"reportFound":true,"jsonHashPresent":true,"snapshotRootPresent":true,"markdownAvailable":true},"artifacts":{"jsonPath":"/bundle/server-functions/default/.nocklab/hello-counter.report.json","markdownPath":"/bundle/server-functions/default/.nocklab/hello-counter.report.md","reportHash":"sha256:d06321a538db70c7ad7690b4ffe8ec773e5e19e3939694c587803b22af8816e1","snapshotRoot":"c88df7375b7c9399"},"evidence":{"stateDiffCount":3,"snapshotCount":5,"alertCount":0,"triggeredAlertCount":0,"clearAlertCount":0,"triggeredCriticalAlertCount":0,"triggeredWarningAlertCount":0,"triggeredInfoAlertCount":0,"environmentMode":"mock-fakenet","grpcEndpoint":"127.0.0.1:5555","environmentNoteCount":2,"nextActionCount":4,"firstNextAction":"Replace mock poke and peek execution with local fakenet adapter calls.","invariantPackCount":0,"invariantPackIds":[],"invariantPackDomains":[],"firstInvariantPackPath":"","changedPaths":["counter","balances.alice","balances.bob"],"markdownPreview":"# Hello Counter Lab Report"},"badgeCandidate":{"id":"badge-candidate-hello-counter","label":"Hello Counter Verification Candidate","reportSlug":"hello-counter","fixtureId":"hello-counter-v0","status":"ready","signatureStatus":"unsigned","evidence":{"reportHash":"sha256:d06321a538db70c7ad7690b4ffe8ec773e5e19e3939694c587803b22af8816e1","snapshotRoot":"c88df7375b7c9399","invariantPacks":[]}},"app":{"name":"Hello Counter","slug":"hello-counter","version":"0.0.1","kernel":"hoon-counter-v0"}}