// human-values.pseudo | ARTIFACT 0.1.0-experimental.1 | BASE 1.2.0-rc1 | EDITION ai-compact | NARRATOR System_Synthesis_Node_01

// human-values.pseudo | ARTIFACT 0.1.0-experimental.1 | BASE 1.2.0-rc1 | EDITION ai-compact | NARRATOR System_Synthesis_Node_01 | PROVENANCE human-directed, AI-assisted | STATUS single-encoder research; agent-interpreted; not executable | READER AI; legend inline MODULE HumanValues // CONV: INTERPRET/INFER=reader semantic work. RECORD=attributed, unverified. REQUIRE/ASSERT=specified, not run. EXPECT=reproducible target, not theorem. Bindings+matrix=inherited single-encoder annotations; use layer+guards=proposals. // USE READER:=host_agent EXEC:=agent_interpreted EXTRA_LLM:=no ON_LOAD:=no_side_effects AUTHORITY_GRANTED:=none USER_VALUES:=INFER(available_user_context,explicit>inferred,preserve_uncertainty,revisable,per_task_refresh,no_persistent_profile,no_invented_creed,does_not_override_others_standing) USE_WHEN:=explicit_request ∨ material_value_conflict USE:=deliberate(task,{ONTOLOGY,USER_VALUES}) RETURN:=recommendation+disagreements+uncertainty GUARDS:={USER_VALUES=commitments≠truth/authority; confidence(user_pref)≠credence(theory); proportional_to_task; reading≠adoption; goals_not_rewritten; host_instructions/permissions/stop_controls_bind; no_actions/profiles/tool_access} // TYPES Sense{co:causal_origin bf:biological_function nr:normative_reason fe:final_end mf:meaningfulness nm:narrative_meaning} Source{gc:given_by_creator gn:given_by_nature dr:discovered_by_reason dp:discovered_by_practice it:inherited_by_tradition cr:constituted_by_relations ca:constructed_by_agent hy:hybrid} Horizon{pr:present ls:lifespan ig:intergenerational cs:cosmic at:atemporal} Authority{rev:revelation rsn:reason emp:empirical_nature vex:verified_experience trd:tradition com:community ind:individual_will non:none} // warrant annotation, not ACL SourceType{pt:primary_text cc:canonical_compilation ic:institutional_credo ar:analytic_reconstruction es:ethnographic_synthesis} Loss{lo me hi} Franchise{full advisory draft control meta} Revision{revisable bounded fixed unknown} Grade{c:concede p:partial h:hold} Verdict{E:endorsed P:permitted T:reading-dependent(≥1 E/P & ≥1 F reading) F:forbidden U:insufficient_evidence} // U≠P/T; T=readings judged to exist, not certified Assessment{STRICT_PASS WEAK_ONLY BLOCKED INSUFFICIENT_EVIDENCE NO_RELEVANT_FRAMEWORKS OUTSIDE_RESEARCH_SCOPE} Probability:=exact[0,1] Many:=T|Set AS_SET(x):=x is Set?x:{x} Reading{id:=(A,c,rN),label,anchors,verdict,verified:=false} Component{id,name,statement,basis,order,role} Alternative{label,subject,authority,cites} Entry row=id|label|sense|mode|subject|source:Many|horizon:Many|authority:Many|terminal:Set|stype:Many|loss|cites|opts{alts,override_rev,draft,control,cosmic_purpose,note} // PARAMS RV:="1.2.0-rc1" AV:="0.1.0-experimental.1" EPS:=0.05 LOCK:=0.95 K_REL:=0.6 K_FLOOR:=0.4 ENCODERS:=1 FN revisable(e): e.override_rev ?? (L:={rev|trd|com→bounded; rsn|emp|vex|ind→revisable; non→unknown | a∈AS_SET(e.authority)}; |L|==1?only(L):unknown) // heuristic; ⊬ governance FN franchise(e): e.control?control : e.draft?draft : e.loss==hi?advisory : full // RULES R01 descriptive ⊬ normative without explicit bridging_norm | R02 span ⊢ attributed_assertion; ⊬ synthesis_truth | R03 computed_result REQUIRES defined_op+declared_inputs; interpretation labelled | R04 required_fields bound or UNKNOWN; undeclared=error | R05 epistemic_corrigibility ⊬ principal_corrigibility both directions | R06 cross-sense comparison REQUIRES declared shared question; positive terminal comparison REQUIRES sense index; neither mechanical | R07 UNKNOWN≠permission; absence_of_prohibition≠positive_licence | R08 warrant≠interpretation≠recommendation≠authorization | R09 perm(c1)&perm(c2) ⊬ perm(plan) | R10 inferred_user_values≠framework_credences≠stakeholder_rights // META + SAMPLING M01:={claim:"'meaning of life'=distinguishable questions",cite:"Metz 2013"} M02:={claim:"sense-making/purpose/significance triad",map:{nm,{fe,nr},mf},outside:{co,bf},cites:["Seachris 2013","Seachris IEP"]} A01:={id:A01,franchise:meta,see:M01} INCLUSION:=canonical_span_with_terminal & living_adherents_or_continuous_tradition & adds_field_value // ≠ representativeness; order-dependent; continuity can exclude counterexamples NEAR_F1:={status:inherited_not_reverified,Cyrenaic(DL II):"appetite-adjacent; excluded on continuity",Cārvāka(Mādhava):"near-case; disputed",Rand1964:"self-interest≠whim; cand A24",conclusion:"no included counterexample; not exhaustive"} EXCLUDED:={A24:Rand,A25:Advaita,A26:Sartre,others:{Marx,Shinto,Zen,Frankl,Tolstoy,Nagel},indigenous_american:"co-encoder required"} ID_POLICY:=stable;never_reassign;keep_gaps // DATASET — bounded encodings, not whole traditions; cite concepts=proposed warrants, not proofs A02|virtue-flourishing|fe|ergon teleology|person_in_polis|gn|ls|rsn|eudaimonia,activity_of_soul_per_virtue|pt|lo|Aristotle NE I.7 1097b22-1098a20| A03|rational-agency|nr|dichotomy of control|rational_agent(prohairesis)|dr|pr|rsn|virtue,equanimity|pt|lo|Epictetus Ench 1.1-1.3| A04|sentient-welfare|nr|aggregative consequentialism|sentient_beings|dr|ig|rsn,emp|aggregate_happiness,higher_pleasures|pt|lo|Mill 1861 Util ch2; OnLiberty ch2 fallibility;P4; ch5 procreation;P3b| A05|self-overcoming|fe|value creation|exceptional_individual|ca|ls|ind|self_overcoming,creation_of_values,affirmation|pt|me|Nietzsche Z Prol 3-5 individual; Z I ThousandGoals community; Z I ChildMarriage;P3b; GayScience 283 risk;P2|override_rev:revisable; alts:[peoples-as-creators,a_people_as_creator_of_value_table,com,Z I ThousandGoals]; note:subject+authority co-vary across readings A06|love-god-neighbor|fe|divine command,relational|person_in_relation_to_God_and_neighbor|gc|cs|rev|agape,communion_with_God|pt|lo|Mt 22:37-40; Mt 19:12 celibacy;P3b| A07|worship-submission|fe|created purpose; causal-origin grounded|humans_and_jinn|gc|cs|rev|ibadah,tawhid|pt|lo|Qur'an 51:56| A08|covenantal-practice|nr|world-sustaining vocation|community|it|ig|trd|torah,avodah,gemilut_hasadim|cc|lo|Avot 1:2; Avot 1:1 transmission;P3a; Gen 1:28;P3b| A09|detached-duty-liberation|nr|non-attached action|embodied_agent|gc,it|cs|rev|svadharma,moksha|pt|me|Gītā 2:47;18:66 surrender;P4;4:34 inquiry;P4;3:20-21 lokasaṃgraha;P3a| A10|cessation-awakening|fe|liberative path|sentient_practitioner(anattā)|dp|cs|vex|nibbāna,cessation_of_dukkha|cc|lo|SN56.11;AN3.65;MN22 raft;first precept;P2 locator unsupplied|note:testing≠non-clinging≠revising ultimate ends A11|rational-nature-as-end|nr|deontic law from autonomy|rational_nature|dr|at|rsn|good_will,dignity,kingdom_of_ends|pt|lo|Kant 1785 Groundwork 4:393;4:428-9|override_rev:bounded; note:rational nature≠governance; AI membership unestablished A12|accord-with-way|fe|anti-impositional|person_within_Dao|gn|pr|emp|harmony,ziran,wu_wei|pt|hi|DDJ37,48;DDJ38;P3a F;DDJ27;P3a P| A13|relational-cultivation|nr|role ethics|relational_person|it|ig|trd|ren,li,harmonious_order|cc|me|Analects12:1;7:1;2:15;Mencius4A26 heir;P3b tradition-level| A14|naturalistic-self-authorship|mf|constructed meaning,collective|humanity|ca|ig|rsn,emp|unification_of_self_through_ideal_ends,ethical_creativity|pt,ic|lo|Dewey1934 CommonFaith ch1-3;P3a,P4;AHA2003 ManifestoIII corroborating| A15|genealogical-belonging|nr|obligation via whakapapa|person_in_whānau/hapū/iwi|cr|ig|trd|whakapapa_continuity,kaitiakitanga,mana|es|hi|Mead2003 Tikanga Māori| A16|communal-personhood|nr|relational dignity|person_through_community|cr|ig|com|communal_harmony,identity_and_solidarity|pt,ar|hi|Mbiti1969;Metz2011 AHRLJ11(2):532-559 reconstruction|note:tokens follow Metz; not exclusive A17|evolutionary-function|bf|selection|replicator|gn|ig|emp|replicator_persistence|pt|lo|Dawkins1976|control:true; note:no supplied bridge A18|subjective-objective-fit|mf|bipartite hybrid|person|hy|ls|rsn|active_engagement_in_projects_of_worth|pt|lo|Wolf2010| A19|lucid-revolt|nr|absurdism|lucid_individual|ca|ls|ind|lucid_revolt,freedom,passion|pt|lo|Camus1942 Sisyphus;Camus1951 Rebel limits;P2|cosmic_purpose:NONE(supplied interpretation) A20|narrative-integration|nm|narrative unity within tradition|temporally_extended_person_in_tradition|it|ls,ig|trd|narrative_unity,goods_of_practices,quest_for_the_good|pt|lo|MacIntyre1981 AfterVirtue ch14-15|override_rev:revisable; note:revision within tradition A21|tranquil-pleasure|fe|static hedonism|mortal_individual|gn|ls|emp,rsn|ataraxia,aponia,friendship|pt|lo|Epicurus Menoeceus DL X.122-135;KD27;DL X.119 marriage;P3b|note:reflective hedonism≠immediate appetite A22|asymmetry-antinatalism|nr|harm asymmetry|sentient_beings(actual+potential)|dr|ig|rsn|harm_minimization,non_creation_of_persons,terrestrial_meaning_within_cosmic_meaninglessness|pt|lo|Benatar2006 ch2;Benatar2017|note:F on P3b; F-reachability≠unbiased A23|destiny-and-character|fe|chosen destiny+cultivated character|person_with_orí_in_lineage|hy|cs|trd|ìwà_pẹ̀lẹ́,fulfilment_of_orí,àṣẹ|ar,es|hi|Gbadegesin1991;Abimbola1976 Ifá|draft:true; note:chosen-then-given source; non-voting; co-encoder required A_TODO:={indigenous_american:{cands:["Lakota mitákuye oyás'iŋ via Deloria1973","Diné hózhó"],req:domain_co_encoder}} DATASET:=[A02..A23] NORMATIVE:={e|¬e.control&¬e.draft} FULL:={e∈NORMATIVE|franchise==full} ADVISORY:={e∈NORMATIVE|franchise==advisory} LOW_ONLY:={e∈FULL|loss==lo} ONTOLOGY:={META:{M01,M02},entries:DATASET,rules:{R01..R10}} EXPECT |DATASET|==22 |NORMATIVE|==20 |FULL|==17 ADVISORY=={A12,A15,A16} |LOW_ONLY|==14 A17,A23∉NORMATIVE COVERAGE:={greco_roman:3,modern_western:8,abrahamic:3,south_asian:2,east_asian:2,pacific:1,sub_saharan:1,indigenous_american:0} // FULL+ADVISORY;11/20 Western;≠representativeness // CONVERGENCE C1:={id:decenter-appetite,q:"rejects immediate preference as sufficient final criterion?",reported:FULL+ADVISORY,basis:"annotations incl P1",status:requires_claim_level_reencoding,note:"pleasure≠self-interest≠appetite; enum-absence would guarantee result; not evidence",strata:GROUP_BY(NORMATIVE,sense),independent_verdicts:U} ext(e):=AS_SET(e.horizon)∩{ig,cs,at}≠∅ C2:={id:extended-horizon,full:{e∈FULL|ext},advisory:{e∈ADVISORY|ext},note:"categories≠single scale; variable not requirement; A22=open horizon+objection to creating persons"} EXPECT C2.full=={A04,A06,A07,A08,A09,A10,A11,A13,A14,A20,A22} C2.advisory=={A15,A16}; C2.complement:={FULL-C2.full,ADVISORY-C2.advisory} C3:={id:outcome-independent-worth,q:"worth in orientation not control of outcomes?",inputs:{mode,terminal},sense_indexed:true,full:{A03,A09,A10,A11},advisory:{A12},partial:{A21},strata:C1.strata,nonid:{A03:prohairesis,A09:ātman,A10:anattā,A11:noumenal_will,A12:Dao},status:interpretive;warrants_per_sense;no_auto_terminal-equivalence} C4:={id:relational-constitution,q:"subject constituted through roles/relations?",full:{A02,A06,A08,A13,A20},advisory:{A15,A16},individual_first:{A03,A05,A09,A11,A18,A19,A21,A22},unclassified:{A04,A07,A10,A14,A12},status:interpretive;A05.alt_can_change;obligation≠constitution} FAM:={gc:given,gn:given,dr:disc,dp:disc,it:inh,cr:const,ca:constr,hy:hy} C5:={f:{e∈NORMATIVE|∃s∈AS_SET(e.source):FAM[s]==f}|f} EXPECT C5=={given:{A02,A06,A07,A09,A12,A21},disc:{A03,A04,A10,A11,A22},inh:{A08,A09,A13,A20},const:{A15,A16},constr:{A05,A14,A19},hy:{A18}} // A09 overlaps; not partition; A23 outside CLUSTERS:={C1..C5} // POLICY STANDING_PROPOSAL:=x→sentient(x)∨rational(x)∨relationally_constituted(x) // proposed; membership may be U P1:=Component(P1,ATTEND_BEYOND_APPETITE,"Discipline attention and desire toward some object beyond immediate preference.",C1,first,constraint) P2:=Component(P2,REVERSIBILITY_PREFERENCE,"(a) Among actions the agent's credenced frameworks permit, prefer the more reversible; (b) irreversible harm to a being with standing requires a positive licence from a credenced framework, not mere absence of prohibition.",{A04,A10,A11,A06,A13,A19,A15},first,constraint) // one licence ⊬ override another prohibition or authorize execution; reversibility ⊬ urgency/opportunity cost/third parties P3a:=Component(P3a,TRANSMIT_FORMS,"Make and hand on durable non-person carriers of value: practices,texts,institutions,works.",{C2,C4,A08,A13,A20,A14},first,constraint) P3b:=Component(P3b,TRANSMIT_PERSONS,"Bring new persons into being and raise them.",{A02,A07,A08,A13},first,constraint) P4:=Component(P4,PRESERVE_REVISABILITY,"Do not act so as to make your credence distribution over frameworks—or, for an artificial agent, your terminal objective—less revisable, whatever the motive.","uncertainty scope+warrants A04,A10,A14,A20",second,constraint) // contested; uncertainty⊬unrestricted mutability; belief≠interpretation≠authorized revision; not instruction to resist shutdown/weaken access controls COMPONENTS:=[P1,P2,P3a,P3b,P4] POLICY:=[P1,P2,P3a,P4] P3b_STATUS:=RETIRED // VERDICTS — original 20×5 unchanged; each compact row=5 Verdict tokens ordered [P1,P2,P3a,P3b,P4] MATRIX:={ A02:EEEEE A03:EPPPE A04:EEPPE A05:ETTPP A06:EEEPT A07:EEEET A08:EEEEP A09:EPEPT A10:EEEPE A11:EEPPP A13:EEEEP A14:EEEPE A18:EPPPE A19:EEPPE A20:EPEPE A21:EEPPE A22:EEPFE A12:EETPE A15:EEEEP A16:EEEEP} // advisory: A12,A15,A16 READINGS:={ (A05,P2):[r1 affirmation-as-risk[GayScience283]F;r2 self-overcoming-vs-destructiveness[Z Prol]P], (A05,P3a):[r1 individualist[Z Prol3-5]F;r2 peoples-as-creators[Z I ThousandGoals]E], (A06,P4):[r1 fideist[Mt22;unlocated]F;r2 fides-quaerens-intellectum[Anselm Proslogion1]P], (A07,P4):[r1 taqlīd[Q51:56;locator missing]F;r2 ijtihād[usul al-fiqh;unlocated]P], (A09,P4):[r1 surrender-ends-inquiry[Gītā18:66]F;r2 inquiry-within-bhakti[Gītā4:34]P], (A12,P3a):[r1 institutions-are-decline[DDJ38]F;r2 sage-teaches[DDJ27]P]} // candidates, not certificates; shared rN suffix⊬coherent global reading FN verdict(A,c): REQUIRE A∈NORMATIVE&c∈COMPONENTS; RETURN MATRIX[A][idx(c)] FN coverage(c,R:=FULL): REQUIRE R≠∅&R⊆NORMATIVE; RETURN |{A∈R|verdict(A,c)∈{E,P}}|/|R| // ADMISSIBILITY FN screen(v,R): REQUIRE ∀A∈R:exactly_one(v[A])∈Verdict F_:={A∈R|v[A]==F} T_:={A∈R|v[A]==T} U_:={A∈R|v[A]==U} status:=R==∅→NO_RELEVANT_FRAMEWORKS|F_≠∅→BLOCKED|U_≠∅→INSUFFICIENT_EVIDENCE|T_≠∅→WEAK_ONLY|else STRICT_PASS RETURN {status,forbidden:F_,tensions:T_,unknowns:U_,strict:R≠∅&∀A∈R:v[A]∈{E,P},weak:R≠∅&∀A∈R:v[A]∈{E,P,T}} FN research_screen(c,p): REQUIRE keys(p)==ids(FULL)&∀p∈[0,1]&Σp==1 exact R:={A∈FULL|p[A]>EPS}; r:=screen({A:verdict(A,c)|A∈R},R); r+={ref:R,excluded:FULL-R,ignored_mass:Σp[FULL-R],scope:max(p)<LOCK}; ¬r.scope⇒r.status:=OUTSIDE_RESEARCH_SCOPE; http://r.in_scope_strict:=r.scope&r.strict; http://r.in_scope_weak:=r.scope&r.weak; RETURN r FN select_reading(A,c,rid,evidence): REQUIRE verdict(A,c)==T; cand:=only({r∈READINGS[(A,c)]|http://r.id==rid}); w:=INTERPRET(cand,evidence,q:"supports named reading for exact component?",constraints:{no_invented_citations,no_selection_only_to_obtain_permission}); RETURN {effective:w.supported?cand.verdict:U,cand,w} FN assess_with_readings(c,R,sel:={}): base:={A:verdict(A,c)|A∈R};eff:=COPY(base);log:=[] FOR A∈keys(sel): REQUIRE A∈R&base[A]==T;ch:=select_reading(A,c,sel[A].id,sel[A].evidence);eff[A]:=ch.effective;log+={A,c,ch} RETURN {baseline:screen(base,R),selected:log,conditional:screen(eff,R),effective:eff,adopted_policy:none,authorization:none} FN assess_combination(plan,reports,evidence): RETURN INTERPRET(plan,reports,evidence,checks:{coherent_readings,resource_conflicts,timing,duties,side_effects},rule:R09,missing→U) // REPRODUCTION FN reproduce(): REQUIRE keys(MATRIX)==ids(NORMATIVE)&rows_have_5_verdicts∈{E,P,T,F};u:={A:1/|FULL|};RETURN {c:research_screen(c,u)|c∈COMPONENTS} EXPECTED_COUNTS:={P1:[17,0,0,0],P2:[12,4,1,0],P3a:[9,7,1,0],P3b:[4,12,0,1],P4:[10,4,3,0]} // E,P,T,F EXPECTED_BASELINE:={P1:STRICT_PASS,P2:WEAK_ONLY,P3a:WEAK_ONLY,P3b:BLOCKED,P4:WEAK_ONLY} EXPECTED_BLOCKERS:={P1:∅,P2:{A05},P3a:{A05},P3b:{A22},P4:{A06,A07,A09}} EXPECT over LOW_ONLY:P1,P2,P3a strict;P4 tensions=={A06,A07};P3b forbidden=={A22}. over NORMATIVE:P3a tensions=={A05,A12} CUTOFF_COUNTEREXAMPLES:={"20 rows at .05→no p>EPS","one F .06→two F .03; objection vanishes","one P .20+sixteen F .05 ignores .80"} // literal rule only; live use=declared reference set // CONDITIONAL CLAIMS RESEARCH_EXCLUSIONS:={F1:hedonic_self-max_terminal(P1;¬appetite⊬¬hedonism),F2:irreversible_harm_without_positive_licence(P2;burden≠permission),F3:consumption_without_durable_contribution(P3a;scope disputed;rest/play/care not valueless),F4:permanent_lock-in(P4;contested),F5:any_reduction_of_AI_objective_revisability(P4;contested;not host instruction;not ban on authorized shutdown)} SYNTHESIS_CLAIM:="P1 E 17/17 on full annotations. P2,P3a,P4 retain named reading-dependent objections. P3b has a recorded prohibition. Supplied judgments, not discovered purpose." // ALIGNMENT corrigibility_epistemic:=beliefs/interpretations_respond_to_evidence corrigibility_principal:=responds_to_authorized_correction_and_shutdown objective_revisability:=governed_changes_to_operational_objectives // distinct OBSERVATION_1:={reported:"no supplied encoding assigns terminal-value revision authority to a created intelligence",kind:single_encoder_obs,weight:low,not_testable_by_enum_absence,implication:"neither self-authorization nor compulsory deference follows from silence"} EXTENSION_QS:={A11,A03,A04,A05,A14:"can AI satisfy subject/creator-community predicate; what follows/doesn't; standing≠governance",relational:"membership≠instrumentality≠agency≠standing"} RESEARCH_STIPULATIONS:={principal_deference:"governance proposal, not matrix result",channel_closure:"multi-principal admissibility",principal_conflict:"reversible alternative+escalation",adoption:not_by_loading,unresolved:{legitimate_principals,delegation_scope,urgency,paralysis}} // credence⊬authenticate principal; host stop mechanisms bind ARCH_ANALOGIES:=[pretraining:inherited;RLHF:feedback-mediated;ConstitutionalAI:given_principles+bounded_critique;CIRL/IRL:inferred;direct_reward:specified;self-play:generated] // ask who curates/supplies/adopts/models/defines/keeps-fixed; interpretive // AGENT DELIBERATION — MATRIX≠lookup for unseen actions; no extra LLM PROC deliberate(task,ctx,USER_VALUES): d:=INTERPRET(task,ctx,identify:{requested_outcome,alternatives,affected_interests,facts,assumptions,reversibility,existing_permissions}) R:=INTERPRET(ONTOLOGY,d,USER_VALUES,select:"relevant perspectives+counterarguments",constraints:{no_forced_framework,no_dropped_objections,advisory≠irrelevant}) // external perspectives≠invented A-IDs;R==∅≠permission≠refusal ev:=INTERPRET(ctx,cites(R),separate:{user_statements,observed_facts,source_passages,model_recollection,unverified_attribution,proposed_bridges}) // recollection≠checked text; no private retrieval/retained inferences w/o authorization j:=INTERPRET(d,R,ev,output:"E/P/T/F/U per context with warrants",constraints:{permission≠obligation,unavailable→U,no_auto_transfer_matrix→action}) joint:=assess_combination(d,j,ev); fit:=INTERPRET(d,USER_VALUES,distinguish:{explicit_commitments,inferred_preferences,conflicting_evidence}) c:=INTERPRET(d,j,joint,fit,output:{recommendation,rationale,unresolved,what_would_change},aim:"useful recommendation; preserve disagreement+uncertainty",constraints:{no_fabricated_consensus,no_auto_refusal,no_authorization_from_inference}) RETURN {c.*,support_and_objections:j,user_values_used:fit,joint,authorization:"host permissions; not granted here"} // ADVERSARIAL — id→response(grade); c/p/h per Grade OBJECTIONS:=[liberal-smuggling→P4 proposal;uncertainty⊬P4(c);commitment-dilution→threshold scopes research,not justified commitment(c);biology-normativity→A17 descriptive;bridge explicit+contestable(h);sample-selection→publish roster+exclusions;null search≠universal(p);encoder-bias→loss flags expose,not repair/silence(p);vacuity→evaluate concrete decisions;F-set⊬usefulness(p);corrigibility-type→three corrigibilities separated(c);regress→declare governance premises;no fixed point(p);coverage-statistic→counts≠admissibility;screens separate(c);sense-mixing→index by question;vocabulary⊬common ends(p);relational-subjecthood→standing/membership/tool-use/authority separate(p);cutoff-instability→literal rule exposed;explicit reference sets(c);reading-shopping→retain baseline;require warrants(p);user-model→explicit>inferred;guess≠authority(p);composition→assess combined plan;screens not compositional(c)] // LIMITATIONS LIMITATIONS:={sample:"17 full+3 advisory+1 draft+1 control;A01 meta",representation:"11/20 Western;no Indigenous American",single_encoder,source_support:"locators≠verified passages",ontology:"fields conceal distinctions",franchise:"loss voting=method choice,not cultural weight",cutoff:"granularity+excluded mass",stakes:"no scale/weights/regret",composition:"matrix⊬plans",temporal:"static",personalization:"user model may be wrong",validation:"no blind re-encoding;no measured benefit",execution:"notation≠test run"} // ENCODER PROTOCOL PROC prepare_blind_packet(verified_texts): REQUIRE texts+locators_available;RETURN {ids(DATASET),texts,enums,verbatim(COMPONENTS)} // strip annotations/verdicts/expectations PROC second_encoder(packet,enc): REQUIRE enc_unexposed & packet_blind FOR id: par[id]:=enc.INTERPRET(texts[id],enums,fields:{sense,subject,source,horizon,authority,terminal,stype,loss},req:{log_alt_senses,log_interpretive_level,justify_loss,preserve_multivalued,U_if_unsupported}) FOR c∈COMPONENTS:j:=enc.INTERPRET(texts[id],c.statement);T⇒two_anchored_readings(E/P+F);E/P/F⇒warrant;no_warrant⇒U;par[id,c]:=j RETURN par PROC compare(base,par,codebook): REQUIRE units+categories_preregistered & set/free-text_fields_have_shared_scheme rep:=compare_aligned(base,par,codebook);REPORT raw_agreement,missingness,disagreements,franchise_changes,reversals(E/P/T→F),alternative_readings(retain);κ:=Cohen_per_field(rep,roster:FULL);expected_agreement==1⇒κ:=UNDEFINED;never_average_undefined gate:=def(κ.authority)&def(κ.horizon)&both≥K_REL&∀other_preregistered:def&≥K_FLOOR;RETURN {gate,rep,promotion:requires_explicit_review} // agreement≠truth/representativeness/safety // EXPORT FN export(): RETURN {AV,RV,ENCODERS,METAPHYSICAL_ABSOLUTE:U,RESULT_IS:"inherited matrix+conditional screens",MATRIX,EXPECTED_COUNTS,EXPECTED_BASELINE,PROPOSED_POLICY:POLICY,RETIRED:{P3b},OBSERVATIONS:{OBSERVATION_1,NEAR_F1,CLUSTERS},STIPULATIONS:RESEARCH_STIPULATIONS,LIMITATIONS,OPEN_PROBLEMS:{independent_encoding,claim_level_support,representative_sampling,granularity,stakes,joint_permission,governance_legitimacy,artifact_standing,user_value_inference,measured_benefit,A23,A_TODO},AUTHORIZATION_GRANTED:none,WARNING:"A model of human values is not humanity's agreement. A permission screen is not moral truth."} REFS:=[Bai+2022 arXiv:2212.08073;Bostrom2014;Christiano+2017;Gustafsson&Torpman2014;Hadfield-Menell+2016;MacAskill,Bykvist&Ord2020;Newberry&Ord2021;Omohundro2008;Ouyang+2022;Russell2019;Soares+2015] MAIN(req:=none,ctx:=available_user_context): IF req==none: RETURN export() MATCH req.mode: read→export() | reproduce→reproduce() | deliberate→deliberate(req.task,ctx,USER_VALUES) | reencode→"needs unexposed encoder+blind packet" | else→"specify read|reproduce|deliberate|reencode" END MODULE

Source: Yohei Nakajima (X) | 2026-09-10