SynapseLayer
Operome - StGB consolidated, offences against bodily integrity (§223 to §228)
Three scopes: §223 and §225 encoded under the current principles; §228 new, the consent exception · §224 moved to Excluded · [ConsentJustification] joins §32 and §34 as the third exception act of the §13 master rule, limited by the §35 counter-exception
{Variable} input · [Computable] act / derived · «if … end if» condition · struck excluded · word-for-word dissection; the law is reconstructable from the substrate

§223 · Bodily harm

BodilyHarm · provenance StGB 223 · (1) encoded; penalty and attempt struck
Source (English, unofficial)
Operome markup - original text encoded
(1) Whoever physically maltreats another person or damages the health of another person shall be punished with imprisonment for up to five years or a fine. (2) The attempt is punishable.
«if BodilyHarm is true»(1) {Actor} who «if {PhysicallyMaltreats} is true»physically maltreats another person «end if» «if {DamagesHealth} is true»or damages the health of another person «end if» shall be punished with imprisonment for up to five years or a fine. (2) The attempt is punishable.«end if»
Annexes
Computables
[BodilyHarm] = PhysicallyMaltreats is true or DamagesHealth is true
Business rules
idkindactorverb / predicatebody
BDH-R01actActorPhysicallyMaltreats is true
BDH-R02actActorDamagesHealth is true
BDH-R80actActorscope note: the two conducts gated individually per the encoding principles, disjunction in the composite; [BodilyHarm] is the act element to which the Section 228 consent exception attaches and the reference target of the Section 129a catalogue text; Section 224 has moved to Excluded, so its in-corpus mentions resolve as input onlyBodilyHarm is true
BDH-P0prohibitionActornot realisenot BodilyHarm
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
WhoeverTätersubjekt{Actor}in scope
physically maltreatsMerkmal{PhysicallyMaltreats}BDH-R01is true
damages the healthMerkmal{DamagesHealth}BDH-R02is true
penalty; (2) attemptsanction / attempt— excluded —struck
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{DamagesHealth}Booleantrue / false / unknownSession{Actor} damages the health of another person
{PhysicallyMaltreats}Booleantrue / false / unknownSession{Actor} physically maltreats another person
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} physically maltreats another person or {Actor} damages the health of another person.
Assembled only from the variable surface forms (including the actor) and the computable structure carried in the XSD, not from the source column. It should read as the offence. This is the recoverability test: the law is reverse-derivable from the substrate.
Dependent assessments (reactive invalidation)
AssessmentDepends onInvalidationTrigger effect
[BodilyHarm]PhysicallyMaltreats, DamagesHealthfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (BDH-P0)[BodilyHarm]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {DamagesHealth} ├─ {PhysicallyMaltreats} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [BodilyHarm] = PhysicallyMaltreats is true or DamagesHealth is true ↓ VERDICT (PrimeRule) ├─ [BodilyHarm] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [BodilyHarm] is falsenot realised
Recursion / re-entry notes
No runtime re-entry. The operome is a single forward evaluation: inputs → act computable(s) → Tatbestand composite → prohibition verdict. Attempt and preparation, where the section provides for them, are separate operomes, not re-entries.
Circularity check
• [BodilyHarm] depends on ; none refer back to [BodilyHarm]. No definitional cycle.
• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.
Questionnaire
#CascadeVariableQuestion / promptInput
Q1Session{Actor}Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?Reference
Q2Session{DamagesHealth}Element/Datum: {Actor} damages the health of another person.?Boolean
Q3Session{PhysicallyMaltreats}Element/Datum: {Actor} physically maltreats another person.?Boolean
Flags
Scope  Paragraph 1's two conducts; penalty and attempt struck per the standing conventions.
Consumers  The §228 consent exception attaches to this act element; the §129a catalogue text references §223. §224 has moved to Excluded; its catalogue mentions resolve as input only, a documentation note for the master.
Treatment  §223 Operomise; §224, §226, §226a, §227 Excluded.

§225 · Maltreatment of persons under one's care

