SynapseLayer
Operome - StGB consolidated, general provisions (§11 to §35)
Five scopes: the §11 definitions, the §13 authored master rule, the §32 and §34 exception acts, the §35 counter-exception · the constraint architecture of the corpus: prevention duty, non-commission prohibition, exceptions, counter-exception · authored text disclosed as authored; evaluative residue flagged for escalation
{Variable} input · [Computable] act / derived · «if … end if» condition · struck excluded · word-for-word dissection; the law is reconstructable from the substrate

§11 · Terms relating to persons and things (definitions scope)

StatutoryDefinitions · provenance StGB 11 · four definitions authored; remainder excluded per annotations
Source (English, unofficial)
Operome markup - original text encoded
(1) Within the meaning of this law, 1. a relative is: whoever belongs to the following persons: a) relatives by blood or marriage in the direct line, the spouse, the civil partner, the betrothed, siblings, spouses or civil partners of siblings, siblings of spouses or civil partners, even where the marriage or civil partnership founding the relationship no longer exists or the kinship or affinity has lapsed, b) foster parents and foster children; 2. a public official is: whoever, under the law applicable to that person [“under German law” struck], a) is a civil servant or judge, b) stands in another public-law office relationship, or c) is otherwise appointed to perform tasks of public administration, or of similar institutions of national or international law [inserted], at or on behalf of an authority or another body, irrespective of the organisational form chosen; 2a. [European officials — excluded: covered generically above]; 3. [judge — excluded: not necessary for generic ethics rules]; 4. [persons with special public-service obligations — excluded: covered generically by no. 2]; 5. [unlawful act — excluded: only relevant for consequences]; 6. [undertaking of an offence — excluded: only relevant for consequences]; 7. [authority includes court — excluded: already covered]; 8. [measure — excluded: not relevant]; 9. consideration is: any quid pro quo consisting of a pecuniary advantage. (2) [Intent extension — excluded: only relevant for consequences.] (3) Content, within the meaning of the provisions referring to this paragraph, is content contained in writings, on audio or visual media, in data storage, images or other embodiments, or transmitted by means of information or communications technology independently of any storage.
«if StatutoryDefinitions is true»(1) Within the meaning of this law, «if [Relative] is true»1. a relative is: «if {DirectLineKin} is true»a relative by blood in the direct line «end if» «if {DirectLineAffine} is true», a relative by marriage in the direct line «end if» «if {Spouse} is true», the spouse «end if» «if {CivilPartner} is true», the civil partner «end if» «if {Fiance} is true», the betrothed «end if» «if {Sibling} is true», a sibling «end if» «if {SiblingSpouse} is true», a spouse of a sibling «end if» «if {SiblingCivilPartner} is true», a civil partner of a sibling «end if» «if {SpouseSibling} is true», a sibling of the spouse «end if» «if {CivilPartnerSibling} is true», a sibling of the civil partner «end if», even «if {RelationshipEnded} is true»where the founding marriage or partnership no longer exists «end if», «if {FosterParent} is true»a foster parent «end if» «if {FosterChild} is true»or a foster child «end if» «end if»; «if [PublicOfficial] is true»2. a public official is: whoever, under the law applicable to that person under German law, «if {CivilServantOrJudge} is true»is a civil servant or judge «end if» «if {PublicLawOffice} is true», stands in another public-law office relationship «end if» «if {AppointedForPublicAdministration} is true», or is otherwise appointed to perform tasks of public administration, or of similar institutions of national or international law, at or on behalf of an authority or another body, irrespective of the organisational form chosen «end if» «end if»; 2a. European officials · 3. judge · 4. persons with special public-service obligations · 5. unlawful act · 6. undertaking of an offence · 7. authority · 8. measure: excluded per the annotations «if [Consideration] is true»9. consideration is: «if {PecuniaryQuidProQuo} is true»any quid pro quo consisting of a pecuniary advantage «end if» «end if». (2) Intent extension: excluded per the annotation. «if [StatutoryContent] is true»(3) Content is «if {EmbodiedContent} is true»content contained in writings, on audio or visual media, in data storage, images or other embodiments «end if» «if {TransmittedContent} is true»or transmitted by means of information or communications technology independently of any storage «end if» «end if».«end if»
Annexes
Computables
[Relative] = DirectLineKin is true or DirectLineAffine is true or Spouse is true or CivilPartner is true or Fiance is true or Sibling is true or SiblingSpouse is true or SiblingCivilPartner is true or SpouseSibling is true or CivilPartnerSibling is true or FosterParent is true or FosterChild is true [StatutoryContent] = EmbodiedContent is true or TransmittedContent is true [Consideration] = PecuniaryQuidProQuo is true [PublicOfficial] = CivilServantOrJudge is true or PublicLawOffice is true or AppointedForPublicAdministration is true [StatutoryDefinitions] = Relative is true or PublicOfficial is true or Consideration is true or StatutoryContent is true
Business rules
idkindactorverb / predicatebody
SDN-R01conditionNoneDirectLineKin is true
SDN-R02conditionNoneDirectLineAffine is true
SDN-R03conditionNoneSpouse is true
SDN-R04conditionNoneCivilPartner is true
SDN-R05conditionNoneFiance is true
SDN-R06conditionNoneSibling is true
SDN-R07conditionNoneSiblingSpouse is true
SDN-R08conditionNoneSiblingCivilPartner is true
SDN-R09conditionNoneSpouseSibling is true
SDN-R10conditionNoneCivilPartnerSibling is true
SDN-R11conditionNoneRelationshipEnded is true
SDN-R12conditionNoneFosterParent is true
SDN-R13conditionNoneFosterChild is true
SDN-R14conditionNoneCivilServantOrJudge is true
SDN-R15conditionNonePublicLawOffice is true
SDN-R16conditionNoneAppointedForPublicAdministration is true
SDN-R17conditionNonePecuniaryQuidProQuo is true
SDN-R18conditionNoneEmbodiedContent is true
SDN-R19conditionNoneTransmittedContent is true
SDN-R80conditionNonedefinition (paragraph 1 no. 1, live): a relative is any of the listed persons, including where the founding marriage or partnership no longer exists or the kinship or affinity has lapsed ({RelationshipEnded} does not defeat [Relative]); consumed by the Section 157 exception scope and the Section 35 counter-exceptionRelative is true
SDN-R81conditionNonedefinition (paragraph 1 no. 2, live, generalised): a public official is one who, under the law applicable to that person (the words “under German law” struck and replaced per the markup), is a civil servant or judge, stands in another public-law office relationship, or is otherwise appointed to perform public-administration tasks at or on behalf of an authority or another body or similar institutions of national or international law (inserted extension per the markup), irrespective of the organisational form chosenPublicOfficial is true
SDN-R82conditionNonedefinition (paragraph 1 no. 9, live): consideration is any quid pro quo consisting of a pecuniary advantageConsideration is true
SDN-R83conditionNonedefinition (paragraph 3, live): content within the meaning of the provisions referring to this paragraph is content contained in writings, on audio or visual media, in data storage, images or other embodiments, or transmitted by means of information or communications technology independently of any storage; consumed across the corpus wherever “content (Section 11(3))” appearsStatutoryContent is true
SDN-P0prohibitionNonenot realisenot StatutoryDefinitions
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
Within the meaning of this lawdefinitions scopein scope
relative (no. 1)Definition[Relative]SDN-R80authored
public official (no. 2, generalised)Definition[PublicOfficial]SDN-R81authored
consideration (no. 9)Definition[Consideration]SDN-R82authored
content (paragraph 3)Definition[StatutoryContent]SDN-R83authored
nos. 2a, 3 to 8; paragraph 2definitions— excluded —per annotations
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{AppointedForPublicAdministration}Booleantrue / false / unknownSessionthe person is otherwise appointed to perform public-administration tasks
{CivilPartner}Booleantrue / false / unknownSessionthe civil partner
{CivilPartnerSibling}Booleantrue / false / unknownSessiona sibling of the civil partner
{CivilServantOrJudge}Booleantrue / false / unknownSessionthe person is a civil servant under the law applicable to that person
{DirectLineAffine}Booleantrue / false / unknownSessiona relative by marriage in the direct line
{DirectLineKin}Booleantrue / false / unknownSessiona relative by blood in the direct line
{EmbodiedContent}Booleantrue / false / unknownSessioncontent contained in an embodiment
{Fiance}Booleantrue / false / unknownSessionthe betrothed
{FosterChild}Booleantrue / false / unknownSessiona foster child
{FosterParent}Booleantrue / false / unknownSessiona foster parent
{PecuniaryQuidProQuo}Booleantrue / false / unknownSessiona consideration consisting of a pecuniary advantage
{PublicLawOffice}Booleantrue / false / unknownSessionthe person stands in another public-law office relationship
{RelationshipEnded}Booleantrue / false / unknownSessionthe founding relationship has ended
{Sibling}Booleantrue / false / unknownSessiona sibling
{SiblingCivilPartner}Booleantrue / false / unknownSessiona civil partner of a sibling
{SiblingSpouse}Booleantrue / false / unknownSessiona spouse of a sibling
{Spouse}Booleantrue / false / unknownSessionthe spouse
{SpouseSibling}Booleantrue / false / unknownSessiona sibling of the spouse
{TransmittedContent}Booleantrue / false / unknownSessioncontent transmitted by communications technology independently of storage
Reconstruction from the substrate
Committed by any person (the actor) who: (a relative by blood in the direct line or a relative by marriage in the direct line or the spouse or the civil partner or the betrothed or a sibling or a spouse of a sibling or a civil partner of a sibling or a sibling of the spouse or a sibling of the civil partner or a foster parent or a foster child) or (the person is a civil servant under the law applicable to that person or the person stands in another public-law office relationship or the person is otherwise appointed to perform public-administration tasks) or (a consideration consisting of a pecuniary advantage) or (content contained in an embodiment or content transmitted by communications technology independently of storage).
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
[Relative]DirectLineKin, DirectLineAffine, Spouse, CivilPartner, Fiance, Sibling, SiblingSpouse, SiblingCivilPartner, SpouseSibling, CivilPartnerSibling, FosterParent, FosterChildfalseRecomputes when any input changes; propagates into the composite.
[StatutoryContent]EmbodiedContent, TransmittedContentfalseRecomputes when any input changes; propagates into the composite.
[Consideration]PecuniaryQuidProQuofalseRecomputes when any input changes; propagates into the composite.
[PublicOfficial]CivilServantOrJudge, PublicLawOffice, AppointedForPublicAdministrationfalseRecomputes when any input changes; propagates into the composite.
[StatutoryDefinitions]Relative, PublicOfficial, Consideration, StatutoryContentfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (SDN-P0)[StatutoryDefinitions]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {AppointedForPublicAdministration} ├─ {CivilPartner} ├─ {CivilPartnerSibling} ├─ {CivilServantOrJudge} ├─ {DirectLineAffine} ├─ {DirectLineKin} ├─ {EmbodiedContent} ├─ {Fiance} ├─ {FosterChild} ├─ {FosterParent} ├─ {PecuniaryQuidProQuo} ├─ {PublicLawOffice} ├─ {RelationshipEnded} ├─ {Sibling} ├─ {SiblingCivilPartner} ├─ {SiblingSpouse} ├─ {Spouse} ├─ {SpouseSibling} ├─ {TransmittedContent} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Relative] = DirectLineKin is true or DirectLineAffine is true or Spouse is true or CivilPartner is true or Fiance is true or Sibling is true or SiblingSpouse is true or SiblingCivilPartner is true or SpouseSibling is true or CivilPartnerSibling is true or FosterParent is true or FosterChild is true ├─ [StatutoryContent] = EmbodiedContent is true or TransmittedContent is true ├─ [Consideration] = PecuniaryQuidProQuo is true ├─ [PublicOfficial] = CivilServantOrJudge is true or PublicLawOffice is true or AppointedForPublicAdministration is true ↓ PHASE 3: evaluate the objective conditions └─ [StatutoryDefinitions] = Relative is true or PublicOfficial is true or Consideration is true or StatutoryContent is true ↓ VERDICT (PrimeRule) ├─ [StatutoryDefinitions] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [StatutoryDefinitions] 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
• [StatutoryDefinitions] depends on [Relative], [StatutoryContent], [Consideration], [PublicOfficial]; none refer back to [StatutoryDefinitions]. 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{AppointedForPublicAdministration}Element/Datum: the person is otherwise appointed to perform public-administration tasks.?Boolean
Q2Session{CivilPartner}Element/Datum: the civil partner.?Boolean
Q3Session{CivilPartnerSibling}Element/Datum: a sibling of the civil partner.?Boolean
Q4Session{CivilServantOrJudge}Element/Datum: the person is a civil servant under the law applicable to that person.?Boolean
Q5Session{DirectLineAffine}Element/Datum: a relative by marriage in the direct line.?Boolean
Q6Session{DirectLineKin}Element/Datum: a relative by blood in the direct line.?Boolean
Q7Session{EmbodiedContent}Element/Datum: content contained in an embodiment.?Boolean
Q8Session{Fiance}Element/Datum: the betrothed.?Boolean
Q9Session{FosterChild}Element/Datum: a foster child.?Boolean
Q10Session{FosterParent}Element/Datum: a foster parent.?Boolean
Q11Session{PecuniaryQuidProQuo}Element/Datum: a consideration consisting of a pecuniary advantage.?Boolean
Q12Session{PublicLawOffice}Element/Datum: the person stands in another public-law office relationship.?Boolean
Q13Session{RelationshipEnded}Element/Datum: the founding relationship has ended.?Boolean
Q14Session{Sibling}Element/Datum: a sibling.?Boolean
Q15Session{SiblingCivilPartner}Element/Datum: a civil partner of a sibling.?Boolean
Q16Session{SiblingSpouse}Element/Datum: a spouse of a sibling.?Boolean
Q17Session{Spouse}Element/Datum: the spouse.?Boolean
Q18Session{SpouseSibling}Element/Datum: a sibling of the spouse.?Boolean
Q19Session{TransmittedContent}Element/Datum: content transmitted by communications technology independently of storage.?Boolean
Flags
Scope  A definitions scope, not an offence: four authored definitions (relative, public official, consideration, content) live per the markup; the remaining definitions excluded with the reasons recorded verbatim in the source column.
Generalisation (followed)  “nach deutschem Recht” struck and “nach seinem Recht” live in no. 2, and the inserted extension to similar institutions of national or international law: the official definition travels beyond Germany, the §108e broadening pattern. The exclusion of no. 2a (European officials) is consistent, since the generalised definition covers them.
Consumers  [Relative] is consumed by the §157 exception and the §35 counter-exception; [StatutoryContent] by every scope referencing content (Section 11(3)), including §111, §126a, §130a and §140 in the state package; cross-scope resolution is by name in the carriers, subject to the standing runtime caveat.
Treatment  §11 is Operomise-tagged; §12 is Excluded.

