Memo 06 — Sociology & Social Norms

Memo 06 — Sociology & Social Norms

Series: The Landscape of Normative Systems (LNS) Series ID: LNS Memo number: 06 of 12 Primary JD questions: Q1 (sources), Q2 (six-part analysis), Q3 (convention/consensus generation behaviors), Q9 (Weber, Luhmann, Foucault falsification threads) Status of D0: Immutable. Not modified, not criticized, not defended in this memo. (The adversarial treatment of the computability assumption is reserved for Memo 11; here we only stage the threats.)

Scope note. This memo maps the social sources of normative authority: culture, custom, convention, and informal norms — norms that in the typical case have no explicit legislator, no canonical written text, and no centralized enforcement organ, yet demonstrably govern behavior. We treat the sociological concept of the norm (folkways, mores, taboos), the dynamics of norm emergence and cascades, the descriptive/injunctive distinction, and decentralized social sanction as the enforcement mechanism. We then survey the four theorists the JD routes through this memo — Weber (typology of legitimate authority), Luhmann (law as an autopoietic, operationally closed social system coded legal/illegal), Bourdieu (habitus), and Foucault (power/knowledge, disciplinary and biopolitical normalization) — because each supplies a model of how norms bind without a commanding sovereign. We apply the mandatory six-part analysis (JD Q2) to three sources treated distinctly: custom/convention, culture, and social conventions (coordination norms). The memo closes by isolating the computational implications of legislator-free, text-free, stochastically enforced norms — the hardest input class for any compiler sitting on D0 — and by setting up Luhmann and Foucault as explicit falsification threats to be discharged in Memo 11. All claims carry epistemic tags per §0.4 of the conventions; content is separated into the four standing categories per §0.5.


06.1 Orientation: why social norms are the adversarial case for a compiler

The sources surveyed in Memos 01–05 (political authority, jurisprudence, ethics-as-codified, revelation, institutional economics) share a convenient property for a compiler: each has, somewhere, an identifiable act of positing. A statute is enacted; a contract is signed; a doctrine is promulgated; a constitution is ratified. Even where the content is contested, there is a locatable source event and usually a text.

Social norms characteristically lack both. FACT that a large class of behavior-governing norms — table manners, turn-taking in conversation, queuing, dress expectations, honorific address, gift reciprocity — operate with no enactment event and no authoritative text. They are, in the vocabulary of §0.6, norms whose source is diffuse and whose validity, legitimacy, and efficacy are not cleanly separable because there is no formal membership test to anchor "validity."

This makes them the natural stress test for the kernel/above-kernel boundary. If the D0 interface can represent only norms that possess a discrete source event and a symbolic text, then the entire social layer falls above the kernel as un-compilable input, and the compiler must depend on some upstream process to hand it already-formalized proxies. INFERENCE — this is the central structural claim of the memo and is revisited in 06.10 and handed to Memo 12. Whether that upstream formalization is possible without destroying what makes the norm a norm is precisely the Luhmann/Foucault falsification thread (06.8, staged for Memo 11).

A text diagram of the contrast this memo is built around:

Dimension Posited sources (Memos 01–05) Diffuse sources (this memo)
source event enactment none locatable
carrier canonical text practice + expectation
legislator identifiable organ none (or "everyone")
validity test membership rule none; blends into efficacy
enforcement specialized organ decentralized, stochastic
mutation amendment procedure drift, cascade, tipping

The rest of the memo fills in the right-hand column and then asks what, if anything, of it survives reduction to the kernel interface.


06.2 The sociological concept of the norm

06.2.1 Established consensus

A social norm is a behavioral regularity sustained by shared expectations plus social sanction. FACT that this is the mainstream sociological characterization across the discipline's major traditions. Three components recur in nearly every definition and can be treated as consensus decomposition:

  1. a behavioral regularity (what people in fact do in a recurring situation);
  2. a normative expectation (a belief that one ought to do it, and that others expect it);
  3. a sanction (approval for conformity, disapproval or worse for deviation), typically applied in decentralized fashion by peers rather than by a specialized organ.

INFERENCE In the shared vocabulary (§0.6) a social norm is therefore a norm whose condition is a recurring social situation, whose modality is usually obligation or prohibition, and whose consequence is a stochastically applied social sanction rather than a determinate institutional penalty.

