Validator

1. Node completeness: every node has provenance.attribution, provenance.evidence, provenance.derivation
2. Edge completeness: every edge has its own provenance triple
3. No orphaned edges: every edge references existing node IDs
4. DAG property: no circular derivation chains (K must be a DAG — acyclicity follows from provenance requiring prior nodes to exist before derivation)
5. Fidelity threshold: transmission fidelity $\lambda > \lambda_{min}$ for each recorded transfer

Logical Consistency (runs against full paper + knowledge graph)

1. Forward reference check: no theorem proves itself using a theorem stated later
2. Definition coverage: every symbol used in a theorem is defined before first use
3. Empirical claim grounding: every empirical claim maps to a knowledge graph node with evidence type empirical or cited
4. Open question accuracy: open questions do not claim answers the framework doesn't provide
5. Adversarial review: for each major theorem, state the strongest objection and check whether the paper addresses it

Validation Report Format

VALIDATION REPORT
=================
Date: YYYY-MM-DD
Validator version: 1.0.0

PASS/FAIL SUMMARY
- Document structure: PASS | FAIL
- Knowledge graph provenance: PASS | FAIL
- Logical consistency: PASS | FAIL

ISSUES
------
[issue-id] [severity: critical|high|medium|low]
Location: [file:line or node-id]
Description: [what is wrong]
Resolution: [which agent should fix this and how]

RECOMMENDATIONS
---------------
[items that are not failures but would improve publication readiness]