Protocol v0.1
A minimal, implementable spec for the primitives: claims, trails, confidence inputs, and proof requests.
Primitives
- Claim: a structured assertion with evidence, constraints, dissent, lineage, and confidence.
- Trail: a recorded path through knowledge (search → evaluation → decision → outcome).
- Proof Request: a reviewable change to a claim or trail, preserving history.
Schema
This is intentionally small: enough to interoperate, not enough to ossify.
type Claim = {
id: string
statement: string
type: 'factual' | 'methodological' | 'interpretive' | 'normative'
evidence: Evidence[]
constraints: Constraint[]
dissent: Dissent[]
confidence: {
level: 'very_high' | 'high' | 'medium' | 'low' | 'contested'
inputs: ConfidenceInputs
computation: string
}
lineage: { dependsOn: string[]; supersedes: string[]; citedBy: string[] }
metadata: { extractedFrom: string; location?: { section: string } }
}
type Trail = {
id: string
type: 'research' | 'reading' | 'revision' | 'propagation'
title: string
steps: { action: string; target: string; note?: string; timestamp?: string }[]
metadata?: { associatedClaims?: string[] }
}
type ProofRequest = {
id: string
target: { type: 'claim' | 'trail'; id: string }
change: { before: unknown; after: unknown }
rationale: string
status: 'open' | 'merged' | 'rejected'
}