The folkways / mores / taboo gradient. FACT that the distinction between folkways and mores is associated with William Graham Sumner's Folkways (1906); "taboo" enters sociology and anthropology from Polynesian ethnography and is generalized as an absolute prohibition. The consensus content, stated carefully:

The gradient is best read as a sanction-intensity ordering plus a justification-availability ordering, not four discrete kinds:

Dimension (folkway → taboo) Folkway end Middle Taboo end
sanction mild correction … ostracism … violence/pollution
felt moral weight low absolute
articulable reason usually present often absent/sacralized
revisability easy felt immutable

INFERENCE that the four labels are regions on continuous axes rather than a partition; this matters computationally because it means the type of a social norm is not a discrete tag but a position in a space of sanction intensity and justification availability.

06.2.2 Descriptive vs injunctive norms (a distinction the compiler must not collapse)

FACT that social psychology (the distinction is associated with Cialdini and collaborators' "focus theory of normative conduct") separates two things ordinary language fuses under "norm":

INFERENCE — this maps directly onto the is/ought and efficacy/legitimacy distinctions of §0.6. A descriptive norm is a statement about efficacy (observed compliance rates). An injunctive norm is a statement about the ought itself plus its sanction. The two can diverge sharply and the divergence is behaviorally decisive: littering, tax evasion, and corruption cases show that when the descriptive norm ("everybody does it") contradicts the injunctive norm ("it's wrong"), broadcasting the descriptive norm can increase the prohibited behavior. FACT that such boomerang effects are documented in the norm-messaging literature; the specific effect sizes are contested — tagged down accordingly.

Why this matters for a compiler. A naive formalizer observing behavior will measure the descriptive norm (frequencies) and mistake it for the injunctive norm (the ought). INFERENCE The mapping observed-frequency → obligation is invalid: high compliance can coexist with a weak norm (mere convention) and low compliance can coexist with a strong norm (a widely violated but strongly sanctioned prohibition). Any system that infers norms from behavioral logs inherits this identification problem. Flagged as OPEN for D1: distinguishing descriptive from injunctive content from behavioral data alone is not generally solvable without access to sanction data or expressed approval.

06.2.3 Norm existence conditions — the competing accounts

Competing theories on what it is for a social norm to exist (this is a live disagreement, presented without adjudication per §0.5):

OPEN Whether these are three theories of one object or three different objects sharing a name is unresolved and is exactly the sort of "language is presentation" (M4) question the series must keep open. The compiler cannot assume they converge.


06.3 Norm emergence, tipping, and cascades

06.3.1 Established consensus

Norms can emerge without central design. FACT that decentralized emergence of stable conventions is demonstrated both historically (language, money, driving-side conventions) and experimentally (coordination-game and naming-game experiments produce shared conventions among agents with only local pairwise interaction). The consensus, stated conservatively:

The coordination/cooperation split. FACT that the literature distinguishes two functionally different norm classes:

06.3.2 Tipping points and norm cascades (competing models)

Competing theories on how a norm flips from one equilibrium to another:

A text diagram of the norm life cycle (used again in Memo 08 and Memo 09):

Diagram
flowchart LR E["1) EMERGENCE
norm entrepreneurs frame a new 'ought'
small committed core"] C["2) CASCADE
tipping point crossed
reputational contagion
rapid adoption"] I["3) INTERNALIZATION
norm taken-for-granted
compliance without conscious sanction"] E --> C --> I I -->|"desuetude / erosion (reverse cascade; 06.5)"| E

HYPOTHESIS — stated so as to be falsifiable per M1 Norm change is generically discontinuous and history-dependent: the same distribution of individual attitudes can support multiple stable norm equilibria, and which one obtains depends on path and on the timing/size of committed minorities. If true, this falsifies any compiler design that treats a society's norm set as a function of its current preference distribution; the norm set is a function of preferences plus path/state. This is a genuine falsification target: it would be refuted by evidence that norm equilibria are uniquely determined by current attitudes.

06.3.3 Decentralized social sanction as the enforcement mechanism

This is the core enforcement story for the whole memo and the hardest thing to compile.

Established consensus:

The second-order free-rider problem (competing accounts of how decentralized enforcement is itself sustained):

Sanctioning is usually costly to the sanctioner (confrontation, risk, effort), while the benefit of a well-enforced norm is shared by all. So enforcement itself is a public good and faces its own free-rider problem: why sanction, if others will? FACT that this "second-order free-rider problem" is a recognized and central difficulty. Live competing resolutions, presented without adjudication:

OPEN There is no consensus mechanism that uniquely explains why decentralized enforcement is sustained; several mechanisms plausibly operate together and their relative weight varies by context. For the compiler this is critical: the enforcement layer of a social norm is itself an emergent, possibly fragile equilibrium, not a fixed institutional function. A compiler that models sanction as a deterministic penalty function misrepresents it.

Enforcement as stochastic. INFERENCE from the above Because sanction depends on (a) detection, (b) a willing sanctioner being present, and (c) the sanctioner's own incentives at that moment, the consequence attached to a social norm is a random variable, not a determinate output. The "penalty" for violating a folkway is a probability distribution over outcomes ranging from nothing to severe exclusion. This is the sharpest formal contrast with legal norms (Memo 02), whose enforcement is designed to be — though never fully is — determinate and centralized.


06.4 Weber: the typology of legitimate authority

The JD routes Weber through this memo (Q9) because his typology is the classical account of why norms are obeyed as binding — i.e., a theory of legitimacy in the strict §0.6 sense (binding independent of immediate coercion), and one that is explicitly not reducible to validity or to raw efficacy.

06.4.1 Established consensus (on what Weber claimed)

FACT that the following is Weber's stated typology, from Economy and Society. Weber distinguishes Macht (power — the probability of imposing one's will against resistance) from Herrschaft (usually translated "domination" or "authority" — the probability that a command will be obeyed because it is regarded as binding). Legitimate authority is domination that rests on a belief in its legitimacy. Weber identifies three pure types of legitimate authority, distinguished by the ground of the legitimacy belief:

These are ideal types. FACT that Weber's ideal types are analytic constructs, deliberately purified; real regimes are always mixtures. No actual authority is purely one type; the typology is a coordinate system, not a partition.

Routinization of charisma. FACT re Weber Charismatic authority, being tied to a person, faces a succession crisis and characteristically routinizes into either traditional form (hereditary charisma, e.g. dynasty) or legal-rational form (office charisma, e.g. institutionalized succession rules). This is one of the memo's key mutation mechanisms for norm-sources and is picked up in Memo 09.

Diagram
flowchart TD CH["CHARISMATIC (personal, revolutionary, unstable)"] TRAD["TRADITIONAL (hereditary charisma)"] LEG["LEGAL-RATIONAL (office charisma: rules of succession)"] CH -->|"routinization (succession crisis forces institutionalization)"| TRAD CH -->|"routinization (succession crisis forces institutionalization)"| LEG

06.4.2 Six-part analysis is deferred, but note the mapping

Weber is a theory of legitimacy, not itself a source; his typology tells us how the legitimacy component of the six-part analysis is grounded for every source in the series. INFERENCE The mapping we carry forward:

06.4.3 Why Weber is a partial falsification thread (staged for Memo 11)

HYPOTHESIS , falsifiable Weber's core claim is that legitimacy is a belief state of subjects — obedience "because regarded as binding." If legitimacy is irreducibly a subjective belief about bindingness, then it is not a property of the norm object and cannot be represented in a content-neutral kernel that manipulates norm objects. A compiler could represent validity (membership) and even model efficacy (compliance rates), but legitimacy on Weber's account lives in the heads of subjects and enters the system only as a hidden variable driving efficacy.

