3-D Printing Production Software

Architecture, Validation, and Control for Agentic Software Engineering
Front Matter
  1. •Preface
  2. •Acknowledgments
Part 1 — The Context
  1. 1The ADA Context
  2. 2The Timeline and the Work
  3. 3The Built System
Part 2 — The Mindset
  1. 4The Printer
  2. 5Loops and Models
Part 3 — The Governed Engineering Environment
  1. 6The Agent Stack
  2. 7Models and the Semantic Gap
  3. 8The Governed Environment: Ex-Ante and Ex-Post
  4. 9Lifecycles and Runbooks
  5. 10Metrics
Part 4 — The Model Zoo
  1. 11The Executable Zoo
  2. 12The Logical View
  3. 13The Process View
  4. 14The Development View
  5. 15The Physical View
  6. 16The Scenarios View
Part 5 — Putting It to Work
  1. 17Brownfield
  2. 18The Skills
  3. 19Everything Is a Transformation
  4. 20Training Data and the Novelty Axis
  5. 21Lessons Learned
Back Matter
  1. •Implications for Software Engineering
  2. •Conclusion
  3. •Glossary
  4. •About the Author
Appendix A — Agent patterns
  1. AAppendix — the pattern language
  2. AAppendix A - 1. Brief-linting
  3. AAppendix A - 2. Docs hierarchy + governance index
  4. AAppendix A - 3. Dynamic context injection
  5. AAppendix A - 4. Role-typed dispatch
  6. AAppendix A - 5. Merge-train MIS batching
  7. AAppendix A - 6. Pre-commit hook (3-stanza, tree-sha markers)
  8. AAppendix A - 7. Sentinel first-commit early-abort
  9. AAppendix A - 8. Staged deploy gates (canary → smoke → promote)
  10. AAppendix A - 9. Aggregate-compute protection (`lint-all` host mutex)
  11. AAppendix A - 10. Build-serializer (M=8 semaphore)
  12. AAppendix A - 11. Resource-pressure gating (admit before, shed during)
  13. AAppendix A - 12. Test-serializer (N=1 flock on `dotnet test`)
  14. AAppendix A - 13. Agent registry (append-only log + marker cache)
  15. AAppendix A - 14. Caused-by provenance (agent-side change traceability)
  16. AAppendix A - 15. Cron-alerts gate
  17. AAppendix A - 16. Deploy heartbeats + stale-worker detection
  18. AAppendix A - 17. Lifecycle hooks (interpose on the agent runtime's events)
  19. AAppendix A - 18. Reflection-facet substrate (tempo-gated policy nudges)
  20. AAppendix A - 19. Tombstone commits (lifecycle close records)
  21. AAppendix A - 20. Orchestrator-as-reactor over an event bus
  22. AAppendix A - 21. CLAUDE.md rule index (the governance document as a mechanism)
  23. AAppendix A - 22. Doc-hygiene lints (index coverage, autogen provenance)
  24. AAppendix A - 23. Epic & design-doc templates
  25. AAppendix A - 24. Epic Definition-of-Done (Final-Opus trust-nothing re-run)
  26. AAppendix A - 25. Mandatory snippet-table enforcement
  27. AAppendix A - 26. Operational playbooks
  28. AAppendix A - 27. Operator runbook skill (positive map first, symptom index fallback)
  29. AAppendix A - 28. Enforce at the right semantic level
Appendix B — Models-bridge patterns
  1. BAppendix B - 1. The agent-first MBSE harness
  2. BAppendix B - 2. Agent-orchestration model (developer journeys)
  3. BAppendix B - 3. Component & zone model
  4. BAppendix B - 4. Mediator & single-writer contracts
  5. BAppendix B - 5. Control↔substrate dependency (computed blast-radius)
  6. BAppendix B - 6. Coverage → model-node mapping (which invariants are actually tested)
  7. BAppendix B - 7. Deployment & tier topology
  8. BAppendix B - 8. Domain registries
  9. BAppendix B - 9. Drift & parity gates
  10. BAppendix B - 10. Executable source-of-truth models
  11. BAppendix B - 11. Formal invariant verification (temporal form → model checking)
  12. BAppendix B - 12. Invariant-DAG execution policy (a typed Scheduler separates correctness from resource + cost)
  13. BAppendix B - 13. Journey-criticality → test-tier placement (which host a test runs on, derived)
  14. BAppendix B - 14. Meta-model consumption discipline (read, don't hardcode)
  15. BAppendix B - 15. Model-driven codegen
  16. BAppendix B - 16. Model-graded finding severity (distance-graded gate)
  17. BAppendix B - 17. Model query surface (`repo-query`)
  18. BAppendix B - 18. Service-flow / API model
  19. BAppendix B - 19. Symbol-anchored traceability graph (derived edges)
  20. BAppendix B - 20. Synchronization model (meta-sync)
  21. BAppendix B - 21. User-journey model (product-goal → implementation bridge)
Appendix C — Product patterns
  1. CAppendix C - 1. Canonical walkers (one traversal per tree)
  2. CAppendix C - 2. Office Models ({Slides,Docs,Sheets}Model)
  3. CAppendix C - 3. PdfModel (sole PDF mutation surface)
  4. CAppendix C - 4. Sole raw-Redis seam (the dispatch module)
  5. CAppendix C - 5. ServiceClient (typed cross-service seam)
  6. CAppendix C - 6. Cross-source coherence lints
  7. CAppendix C - 7. ContentValidator (input ⊆ output fidelity)
  8. CAppendix C - 8. Blocking semantic lints
  9. CAppendix C - 9. Standards / WCAG rule engine
  10. CAppendix C - 10. DDT pin-trailers (doc-derived characterization)
  11. CAppendix C - 11. Fuzz campaigns (+ auto-coverage)
  12. CAppendix C - 12. FsCheck property tests
  13. CAppendix C - 13. Test-onion tiers (Smoke / Lite / targeted / full)
  14. CAppendix C - 14. `a11y_` prefix convention
  15. CAppendix C - 15. `derive-changelog` (reconstruct mutations)
  16. CAppendix C - 16. F10 mutator-stamp-wiring lint
  17. CAppendix C - 17. Per-mutator attribution stamps
  18. CAppendix C - 18. Codemod-first threshold (N≳50 → AST transformer)
  19. CAppendix C - 19. Closed remediation-verb sets
  20. CAppendix C - 20. Typed `ViolationCategory` / `FailureCategory` enums
Appendix D — Mechanism Stacks
  1. DAppendix D — Mechanism Stacks
  2. DAppendix D - 1. The MBSE stack
  3. DAppendix D - 2. The self-operations stack
  4. DAppendix D - 3. The semantic-lint stack
  5. DAppendix D - 4. The worktree-lifecycle stack
  6. DAppendix D - 5. The canonical-seam stack
  7. DAppendix D - 6. The observability stack
Appendix E — How to Write a Skill
  1. EAppendix E — How to Write a Skill
  2. EAppendix E - 1. The recipe — three steps
Index
  1. ★Index (terms)
© James C. Davis, 2026–present