Proof source catalog
Map each public route back to the source material that bounds its wording.
The catalog is a public-safe orientation layer for managers, reviewers, and claim-checking bots. It links route wording to proof paths, source artifact families, rule IDs or rule families, evidence tiers, coverage labels, limitations, and non-claims.
Public claim level: demo. Page-level demo status describes this new catalog surface; it does not downgrade shipped rows or upgrade concept or hidden rows. No public conclusion without evidence.
Placement
This is a route-to-source map, not another claim ledger.
Proof paths/proof-paths/ remains the evidence-trail index for artifacts, rules, tiers, coverage, public status, and limitations.
Claim gates/roadmap/ explains how shipped, demo, concept, and hidden wording moves through public gates.
Claim ledger specThe future
site-tracemap-tools-claim-ledger spec governs individual claim wording; this catalog points outward instead of restating that authority.Source of truthSQLite indexes, fact streams, reports, rule catalog entries, route metadata, source docs, coverage labels, and documented limitations remain authoritative.
Catalog
Public route wording stays attached to bounded proof sources.
| Route | Claim label | Allowed public wording or claim family | Public claim level | Evidence status | Proof path | Source artifact or document | Rule ID or family | Evidence tier or coverage | Limitation | Non-claims |
|---|---|---|---|---|---|---|---|---|---|---|
/docs/ |
Repository doc navigation | Repository docs and validation routes are source references for CLI and artifact boundaries. | shipped |
source-backed |
/docs/, README, and validation guide | Repository docs on main and checked-in docs route metadata. | Repository documentation and acceptance-rule family. | Source document on main; no generated scan coverage label. | Docs describe expected behavior and boundaries; current local results still require validation evidence. | No runtime behavior, production usage, deployment state, endpoint performance, or release approval proof. |
/proof-paths/ |
Public evidence trails | Public pages can route readers to artifact families, rule IDs, tiers, coverage labels, proof paths, and limitations. | demo |
demo-evidence-backed |
/proof-paths/ and /demo/proof-upgrades/ | Public-safe demo summary, route metadata, and proof-path index rows. | public.demo.summary.v1 and proof-path indexing family. |
Tier2Structural; FullEvidenceAvailable and PartialAnalysis where cited. |
The route is an index over public-safe proof surfaces; generated artifacts and rule docs remain the source of truth. | No runtime proof, production traffic proof, endpoint performance proof, deployment state proof, release approval proof, or adapter parity claim. |
/capabilities/ |
Capability status map | Capability rows can be read with shipped, demo, or concept labels only through the public status mapping. | demo |
partial-or-reduced |
/capabilities/, /proof-paths/, and /roadmap/ | Capability route copy, repository docs, and route metadata. | Capability status and public claim-gate family. | Mixed source-doc and demo coverage; maturity caveats remain visible. | Capability rows are not a product-wide availability promise and must keep adapter and coverage caveats attached. | No product completeness, runtime behavior, production traffic, release safety, operational safety, or release approval proof. |
/demo/result/ |
Public demo summary | Demo result rows may summarize checked-in public sample outputs with rule IDs, tiers, coverage labels, counts, and reasons. | demo |
demo-evidence-backed |
/demo/result/, /proof-paths/, and public demo summary fixture | Checked-in public-safe demo summary and generated report-family names. | public.demo.summary.v1 |
Tier2Structural; FullEvidenceAvailable, PartialAnalysis, not_requested, and unavailable where cited. |
Demo rows are scoped to public samples and public-safe summary data; deeper local artifacts are not published. | No runtime behavior, production traffic, endpoint performance, release safety, operational safety, or full-impact proof. |
/demo/proof-upgrades/ |
Reduced demo coverage | Demo proof-upgrade rows can show reproducible public-demo report families with explicit partial or gap labels. | demo |
partial-or-reduced |
/demo/proof-upgrades/ and /proof-paths/ | Public-safe generated summary rows and sanitized report-family names. | public.demo.summary.v1 and demo report-family rules. |
Tier2Structural with PartialAnalysis and explicit gap labels. |
Partial rows remain useful only as partial evidence and cannot be restated as broad success or parity. | No release approval, endpoint performance, production dependency understanding, operational safety, or broad absence claim. |
/validation/ |
Validation boundaries | Validation pages can name deterministic checks, sample lanes, smoke checks, acceptance criteria, and deferred checks. | shipped |
source-backed |
/validation/ and docs/VALIDATION.md | Repository validation guide and checked-in validation route. | Validation and acceptance documentation family. | Source document on main; coverage depends on each named check. | Validation copy names checked scopes; it does not prove external service state, deployment state, or current CI outcome. | No production usage, release approval, runtime behavior, endpoint performance, or clean bill of health under reduced coverage. |
/roadmap/ |
Public claim gates | Roadmap rows can explain shipped, demo, concept, and hidden gates without promoting future-facing wording. | concept |
future-only |
/roadmap/ | Roadmap route copy, route metadata, and future claim-ledger spec context. | Public claim gate and wording-governance family. | Concept route metadata; no generated scan coverage label. | The roadmap is governance and orientation; concept rows need public-safe proof before promotion. | No shipped capability, release approval, runtime behavior, production traffic, operational safety, or complete product coverage proof. |
/legacy-validation/ |
Legacy validation concept | Legacy validation copy may describe a future public-safe validation lane and its promotion requirements. | concept |
future-only |
/legacy-validation/ and /limitations/ | Concept route copy and documented publication rules. | Legacy validation and public-safe redaction family. | Future-only; public-safe validation artifact is not yet published. | No stronger support claim exists until redacted public-safe evidence shows rule IDs, tiers, coverage, and limitations. | No specific legacy capability, private sample, hidden route, runtime behavior, production traffic, or release safety proof. |
Claim-level vocabulary
Existing public status labels resolve to one catalog label.
| Existing-surface vocabulary | Catalog public claim level | Notes |
|---|---|---|
main, shipped, shipped navigation, repository docs on main, main with maturity caveats |
shipped |
Use shipped as the public catalog label while keeping main and maturity caveats as source vocabulary or limitation text. |
demo, demo guidance, main/demo, public-demo, checked-in public-safe demo summary, route metadata publicClaimLevel: demo, proof-path public status demo |
demo |
Backed by public-safe demo summaries, checked-in samples, demo route metadata, or proof-path rows. |
concept, concept-only, future, future-only, dev, dev-only, route metadata publicClaimLevel: concept, proof-path public status future |
concept |
Visible future or dev vocabulary resolves to concept until main or public-demo proof supports promotion. |
Evidence-status vocabulary
Evidence labels preserve source strength and gaps.
| Evidence-status label | Existing source vocabulary | Catalog notes |
|---|---|---|
source-backed |
Repository docs, rule catalog, source code, validation docs, or route metadata on main. | Use for source-document claims, not for runtime proof. |
demo-evidence-backed |
Tier1Semantic or Tier2Structural with Full, FullEvidenceAvailable, or public-safe generated summary evidence. |
Show rule IDs, tiers, coverage, and proof path when public-safe. |
partial-or-reduced |
Partial, PartialAnalysis, Reduced, ReducedCoverage, or Tier3SyntaxOrTextual evidence. |
Keep coverage gaps visible and do not restate partial rows as broad proof. |
gap-labeled-demo |
not_requested, unavailable, Tier4Unknown, or explicit gap labels on demo rows. |
The gap label remains visible and cannot support parity or success claims. |
future-only |
Public future or concept row with no resolvable source artifact yet. | Future-facing only; not evidence-backed. |
not-yet-backed |
No cited artifact, rule family, or public-safe proof path. | Pre-publication blocker only; no published catalog row may use this label. |
Non-claims
The catalog does not strengthen the source material it indexes.
- It does not prove runtime behavior, production traffic, endpoint performance, outage cause, release safety, operational safety, release approval, AI impact analysis, LLM analysis, or complete product coverage.
- It does not publish raw facts, raw SQLite, analyzer logs, raw source snippets, raw SQL, config values, secrets, local absolute paths, raw remotes, generated scan directories, or private sample names.
- Concept rows are not shipped capabilities, demo rows are scoped to public-demo proof, and hidden rows should not be repeated as public claims.
Source material