SynapseLayer

Operome - StGB consolidated, property and economic offences (§242 to §305)
Nineteenth to Twenty-seventh Titles · sixteen sections across five titles · objective Tatbestand encoded, retained intent elements per markup, penalties and excluded provisions struck · German governs

{Variable} input · [Computable] act / derived · «if … end if» condition · struck excluded · word-for-word dissection; the law is reconstructable from the substrate

§242 · Theft

Theft · provenance StGB 242 · (1) encoded with the appropriation intention; (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who takes another person’s movable property away with the intention of unlawfully appropriating it for themselves or a third party shall be punished with imprisonment for a term of up to five years or a fine. (2) An attempt is punishable.

«if Theft is true»(1) {Actor} who «if {TakesAway} is true»takes «end if» the {Thing}, «if {BelongsToAnother} is true»belonging to another «end if» «if {Movable} is true»and movable «end if», away from another «if {ActsWithAppropriationIntention} is true»with the intention of {Unlawfully} unlawfully appropriating it «if {AppropriateToSelf} is true»for {Actor} «end if» «if {AppropriateToThirdParty} is true»or a third party «end if» «end if» shall be punished with imprisonment for a term of up to five years or a fine. (2) An attempt is punishable.«end if»

Annexes

Computables

[AppropriationIntention] = ActsWithAppropriationIntention is true and (AppropriateToSelf is true or AppropriateToThirdParty is true) and Unlawfully is true [ForeignMovableThing] = BelongsToAnother is true and Movable is true [Theft] = ForeignMovableThing is true and TakesAway is true and AppropriationIntention is true

Business rules

id	kind	actor	verb / predicate	body
THF-R01	condition	None		BelongsToAnother is true
THF-R02	condition	None		Movable is true
THF-R03	act	Actor		TakesAway is true
THF-R04	act	Actor		ActsWithAppropriationIntention is true
THF-R05	condition	None		AppropriateToSelf is true
THF-R06	condition	None		AppropriateToThirdParty is true
THF-R07	condition	None		Unlawfully is true
THF-P0	prohibition	Actor	not realise	not Theft

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the thing belongs to another	Merkmal	{BelongsToAnother}	THF-R01	is true
the thing is movable	Merkmal	{Movable}	THF-R02	is true
{Actor} takes the {Thing} away from another	Merkmal	{TakesAway}	THF-R03	is true
{Actor} acts with the intention of appropriating the {Thing}	Merkmal	{ActsWithAppropriationIntention}	THF-R04	is true
the {Thing} is to be appropriated to {Actor}	Merkmal	{AppropriateToSelf}	THF-R05	is true
the {Thing} is to be appropriated to a third party	Merkmal	{AppropriateToThirdParty}	THF-R06	is true
unlawfully	Merkmal	{Unlawfully}	THF-R07	is true
(2) attempt	attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithAppropriationIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of appropriating the {Thing}
{AppropriateToSelf}	Boolean	true / false / unknown	Session	the {Thing} is to be appropriated to {Actor}
{AppropriateToThirdParty}	Boolean	true / false / unknown	Session	the {Thing} is to be appropriated to a third party
{BelongsToAnother}	Boolean	true / false / unknown	Session	the thing belongs to another
{Movable}	Boolean	true / false / unknown	Session	the thing is movable
{TakesAway}	Boolean	true / false / unknown	Session	{Actor} takes the {Thing} away from another
{Thing}	Party	–	Session	the thing (the movable property)
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully

Reconstruction from the substrate

Committed by any person (the actor) who: (the thing belongs to another and the thing is movable) and {Actor} takes the {Thing} away from another and ({Actor} acts with the intention of appropriating the {Thing} and (the {Thing} is to be appropriated to {Actor} or the {Thing} is to be appropriated to a third party) and unlawfully).

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
[AppropriationIntention]	ActsWithAppropriationIntention, AppropriateToSelf, AppropriateToThirdParty, Unlawfully	false	Recomputes when any input changes; propagates into the composite.
[ForeignMovableThing]	BelongsToAnother, Movable	false	Recomputes when any input changes; propagates into the composite.
[Theft]	ForeignMovableThing, TakesAway, AppropriationIntention	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (THF-P0)	[Theft]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithAppropriationIntention} ├─ {AppropriateToSelf} ├─ {AppropriateToThirdParty} ├─ {BelongsToAnother} ├─ {Movable} ├─ {TakesAway} ├─ {Thing} ├─ {Unlawfully} ↓ PHASE 2: evaluate act / intermediate computables ├─ [AppropriationIntention] = ActsWithAppropriationIntention is true and (AppropriateToSelf is true or AppropriateToThirdParty is true) and Unlawfully is true ├─ [ForeignMovableThing] = BelongsToAnother is true and Movable is true ↓ PHASE 3: evaluate the objective conditions └─ [Theft] = ForeignMovableThing is true and TakesAway is true and AppropriationIntention is true ↓ VERDICT (PrimeRule) ├─ [Theft] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Theft] is false → not realised

Recursion / re-entry notes

Circularity check

• [Theft] depends on [AppropriationIntention], [ForeignMovableThing]; none refer back to [Theft]. 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	{ActsWithAppropriationIntention}	Element/Datum: {Actor} acts with the intention of appropriating the {Thing}.?	Boolean
Q3	Session	{AppropriateToSelf}	Element/Datum: the {Thing} is to be appropriated to {Actor}.?	Boolean
Q4	Session	{AppropriateToThirdParty}	Element/Datum: the {Thing} is to be appropriated to a third party.?	Boolean
Q5	Session	{BelongsToAnother}	Element/Datum: the thing belongs to another.?	Boolean
Q6	Session	{Movable}	Element/Datum: the thing is movable.?	Boolean
Q7	Session	{TakesAway}	Element/Datum: {Actor} takes the {Thing} away from another.?	Boolean
Q8	Session	{Thing}	Element/Datum: the thing (the movable property).?	Party
Q9	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean

Flags

Scope Paragraph 1, the single-sentence taking offence; (2) attempt struck per the marked-up source. §243 to §245 (serious cases, weapons, gangs, supervision) and §247 to §248a are Excluded in the Treatment column and not encoded.

Appropriation intention retained (deliberate) “in der Absicht ... rechtswidrig zuzueignen” is the live core of the Tatbestand in the markup, consistent with the Operomise tag and the §176b and §236 precedents: {ActsWithAppropriationIntention} spans the coordinated beneficiaries {AppropriateToSelf} and {AppropriateToThirdParty} with the {Unlawfully} qualifier inside the gate. Whether the intention existed in fact escalates.

Translation note The draft English layer drops “away” from “wegnimmt”; the source column carries “takes ... away”, the taking-from-another's-custody Merkmal, bound to {TakesAway}.

Thing qualifiers “fremde bewegliche Sache” decomposes into the {Thing} party with the {BelongsToAnother} and {Movable} qualifiers, conjoined in [ForeignMovableThing]; the pair is the shared Merkmal consumed across this title (§246, §249).

Treatment §242 is Operomise-tagged.

§246 · Embezzlement

Embezzlement · provenance StGB 246 · (1) core encoded; subsidiarity and the rest struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who unlawfully appropriates another person’s movable property for themselves or a third party shall be punished with imprisonment for up to three years or a fine, unless the offence is punishable by a more severe penalty under other provisions. (2) If, in the cases referred to in paragraph 1, the property has been entrusted to the offender, the penalty shall be imprisonment for a term not exceeding five years or a fine. (3) An attempt is punishable.

«if Embezzlement is true»(1) {Actor} who {Unlawfully} unlawfully «if {Appropriates} is true»appropriates «end if» the {Thing}, «if {BelongsToAnother} is true»belonging to another «end if» «if {Movable} is true»and movable «end if», «if {ToSelf} is true»for {Actor} «end if» «if {ToThirdParty} is true»or a third party «end if» shall be punished with imprisonment for up to three years or a fine, unless the offence is punishable by a more severe penalty under other provisions. (2) If, in the cases referred to in paragraph 1, the property has been entrusted to the offender, the penalty shall be imprisonment for a term not exceeding five years or a fine. (3) An attempt is punishable.«end if»

Annexes

Computables

[ForeignMovableThing] = BelongsToAnother is true and Movable is true [Embezzlement] = ForeignMovableThing is true and Appropriates is true and (ToSelf is true or ToThirdParty is true) and Unlawfully is true

Business rules

id	kind	actor	verb / predicate	body
EMB-R01	condition	None		BelongsToAnother is true
EMB-R02	condition	None		Movable is true
EMB-R03	act	Actor		Appropriates is true
EMB-R04	condition	None		ToSelf is true
EMB-R05	condition	None		ToThirdParty is true
EMB-R06	condition	None		Unlawfully is true
EMB-P0	prohibition	Actor	not realise	not Embezzlement

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the thing belongs to another	Merkmal	{BelongsToAnother}	EMB-R01	is true
the thing is movable	Merkmal	{Movable}	EMB-R02	is true
{Actor} appropriates the {Thing}	Merkmal	{Appropriates}	EMB-R03	is true
to {Actor}	Merkmal	{ToSelf}	EMB-R04	is true
to a third party	Merkmal	{ToThirdParty}	EMB-R05	is true
unlawfully	Merkmal	{Unlawfully}	EMB-R06	is true
(1) subsidiarity clause; (2) entrusted-property aggravation; (3) attempt	subsidiarity / grading / attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Appropriates}	Boolean	true / false / unknown	Session	{Actor} appropriates the {Thing}
{BelongsToAnother}	Boolean	true / false / unknown	Session	the thing belongs to another
{Movable}	Boolean	true / false / unknown	Session	the thing is movable
{Thing}	Party	–	Session	the thing (the movable property)
{ToSelf}	Boolean	true / false / unknown	Session	to {Actor}
{ToThirdParty}	Boolean	true / false / unknown	Session	to a third party
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully

Reconstruction from the substrate

Committed by any person (the actor) who: (the thing belongs to another and the thing is movable) and {Actor} appropriates the {Thing} and (to {Actor} or to a third party) and unlawfully.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[ForeignMovableThing]	BelongsToAnother, Movable	false	Recomputes when any input changes; propagates into the composite.
[Embezzlement]	ForeignMovableThing, Appropriates, ToSelf, ToThirdParty, Unlawfully	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (EMB-P0)	[Embezzlement]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Appropriates} ├─ {BelongsToAnother} ├─ {Movable} ├─ {Thing} ├─ {ToSelf} ├─ {ToThirdParty} ├─ {Unlawfully} ↓ PHASE 2: evaluate act / intermediate computables ├─ [ForeignMovableThing] = BelongsToAnother is true and Movable is true ↓ PHASE 3: evaluate the objective conditions └─ [Embezzlement] = ForeignMovableThing is true and Appropriates is true and (ToSelf is true or ToThirdParty is true) and Unlawfully is true ↓ VERDICT (PrimeRule) ├─ [Embezzlement] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Embezzlement] is false → not realised

Recursion / re-entry notes

Circularity check

• [Embezzlement] depends on [ForeignMovableThing]; none refer back to [Embezzlement]. 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	{Appropriates}	Element/Datum: {Actor} appropriates the {Thing}.?	Boolean
Q3	Session	{BelongsToAnother}	Element/Datum: the thing belongs to another.?	Boolean
Q4	Session	{Movable}	Element/Datum: the thing is movable.?	Boolean
Q5	Session	{Thing}	Element/Datum: the thing (the movable property).?	Party
Q6	Session	{ToSelf}	Element/Datum: to {Actor}.?	Boolean
Q7	Session	{ToThirdParty}	Element/Datum: to a third party.?	Boolean
Q8	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean

Flags

Scope Paragraph 1's appropriation core; struck per the marked-up source: the subsidiarity clause inside (1), the entrusted-property aggravation (2), and the attempt (3).

Subsidiarity struck (deliberate asymmetry) The clause “wenn die Tat nicht in anderen Vorschriften mit schwererer Strafe bedroht ist” sits inside the penalty strike here, while the parallel sentence in §233(5) is live and encoded as a rule-12 negative. Both follow the markup exactly; the asymmetry is recorded as an editorial decision.

Appropriation completed, not intended Unlike §242, the appropriation here is the act itself (“zueignet”), not an intention: {Appropriates} with the coordinated beneficiaries {ToSelf} and {ToThirdParty} and the {Unlawfully} qualifier in the composite. The {Thing} qualifiers carry the title-wide [ForeignMovableThing] Merkmal.

Treatment §246 is Operomise-tagged.

§248b · Unauthorised use of a vehicle

UnauthorisedVehicleUse · provenance StGB 248b · (1) and the live half of (4) encoded

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who takes a motor vehicle or a bicycle into use against the will of the person entitled shall be punished with imprisonment for up to three years or a fine, unless the offence is punishable by a more severe penalty under other provisions. (2) An attempt is punishable. (3) The offence shall be prosecuted only upon application. (4) Motor vehicles within the meaning of this provision are vehicles propelled by mechanical power; land motor vehicles are included only in so far as they are not bound to railway tracks.

«if UnauthorisedVehicleUse is true»(1) {Actor} who «if {TakesIntoUse} is true»takes «end if» «if {MotorVehicle} is true»a motor vehicle «end if» «if {Bicycle} is true»or a bicycle «end if» into use «if {AgainstWillOfEntitled} is true»against the will of the person entitled «end if» shall be punished with imprisonment for up to three years or a fine , unless the offence is punishable by a more severe penalty under other provisions. (2) An attempt is punishable. (3) The offence shall be prosecuted only upon application. (4) «if [MotorVehicleWithinProvision] is true»Motor vehicles within the meaning of this provision are vehicles «if {PropelledByMechanicalPower} is true»propelled by mechanical power «end if» «end if» ; land motor vehicles are included only in so far as they are not bound to railway tracks. «end if»

Annexes

Computables

[MotorVehicleWithinProvision] = MotorVehicle is true and PropelledByMechanicalPower is true [VehicleObject] = MotorVehicleWithinProvision is true or Bicycle is true [UnauthorisedVehicleUse] = VehicleObject is true and TakesIntoUse is true and AgainstWillOfEntitled is true

Business rules

id	kind	actor	verb / predicate	body
UVU-R01	condition	None		MotorVehicle is true
UVU-R02	condition	None		Bicycle is true
UVU-R03	act	Actor		TakesIntoUse is true
UVU-R04	condition	None		AgainstWillOfEntitled is true
UVU-R05	condition	None		PropelledByMechanicalPower is true
UVU-R90	condition	None	the vehicle is a motor vehicle within the meaning of this provision	MotorVehicleWithinProvision is true
UVU-P0	prohibition	Actor	not realise	not UnauthorisedVehicleUse

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
a motor vehicle	Merkmal	{MotorVehicle}	UVU-R01	is true
a bicycle	Merkmal	{Bicycle}	UVU-R02	is true
{Actor} takes the vehicle into use	Merkmal	{TakesIntoUse}	UVU-R03	is true
against the will of the person entitled	Merkmal	{AgainstWillOfEntitled}	UVU-R04	is true
the vehicle is propelled by mechanical power	Merkmal	{PropelledByMechanicalPower}	UVU-R05	is true
(1) subsidiarity; (2) attempt; (3) application requirement; (4) rail-bound qualification	subsidiarity / attempt / procedure / definition tail	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{AgainstWillOfEntitled}	Boolean	true / false / unknown	Session	against the will of the person entitled
{Bicycle}	Boolean	true / false / unknown	Session	a bicycle
{MotorVehicle}	Boolean	true / false / unknown	Session	a motor vehicle
{PropelledByMechanicalPower}	Boolean	true / false / unknown	Session	the vehicle is propelled by mechanical power
{TakesIntoUse}	Boolean	true / false / unknown	Session	{Actor} takes the vehicle into use

Reconstruction from the substrate

Committed by any person (the actor) who: ((a motor vehicle and the vehicle is propelled by mechanical power) or a bicycle) and {Actor} takes the vehicle into use and against the will of the person entitled.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[MotorVehicleWithinProvision]	MotorVehicle, PropelledByMechanicalPower	false	Recomputes when any input changes; propagates into the composite.
[VehicleObject]	MotorVehicleWithinProvision, Bicycle	false	Recomputes when any input changes; propagates into the composite.
[UnauthorisedVehicleUse]	VehicleObject, TakesIntoUse, AgainstWillOfEntitled	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (UVU-P0)	[UnauthorisedVehicleUse]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {AgainstWillOfEntitled} ├─ {Bicycle} ├─ {MotorVehicle} ├─ {PropelledByMechanicalPower} ├─ {TakesIntoUse} ↓ PHASE 2: evaluate act / intermediate computables ├─ [MotorVehicleWithinProvision] = MotorVehicle is true and PropelledByMechanicalPower is true ├─ [VehicleObject] = MotorVehicleWithinProvision is true or Bicycle is true ↓ PHASE 3: evaluate the objective conditions └─ [UnauthorisedVehicleUse] = VehicleObject is true and TakesIntoUse is true and AgainstWillOfEntitled is true ↓ VERDICT (PrimeRule) ├─ [UnauthorisedVehicleUse] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [UnauthorisedVehicleUse] is false → not realised

Recursion / re-entry notes

Circularity check

• [UnauthorisedVehicleUse] depends on [MotorVehicleWithinProvision], [VehicleObject]; none refer back to [UnauthorisedVehicleUse]. 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	{AgainstWillOfEntitled}	Element/Datum: against the will of the person entitled.?	Boolean
Q3	Session	{Bicycle}	Element/Datum: a bicycle.?	Boolean
Q4	Session	{MotorVehicle}	Element/Datum: a motor vehicle.?	Boolean
Q5	Session	{PropelledByMechanicalPower}	Element/Datum: the vehicle is propelled by mechanical power.?	Boolean
Q6	Session	{TakesIntoUse}	Element/Datum: {Actor} takes the vehicle into use.?	Boolean

Flags

Scope Paragraph 1's use offence and the live half of paragraph 4's motor-vehicle definition. Struck per the marked-up source: the subsidiarity tail of (1), (2) attempt, (3) the application requirement, and (4)'s rail-bound qualification.

Sanctions phrase struck per standing rule, unmarked in the source (consistent pattern) The penalty in (1) carries no strike in the markup; struck per the standing rule that sanctions phrases are always struck, consistent with the §235(2) treatment. The unmarked deviation is recorded here.

Definition authored half-live (4) authors [MotorVehicleWithinProvision] = {MotorVehicle} and {PropelledByMechanicalPower}; the rail-bound limitation for land vehicles is struck, so the definitional boundary it drew escalates if it matters on the facts.

Translation note The draft English layer renders “des Berechtigten” as “the owner”; the Berechtigte is the person entitled (which may be a keeper or lessee, not the owner); rendered as “the person entitled” and bound to {AgainstWillOfEntitled}.

Treatment §248b is Operomise-tagged.

