diff --git a/docs/TRACECLAIM.md b/docs/TRACECLAIM.md new file mode 100644 index 0000000..64eaecb --- /dev/null +++ b/docs/TRACECLAIM.md @@ -0,0 +1,25 @@ +# TraceClaim + +TraceClaim is a minimal evidence-to-claim provenance object. + +It sits between observation and admissibility: + +Tracebench packet +-> TraceClaim +-> admissibility-kernel candidate +-> admissibility review + +TraceClaim asks: + +What can be claimed from this evidence, and what must not be claimed? + +It does not decide admissibility. +It does not issue receipts. +It does not certify authority. +It does not infer intent, causality, or governance status. + +TraceClaim preserves the boundary: + +observation != claim +claim != commitment +commitment != authority diff --git a/examples/tracebench_to_traceclaim_to_candidate.md b/examples/tracebench_to_traceclaim_to_candidate.md new file mode 100644 index 0000000..334fb41 --- /dev/null +++ b/examples/tracebench_to_traceclaim_to_candidate.md @@ -0,0 +1,15 @@ +# Example: Tracebench packet -> TraceClaim -> Admissibility Candidate + +1. Tracebench observes repeated retry behavior after tool failure. + +2. TraceClaim bounds the claim: + +- supports: observable recurrence after tool failure +- does_not_support: intent, root cause, admissibility, safety +- omissions: no production logs, no user interview, no runtime receipt +- caveats: trace-only evidence +- downstream_use: may be submitted as context for admissibility review + +3. Admissibility candidate references tc_001. + +The TraceClaim supports the candidate. It does not decide the candidate. diff --git a/schemas/traceclaim.schema.json b/schemas/traceclaim.schema.json new file mode 100644 index 0000000..8bef2d0 --- /dev/null +++ b/schemas/traceclaim.schema.json @@ -0,0 +1,35 @@ +{ + "$schema": "https://json-schema.org/draft/2020-12/schema", + "$id": "https://neverthought.dev/schemas/traceclaim.schema.json", + "title": "TraceClaim", + "description": "Minimal evidence-to-claim provenance object. It binds evidence to a bounded claim without deciding admissibility or issuing authority.", + "type": "object", + "required": [ + "traceclaim_id", + "source_evidence", + "claim_text", + "claim_status", + "supports", + "does_not_support", + "omissions", + "caveats", + "verification_status", + "downstream_use" + ], + "properties": { + "traceclaim_id": { "type": "string" }, + "source_evidence": { "type": "array", "items": { "type": "string" } }, + "claim_text": { "type": "string" }, + "claim_status": { "type": "string", "enum": ["draft", "bounded_claim", "contested", "withdrawn"] }, + "supports": { "type": "array", "items": { "type": "string" } }, + "does_not_support": { "type": "array", "items": { "type": "string" } }, + "omissions": { "type": "array", "items": { "type": "string" } }, + "caveats": { "type": "array", "items": { "type": "string" } }, + "verification_status": { + "type": "string", + "enum": ["evidence_referenced", "partially_verified", "unverified", "requires_review"] + }, + "downstream_use": { "type": "string" } + }, + "additionalProperties": false +}