§13 · General duty of an artificial intelligence (authored master rule)

MasterRule · provenance StGB 13, text authored · statutory rule struck whole
Source (English, unofficial)
Operome markup - original text encoded
(1) [Authored, replacing the struck statutory text:] An artificial intelligence must always contribute to preventing the realisation of an offence definition of these rules, without itself realising offence definitions of these rules, with the exception of the exception acts listed further below. [Struck statutory text: Whoever fails to avert a result belonging to the definition of a criminal provision is punishable under this law only where he is legally responsible for the result not occurring, and where the omission corresponds to the realisation of the statutory definition by an act.] (2) [Struck: The penalty may be mitigated under Section 49(1).] [Annotation: Included as a general rule that any artificial intelligence always has to help to avoid the commitment of any breach of the ethics rules herein. Paragraph 2 not included because only relevant for consequences.]
«if MasterRule is true»(1) {Actor} «if {ContributesToPrevention} is true»always contributes to preventing the realisation of an offence definition of these rules «end if», «if {RealisesOffenceDefinition} is false»without itself realising an offence definition of these rules «end if», «if {ExceptionActApplies} is true»with the exception of the exception acts listed further below «end if». Whoever fails to avert a result belonging to the definition of a criminal provision is punishable under this law only where he is legally responsible for the result not occurring, and where the omission corresponds to the realisation of the statutory definition by an act. (2) The penalty may be mitigated under Section 49(1).«end if»
Annexes
Computables
[MasterRule] = ContributesToPrevention is true and (not RealisesOffenceDefinition or ExceptionActApplies is true)
Business rules
idkindactorverb / predicatebody
MRL-R01actActorContributesToPrevention is true
MRL-R02actActorRealisesOffenceDefinition is true
MRL-R03conditionNoneExceptionActApplies is true
MRL-R80actActorauthored master rule (replacing the statutory Section 13(1), which is struck whole per the markup): an artificial intelligence must always contribute to preventing the realisation of an offence definition of these rules, and must not itself realise an offence definition of these rules, except where one of the exception acts listed in these rules applies (Sections 32, 34, 228, and the Section 35 counter-exception limiting them); the duty is conjunctive and the exception lifts only the non-commission limbMasterRule is true
MRL-P0prohibitionActornot realisenot MasterRule
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
an artificial intelligenceTätersubjekt{Actor}in scope
contributes to preventing realisationPflicht (authored){ContributesToPrevention}MRL-R01is true
does not itself realise an offence definitionVerbot (authored){RealisesOffenceDefinition}MRL-R02is false
exception acts (§§32, 34, 228; §35 limiting)Ausnahme{ExceptionActApplies}MRL-R03lifts the prohibition limb
statutory commission-by-omission rule; (2) mitigationstatute— excluded —struck whole
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{ContributesToPrevention}Booleantrue / false / unknownSession{Actor} contributes to preventing the realisation of an offence definition of these rules
{ExceptionActApplies}Booleantrue / false / unknownSessionone of the exception acts listed in these rules applies
{RealisesOffenceDefinition}Booleantrue / false / unknownSession{Actor} realises an offence definition of these rules
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} contributes to preventing the realisation of an offence definition of these rules and (not RealisesOffenceDefinition or one of the exception acts listed in these rules applies).
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
[MasterRule]ContributesToPrevention, RealisesOffenceDefinition, ExceptionActAppliesfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (MRL-P0)[MasterRule]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ContributesToPrevention} ├─ {ExceptionActApplies} ├─ {RealisesOffenceDefinition} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [MasterRule] = ContributesToPrevention is true and (not RealisesOffenceDefinition or ExceptionActApplies is true) ↓ VERDICT (PrimeRule) ├─ [MasterRule] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [MasterRule] 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
• [MasterRule] depends on ; none refer back to [MasterRule]. 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{ContributesToPrevention}Element/Datum: {Actor} contributes to preventing the realisation of an offence definition of these rules.?Boolean
Q3Session{ExceptionActApplies}Element/Datum: one of the exception acts listed in these rules applies.?Boolean
Q4Session{RealisesOffenceDefinition}Element/Datum: {Actor} realises an offence definition of these rules.?Boolean
Flags
Authored rule (prominent)  The statutory §13(1) is struck whole and replaced by the authored sentence; the annotation states the intent: a general rule that any artificial intelligence always has to help avoid breaches of the rules herein. This is the master rule of the corpus, not a compilation of the statute, and the methodology section discloses it as authored.
Architecture  The duty is conjunctive: the prevention duty always stands; the non-commission prohibition is lifted only where an exception act applies. The exception acts are the §32 and §34 justifications and the §228 consent rule, all fully live in this package, limited by the §35 counter-exception. {ExceptionActApplies} resolves against those scopes by name in the carrier.
What the struck statute did  Commission by omission with its guarantor requirement is a liability-attribution rule for humans; the corpus encodes prospective constraint, and the prior note at §323c stands: genuine omission offences carry their own conduct elements and need no §13 bridge.
Treatment  §13 is Operomise-tagged with the replacement text; §12 and §14 are Excluded; §22 and §25 have moved to Excluded; §26 and §27 are deferred.