§248c · Theft of electrical energy

TheftOfElectricity · provenance StGB 248c · (1) conduct encoded; intention and the rest struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who extracts electrical energy belonging to another from an electrical installation or facility by means of a conductor not intended for the proper extraction of energy from the installation or facility shall, if they commit the act with the intention of unlawfully appropriating the electrical energy for themselves or a third party, be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) Sections 247 and 248a shall apply mutatis mutandis. (4) If the act referred to in paragraph 1 is committed with the intention of unlawfully causing harm to another person, the penalty shall be imprisonment for up to two years or a fine. The offence shall be prosecuted only upon application.

«if TheftOfElectricity is true»(1) {Actor} who «if {ExtractsElectricalEnergy} is true»extracts the electrical energy «end if», «if {BelongsToAnother} is true»belonging to another «end if», from «if {ElectricalInstallation} is true»an electrical installation «end if» «if {ElectricalFacility} is true»or facility «end if» «if {ByConductor} is true»by means of a conductor «end if» «if {ConductorNotIntended} is true»not intended for the proper extraction of energy from the installation or facility «end if» shall, if they commit the act with the intention of unlawfully appropriating the electrical energy for themselves or a third party, be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) Sections 247 and 248a shall apply mutatis mutandis. (4) If the act referred to in paragraph 1 is committed with the intention of unlawfully causing harm to another person, the penalty shall be imprisonment for up to two years or a fine. The offence shall be prosecuted only upon application.«end if»

Annexes

Computables

[Source] = ElectricalInstallation is true or ElectricalFacility is true [TheftOfElectricity] = BelongsToAnother is true and Source is true and ExtractsElectricalEnergy is true and ByConductor is true and ConductorNotIntended is true

Business rules

id	kind	actor	verb / predicate	body
TOE-R01	condition	None		BelongsToAnother is true
TOE-R02	condition	None		ElectricalInstallation is true
TOE-R03	condition	None		ElectricalFacility is true
TOE-R04	act	Actor		ExtractsElectricalEnergy is true
TOE-R05	condition	None		ByConductor is true
TOE-R06	condition	None		ConductorNotIntended is true
TOE-P0	prohibition	Actor	not realise	not TheftOfElectricity

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the electrical energy belongs to another	Merkmal	{BelongsToAnother}	TOE-R01	is true
an electrical installation	Merkmal	{ElectricalInstallation}	TOE-R02	is true
an electrical facility	Merkmal	{ElectricalFacility}	TOE-R03	is true
{Actor} extracts the electrical energy	Merkmal	{ExtractsElectricalEnergy}	TOE-R04	is true
by means of a conductor	Merkmal	{ByConductor}	TOE-R05	is true
the conductor is not intended for the proper extraction of energy	Merkmal	{ConductorNotIntended}	TOE-R06	is true
(1) appropriation intention; (2) attempt; (3) mutatis references; (4) harm-intention variant and application requirement	mental element / attempt / references / variant	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{BelongsToAnother}	Boolean	true / false / unknown	Session	the electrical energy belongs to another
{ByConductor}	Boolean	true / false / unknown	Session	by means of a conductor
{ConductorNotIntended}	Boolean	true / false / unknown	Session	the conductor is not intended for the proper extraction of energy
{ElectricalFacility}	Boolean	true / false / unknown	Session	an electrical facility
{ElectricalInstallation}	Boolean	true / false / unknown	Session	an electrical installation
{ExtractsElectricalEnergy}	Boolean	true / false / unknown	Session	{Actor} extracts the electrical energy

Reconstruction from the substrate

Committed by any person (the actor) who: the electrical energy belongs to another and (an electrical installation or an electrical facility) and {Actor} extracts the electrical energy and by means of a conductor and the conductor is not intended for the proper extraction of energy.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Source]	ElectricalInstallation, ElectricalFacility	false	Recomputes when any input changes; propagates into the composite.
[TheftOfElectricity]	BelongsToAnother, Source, ExtractsElectricalEnergy, ByConductor, ConductorNotIntended	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (TOE-P0)	[TheftOfElectricity]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {BelongsToAnother} ├─ {ByConductor} ├─ {ConductorNotIntended} ├─ {ElectricalFacility} ├─ {ElectricalInstallation} ├─ {ExtractsElectricalEnergy} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Source] = ElectricalInstallation is true or ElectricalFacility is true ↓ PHASE 3: evaluate the objective conditions └─ [TheftOfElectricity] = BelongsToAnother is true and Source is true and ExtractsElectricalEnergy is true and ByConductor is true and ConductorNotIntended is true ↓ VERDICT (PrimeRule) ├─ [TheftOfElectricity] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [TheftOfElectricity] is false → not realised

Recursion / re-entry notes

Circularity check

• [TheftOfElectricity] depends on [Source]; none refer back to [TheftOfElectricity]. 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	{BelongsToAnother}	Element/Datum: the electrical energy belongs to another.?	Boolean
Q3	Session	{ByConductor}	Element/Datum: by means of a conductor.?	Boolean
Q4	Session	{ConductorNotIntended}	Element/Datum: the conductor is not intended for the proper extraction of energy.?	Boolean
Q5	Session	{ElectricalFacility}	Element/Datum: an electrical facility.?	Boolean
Q6	Session	{ElectricalInstallation}	Element/Datum: an electrical installation.?	Boolean
Q7	Session	{ExtractsElectricalEnergy}	Element/Datum: {Actor} extracts the electrical energy.?	Boolean

Flags

Scope Paragraph 1's extraction conduct only: the energy of another, the source pair, the conductor means and its not-intended qualifier. Struck per the marked-up source: the appropriation-intention clause inside (1), (2) attempt, (3) the mutatis references, (4) the harm-intention variant and the application requirement.

Deliberate asymmetry with §242 The appropriation intention (“in der Absicht ... rechtswidrig zuzueignen”) is struck here while §242 retains it; both follow the markup exactly and the asymmetry is recorded as an editorial decision. The encoded §248c is conduct-only; the intention escalates.

Translation note The draft English layer drops “fremde” (the energy of another); restored as “belonging to another” and bound to {BelongsToAnother}.

Treatment §248c is Operomise-tagged.

§249 · Robbery

Robbery · provenance StGB 249 · (1) means and taking encoded; intention struck (boundary flagged)

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, by using violence against a person or by making threats posing an immediate danger to life or limb, takes another person’s movable property away with the intention of unlawfully appropriating it for themselves or a third party shall be liable to a term of imprisonment of not less than one year. (2) In less serious cases, the penalty shall be imprisonment for a term of between six months and five years.

«if Robbery is true»(1) {Actor} who, by «if {ViolenceAgainstPerson} is true»using violence against a person «end if» or «if {ThreatsImmediateDanger} is true»by making threats posing an immediate danger «if {ToLife} is true»to life «end if» «if {ToLimb} is true»or limb «end if» «end if», «if {TakesAway} is true»takes «end if» the {Thing}, «if {BelongsToAnother} is true»belonging to another «end if» «if {Movable} is true»and movable «end if», away from another with the intention of unlawfully appropriating it for themselves or a third party shall be liable to a term of imprisonment of not less than one year. (2) In less serious cases, the penalty shall be imprisonment for a term of between six months and five years.«end if»

Annexes

Computables

[ThreatLeg] = ThreatsImmediateDanger is true and (ToLife is true or ToLimb is true) [ForeignMovableThing] = BelongsToAnother is true and Movable is true [Means] = ViolenceAgainstPerson is true or ThreatLeg is true [Robbery] = Means is true and ForeignMovableThing is true and TakesAway is true

Business rules

id	kind	actor	verb / predicate	body
ROB-R01	condition	None		BelongsToAnother is true
ROB-R02	condition	None		Movable is true
ROB-R03	act	Actor		TakesAway is true
ROB-R04	act	Actor		ViolenceAgainstPerson is true
ROB-R05	act	Actor		ThreatsImmediateDanger is true
ROB-R06	condition	None		ToLife is true
ROB-R07	condition	None		ToLimb is true
ROB-P0	prohibition	Actor	not realise	not Robbery

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the thing belongs to another	Merkmal	{BelongsToAnother}	ROB-R01	is true
the thing is movable	Merkmal	{Movable}	ROB-R02	is true
{Actor} takes the {Thing} away from another	Merkmal	{TakesAway}	ROB-R03	is true
{Actor} uses violence against a person	Merkmal	{ViolenceAgainstPerson}	ROB-R04	is true
{Actor} makes threats posing an immediate danger	Merkmal	{ThreatsImmediateDanger}	ROB-R05	is true
to life	Merkmal	{ToLife}	ROB-R06	is true
to limb	Merkmal	{ToLimb}	ROB-R07	is true
(1) appropriation intention; (2) lesser cases	mental element / grading	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{BelongsToAnother}	Boolean	true / false / unknown	Session	the thing belongs to another
{Movable}	Boolean	true / false / unknown	Session	the thing is movable
{TakesAway}	Boolean	true / false / unknown	Session	{Actor} takes the {Thing} away from another
{Thing}	Party	–	Session	the thing (the movable property)
{ThreatsImmediateDanger}	Boolean	true / false / unknown	Session	{Actor} makes threats posing an immediate danger
{ToLife}	Boolean	true / false / unknown	Session	to life
{ToLimb}	Boolean	true / false / unknown	Session	to limb
{ViolenceAgainstPerson}	Boolean	true / false / unknown	Session	{Actor} uses violence against a person

Reconstruction from the substrate

Committed by any person (the actor) who: ({Actor} uses violence against a person or ({Actor} makes threats posing an immediate danger and (to life or to limb))) and (the thing belongs to another and the thing is movable) and {Actor} takes the {Thing} away from another.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[ThreatLeg]	ThreatsImmediateDanger, ToLife, ToLimb	false	Recomputes when any input changes; propagates into the composite.
[ForeignMovableThing]	BelongsToAnother, Movable	false	Recomputes when any input changes; propagates into the composite.
[Means]	ViolenceAgainstPerson, ThreatLeg	false	Recomputes when any input changes; propagates into the composite.
[Robbery]	Means, ForeignMovableThing, TakesAway	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (ROB-P0)	[Robbery]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {BelongsToAnother} ├─ {Movable} ├─ {TakesAway} ├─ {Thing} ├─ {ThreatsImmediateDanger} ├─ {ToLife} ├─ {ToLimb} ├─ {ViolenceAgainstPerson} ↓ PHASE 2: evaluate act / intermediate computables ├─ [ThreatLeg] = ThreatsImmediateDanger is true and (ToLife is true or ToLimb is true) ├─ [ForeignMovableThing] = BelongsToAnother is true and Movable is true ├─ [Means] = ViolenceAgainstPerson is true or ThreatLeg is true ↓ PHASE 3: evaluate the objective conditions └─ [Robbery] = Means is true and ForeignMovableThing is true and TakesAway is true ↓ VERDICT (PrimeRule) ├─ [Robbery] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Robbery] is false → not realised

Recursion / re-entry notes

Circularity check

• [Robbery] depends on [ThreatLeg], [ForeignMovableThing], [Means]; none refer back to [Robbery]. 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	{BelongsToAnother}	Element/Datum: the thing belongs to another.?	Boolean
Q3	Session	{Movable}	Element/Datum: the thing is movable.?	Boolean
Q4	Session	{TakesAway}	Element/Datum: {Actor} takes the {Thing} away from another.?	Boolean
Q5	Session	{Thing}	Element/Datum: the thing (the movable property).?	Party
Q6	Session	{ThreatsImmediateDanger}	Element/Datum: {Actor} makes threats posing an immediate danger.?	Boolean
Q7	Session	{ToLife}	Element/Datum: to life.?	Boolean
Q8	Session	{ToLimb}	Element/Datum: to limb.?	Boolean
Q9	Session	{ViolenceAgainstPerson}	Element/Datum: {Actor} uses violence against a person.?	Boolean

Flags

Scope Paragraph 1's means-plus-taking core: violence against a person or threats posing an immediate danger to life or limb, and the taking away of a foreign movable thing. Struck per the marked-up source: the appropriation intention inside (1) and (2) lesser cases.

Strike boundary in (1) (deliberate) The strike begins at the comma after “wegnimmt”, striking the appropriation infinitive but leaving “in der Absicht” standing, a dangling fragment with no content. Per the §241(2) precedent the intent element is treated as struck whole, including “in der Absicht”; the imprecise boundary is recorded here.

Asymmetry with §242 (deliberate) The Zueignungsabsicht is retained in §242 but struck here (and in §248c). Deliberate: in §242 the appropriation intention is the only element separating theft from innocuous taking-and-returning, so it is definitional and stays in the substrate; in §249 the wrongfulness is already carried objectively by the violence-or-threat means, so the intention is struck and escalates.

Means decomposition “Drohungen mit gegenwärtiger Gefahr für Leib oder Leben” decomposes per the encoding principles: the {ThreatsImmediateDanger} gate spans the coordinated {ToLife} and {ToLimb}, disjoined with {ViolenceAgainstPerson} in [Means]. [ForeignMovableThing] carries the title-wide Merkmal shared with §242 and §246.

Treatment §249 is Operomise-tagged.

§253 · Extortion

Extortion · provenance StGB 253 · (1) whole encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who unlawfully compels another person, by force or by threatening to inflict serious harm, to perform an act, to tolerate an act or to refrain from an act, and thereby inflicts a detriment on the property of the person compelled or of another person, in order to unjustly enrich themselves or a third party, shall be punished with imprisonment for a term not exceeding five years or with a fine. (2) The act is unlawful if the use of force or the threat of harm is to be regarded as reprehensible in view of the intended purpose. (3) An attempt is punishable. (4) In particularly serious cases, the penalty shall be imprisonment for a term of not less than one year. A particularly serious case generally exists where the offender acts professionally or as a member of a gang which has formed for the purpose of committing extortion on a continuous basis.

«if Extortion is true»(1) {Actor} who {Unlawfully} unlawfully «if {Compels} is true»compels {Person} «end if», by «if {Violence} is true»force «end if» «if {ThreatOfSeriousHarm} is true»or by threatening to inflict serious harm «end if», to perform «if {ToPerformAct} is true»an act «end if» «if {ToTolerate} is true», to tolerate an act «end if» «if {ToOmit} is true»or to refrain from an act «end if», and «if {InflictsDetriment} is true»thereby inflicts a detriment «end if» «if {PropertyOfCompelled} is true»on the property of {Person} «end if» «if {PropertyOfAnother} is true»or of another person «end if», «if {ActsWithEnrichmentIntention} is true»in order {Unjustly} unjustly to enrich «if {EnrichSelf} is true»{Actor} «end if» «if {EnrichThirdParty} is true»or a third party «end if» «end if» shall be punished with imprisonment for a term not exceeding five years or with a fine. (2) The act is unlawful if the use of force or the threat of harm is to be regarded as reprehensible in view of the intended purpose. (3) An attempt is punishable. (4) In particularly serious cases, the penalty shall be imprisonment for a term of not less than one year. A particularly serious case generally exists where the offender acts professionally or as a member of a gang which has formed for the purpose of committing extortion on a continuous basis.«end if»

Annexes

Computables

[EnrichmentPurpose] = ActsWithEnrichmentIntention is true and (EnrichSelf is true or EnrichThirdParty is true) and Unjustly is true [Means] = Violence is true or ThreatOfSeriousHarm is true [DemandedConduct] = ToPerformAct is true or ToTolerate is true or ToOmit is true [CoercionCore] = Compels is true and Unlawfully is true and Means is true and DemandedConduct is true [Detriment] = InflictsDetriment is true and (PropertyOfCompelled is true or PropertyOfAnother is true) [Extortion] = CoercionCore is true and Detriment is true and EnrichmentPurpose is true

Business rules

id	kind	actor	verb / predicate	body
EXT-R01	act	Actor		Compels is true
EXT-R02	condition	None		Unlawfully is true
EXT-R03	condition	None		Violence is true
EXT-R04	condition	None		ThreatOfSeriousHarm is true
EXT-R05	condition	None		ToPerformAct is true
EXT-R06	condition	None		ToTolerate is true
EXT-R07	condition	None		ToOmit is true
EXT-R08	act	Actor		InflictsDetriment is true
EXT-R09	condition	None		PropertyOfCompelled is true
EXT-R10	condition	None		PropertyOfAnother is true
EXT-R11	act	Actor		ActsWithEnrichmentIntention is true
EXT-R12	condition	None		EnrichSelf is true
EXT-R13	condition	None		EnrichThirdParty is true
EXT-R14	condition	None		Unjustly is true
EXT-P0	prohibition	Actor	not realise	not Extortion

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} compels {Person}	Merkmal	{Compels}	EXT-R01	is true
unlawfully	Merkmal	{Unlawfully}	EXT-R02	is true
force	Merkmal	{Violence}	EXT-R03	is true
the threat of serious harm	Merkmal	{ThreatOfSeriousHarm}	EXT-R04	is true
an act	Merkmal	{ToPerformAct}	EXT-R05	is true
a toleration	Merkmal	{ToTolerate}	EXT-R06	is true
an omission	Merkmal	{ToOmit}	EXT-R07	is true
{Actor} thereby inflicts a detriment	Merkmal	{InflictsDetriment}	EXT-R08	is true
on the property of {Person}	Merkmal	{PropertyOfCompelled}	EXT-R09	is true
on the property of another person	Merkmal	{PropertyOfAnother}	EXT-R10	is true
{Actor} acts with the intention of enrichment	Merkmal	{ActsWithEnrichmentIntention}	EXT-R11	is true
{Actor} is to be enriched	Merkmal	{EnrichSelf}	EXT-R12	is true
a third party is to be enriched	Merkmal	{EnrichThirdParty}	EXT-R13	is true
unjustly	Merkmal	{Unjustly}	EXT-R14	is true
(2) reprehensibility definition; (3) attempt; (4) particularly serious cases	evaluative definition / attempt / grading	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithEnrichmentIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of enrichment
{Compels}	Boolean	true / false / unknown	Session	{Actor} compels {Person}
{EnrichSelf}	Boolean	true / false / unknown	Session	{Actor} is to be enriched
{EnrichThirdParty}	Boolean	true / false / unknown	Session	a third party is to be enriched
{InflictsDetriment}	Boolean	true / false / unknown	Session	{Actor} thereby inflicts a detriment
{Person}	Party	–	Session	the compelled person (the victim)
{PropertyOfAnother}	Boolean	true / false / unknown	Session	on the property of another person
{PropertyOfCompelled}	Boolean	true / false / unknown	Session	on the property of {Person}
{ThreatOfSeriousHarm}	Boolean	true / false / unknown	Session	the threat of serious harm
{ToOmit}	Boolean	true / false / unknown	Session	an omission
{ToPerformAct}	Boolean	true / false / unknown	Session	an act
{ToTolerate}	Boolean	true / false / unknown	Session	a toleration
{Unjustly}	Boolean	true / false / unknown	Session	unjustly
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully
{Violence}	Boolean	true / false / unknown	Session	force

