# Coherent Dictionary of Simple English
# Logic Rendering (Mechanical Logic)
#
# Date: 2026-08-27
# Source: dictionary/coherent-dictionary-mechanical.txt (the Mechanical
#   rendering; each rule below names the entry it formalizes)
# Vocabulary: dictionary/mechanical-vocabulary.md -- every content word in
#   this file reconciles against the same vocabulary gate as the rendering.
#
# Form: a companion to the prose entries. Every sentence here has exactly one
# machine-derivable reading and compiles to logic. The reading rules are:
#   - Each clause matches exactly one declared relation (one surface, one
#     meaning -- the same law the words obey). The relations in use:
#       {A} is an act of {X} crossing {K} boundary of {Y}
#       {V} consented to {E}
#       {V} gives permission for {E}
#       {V} takes back the permission for {E} at {W}
#       the permission for {E} has ended
#       the conduct of {V} shows the intention of consent to {E}
#       the words of {V} show consent to {E}
#       {V} accepts the terms of {E} in an agreement
#       {D} deceived {V} about {E}
#       duress caused the consent of {V} to {E}
#       the circumstances fix the meaning of {E} as consent by {V}
#       the consent of {V} to {E} stands outside words and conduct
#       {T} is a conditional transfer from {A} to {V}
#       the condition of {T} occurs at {W}
#       {A} holds the value of {T}
#       {A} refuses to give the value of {T} at {E}
#       the value of {T} is the property of {V}
#       {C} is the stated thing of {T} that moves on failure
#       {E} is the failure of {T} from {A}
#       {E} is the trade of {T} by {A} to {V}
#       {A} had no intention to give the value of {T}
#       {A} hides the facts that made {T} not possible
#       {E} is a promise by {A} to {V}
#       {J} is a judgment that {A} caused the harm of {E} to {V}
#       {X} disproves the facts of {J}
#       the authority of {J} has ended
#       the moral debt of {A} to {V} from {E} stands outside causation
#       {G} is a scarce thing
#       {A} takes {G} into first use at {E}
#       {A} gives {G} to {V} at {E}
#       {G} is the property of {A}
#       {A} makes {G} at {E}
#       the ownership of {G} stands outside first use and transfer
#       {E} is Theft by {A} from {V}
#       {T} is commanded by authority on {A} for {V}
#       the ownership of the value of {T} stands outside consent
#       {A} lies to {V} in {E}
#       {E} is Fraud by {A} on {V}
#       {X} is part of the group of {A}
#       the harm of {E} reaches {K}
#       {E} is a hostile crossing of {V} by {A} in {K}
#       {E} stands in a Forfeiture
#       {F} stops a crossing that continues with the minimum force
#       {A} forfeits {K} to {V} after {E}
#       the forfeiture of {A} to {V} has ended
#       {F} is later than {E}
#       {X} holds a mandate from {V}
#       {E} makes no victim
#       {E} is a crime by {A} with victim {V}
#       the moral debt of {A} to {V} from {E} exists
#       {E} is murder by {A} of {V}
#       {A} is an outlaw
#       {E} is revenge by {A} on {V}
#       {J} is a collection by {X} on the debt from {E}
#       {V} releases the debt from {E}
#       the moral debt of {A} to {V} from {E} is closed by justice
#       the moral debt of {A} to {V} from {E} is closed
#       {R} is a restitution by {A} to {V} for {E}
#       the damage of {E} is repaired
#       the moral debt of {A} to {V} from {E} remains open
#       the debt of {A} to {V} from {E} is closed outside Justice
#       {F} was caused by the fraud of {D}
#       {D} is responsible for {F}
#   - "an agent" introduces an agent; "the agent" is the most recent one;
#     "the second agent" pins by order of introduction.
#   - "a second X" inside "it is not true that ..." means: no such X exists.
#   - Sentences under "Stratum N." are rules evaluated in that order, per
#     event in temporal order; "Final." rules run once after the last event.
#   - "It is at no time true that ..." states an integrity constraint: a
#     rulebook or a case that derives it is incoherent.
#
# Consent is not a primitive here. It is derived through the channels the
# entries declare -- permission, conduct, words, agreement -- each blocked by
# deception and by duress, and permission ends at its withdrawal. An agent
# who meant nothing by an act has consented to nothing: that is the ABSENCE
# of the carrying fact, and unclear conduct shows nothing, so the boundary
# stands. Circumstances supply no consent at all; the audit rule and its
# constraint make that executable.
#
# Checked by: tools/mech_logic.py (parse, vocabulary, compile, derive,
# integrity, planted-axiom selftest). Coverage today: the Forfeiture
# cluster, the Consent/Permission/Conduct cluster, and the title-transfer
# cluster (Contract, Debt, IOU, Currency, Promise). Coverage grows.