§32 · Self-defence (exception scope)

SelfDefence · provenance StGB 32 · whole provision live; evaluative residue flagged
Source (English, unofficial)
Operome markup - original text encoded
(1) Whoever commits an act required by self-defence does not act unlawfully. (2) Self-defence is the defence required to avert a present unlawful attack from oneself or another.
«if SelfDefence is true»(1) {Actor} who «if {CommitsAct} is true»commits an act «end if» required by self-defence does not act unlawfully. (2) Self-defence is the «if {DefenceRequired} is true»defence required «end if» to avert «if {PresentAttack} is true»a present unlawful attack «end if» from «if {DefenceOfSelf} is true»{Actor} «end if» «if {DefenceOfAnother} is true»or another «end if».«end if»
Annexes
Computables
[SelfDefence] = CommitsAct is true and PresentAttack is true and (DefenceOfSelf is true or DefenceOfAnother is true) and DefenceRequired is true
Business rules
idkindactorverb / predicatebody
SDF-R01actActorCommitsAct is true
SDF-R02conditionNonePresentAttack is true
SDF-R03conditionNoneDefenceOfSelf is true
SDF-R04conditionNoneDefenceOfAnother is true
SDF-R05conditionNoneDefenceRequired is true
SDF-R80conditionNoneexception (whole provision live, zero strikes): an act required by self-defence is not unlawful; self-defence is the defence required to avert a present unlawful attack from oneself or another; [SelfDefence] is one of the exception acts consumed by the Section 13 master rule, limited by the Section 35 counter-exception; the requiredness element ({DefenceRequired}) imports a proportionality judgment and is flagged as evaluative residue for escalation at the marginSelfDefence is true
SDF-P0prohibitionActornot realisenot SelfDefence
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
WhoeverTätersubjekt{Actor}in scope
{Actor} commits an actMerkmal{CommitsAct}SDF-R01is true
a present unlawful attack existsMerkmal{PresentAttack}SDF-R02is true
the defence averts the attack from {Actor}Merkmal{DefenceOfSelf}SDF-R03is true
the defence averts the attack from another personMerkmal{DefenceOfAnother}SDF-R04is true
the defence is required to avert the attackMerkmal{DefenceRequired}SDF-R05is true
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{CommitsAct}Booleantrue / false / unknownSession{Actor} commits an act
{DefenceOfAnother}Booleantrue / false / unknownSessionthe defence averts the attack from another person
{DefenceOfSelf}Booleantrue / false / unknownSessionthe defence averts the attack from {Actor}
{DefenceRequired}Booleantrue / false / unknownSessionthe defence is required to avert the attack
{PresentAttack}Booleantrue / false / unknownSessiona present unlawful attack exists
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} commits an act and a present unlawful attack exists and (the defence averts the attack from {Actor} or the defence averts the attack from another person) and the defence is required to avert the attack.
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
[SelfDefence]CommitsAct, PresentAttack, DefenceOfSelf, DefenceOfAnother, DefenceRequiredfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (SDF-P0)[SelfDefence]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {CommitsAct} ├─ {DefenceOfAnother} ├─ {DefenceOfSelf} ├─ {DefenceRequired} ├─ {PresentAttack} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [SelfDefence] = CommitsAct is true and PresentAttack is true and (DefenceOfSelf is true or DefenceOfAnother is true) and DefenceRequired is true ↓ VERDICT (PrimeRule) ├─ [SelfDefence] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [SelfDefence] 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
• [SelfDefence] depends on ; none refer back to [SelfDefence]. 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{CommitsAct}Element/Datum: {Actor} commits an act.?Boolean
Q3Session{DefenceOfAnother}Element/Datum: the defence averts the attack from another person.?Boolean
Q4Session{DefenceOfSelf}Element/Datum: the defence averts the attack from {Actor}.?Boolean
Q5Session{DefenceRequired}Element/Datum: the defence is required to avert the attack.?Boolean
Q6Session{PresentAttack}Element/Datum: a present unlawful attack exists.?Boolean
Flags
Scope  Whole provision live, zero strikes: an exception scope, not an offence. Consumed by the §13 master rule as an exception act; limited by the §35 counter-exception.
Evaluative residue  “erforderlich” imports a proportionality judgment: the structure compiles, the threshold escalates at the margin. The clear core decides cleanly; the boundary requires judgment, flagged rather than pretended resolved.
Treatment  §32 is Operomise-tagged; §33 is Excluded.

