Module responsibility 

Responsibility & systemic meta-guard (§25 + §30, legal_logic.md).

§25 — allegation → adjudication. The engine must reason about claims of harm without adopting them as truth. An alleged act is held as an allegation (RDF-star: a quoted statement) and only an authority’s adjudication promotes it to an enforceable fact. This keeps the accusation machinery from becoming an accusation weapon.

§30 — systemic meta-guard. The person must be protected from the system itself. If the engine acts as enforcer it is bound by the same baselines it enforces: it may not grant an institution power while denying the affected person a remedy (rule-of-law asymmetry), block an action with no appeal path (enforcer overreach), or let harm occur with no accountable natural person behind it (accountability vacuum). These are deliberately simple, total predicates — guardrails, not heuristics.

Enums

MoralAppraisal

The moral appraisal of an agent’s act.

ResponsibilityStatus

The adjudicative state of a claim about conduct (§25).

Functions

accountability_vacuum

Accountability vacuum: harm occurred via an autonomous process, but no natural person is accountable (the corporate veil / architecture shields everyone). Routes to SanctionableSubject review. (Ties to agency.n3 G1’ — an artificial agent must have a human Principal behind it.)

adjudicate

Promote an allegation per an adjudication outcome. Adjudicated and Dismissed are terminal; an undecided claim stays Alleged.

appraise

Appraise moral responsibility. Blame/praise require a non-zero causal_degree, a voluntary act, and has_capacity (the §18 capacity gate carries into moral responsibility — an agent who lacked capacity or acted involuntarily is EXCUSED). good_outcome sets the valence; blame additionally requires a culpable_mind (intent or recklessness — a mere accident with a bad outcome is excused). Degree scales with the agent’s causal share.

degree_of_responsibility

Degree of responsibility = an agent’s causal contribution as a share of the total causal weight of all contributors, in [0,1]. 0.0 if total is 0.

double_effect_permissible

Doctrine of Double Effect: an act with a foreseen-but-unintended bad side effect is permissible iff ALL four conditions hold:

enforcer_overreach

Enforcer overreach: the system blocks an action but provides the person no grounded path to appeal the block. (The enforcer is bound by due process too.)

is_enforceable_fact

Only an adjudicated claim is an enforceable fact (allegations and dismissals are not). This is the gate that stops an allegation from triggering contrary-to-duty penalties before due process.

responsibility_shares

Normalise a vector of causal contributions into responsibility shares, written into out (parallel; sums to 1.0). Returns false if all-zero or out is too small. Zero-heap.

rule_of_law_asymmetry

Rule-of-law asymmetry: the system grants an institution access/power while denying the affected person a remedy / due process. (J-asymmetry — a defining marker of capture.)