Stratum 1. Title: what a conditional transfer moves, and when.

# From: Debt, Money ("the property that the agent holds when the date
# comes is the property of the holder" -- money is such a transferable
# conditional title).
If a transfer is a conditional transfer from an agent to a second agent, and the condition of the transfer occurs at an act, then the value of the transfer is the property of the second agent.

# From: Debt ("an agent who cannot give the value took no thing, and does
# no Theft").
If a transfer is a conditional transfer from an agent to a second agent, and the condition of the transfer occurs at an act, and it is not true that the first agent holds the value of the transfer, then the act is the failure of the transfer from the first agent.

# From: Contract, Debt ("a stated thing that moves on failure" -- the
# penalty is itself a conditional transfer, and it passes on its own terms).
If a transfer is a conditional transfer from an agent to a second agent, and an act is the failure of the first transfer from the first agent, and a second transfer is the stated thing of the first transfer that moves on failure, then the condition of the second transfer occurs at the act.

# From: Ownership, Property, Scarcity, Self-Ownership ("first use of a
# thing that no one owned, or voluntary transfer from a prior owner" --
# the only two sources; it begins with the body).
If an agent takes a thing into first use at an act, then the thing is the property of the first agent.
If a thing is the property of an agent, and the first agent gives the thing to a second agent at an act, then the thing is the property of the second agent.

Stratum 2. What transfers make acts mean.

# From: Debt, IOU, Currency, Theft, Obligation ("an agent who holds the
# value and refuses to give it does Theft") -- to withhold what title
# moved is a crossing, and the Forfeiture machinery takes it from here.
If an agent refuses to give the value of a transfer at an act, and the value of the transfer is the property of a second agent, and the first agent holds the value of the transfer, then the act is an act of the first agent crossing the property boundary of the second agent.

# From: IOU, Fraud ("it is Fraud only if the issuer had no intention to
# give the value") -- fraud is deception, and deception routes through
# consent.
If an act is the trade of a transfer by an agent to a second agent, and the first agent had no intention to give the value of the transfer, then the first agent deceived the second agent about the act.

# From: IOU, Currency, Fraud ("it is also Fraud if the issuer hides the
# facts that made the transfer not possible").
If an act is the trade of a transfer by an agent to a second agent, and the first agent hides the facts that made the transfer not possible, then the first agent deceived the second agent about the act.

# From: Lie / Lying, Communication (a lie is deception with intention;
# it breaks what communication is for).
If an agent lies to a second agent in an act, then the first agent deceived the second agent about the act.

# From: Promise ("a bare promise is one that moved no title, and it leaves
# the other agent no claim"). No rule consumes a bare promise: that absence
# IS the entry.

Stratum 3. When a permission has ended.

# From: Permission ("a word or a change of Conduct that takes it back ends
# it immediately").
If an agent takes back the permission for an act at a second act, and the first act is later than the second act, then the permission for the first act has ended.

Stratum 4. How consent comes to stand.

# From: Permission, License ("covers only the action the agent gave it
# for, and lasts only while the agent gives it" -- a license is this
# scope-bounded permission set by contract).
If an agent gives permission for an act, and it is not true that the permission for the act has ended, and it is not true that a second agent deceived the first agent about the act, and it is not true that duress caused the consent of the first agent to the act, then the first agent consented to the act.

