Proof Artifact Paths
Parent: Gnosis
Generated by node open-source/gnosis/scripts/audit-ledger-proof-artifact-paths.mjs.
This report audits the proofArtifactPath values emitted by apps/mcp-superserver/src/ledger-tool-audit.generated.json so stale MCP links fail as a visible ledger artifact instead of hiding in generated code.
Summary
- Generated MCP ledger entries: 5867
- Missing artifact paths: 0
- Empty artifact paths: 0
Artifact Classes
| Class | Entries |
|---|---|
| Gnosis Math Lean modules | 2410 |
| Gnosis legacy Lean modules | 40 |
| Gnosis TLA+ artifacts | 32 |
| Gnosis non-Lean artifacts | 2 |
| Ledger fallback rows | 3380 |
| Other existing artifacts | 3 |
| Empty artifact paths | 0 |
Missing Artifacts
| Theorem ID | Server | Artifact path |
|---|
Empty Artifact Paths
| Theorem ID | Server | Tool |
|---|