e7He — Predicate Specifications#

Every predicate used in the e7He formal statements is listed below with a one-line behavioral criterion that makes it empirically assessable. Proto-formal predicates (those without full formal semantics) are marked.

Predicates are grouped by source: m0 axioms, stage axioms (m1–m7), theorems (th1–th7), and structural properties.

m0 Axiom Predicates#

#

Predicate

Behavioral Criterion

Source

1

profile(h)

The full state vector of agent h: genetics, history, skills, relationships, commitments. Unique by definition (m0.ax1).

m0.ax1

2

FATE(h, t₀ᵏ)

Agent h’s complete state at cycle k start. At birth: unchosen. Over life: accumulated consequences of all prior choices and circumstances. Markov property: future depends only on FATE, not on the path that produced it.

m0.ax2

3

accepts(h, FATE)

Agent h acknowledges their starting conditions without denial or resentment. Observable: h does not spend cycle energy relitigating unchosen circumstances.

m0.ax2

4

GOAL(h)

Agent h’s calling in D_inno. Partially unknown (positive entropy). Progressively revealed through pursuit. Observable: h can articulate a direction even if the destination is unclear.

m0.ax3

5

pursuing(h, GOAL)

Agent h is actively working toward GOAL. Observable: measurable effort, time allocation, skill development directed at GOAL.

m0.ax3

6

DESTINY(h, tᶠᵏ)

Agent h’s state at cycle k end. Provisional fixpoint: valid until cycle k+1. Observable: h has a coherent account of what the cycle produced.

m0.ax4

7

self-assessment(h, t) = NOT-OK

Agent h’s epistemic posture: “I cannot assume I am doing this right.” The safe default given cost asymmetry (false OK → catastrophic BABL; false NOT-OK → unnecessary humility). Observable: h publicly commits to NOT-OK at each cycle start.

m0.ax5

8

rest(h, k)

Between-cycle recovery. Observable: h pauses active pursuit, consolidates learning, recovers energy. NOT a terminal state — produces observations (consolidation) and has outgoing transition.

m0.ax5

9

stops(h, t)

Agent h ceases hero journey cycling. Observable: h no longer enters new cycles, no longer resets to NOT-OK, claims “arrived.”

m0.ax6-7

10

influence-low(h, θ)

|bif(h)| < θ. Agent h’s causal influence on the system is below the population threshold θ. Observable: h’s decisions affect few people or systems.

m0.ax6

11

influence-high(h, θ)

|bif(h)| > θ. Agent h’s causal influence exceeds the threshold. Observable: h’s decisions affect many people or systems. h* is the agent with maximal influence.

m0.ax7

Stage Axiom Predicates#

#

Predicate

Behavioral Criterion

Source

12

accepts(h, complexity(GOAL))

Agent h acknowledges the problem is genuinely complex and does not dismiss it. Observable: h engages with the full scope rather than seeking Least Inconvenient Explanations.

m1.ax

13

commits(h, journey)

Agent h begins the journey. Observable: h takes the first step into uncertainty. Resources are allocated. Engagement is visible.

m1.ax

14

skills(h, t) increase

Agent h has demonstrably more capability at time t than before. Observable: new skills, deeper understanding, wider scope.

m2.ax

15

endurance-tested(h)

Agent h has survived genuine hardship without quitting. Observable: h continued through difficulty where quitting was a real option.

m2.ax

16

holds-advantage(h)

Agent h possesses a genuine competitive advantage. Observable: recognition, skill premium, access, or resources.

m3.ax

17

captured-by(h, advantage)

Agent h’s identity is defined by the advantage. Observable: h defends the advantage as identity (not as tool), becomes hostile to criticism, builds empire around it.

m3.ax (negated in ZION)

18

CWA(h, t)

Agent h has adopted a Closed World Assumption: “what I know is all there is to know.” Observable: h dismisses or cannot process information from outside their worldview. Unreachable by evidence that contradicts their framework.

m4.ax

19

false-self-died(h)

false-self-died(h) iff not identity-anchored(h, BABL_worldview from stages 1–3). Observable (negative test): when h’s status/expertise/identity is threatened, h does NOT revert to BA (“I’m right”) or ASH (“you wouldn’t understand”). Full operationalization requires empirical behavioral criteria.

m4.ax (ZION)

20

deeper-BABL-servant(h)

Agent h has integrated MOL into their BABL pattern. Observable: h’s behavior serves BABL with genuine expertise and conviction. The corruption feels like clarity.

m4.ax (BABL)

21

received-without-entitlement(h)

Agent h accepts rewards as gifts, not wages. Observable: h expresses gratitude rather than claiming merit. Does not convert gifts into claims of specialness.

m5.ax

22

shared-without-grasping(h)

Agent h distributes benefits justly, especially to the weak. Observable: h does not hoard advantages or create monopolies. Serves the mass market.

m5.ax

23

gift-alive-in-others-hands(h)

The gift h received has been successfully transferred. Others can use it without h’s presence. Observable: the gift functions independently of h’s involvement.

m6.ax

24

institutional-capture(gift)

The gift has been captured by its delivery institution. Observable: the institution serves itself rather than the gift’s purpose. Bureaucracy replaces mission.

