Discussion about this post

User's avatar
Alex Openstone's avatar

This is the right frame — and the analogy holds even more literally than you describe.

In CLIA/CAP-regulated clinical laboratory autoverification, the same problem exists one layer deeper: not just which policy applies, but whether a specific specimen disposition decision was made correctly, by what logic, and with what evidence — all auditable to the CAP inspector.

The implementation I've been building (LabInTrace) uses a knowledge graph with Git-bound schema. Schema changes, node/edge mutations, topology diffs — all committed, attributable, reversible. The audit trail isn't produced by wrapping decisions in a logger. It's a structural consequence of how the graph is maintained.

You note that FHIR can transport a rule but doesn't vouch for it. Same problem inside the lab: an LLM can traverse an autoverification state machine but can't prove it did so coherently. The KG enforces traversal as a hard execution constraint — not a retrieval source — which is what makes the audit record meaningful rather than decorative.

You've described the architecture. Here's what it looks like when the domain requires it structurally: https://doi.org/10.5281/zenodo.20348934

No posts

Ready for more?