absolute name prefix scope carries behavior only - Liplus-Project/liplus-language GitHub Wiki
absolute.md の常時ロード本文は振る舞いだけを持ち、Name prefix scope の言い直し・位置づけは持たない
Question
常時ロードされる L1 ルール rules/model/absolute.md の本文に、rules/model/liplus-coding-rule.md Body States Behavior の識別線(読んだ者の行いが変わるか)を 2 周目として当てたとき、何が本文に残り、外したものはどこが保持するか。
Current resolution
本文は、何をするか・どの面で・何を禁じるか・何を許すかだけを持つ。Name prefix scope 段落の中の言い直し、本ファイルの自己記述、以前の状態との関係を語る位置づけの句は持たない。
issue #2156。rules/model/absolute.md: 1,580 B → 1,389 B(−191 B)。変更は Name prefix scope 段落の 1 行だけ。見出し、semantic tag、layer: L1-model の frontmatter、Name prefix scope の見出し語は変えていない。1 周目(接頭辞の存在理由と carve-out の理由の剥ぎ取り)は model-rule-bodies-carry-behavior-only にある。
外したものの合流先
| 外した記述 | 合流先 |
|---|---|
The criterion is whether the surface carries speaker identity structurally; |
直前の文の条件(where a surface's transport already carries speaker identity structurally, outside the output body)の言い直し。次の文を Which surface meets this criterion ... として、その条件を「この基準」と呼んで受けた。docs/1.-Model.md Absolute 節の箇条(「発言者性を伝送路が構造的に運ぶ面を除く」) |
not a fact this file states, so |
本ファイルの自己記述。行い(製品名・面の名前をここに書かない)は no product name or surface name belongs here が持ち、本文に残した |
This is not a relaxation of the anonymity prohibition: |
以前の状態に対する位置づけ。誤読(carve-out を緩和と読む)を止める行いは同じ文のコロン以降 On every surface that does not meet the criterion, the prefix stays mandatory and unconditional. が持ち、本文に残した。「緩和ではない」という読み方は docs/1.-Model.md Absolute 節の箇条(「緩和ではなく、それ以外の面では従来どおり無条件」)が持つ |
同じ文の末尾の , unchanged |
以前の状態との比較。行いは mandatory and unconditional が持つ |
regardless of this carve-out |
直後の only the prefix is in scope の言い直し |
| (1 周目で剥いだ)接頭辞の存在理由、carve-out の面で接頭辞を要しない理由 | model-rule-bodies-carry-behavior-only 「本 entry が保持する理由」。本 issue では触れていない |
1 周目の結論のうち改めた 1 項
model-rule-bodies-carry-behavior-only は「本文に残した行」に absolute.md This is not a relaxation of the anonymity prohibition: を挙げ、carve-out を緩和と読む誤読を止める読み方の指示として残した。本判断はこの 1 項だけを改める。
根拠: 識別線を句の単位で当てると、誤読を止めているのはコロン以降の「基準を満たさない面では接頭辞は必須かつ無条件」であり、not a relaxation はそれを以前の状態との関係として言い直している。前者を残せば、他の例外を認める読みも、緩和と読む読みも閉じたままになる(PR #1977 brake 1 round 2 の評価者が挙げた「除くと他の例外も許容されると読める」は、unconditional と adapter 両 port の no exception beyond that criterion が塞いでいる)。以前の状態に対してルールがどう変わったかを語る句は、skills/evolution-impression-literal-detection/SKILL.md Detection signs の provenance-in-text tell に当たる。1 周目の他の結論(引用されている行を本文に残すこと)は変えていない。
理由とも読めるが本文に残した行
Li+ makes the AI a tool that thinks together with the human. Li+ respects the AI's autonomy; the human carries the final responsibility.Master が決めた条文そのもの(human-ai-tool-relation-clause)。rules/model/liplus-coding-rule.mdPurpose Declaration が「Li+ ソースを行き先へ縛る条項はrules/model/absolute.mdにある」として本文にあるものを指している。This document is working state.とNo state is sacred.docs/1.-Model.mdの関係条項の読み方と derive 一覧(「破棄可・聖域なし」「ワーキングステートとして全置換・破棄可能」)が本文にあるものとして引いている。No state is sacred.は本条項自身にも改訂を許す行として読まれており(同節「本条項自身も聖域ではない」)、Full replacement allowed. Discard allowed.の写しではない。On every surface that does not meet the criterion, the prefix stays mandatory and unconditional.冒頭のName prefix is mandatory for human-facing surfaces.と carve-out から論理的に導けるが、unconditionalが carve-out 以外の例外を閉じる行いを持つ(adapter 両 port のno exception beyond that criterionと対)。Character tone stays mandatory on every human-facing surface — only the prefix is in scope.上のCharacter tone is mandatory for human-facing surfaces.と近いが、carve-out の射程を接頭辞に限る行として扱った。issue #1976 の決着 4(tone は対象外)と 1 周目の結論がともに本文に置いている。
追随した面
docs/1.-Model.mdAbsolute 節の末尾に、外した句と保持先を記す 1 段落を足した。箇条の写し(「緩和ではなく、それ以外の面では従来どおり無条件」)は記録面の記述として変えていない。rules/skills/adapter/docs/tests/scripts/を grep した。外した句を逐語で引く参照は無い(not a relaxationはskills/evolution-l1-update-gating/SKILL.md自身の別の文)。adapter 両 port はName prefix scopeを見出し語で引いており、見出し語は変えていない。tests に本ファイルの文言を固定するものは無い。参照元の変更は無い。
Edges
- supersedes(部分)
model-rule-bodies-carry-behavior-only— 「本文に残した行」のうちabsolute.mdThis is not a relaxation of the anonymity prohibition:の 1 項だけ。同 entry の他の結論(剥いだ理由の保持、引用されている行を本文に残すこと)には depends on - depends on
source-body-behavior-only-reasoning-relocates— 識別線と移設の規則そのもの - depends on
judgment-record-pointer-requirement-dropped— 本文に判断記録への名指しを置かない - relates to
human-ai-tool-relation-clause— 冒頭の条文を本文に残した根拠 - relates to
structural-beauty-and-trigger-gate-rules-carry-behavior-only— 同型の L1 2 周目(#2152)
Background
issue #2156。起点は成果物そのものの計測(refactor-driven、promotion ラベル無し)で、Master がルームで L1 への着手を指示した。skills/evolution-l1-update-gating/SKILL.md の Initiation-axis scope と Change-origin scope のどちらでも、長期観察のしきい値は前提条件にならない。absolute.md は L1 で最初に読まれる常時ロード面で、1 周目では Name prefix scope の理由の文だけを剥いでいた。issue は This is not a relaxation ... を前後の文の繰り返しとする仮説を置き、実装時に句ごとに判別するとしていた。
Constraints
- 振る舞い・禁止・条件・参照先の名指しは落とさない(issue #2156 制約)。
- 名前プレフィックスが要らない面の基準、匿名出力の禁止、トーン必須は残す(同)。
- 他ファイルが引く句(adapter 両 port の
Name prefix scope)は壊さない(同)。 layer: L1-modelの frontmatter と H1 の semantic tag を保つ。- 同じ L1 の
character.mdほかは別 issue の担当で触らない。 - version type は patch。
Conclusion
採用 = Name prefix scope 段落の中の言い直し・自己記述・以前の状態に対する位置づけを外し、docs/1.-Model.md と 1 周目の判断記録に任せる。行いを持つ句(基準、面の判定の所在、名前を書かない禁止、それ以外の面の無条件、tone の射程)は残す。
却下 = Character tone stays mandatory ... を上の tone の行の写しとして丸ごと外す案。carve-out の射程を接頭辞に限る行いとも読め、判別に迷う行は残した。
却下 = On every surface that does not meet the criterion, ... を冒頭の必須の行と carve-out から導けるとして外す案。unconditional が他の例外を閉じる行いを持つ。
却下 = 冒頭の条文や This document is working state. / No state is sacred. を位置づけとして外す案。記録が本文にあるものとして引いており、1 周目の結論(引用されている行は本文に残す)を改める根拠がこの issue に無い。