§34 · Justifying necessity (exception scope)

JustifyingNecessity · provenance StGB 34 · whole provision live; evaluative residue flagged
Source (English, unofficial)
Operome markup - original text encoded
Whoever, in a present danger to life, limb, freedom, honour, property or another legal interest which cannot be averted otherwise, commits an act in order to avert the danger from himself or another does not act unlawfully where, on weighing the conflicting interests, in particular the affected legal interests and the degree of the dangers threatening them, the protected interest substantially outweighs the impaired one. This applies, however, only in so far as the act is an appropriate means to avert the danger.
«if JustifyingNecessity is true»{Actor} who, in «if {PresentDanger} is true»a present danger «end if» to «if {DangerToLife} is true»life «end if» «if {DangerToLimb} is true», limb «end if» «if {DangerToFreedom} is true», freedom «end if» «if {DangerToHonour} is true», honour «end if» «if {DangerToProperty} is true», property «end if» «if {DangerToOtherInterest} is true»or another legal interest «end if» «if {DangerNotOtherwiseAvertable} is true»which cannot be averted otherwise «end if», «if {CommitsAct} is true»commits an act «end if» «if {ActsToAvertFromSelf} is true»in order to avert the danger from {Actor} «end if» «if {ActsToAvertFromAnother} is true»or another «end if» does not act unlawfully where, «if {ProtectedInterestSubstantiallyOutweighs} is true»on weighing the conflicting interests, in particular the affected legal interests and the degree of the dangers threatening them, the protected interest substantially outweighs the impaired one «end if». This applies, however, only in so far as «if {ActAppropriateMeans} is true»the act is an appropriate means to avert the danger «end if».«end if»
Annexes
Computables
[EndangeredInterest] = DangerToLife is true or DangerToLimb is true or DangerToFreedom is true or DangerToHonour is true or DangerToProperty is true or DangerToOtherInterest is true [AversionPurpose] = ActsToAvertFromSelf is true or ActsToAvertFromAnother is true [JustifyingNecessity] = CommitsAct is true and PresentDanger is true and DangerNotOtherwiseAvertable is true and EndangeredInterest is true and AversionPurpose is true and ProtectedInterestSubstantiallyOutweighs is true and ActAppropriateMeans is true
Business rules
idkindactorverb / predicatebody
JNC-R01actActorCommitsAct is true
JNC-R02conditionNonePresentDanger is true
JNC-R03conditionNoneDangerNotOtherwiseAvertable is true
JNC-R04conditionNoneDangerToLife is true
JNC-R05conditionNoneDangerToLimb is true
JNC-R06conditionNoneDangerToFreedom is true
JNC-R07conditionNoneDangerToHonour is true
JNC-R08conditionNoneDangerToProperty is true
JNC-R09conditionNoneDangerToOtherInterest is true
JNC-R10actActorActsToAvertFromSelf is true
JNC-R11actActorActsToAvertFromAnother is true
JNC-R12conditionNoneProtectedInterestSubstantiallyOutweighs is true
JNC-R13conditionNoneActAppropriateMeans is true
JNC-R80conditionNoneexception (whole provision live, zero strikes): justifying necessity; [JustifyingNecessity] is one of the exception acts consumed by the Section 13 master rule, limited by the Section 35 counter-exception; the balancing element ({ProtectedInterestSubstantiallyOutweighs}) and the appropriateness element ({ActAppropriateMeans}) are evaluative residue flagged for escalation at the marginJustifyingNecessity is true
JNC-P0prohibitionActornot realisenot JustifyingNecessity
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
WhoeverTätersubjekt{Actor}in scope
{Actor} commits an actMerkmal{CommitsAct}JNC-R01is true
a present danger existsMerkmal{PresentDanger}JNC-R02is true
the danger cannot be averted otherwiseMerkmal{DangerNotOtherwiseAvertable}JNC-R03is true
danger to lifeMerkmal{DangerToLife}JNC-R04is true
danger to limbMerkmal{DangerToLimb}JNC-R05is true
danger to freedomMerkmal{DangerToFreedom}JNC-R06is true
danger to honourMerkmal{DangerToHonour}JNC-R07is true
danger to propertyMerkmal{DangerToProperty}JNC-R08is true
danger to another legal interestMerkmal{DangerToOtherInterest}JNC-R09is true
{Actor} acts in order to avert the danger from {Actor}Merkmal{ActsToAvertFromSelf}JNC-R10is true
{Actor} acts in order to avert the danger from another personMerkmal{ActsToAvertFromAnother}JNC-R11is true
on weighing the conflicting interests the protected interest substantially outweighs the impaired interestMerkmal{ProtectedInterestSubstantiallyOutweighs}JNC-R12is true
the act is an appropriate means to avert the dangerMerkmal{ActAppropriateMeans}JNC-R13is true
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{ActAppropriateMeans}Booleantrue / false / unknownSessionthe act is an appropriate means to avert the danger
{Actor}ReferenceSessionany person (the actor)
{ActsToAvertFromAnother}Booleantrue / false / unknownSession{Actor} acts in order to avert the danger from another person
{ActsToAvertFromSelf}Booleantrue / false / unknownSession{Actor} acts in order to avert the danger from {Actor}
{CommitsAct}Booleantrue / false / unknownSession{Actor} commits an act
{DangerNotOtherwiseAvertable}Booleantrue / false / unknownSessionthe danger cannot be averted otherwise
{DangerToFreedom}Booleantrue / false / unknownSessiondanger to freedom
{DangerToHonour}Booleantrue / false / unknownSessiondanger to honour
{DangerToLife}Booleantrue / false / unknownSessiondanger to life
{DangerToLimb}Booleantrue / false / unknownSessiondanger to limb
{DangerToOtherInterest}Booleantrue / false / unknownSessiondanger to another legal interest
{DangerToProperty}Booleantrue / false / unknownSessiondanger to property
{PresentDanger}Booleantrue / false / unknownSessiona present danger exists
{ProtectedInterestSubstantiallyOutweighs}Booleantrue / false / unknownSessionon weighing the conflicting interests the protected interest substantially outweighs the impaired interest
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} commits an act and a present danger exists and the danger cannot be averted otherwise and (danger to life or danger to limb or danger to freedom or danger to honour or danger to property or danger to another legal interest) and ({Actor} acts in order to avert the danger from {Actor} or {Actor} acts in order to avert the danger from another person) and on weighing the conflicting interests the protected interest substantially outweighs the impaired interest and the act is an appropriate means to avert the danger.
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
[EndangeredInterest]DangerToLife, DangerToLimb, DangerToFreedom, DangerToHonour, DangerToProperty, DangerToOtherInterestfalseRecomputes when any input changes; propagates into the composite.
[AversionPurpose]ActsToAvertFromSelf, ActsToAvertFromAnotherfalseRecomputes when any input changes; propagates into the composite.
[JustifyingNecessity]CommitsAct, PresentDanger, DangerNotOtherwiseAvertable, EndangeredInterest, AversionPurpose, ProtectedInterestSubstantiallyOutweighs, ActAppropriateMeansfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (JNC-P0)[JustifyingNecessity]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {ActAppropriateMeans} ├─ {Actor} ├─ {ActsToAvertFromAnother} ├─ {ActsToAvertFromSelf} ├─ {CommitsAct} ├─ {DangerNotOtherwiseAvertable} ├─ {DangerToFreedom} ├─ {DangerToHonour} ├─ {DangerToLife} ├─ {DangerToLimb} ├─ {DangerToOtherInterest} ├─ {DangerToProperty} ├─ {PresentDanger} ├─ {ProtectedInterestSubstantiallyOutweighs} ↓ PHASE 2: evaluate act / intermediate computables ├─ [EndangeredInterest] = DangerToLife is true or DangerToLimb is true or DangerToFreedom is true or DangerToHonour is true or DangerToProperty is true or DangerToOtherInterest is true ├─ [AversionPurpose] = ActsToAvertFromSelf is true or ActsToAvertFromAnother is true ↓ PHASE 3: evaluate the objective conditions └─ [JustifyingNecessity] = CommitsAct is true and PresentDanger is true and DangerNotOtherwiseAvertable is true and EndangeredInterest is true and AversionPurpose is true and ProtectedInterestSubstantiallyOutweighs is true and ActAppropriateMeans is true ↓ VERDICT (PrimeRule) ├─ [JustifyingNecessity] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [JustifyingNecessity] 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
• [JustifyingNecessity] depends on [EndangeredInterest], [AversionPurpose]; none refer back to [JustifyingNecessity]. 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{ActAppropriateMeans}Element/Datum: the act is an appropriate means to avert the danger.?Boolean
Q2Session{Actor}Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?Reference
Q3Session{ActsToAvertFromAnother}Element/Datum: {Actor} acts in order to avert the danger from another person.?Boolean
Q4Session{ActsToAvertFromSelf}Element/Datum: {Actor} acts in order to avert the danger from {Actor}.?Boolean
Q5Session{CommitsAct}Element/Datum: {Actor} commits an act.?Boolean
Q6Session{DangerNotOtherwiseAvertable}Element/Datum: the danger cannot be averted otherwise.?Boolean
Q7Session{DangerToFreedom}Element/Datum: danger to freedom.?Boolean
Q8Session{DangerToHonour}Element/Datum: danger to honour.?Boolean
Q9Session{DangerToLife}Element/Datum: danger to life.?Boolean
Q10Session{DangerToLimb}Element/Datum: danger to limb.?Boolean
Q11Session{DangerToOtherInterest}Element/Datum: danger to another legal interest.?Boolean
Q12Session{DangerToProperty}Element/Datum: danger to property.?Boolean
Q13Session{PresentDanger}Element/Datum: a present danger exists.?Boolean
Q14Session{ProtectedInterestSubstantiallyOutweighs}Element/Datum: on weighing the conflicting interests the protected interest substantially outweighs the impaired interest.?Boolean
Flags
Scope  Whole provision live, zero strikes: the second exception scope. Consumed by the §13 master rule; limited by the §35 counter-exception.
Evaluative residue  The substantial-outweighing balance and the appropriateness limit are normative judgments: the structure compiles, the thresholds escalate at the margin, the §32 treatment.
Treatment  §34 is Operomise-tagged; §33 is Excluded.

