Healthcare exports
Closed export surfaces, policy commitments, deterministic privacy lint, and optional FHIR or X12 wire-byte checks.
Closed, auditable customization
Profiles
LARRI keeps its mandatory verification kernel compact while complete registered profiles define the checks, claims, scope, and failure behavior for specific workflows.
Registered capabilities
Each profile defines a complete claim boundary.
Every verification resolves to one enabled, supported combination with deterministic behavior.
Dispute packets
An operative artifact, required lineage, policy evidence, minimized disclosure, and independently checkable integrity evidence.
Artifact lineage
Signed, digest-linked transformations such as redaction, OCR, conversion, stamping, merging, and splitting.
Integrity evidence
Issuer assertions, trusted timestamp evidence, transparency receipts, and independent witness attestations.
Review releases
Exact tool, source, runtime, vector, archive, and conformance-evidence bindings for reproducible evaluation.
Published profile
Healthcare Profile 0.1.0.
This profile turns the protocol’s compact verification core into a closed claim boundary for synthetic healthcare decisions and records.
Healthcare decisions
Prior authorization, claims, appeals, and healthcare data exports.
Exact operative package
Evidence, policy, authority, software release, signatures, privacy checks, and declared trust inputs.
Issue and verify
The conceptual Core and Verifier applications issue and independently verify synthetic healthcare receipts.
Experimental 0.1.0
Published for synthetic laboratory work and supervised evaluation, not production qualification.