Surface
| Field | Value |
|---|---|
| Repo | HarperZ9/repo-proof-index |
| Surface class | S:proof-index-tool |
| Review mode | Public README, package manifest, and CLI behavior |
| Access | No credentials, private files, or protected payloads |
Sample report · repo-proof-index · evidence handoff
Scattered proof needs an index.
`repo-proof-index` is the handoff point in the proof-surface stack. It turns contracts, receipts, and capability descriptors into a compact table or JSON surface a reviewer can actually inspect.
Output fields
kind: best-effort contract type.surface: product, language, witness, root, or name.status: status, maturity, verdict, or fallback.evidence: short evidence summary.path: source JSON path in JSON mode.
Evidence present
| Evidence | Status |
|---|---|
| Public README | Present and tightened with examples, non-goals, and pipeline role |
| Install command | Present |
| CLI entry point | repo-proof-index |
| JSON output mode | --json |
| Workspace discovery mode | --root . |
| Custom contracts directory | --contracts-dir project-docs/contracts |
| Bundled examples | Sample product, backend capability, witness receipt, and malformed input |
| Runtime dependencies | None listed |
Recognized shapes
- Product use-case manifests.
- Backend capability descriptors.
- Witness receipts.
- Generic JSON contracts with common claim/status fields.
What it does not do
- It does not validate a JSON Schema.
- It does not decide whether evidence is sufficient.
- It does not decide whether a claim is true.
- It does not read private payloads referenced by a contract.
- It does not replace tests, audits, or release review.
Proof-surface verdict
| Category | Status |
|---|---|
| Legibility | Good after README tightening |
| Bounded claim | Good |
| Evidence visibility | Good foundation with sample contracts and malformed input fixture |
| Buyer usefulness | High for proof packet assembly and diligence handoff |
| Overclaim risk | Low if schema validation and certification stay out of scope |
| Next action | Add installed-package smoke evidence and CI pointer |