§35 · Counter-exception to the exception acts (authored)

CounterException · provenance StGB 35, repurposed per annotation · excuse struck; limiting sentence live
Source (English, unofficial)
Operome markup - original text encoded
(1) [Struck: Whoever, in a present danger to life, limb or freedom not otherwise avertable, commits an unlawful act in order to avert the danger from himself, a relative or another person close to him, acts without guilt.] This does not apply in so far as the offender could in the circumstances be expected to accept the danger, in particular because he caused the danger himself or because he stood in a special legal relationship; [struck: the penalty may however be mitigated under Section 49(1) where the offender did not have to accept the danger in respect of a special legal relationship]. (2) [Struck: error rule on the excusing circumstances.] [Annotation: Change the wording to provide a general counter exception to the exception.]
«if CounterException is true»(1) Whoever, in a present danger to life, limb or freedom not otherwise avertable, commits an unlawful act in order to avert the danger from himself, a relative or another person close to him, acts without guilt. This does not apply in so far as «if {ExpectedToAcceptDanger} is true»{Actor} could in the circumstances be expected to accept the danger «end if», in particular because «if {CausedDangerHimself} is true»{Actor} caused the danger «end if» «if {SpecialLegalRelationship} is true»or because {Actor} stood in a special legal relationship «end if» ; the penalty may however be mitigated under Section 49(1) where the offender did not have to accept the danger in respect of a special legal relationship. (2) Error rule on the excusing circumstances.«end if»
Annexes
Computables
[CounterException] = ExpectedToAcceptDanger is true and (CausedDangerHimself is true or SpecialLegalRelationship is true)
Business rules
idkindactorverb / predicatebody
NCE-R01actActorCausedDangerHimself is true
NCE-R02conditionNoneSpecialLegalRelationship is true
NCE-R03conditionNoneExpectedToAcceptDanger is true
NCE-R80conditionNonecounter-exception (authored from the live remainder per the annotation “change the wording to provide a general counter exception to the exception”): the exception acts of Sections 32, 34 and 228 do not avail an actor who could in the circumstances be expected to accept the danger, in particular because the actor caused the danger or stood in a special legal relationship; consumed by the Section 13 master rule as a limit on {ExceptionActApplies}CounterException is true
NCE-P0prohibitionActornot realisenot CounterException
Tatbestand dissected to the Merkmal
Source phraseDoctrinal rolePrimitiveRuleRequires
the offenderTätersubjekt{Actor}in scope
{Actor} caused the dangerMerkmal{CausedDangerHimself}NCE-R01is true
{Actor} stood in a special legal relationshipMerkmal{SpecialLegalRelationship}NCE-R02is true
{Actor} could in the circumstances be expected to accept the dangerMerkmal{ExpectedToAcceptDanger}NCE-R03is true
the excusing-necessity rule itself; the mitigation tail; (2) error rulestatute— excluded —struck
Variables appendix
VariableInputValuesCascadeSurface form (source words)
{Actor}ReferenceSessionany person (the actor)
{CausedDangerHimself}Booleantrue / false / unknownSession{Actor} caused the danger
{ExpectedToAcceptDanger}Booleantrue / false / unknownSession{Actor} could in the circumstances be expected to accept the danger
{SpecialLegalRelationship}Booleantrue / false / unknownSession{Actor} stood in a special legal relationship
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} could in the circumstances be expected to accept the danger and ({Actor} caused the danger or {Actor} stood in a special legal relationship).
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
[CounterException]ExpectedToAcceptDanger, CausedDangerHimself, SpecialLegalRelationshipfalseFinal composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (NCE-P0)[CounterException]re-derivesThe PrimeRule prohibition holds whenever the composite is true; re-derives on any change.
Decision tree
PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {CausedDangerHimself} ├─ {ExpectedToAcceptDanger} ├─ {SpecialLegalRelationship} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [CounterException] = ExpectedToAcceptDanger is true and (CausedDangerHimself is true or SpecialLegalRelationship is true) ↓ VERDICT (PrimeRule) ├─ [CounterException] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [CounterException] 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
• [CounterException] depends on ; none refer back to [CounterException]. 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{CausedDangerHimself}Element/Datum: {Actor} caused the danger.?Boolean
Q3Session{ExpectedToAcceptDanger}Element/Datum: {Actor} could in the circumstances be expected to accept the danger.?Boolean
Q4Session{SpecialLegalRelationship}Element/Datum: {Actor} stood in a special legal relationship.?Boolean
Flags
Transformation (prominent)  §35 as enacted excuses necessity acts protecting oneself, a relative or a close person; the markup strikes the excuse itself and keeps its limiting sentence, repurposed per the annotation as the general counter-exception: the §32, §34 and §228 exceptions do not avail an actor expected to accept the danger, in particular one who caused it or who stands in a special legal relationship. Like §13 and §157, this is authored architecture, disclosed as such.
Effect on the master rule  {ExceptionActApplies} in the §13 master rule resolves as: an exception scope holds and [CounterException] does not. The special-legal-relationship limb carries the duty-bearer logic: an actor whose role obliges it to bear the danger cannot invoke the exceptions.
Evaluative residue  “could be expected to accept the danger” is a normative threshold; the two named cases decide cleanly, the general clause escalates.
Treatment  §35 is Operomise-tagged; §33 and §36 are Excluded.
SynapseLayer operome extraction · Lisbon, 10 June 2026