# From: Conduct, Intention, Behavior ("when conduct shows the same
# intention as words, it shows Consent as words do, and no more"; an agent
# who had no such intention has given no consent -- that is the absence of
# this showing fact).
If the conduct of an agent shows the intention of consent to an act, and it is not true that a second agent deceived the first agent about the act, and it is not true that duress caused the consent of the first agent to the act, then the first agent consented to the act.

# From: Consent, Deception, Duress, Choice, Decision, Force, Violence, Threat
# ("freely, without pressure, deception, or manipulation" -- a choice made
# under force, threats, or lies is no consent).
If the words of an agent show consent to an act, and it is not true that a second agent deceived the first agent about the act, and it is not true that duress caused the consent of the first agent to the act, then the first agent consented to the act.

# From: Agreement, Terms, Trade, Deal, Exchange, Service, Trade Partner
# ("all sides freely know and accept the terms" -- every voluntary
# exchange stands on this consent).
If an agent accepts the terms of an act in an agreement, and it is not true that a second agent deceived the first agent about the act, and it is not true that duress caused the consent of the first agent to the act, then the first agent consented to the act.

Stratum 5. What an act is, and what its harm reaches.

# From: Action, Agent, Agency, Cause, Effect, Consequence (an act is a
# change in the environment that an agent causes; the typed event model
# and everything it derives are these entries' substrate).

# From: Forfeiture, Harm (the harm of a crossing reaches its kind).
If an act is an act of an agent crossing a kind of boundary of a second agent, then the harm of the act reaches the kind.

# From: Violation, Boundary.
If an act is an act of an agent crossing a kind of boundary of a second agent, and it is not true that the second agent consented to the act, then the act is a hostile crossing of the second agent by the first agent in the kind.

Stratum 6. When an act stands in a Forfeiture.

# From: Forfeiture, Proportion (phase two: the victim holds it; the reach
# is the kind, not the size).
If an act is an act of an agent crossing a kind of boundary of a second agent, and the second agent forfeits the kind to the first agent after a second act, and the first act is later than the second act, and it is not true that the forfeiture of the second agent to the first agent has ended, then the first act stands in a Forfeiture.

# From: Forfeiture, Punisher, Mandate, Enforcement (phase two: a proxy in
# the mandate of the victim).
If an act is an act of an agent crossing a kind of boundary of a second agent, and the second agent forfeits the kind to a third agent after a second act, and the first act is later than the second act, and it is not true that the forfeiture of the second agent to the third agent has ended, and the first agent holds a mandate from the third agent, then the first act stands in a Forfeiture.

# From: Self-Defense (phase one).
If an act stops a crossing that continues with the minimum force, then the act stands in a Forfeiture.

# From: Outlaw, Time (phase three: general and permanent from the murder
# on -- an act BEFORE the murder is judged against the boundaries that
# stood then).
If an act is an act of an agent crossing a kind of boundary of a second agent, and a second act is murder by the second agent of a third agent, and the first act is later than the second act, then the first act stands in a Forfeiture.

Stratum 7. Verdicts.

# From: Victim, Evil, Victimless, Victimless Trade (harm in a Forfeiture
# makes no victim and is not evil; what makes no victim is no crime).
If an act is a hostile crossing of an agent by a second agent in a kind, and the act stands in a Forfeiture, then the act makes no victim.

# From: Crime.
If an act is a hostile crossing of an agent by a second agent in a kind, and it is not true that the act stands in a Forfeiture, then the act is a crime by the second agent with victim the first agent.

# From: Guilt.
If an act is a crime by an agent with victim a second agent, then the moral debt of the first agent to the second agent from the act exists.

# From: Murder.
If an act is a crime by an agent with victim a second agent, and the act is an act of the first agent crossing the life boundary of the second agent, then the act is murder by the first agent of the second agent.

# From: Murder, Outlaw.
If an act is murder by an agent of a second agent, then the first agent is an outlaw.

