State model
The source document remains immutable. Derived rules and fragments carry source anchors, compiler version, effective dates and approval state.
A new rule changes obligations across policies, controls, processes, systems and evidence, but similar language does not imply identical impact.
The system extracts candidate obligations, maps them to a versioned control graph and proposes impact hypotheses with explicit gaps and accountable owners.
Organisations, systems and operating conditions are intentionally anonymised and recomposed. The design demonstrates engineering and banking-domain reasoning; it does not represent a named client estate, vendor product or measured production result.
Typed commands, state changes and receipts cross an event spine without surrendering domain ownership.
Permitted workThe system assembles evidence and tests obligations. Accountable control owners decide ratings, exceptions, findings and closure.
Consistency ruleLink each conclusion to effective obligation, control, population, test and owner; corrections append rather than erase prior evidence.
Hard boundaryThe model is not a system of record, identity provider, policy authority or proof that an external effect occurred.
Documents, rules and product content must become effective, attributable and executable without allowing retrieval relevance to decide authority.
Models cannot declare compliance or close an obligation; every mapping requires owner acceptance and test evidence.
A deterministic outer workflow contains model-led work inside typed, observable calls. Dashed messages remain proposals until policy or a human grants authority.
The source document remains immutable. Derived rules and fragments carry source anchors, compiler version, effective dates and approval state.
Serving APIs expose rules and evidence separately. Retrieval returns candidates; an authority filter decides whether they may enter context.
A request resolves one effective rule set for its product, jurisdiction and date. Conflicting versions stop consequential conclusions.
These roles are deliberately vendor-neutral. Each can be independently owned, versioned and replaced.
Returns candidate entities and typed relationships with match features, contradictions, effective dates and non-merge evidence.
Runs a versioned state machine with explicit waits, deadlines, retries, compensations, human tasks and terminal states.
Appends request, versions, policy result, model proposal, approval, action receipt, readback, correction and custody events under one correlation key.
Serves owned, audience-qualified and effective-dated content; exposes supersession, withdrawal and dependency metadata.
Evaluates identity, purpose, capability, amount, risk tier and policy version; returns allow, deny, step-up or human-review with reasons.
Durable records carry provenance, authority, effect and custody without turning a transcript into an uncontrolled memory store.
Link each conclusion to effective obligation, control, population, test and owner; corrections append rather than erase prior evidence.
The selected design is not universally superior. It is the safer fit for this boundary and failure cost.
Bias consequential journeys against false merge and retain unresolved candidates.
Automatically merge the highest-scoring candidate.
Cost acceptedMore cases require clarification, but one person's authority or risk cannot silently attach to another.
Keep consequential state transitions deterministic and use models inside bounded steps.
Let the model choose the complete path and recovery sequence.
Cost acceptedThe shell reduces flexibility, but makes deadlines, retries, permissions and recovery testable.
Use append-only events plus a rebuildable current-state projection.
Overwrite the case row with its latest status.
Cost acceptedReplay and storage are more complex, but point-in-time reconstruction and correction lineage remain possible.
Federate authoring while centralising lifecycle metadata, validation and serving rules.
Create one centrally authored knowledge corpus.
Cost acceptedFederation requires stronger contracts and owner discipline, but preserves domain accountability and release velocity.
Compile stable decision logic and retain retrieval for explanation and residual ambiguity.
Ask a model to interpret the source document for every request.
Cost acceptedRule compilation needs controlled change, but creates repeatable decisions, regression tests and clear exceptions.
Retries are bounded by knowledge of business effect; unknown outcome remains visible, owned and independently reconciled.
Actual thresholds belong to accountable service owners. The design exposes the equations and observables that those owners must baseline.
compile_work = changed_sources x affected_rules x dependent_routesserving_qps = knowledge_requests x candidate_fragmentsrevalidation_scope = changed_dependencies x linked_test_setsSeparate privileged, investigation and employee data from general model context; preserve legal-hold and access evidence.
A design is production-ready only when teams can prove what happened, recover it and change it safely.
obligation-to-control coverage
sampling and population integrity
evidence freshness and independence
finding closure and residual-risk approval
Source clause, interpretation version, mapped controls, gap rationale, owner decision, test result and effective date.
Legal, compliance and control owners approve interpretation and closure.
Start with high-consequence rules and stable documents. Expand automation only where extraction corrections and owner decisions show repeatable structure.
First-line control, second-line risk, compliance, audit and legal owners keep their separate decision rights.