This is a genuine threat to the D0 interface and is handed to Memo 11 in this precise form: either legitimacy is representable as structure (in which case Weber's subjectivism is wrong or incomplete), or it is not, in which case the kernel must treat legitimacy as an exogenous, unmodeled input and any governance layer that needs legitimacy must obtain it from outside the machine. INFERENCE that these are the only two options; stated as such so Memo 11 can attack it. Note per §0.2 we do not resolve this here and we do not criticize D0; we localize the threat.


06.5 Mutation of social norms: drift, desuetude, reverse cascades

Social norms mutate by mechanisms structurally different from the amendment procedures of posited law (Memo 02) — and this difference is one of the memo's principal findings.

06.5.1 Established consensus

06.5.2 Competing accounts of the rate and predictability of mutation

OPEN These are not clearly distinguishable ex ante, and — critically — neither yields a forecast of when a norm will tip from macroscopic attitude data. Pluralistic ignorance (people privately reject a norm but conform because they misperceive others' private views) means a norm can be near-collapse while looking stable, then flip on a small perturbation. FACT that pluralistic ignorance is a documented phenomenon. This is a hard limit on predictive compilation of social norms and is flagged for 06.10.

06.5.3 The absence of an amendment interface

INFERENCE — key finding Posited-law sources expose a mutation interface: a defined procedure (vote, ratification, promulgation) that takes an old norm-set to a new one at a datable instant. Social norms expose no such interface. Mutation is (a) continuous, (b) undated, (c) decision-free, and (d) only observable after it has occurred, through changed behavior and changed sanction. For a compiler this means the social layer cannot be versioned in the way statute can; it can at best be sampled and estimated, always with lag. This is developed in 06.10.


06.6 Direction of causation: are laws downstream of social norms?

06.6.1 The claim and its status

Sumner's crystallization thesis (06.2.1) — that law is mores made explicit and specialized — generalizes to a strong dependency claim relevant to the JD's dependency-graph question (Q4, owned by Memo 12) and feedback-loop question (Q5, owned by Memo 09):

HYPOTHESIS Posited law is, in the general case, a downstream formalization of pre-existing social norms; legislation that lacks an upstream social-norm base is high-cost to enforce and prone to desuetude.

This is stated as a HYPOTHESIS, not a fact, and it is falsifiable (M1): it predicts that laws imposed against the grain of social norms show systematically lower efficacy and higher enforcement cost. There is substantial supporting evidence (prohibition regimes, unenforced morality statutes) but also clear counterexamples: law can lead norms and reshape them (the "expressive function of law," associated with Sunstein — law changes behavior by changing the perceived injunctive norm, not only by threatening sanction). FACT that both directions are documented. So the honest status is:

06.6.2 The bidirectional loop (handed to Memo 09)

Diagram
flowchart LR SN["SOCIAL NORMS"] PL["POSITED LAW"] SN -->|"crystallization (Sumner)"| PL PL -->|"expressive function / enforcement (law reshapes perceived injunctive norms)"| SN

INFERENCE For the dependency graph in Memo 12 this matters: the social layer is not a clean root upstream of law. It is coupled to law in a cycle. A layered "politics → constitution → law → ... → KPI" dependency graph (JD Q4) is an idealization that omits the norm↔law back-edge; any faithful graph must include it as a labeled cycle. Flagged for Memo 09 (feedback loops) and Memo 12 (graph).


06.7 Practice and convention: Bourdieu's habitus and Lewis conventions

This section covers two accounts that bracket the norm from opposite sides. Lewis gives the thinnest possible norm (pure coordination, near-formal). Bourdieu gives the thickest (embodied, pre-reflective, resistant to symbolic capture). The compiler must be able to represent both ends or admit it captures only one.

06.7.1 Lewis conventions (the near-formal end)

FACT that the account is associated with David Lewis's Convention, drawing on Schelling's coordination games. A convention is a regularity R in behavior of a population such that, in a recurring coordination problem:

  1. almost everyone conforms to R;
  2. almost everyone expects almost everyone else to conform to R;
  3. almost everyone prefers to conform given that others do (conformity is a coordination equilibrium);
  4. there is at least one alternative regularity R' that would have served as well (the convention is arbitrary — driving on the left would have worked as well as the right).

FACT re Lewis's stated definition. Conventions in this sense are self-enforcing (deviation is self-punishing, no external sanction needed) and rest on common knowledge of the coordination structure. FACT .

INFERENCE — why this matters computationally The Lewis convention is the best-case social norm for a compiler: it is essentially a labeled equilibrium of a coordination game, representable as (a) a set of options, (b) a payoff structure with multiple equilibria, and (c) a selected equilibrium. It needs no legislator, no text, and no sanction module — it is stabilized by the payoff structure itself. If any social norm is compilable, coordination conventions are. This is developed as the "compilable floor" in 06.10.

But note the sharp limit: Lewis conventions cover only coordination problems (aligned interests). They say nothing about cooperation norms (mixed-motive, standing temptation to defect; 06.3.1), which are exactly the norms that require the stochastic sanction machinery that resists compilation. The near-formal case is also the easy and narrow case. INFERENCE .

06.7.2 Bourdieu's habitus (the anti-formal end)

FACT that the following summarizes Bourdieu's stated concepts, from Outline of a Theory of Practice and The Logic of Practice.

INFERENCE — why this is hostile to compilation, and the core of the Bourdieu threat On this account the most powerful social norms are precisely those that are never represented as propositions. They exist as bodily dispositions and as doxa — the unsaid. A compiler operates on symbolic objects; but doxa is, by definition, what has not been rendered symbolic. To formalize a doxic norm is to change its mode of existence — to make explicit and hence contestable what governed precisely by being unquestioned. HYPOTHESIS , falsifiable: it predicts that explicit articulation of a doxic norm measurably weakens its taken-for-granted grip. This could be tested and refuted.

Bourdieu also supplies a distinct legitimacy mechanism not in Weber's typology: legitimacy via misrecognition (symbolic violence). Where Weber's legitimacy is a belief that authority is rightful, Bourdieu's is the invisibility of the normative order as an order at all. INFERENCE . This is a second falsification thread (staged for Memo 11 alongside Luhmann/Foucault in 06.8/06.11): if the strongest norms are the least articulated, a system built on articulated norms systematically captures the weak ones and misses the load-bearing ones.

06.7.3 The Lewis–Bourdieu span as a coverage test

INFERENCE Together these two mark the axis along which the compiler's coverage must be measured:

Position on axis Lewis end (coordination convention) Middle Bourdieu end (doxa / habitus)
characterization representable as labeled equilibrium; self-enforcing; no text, no sanctioner, fully symbolic payoff form partially articulable norm with sanction (mores) exists only as embodied disposition; articulation alters it; not a symbolic object
verdict COMPILABLE (floor) HARD RESISTS COMPILATION (ceiling)

Any claim that "social norms are compilable" must specify where on this axis it holds. The consensus of this memo: it plausibly holds at the Lewis end, is contested in the middle, and is threatened at the Bourdieu end. INFERENCE .


06.8 Luhmann and Foucault: two structural falsification threats

These are the two theorists the JD most emphatically routes here (Q9). Each denies, in a different way, that a norm can be treated as a portable, context-free object that a compiler could ingest. We present each as strongly as we can (per M3, hostile emergence; per §0.2 we do not defend D0), extract the precise falsification claim, and hand it to Memo 11.

06.8.1 Luhmann: law as an autopoietic, operationally closed system

FACT that the following summarizes Niklas Luhmann's stated systems theory, esp. Law as a Social System and Social Systems.

Core claims:

INFERENCE — the precise threat to the D0 interface Luhmann implies that "legal/illegal" is not a predicate a machine can compute from norm content plus facts; it is the output of an ongoing, self-referential system of legal communications that can only be produced by the legal system operating on itself. If the code legal/illegal is intrinsically autopoietic — meaning its application is always a fresh internal operation referring to prior legal operations, never a function of external inputs — then:

Luhmann falsification claim (for Memo 11): No external system (including a governance compiler) can compute legal/illegal, because to do so is itself a legal operation, and legal operations are the exclusive, self-producing product of the legal system. A compiler that outputs "legal/illegal" is either (a) not doing law, merely producing perturbations the legal system may or may not take up, or (b) it has become a legal subsystem, in which case it is no longer a neutral kernel but a participant with its own autopoiesis.

HYPOTHESIS , falsifiable This claim is falsifiable in principle: it is refuted if a purely external procedure can reliably reproduce the legal system's own legal/illegal determinations across contested cases without being taken up by the legal system as a legal operation. The empirical prevalence of hard cases, doctrinal drift, and the non-substitutability of code for adjudication is the supporting evidence (cross-ref Memo 02's treatment of Hart's open texture and Dworkin's hard cases). We do not adjudicate here.

A text diagram of operational closure:

Diagram
flowchart LR LS["LEGAL SYSTEM (autopoietic)
legal comm → legal comm → ...
code: legal / illegal
programs: statutes, precedents
operationally CLOSED
cognitively OPEN (observes env)"] ENV["ENVIRONMENT
political decisions
economic facts
moral claims
a compiler's output"] CN["A compiler's 'verdict' enters only as a perturbation, not as a legal operation."] ENV -. "perturbations only; never operations" .-> LS LS -. "cognitively open: observes env" .-> ENV CN -.-> LS

06.8.2 Foucault: power/knowledge, disciplinary and biopolitical normalization

FACT that the following summarizes Michel Foucault's stated positions, esp. Discipline and Punish, The History of Sexuality Vol. 1, and the lecture courses.

Core claims:

INFERENCE — the precise threat to the D0 interface Foucault attacks the memo's own framing at the root. This memo, and the whole series, presupposes a juridical model: norms have sources, subjects, conditions, consequences; there is something like a legislator or its diffuse equivalent. Foucault's claim is that the most pervasive modern power does not have this form at all — it operates through the production of normalized subjects and through knowledge apparatuses, without a norm-object that could be located, cited, or compiled. Worse: the very act of formalizing norms into a governance system is itself an exercise of power/knowledge — a normalizing apparatus that produces the categories it claims merely to represent.

Foucault falsification claim (for Memo 11): A governance compiler is not a neutral representation of pre-existing norms; it is a normalizing apparatus. It does not find norms and encode them; by measuring, classifying, and thresholding behavior it produces the norms and the normal/abnormal distinction. Therefore the premise that there exists a content-neutral kernel beneath ideology is itself an ideological (power/knowledge) operation. Neutrality is not a property the kernel can have; the claim of neutrality is a mechanism of power.

HYPOTHESIS , falsifiable — stated so Memo 11 can attack it This is the deepest threat because it targets the content-neutrality premise of D0's above/below split rather than any particular norm. It is falsifiable in the weak sense that one could exhibit a formalization that provably adds no classificatory content beyond what subjects already explicitly endorse (pure transcription, no thresholds, no new categories). Whether any non-trivial governance layer can meet that bar is OPEN. Note per §0.2: we are not defending or criticizing D0; we are localizing where its neutrality premise is under attack and passing it, sharpened, to Memo 11.

06.8.3 How the two threats differ (so Memo 11 can treat them separately)

INFERENCE

Aspect Luhmann threat Foucault threat
target computability of the legal/illegal CODE neutrality of the kernel and the above/below split
mechanism operational closure / autopoisis power/knowledge; formalization produces its object
concedes norms are real objects; just not externally computable nothing; even "norm as object" is a produced category
compiler fix if threat holds treat verdicts as perturbations, never as authoritative law abandon neutrality claim; declare the kernel a situated apparatus

Luhmann says the compiler cannot do law from outside. Foucault says the compiler is never outside. These require different rebuttals and must not be merged in Memo 11.


06.9 Six-part analysis of the three social sources

Per JD Q2 and §0.6, each source is analyzed on seven fields (origin, legitimacy, enforcement, mutation, hierarchy, conflicts, computational implications — the JD's "six-part" plus computational, as the conventions doc requires). The three sources are kept distinct because they behave differently as inputs, even though ordinary usage conflates them.

06.9.1 Source A — Custom / Convention (customary norms, incl. customary law)

06.9.2 Source B — Culture

06.9.3 Source C — Social conventions (coordination norms)

06.9.4 Comparison table

field custom/convention culture social convention
origin practice + opinio juris diffuse transmission coordination eqm
legitimacy traditional (Weber) doxic (Bourdieu) ~none (payoff)
enforcement social sanction / dual internalized + norming self-enforcing
mutation drift, desuetude slow drift + cascade switch-over / drift
hierarchy rank<statute, causal^ ambient context orthogonal
conflicts vs statute, cross-grp value pluralism interface mismatch
compilability partial (2-element) worst case (above kernel) floor (best case)

INFERENCE The three sources span nearly the entire compilability range, which is why the JD groups them: they let the series calibrate where the kernel boundary falls within a single family of "informal" norms.


06.10 Computational implications: the hardest input class for a compiler

This section consolidates why legislator-free, text-free, stochastically enforced norms are the adversarial case, and states what a compiler can and cannot do with them. All items are INFERENCE from the preceding sections unless tagged otherwise.

06.10.1 The four missing affordances

Posited-law sources give a compiler four affordances that social norms deny:

  1. No source event. There is nothing to point to as the act of positing (06.1, 06.9). The compiler cannot answer "when did this norm come into force?" — the question has no answer.
  2. No canonical text. There is no authoritative symbolic carrier to parse (06.1). The norm exists as practice + expectation, or (Bourdieu) as embodied disposition. Any text the compiler holds is a lossy transcription, and at the doxic end the transcription may itself distort the norm (06.7.2).
  3. No legislator / no membership rule. With no positing organ there is no validity test in the §0.6 sense; validity collapses into efficacy (06.2.1). The compiler cannot ask "is this norm valid?" — only "is it observed and expected?"
  4. Stochastic, decentralized enforcement. The consequence is a random variable over social sanction (06.3.3), contingent on observability, sanctioner presence, and second-order incentives — not a determinate penalty function.

06.10.2 What this forces in the representation

INFERENCE A faithful representation of a social norm cannot be a crisp rule condition -> obligation with a determinate sanction. It must carry, at minimum:

  social_norm := {
     condition        : recurring-situation pattern
     modality         : O | P | F        (Hohfeld/deontic, per 0.6)
     descriptive_est  : P(others conform)      -- efficacy estimate, measurable
     injunctive_est   : P(others approve/sanction) -- legitimacy proxy, hidden
     sanction_dist    : distribution over outcomes  -- NOT a scalar penalty
     confidence       : estimator uncertainty (+ lag; see 06.5.3)
     equilibrium_type : coordination | cooperation  -- (06.3.1)
     articulability   : doxic ... explicit          -- (06.7.3 axis)
  }

Three properties of this object are decisive:

06.10.3 The compilability gradient (the memo's central computational finding)

INFERENCE Social norms do not have a single compilability verdict; they lie on a gradient set by equilibrium type × articulability:

Equilibrium type Articulable Doxic
coordination (self-enforce) Lewis conventions — COMPILABLE (floor) tacit conventions — HARD but tractable
cooperation (needs sanction) codifiable mores / customary law (2-elem.) — PARTIAL (stochastic sanction, hidden opinio) habitus / symbolic violence — RESISTS COMPILATION (ceiling)

06.10.4 Hard limits (flagged OPEN for D1/D2)

06.10.5 Constructive residue (what the compiler can rely on)

INFERENCE — so the section is not purely negative Despite the above, three invariants survive and are safe to hand downstream:

  1. The modality set is stable. Even legislator-free norms reduce to obligation/permission/prohibition (and Hohfeldian power/liability for norms that alter other norms). The modality coordinate of 06.10.2 is compilable even when everything else is an estimate. INFERENCE — feeds Memo 10/12.
  2. Coordination conventions are genuinely compilable. The floor is real; a large, useful class (standards, protocols, formats, units, money-as-convention) is representable as selected equilibria. INFERENCE .
  3. The two-element decomposition generalizes. Any social norm can be split into a measurable descriptive component and a hidden injunctive component. The compiler cannot compute the second, but it can represent the split explicitly and carry the injunctive part as a flagged, externally-supplied, uncertain input rather than pretending it is derivable. INFERENCE — this is the practical interface recommendation carried to the Handoff.

06.11 Consolidated four-category summary (per §0.5)

The body of the memo interleaves tags; this section restates the findings in the four standing categories so the separation is explicit and auditable.

06.11.1 Established consensus

06.11.2 Competing theories (presented without adjudication)

06.11.3 Open questions

06.11.4 Research opportunities (for D1/D2)


06.12 Falsification threats staged for Memo 11

This memo hands three sharpened, falsifiable threats to the adversarial memo. Each is stated so Memo 11 can attempt to break the computability assumption without this memo defending D0 (§0.2).

  1. Weber (legitimacy is subjective). If legitimacy is irreducibly a belief-state of subjects (06.4.3), it is not a property of the norm object and cannot be internal kernel state; the kernel must treat it as an exogenous hidden variable. Falsified if legitimacy can be reconstructed as structure the kernel manipulates.

  2. Luhmann (operational closure of law). The code legal/illegal is the self-producing output of an autopoietic legal system; an external compiler's verdicts are mere perturbations, never legal operations (06.8.1). Falsified if an external procedure reliably reproduces contested legal/illegal determinations and is taken up as law.

  3. Foucault (no neutral kernel). Formalization is a power/knowledge apparatus that produces the norms and normal/abnormal categories it claims to represent; the content-neutrality premise of the above/below split is itself an operation of power (06.8.2). Falsified if a non-trivial formalization can be shown to add no classificatory content beyond what subjects explicitly endorse.

Supporting (secondary) threat: Bourdieu (doxa). The most load-bearing norms are unarticulated; a system built on articulated norms captures the weak ones and misses the strong ones, and articulation itself distorts them (06.7.2).

Memo 11 must treat Luhmann and Foucault separately (06.8.3): one denies external computability of law, the other denies the neutrality of the machine.


06.13 Handoff to D1/D2

Concrete implications for the compiler architects (all INFERENCE from this memo unless noted):

  1. Do not model social norms as crisp rules. The minimal faithful representation is probabilistic and stateful (06.10.2): condition, modality, descriptive estimate, injunctive estimate, a sanction distribution (not a scalar), confidence-with-lag, equilibrium type, and an articulability coordinate.

  2. Adopt the compilability gradient as a type-level invariant (06.10.3): tag each social norm by equilibrium-type (coordination/cooperation) × articulability (explicit/doxic). This tells downstream layers whether a norm is a compilable floor case, a partial/stochastic case, or an above-kernel case that must not be treated as executable.

  3. Implement the two-element split as an interface (06.9.1, 06.10.5): separate the measurable descriptive component from the hidden injunctive component. Represent the injunctive/opinio juris part as an explicitly-flagged, externally-supplied, uncertain input. Never let the compiler infer the ought from observed frequencies (06.2.2).

  4. Model enforcement as a distribution, not a function (06.3.3). Social sanction is stochastic and contingent on observability and second-order incentives. A determinate penalty function misrepresents it and will produce false confidence.

  5. Treat legitimacy and doxa as exogenous, flagged inputs (06.4.3, 06.7.2). Weberian legitimacy and Bourdieusian doxa are not derivable internal state; carry them as unmodeled inputs with provenance, or the system will silently manufacture them (which is the Foucault risk).

  6. Include the norm↔law back-edge in any dependency graph (06.6). The social layer is coupled to law in a feedback loop, not a one-way root; a purely layered graph is unfaithful. Coordinate with Memo 09 (loops) and Memo 12 (graph).

  7. Carry staleness explicitly (06.5.3). There is no amendment interface for social norms; every estimate has irreducible lag and must expose a timestamp and a population-state reference. Do not cache social-norm verdicts as if versioned law.

  8. Reserve an "above-kernel / non-executable" category for doxic and biopolitically-normalized norms (06.9.2, 06.10.3). Culture in particular should be modeled as a parameterization of interpretation (priors, default disambiguation) applied to other sources — not ingested as a norm-set.

  9. Carry the three falsification threats (06.12) into the risk register so D1/D2 design decisions record whether they assume legitimacy is representable (contra Weber), law is externally computable (contra Luhmann), and the kernel is content-neutral (contra Foucault). These are the assumptions Memo 11 will attack; the architecture should degrade gracefully if any fails.

  10. The safe residue (06.10.5): the modality set (O/P/F + Hohfeldian power/liability) and coordination conventions as labeled equilibria are the two things from the social layer the kernel can rely on. Everything else enters as estimate, exogenous input, or above-kernel context.


End of Memo 06. Cross-references: Memo 01 (political generation of law), Memo 02 (Hart open texture, Dworkin hard cases, desuetude in law), Memo 05 (Ostrom cooperation norms, money as institution/convention, Hayek), Memo 07 (standards, professional norms), Memo 08 (norm life cycle in international relations), Memo 09 (mutation, feedback loops, routinization), Memo 10 (modality taxonomy), Memo 11 (falsification: Weber/Luhmann/Foucault/Bourdieu), Memo 12 (interface, dependency graph, above/below-kernel boundary).