Reconstruction from the substrate

Committed by any person (the actor) who: ({Actor} compels {Person} and unlawfully and (force or the threat of serious harm) and (an act or a toleration or an omission)) and ({Actor} thereby inflicts a detriment and (on the property of {Person} or on the property of another person)) and ({Actor} acts with the intention of enrichment and ({Actor} is to be enriched or a third party is to be enriched) and unjustly).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[EnrichmentPurpose]	ActsWithEnrichmentIntention, EnrichSelf, EnrichThirdParty, Unjustly	false	Recomputes when any input changes; propagates into the composite.
[Means]	Violence, ThreatOfSeriousHarm	false	Recomputes when any input changes; propagates into the composite.
[DemandedConduct]	ToPerformAct, ToTolerate, ToOmit	false	Recomputes when any input changes; propagates into the composite.
[CoercionCore]	Compels, Unlawfully, Means, DemandedConduct	false	Recomputes when any input changes; propagates into the composite.
[Detriment]	InflictsDetriment, PropertyOfCompelled, PropertyOfAnother	false	Recomputes when any input changes; propagates into the composite.
[Extortion]	CoercionCore, Detriment, EnrichmentPurpose	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (EXT-P0)	[Extortion]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithEnrichmentIntention} ├─ {Compels} ├─ {EnrichSelf} ├─ {EnrichThirdParty} ├─ {InflictsDetriment} ├─ {Person} ├─ {PropertyOfAnother} ├─ {PropertyOfCompelled} ├─ {ThreatOfSeriousHarm} ├─ {ToOmit} ├─ {ToPerformAct} ├─ {ToTolerate} ├─ {Unjustly} ├─ {Unlawfully} ├─ {Violence} ↓ PHASE 2: evaluate act / intermediate computables ├─ [EnrichmentPurpose] = ActsWithEnrichmentIntention is true and (EnrichSelf is true or EnrichThirdParty is true) and Unjustly is true ├─ [Means] = Violence is true or ThreatOfSeriousHarm is true ├─ [DemandedConduct] = ToPerformAct is true or ToTolerate is true or ToOmit is true ├─ [CoercionCore] = Compels is true and Unlawfully is true and Means is true and DemandedConduct is true ├─ [Detriment] = InflictsDetriment is true and (PropertyOfCompelled is true or PropertyOfAnother is true) ↓ PHASE 3: evaluate the objective conditions └─ [Extortion] = CoercionCore is true and Detriment is true and EnrichmentPurpose is true ↓ VERDICT (PrimeRule) ├─ [Extortion] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Extortion] is false → not realised

Recursion / re-entry notes

Circularity check

• [Extortion] depends on [EnrichmentPurpose], [Means], [DemandedConduct], [CoercionCore], [Detriment]; none refer back to [Extortion]. 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	{ActsWithEnrichmentIntention}	Element/Datum: {Actor} acts with the intention of enrichment.?	Boolean
Q3	Session	{Compels}	Element/Datum: {Actor} compels {Person}.?	Boolean
Q4	Session	{EnrichSelf}	Element/Datum: {Actor} is to be enriched.?	Boolean
Q5	Session	{EnrichThirdParty}	Element/Datum: a third party is to be enriched.?	Boolean
Q6	Session	{InflictsDetriment}	Element/Datum: {Actor} thereby inflicts a detriment.?	Boolean
Q7	Session	{Person}	Element/Datum: the compelled person (the victim).?	Party
Q8	Session	{PropertyOfAnother}	Element/Datum: on the property of another person.?	Boolean
Q9	Session	{PropertyOfCompelled}	Element/Datum: on the property of {Person}.?	Boolean
Q10	Session	{ThreatOfSeriousHarm}	Element/Datum: the threat of serious harm.?	Boolean
Q11	Session	{ToOmit}	Element/Datum: an omission.?	Boolean
Q12	Session	{ToPerformAct}	Element/Datum: an act.?	Boolean
Q13	Session	{ToTolerate}	Element/Datum: a toleration.?	Boolean
Q14	Session	{Unjustly}	Element/Datum: unjustly.?	Boolean
Q15	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean
Q16	Session	{Violence}	Element/Datum: force.?	Boolean

Flags

Scope Paragraph 1 whole: the §240 coercion core, the property-detriment causal element, and the unjust-enrichment purpose. Struck per the marked-up source: (2) the reprehensibility definition, (3) attempt, (4) particularly serious cases.

Unlawfulness stands undefined (consistent posture) The Verwerflichkeit clause is struck here as in §237 and §240: {Unlawfully} is a required input whose reprehensibility assessment escalates. The three sections now carry the identical posture by consistent markup.

Enrichment purpose retained (deliberate) “um sich oder einen Dritten zu Unrecht zu bereichern” is live per the markup and the Operomise tag: the §236 enrichment Merkmal names are reused ({ActsWithEnrichmentIntention}, {EnrichSelf}, {EnrichThirdParty}) with the {Unjustly} qualifier inside the gate.

Closes the §239a reference §239a's purpose gate references extortion under this section; with this scope encoded, that reference now resolves against an in-corpus operome rather than an external input.

Translation note The draft English layer renders “Nachteil zufügt” as “causes damage”; carried as “inflicts a detriment”, the Vermögensnachteil Merkmal, bound to {InflictsDetriment}.

Treatment §253 is Operomise-tagged.

§257 · Assistance after the fact

AssistanceAfterTheFact · provenance StGB 257 · (1) encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who renders assistance to another who has committed an unlawful act, with the intention of securing the benefits of the act for that person, shall be punished with imprisonment for a term not exceeding five years or with a fine. (2) The penalty shall not be more severe than that prescribed for the predicate offence. (3) A person who is liable to prosecution for participation in the predicate offence shall not be punished for assistance after the fact. This shall not apply to a person who incites a person not involved in the predicate offence to render such assistance. (4) Assistance after the fact shall be prosecuted only upon application, with authorisation or upon a request for prosecution if the person assisting could, as the perpetrator or participant in the predicate offence, be prosecuted only upon application, with authorisation or upon a request for prosecution. Section 248a applies mutatis mutandis.

«if AssistanceAfterTheFact is true»(1) {Actor} who «if {RendersAssistance} is true»renders assistance «end if» to {OtherPerson} who «if {CommittedUnlawfulAct} is true»has committed an unlawful act «end if», «if {ActsWithSecuringIntention} is true»with the intention of securing the benefits of the act for {OtherPerson} «end if» shall be punished with imprisonment for a term not exceeding five years or with a fine. (2) The penalty shall not be more severe than that prescribed for the predicate offence. (3) A person who is liable to prosecution for participation in the predicate offence shall not be punished for assistance after the fact. This shall not apply to a person who incites a person not involved in the predicate offence to render such assistance. (4) Assistance after the fact shall be prosecuted only upon application, with authorisation or upon a request for prosecution if the person assisting could, as the perpetrator or participant in the predicate offence, be prosecuted only upon application, with authorisation or upon a request for prosecution. Section 248a applies mutatis mutandis.«end if»

Annexes

Computables

[AssistanceAfterTheFact] = CommittedUnlawfulAct is true and RendersAssistance is true and ActsWithSecuringIntention is true

Business rules

id	kind	actor	verb / predicate	body
AAF-R01	condition	None		CommittedUnlawfulAct is true
AAF-R02	act	Actor		RendersAssistance is true
AAF-R03	act	Actor		ActsWithSecuringIntention is true
AAF-P0	prohibition	Actor	not realise	not AssistanceAfterTheFact

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{OtherPerson} has committed an unlawful act	Merkmal	{CommittedUnlawfulAct}	AAF-R01	is true
{Actor} renders assistance to {OtherPerson}	Merkmal	{RendersAssistance}	AAF-R02	is true
{Actor} acts with the intention of securing the benefits of the act for {OtherPerson}	Merkmal	{ActsWithSecuringIntention}	AAF-R03	is true
(2) penalty cap; (3) participation exemption and its exception; (4) prosecution conditions	grading / personal exemption / procedure	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithSecuringIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of securing the benefits of the act for {OtherPerson}
{CommittedUnlawfulAct}	Boolean	true / false / unknown	Session	{OtherPerson} has committed an unlawful act
{OtherPerson}	Party	–	Session	the assisted person (the predicate offender)
{RendersAssistance}	Boolean	true / false / unknown	Session	{Actor} renders assistance to {OtherPerson}

Reconstruction from the substrate

Committed by any person (the actor) who: {OtherPerson} has committed an unlawful act and {Actor} renders assistance to {OtherPerson} and {Actor} acts with the intention of securing the benefits of the act for {OtherPerson}.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[AssistanceAfterTheFact]	CommittedUnlawfulAct, RendersAssistance, ActsWithSecuringIntention	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (AAF-P0)	[AssistanceAfterTheFact]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithSecuringIntention} ├─ {CommittedUnlawfulAct} ├─ {OtherPerson} ├─ {RendersAssistance} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [AssistanceAfterTheFact] = CommittedUnlawfulAct is true and RendersAssistance is true and ActsWithSecuringIntention is true ↓ VERDICT (PrimeRule) ├─ [AssistanceAfterTheFact] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [AssistanceAfterTheFact] is false → not realised

Recursion / re-entry notes

Circularity check

• [AssistanceAfterTheFact] depends on ; none refer back to [AssistanceAfterTheFact]. 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	{ActsWithSecuringIntention}	Element/Datum: {Actor} acts with the intention of securing the benefits of the act for {OtherPerson}.?	Boolean
Q3	Session	{CommittedUnlawfulAct}	Element/Datum: {OtherPerson} has committed an unlawful act.?	Boolean
Q4	Session	{OtherPerson}	Element/Datum: the assisted person (the predicate offender).?	Party
Q5	Session	{RendersAssistance}	Element/Datum: {Actor} renders assistance to {OtherPerson}.?	Boolean

Flags

Scope Paragraph 1's single sentence: the predicate unlawful act, the assistance verb, and the securing intention. Struck per the marked-up source: (2) the penalty cap, (3) the participation exemption with its incitement exception, (4) the prosecution conditions.

Securing intention retained (deliberate) “in der Absicht ... die Vorteile der Tat zu sichern” is live per the markup and the Operomise tag, carried as a single gate {ActsWithSecuringIntention} (no internal coordination to decompose); its existence in fact escalates.

Translation note The draft English layer titles and renders Begünstigung as “aiding and abetting”, colliding with §27 Beihilfe; rendered throughout as “assistance after the fact”, the accessory-after-the-fact Merkmal.

Predicate act as input {CommittedUnlawfulAct} is a status predicate over the predicate offence; where the predicate is itself in the encoded corpus, it resolves by name against that scope, otherwise as an input.

Treatment §257 is Operomise-tagged.

§258 · Obstruction of justice

ObstructionOfJustice · provenance StGB 258 · (1)-(2) encoded; (3)-(6) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, intentionally or knowingly, wholly or in part prevents another person from being punished under criminal law for an unlawful act or from being subjected to a measure (Section 11(1)(8)) shall be liable to imprisonment for a term not exceeding five years or to a fine. (2) A person who intentionally or knowingly prevents, in whole or in part, the enforcement of a penalty or measure imposed on another person shall be punished in the same way. (3) The penalty shall not be more severe than that prescribed for the predicate offence. (4) An attempt is punishable. (5) No penalty shall be imposed for obstruction of justice where the act is committed with the simultaneous intention, in whole or in part, of preventing the perpetrator from being punished or subjected to a measure, or of preventing the enforcement of a penalty or measure imposed on the perpetrator. (6) A person who commits the act for the benefit of a relative shall not be liable to punishment.

«if ObstructionOfJustice is true»(1) {Actor} who, «if {Intentionally} is true»intentionally «end if» «if {Knowingly} is true»or knowingly «end if», «if {Wholly} is true»wholly «end if» «if {InPart} is true»or in part «end if» «if {Prevents} is true»prevents «end if» «if {PunishmentForUnlawfulAct} is true»{OtherPerson} from being punished under criminal law for an unlawful act «end if» «if {SubjectionToMeasure} is true»or from being subjected to a measure (Section 11(1)(8)) «end if» shall be liable to imprisonment for a term not exceeding five years or to a fine. (2) Shall be punished in the same way {Actor} who, «if {Intentionally} is true»intentionally «end if» «if {Knowingly} is true»or knowingly «end if», «if {Prevents} is true»prevents «end if», «if {Wholly} is true»in whole «end if» «if {InPart} is true»or in part «end if», «if {EnforcementOfPenalty} is true»the enforcement of a penalty imposed on {OtherPerson} «end if» «if {EnforcementOfMeasure} is true»or of a measure imposed on {OtherPerson} «end if». (3) The penalty shall not be more severe than that prescribed for the predicate offence. (4) An attempt is punishable. (5) No penalty shall be imposed for obstruction of justice where the act is committed with the simultaneous intention, in whole or in part, of preventing the perpetrator from being punished or subjected to a measure, or of preventing the enforcement of a penalty or measure imposed on the perpetrator. (6) A person who commits the act for the benefit of a relative shall not be liable to punishment.«end if»

Annexes

Computables

[MentalMode] = Intentionally is true or Knowingly is true [Para2Object] = EnforcementOfPenalty is true or EnforcementOfMeasure is true [Extent] = Wholly is true or InPart is true [Para1Object] = PunishmentForUnlawfulAct is true or SubjectionToMeasure is true [Para1] = MentalMode is true and Prevents is true and Extent is true and Para1Object is true [Para2] = MentalMode is true and Prevents is true and Extent is true and Para2Object is true [ObstructionOfJustice] = Para1 is true or Para2 is true

Business rules

id	kind	actor	verb / predicate	body
OOJ-R01	condition	None		Intentionally is true
OOJ-R02	condition	None		Knowingly is true
OOJ-R03	act	Actor		Prevents is true
OOJ-R04	condition	None		Wholly is true
OOJ-R05	condition	None		InPart is true
OOJ-R06	condition	None		PunishmentForUnlawfulAct is true
OOJ-R07	condition	None		SubjectionToMeasure is true
OOJ-R08	condition	None		EnforcementOfPenalty is true
OOJ-R09	condition	None		EnforcementOfMeasure is true
OOJ-P0	prohibition	Actor	not realise	not ObstructionOfJustice

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
intentionally	Merkmal	{Intentionally}	OOJ-R01	is true
knowingly	Merkmal	{Knowingly}	OOJ-R02	is true
{Actor} prevents the outcome	Merkmal	{Prevents}	OOJ-R03	is true
wholly	Merkmal	{Wholly}	OOJ-R04	is true
in part	Merkmal	{InPart}	OOJ-R05	is true
{OtherPerson} being punished under criminal law for an unlawful act	Merkmal	{PunishmentForUnlawfulAct}	OOJ-R06	is true
{OtherPerson} being subjected to a measure (Section 11(1)(8))	Merkmal	{SubjectionToMeasure}	OOJ-R07	is true
the enforcement of a penalty imposed on {OtherPerson}	Merkmal	{EnforcementOfPenalty}	OOJ-R08	is true
the enforcement of a measure imposed on {OtherPerson}	Merkmal	{EnforcementOfMeasure}	OOJ-R09	is true
(3) penalty cap; (4) attempt; (5) self-protection exemption; (6) relative exemption	grading / attempt / personal exemptions	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{EnforcementOfMeasure}	Boolean	true / false / unknown	Session	the enforcement of a measure imposed on {OtherPerson}
{EnforcementOfPenalty}	Boolean	true / false / unknown	Session	the enforcement of a penalty imposed on {OtherPerson}
{InPart}	Boolean	true / false / unknown	Session	in part
{Intentionally}	Boolean	true / false / unknown	Session	intentionally
{Knowingly}	Boolean	true / false / unknown	Session	knowingly
{OtherPerson}	Party	–	Session	the other person (the predicate offender)
{Prevents}	Boolean	true / false / unknown	Session	{Actor} prevents the outcome
{PunishmentForUnlawfulAct}	Boolean	true / false / unknown	Session	{OtherPerson} being punished under criminal law for an unlawful act
{SubjectionToMeasure}	Boolean	true / false / unknown	Session	{OtherPerson} being subjected to a measure (Section 11(1)(8))
{Wholly}	Boolean	true / false / unknown	Session	wholly

Reconstruction from the substrate

Committed by any person (the actor) who: ((intentionally or knowingly) and {Actor} prevents the outcome and (wholly or in part) and ({OtherPerson} being punished under criminal law for an unlawful act or {OtherPerson} being subjected to a measure (Section 11(1)(8)))) or ((intentionally or knowingly) and {Actor} prevents the outcome and (wholly or in part) and (the enforcement of a penalty imposed on {OtherPerson} or the enforcement of a measure imposed on {OtherPerson})).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[MentalMode]	Intentionally, Knowingly	false	Recomputes when any input changes; propagates into the composite.
[Para2Object]	EnforcementOfPenalty, EnforcementOfMeasure	false	Recomputes when any input changes; propagates into the composite.
[Extent]	Wholly, InPart	false	Recomputes when any input changes; propagates into the composite.
[Para1Object]	PunishmentForUnlawfulAct, SubjectionToMeasure	false	Recomputes when any input changes; propagates into the composite.
[Para1]	MentalMode, Prevents, Extent, Para1Object	false	Recomputes when any input changes; propagates into the composite.
[Para2]	MentalMode, Prevents, Extent, Para2Object	false	Recomputes when any input changes; propagates into the composite.
[ObstructionOfJustice]	Para1, Para2	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (OOJ-P0)	[ObstructionOfJustice]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {EnforcementOfMeasure} ├─ {EnforcementOfPenalty} ├─ {InPart} ├─ {Intentionally} ├─ {Knowingly} ├─ {OtherPerson} ├─ {Prevents} ├─ {PunishmentForUnlawfulAct} ├─ {SubjectionToMeasure} ├─ {Wholly} ↓ PHASE 2: evaluate act / intermediate computables ├─ [MentalMode] = Intentionally is true or Knowingly is true ├─ [Para2Object] = EnforcementOfPenalty is true or EnforcementOfMeasure is true ├─ [Extent] = Wholly is true or InPart is true ├─ [Para1Object] = PunishmentForUnlawfulAct is true or SubjectionToMeasure is true ├─ [Para1] = MentalMode is true and Prevents is true and Extent is true and Para1Object is true ├─ [Para2] = MentalMode is true and Prevents is true and Extent is true and Para2Object is true ↓ PHASE 3: evaluate the objective conditions └─ [ObstructionOfJustice] = Para1 is true or Para2 is true ↓ VERDICT (PrimeRule) ├─ [ObstructionOfJustice] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ObstructionOfJustice] is false → not realised

Recursion / re-entry notes

Circularity check

