Compliance
Challenges
- Controls span policies, systems, owners, evidence sources, and review periods.
- Manual evidence collection is repetitive and difficult to reproduce.
- Exceptions can obscure whether a control is absent, failed, or not applicable.
- Audit conclusions must remain linked to current rules and supporting records.
Problems We Solve
- Control Mapping Connect obligations, controls, owners, and evidence sources.
- Evidence Checking Evaluate whether required records are present and current.
- Exception Analysis Classify gaps and route them through explicit review paths.
- Consistency Validation Check alignment between policy, control, and implementation.
- Audit Preparation Assemble traceable placeholder evidence and decision records.
Domain portfolio
Application patterns
Compare two formal-assurance approaches, then explore the domain workflows as interactive state machines.
01 Obligation-to-control mapping and design assessment Explore pattern
System/use case
Operational setting
Decision/claim boundary
Candidate checked statements
These are illustrative controlled-English propositions for a possible setup, not capabilities or rules already implemented:
- For every applicable obligation, if no approved control mapping is recorded, then the obligation requires compliance review.
- For every control mapping, if the obligation scope changes, then the mapping requires reassessment.
- For every control, if an accountable owner and an approved evidence source are recorded, then the control is eligible for design review.
Example architecture
Where verified readback fits
Potential benefits
- Makes obligation, applicability, control, owner, and evidence relationships explicit for multidisciplinary review.
- Preserves reproducible meaning across requirement-version and policy changes.
- Improves impact analysis by attaching confirmed propositions to governed graph relationships.
- Reduces semantic drift between compliance narratives, control libraries, engineering requirements, and audit walkthroughs.
Limits/adoption considerations
02 Continuous control evidence and exception triage Explore pattern
System/use case
Operational setting
Decision/claim boundary
Candidate checked statements
Illustrative targets for a future setup—not claims of current adapter coverage—include:
- For every control execution and review period, if required evidence is absent, then the execution is classified for missing-evidence review.
- For every evidence record, if its observation period differs from the control period, then the record does not satisfy the current evidence request.
- For every recurring exception, if the approved recurrence threshold is met, then the exception requires compliance escalation.
Example architecture
Where verified readback fits
Potential benefits
- Helps practitioners keep “missing,” “failed,” “stale,” and “not applicable” distinct instead of collapsing them into one ambiguous alert state.
- Gives control and compliance teams a stable rule specification for regression tests and monitoring changes.
- Retains the evidence-role and premise order needed for reproducible reviews.
- Supports clearer hand-offs between automated observation and accountable human disposition.
Limits/adoption considerations
03 Third-party compliance oversight Explore pattern
System/use case
Operational setting
Decision/claim boundary
Candidate checked statements
Illustrative targets for a future setup—not claims of current adapter coverage—include:
- For every third party and service, if the service risk tier is high and due-diligence evidence is incomplete, then onboarding approval remains pending.
- For every material service change, if the approved risk scope changes, then the third-party assessment requires refresh.
- For every approved exception, if its review date has passed, then the exception requires reassessment.
Example architecture
Where verified readback fits
Potential benefits
- Clarifies which evidence, risk classification, and review event drives each workflow state.
- Makes expired exceptions and material-change triggers visible and testable.
- Preserves a traceable separation between source facts, automated routing, specialist assessments, and risk acceptance.
- Helps multiple oversight functions review shared propositions without forcing one function’s vocabulary to stand in for another’s judgment.
Limits/adoption considerations
04 Compliance issue remediation and closure assurance Explore pattern
System/use case
Operational setting
Decision/claim boundary
Candidate checked statements
Illustrative targets for a future setup—not claims of current adapter coverage—include:
- For every remediation action, if implementation evidence is approved by the action owner, then the action is eligible for independent retesting.
- For every issue, if a material deficiency remains unresolved, then the issue is not eligible for closure review.
- For every closure recommendation, if independent retesting is complete and required oversight communication is recorded, then the recommendation is eligible for closure-authority review.
Example architecture
Where verified readback fits
Potential benefits
- Establishes precise distinctions among action completion, management validation, independent retest, recommendation, and authoritative closure.
- Exposes missing evidence and segregation-of-duties premises during workflow design.
- Produces stable, auditable specifications for lifecycle configuration and regression tests.
- Improves governance reporting by tying a status label to an explicitly confirmed proposition rather than an informal description.
Limits/adoption considerations
Applicability frame
MLTTDB can provide a typed validation layer for reviewed compliance records. Proof-assistant source owns row types, table declarations, and semantic predicates; the SQLite term store owns ordered proof-language rows, UUIDs, projection values, database language metadata, and stored table definitions. Agda, Lean, or Rocq performs checking, even when the store launches the process. Current Agda supports finite UUID lookup in stored bodies; current Lean and Rocq preprocessors do not. Evidence collection, source-system reconciliation, IAM, case management, time evaluation, workflow approvals, retention enforcement, and audit-record immutability are external production concerns. A successful check says only that encoded terms satisfy the reviewed formalization.
Current data mode checks fetched rows as separate definitions; it does not expose a table to application proofs as an enumerable, first-class collection. Whenever an example below claims whole-snapshot coverage, uniqueness, or graph acyclicity, the architecture therefore assumes either a finite domain declared in proof source or an external snapshot compiler that emits a reconciled aggregate manifest/certificate term. The proof assistant checks that aggregate term, while external reconciliation establishes that it represents the table export supplied for review.
01 Control and evidence readiness register Explore pattern
Operational context
Why MLTTDB fits
Example architecture
GRC scope + CMDB + IAM + ticket/evidence repositories
|
external collection and reconciliation service
v
candidate evidence-descriptor workspace
|
reviewer-approved MLTTDB term records
|
store-owned verification / scheduled CI check
v
proof-assistant result
|
GRC workpaper, findings, and sign-off flow
The collector resolves systems, periods, and evidence locations, calculates hashes where required, and reports unmatched source items. Compliance analysts review its proposed proof-language descriptors before import. The proof repository defines scope coverage, permitted dispositions, and freshness as an explicit modeled input. Store-owned verification selects a compatible backend and returns subprocess output; the GRC platform retains assignments, comments, approvals, and workpapers.
Representative typed artifacts
ControlObjective, ScopeUnit, ReviewPeriod, EvidenceKind, EvidenceDescriptor, and ControlDisposition. Tables such as inScopeAssets :T: ScopeUnit, requiredEvidence :T: EvidenceRequirement, and assessments :T: ControlAssessment hold the row-level terms. A separately generated ControlCoverageManifest materializes the applicable asset/control pairs and their selected dispositions as one aggregate term, with the table-export digest used by the collector’s reconciliation. A descriptor can include an external object identifier, captured digest, collection instant supplied as data, and a typed relation to the requirement it purports to support. The underlying evidence remains in its governed repository.Checks and evidence
Potential benefits
Deployment boundary
02 Third-party risk exception portfolio Explore pattern
Operational context
Why MLTTDB fits
Example architecture
vendor inventory + assessments + contracts + case system
|
external portfolio reconciler and classifier
v
segregated exception review database in MLTTDB
|
analyst edits and two-stage human review
|
proof validation job
v
exception consistency report
|
external approval, monitoring, and renewal workflow
The reconciler proposes typed supplier-service, finding, and mitigation rows while preserving links to source records and reporting missing joins. Analysts resolve ambiguity; MLTTDB does not classify raw questionnaires on its own. A proof checker validates the reviewed portfolio. The case system owns state transitions, reminders, approval authority, expiration processing, and notification.
Representative typed artifacts
ServiceProfile tier dataClass, Requirement, Gap requirement, Mitigation gap, ExceptionClass, and ExceptionCase. Tables might be services :T: ServiceProfile, openGaps :T: Gap, and exceptions :T: ExceptionCase. An ExceptionPortfolioManifest aggregate term, built by the reconciler and matched to the source portfolio and row UUIDs, enumerates services, gaps, mitigations, and exceptions for portfolio-wide checks. An exception term can carry a mitigation set together with proof that the set satisfies the modeled minimum for its risk tier. An exit plan can be indexed by an allowed disposition such as remediate, replace, or formally accept, without claiming that the plan has been executed.Checks and evidence
Potential benefits
Deployment boundary
03 Retention and legal-hold obligation map Explore pattern
Operational context
Why MLTTDB fits
ObligationMapManifest aggregate term from the same export, allowing the checker to evaluate precedence, coverage, and compatibility over the represented snapshot. It is especially useful for validating obligation models before they are translated into platform-specific lifecycle policies.Example architecture
records inventory + schedule library + matter/hold system
|
external authoritative-data reconciliation
v
governance staging and counsel review workspace
|
MLTTDB obligation terms
|
project-owned proof validation in CI
v
checked obligation-map artifact and diagnostics
|
external lifecycle-policy compiler and enforcement
Source adapters retain the source IDs and effective-date inputs and explicitly report unresolved mappings. Governance specialists and counsel approve the semantic classification. Proof source defines precedence and compatibility at an abstract level; the term store holds selected schedules, populations, and hold relationships. A lifecycle compiler later converts approved outcomes into native repository policies, with independent tests and reconciliation.
Representative typed artifacts
RecordClass, Repository, RetentionTrigger, Schedule, Hold, Population, and HandlingObligation. Tables can include populations :T: Population, schedules :T: ScheduleAssignment, and activeHoldDeclarations :T: HoldDeclaration. The aggregate ObligationMapManifest enumerates the population, assignment, and active-hold UUIDs and carries the inventory-export digest used for external reconciliation. A handling artifact may prove that its selected schedule is permitted for the record class and that any supplied hold suspends only the modeled disposition action while preservation controls remain specified. Calendar dates and jurisdictional facts are explicit input values, not facts inferred by MLTTDB.Checks and evidence
Potential benefits
Deployment boundary
04 Model-governance release gate dossier Explore pattern
Operational context
Why MLTTDB fits
Example architecture
model registry + lineage catalog + validation reports + tickets
|
external dossier assembler and source reconciler
v
controlled MLTTDB review snapshot
|
proof check on proposed release / material change
v
machine-checkable completeness and consistency result
|
model-risk committee workflow and release service
|
deployment, monitoring, and incident controls
The assembler creates candidates from authoritative repositories and produces reconciliation exceptions; it does not evaluate test quality. The formal policy repository owns types and gates. MLTTDB stores reviewed terms, identifiers, and order. A store endpoint may orchestrate the selected proof process, while the committee workflow records deliberation and the release service enforces actual deployment authorization.
Representative typed artifacts
ModelClass, IntendedUse, RiskTier, ValidationRequirement, TestResult, Finding severity, Disposition, and ReleaseCase. Tables such as requirements :T: ValidationRequirement, findings :T: Finding, and releaseConditions :T: ReleaseCondition can represent which evidence shapes are required for a given class. A ModelReleaseDossierManifest aggregate term, reconciled to registry, validation, finding, and release-condition exports, enumerates the requirement and finding UUIDs covered by the release-wide argument. A release case may carry proofs that all blocking finding identifiers represented there have approved modeled dispositions and that the selected use case refines the reviewed intended-use envelope.Checks and evidence
Potential benefits
Deployment boundary
These read-only, pan-and-zoom models expose three abstraction levels for each workflow. They are explanatory examples, not live operational or decision systems.
Incident-to-audit evidence
About this workflow
This example represents the evidence chain that connects an operational or security incident to an audit-ready control conclusion. Response teams must restore safe service quickly, but compliance and audit also need to know what happened, which obligations were triggered, who approved key actions, whether controls were restored, and where the supporting records came from. The workflow treats evidence capture as part of response rather than a retrospective document exercise.
The normal path starts when the alert, affected control context, initial logs, and reporter observations are preserved. Triage assesses severity, scope, notification or reporting obligations, and assigns both response and evidence owners. During containment, approved actions and their commands, approvals, timestamps, and collected artifacts are recorded. Remediation removes the cause and links system changes to tested corrective requirements. Control validation then tests restored and compensating controls and reconciles expected evidence with observed results. When validation passes, the timeline, decisions, artifact lineage, limitations, and conclusion statements are assembled into an audit package with appropriate retention and access approval.
Exception handling acknowledges that incident evidence is often incomplete or contradictory. A gap discovered in triage or containment enters a dedicated evidence-exception path instead of being silently noted at closure. Missing, conflicting, or inaccessible records receive recovery actions and a documented limitation. Recovered evidence returns to control validation so the conclusion is tested against the improved record. If the gap is fundamental, the response must be reconstructed from available sources and returned to triage. Remediation regression sends the case back to containment; failed validation sends it back to remediation. Even a prepared audit package can be reopened if a packaging gap reveals that its conclusion is not adequately supported.
These controls matter because an incident can expose both an operational failure and a failure of the control environment. Preserving provenance, approvals, test results, and known limitations allows management, regulators, customers, and auditors to distinguish fact from assumption. It also reduces reliance on memories or manually reconstructed timelines and ensures that technical recovery is not mistaken for demonstrated control effectiveness.
Layer 1 — Incident evidence lifecycle
Layer 2 — Response evidence operations
Layer 3 — Evidence checks and actions
Privileged access recertification
About this workflow
This example represents a periodic recertification of administrator, elevated, and other high-impact access. The objective is not merely to collect attestations. It is to establish a complete review population, connect accounts to accountable identities and role sources, obtain informed decisions from business or system owners, execute required removals, and prove that approved decisions match effective access at the end of the review period.
The standard path begins by defining the systems, privileged roles, review period, policy criteria, and accountable owners. Entitlements are collected from directories and target platforms, then reconciled to people, service identities, and authoritative role records. Owners receive enough context to make a meaningful retain, modify, or revoke decision, including stated business need and recent-use evidence. Revocations and privilege reductions are issued through controlled change requests and verified across dependent systems. Retained and remediated access converges in control reconciliation, where recorded decisions are compared with actual access. Certification occurs only when the review population, decisions, and remediation are complete and the evidence package can be sealed.
The exception routes address common access-governance weaknesses. An inventory gap returns to scope because an incomplete population cannot support certification. Orphaned accounts, disputed ownership, emergency access, or decisions that cannot be completed enter an access-exception process with compensating controls and expiry. Failed removals also become exceptions rather than disappearing into an operations queue. Insufficient exception evidence returns to the owner decision. Residual access found during reconciliation reopens removal, ensuring that a closed ticket is not mistaken for an effective revocation.
These controls matter because privileged access can bypass preventive controls, alter evidence, and materially affect systems or data. A well-designed recertification demonstrates completeness, informed accountability, least privilege, timely remediation, and a defensible treatment of exceptions. It also distinguishes access that was approved on paper from access that remained technically active.
Layer 1 — Access recertification lifecycle
Layer 2 — Privileged access review operations
Layer 3 — Control checks and actions
Third-party compliance oversight
About this workflow
This example represents risk-based oversight of a vendor or other third party from proposed engagement through governed service, remediation, and exit. It recognizes that due diligence is not a one-time questionnaire. Compliance obligations must be translated into contract controls, monitored while the service operates, revisited when risk changes, and closed with evidence that access, assets, data, and residual obligations were handled appropriately.
The ordinary path starts by classifying the service, data handled, jurisdictions, subcontracting exposure, and accountable internal owners. Due diligence collects and assesses evidence such as beneficial ownership, sanctions screening, security controls, conduct indicators, licenses, and assurance reports. Requirements that pass assessment are converted into enforceable agreement terms covering control performance, notification, assurance, audit rights, and cooperation. The service then enters ongoing monitoring, where current attestations, performance indicators, adverse events, and changes in obligations are reviewed. A planned exit ends service access, recovers managed assets, and retains closure approval along with any surviving confidentiality, retention, or regulatory duties.
The exception paths avoid the false choice between unconditional approval and immediate termination. A due-diligence gap or missing contract control enters risk exception, where the unmet requirement, exposure, compensating controls, accountable approver, and expiry are recorded. An approved exception permits monitored operation; an exception that needs stronger controls moves into remediation. Monitoring findings also trigger a corrective-action plan with owners and dates. Completed actions return to monitoring only after evidence is verified. Failed remediation routes to exit, making termination a defined control outcome rather than an improvised response. Any later re-engagement begins again with current scope instead of inheriting stale assurance.
These controls matter because the organization remains accountable for many obligations performed through third parties. A traceable lifecycle helps compliance, procurement, information security, legal, and business owners distinguish inherent risk, contractual commitments, operating evidence, accepted residual risk, and unresolved control failure. It also prevents expired exceptions or old attestations from being treated as permanent approval.