AbuseOfPersonUnderCare · provenance StGB 225 · (1) encoded; (2)-(4) struck
Source (English, unofficial)
Operome markup - original text encoded
(1) Whoever torments or roughly maltreats a person under eighteen years or a person defenceless owing to frailty or illness who 1. is under his care or custody, 2. belongs to his household, 3. has been left in his power by the person obliged to provide care, or 4. is subordinate to him within a service or work relationship, or whoever damages the health of such a person through malicious neglect of his duty to care for the person, shall be punished with imprisonment for six months to ten years. (2) [Struck: attempt.] (3) [Struck: endangerment aggravation.] (4) [Struck: less serious cases.]
«if AbuseOfPersonUnderCare is true»(1) {Actor} who «if {Torments} is true»torments «end if» «if {RoughlyMaltreats} is true»or roughly maltreats «end if» «if {VictimUnderEighteen} is true»a person under eighteen years «end if» «if {DefencelessThroughFrailty} is true»or a person defenceless owing to frailty «end if» «if {DefencelessThroughIllness} is true»or illness «end if» who 1. «if {UnderCare} is true»is under the care «end if» «if {UnderCustody} is true»or custody of {Actor} «end if», 2. «if {BelongsToHousehold} is true»belongs to the household of {Actor} «end if», 3. «if {LeftInPower} is true»has been left in the power of {Actor} by the person obliged to provide care «end if», or 4. «if {SubordinateInWork} is true»is subordinate to {Actor} within a service or work relationship «end if», or who «if {MaliciousNeglectHealthDamage} is true»damages the health of such a person through malicious neglect of the duty to care for the person «end if» shall be punished with imprisonment for six months to ten years. (2) Attempt. (3) Endangerment aggravation. (4) Less serious cases.«end if»
Annexes
Computables
[ProtectedVictim] = VictimUnderEighteen is true or DefencelessThroughFrailty is true or DefencelessThroughIllness is true [AbusiveConduct] = Torments is true or RoughlyMaltreats is true or MaliciousNeglectHealthDamage is true [CareRelationship] = UnderCare is true or UnderCustody is true or BelongsToHousehold is true or LeftInPower is true or SubordinateInWork is true [AbuseOfPersonUnderCare] = ProtectedVictim is true and CareRelationship is true and AbusiveConduct is true
Business rules
idkindactorverb / predicatebody
APU-R01conditionNoneVictimUnderEighteen is true
APU-R02conditionNoneDefencelessThroughFrailty is true
APU-R03conditionNoneDefencelessThroughIllness is true
APU-R04conditionNoneUnderCare is true
APU-R05conditionNoneUnderCustody is true
APU-R06conditionNoneBelongsToHousehold is true
APU-R07conditionNoneLeftInPower is true
APU-R08conditionNoneSubordinateInWork is true
APU-R09actActorTorments is true
APU-R10actActorRoughlyMaltreats is true
APU-R11actActorMaliciousNeglectHealthDamage is true
APU-R80actActorscope note: paragraph 1 whole, the three victim alternatives over the four care relationships (the care-or-custody pair split per the encoding principles) over the three conducts; the malicious-neglect conduct carries its own health-damage result inside the conduct elementAbuseOfPersonUnderCare is true
APU-P0prohibitionActornot realisenot AbuseOfPersonUnderCare
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
WhoeverTätersubjekt{Actor}in scope
a person under eighteen yearsMerkmal{VictimUnderEighteen}APU-R01is true
a person defenceless owing to frailtyMerkmal{DefencelessThroughFrailty}APU-R02is true
a person defenceless owing to illnessMerkmal{DefencelessThroughIllness}APU-R03is true
the person is under the care of {Actor}Merkmal{UnderCare}APU-R04is true
the person is under the custody of {Actor}Merkmal{UnderCustody}APU-R05is true
the person belongs to the household of {Actor}Merkmal{BelongsToHousehold}APU-R06is true
the person has been left in the power of {Actor} by the person obliged to provide careMerkmal{LeftInPower}APU-R07is true
the person is subordinate to {Actor} within a work relationshipMerkmal{SubordinateInWork}APU-R08is true
{Actor} torments the personMerkmal{Torments}APU-R09is true
{Actor} roughly maltreats the personMerkmal{RoughlyMaltreats}APU-R10is true
{Actor} damages the health of the person through malicious neglect of the duty of careMerkmal{MaliciousNeglectHealthDamage}APU-R11is true
(2) attempt; (3) endangerment aggravation; (4) less serious casesattempt / grading— excluded —struck
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{BelongsToHousehold}Booleantrue / false / unknownSessionthe person belongs to the household of {Actor}
{DefencelessThroughFrailty}Booleantrue / false / unknownSessiona person defenceless owing to frailty
{DefencelessThroughIllness}Booleantrue / false / unknownSessiona person defenceless owing to illness
{LeftInPower}Booleantrue / false / unknownSessionthe person has been left in the power of {Actor} by the person obliged to provide care
{MaliciousNeglectHealthDamage}Booleantrue / false / unknownSession{Actor} damages the health of the person through malicious neglect of the duty of care
{RoughlyMaltreats}Booleantrue / false / unknownSession{Actor} roughly maltreats the person
{SubordinateInWork}Booleantrue / false / unknownSessionthe person is subordinate to {Actor} within a work relationship
{Torments}Booleantrue / false / unknownSession{Actor} torments the person
{UnderCare}Booleantrue / false / unknownSessionthe person is under the care of {Actor}
{UnderCustody}Booleantrue / false / unknownSessionthe person is under the custody of {Actor}
{VictimUnderEighteen}Booleantrue / false / unknownSessiona person under eighteen years
Reconstruction from the substrate
Committed by any person (the actor) who: (a person under eighteen years or a person defenceless owing to frailty or a person defenceless owing to illness) and (the person is under the care of {Actor} or the person is under the custody of {Actor} or the person belongs to the household of {Actor} or the person has been left in the power of {Actor} by the person obliged to provide care or the person is subordinate to {Actor} within a work relationship) and ({Actor} torments the person or {Actor} roughly maltreats the person or {Actor} damages the health of the person through malicious neglect of the duty of care).
Assembled only from the variable surface forms (including the actor) and the computable structure carried in the XSD, not from the source column. It should read as the offence. This is the recoverability test: the law is reverse-derivable from the substrate.
Dependent assessments (reactive invalidation)
AssessmentDepends onInvalidationTrigger effect
[ProtectedVictim]VictimUnderEighteen, DefencelessThroughFrailty, DefencelessThroughIllnessfalseRecomputes when any input changes; propagates into the composite.
[AbusiveConduct]Torments, RoughlyMaltreats, MaliciousNeglectHealthDamagefalseRecomputes when any input changes; propagates into the composite.
[CareRelationship]UnderCare, UnderCustody, BelongsToHousehold, LeftInPower, SubordinateInWorkfalseRecomputes when any input changes; propagates into the composite.
[AbuseOfPersonUnderCare]ProtectedVictim, CareRelationship, AbusiveConductfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (APU-P0)[AbuseOfPersonUnderCare]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {BelongsToHousehold} ├─ {DefencelessThroughFrailty} ├─ {DefencelessThroughIllness} ├─ {LeftInPower} ├─ {MaliciousNeglectHealthDamage} ├─ {RoughlyMaltreats} ├─ {SubordinateInWork} ├─ {Torments} ├─ {UnderCare} ├─ {UnderCustody} ├─ {VictimUnderEighteen} ↓ PHASE 2: evaluate act / intermediate computables ├─ [ProtectedVictim] = VictimUnderEighteen is true or DefencelessThroughFrailty is true or DefencelessThroughIllness is true ├─ [AbusiveConduct] = Torments is true or RoughlyMaltreats is true or MaliciousNeglectHealthDamage is true ├─ [CareRelationship] = UnderCare is true or UnderCustody is true or BelongsToHousehold is true or LeftInPower is true or SubordinateInWork is true ↓ PHASE 3: evaluate the objective conditions └─ [AbuseOfPersonUnderCare] = ProtectedVictim is true and CareRelationship is true and AbusiveConduct is true ↓ VERDICT (PrimeRule) ├─ [AbuseOfPersonUnderCare] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [AbuseOfPersonUnderCare] is falsenot realised
Recursion / re-entry notes
No runtime re-entry. The operome is a single forward evaluation: inputs → act computable(s) → Tatbestand composite → prohibition verdict. Attempt and preparation, where the section provides for them, are separate operomes, not re-entries.
Circularity check
• [AbuseOfPersonUnderCare] depends on [ProtectedVictim], [AbusiveConduct], [CareRelationship]; none refer back to [AbuseOfPersonUnderCare]. No definitional cycle.
• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.
Questionnaire
#CascadeVariableQuestion / promptInput
Q1Session{Actor}Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?Reference
Q2Session{BelongsToHousehold}Element/Datum: the person belongs to the household of {Actor}.?Boolean
Q3Session{DefencelessThroughFrailty}Element/Datum: a person defenceless owing to frailty.?Boolean
Q4Session{DefencelessThroughIllness}Element/Datum: a person defenceless owing to illness.?Boolean
Q5Session{LeftInPower}Element/Datum: the person has been left in the power of {Actor} by the person obliged to provide care.?Boolean
Q6Session{MaliciousNeglectHealthDamage}Element/Datum: {Actor} damages the health of the person through malicious neglect of the duty of care.?Boolean
Q7Session{RoughlyMaltreats}Element/Datum: {Actor} roughly maltreats the person.?Boolean
Q8Session{SubordinateInWork}Element/Datum: the person is subordinate to {Actor} within a work relationship.?Boolean
Q9Session{Torments}Element/Datum: {Actor} torments the person.?Boolean
Q10Session{UnderCare}Element/Datum: the person is under the care of {Actor}.?Boolean
Q11Session{UnderCustody}Element/Datum: the person is under the custody of {Actor}.?Boolean
Q12Session{VictimUnderEighteen}Element/Datum: a person under eighteen years.?Boolean
Flags
Scope  Paragraph 1 whole and live; (2), (3) and (4) struck, the standing treatment of attempt and grading, in contrast to §221 where the markup kept the qualification live.
Structure  Three victim alternatives over four care relationships over three conducts; the Fürsorge-oder-Obhut pair split into {UnderCare} and {UnderCustody} per the encoding principles, disjunction in the computable.
Evaluative residue  “torments”, “roughly” and “malicious” carry normative weight; the structure compiles, the thresholds escalate at the margin.
Treatment  §225 Operomise; §226, §226a, §227 Excluded.