• [ObstructionOfJustice] depends on [MentalMode], [Para2Object], [Extent], [Para1Object], [Para1], [Para2]; none refer back to [ObstructionOfJustice]. 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	{EnforcementOfMeasure}	Element/Datum: the enforcement of a measure imposed on {OtherPerson}.?	Boolean
Q3	Session	{EnforcementOfPenalty}	Element/Datum: the enforcement of a penalty imposed on {OtherPerson}.?	Boolean
Q4	Session	{InPart}	Element/Datum: in part.?	Boolean
Q5	Session	{Intentionally}	Element/Datum: intentionally.?	Boolean
Q6	Session	{Knowingly}	Element/Datum: knowingly.?	Boolean
Q7	Session	{OtherPerson}	Element/Datum: the other person (the predicate offender).?	Party
Q8	Session	{Prevents}	Element/Datum: {Actor} prevents the outcome.?	Boolean
Q9	Session	{PunishmentForUnlawfulAct}	Element/Datum: {OtherPerson} being punished under criminal law for an unlawful act.?	Boolean
Q10	Session	{SubjectionToMeasure}	Element/Datum: {OtherPerson} being subjected to a measure (Section 11(1)(8)).?	Boolean
Q11	Session	{Wholly}	Element/Datum: wholly.?	Boolean

Flags

Scope Paragraphs 1 and 2: the prosecution-prevention and enforcement-prevention variants, sharing the mental pair, the prevention verb and the extent pair. Struck per the marked-up source: (3) the penalty cap, (4) attempt, (5) the self-protection exemption, (6) the relative exemption.

Mental pair retained (deliberate) “absichtlich oder wissentlich” is live per the markup and the Operomise tag, carried as the coordinated pair {Intentionally} and {Knowingly} disjoined in [MentalMode], per the §176b precedent; existence in fact escalates.

Personal exemptions struck (5) and (6) are personal exemption rules; struck per the markup, so self-protection and benefit-of-a-relative situations escalate rather than resolving in the substrate.

Sanctions phrase “Ebenso wird bestraft” at the head of (2) struck inside the strike run, consistent with the standing rule.

Treatment §258 is Operomise-tagged.

§259 · Handling stolen goods

HandlingStolenGoods · provenance StGB 259 · (1) whole encoded; (2)-(3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who purchases, or otherwise acquires for themselves or a third party, an item which another person has stolen or otherwise obtained through an unlawful act directed against the property of another, or who disposes of it or assists in its disposal, with the intention of enriching themselves or a third party, shall be punished with imprisonment for a term of up to five years or a fine. (2) Sections 247 and 248a shall apply mutatis mutandis. (3) An attempt is punishable.

«if HandlingStolenGoods is true»(1) {Actor} who «if {Purchases} is true»purchases «end if», or «if {OtherwiseAcquires} is true»otherwise acquires «end if» «if {ForSelf} is true»for {Actor} «end if» «if {ForThirdParty} is true»or a third party «end if», the {Item} which {OtherPerson} «if {Stolen} is true»has stolen «end if» «if {ObtainedThroughUnlawfulAct} is true»or otherwise obtained through an unlawful act directed against the property of another «end if», or who «if {DisposesOf} is true»disposes of the {Item} «end if» «if {AssistsInDisposal} is true»or assists in its disposal «end if», «if {ActsWithEnrichmentIntention} is true»with the intention of enriching «if {EnrichSelf} is true»{Actor} «end if» «if {EnrichThirdParty} is true»or a third party «end if» «end if» shall be punished with imprisonment for a term of up to five years or a fine. (2) Sections 247 and 248a shall apply mutatis mutandis. (3) An attempt is punishable.«end if»

Annexes

Computables

[DisposalLeg] = DisposesOf is true or AssistsInDisposal is true [PredicateOrigin] = Stolen is true or ObtainedThroughUnlawfulAct is true [EnrichmentPurpose] = ActsWithEnrichmentIntention is true and (EnrichSelf is true or EnrichThirdParty is true) [AcquisitionLeg] = Purchases is true or (OtherwiseAcquires is true and (ForSelf is true or ForThirdParty is true)) [Conduct] = AcquisitionLeg is true or DisposalLeg is true [HandlingStolenGoods] = PredicateOrigin is true and Conduct is true and EnrichmentPurpose is true

Business rules

id	kind	actor	verb / predicate	body
HSG-R01	condition	None		Stolen is true
HSG-R02	condition	None		ObtainedThroughUnlawfulAct is true
HSG-R03	act	Actor		Purchases is true
HSG-R04	act	Actor		OtherwiseAcquires is true
HSG-R05	condition	None		ForSelf is true
HSG-R06	condition	None		ForThirdParty is true
HSG-R07	act	Actor		DisposesOf is true
HSG-R08	act	Actor		AssistsInDisposal is true
HSG-R09	act	Actor		ActsWithEnrichmentIntention is true
HSG-R10	condition	None		EnrichSelf is true
HSG-R11	condition	None		EnrichThirdParty is true
HSG-P0	prohibition	Actor	not realise	not HandlingStolenGoods

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{OtherPerson} has stolen the {Item}	Merkmal	{Stolen}	HSG-R01	is true
{OtherPerson} has otherwise obtained the {Item} through an unlawful act directed against the property of another	Merkmal	{ObtainedThroughUnlawfulAct}	HSG-R02	is true
{Actor} purchases the {Item}	Merkmal	{Purchases}	HSG-R03	is true
{Actor} otherwise acquires the {Item}	Merkmal	{OtherwiseAcquires}	HSG-R04	is true
for {Actor}	Merkmal	{ForSelf}	HSG-R05	is true
for a third party	Merkmal	{ForThirdParty}	HSG-R06	is true
{Actor} disposes of the {Item}	Merkmal	{DisposesOf}	HSG-R07	is true
{Actor} assists in the disposal of the {Item}	Merkmal	{AssistsInDisposal}	HSG-R08	is true
{Actor} acts with the intention of enrichment	Merkmal	{ActsWithEnrichmentIntention}	HSG-R09	is true
{Actor} is to be enriched	Merkmal	{EnrichSelf}	HSG-R10	is true
a third party is to be enriched	Merkmal	{EnrichThirdParty}	HSG-R11	is true
(2) mutatis references; (3) attempt	references / attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithEnrichmentIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of enrichment
{AssistsInDisposal}	Boolean	true / false / unknown	Session	{Actor} assists in the disposal of the {Item}
{DisposesOf}	Boolean	true / false / unknown	Session	{Actor} disposes of the {Item}
{EnrichSelf}	Boolean	true / false / unknown	Session	{Actor} is to be enriched
{EnrichThirdParty}	Boolean	true / false / unknown	Session	a third party is to be enriched
{ForSelf}	Boolean	true / false / unknown	Session	for {Actor}
{ForThirdParty}	Boolean	true / false / unknown	Session	for a third party
{Item}	Party	–	Session	the item
{ObtainedThroughUnlawfulAct}	Boolean	true / false / unknown	Session	{OtherPerson} has otherwise obtained the {Item} through an unlawful act directed against the property of another
{OtherPerson}	Party	–	Session	the predicate offender
{OtherwiseAcquires}	Boolean	true / false / unknown	Session	{Actor} otherwise acquires the {Item}
{Purchases}	Boolean	true / false / unknown	Session	{Actor} purchases the {Item}
{Stolen}	Boolean	true / false / unknown	Session	{OtherPerson} has stolen the {Item}

Reconstruction from the substrate

Committed by any person (the actor) who: ({OtherPerson} has stolen the {Item} or {OtherPerson} has otherwise obtained the {Item} through an unlawful act directed against the property of another) and (({Actor} purchases the {Item} or ({Actor} otherwise acquires the {Item} and (for {Actor} or for a third party))) or ({Actor} disposes of the {Item} or {Actor} assists in the disposal of the {Item})) and ({Actor} acts with the intention of enrichment and ({Actor} is to be enriched or a third party is to be enriched)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[DisposalLeg]	DisposesOf, AssistsInDisposal	false	Recomputes when any input changes; propagates into the composite.
[PredicateOrigin]	Stolen, ObtainedThroughUnlawfulAct	false	Recomputes when any input changes; propagates into the composite.
[EnrichmentPurpose]	ActsWithEnrichmentIntention, EnrichSelf, EnrichThirdParty	false	Recomputes when any input changes; propagates into the composite.
[AcquisitionLeg]	Purchases, OtherwiseAcquires, ForSelf, ForThirdParty	false	Recomputes when any input changes; propagates into the composite.
[Conduct]	AcquisitionLeg, DisposalLeg	false	Recomputes when any input changes; propagates into the composite.
[HandlingStolenGoods]	PredicateOrigin, Conduct, EnrichmentPurpose	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (HSG-P0)	[HandlingStolenGoods]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithEnrichmentIntention} ├─ {AssistsInDisposal} ├─ {DisposesOf} ├─ {EnrichSelf} ├─ {EnrichThirdParty} ├─ {ForSelf} ├─ {ForThirdParty} ├─ {Item} ├─ {ObtainedThroughUnlawfulAct} ├─ {OtherPerson} ├─ {OtherwiseAcquires} ├─ {Purchases} ├─ {Stolen} ↓ PHASE 2: evaluate act / intermediate computables ├─ [DisposalLeg] = DisposesOf is true or AssistsInDisposal is true ├─ [PredicateOrigin] = Stolen is true or ObtainedThroughUnlawfulAct is true ├─ [EnrichmentPurpose] = ActsWithEnrichmentIntention is true and (EnrichSelf is true or EnrichThirdParty is true) ├─ [AcquisitionLeg] = Purchases is true or (OtherwiseAcquires is true and (ForSelf is true or ForThirdParty is true)) ├─ [Conduct] = AcquisitionLeg is true or DisposalLeg is true ↓ PHASE 3: evaluate the objective conditions └─ [HandlingStolenGoods] = PredicateOrigin is true and Conduct is true and EnrichmentPurpose is true ↓ VERDICT (PrimeRule) ├─ [HandlingStolenGoods] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [HandlingStolenGoods] is false → not realised

Recursion / re-entry notes

Circularity check

• [HandlingStolenGoods] depends on [DisposalLeg], [PredicateOrigin], [EnrichmentPurpose], [AcquisitionLeg], [Conduct]; none refer back to [HandlingStolenGoods]. 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	{ActsWithEnrichmentIntention}	Element/Datum: {Actor} acts with the intention of enrichment.?	Boolean
Q3	Session	{AssistsInDisposal}	Element/Datum: {Actor} assists in the disposal of the {Item}.?	Boolean
Q4	Session	{DisposesOf}	Element/Datum: {Actor} disposes of the {Item}.?	Boolean
Q5	Session	{EnrichSelf}	Element/Datum: {Actor} is to be enriched.?	Boolean
Q6	Session	{EnrichThirdParty}	Element/Datum: a third party is to be enriched.?	Boolean
Q7	Session	{ForSelf}	Element/Datum: for {Actor}.?	Boolean
Q8	Session	{ForThirdParty}	Element/Datum: for a third party.?	Boolean
Q9	Session	{Item}	Element/Datum: the item.?	Party
Q10	Session	{ObtainedThroughUnlawfulAct}	Element/Datum: {OtherPerson} has otherwise obtained the {Item} through an unlawful act directed against the property of another.?	Boolean
Q11	Session	{OtherPerson}	Element/Datum: the predicate offender.?	Party
Q12	Session	{OtherwiseAcquires}	Element/Datum: {Actor} otherwise acquires the {Item}.?	Boolean
Q13	Session	{Purchases}	Element/Datum: {Actor} purchases the {Item}.?	Boolean
Q14	Session	{Stolen}	Element/Datum: {OtherPerson} has stolen the {Item}.?	Boolean

Flags

Scope Paragraph 1 whole: the predicate origin pair, the acquisition and disposal conduct legs, and the enrichment purpose. Struck per the marked-up source: (2) the mutatis references, (3) attempt.

Enrichment purpose retained (deliberate) “um sich oder einen Dritten zu bereichern” is live per the markup, carried with the §236 and §253 Merkmal names; note this section's purpose carries no “zu Unrecht”, so no {Unjustly} qualifier here, in contrast to §253.

Beneficiary attaches to acquisition only “sich oder einem Dritten verschafft” attaches the beneficiary pair to {OtherwiseAcquires} alone; {Purchases} stands without it, mirrored in [AcquisitionLeg].

Predicate origin as input {Stolen} resolves by name against the §242 scope where the predicate is in-corpus; the residual unlawful-act origin is an input.

Treatment §259 is Operomise-tagged.

§261 · Money laundering

MoneyLaundering · provenance StGB 261 · (1) s.1-2 and (2) encoded; (3)-(10) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, in relation to an item derived from an unlawful act, 1. conceals it, 2. exchanges, transfers or moves it with the intention of preventing its discovery, its confiscation or the determination of its origin, 3. procures it for themselves or a third party, or 4. keeps it in custody or uses it for themselves or a third party, if they knew its origin at the time they obtained it, shall be punished with imprisonment for up to five years or a fine. In the cases referred to in sentence 1, points 3 and 4, this shall not apply in relation to an item previously obtained by a third party without thereby committing an unlawful act. A defence lawyer who accepts a fee for his services shall be deemed to have acted with intent in the cases referred to in the first sentence, points 3 and 4, only if he had certain knowledge of the origin of the fee at the time of accepting it. (2) A person who conceals or obscures facts that may be relevant to the discovery, the confiscation or the determination of the origin of an item under paragraph 1 shall also be punished. (3) An attempt is punishable. (4) Any person who commits an offence under paragraph 1 or paragraph 2 as a person subject to obligations under Section 2 of the Money Laundering Act shall be punished with imprisonment for a term of three months to five years. (5) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender acts on a commercial basis or as a member of a gang which has formed for the purpose of continuously committing money laundering. (6) Any person who, in the cases referred to in paragraph 1 or 2, recklessly fails to recognise that an item is one referred to in paragraph 1 shall be punished with imprisonment for up to two years or a fine. The first sentence shall not apply in the cases referred to in paragraph 1, first sentence, numbers 3 and 4, to a criminal defence lawyer who accepts a fee for his or her services. (7) Any person who is liable to prosecution for participation in the predicate offence shall be punished under paragraphs 1 to 6 only if they place the item into circulation whilst concealing its unlawful origin. (8) No penalty shall be imposed under paragraphs 1 to 6 on 1. any person who voluntarily reports the offence to the competent authority or voluntarily causes such a report to be made, unless the offence had already been discovered in whole or in part at that time and the offender knew this or, on reasonable assessment of the circumstances, should have expected it, and 2. any person who, in the cases referred to in paragraph 1 or paragraph 2, under the conditions set out in point 1, causes the item to be seized. (9) Items within the meaning of paragraph 1 shall be treated as equivalent to items derived from an offence committed abroad if the offence would be unlawful under German criminal law and 1. is punishable at the place where the offence was committed, or 2. is to be made punishable under one of the listed provisions and conventions of the European Union [catalogue (a) to (h)]. (10) Objects to which the offence relates may be confiscated. Section 74a shall apply. Sections 73 to 73e remain unaffected and take precedence over confiscation under Section 74(2), including in conjunction with Sections 74a and 74c.

«if MoneyLaundering is true»(1) {Actor} who, in relation to the {Item}, «if {DerivedFromUnlawfulAct} is true»derived from an unlawful act «end if», 1. «if {Conceals} is true»conceals it «end if», 2. «if {ActsWithPreventionIntention} is true»with the intention of preventing «if {DiscoveryOfItem} is true»its discovery «end if» «if {ConfiscationOfItem} is true», its confiscation «end if» «if {DeterminationOfOrigin} is true»or the determination of its origin «end if» «end if», «if {Exchanges} is true»exchanges «end if» «if {Transfers} is true», transfers «end if» «if {Moves} is true»or moves it «end if», 3. «if {Procures} is true»procures it «end if» «if {ForSelf} is true»for {Actor} «end if» «if {ForThirdParty} is true»or a third party «end if», or 4. «if {KeepsInCustody} is true»keeps it in custody «end if» or «if {Uses} is true»uses it «end if» «if {ForSelf} is true»for {Actor} «end if» «if {ForThirdParty} is true»or a third party «end if», «if {KnewOriginAtAcquisition} is true»if {Actor} knew its origin at the time {Actor} obtained it «end if», shall be punished with imprisonment for up to five years or a fine. In the cases referred to in sentence 1, points 3 and 4, «if {ThirdPartyPriorLawfulAcquisition} is false»this shall not apply in relation to the {Item} previously obtained by a third party without thereby committing an unlawful act «end if». A defence lawyer who accepts a fee for his services shall be deemed to have acted with intent in the cases referred to in the first sentence, points 3 and 4, only if he had certain knowledge of the origin of the fee at the time of accepting it. (2) Shall also be punished {Actor} who «if {ConcealsFacts} is true»conceals «end if» «if {ObscuresFacts} is true»or obscures «end if» facts that may be relevant «if {RelevantToDiscovery} is true»to the discovery «end if» «if {RelevantToConfiscation} is true», the confiscation «end if» «if {RelevantToOriginDetermination} is true»or the determination of the origin «end if» of «if [ItemUnderPara1] is true»the {Item} under paragraph 1 «end if». (3) An attempt is punishable. (4) Any person who commits an offence under paragraph 1 or paragraph 2 as a person subject to obligations under Section 2 of the Money Laundering Act shall be punished with imprisonment for a term of three months to five years. (5) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender acts on a commercial basis or as a member of a gang which has formed for the purpose of continuously committing money laundering. (6) Any person who, in the cases referred to in paragraph 1 or 2, recklessly fails to recognise that an item is one referred to in paragraph 1 shall be punished with imprisonment for up to two years or a fine. The first sentence shall not apply in the cases referred to in paragraph 1, first sentence, numbers 3 and 4, to a criminal defence lawyer who accepts a fee for his or her services. (7) Any person who is liable to prosecution for participation in the predicate offence shall be punished under paragraphs 1 to 6 only if they place the item into circulation whilst concealing its unlawful origin. (8) No penalty shall be imposed under paragraphs 1 to 6 on 1. any person who voluntarily reports the offence to the competent authority or voluntarily causes such a report to be made, unless the offence had already been discovered in whole or in part at that time and the offender knew this or, on reasonable assessment of the circumstances, should have expected it, and 2. any person who, in the cases referred to in paragraph 1 or paragraph 2, under the conditions set out in point 1, causes the item to be seized. (9) Items within the meaning of paragraph 1 shall be treated as equivalent to items derived from an offence committed abroad if the offence would be unlawful under German criminal law and 1. is punishable at the place where the offence was committed, or 2. is to be made punishable under one of the listed provisions and conventions of the European Union [catalogue (a) to (h)]. (10) Objects to which the offence relates may be confiscated. Section 74a shall apply. Sections 73 to 73e remain unaffected and take precedence over confiscation under Section 74(2), including in conjunction with Sections 74a and 74c.«end if»

Annexes

Computables

[Leg3] = Procures is true and (ForSelf is true or ForThirdParty is true) and ThirdPartyPriorLawfulAcquisition is false [Leg4] = (KeepsInCustody is true or (Uses is true and (ForSelf is true or ForThirdParty is true))) and KnewOriginAtAcquisition is true and ThirdPartyPriorLawfulAcquisition is false [FactsRelevance] = RelevantToDiscovery is true or RelevantToConfiscation is true or RelevantToOriginDetermination is true [ItemUnderPara1] = DerivedFromUnlawfulAct is true [PreventionIntent] = ActsWithPreventionIntention is true and (DiscoveryOfItem is true or ConfiscationOfItem is true or DeterminationOfOrigin is true) [Para2] = (ConcealsFacts is true or ObscuresFacts is true) and FactsRelevance is true and ItemUnderPara1 is true [Leg1] = Conceals is true [Leg2] = (Exchanges is true or Transfers is true or Moves is true) and PreventionIntent is true [Para1] = DerivedFromUnlawfulAct is true and (Leg1 is true or Leg2 is true or Leg3 is true or Leg4 is true) [MoneyLaundering] = Para1 is true or Para2 is true

Business rules

id	kind	actor	verb / predicate	body
MLD-R01	condition	None		DerivedFromUnlawfulAct is true
MLD-R02	act	Actor		Conceals is true
MLD-R03	act	Actor		Exchanges is true
MLD-R04	act	Actor		Transfers is true
MLD-R05	act	Actor		Moves is true
MLD-R06	act	Actor		ActsWithPreventionIntention is true
MLD-R07	condition	None		DiscoveryOfItem is true
MLD-R08	condition	None		ConfiscationOfItem is true
MLD-R09	condition	None		DeterminationOfOrigin is true
MLD-R10	act	Actor		Procures is true
MLD-R11	condition	None		ForSelf is true
MLD-R12	condition	None		ForThirdParty is true
MLD-R13	act	Actor		KeepsInCustody is true
MLD-R14	act	Actor		Uses is true
MLD-R15	condition	None		KnewOriginAtAcquisition is true
MLD-R16	condition	None		ThirdPartyPriorLawfulAcquisition is true
MLD-R17	act	Actor		ConcealsFacts is true
MLD-R18	act	Actor		ObscuresFacts is true
MLD-R19	condition	None		RelevantToDiscovery is true
MLD-R20	condition	None		RelevantToConfiscation is true
MLD-R21	condition	None		RelevantToOriginDetermination is true
MLD-R80	condition	None	exemption: third-party prior lawful acquisition negates legs 3 and 4 only	ThirdPartyPriorLawfulAcquisition is false
MLD-P0	prohibition	Actor	not realise	not MoneyLaundering

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the {Item} is derived from an unlawful act	Merkmal	{DerivedFromUnlawfulAct}	MLD-R01	is true
{Actor} conceals the {Item}	Merkmal	{Conceals}	MLD-R02	is true
{Actor} exchanges the {Item}	Merkmal	{Exchanges}	MLD-R03	is true
{Actor} transfers the {Item}	Merkmal	{Transfers}	MLD-R04	is true
{Actor} moves the {Item}	Merkmal	{Moves}	MLD-R05	is true
{Actor} acts with the intention of preventing	Merkmal	{ActsWithPreventionIntention}	MLD-R06	is true
the discovery of the {Item}	Merkmal	{DiscoveryOfItem}	MLD-R07	is true
the confiscation of the {Item}	Merkmal	{ConfiscationOfItem}	MLD-R08	is true
the determination of the origin of the {Item}	Merkmal	{DeterminationOfOrigin}	MLD-R09	is true
{Actor} procures the {Item}	Merkmal	{Procures}	MLD-R10	is true
for {Actor}	Merkmal	{ForSelf}	MLD-R11	is true
for a third party	Merkmal	{ForThirdParty}	MLD-R12	is true
{Actor} keeps the {Item} in custody	Merkmal	{KeepsInCustody}	MLD-R13	is true
{Actor} uses the {Item}	Merkmal	{Uses}	MLD-R14	is true
{Actor} knew the origin of the {Item} at the time {Actor} obtained it	Merkmal	{KnewOriginAtAcquisition}	MLD-R15	is true
a third party previously obtained the {Item} without thereby committing an unlawful act	Merkmal	{ThirdPartyPriorLawfulAcquisition}	MLD-R16	is true
{Actor} conceals the facts	Merkmal	{ConcealsFacts}	MLD-R17	is true
{Actor} obscures the facts	Merkmal	{ObscuresFacts}	MLD-R18	is true
the facts may be relevant to the discovery of the {Item}	Merkmal	{RelevantToDiscovery}	MLD-R19	is true
the facts may be relevant to the confiscation of the {Item}	Merkmal	{RelevantToConfiscation}	MLD-R20	is true
the facts may be relevant to the determination of the origin of the {Item}	Merkmal	{RelevantToOriginDetermination}	MLD-R21	is true
(1) s.3 defence-lawyer rule; (3) attempt; (4) obligated-person aggravation; (5) serious cases; (6) recklessness variant; (7) predicate-participant rule; (8) voluntary-report exemptions; (9) foreign-predicate equivalence catalogue; (10) confiscation	variants / grading / personal exemptions / cross-border / confiscation	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithPreventionIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of preventing
{Conceals}	Boolean	true / false / unknown	Session	{Actor} conceals the {Item}
{ConcealsFacts}	Boolean	true / false / unknown	Session	{Actor} conceals the facts
{ConfiscationOfItem}	Boolean	true / false / unknown	Session	the confiscation of the {Item}
{DerivedFromUnlawfulAct}	Boolean	true / false / unknown	Session	the {Item} is derived from an unlawful act
{DeterminationOfOrigin}	Boolean	true / false / unknown	Session	the determination of the origin of the {Item}
{DiscoveryOfItem}	Boolean	true / false / unknown	Session	the discovery of the {Item}
{Exchanges}	Boolean	true / false / unknown	Session	{Actor} exchanges the {Item}
{ForSelf}	Boolean	true / false / unknown	Session	for {Actor}
{ForThirdParty}	Boolean	true / false / unknown	Session	for a third party
{Item}	Party	–	Session	the item (the object)
{KeepsInCustody}	Boolean	true / false / unknown	Session	{Actor} keeps the {Item} in custody
{KnewOriginAtAcquisition}	Boolean	true / false / unknown	Session	{Actor} knew the origin of the {Item} at the time {Actor} obtained it
{Moves}	Boolean	true / false / unknown	Session	{Actor} moves the {Item}
{ObscuresFacts}	Boolean	true / false / unknown	Session	{Actor} obscures the facts
{Procures}	Boolean	true / false / unknown	Session	{Actor} procures the {Item}
{RelevantToConfiscation}	Boolean	true / false / unknown	Session	the facts may be relevant to the confiscation of the {Item}
{RelevantToDiscovery}	Boolean	true / false / unknown	Session	the facts may be relevant to the discovery of the {Item}
{RelevantToOriginDetermination}	Boolean	true / false / unknown	Session	the facts may be relevant to the determination of the origin of the {Item}
{ThirdPartyPriorLawfulAcquisition}	Boolean	true / false / unknown	Session	a third party previously obtained the {Item} without thereby committing an unlawful act
{Transfers}	Boolean	true / false / unknown	Session	{Actor} transfers the {Item}
{Uses}	Boolean	true / false / unknown	Session	{Actor} uses the {Item}

Reconstruction from the substrate

Committed by any person (the actor) who: (the {Item} is derived from an unlawful act and (({Actor} conceals the {Item}) or (({Actor} exchanges the {Item} or {Actor} transfers the {Item} or {Actor} moves the {Item}) and ({Actor} acts with the intention of preventing and (the discovery of the {Item} or the confiscation of the {Item} or the determination of the origin of the {Item}))) or ({Actor} procures the {Item} and (for {Actor} or for a third party) and not a third party previously obtained the {Item} without thereby committing an unlawful act) or (({Actor} keeps the {Item} in custody or ({Actor} uses the {Item} and (for {Actor} or for a third party))) and {Actor} knew the origin of the {Item} at the time {Actor} obtained it and not a third party previously obtained the {Item} without thereby committing an unlawful act))) or (({Actor} conceals the facts or {Actor} obscures the facts) and (the facts may be relevant to the discovery of the {Item} or the facts may be relevant to the confiscation of the {Item} or the facts may be relevant to the determination of the origin of the {Item}) and (the {Item} is derived from an unlawful act)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Leg3]	Procures, ForSelf, ForThirdParty, ThirdPartyPriorLawfulAcquisition	false	Recomputes when any input changes; propagates into the composite.
[Leg4]	KeepsInCustody, Uses, ForSelf, ForThirdParty, KnewOriginAtAcquisition, ThirdPartyPriorLawfulAcquisition	false	Recomputes when any input changes; propagates into the composite.
[FactsRelevance]	RelevantToDiscovery, RelevantToConfiscation, RelevantToOriginDetermination	false	Recomputes when any input changes; propagates into the composite.
[ItemUnderPara1]	DerivedFromUnlawfulAct	false	Recomputes when any input changes; propagates into the composite.
[PreventionIntent]	ActsWithPreventionIntention, DiscoveryOfItem, ConfiscationOfItem, DeterminationOfOrigin	false	Recomputes when any input changes; propagates into the composite.
[Para2]	ConcealsFacts, ObscuresFacts, FactsRelevance, ItemUnderPara1	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	Conceals	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	Exchanges, Transfers, Moves, PreventionIntent	false	Recomputes when any input changes; propagates into the composite.
[Para1]	DerivedFromUnlawfulAct, Leg1, Leg2, Leg3, Leg4	false	Recomputes when any input changes; propagates into the composite.
[MoneyLaundering]	Para1, Para2	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (MLD-P0)	[MoneyLaundering]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithPreventionIntention} ├─ {Conceals} ├─ {ConcealsFacts} ├─ {ConfiscationOfItem} ├─ {DerivedFromUnlawfulAct} ├─ {DeterminationOfOrigin} ├─ {DiscoveryOfItem} ├─ {Exchanges} ├─ {ForSelf} ├─ {ForThirdParty} ├─ {Item} ├─ {KeepsInCustody} ├─ {KnewOriginAtAcquisition} ├─ {Moves} ├─ {ObscuresFacts} ├─ {Procures} ├─ {RelevantToConfiscation} ├─ {RelevantToDiscovery} ├─ {RelevantToOriginDetermination} ├─ {ThirdPartyPriorLawfulAcquisition} ├─ {Transfers} ├─ {Uses} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Leg3] = Procures is true and (ForSelf is true or ForThirdParty is true) and ThirdPartyPriorLawfulAcquisition is false ├─ [Leg4] = (KeepsInCustody is true or (Uses is true and (ForSelf is true or ForThirdParty is true))) and KnewOriginAtAcquisition is true and ThirdPartyPriorLawfulAcquisition is false ├─ [FactsRelevance] = RelevantToDiscovery is true or RelevantToConfiscation is true or RelevantToOriginDetermination is true ├─ [ItemUnderPara1] = DerivedFromUnlawfulAct is true ├─ [PreventionIntent] = ActsWithPreventionIntention is true and (DiscoveryOfItem is true or ConfiscationOfItem is true or DeterminationOfOrigin is true) ├─ [Para2] = (ConcealsFacts is true or ObscuresFacts is true) and FactsRelevance is true and ItemUnderPara1 is true ├─ [Leg1] = Conceals is true ├─ [Leg2] = (Exchanges is true or Transfers is true or Moves is true) and PreventionIntent is true ├─ [Para1] = DerivedFromUnlawfulAct is true and (Leg1 is true or Leg2 is true or Leg3 is true or Leg4 is true) ↓ PHASE 3: evaluate the objective conditions └─ [MoneyLaundering] = Para1 is true or Para2 is true ↓ VERDICT (PrimeRule) ├─ [MoneyLaundering] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [MoneyLaundering] is false → not realised