# From: Revenge, Retribution ("retribution above proportion becomes
# revenge") -- a crime by the very agent the victim's forfeiture ran to is
# collection that left its kinds.
If an act is a crime by an agent with victim a second agent, and the second agent forfeits a kind to the first agent after a second act, and it is not true that the forfeiture of the second agent to the first agent has ended, then the first act is revenge by the first agent on the second agent.

# From: Theft ("taking what belongs to another without consent").
If an act is a crime by an agent with victim a second agent, and the act is an act of the first agent crossing the property boundary of the second agent, then the act is Theft by the first agent from the second agent.

# From: Fraud, Deception (deception that got value, control, or agreement
# the deceived agent gives only with full information).
If an act is a crime by an agent with victim a second agent, and the first agent deceived the second agent about the act, then the act is Fraud by the first agent on the second agent.

Stratum 8. What an unsanctioned crossing forfeits.

# From: Forfeiture, Rights, Reciprocity, Golden Rule (Passive Version)
# (to claim a right is to owe the identical right; the crossing withdraws
# one's own).
If an act is a hostile crossing of an agent by a second agent in a kind, and it is not true that the act stands in a Forfeiture, and the harm of the act reaches a second kind, then the second agent forfeits the second kind to the first agent after the act.

Stratum 9. Justice and repair.

# From: Justice, Retribution, Punishment (collection: retribution in
# proportion closes the debt).
If an act is a collection by an agent on the debt from a second act, and the first act stands in a Forfeiture, and the moral debt of a second agent to a third agent from the second act exists, and it is not true that the second agent is an outlaw, then the moral debt of the second agent to the third agent from the second act is closed by justice.

# From: Forgiveness (release).
If an agent releases the debt from an act, and the moral debt of a second agent to the first agent from the act exists, and it is not true that the second agent is an outlaw, then the moral debt of the second agent to the first agent from the act is closed by justice.

# From: Justice.
If the moral debt of an agent to a second agent from an act is closed by justice, then the moral debt of the first agent to the second agent from the act is closed.

# From: Forfeiture (the end of a forfeiture).
If the moral debt of an agent to a second agent from an act is closed, then the forfeiture of the first agent to the second agent has ended.

# From: Restitution, Punishment, Damage (restitution repairs the material
# damage; punishment works through restitution and retribution).
If a restitution is a restitution by an agent to a second agent for an act, then the damage of the act is repaired.

Final. What remains open, who answers, and the consent audit.

# From: Justice.
If the moral debt of an agent to a second agent from an act exists, and it is not true that the moral debt of the first agent to the second agent from the act is closed, then the moral debt of the first agent to the second agent from the act remains open.

# From: Restitution, Justice ("only Justice closes it").
If the moral debt of an agent to a second agent from an act is closed, and it is not true that the moral debt of the first agent to the second agent from the act is closed by justice, then the debt of the first agent to the second agent from the act is closed outside Justice.

# From: Forfeiture, Responsibility, Responsibilities (responsibility
# follows causation, not status or power).
If an act is a crime by an agent with victim a second agent, and the act was caused by the fraud of a third agent, then the third agent is responsible for the act.
If an act is a crime by an agent with victim a second agent, and it is not true that the act was caused by the fraud of a third agent, then the first agent is responsible for the act.

# From: Circumstances ("they never supply a Consent that no word and no
# Conduct carried").
If an agent consented to an act, and it is not true that the first agent gives permission for the act, and it is not true that the conduct of the first agent shows the intention of consent to the act, and it is not true that the words of the first agent show consent to the act, and it is not true that the first agent accepts the terms of the act in an agreement, then the consent of the first agent to the act stands outside words and conduct.

# From: Judgment, Judge, Evidence, Claim, Error ("when a person disproves
# the facts or the logic, the Judgment must change"; a statement that
# contradicts evidence or logic is Error).
If an agent disproves the facts of an act, then the authority of the act has ended.

# From: Guilt, Causation, Innocence ("a Judgment discovers and records;
# it does not make guilt") -- guilt lives only in causation.
If the moral debt of an agent to a second agent from an act exists, and it is not true that the act is a crime by the first agent with victim the second agent, then the moral debt of the first agent to the second agent from the act stands outside causation.

