Evidence packet examples
Read the packet shape before repeating the claim.
These examples show how a claim label, proof path, rule family, evidence tier, coverage label, limitation, non-claim, next owner, and validation summary travel together.
Public claim level: concept. No public conclusion without evidence. Every example below is a synthetic public-safe example, including the demo-backed shape.
Synthetic packet shapes
Four compact rows keep evidence, limits, and ownership visible.
| Field | Demo-backed packet | Reduced-coverage packet | Gap-labeled packet | Stop-condition packet |
|---|---|---|---|---|
| Claim label | Demo-backed shape: static route evidence appears in a public demo summary. | Reduced-coverage claim: syntax fallback found a review trail, but semantic load was partial. | Gap-labeled claim: the scanner cannot prove or disprove the requested dependency path. | Stop condition: public copy waits because the proof trail is not public-safe. |
| Public claim level | concept; synthetic public-safe example | concept; synthetic public-safe example | concept; synthetic public-safe example | concept; synthetic public-safe example |
| Proof path | /demo/result/ public-safe demo summary shape. | /examples/scan-packet/ reduced coverage pattern. | /packets/assembly/ gap handoff pattern. | blocked: missing public-safe proof trail owned by release review process. |
| Rule ID or family | csharp.syntax.aspnetroute.v1 family | csharp.semantic.workspace.v1 family | csharp.semantic.workspace.v1 family | N/A: public-copy stop condition; no scanner-emitted rule placeholder |
| Evidence tier | Tier2Structural | Tier3SyntaxOrTextual | Tier4Unknown | Tier4Unknown |
| Coverage label | demo-backed shape, synthetic public-safe example | reduced coverage, partial semantic analysis visible | gap-labeled, unknown coverage visible | stopped, private-only support not publishable |
| Synthetic public-safe path/span | examples/public-demo/Controllers/OrdersController.cs:42-58 |
examples/public-demo/Contracts/OrderDto.cs:12-24 |
examples/public-demo/Project/Orders.Api.csproj:1-1 |
examples/public-demo/Review/claim-boundary.md:7-11 |
| Commit or extractor placeholder | commit: demo-sha-placeholder; extractor: tracemap-demo-extractor@x.y.z | commit: reduced-sha-placeholder; extractor: tracemap-syntax-fallback@x.y.z | commit: gap-sha-placeholder; extractor: tracemap-gap-recorder@x.y.z | commit: blocked-sha-placeholder; extractor: pending-public-safe-summary |
| Limitation | Shows a demo-backed packet shape only; it does not publish raw artifacts or real repository evidence. | Reduced semantic coverage means the row routes review work without claiming complete repository coverage. | The evidence is an analysis gap, so the packet preserves the question instead of answering it. | The proof path is blocked until a public-safe summary or explicit limitation exists. |
| Non-claim | No runtime behavior, production traffic, endpoint performance, release approval, release safety, or customer evidence. | No absence-of-impact proof, complete coverage claim, operational safety claim, or release approval. | No proof that the dependency exists, does not exist, caused an outage, or is safe to ignore. | No public conclusion, autonomous approval, AI impact analysis, LLM analysis, or replacement of human review. |
| Next owner | reviewing engineer | service owner role and release review process | reviewing engineer and future validation owner | release review process |
| Validation evidence | public example schema check passed; demo artifact link remains illustrative. | reduced-coverage label check passed; semantic gap remains visible. | gap label and Tier4Unknown check passed; no stronger claim emitted. | blocked marker check passed; public-copy checklist should stop the sentence. |
Neighboring surfaces
This gallery shows shapes; adjacent pages keep their own jobs.
/packets/General packet artifact model.
/packets/assembly/Human workflow for assembling a review packet.
/database/design-review/proof-packet/Synthetic public-safe single-index and combined-index database design packet shapes.
/examples/scan-packet/Scan-oriented public example material.
/demo/result/Checked-in public demo result summary.
/proof-source-catalog/Proof-source lookup for public routes and claim levels.
/review-claim-checklist/ and /review-claim-checklist/drill/The checklist decides whether a sentence can be repeated; the drill offers authored practice rows.
Public boundaries
Public-safe examples do not make private or operational proof public.
- Do not publish raw facts, raw SQLite, analyzer logs, raw source snippets, raw SQL, config values, secrets, local paths, raw remotes, generated scan directories, private sample names, raw command output, hidden validation details, or credential-like values.
- Do not claim runtime behavior, production traffic, endpoint performance, outage cause, release approval, release safety, operational safety, complete coverage, AI impact analysis, LLM analysis, autonomous approval, autonomous review, or replacement of human review.
- Use these examples to preserve deterministic static evidence, limitations, non-claims, and owner questions before public wording is repeated.