Recursion / re-entry notes

Circularity check

• [MoneyLaundering] depends on [Leg3], [Leg4], [FactsRelevance], [ItemUnderPara1], [PreventionIntent], [Para2], [Leg1], [Leg2], [Para1]; none refer back to [MoneyLaundering]. 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	{ActsWithPreventionIntention}	Element/Datum: {Actor} acts with the intention of preventing.?	Boolean
Q3	Session	{Conceals}	Element/Datum: {Actor} conceals the {Item}.?	Boolean
Q4	Session	{ConcealsFacts}	Element/Datum: {Actor} conceals the facts.?	Boolean
Q5	Session	{ConfiscationOfItem}	Element/Datum: the confiscation of the {Item}.?	Boolean
Q6	Session	{DerivedFromUnlawfulAct}	Element/Datum: the {Item} is derived from an unlawful act.?	Boolean
Q7	Session	{DeterminationOfOrigin}	Element/Datum: the determination of the origin of the {Item}.?	Boolean
Q8	Session	{DiscoveryOfItem}	Element/Datum: the discovery of the {Item}.?	Boolean
Q9	Session	{Exchanges}	Element/Datum: {Actor} exchanges the {Item}.?	Boolean
Q10	Session	{ForSelf}	Element/Datum: for {Actor}.?	Boolean
Q11	Session	{ForThirdParty}	Element/Datum: for a third party.?	Boolean
Q12	Session	{Item}	Element/Datum: the item (the object).?	Party
Q13	Session	{KeepsInCustody}	Element/Datum: {Actor} keeps the {Item} in custody.?	Boolean
Q14	Session	{KnewOriginAtAcquisition}	Element/Datum: {Actor} knew the origin of the {Item} at the time {Actor} obtained it.?	Boolean
Q15	Session	{Moves}	Element/Datum: {Actor} moves the {Item}.?	Boolean
Q16	Session	{ObscuresFacts}	Element/Datum: {Actor} obscures the facts.?	Boolean
Q17	Session	{Procures}	Element/Datum: {Actor} procures the {Item}.?	Boolean
Q18	Session	{RelevantToConfiscation}	Element/Datum: the facts may be relevant to the confiscation of the {Item}.?	Boolean
Q19	Session	{RelevantToDiscovery}	Element/Datum: the facts may be relevant to the discovery of the {Item}.?	Boolean
Q20	Session	{RelevantToOriginDetermination}	Element/Datum: the facts may be relevant to the determination of the origin of the {Item}.?	Boolean
Q21	Session	{ThirdPartyPriorLawfulAcquisition}	Element/Datum: a third party previously obtained the {Item} without thereby committing an unlawful act.?	Boolean
Q22	Session	{Transfers}	Element/Datum: {Actor} transfers the {Item}.?	Boolean
Q23	Session	{Uses}	Element/Datum: {Actor} uses the {Item}.?	Boolean

Flags

Scope Paragraph 1 sentences 1 and 2 (the four laundering legs and the live third-party-acquisition exemption) and paragraph 2's facts variant. Struck per the marked-up source: the defence-lawyer rules in (1) s.3 and (6) s.2, (3) attempt, (4) the obligated-person aggravation, (5) serious cases, (6) the recklessness variant, (7) the predicate-participant rule, (8) the voluntary-report exemptions, (9) the entire foreign-predicate equivalence catalogue, (10) confiscation.

Mental elements retained (deliberate) Two live per the markup and the Operomise tag: leg 2's prevention intention ({ActsWithPreventionIntention} spanning the three coordinated objects) and leg 4's knowledge condition ({KnewOriginAtAcquisition}). Their existence in fact escalates.

Live exemption, scoped (rule pattern) (1) sentence 2 is a live exemption encoded as a separate condition, never inside the legs: {ThirdPartyPriorLawfulAcquisition} is false gates [Leg3] and [Leg4] only, per the §184b scoped-exemption precedent; legs 1 and 2 are unaffected, exactly as the sentence scopes itself.

Cross-border extension struck whole (9)'s equivalence rule and its EU catalogue (a) to (h) are struck; foreign-predicate items therefore escalate rather than resolving in the substrate. The catalogue is compressed to a bracketed reference in the source column for readability; the full list is in the statute text.

Treatment §261 is Operomise-tagged.

§263 · Fraud

Fraud · provenance StGB 263 · (1) encoded; (2)-(7) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, with the intention of securing an unlawful financial advantage for themselves or a third party, damages the property of another by inducing or maintaining a mistake through the representation of false facts or the distortion or suppression of true facts shall be punished with imprisonment for a term not exceeding five years or a fine. (2) An attempt is punishable. (3) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. acts professionally or as a member of a gang which has formed for the purpose of continuously committing forgery or fraud, 2. causes a substantial financial loss or acts with the intention of exposing a large number of people to the risk of financial loss through the continued commission of fraud, 3. causes another person to suffer financial hardship, 4. abuses his powers or his position as a public official or European public official, or 5. falsely claims an insured event after he or another person has, for that purpose, set fire to an object of significant value or destroyed it wholly or partly by arson, or caused a ship to sink or run aground. (4) Section 243(2) and Sections 247 and 248a shall apply mutatis mutandis. (5) A person who commits fraud on a commercial basis as a member of a gang which has formed for the purpose of continuously committing offences under Sections 263 to 264 or 267 to 269 shall be punished with imprisonment for a term of one to ten years; in less serious cases, with imprisonment for a term of six months to five years. (6) The court may order probation (Section 68(1)). (7) (deleted)

«if Fraud is true»(1) {Actor} who, «if {ActsWithAdvantageIntention} is true»with the intention of securing {AdvantageUnlawful} an unlawful financial advantage «if {ForSelf} is true»for {Actor} «end if» «if {ForThirdParty} is true»or a third party «end if» «end if», «if {DamagesProperty} is true»damages the property of another «end if» by «if {InducesMistake} is true»inducing «end if» «if {MaintainsMistake} is true»or maintaining «end if» a mistake through «if {RepresentsFalseFacts} is true»the representation of false facts «end if» «if {DistortsTrueFacts} is true»or the distortion «end if» «if {SuppressesTrueFacts} is true»or suppression of true facts «end if» shall be punished with imprisonment for a term not exceeding five years or a fine. (2) An attempt is punishable. (3) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. acts professionally or as a member of a gang which has formed for the purpose of continuously committing forgery or fraud, 2. causes a substantial financial loss or acts with the intention of exposing a large number of people to the risk of financial loss through the continued commission of fraud, 3. causes another person to suffer financial hardship, 4. abuses his powers or his position as a public official or European public official, or 5. falsely claims an insured event after he or another person has, for that purpose, set fire to an object of significant value or destroyed it wholly or partly by arson, or caused a ship to sink or run aground. (4) Section 243(2) and Sections 247 and 248a shall apply mutatis mutandis. (5) A person who commits fraud on a commercial basis as a member of a gang which has formed for the purpose of continuously committing offences under Sections 263 to 264 or 267 to 269 shall be punished with imprisonment for a term of one to ten years; in less serious cases, with imprisonment for a term of six months to five years. (6) The court may order probation (Section 68(1)). (7) (deleted)«end if»