# From: Coercion, Authority, Government, Regulation, Control ("a debt
# that authority, a vote, or a claim of necessity commands, without
# consent, is not debt"; control over others requires their consent).
If the value of a transfer is the property of an agent, and the transfer is commanded by authority on a second agent for the first agent, then the ownership of the value of the transfer stands outside consent.

# From: Ownership, Property ("creation alone confers nothing" -- ownership
# comes only from first use or voluntary transfer).
If a thing is the property of an agent, and it is not true that the first agent takes the thing into first use at an act, and it is not true that a second agent gives the thing to the first agent at a second act, then the ownership of the thing stands outside first use and transfer.

# From: Collective, Collective Punishment, Collective Responsibility
# (guilt never pools: no rule reaches from "is part of the group of" to
# any debt -- that absence is the doctrine, and the causation constraint
# catches any axiom that tries).

# From: Nomocracy, Logic, Law (rule by law from logic and reciprocity: no
# agent and no authority stands above the constraints below, and the Law
# itself stays verbatim -- these rules are its derivation, not its text).

# Integrity. Only Justice closes a moral debt, consent comes only through
# words and conduct, and no verdict is double.

# From: Victim, Crime.
It is at no time true that an act makes no victim while the act is a crime by an agent with victim a second agent.

# From: Justice.
It is at no time true that the moral debt of an agent to a second agent from an act is closed while the moral debt of the first agent to the second agent from the act remains open.

# From: Restitution ("it does not by itself erase Guilt").
It is at no time true that the debt of an agent to a second agent from an act is closed outside Justice.

# From: Circumstances.
It is at no time true that the consent of an agent to an act stands outside words and conduct.

# Prose only. These entries are worldview, description, or definition with
# no cases for the rules to judge. They are deliberately not formalized;
# the ledger holds them accounted, and moving one above requires rules.
# Prose: Art, Attention, Autonomy, Awareness, Beauty, Belief, Benefit
# Prose: Brand, Capitalism, Civilization, Civilizational Velocity
# Prose: Competition, Consciousness, Correlation, Curiosity
# Prose: Decentralized Knowledge, Democracy, Deterrence, Economy, Emergence
# Prose: Eschatology, Expression, Faith, Fallibility, Fear
# Prose: Free Communication, Free Trade, Free Will, Freedom
# Prose: Freedom of Speech, Good, Good News, Happiness, Hierarchy, Idea
# Prose: Ignorance, Incentives, Individual, Infinite Change, Influence
# Prose: Innovation, Input, Intellectual Property, Intelligence, Kindness
# Prose: Knowledge, Learning, Legitimate, Lesser Evil, Liberty, Love
# Prose: Market, Market Dominance, Mental, Mind, Mind Virus, Model
# Prose: Monopoly, Morality, Negligence, Output, Pain, Pattern, People
# Prose: Perception, Perimeter, Politician, Power, Prediction, Price
# Prose: Privacy, Process, Production, Profit, Qualia, Reality, Reason
# Prose: Reputation, Right to Free Trade, Risk, Safety, Self-Awareness
# Prose: Signal, Singleton, Social Construct, Socialism, Society, Software
# Prose: Subconscious, System, Thought, Timeless Infinity, Trust, Truth
# Prose: Tyranny, Understanding, Universe, Value, Voluntaryism, War
# Prose: Way of Happiness, Will, Wisdom, Zero-Sum

# From: Consent.
It is at no time true that an act is a crime by an agent with victim a second agent while the second agent consented to the act.

# From: Debt, Contract Breach ("a party who cannot deliver has taken
# nothing"): a pure failure is never a crime.
It is at no time true that an act is a crime by an agent with victim a second agent while the act is the failure of a transfer from the first agent.

# From: Innocence, Causation.
It is at no time true that the moral debt of an agent to a second agent from an act stands outside causation.

# From: Ownership.
It is at no time true that the ownership of a thing stands outside first use and transfer.

# From: Coercion, Debt.
It is at no time true that the ownership of the value of a transfer stands outside consent.