DocLayer is a zero-dependency engineering contract layer and safety harness for AI coding agents.
When autonomous agents encounter errors, code alone doesn't convey operational prohibitions. DocLayer introduces:
• doclayer explain: Inspect declared contracts and negative invariants before writing code.
• doclayer check: Machine-check AST contract drift in CI.
• 4-tier epistemic model: Separate facts from decisions.
• Self-verifying: Governs its own Python codebase with zero dependencies.