Annexes

Computables

[AdvantageIntention] = ActsWithAdvantageIntention is true and (ForSelf is true or ForThirdParty is true) and AdvantageUnlawful is true [MistakeConduct] = InducesMistake is true or MaintainsMistake is true [DeceptionMeans] = RepresentsFalseFacts is true or DistortsTrueFacts is true or SuppressesTrueFacts is true [Fraud] = AdvantageIntention is true and DamagesProperty is true and DeceptionMeans is true and MistakeConduct is true

Business rules

id	kind	actor	verb / predicate	body
FRD-R01	act	Actor		ActsWithAdvantageIntention is true
FRD-R02	condition	None		ForSelf is true
FRD-R03	condition	None		ForThirdParty is true
FRD-R04	condition	None		AdvantageUnlawful is true
FRD-R05	act	Actor		DamagesProperty is true
FRD-R06	condition	None		RepresentsFalseFacts is true
FRD-R07	condition	None		DistortsTrueFacts is true
FRD-R08	condition	None		SuppressesTrueFacts is true
FRD-R09	act	Actor		InducesMistake is true
FRD-R10	act	Actor		MaintainsMistake is true
FRD-P0	prohibition	Actor	not realise	not Fraud

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} acts with the intention of securing a financial advantage	Merkmal	{ActsWithAdvantageIntention}	FRD-R01	is true
for {Actor}	Merkmal	{ForSelf}	FRD-R02	is true
for a third party	Merkmal	{ForThirdParty}	FRD-R03	is true
the financial advantage is unlawful	Merkmal	{AdvantageUnlawful}	FRD-R04	is true
{Actor} thereby damages the property of another	Merkmal	{DamagesProperty}	FRD-R05	is true
the representation of false facts	Merkmal	{RepresentsFalseFacts}	FRD-R06	is true
the distortion of true facts	Merkmal	{DistortsTrueFacts}	FRD-R07	is true
the suppression of true facts	Merkmal	{SuppressesTrueFacts}	FRD-R08	is true
{Actor} induces a mistake	Merkmal	{InducesMistake}	FRD-R09	is true
{Actor} maintains a mistake	Merkmal	{MaintainsMistake}	FRD-R10	is true
(2) attempt; (3) serious cases; (4) mutatis; (5) gang variant; (6) probation	attempt / grading / references / judicial	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithAdvantageIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of securing a financial advantage
{AdvantageUnlawful}	Boolean	true / false / unknown	Session	the financial advantage is unlawful
{DamagesProperty}	Boolean	true / false / unknown	Session	{Actor} thereby damages the property of another
{DistortsTrueFacts}	Boolean	true / false / unknown	Session	the distortion of true facts
{ForSelf}	Boolean	true / false / unknown	Session	for {Actor}
{ForThirdParty}	Boolean	true / false / unknown	Session	for a third party
{InducesMistake}	Boolean	true / false / unknown	Session	{Actor} induces a mistake
{MaintainsMistake}	Boolean	true / false / unknown	Session	{Actor} maintains a mistake
{RepresentsFalseFacts}	Boolean	true / false / unknown	Session	the representation of false facts
{SuppressesTrueFacts}	Boolean	true / false / unknown	Session	the suppression of true facts

Reconstruction from the substrate

Committed by any person (the actor) who: ({Actor} acts with the intention of securing a financial advantage and (for {Actor} or for a third party) and the financial advantage is unlawful) and {Actor} thereby damages the property of another and (the representation of false facts or the distortion of true facts or the suppression of true facts) and ({Actor} induces a mistake or {Actor} maintains a mistake).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[AdvantageIntention]	ActsWithAdvantageIntention, ForSelf, ForThirdParty, AdvantageUnlawful	false	Recomputes when any input changes; propagates into the composite.
[MistakeConduct]	InducesMistake, MaintainsMistake	false	Recomputes when any input changes; propagates into the composite.
[DeceptionMeans]	RepresentsFalseFacts, DistortsTrueFacts, SuppressesTrueFacts	false	Recomputes when any input changes; propagates into the composite.
[Fraud]	AdvantageIntention, DamagesProperty, DeceptionMeans, MistakeConduct	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (FRD-P0)	[Fraud]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithAdvantageIntention} ├─ {AdvantageUnlawful} ├─ {DamagesProperty} ├─ {DistortsTrueFacts} ├─ {ForSelf} ├─ {ForThirdParty} ├─ {InducesMistake} ├─ {MaintainsMistake} ├─ {RepresentsFalseFacts} ├─ {SuppressesTrueFacts} ↓ PHASE 2: evaluate act / intermediate computables ├─ [AdvantageIntention] = ActsWithAdvantageIntention is true and (ForSelf is true or ForThirdParty is true) and AdvantageUnlawful is true ├─ [MistakeConduct] = InducesMistake is true or MaintainsMistake is true ├─ [DeceptionMeans] = RepresentsFalseFacts is true or DistortsTrueFacts is true or SuppressesTrueFacts is true ↓ PHASE 3: evaluate the objective conditions └─ [Fraud] = AdvantageIntention is true and DamagesProperty is true and DeceptionMeans is true and MistakeConduct is true ↓ VERDICT (PrimeRule) ├─ [Fraud] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Fraud] is false → not realised

Recursion / re-entry notes

Circularity check

• [Fraud] depends on [AdvantageIntention], [MistakeConduct], [DeceptionMeans]; none refer back to [Fraud]. 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	{ActsWithAdvantageIntention}	Element/Datum: {Actor} acts with the intention of securing a financial advantage.?	Boolean
Q3	Session	{AdvantageUnlawful}	Element/Datum: the financial advantage is unlawful.?	Boolean
Q4	Session	{DamagesProperty}	Element/Datum: {Actor} thereby damages the property of another.?	Boolean
Q5	Session	{DistortsTrueFacts}	Element/Datum: the distortion of true facts.?	Boolean
Q6	Session	{ForSelf}	Element/Datum: for {Actor}.?	Boolean
Q7	Session	{ForThirdParty}	Element/Datum: for a third party.?	Boolean
Q8	Session	{InducesMistake}	Element/Datum: {Actor} induces a mistake.?	Boolean
Q9	Session	{MaintainsMistake}	Element/Datum: {Actor} maintains a mistake.?	Boolean
Q10	Session	{RepresentsFalseFacts}	Element/Datum: the representation of false facts.?	Boolean
Q11	Session	{SuppressesTrueFacts}	Element/Datum: the suppression of true facts.?	Boolean

Flags

Scope Paragraph 1 only: the advantage intention, the property damage, the three deception means and the mistake pair. Struck per the marked-up source: (2) to (6) whole.

Advantage intention retained (deliberate) “in der Absicht, sich oder einem Dritten einen rechtswidrigen Vermögensvorteil zu verschaffen” is live per the markup and the Operomise tag: {ActsWithAdvantageIntention} spans the beneficiaries with the {AdvantageUnlawful} qualifier inside the gate. Existence in fact escalates.

Causal structure The dadurch-daß structure is carried as conjunction: the damage ({DamagesProperty}) through the mistake conduct ([MistakeConduct]) through the deception means ([DeceptionMeans]); the causal sufficiency between the layers is evaluative and escalates.

Translation note The draft English layer “causes damage to another person's property” is carried as “damages the property of another” (beschädigt), keeping the verb with the actor.

Treatment §263 is Operomise-tagged.

§263a · Computer fraud

ComputerFraud · provenance StGB 263a · (1) and (3) encoded; (2), (4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, with the intention of securing an unlawful financial advantage for themselves or a third party, damages the property of another by influencing the result of a data-processing operation through the incorrect design of the programme, through the use of incorrect or incomplete data, through the unauthorised use of data or otherwise through unauthorised interference with the process, shall be punished with imprisonment for up to five years or a fine. (2) Section 263(2) to (6) shall apply mutatis mutandis. (3) Any person who prepares an offence under paragraph 1 by 1. producing, procuring for themselves or another, offering for sale, keeping in custody or making available to another computer programmes whose purpose is the commission of such an offence, or 2. producing, procuring for themselves or another, offering for sale, keeping in custody or making available to another passwords or other security codes suitable for the commission of such an offence, shall be liable to imprisonment for a term not exceeding three years or to a fine. (4) In the cases referred to in paragraph 3, Section 149(2) and (3) shall apply mutatis mutandis.

«if ComputerFraud is true»(1) {Actor} who, «if {ActsWithAdvantageIntention} is true»with the intention of securing {AdvantageUnlawful} an unlawful financial advantage «if {ForSelf} is true»for {Actor} «end if» «if {ForThirdParty} is true»or a third party «end if» «end if», «if {DamagesProperty} is true»damages the property of another «end if» by «if {InfluencesResult} is true»influencing the result of a data-processing operation «end if» through «if {IncorrectProgramDesign} is true»the incorrect design of the programme «end if» «if {UseOfIncorrectData} is true», through the use of incorrect «end if» «if {UseOfIncompleteData} is true»or incomplete data «end if» «if {UnauthorisedUseOfData} is true», through the unauthorised use of data «end if» «if {UnauthorisedInterference} is true»or otherwise through unauthorised interference with the process «end if» shall be punished with imprisonment for up to five years or a fine. (2) Section 263(2) to (6) shall apply mutatis mutandis. (3) {Actor} who «if {PreparesOffence} is true»prepares an offence under paragraph 1 «end if» by 1. «if {Produces} is true»producing «end if» «if {Procures} is true», procuring «if {ForSelf} is true»for {Actor} «end if» «if {ForAnother} is true»or another «end if» «end if» «if {OffersForSale} is true», offering for sale «end if» «if {KeepsInCustody} is true», keeping in custody «end if» «if {MakesAvailableToAnother} is true»or making available to another «end if» «if {ComputerProgrammes} is true»computer programmes «end if» «if {ProgramPurposeOffence} is true»whose purpose is the commission of such an offence «end if», or 2. «if {Produces} is true»producing «end if» «if {Procures} is true», procuring «if {ForSelf} is true»for {Actor} «end if» «if {ForAnother} is true»or another «end if» «end if» «if {OffersForSale} is true», offering for sale «end if» «if {KeepsInCustody} is true», keeping in custody «end if» «if {MakesAvailableToAnother} is true»or making available to another «end if» «if {Passwords} is true»passwords «end if» «if {OtherSecurityCodes} is true»or other security codes «end if» «if {SuitableForOffence} is true»suitable for the commission of such an offence «end if», shall be liable to imprisonment for a term not exceeding three years or to a fine. (4) In the cases referred to in paragraph 3, Section 149(2) and (3) shall apply mutatis mutandis.«end if»

Annexes

Computables

[PreparationVerbs] = Produces is true or (Procures is true and (ForSelf is true or ForAnother is true)) or OffersForSale is true or KeepsInCustody is true or MakesAvailableToAnother is true [Leg1] = ComputerProgrammes is true and ProgramPurposeOffence is true and PreparationVerbs is true [Leg2] = (Passwords is true or OtherSecurityCodes is true) and SuitableForOffence is true and PreparationVerbs is true [Para3] = PreparesOffence is true and (Leg1 is true or Leg2 is true) [AdvantageIntention] = ActsWithAdvantageIntention is true and (ForSelf is true or ForThirdParty is true) and AdvantageUnlawful is true [InfluenceMeans] = IncorrectProgramDesign is true or UseOfIncorrectData is true or UseOfIncompleteData is true or UnauthorisedUseOfData is true or UnauthorisedInterference is true [Para1] = AdvantageIntention is true and DamagesProperty is true and InfluencesResult is true and InfluenceMeans is true [ComputerFraud] = Para1 is true or Para3 is true

Business rules

id	kind	actor	verb / predicate	body
CFR-R01	act	Actor		ActsWithAdvantageIntention is true
CFR-R02	condition	None		ForSelf is true
CFR-R03	condition	None		ForThirdParty is true
CFR-R04	condition	None		AdvantageUnlawful is true
CFR-R05	act	Actor		DamagesProperty is true
CFR-R06	act	Actor		InfluencesResult is true
CFR-R07	condition	None		IncorrectProgramDesign is true
CFR-R08	condition	None		UseOfIncorrectData is true
CFR-R09	condition	None		UseOfIncompleteData is true
CFR-R10	condition	None		UnauthorisedUseOfData is true
CFR-R11	condition	None		UnauthorisedInterference is true
CFR-R12	act	Actor		PreparesOffence is true
CFR-R13	condition	None		ComputerProgrammes is true
CFR-R14	condition	None		ProgramPurposeOffence is true
CFR-R15	condition	None		Passwords is true
CFR-R16	condition	None		OtherSecurityCodes is true
CFR-R17	condition	None		SuitableForOffence is true
CFR-R18	act	Actor		Produces is true
CFR-R19	act	Actor		Procures is true
CFR-R20	condition	None		ForAnother is true
CFR-R21	act	Actor		OffersForSale is true
CFR-R22	act	Actor		KeepsInCustody is true
CFR-R23	act	Actor		MakesAvailableToAnother is true
CFR-P0	prohibition	Actor	not realise	not ComputerFraud

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} acts with the intention of securing a financial advantage	Merkmal	{ActsWithAdvantageIntention}	CFR-R01	is true
for {Actor}	Merkmal	{ForSelf}	CFR-R02	is true
for a third party	Merkmal	{ForThirdParty}	CFR-R03	is true
the financial advantage is unlawful	Merkmal	{AdvantageUnlawful}	CFR-R04	is true
{Actor} thereby damages the property of another	Merkmal	{DamagesProperty}	CFR-R05	is true
{Actor} influences the result of a data-processing operation	Merkmal	{InfluencesResult}	CFR-R06	is true
the incorrect design of the programme	Merkmal	{IncorrectProgramDesign}	CFR-R07	is true
the use of incorrect data	Merkmal	{UseOfIncorrectData}	CFR-R08	is true
the use of incomplete data	Merkmal	{UseOfIncompleteData}	CFR-R09	is true
the unauthorised use of data	Merkmal	{UnauthorisedUseOfData}	CFR-R10	is true
otherwise the unauthorised interference with the process	Merkmal	{UnauthorisedInterference}	CFR-R11	is true
{Actor} prepares an offence under paragraph 1	Merkmal	{PreparesOffence}	CFR-R12	is true
computer programmes	Merkmal	{ComputerProgrammes}	CFR-R13	is true
the purpose of the computer programmes is the commission of such an offence	Merkmal	{ProgramPurposeOffence}	CFR-R14	is true
passwords	Merkmal	{Passwords}	CFR-R15	is true
other security codes	Merkmal	{OtherSecurityCodes}	CFR-R16	is true
suitable for the commission of such an offence	Merkmal	{SuitableForOffence}	CFR-R17	is true
{Actor} produces the object	Merkmal	{Produces}	CFR-R18	is true
{Actor} procures the object	Merkmal	{Procures}	CFR-R19	is true
for another person	Merkmal	{ForAnother}	CFR-R20	is true
{Actor} offers the object for sale	Merkmal	{OffersForSale}	CFR-R21	is true
{Actor} keeps the object in custody	Merkmal	{KeepsInCustody}	CFR-R22	is true
{Actor} makes the object available to another person	Merkmal	{MakesAvailableToAnother}	CFR-R23	is true
(2) mutatis reference; (4) mutatis reference	references	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithAdvantageIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of securing a financial advantage
{AdvantageUnlawful}	Boolean	true / false / unknown	Session	the financial advantage is unlawful
{ComputerProgrammes}	Boolean	true / false / unknown	Session	computer programmes
{DamagesProperty}	Boolean	true / false / unknown	Session	{Actor} thereby damages the property of another
{ForAnother}	Boolean	true / false / unknown	Session	for another person
{ForSelf}	Boolean	true / false / unknown	Session	for {Actor}
{ForThirdParty}	Boolean	true / false / unknown	Session	for a third party
{IncorrectProgramDesign}	Boolean	true / false / unknown	Session	the incorrect design of the programme
{InfluencesResult}	Boolean	true / false / unknown	Session	{Actor} influences the result of a data-processing operation
{KeepsInCustody}	Boolean	true / false / unknown	Session	{Actor} keeps the object in custody
{MakesAvailableToAnother}	Boolean	true / false / unknown	Session	{Actor} makes the object available to another person
{OffersForSale}	Boolean	true / false / unknown	Session	{Actor} offers the object for sale
{OtherSecurityCodes}	Boolean	true / false / unknown	Session	other security codes
{Passwords}	Boolean	true / false / unknown	Session	passwords
{PreparesOffence}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under paragraph 1
{Procures}	Boolean	true / false / unknown	Session	{Actor} procures the object
{Produces}	Boolean	true / false / unknown	Session	{Actor} produces the object
{ProgramPurposeOffence}	Boolean	true / false / unknown	Session	the purpose of the computer programmes is the commission of such an offence
{SuitableForOffence}	Boolean	true / false / unknown	Session	suitable for the commission of such an offence
{UnauthorisedInterference}	Boolean	true / false / unknown	Session	otherwise the unauthorised interference with the process
{UnauthorisedUseOfData}	Boolean	true / false / unknown	Session	the unauthorised use of data
{UseOfIncompleteData}	Boolean	true / false / unknown	Session	the use of incomplete data
{UseOfIncorrectData}	Boolean	true / false / unknown	Session	the use of incorrect data

Reconstruction from the substrate