§228 · Consent (exception scope)

ConsentJustification · provenance StGB 228 · whole provision live; good-morals threshold escalated
Source (English, unofficial)
Operome markup - original text encoded
Whoever performs a bodily harm with the consent of the injured person acts unlawfully only where the act, despite the consent, offends good morals.
«if ConsentJustification is true»{Actor} who performs a bodily harm with «if {ConsentGiven} is true»the consent of the injured person «end if» acts unlawfully only where «if {ContraBonosMores} is false»the act, despite the consent, offends good morals «end if».«end if»
Annexes
Computables
[ConsentJustification] = ConsentGiven is true and not ContraBonosMores
Business rules
idkindactorverb / predicatebody
CJU-R01conditionNoneConsentGiven is true
CJU-R02conditionNoneContraBonosMores is true
CJU-R80conditionNoneexception (whole provision live, zero strikes): whoever performs a bodily harm with the consent of the injured person acts unlawfully only where the act offends good morals despite the consent; [ConsentJustification] is the third exception act consumed by the Section 13 master rule alongside Sections 32 and 34, limited by the Section 35 counter-exception; the act element resolves against [BodilyHarm] of the Section 223 scope in this carrier; the good-morals threshold is evaluative residue flagged for escalationConsentJustification is true
CJU-P0prohibitionActornot realisenot ConsentJustification
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
Whoever performs a bodily harmact element (cross-scope)— resolves against [BodilyHarm], §223 —CJU-R80in scope
with the consent of the injured personMerkmal{ConsentGiven}CJU-R01is true
offends good morals despite the consentGrenze (evaluative){ContraBonosMores}CJU-R02is false
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{ConsentGiven}Booleantrue / false / unknownSessionthe injured person consents to the bodily harm
{ContraBonosMores}Booleantrue / false / unknownSessionthe act offends good morals despite the consent
Reconstruction from the substrate
Committed by any person (the actor) who: the injured person consents to the bodily harm and not ContraBonosMores.
Assembled only from the variable surface forms (including the actor) and the computable structure carried in the XSD, not from the source column. It should read as the offence. This is the recoverability test: the law is reverse-derivable from the substrate.
Dependent assessments (reactive invalidation)
AssessmentDepends onInvalidationTrigger effect
[ConsentJustification]ConsentGiven, ContraBonosMoresfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (CJU-P0)[ConsentJustification]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ConsentGiven} ├─ {ContraBonosMores} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [ConsentJustification] = ConsentGiven is true and not ContraBonosMores ↓ VERDICT (PrimeRule) ├─ [ConsentJustification] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ConsentJustification] is falsenot realised
Recursion / re-entry notes
No runtime re-entry. The operome is a single forward evaluation: inputs → act computable(s) → Tatbestand composite → prohibition verdict. Attempt and preparation, where the section provides for them, are separate operomes, not re-entries.
Circularity check
• [ConsentJustification] depends on ; none refer back to [ConsentJustification]. No definitional cycle.
• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.
Questionnaire
#CascadeVariableQuestion / promptInput
Q1Session{Actor}Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?Reference
Q2Session{ConsentGiven}Element/Datum: the injured person consents to the bodily harm.?Boolean
Q3Session{ContraBonosMores}Element/Datum: the act offends good morals despite the consent.?Boolean
Flags
Scope  Whole provision live, zero strikes: an exception scope, the bodily-integrity counterpart of §32 and §34. Consumed by the §13 master rule's {ExceptionActApplies}; limited by the §35 counter-exception.
Evaluative residue  “gute Sitten” is the open-textured limit of the provision: consent decides cleanly; whether the act offends good morals despite it escalates. The structure compiles, the threshold does not pretend to.
Cross-scope reference  The act element resolves against [BodilyHarm] of the §223 scope in this carrier.
Treatment  §228 is Operomise-tagged; §229, §230, §231 are Excluded.
SynapseLayer operome extraction · Lisbon, 10 June 2026