{"version":"v0","appSlug":"pma-safety","fixtureId":"pma-safety-v0","reportId":"lab_pma-safety-v0_20260610225855211","generatedAt":"2026-06-10T22:58:55.211Z","status":"pass","canonicalUrl":"https://nocksperimental.com/api/reports/generated/pma-safety/provenance","summary":{"stepsPassed":4,"stepsTotal":4,"invariantsPassed":6,"invariantsTotal":6,"alertsTriggered":0,"snapshotsCaptured":5},"checks":{"reportFound":true,"jsonHashPresent":true,"snapshotRootPresent":true,"markdownAvailable":true},"artifacts":{"jsonPath":"/bundle/server-functions/default/.nocklab/pma-safety.report.json","markdownPath":"/bundle/server-functions/default/.nocklab/pma-safety.report.md","reportHash":"sha256:18c8b94142961d969041a80d8d65e580beabf94416eb511f4e6ffca49f5afa7d","snapshotRoot":"50695c632860eb95"},"evidence":{"stateDiffCount":2,"snapshotCount":5,"alertCount":0,"triggeredAlertCount":0,"clearAlertCount":0,"triggeredCriticalAlertCount":0,"triggeredWarningAlertCount":0,"triggeredInfoAlertCount":0,"environmentMode":"mock-fakenet","grpcEndpoint":"127.0.0.1:5555","environmentNoteCount":3,"nextActionCount":4,"firstNextAction":"Replace mock poke and peek execution with local fakenet adapter calls.","invariantPackCount":1,"invariantPackIds":["pma-safety-core-v0"],"invariantPackDomains":["pma-safety"],"firstInvariantPackPath":"../packs/pma-safety.invariants.json","changedPaths":["pma.checkpointHeight","pma.eventLogBoundary"],"markdownPreview":"# ✅ PMA State Safety Pack Lab Report"},"badgeCandidate":{"id":"badge-candidate-pma-safety","label":"PMA State Safety Pack Verification Candidate","reportSlug":"pma-safety","fixtureId":"pma-safety-v0","status":"ready","evidenceKind":"model-attested","statusReDerived":"pass","statusConsistent":true,"kernelHash":null,"kernelVerified":false,"baseDeploymentHash":null,"baseVerified":false,"signatureStatus":"unsigned","evidence":{"reportHash":"sha256:18c8b94142961d969041a80d8d65e580beabf94416eb511f4e6ffca49f5afa7d","snapshotRoot":"50695c632860eb95","invariantPacks":["pma-safety-core-v0"]}},"app":{"name":"PMA State Safety Pack","slug":"pma-safety","version":"0.1.0","kernel":"mock-pma-v0"}}