.. meta:: :description: Predicate specification table for the e7He Hero Journey model. Each predicate has a one-line behavioral criterion. :keywords: e7He, predicates, operationalization, behavioral criteria, hero journey :author: LLoL as Laurence Loewe of Laodicea, with ClaudeOp46Max as formal auditor ************************************************************ e7He --- Predicate Specifications ************************************************************ .. vvnow dv_ClaOp46Max_OOv2_2026m03d29 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 ====================== .. list-table:: :header-rows: 1 :widths: 5 25 50 20 * - # - 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 ======================== .. list-table:: :header-rows: 1 :widths: 5 25 50 20 * - # - 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 ==================== .. list-table:: :header-rows: 1 :widths: 5 25 50 20 * - # - 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).