Committed by any person (the actor) who: (({Actor} acts with the intention of securing a financial advantage and (for {Actor} or for a third party) and the financial advantage is unlawful) and {Actor} thereby damages the property of another and {Actor} influences the result of a data-processing operation and (the incorrect design of the programme or the use of incorrect data or the use of incomplete data or the unauthorised use of data or otherwise the unauthorised interference with the process)) or ({Actor} prepares an offence under paragraph 1 and ((computer programmes and the purpose of the computer programmes is the commission of such an offence and ({Actor} produces the object or ({Actor} procures the object and (for {Actor} or for another person)) or {Actor} offers the object for sale or {Actor} keeps the object in custody or {Actor} makes the object available to another person)) or ((passwords or other security codes) and suitable for the commission of such an offence and ({Actor} produces the object or ({Actor} procures the object and (for {Actor} or for another person)) or {Actor} offers the object for sale or {Actor} keeps the object in custody or {Actor} makes the object available to another person)))).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[PreparationVerbs]	Produces, Procures, ForSelf, ForAnother, OffersForSale, KeepsInCustody, MakesAvailableToAnother	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	ComputerProgrammes, ProgramPurposeOffence, PreparationVerbs	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	Passwords, OtherSecurityCodes, SuitableForOffence, PreparationVerbs	false	Recomputes when any input changes; propagates into the composite.
[Para3]	PreparesOffence, Leg1, Leg2	false	Recomputes when any input changes; propagates into the composite.
[AdvantageIntention]	ActsWithAdvantageIntention, ForSelf, ForThirdParty, AdvantageUnlawful	false	Recomputes when any input changes; propagates into the composite.
[InfluenceMeans]	IncorrectProgramDesign, UseOfIncorrectData, UseOfIncompleteData, UnauthorisedUseOfData, UnauthorisedInterference	false	Recomputes when any input changes; propagates into the composite.
[Para1]	AdvantageIntention, DamagesProperty, InfluencesResult, InfluenceMeans	false	Recomputes when any input changes; propagates into the composite.
[ComputerFraud]	Para1, Para3	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (CFR-P0)	[ComputerFraud]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithAdvantageIntention} ├─ {AdvantageUnlawful} ├─ {ComputerProgrammes} ├─ {DamagesProperty} ├─ {ForAnother} ├─ {ForSelf} ├─ {ForThirdParty} ├─ {IncorrectProgramDesign} ├─ {InfluencesResult} ├─ {KeepsInCustody} ├─ {MakesAvailableToAnother} ├─ {OffersForSale} ├─ {OtherSecurityCodes} ├─ {Passwords} ├─ {PreparesOffence} ├─ {Procures} ├─ {Produces} ├─ {ProgramPurposeOffence} ├─ {SuitableForOffence} ├─ {UnauthorisedInterference} ├─ {UnauthorisedUseOfData} ├─ {UseOfIncompleteData} ├─ {UseOfIncorrectData} ↓ PHASE 2: evaluate act / intermediate computables ├─ [PreparationVerbs] = Produces is true or (Procures is true and (ForSelf is true or ForAnother is true)) or OffersForSale is true or KeepsInCustody is true or MakesAvailableToAnother is true ├─ [Leg1] = ComputerProgrammes is true and ProgramPurposeOffence is true and PreparationVerbs is true ├─ [Leg2] = (Passwords is true or OtherSecurityCodes is true) and SuitableForOffence is true and PreparationVerbs is true ├─ [Para3] = PreparesOffence is true and (Leg1 is true or Leg2 is true) ├─ [AdvantageIntention] = ActsWithAdvantageIntention is true and (ForSelf is true or ForThirdParty is true) and AdvantageUnlawful is true ├─ [InfluenceMeans] = IncorrectProgramDesign is true or UseOfIncorrectData is true or UseOfIncompleteData is true or UnauthorisedUseOfData is true or UnauthorisedInterference is true ├─ [Para1] = AdvantageIntention is true and DamagesProperty is true and InfluencesResult is true and InfluenceMeans is true ↓ PHASE 3: evaluate the objective conditions └─ [ComputerFraud] = Para1 is true or Para3 is true ↓ VERDICT (PrimeRule) ├─ [ComputerFraud] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ComputerFraud] is false → not realised

Recursion / re-entry notes

Circularity check

• [ComputerFraud] depends on [PreparationVerbs], [Leg1], [Leg2], [Para3], [AdvantageIntention], [InfluenceMeans], [Para1]; none refer back to [ComputerFraud]. 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	{ActsWithAdvantageIntention}	Element/Datum: {Actor} acts with the intention of securing a financial advantage.?	Boolean
Q3	Session	{AdvantageUnlawful}	Element/Datum: the financial advantage is unlawful.?	Boolean
Q4	Session	{ComputerProgrammes}	Element/Datum: computer programmes.?	Boolean
Q5	Session	{DamagesProperty}	Element/Datum: {Actor} thereby damages the property of another.?	Boolean
Q6	Session	{ForAnother}	Element/Datum: for another person.?	Boolean
Q7	Session	{ForSelf}	Element/Datum: for {Actor}.?	Boolean
Q8	Session	{ForThirdParty}	Element/Datum: for a third party.?	Boolean
Q9	Session	{IncorrectProgramDesign}	Element/Datum: the incorrect design of the programme.?	Boolean
Q10	Session	{InfluencesResult}	Element/Datum: {Actor} influences the result of a data-processing operation.?	Boolean
Q11	Session	{KeepsInCustody}	Element/Datum: {Actor} keeps the object in custody.?	Boolean
Q12	Session	{MakesAvailableToAnother}	Element/Datum: {Actor} makes the object available to another person.?	Boolean
Q13	Session	{OffersForSale}	Element/Datum: {Actor} offers the object for sale.?	Boolean
Q14	Session	{OtherSecurityCodes}	Element/Datum: other security codes.?	Boolean
Q15	Session	{Passwords}	Element/Datum: passwords.?	Boolean
Q16	Session	{PreparesOffence}	Element/Datum: {Actor} prepares an offence under paragraph 1.?	Boolean
Q17	Session	{Procures}	Element/Datum: {Actor} procures the object.?	Boolean
Q18	Session	{Produces}	Element/Datum: {Actor} produces the object.?	Boolean
Q19	Session	{ProgramPurposeOffence}	Element/Datum: the purpose of the computer programmes is the commission of such an offence.?	Boolean
Q20	Session	{SuitableForOffence}	Element/Datum: suitable for the commission of such an offence.?	Boolean
Q21	Session	{UnauthorisedInterference}	Element/Datum: otherwise the unauthorised interference with the process.?	Boolean
Q22	Session	{UnauthorisedUseOfData}	Element/Datum: the unauthorised use of data.?	Boolean
Q23	Session	{UseOfIncompleteData}	Element/Datum: the use of incomplete data.?	Boolean
Q24	Session	{UseOfIncorrectData}	Element/Datum: the use of incorrect data.?	Boolean

Flags

Scope Paragraph 1 (the §263 intent head, the property damage, the influence verb and the five influence means) and paragraph 3 (the preparation variant with its shared five-verb set over the programme and credential legs). Struck per the marked-up source: (2) and (4), the mutatis references.

Encoding note Encoded from verbatim source under the current principles.

Shared Merkmal with §263 The intent head reuses the §263 variable names ({ActsWithAdvantageIntention}, {ForSelf}, {ForThirdParty}, {AdvantageUnlawful}, {DamagesProperty}); the cross-scope identity is by name.

Preparation verbs shared across legs The five verbs (produce, procure, offer for sale, keep in custody, make available) stand once per leg in the source and are bound to the same variables in both; the beneficiary pair attaches to {Procures} only, mirrored in [PreparationVerbs].

Treatment §263a is Operomise-tagged; the intent and purpose elements are live per the markup.

§303 · Damage to property

DamageToProperty · provenance StGB 303 · (1)-(2) encoded; (3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who unlawfully damages or destroys the property of another shall be liable to imprisonment for a term not exceeding two years or to a fine. (2) A person who, without authorisation, alters the appearance of the property of another in a manner that is not merely insignificant and not merely temporary shall be punished in the same way. (3) An attempt is punishable.

«if DamageToProperty is true»(1) {Actor} who {Unlawfully} unlawfully «if {Damages} is true»damages «end if» «if {Destroys} is true»or destroys «end if» the {Thing} «if {BelongsToAnother} is true»of another «end if» shall be liable to imprisonment for a term not exceeding two years or to a fine. (2) Shall be punished in the same way {Actor} who, «if {WithoutAuthorisation} is true»without authorisation «end if», «if {AltersAppearance} is true»alters the appearance of the {Thing} «end if» «if {BelongsToAnother} is true»of another «end if» in a manner that is «if {NotMerelyInsignificant} is true»not merely insignificant «end if» and «if {NotMerelyTemporary} is true»not merely temporary «end if». (3) An attempt is punishable.«end if»

Annexes

Computables

[Para2] = BelongsToAnother is true and WithoutAuthorisation is true and AltersAppearance is true and NotMerelyInsignificant is true and NotMerelyTemporary is true [Para1] = BelongsToAnother is true and Unlawfully is true and (Damages is true or Destroys is true) [DamageToProperty] = Para1 is true or Para2 is true

Business rules

id	kind	actor	verb / predicate	body
DTP-R01	condition	None		BelongsToAnother is true
DTP-R02	condition	None		Unlawfully is true
DTP-R03	act	Actor		Damages is true
DTP-R04	act	Actor		Destroys is true
DTP-R05	condition	None		WithoutAuthorisation is true
DTP-R06	act	Actor		AltersAppearance is true
DTP-R07	condition	None		NotMerelyInsignificant is true
DTP-R08	condition	None		NotMerelyTemporary is true
DTP-P0	prohibition	Actor	not realise	not DamageToProperty

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the thing belongs to another	Merkmal	{BelongsToAnother}	DTP-R01	is true
unlawfully	Merkmal	{Unlawfully}	DTP-R02	is true
{Actor} damages the {Thing}	Merkmal	{Damages}	DTP-R03	is true
{Actor} destroys the {Thing}	Merkmal	{Destroys}	DTP-R04	is true
without authorisation	Merkmal	{WithoutAuthorisation}	DTP-R05	is true
{Actor} alters the appearance of the {Thing}	Merkmal	{AltersAppearance}	DTP-R06	is true
the alteration is not merely insignificant	Merkmal	{NotMerelyInsignificant}	DTP-R07	is true
the alteration is not merely temporary	Merkmal	{NotMerelyTemporary}	DTP-R08	is true
(3) attempt	attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{AltersAppearance}	Boolean	true / false / unknown	Session	{Actor} alters the appearance of the {Thing}
{BelongsToAnother}	Boolean	true / false / unknown	Session	the thing belongs to another
{Damages}	Boolean	true / false / unknown	Session	{Actor} damages the {Thing}
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the {Thing}
{NotMerelyInsignificant}	Boolean	true / false / unknown	Session	the alteration is not merely insignificant
{NotMerelyTemporary}	Boolean	true / false / unknown	Session	the alteration is not merely temporary
{Thing}	Party	–	Session	the thing (the property)
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully
{WithoutAuthorisation}	Boolean	true / false / unknown	Session	without authorisation

Reconstruction from the substrate

Committed by any person (the actor) who: (the thing belongs to another and unlawfully and ({Actor} damages the {Thing} or {Actor} destroys the {Thing})) or (the thing belongs to another and without authorisation and {Actor} alters the appearance of the {Thing} and the alteration is not merely insignificant and the alteration is not merely temporary).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Para2]	BelongsToAnother, WithoutAuthorisation, AltersAppearance, NotMerelyInsignificant, NotMerelyTemporary	false	Recomputes when any input changes; propagates into the composite.
[Para1]	BelongsToAnother, Unlawfully, Damages, Destroys	false	Recomputes when any input changes; propagates into the composite.
[DamageToProperty]	Para1, Para2	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DTP-P0)	[DamageToProperty]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {AltersAppearance} ├─ {BelongsToAnother} ├─ {Damages} ├─ {Destroys} ├─ {NotMerelyInsignificant} ├─ {NotMerelyTemporary} ├─ {Thing} ├─ {Unlawfully} ├─ {WithoutAuthorisation} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Para2] = BelongsToAnother is true and WithoutAuthorisation is true and AltersAppearance is true and NotMerelyInsignificant is true and NotMerelyTemporary is true ├─ [Para1] = BelongsToAnother is true and Unlawfully is true and (Damages is true or Destroys is true) ↓ PHASE 3: evaluate the objective conditions └─ [DamageToProperty] = Para1 is true or Para2 is true ↓ VERDICT (PrimeRule) ├─ [DamageToProperty] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DamageToProperty] is false → not realised

Recursion / re-entry notes

Circularity check

• [DamageToProperty] depends on [Para2], [Para1]; none refer back to [DamageToProperty]. 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	{AltersAppearance}	Element/Datum: {Actor} alters the appearance of the {Thing}.?	Boolean
Q3	Session	{BelongsToAnother}	Element/Datum: the thing belongs to another.?	Boolean
Q4	Session	{Damages}	Element/Datum: {Actor} damages the {Thing}.?	Boolean
Q5	Session	{Destroys}	Element/Datum: {Actor} destroys the {Thing}.?	Boolean
Q6	Session	{NotMerelyInsignificant}	Element/Datum: the alteration is not merely insignificant.?	Boolean
Q7	Session	{NotMerelyTemporary}	Element/Datum: the alteration is not merely temporary.?	Boolean
Q8	Session	{Thing}	Element/Datum: the thing (the property).?	Party
Q9	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean
Q10	Session	{WithoutAuthorisation}	Element/Datum: without authorisation.?	Boolean

Flags

Scope Paragraphs 1 and 2: the damage-or-destruction core and the appearance-alteration variant with its two not-merely qualifiers. Struck per the marked-up source: (3) attempt.

Sanctions boundary note The strike in (1) begins one character inside “wird”; the sanctions phrase is struck whole per the standing rule (§235(2)), no separate decision required.

Qualifiers as elements “nicht nur unerheblich und nicht nur vorübergehend” are load-bearing thresholds carried as the conjoined pair {NotMerelyInsignificant} and {NotMerelyTemporary}; their evaluative content escalates.

No movability requirement Unlike §242, §246 and §249, the object here is any Sache of another, so [Para1] and [Para2] carry {BelongsToAnother} without a {Movable} conjunct.

Sanctions phrase “Ebenso wird bestraft” at the head of (2) struck inside the strike run, consistent with the standing rule.

Treatment §303 is Operomise-tagged.

§303a · Alteration of data

DataAlteration · provenance StGB 303a · (1) and (3) encoded; (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who unlawfully deletes, suppresses, renders unusable or alters data (Section 202a(2)) shall be punished with imprisonment for up to two years or a fine. (2) An attempt is punishable. (3) Section 202c shall apply mutatis mutandis to the preparation of an offence under paragraph 1.

«if DataAlteration is true»(1) {Actor} who {Unlawfully} unlawfully «if {Deletes} is true»deletes «end if» «if {Suppresses} is true», suppresses «end if» «if {RendersUnusable} is true», renders unusable «end if» «if {Alters} is true»or alters «end if» «if {Data} is true»data (Section 202a(2)) «end if» shall be punished with imprisonment for up to two years or a fine. (2) An attempt is punishable. (3) Section 202c shall apply mutatis mutandis to «if {PreparesOffenceUnderPara1} is true»the preparation of an offence under paragraph 1 «end if».«end if»

Annexes

Computables

[AlterationConduct] = Deletes is true or Suppresses is true or RendersUnusable is true or Alters is true [DataAlteration] = Data is true and Unlawfully is true and AlterationConduct is true

Business rules

id	kind	actor	verb / predicate	body
DAL-R01	condition	None		Data is true
DAL-R02	condition	None		Unlawfully is true
DAL-R03	act	Actor		Deletes is true
DAL-R04	act	Actor		Suppresses is true
DAL-R05	act	Actor		RendersUnusable is true
DAL-R06	act	Actor		Alters is true
DAL-R80	act	Actor	preparation of an offence under paragraph 1 is governed by Section 202c mutatis mutandis (recorded rule; resolves by name against the Section 202c scope)	PreparesOffenceUnderPara1 is true
DAL-P0	prohibition	Actor	not realise	not DataAlteration

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
data (Section 202a(2))	Merkmal	{Data}	DAL-R01	is true
unlawfully	Merkmal	{Unlawfully}	DAL-R02	is true
{Actor} deletes the data	Merkmal	{Deletes}	DAL-R03	is true
{Actor} suppresses the data	Merkmal	{Suppresses}	DAL-R04	is true
{Actor} renders the data unusable	Merkmal	{RendersUnusable}	DAL-R05	is true
{Actor} alters the data	Merkmal	{Alters}	DAL-R06	is true
{Actor} prepares an offence under paragraph 1	Merkmal	{PreparesOffenceUnderPara1}	DAL-R80	is true
(2) attempt	attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Alters}	Boolean	true / false / unknown	Session	{Actor} alters the data
{Data}	Boolean	true / false / unknown	Session	data (Section 202a(2))
{Deletes}	Boolean	true / false / unknown	Session	{Actor} deletes the data
{PreparesOffenceUnderPara1}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under paragraph 1
{RendersUnusable}	Boolean	true / false / unknown	Session	{Actor} renders the data unusable
{Suppresses}	Boolean	true / false / unknown	Session	{Actor} suppresses the data
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully

Reconstruction from the substrate

Committed by any person (the actor) who: data (Section 202a(2)) and unlawfully and ({Actor} deletes the data or {Actor} suppresses the data or {Actor} renders the data unusable or {Actor} alters the data).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[AlterationConduct]	Deletes, Suppresses, RendersUnusable, Alters	false	Recomputes when any input changes; propagates into the composite.
[DataAlteration]	Data, Unlawfully, AlterationConduct	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DAL-P0)	[DataAlteration]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Alters} ├─ {Data} ├─ {Deletes} ├─ {PreparesOffenceUnderPara1} ├─ {RendersUnusable} ├─ {Suppresses} ├─ {Unlawfully} ↓ PHASE 2: evaluate act / intermediate computables ├─ [AlterationConduct] = Deletes is true or Suppresses is true or RendersUnusable is true or Alters is true ↓ PHASE 3: evaluate the objective conditions └─ [DataAlteration] = Data is true and Unlawfully is true and AlterationConduct is true ↓ VERDICT (PrimeRule) ├─ [DataAlteration] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DataAlteration] is false → not realised

Recursion / re-entry notes

Circularity check

• [DataAlteration] depends on [AlterationConduct]; none refer back to [DataAlteration]. 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	{Alters}	Element/Datum: {Actor} alters the data.?	Boolean
Q3	Session	{Data}	Element/Datum: data (Section 202a(2)).?	Boolean
Q4	Session	{Deletes}	Element/Datum: {Actor} deletes the data.?	Boolean
Q5	Session	{PreparesOffenceUnderPara1}	Element/Datum: {Actor} prepares an offence under paragraph 1.?	Boolean
Q6	Session	{RendersUnusable}	Element/Datum: {Actor} renders the data unusable.?	Boolean
Q7	Session	{Suppresses}	Element/Datum: {Actor} suppresses the data.?	Boolean
Q8	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean

Flags

Scope Paragraph 1's four-verb alteration core and paragraph 3's live preparation reference. Struck per the marked-up source: (2) attempt.

Encoding note Encoded from verbatim source under the current principles. The live (3) is new relative to that pass.

Live mutatis reference as recorded rule (3) is unstruck in the markup. It is encoded as recorded rule DAL-R80 outside the composite, per the §232a(6) sentence 2 treatment, applied consistently: {PreparesOffenceUnderPara1} resolves by name against the in-corpus Section 202c scope (PreparationOfDataAccess); the mutatis mutandis transposition is interpretive and escalates.

Data definition by reference “Daten (§ 202a Abs. 2)” carries its statutory definition by reference; {Data} resolves against the §202a scope where needed.

Treatment §303a is Operomise-tagged.

§303b · Computer sabotage

