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
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
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
| id | kind | actor | verb / predicate | body |
|---|---|---|---|---|
| BDH-R01 | act | Actor | PhysicallyMaltreats is true | |
| BDH-R02 | act | Actor | DamagesHealth is true | |
| BDH-R80 | act | Actor | scope 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 only | BodilyHarm is true |
| BDH-P0 | prohibition | Actor | not realise | not BodilyHarm |
Tatbestand dissected to the Merkmal
| Source phrase | Doctrinal role | Primitive | Rule | Requires |
|---|---|---|---|---|
| Whoever | Tätersubjekt | {Actor} | — | in scope |
| physically maltreats | Merkmal | {PhysicallyMaltreats} | BDH-R01 | is true |
| damages the health | Merkmal | {DamagesHealth} | BDH-R02 | is true |
| penalty; (2) attempt | sanction / attempt | — excluded — | — | struck |
Variables appendix
| Variable | Input | Values | Cascade | Surface form (source words) |
|---|---|---|---|---|
| {Actor} | Reference | – | Session | any person (the actor) |
| {DamagesHealth} | Boolean | true / false / unknown | Session | {Actor} damages the health of another person |
| {PhysicallyMaltreats} | Boolean | true / false / unknown | Session | {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)
| Assessment | Depends on | Invalidation | Trigger effect |
|---|---|---|---|
| [BodilyHarm] | PhysicallyMaltreats, DamagesHealth | false | Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown. |
| prohibition (BDH-P0) | [BodilyHarm] | re-derives | The 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 false → not 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
| # | Cascade | Variable | Question / prompt | Input |
|---|---|---|---|---|
| Q1 | Session | {Actor} | Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.? | Reference |
| Q2 | Session | {DamagesHealth} | Element/Datum: {Actor} damages the health of another person.? | Boolean |
| Q3 | Session | {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.
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
| id | kind | actor | verb / predicate | body |
|---|---|---|---|---|
| APU-R01 | condition | None | VictimUnderEighteen is true | |
| APU-R02 | condition | None | DefencelessThroughFrailty is true | |
| APU-R03 | condition | None | DefencelessThroughIllness is true | |
| APU-R04 | condition | None | UnderCare is true | |
| APU-R05 | condition | None | UnderCustody is true | |
| APU-R06 | condition | None | BelongsToHousehold is true | |
| APU-R07 | condition | None | LeftInPower is true | |
| APU-R08 | condition | None | SubordinateInWork is true | |
| APU-R09 | act | Actor | Torments is true | |
| APU-R10 | act | Actor | RoughlyMaltreats is true | |
| APU-R11 | act | Actor | MaliciousNeglectHealthDamage is true | |
| APU-R80 | act | Actor | scope 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 element | AbuseOfPersonUnderCare is true |
| APU-P0 | prohibition | Actor | not realise | not AbuseOfPersonUnderCare |
Tatbestand dissected to the Merkmal
| Source phrase | Doctrinal role | Primitive | Rule | Requires |
|---|---|---|---|---|
| Whoever | Tätersubjekt | {Actor} | — | in scope |
| a person under eighteen years | Merkmal | {VictimUnderEighteen} | APU-R01 | is true |
| a person defenceless owing to frailty | Merkmal | {DefencelessThroughFrailty} | APU-R02 | is true |
| a person defenceless owing to illness | Merkmal | {DefencelessThroughIllness} | APU-R03 | is true |
| the person is under the care of {Actor} | Merkmal | {UnderCare} | APU-R04 | is true |
| the person is under the custody of {Actor} | Merkmal | {UnderCustody} | APU-R05 | is true |
| the person belongs to the household of {Actor} | Merkmal | {BelongsToHousehold} | APU-R06 | is true |
| the person has been left in the power of {Actor} by the person obliged to provide care | Merkmal | {LeftInPower} | APU-R07 | is true |
| the person is subordinate to {Actor} within a work relationship | Merkmal | {SubordinateInWork} | APU-R08 | is true |
| {Actor} torments the person | Merkmal | {Torments} | APU-R09 | is true |
| {Actor} roughly maltreats the person | Merkmal | {RoughlyMaltreats} | APU-R10 | is true |
| {Actor} damages the health of the person through malicious neglect of the duty of care | Merkmal | {MaliciousNeglectHealthDamage} | APU-R11 | is true |
| (2) attempt; (3) endangerment aggravation; (4) less serious cases | attempt / grading | — excluded — | — | struck |
Variables appendix
| Variable | Input | Values | Cascade | Surface form (source words) |
|---|---|---|---|---|
| {Actor} | Reference | – | Session | any person (the actor) |
| {BelongsToHousehold} | Boolean | true / false / unknown | Session | the person belongs to the household of {Actor} |
| {DefencelessThroughFrailty} | Boolean | true / false / unknown | Session | a person defenceless owing to frailty |
| {DefencelessThroughIllness} | Boolean | true / false / unknown | Session | a person defenceless owing to illness |
| {LeftInPower} | Boolean | true / false / unknown | Session | the person has been left in the power of {Actor} by the person obliged to provide care |
| {MaliciousNeglectHealthDamage} | Boolean | true / false / unknown | Session | {Actor} damages the health of the person through malicious neglect of the duty of care |
| {RoughlyMaltreats} | Boolean | true / false / unknown | Session | {Actor} roughly maltreats the person |
| {SubordinateInWork} | Boolean | true / false / unknown | Session | the person is subordinate to {Actor} within a work relationship |
| {Torments} | Boolean | true / false / unknown | Session | {Actor} torments the person |
| {UnderCare} | Boolean | true / false / unknown | Session | the person is under the care of {Actor} |
| {UnderCustody} | Boolean | true / false / unknown | Session | the person is under the custody of {Actor} |
| {VictimUnderEighteen} | Boolean | true / false / unknown | Session | a 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)
| Assessment | Depends on | Invalidation | Trigger effect |
|---|---|---|---|
| [ProtectedVictim] | VictimUnderEighteen, DefencelessThroughFrailty, DefencelessThroughIllness | false | Recomputes when any input changes; propagates into the composite. |
| [AbusiveConduct] | Torments, RoughlyMaltreats, MaliciousNeglectHealthDamage | false | Recomputes when any input changes; propagates into the composite. |
| [CareRelationship] | UnderCare, UnderCustody, BelongsToHousehold, LeftInPower, SubordinateInWork | false | Recomputes when any input changes; propagates into the composite. |
| [AbuseOfPersonUnderCare] | ProtectedVictim, CareRelationship, AbusiveConduct | false | Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown. |
| prohibition (APU-P0) | [AbuseOfPersonUnderCare] | re-derives | The 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 false → not 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
| # | Cascade | Variable | Question / prompt | Input |
|---|---|---|---|---|
| Q1 | Session | {Actor} | Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.? | Reference |
| Q2 | Session | {BelongsToHousehold} | Element/Datum: the person belongs to the household of {Actor}.? | Boolean |
| Q3 | Session | {DefencelessThroughFrailty} | Element/Datum: a person defenceless owing to frailty.? | Boolean |
| Q4 | Session | {DefencelessThroughIllness} | Element/Datum: a person defenceless owing to illness.? | Boolean |
| Q5 | Session | {LeftInPower} | Element/Datum: the person has been left in the power of {Actor} by the person obliged to provide care.? | Boolean |
| Q6 | Session | {MaliciousNeglectHealthDamage} | Element/Datum: {Actor} damages the health of the person through malicious neglect of the duty of care.? | Boolean |
| Q7 | Session | {RoughlyMaltreats} | Element/Datum: {Actor} roughly maltreats the person.? | Boolean |
| Q8 | Session | {SubordinateInWork} | Element/Datum: the person is subordinate to {Actor} within a work relationship.? | Boolean |
| Q9 | Session | {Torments} | Element/Datum: {Actor} torments the person.? | Boolean |
| Q10 | Session | {UnderCare} | Element/Datum: the person is under the care of {Actor}.? | Boolean |
| Q11 | Session | {UnderCustody} | Element/Datum: the person is under the custody of {Actor}.? | Boolean |
| Q12 | Session | {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.
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
| id | kind | actor | verb / predicate | body |
|---|---|---|---|---|
| CJU-R01 | condition | None | ConsentGiven is true | |
| CJU-R02 | condition | None | ContraBonosMores is true | |
| CJU-R80 | condition | None | exception (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 escalation | ConsentJustification is true |
| CJU-P0 | prohibition | Actor | not realise | not ConsentJustification |
Tatbestand dissected to the Merkmal
| Source phrase | Doctrinal role | Primitive | Rule | Requires |
|---|---|---|---|---|
| Whoever performs a bodily harm | act element (cross-scope) | — resolves against [BodilyHarm], §223 — | CJU-R80 | in scope |
| with the consent of the injured person | Merkmal | {ConsentGiven} | CJU-R01 | is true |
| offends good morals despite the consent | Grenze (evaluative) | {ContraBonosMores} | CJU-R02 | is false |
Variables appendix
| Variable | Input | Values | Cascade | Surface form (source words) |
|---|---|---|---|---|
| {Actor} | Reference | – | Session | any person (the actor) |
| {ConsentGiven} | Boolean | true / false / unknown | Session | the injured person consents to the bodily harm |
| {ContraBonosMores} | Boolean | true / false / unknown | Session | the 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)
| Assessment | Depends on | Invalidation | Trigger effect |
|---|---|---|---|
| [ConsentJustification] | ConsentGiven, ContraBonosMores | false | Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown. |
| prohibition (CJU-P0) | [ConsentJustification] | re-derives | The 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 false → not 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
| # | Cascade | Variable | Question / prompt | Input |
|---|---|---|---|---|
| Q1 | Session | {Actor} | Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.? | Reference |
| Q2 | Session | {ConsentGiven} | Element/Datum: the injured person consents to the bodily harm.? | Boolean |
| Q3 | Session | {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.