m6.ax (negated in ZION)

25

full-BABL-resisted(h)

Agent h has faced and resisted all three BABL components simultaneously (MOL + ASH + BA). Observable: h proposes genuine simplification where the system has calcified, without oversimplifying, overcomplicating, or overreaching.

m7.ax (ZION)

26

open-to-next-call(h)

Agent h is ready for the next cycle. Observable: h rests but does not retire. Maintains curiosity. Answers new calls.

m7.ax (ZION)

27

insights-weaponized(h)

Agent h uses genuine knowledge as a weapon. Observable: h’s expertise serves power rather than truth. Knowledge is deployed to dominate, not to serve.

m7.ax (BABL)

28

Machiavelli-Prince(h)

Agent h has perfected the integration of all BABL components. Observable: h claims OK authority (Prince face) while producing NOT-OK outcomes. The most dangerous agent in the system. See also: Fake-h₀ (th6 Case 2).

m7.ax (BABL)

Theorem Predicates#

#

Predicate

Behavioral Criterion

Source

29

completes-cycle(h)

Agent h has traversed all 7 stages in one cycle. Observable: h can demonstrate engagement with all 7 BABL patterns (journey segments are non-trivial).

th1

30

babl-resisted(h, mₖ)

Agent h resisted the specific BABL pattern at stage k. Observable: h’s behavior at stage k is consistent with ZION milestones rather than BABL milestones for that stage.

th1

31

irrevocable-NOT-OK(h)

Agent h has effectively irrevocably committed to NOT-OK self-assessment: the cost of reversal (public exposure, institutional collapse, reputational destruction) strictly exceeds the benefit of defection. Observable: h has made public, permanent, costly commitment that rational agents treat as irreversible. Not a promise — a structural change via costly commitment device (Schelling 1960). Semi-decidable: fraud is detectable if present (Case 2 HELD); authenticity is never certifiable with certainty, only assessed with increasing Bayesian confidence over time.

th6

32

genuine(h)

Agent h’s commitment is authentic (not performative). Observable over time: genuine commitment produces growing record of published failures and corrections; fake commitment produces suspiciously clean record or detectable inconsistencies.

th6

33

transparent(h)

Agent h’s behavior, decisions, resources, and failures are publicly visible and independently verifiable. Observable: meets all 7 requirements of the Transparency Manifesto (A–G).

th6, th7

34

flawed(h)

Agent h acknowledges specific imperfections. Observable: h publishes specific failures, not generic humility. The published record includes embarrassing mistakes.

th6

35

sufficiently-convincing-case(h*)

h*’s proposal for ZION is mathematically sound, empirically demonstrated, and transparent. Observable: the case survives adversarial testing (Iron Maiden); external reviewers judge it worth considering.

th5

36

perpetual-cycle(h, HeroJourney)

Agent h is committed to cycling through the hero journey indefinitely. Observable: h re-enters new cycles after each REAP, never claims “arrived.” Coinductive: the commitment is to the process, not to a specific number of cycles.

th6 Case 3

37

claims-irrevocable-NOT-OK(h)

Agent h publicly claims to have made an irrevocable NOT-OK commitment. Observable: h has made the public statement. Does NOT assess whether the claim is genuine (that is predicate 32).

th6 Case 2

38

transparency-test(h)

Independent assessment of h’s claimed commitment against actual behavior. Observable: external reviewers compare h’s public claims with documented actions. Produces HELD or BREACH verdict.

th6 Case 2

39

system-operates-Case-3(t₁, t₂)

The system has been operating under a genuine h₀ commitment during the interval [t₁, t₂]. Observable: published transparency record, adversarial reviews conducted, no unresolved BREACH verdicts.

th7

40

can-be-tested(h, standards)

Agent h can be subjected to the same testing protocol used for the previous h*. Observable: the testing standards are published, personnel-independent, and applicable to any candidate.

th7

41

rest-adequate(h, k)

Agent h rested adequately between cycles, consolidating insight and recovering energy. Maps to rest(h, k) from m0.ax5 and m7.ax. Observable: h paused active pursuit and consolidated learning before re-entering the cycle.

th3 (GROW repair)

42

goal-pursued(h, k)

Agent h actively pursued their GOAL during cycle k. Maps to pursuing(h, GOAL) from m0.ax3. Observable: measurable effort and time directed at GOAL throughout the cycle.

th3 (GROW repair)

Notes#

  • Predicates 1–28 were specified during Round a2 TEMPER (entry b23). User approved with minor corrections (entries b24–b26).

  • Predicates 29–34 were introduced with th6 and th7 during the same round.

  • Predicates 41–42 were added during PROMY:GROW (2026-03-30) when the th3 repair introduced rest-adequate and goal-pursued as explicit conditions.

  • Proto-formal predicates (marked above) require empirical behavioral criteria from psychology, sociology, or organizational science for full operationalization. This is acknowledged and tracked as AA-e7He-Predicates-a1.

  • The false-self-died predicate (19) has a negative test: if the agent reverts to BA/ASH patterns under identity threat, the false self is not dead. Full operationalization in llog entry b21 (m4.ax fix).