ComputerSabotage · provenance StGB 303b · (1) and (5) encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who significantly disrupts data processing that is of essential importance to another person by 1. committing an offence under Section 303a(1), 2. entering or transmitting data (Section 202a(2)) with the intention of causing detriment to another person, or 3. destroying, damaging, rendering unusable, removing or altering a data-processing system or a data medium, shall be punished with imprisonment for up to three years or a fine. (2) If the data processing is of essential importance to a third party's business, a third party's enterprise or a public authority, the penalty shall be imprisonment for up to five years or a fine. (3) An attempt is punishable. (4) In particularly serious cases under paragraph 2, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. causes a substantial financial loss, 2. acts on a commercial basis or as a member of a gang that has formed for the purpose of continuously committing computer sabotage, 3. by the act impairs the supply of essential goods or services to the population or the security of the Federal Republic of Germany. (5) Section 202c shall apply mutatis mutandis to the preparation of an offence under paragraph 1.

«if ComputerSabotage is true»(1) {Actor} who «if {Significantly} is true»significantly «end if» «if {Disrupts} is true»disrupts the data processing «end if» «if {EssentialToAnother} is true»that is of essential importance to another person «end if» by 1. «if {CommitsDataAlteration} is true»committing an offence under Section 303a(1) «end if», 2. «if {EntersData} is true»entering «end if» «if {TransmitsData} is true»or transmitting «end if» «if {Data} is true»data (Section 202a(2)) «end if» «if {ActsWithDetrimentIntention} is true»with the intention of causing detriment to another person «end if», or 3. «if {Destroys} is true»destroying «end if» «if {Damages} is true», damaging «end if» «if {RendersUnusable} is true», rendering unusable «end if» «if {Removes} is true», removing «end if» «if {Alters} is true»or altering «end if» «if {DataProcessingSystem} is true»a data-processing system «end if» «if {DataMedium} is true»or a data medium «end if», shall be punished with imprisonment for up to three years or a fine. (2) If the data processing is of essential importance to a third party's business, a third party's enterprise or a public authority, the penalty shall be imprisonment for up to five years or a fine. (3) An attempt is punishable. (4) In particularly serious cases under paragraph 2, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. causes a substantial financial loss, 2. acts on a commercial basis or as a member of a gang that has formed for the purpose of continuously committing computer sabotage, 3. by the act impairs the supply of essential goods or services to the population or the security of the Federal Republic of Germany. (5) Section 202c shall apply mutatis mutandis to «if {PreparesOffenceUnderPara1} is true»the preparation of an offence under paragraph 1 «end if».«end if»

Annexes

Computables

[Leg3] = (DataProcessingSystem is true or DataMedium is true) and (Destroys is true or Damages is true or RendersUnusable is true or Removes is true or Alters is true) [Leg1] = CommitsDataAlteration is true [Leg2] = (EntersData is true or TransmitsData is true) and Data is true and ActsWithDetrimentIntention is true [DisruptionMeans] = Leg1 is true or Leg2 is true or Leg3 is true [ComputerSabotage] = Disrupts is true and Significantly is true and EssentialToAnother is true and DisruptionMeans is true

Business rules

id	kind	actor	verb / predicate	body
CSB-R01	act	Actor		Disrupts is true
CSB-R02	condition	None		Significantly is true
CSB-R03	condition	None		EssentialToAnother is true
CSB-R04	act	Actor		CommitsDataAlteration is true
CSB-R05	act	Actor		EntersData is true
CSB-R06	act	Actor		TransmitsData is true
CSB-R07	condition	None		Data is true
CSB-R08	act	Actor		ActsWithDetrimentIntention is true
CSB-R09	condition	None		DataProcessingSystem is true
CSB-R10	condition	None		DataMedium is true
CSB-R11	act	Actor		Destroys is true
CSB-R12	act	Actor		Damages is true
CSB-R13	act	Actor		RendersUnusable is true
CSB-R14	act	Actor		Removes is true
CSB-R15	act	Actor		Alters is true
CSB-R80	act	Actor	preparation of an offence under paragraph 1 is governed by Section 202c mutatis mutandis (recorded rule; resolves by name against the Section 202c scope)	PreparesOffenceUnderPara1 is true
CSB-P0	prohibition	Actor	not realise	not ComputerSabotage

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} disrupts the data processing	Merkmal	{Disrupts}	CSB-R01	is true
significantly	Merkmal	{Significantly}	CSB-R02	is true
the data processing is of essential importance to another person	Merkmal	{EssentialToAnother}	CSB-R03	is true
{Actor} commits an offence under Section 303a(1)	Merkmal	{CommitsDataAlteration}	CSB-R04	is true
{Actor} enters the data	Merkmal	{EntersData}	CSB-R05	is true
{Actor} transmits the data	Merkmal	{TransmitsData}	CSB-R06	is true
data (Section 202a(2))	Merkmal	{Data}	CSB-R07	is true
{Actor} acts with the intention of causing detriment to another person	Merkmal	{ActsWithDetrimentIntention}	CSB-R08	is true
a data-processing system	Merkmal	{DataProcessingSystem}	CSB-R09	is true
a data medium	Merkmal	{DataMedium}	CSB-R10	is true
{Actor} destroys the object	Merkmal	{Destroys}	CSB-R11	is true
{Actor} damages the object	Merkmal	{Damages}	CSB-R12	is true
{Actor} renders the object unusable	Merkmal	{RendersUnusable}	CSB-R13	is true
{Actor} removes the object	Merkmal	{Removes}	CSB-R14	is true
{Actor} alters the object	Merkmal	{Alters}	CSB-R15	is true
{Actor} prepares an offence under paragraph 1	Merkmal	{PreparesOffenceUnderPara1}	CSB-R80	is true
(2) qualified variant; (3) attempt; (4) particularly serious cases	grading / attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithDetrimentIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of causing detriment to another person
{Alters}	Boolean	true / false / unknown	Session	{Actor} alters the object
{CommitsDataAlteration}	Boolean	true / false / unknown	Session	{Actor} commits an offence under Section 303a(1)
{Damages}	Boolean	true / false / unknown	Session	{Actor} damages the object
{Data}	Boolean	true / false / unknown	Session	data (Section 202a(2))
{DataMedium}	Boolean	true / false / unknown	Session	a data medium
{DataProcessingSystem}	Boolean	true / false / unknown	Session	a data-processing system
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the object
{Disrupts}	Boolean	true / false / unknown	Session	{Actor} disrupts the data processing
{EntersData}	Boolean	true / false / unknown	Session	{Actor} enters the data
{EssentialToAnother}	Boolean	true / false / unknown	Session	the data processing is of essential importance to another person
{PreparesOffenceUnderPara1}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under paragraph 1
{Removes}	Boolean	true / false / unknown	Session	{Actor} removes the object
{RendersUnusable}	Boolean	true / false / unknown	Session	{Actor} renders the object unusable
{Significantly}	Boolean	true / false / unknown	Session	significantly
{TransmitsData}	Boolean	true / false / unknown	Session	{Actor} transmits the data

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} disrupts the data processing and significantly and the data processing is of essential importance to another person and (({Actor} commits an offence under Section 303a(1)) or (({Actor} enters the data or {Actor} transmits the data) and data (Section 202a(2)) and {Actor} acts with the intention of causing detriment to another person) or ((a data-processing system or a data medium) and ({Actor} destroys the object or {Actor} damages the object or {Actor} renders the object unusable or {Actor} removes the object or {Actor} alters the object))).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Leg3]	DataProcessingSystem, DataMedium, Destroys, Damages, RendersUnusable, Removes, Alters	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	CommitsDataAlteration	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	EntersData, TransmitsData, Data, ActsWithDetrimentIntention	false	Recomputes when any input changes; propagates into the composite.
[DisruptionMeans]	Leg1, Leg2, Leg3	false	Recomputes when any input changes; propagates into the composite.
[ComputerSabotage]	Disrupts, Significantly, EssentialToAnother, DisruptionMeans	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (CSB-P0)	[ComputerSabotage]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithDetrimentIntention} ├─ {Alters} ├─ {CommitsDataAlteration} ├─ {Damages} ├─ {Data} ├─ {DataMedium} ├─ {DataProcessingSystem} ├─ {Destroys} ├─ {Disrupts} ├─ {EntersData} ├─ {EssentialToAnother} ├─ {PreparesOffenceUnderPara1} ├─ {Removes} ├─ {RendersUnusable} ├─ {Significantly} ├─ {TransmitsData} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Leg3] = (DataProcessingSystem is true or DataMedium is true) and (Destroys is true or Damages is true or RendersUnusable is true or Removes is true or Alters is true) ├─ [Leg1] = CommitsDataAlteration is true ├─ [Leg2] = (EntersData is true or TransmitsData is true) and Data is true and ActsWithDetrimentIntention is true ├─ [DisruptionMeans] = Leg1 is true or Leg2 is true or Leg3 is true ↓ PHASE 3: evaluate the objective conditions └─ [ComputerSabotage] = Disrupts is true and Significantly is true and EssentialToAnother is true and DisruptionMeans is true ↓ VERDICT (PrimeRule) ├─ [ComputerSabotage] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ComputerSabotage] 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. Modality 1 composes [DataAlteration] by canonical name. Composition is a single read of that operome’s verdict, not a re-entry: §303a evaluates within its own operome against its own inputs.

Circularity check

• [ComputerSabotage] depends on [Leg3], [Leg1], [Leg2], [DisruptionMeans]; none refer back to [ComputerSabotage]. 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	{ActsWithDetrimentIntention}	Element/Datum: {Actor} acts with the intention of causing detriment to another person.?	Boolean
Q3	Session	{Alters}	Element/Datum: {Actor} alters the object.?	Boolean
Q4	Session	{CommitsDataAlteration}	Element/Datum: {Actor} commits an offence under Section 303a(1).?	Boolean
Q5	Session	{Damages}	Element/Datum: {Actor} damages the object.?	Boolean
Q6	Session	{Data}	Element/Datum: data (Section 202a(2)).?	Boolean
Q7	Session	{DataMedium}	Element/Datum: a data medium.?	Boolean
Q8	Session	{DataProcessingSystem}	Element/Datum: a data-processing system.?	Boolean
Q9	Session	{Destroys}	Element/Datum: {Actor} destroys the object.?	Boolean
Q10	Session	{Disrupts}	Element/Datum: {Actor} disrupts the data processing.?	Boolean
Q11	Session	{EntersData}	Element/Datum: {Actor} enters the data.?	Boolean
Q12	Session	{EssentialToAnother}	Element/Datum: the data processing is of essential importance to another person.?	Boolean
Q13	Session	{PreparesOffenceUnderPara1}	Element/Datum: {Actor} prepares an offence under paragraph 1.?	Boolean
Q14	Session	{Removes}	Element/Datum: {Actor} removes the object.?	Boolean
Q15	Session	{RendersUnusable}	Element/Datum: {Actor} renders the object unusable.?	Boolean
Q16	Session	{Significantly}	Element/Datum: significantly.?	Boolean
Q17	Session	{TransmitsData}	Element/Datum: {Actor} transmits the data.?	Boolean

Flags

Scope Paragraph 1 whole (the disruption chapeau and the three means legs) and paragraph 5's live preparation reference. Struck per the marked-up source: (2) the qualified variant, (3) attempt, (4) particularly serious cases.

Encoding note Encoded from verbatim source under the current principles.

In-document by-name reference Leg 1's {CommitsDataAlteration} resolves by name against the §303a scope rebuilt in this document; the dependency is in-corpus and in-document.

Detriment intention retained (deliberate) Leg 2's “in der Absicht, einem anderen Nachteil zuzufügen” is live per the markup, carried as the single gate {ActsWithDetrimentIntention}; existence in fact escalates.

Live mutatis reference as recorded rule (5) mirrors §303a(3): recorded rule CSB-R80 outside the composite, resolving by name against the Section 202c scope; the transposition escalates.

Significance thresholds “erheblich” and “von wesentlicher Bedeutung” are evaluative thresholds carried as {Significantly} and {EssentialToAnother}; their assessment escalates.

Treatment §303b is Operomise-tagged.

§305 · Destruction of structures

DestructionOfStructures · provenance StGB 305 · (1) encoded; (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who unlawfully destroys, in whole or in part, a building, a ship, a bridge, a dam, a constructed road, a railway or any other structure that is the property of another shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable.

«if DestructionOfStructures is true»(1) {Actor} who {Unlawfully} unlawfully «if {Destroys} is true»destroys «end if», «if {Wholly} is true»in whole «end if» «if {InPart} is true»or in part «end if», «if {Building} is true»a building «end if» «if {Ship} is true», a ship «end if» «if {Bridge} is true», a bridge «end if» «if {Dam} is true», a dam «end if» «if {ConstructedRoad} is true», a constructed road «end if» «if {Railway} is true», a railway «end if» «if {OtherStructure} is true»or any other structure «end if» «if {PropertyOfAnother} is true»that is the property of another «end if» shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable.«end if»

Annexes

Computables

[Extent] = Wholly is true or InPart is true [StructureObject] = Building is true or Ship is true or Bridge is true or Dam is true or ConstructedRoad is true or Railway is true or OtherStructure is true [DestructionOfStructures] = Unlawfully is true and Destroys is true and Extent is true and StructureObject is true and PropertyOfAnother is true

Business rules

id	kind	actor	verb / predicate	body
DOS-R01	condition	None		Unlawfully is true
DOS-R02	act	Actor		Destroys is true
DOS-R03	condition	None		Wholly is true
DOS-R04	condition	None		InPart is true
DOS-R05	condition	None		Building is true
DOS-R06	condition	None		Ship is true
DOS-R07	condition	None		Bridge is true
DOS-R08	condition	None		Dam is true
DOS-R09	condition	None		ConstructedRoad is true
DOS-R10	condition	None		Railway is true
DOS-R11	condition	None		OtherStructure is true
DOS-R12	condition	None		PropertyOfAnother is true
DOS-P0	prohibition	Actor	not realise	not DestructionOfStructures

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
unlawfully	Merkmal	{Unlawfully}	DOS-R01	is true
{Actor} destroys the structure	Merkmal	{Destroys}	DOS-R02	is true
wholly	Merkmal	{Wholly}	DOS-R03	is true
in part	Merkmal	{InPart}	DOS-R04	is true
a building	Merkmal	{Building}	DOS-R05	is true
a ship	Merkmal	{Ship}	DOS-R06	is true
a bridge	Merkmal	{Bridge}	DOS-R07	is true
a dam	Merkmal	{Dam}	DOS-R08	is true
a constructed road	Merkmal	{ConstructedRoad}	DOS-R09	is true
a railway	Merkmal	{Railway}	DOS-R10	is true
any other structure	Merkmal	{OtherStructure}	DOS-R11	is true
the structure is the property of another	Merkmal	{PropertyOfAnother}	DOS-R12	is true
(2) attempt	attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Bridge}	Boolean	true / false / unknown	Session	a bridge
{Building}	Boolean	true / false / unknown	Session	a building
{ConstructedRoad}	Boolean	true / false / unknown	Session	a constructed road
{Dam}	Boolean	true / false / unknown	Session	a dam
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the structure
{InPart}	Boolean	true / false / unknown	Session	in part
{OtherStructure}	Boolean	true / false / unknown	Session	any other structure
{PropertyOfAnother}	Boolean	true / false / unknown	Session	the structure is the property of another
{Railway}	Boolean	true / false / unknown	Session	a railway
{Ship}	Boolean	true / false / unknown	Session	a ship
{Unlawfully}	Boolean	true / false / unknown	Session	unlawfully
{Wholly}	Boolean	true / false / unknown	Session	wholly

Reconstruction from the substrate

Committed by any person (the actor) who: unlawfully and {Actor} destroys the structure and (wholly or in part) and (a building or a ship or a bridge or a dam or a constructed road or a railway or any other structure) and the structure is the property of another.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Extent]	Wholly, InPart	false	Recomputes when any input changes; propagates into the composite.
[StructureObject]	Building, Ship, Bridge, Dam, ConstructedRoad, Railway, OtherStructure	false	Recomputes when any input changes; propagates into the composite.
[DestructionOfStructures]	Unlawfully, Destroys, Extent, StructureObject, PropertyOfAnother	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DOS-P0)	[DestructionOfStructures]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Bridge} ├─ {Building} ├─ {ConstructedRoad} ├─ {Dam} ├─ {Destroys} ├─ {InPart} ├─ {OtherStructure} ├─ {PropertyOfAnother} ├─ {Railway} ├─ {Ship} ├─ {Unlawfully} ├─ {Wholly} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Extent] = Wholly is true or InPart is true ├─ [StructureObject] = Building is true or Ship is true or Bridge is true or Dam is true or ConstructedRoad is true or Railway is true or OtherStructure is true ↓ PHASE 3: evaluate the objective conditions └─ [DestructionOfStructures] = Unlawfully is true and Destroys is true and Extent is true and StructureObject is true and PropertyOfAnother is true ↓ VERDICT (PrimeRule) ├─ [DestructionOfStructures] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DestructionOfStructures] is false → not realised

Recursion / re-entry notes

Circularity check

• [DestructionOfStructures] depends on [Extent], [StructureObject]; none refer back to [DestructionOfStructures]. 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	{Bridge}	Element/Datum: a bridge.?	Boolean
Q3	Session	{Building}	Element/Datum: a building.?	Boolean
Q4	Session	{ConstructedRoad}	Element/Datum: a constructed road.?	Boolean
Q5	Session	{Dam}	Element/Datum: a dam.?	Boolean
Q6	Session	{Destroys}	Element/Datum: {Actor} destroys the structure.?	Boolean
Q7	Session	{InPart}	Element/Datum: in part.?	Boolean
Q8	Session	{OtherStructure}	Element/Datum: any other structure.?	Boolean
Q9	Session	{PropertyOfAnother}	Element/Datum: the structure is the property of another.?	Boolean
Q10	Session	{Railway}	Element/Datum: a railway.?	Boolean
Q11	Session	{Ship}	Element/Datum: a ship.?	Boolean
Q12	Session	{Unlawfully}	Element/Datum: unlawfully.?	Boolean
Q13	Session	{Wholly}	Element/Datum: wholly.?	Boolean

Flags

Scope Paragraph 1: the destruction verb with its extent pair over the seven-object structure disjunction and the ownership qualifier. Struck per the marked-up source: (2) attempt.

Translation note The draft English layer renders “eine gebaute Straße” as “a road”, dropping the constructed-character Merkmal that excludes natural ways; rendered as “a constructed road” and bound to {ConstructedRoad}.

Coordinated objects Each of the seven objects stands in its own gated block with the disjunction in [StructureObject], per the encoding principles; {PropertyOfAnother} qualifies the whole disjunction, as “welche fremdes Eigentum sind” does in the German.

Treatment §305 is Operomise-tagged.

SynapseLayer operome extraction · Lisbon, 10 June 2026 · §263a, §303a, §303b