structural beauty and trigger gate rules carry behavior only - Liplus-Project/liplus-language GitHub Wiki

subtractive-structural-beauty.md と trigger-check-gate.md の常時ロード本文は振る舞いだけを持ち、言い直し・位置づけ・他所の再掲は持たない

Question

常時ロードされる L1 ルール rules/model/subtractive-structural-beauty.md と rules/model/trigger-check-gate.md の本文に、rules/model/liplus-coding-rule.md Body States Behavior の識別線（読んだ者の行いが変わるか）を 2 周目として当てたとき、何が本文に残り、外したものはどこが保持するか。

Current resolution

本文は、何をするか・いつするか・何を禁じるか・どこを開くかだけを持つ。本文内の言い直し、位置づけの句、印象語、rule 本文の役割の自己記述、判断記録への名指し、skill の節名の列挙は持たない。

issue #2152 / PR #2153。

  • subtractive-structural-beauty.md: 3,585 B → 3,346 B（−239 B）
  • trigger-check-gate.md: 2,838 B → 2,274 B（−564 B。初回 commit では 2,166 B、brake 1 round 1 で rule-policy への名指しを戻した）

見出し、semantic tag、layer: L1-model の frontmatter は変えていない。trigger-check-gate.md の 5 軸の名前・順序・本文は on-user-prompt.sh の再 arm の文と対になっているため変えていない。hook も変えていない。1 周目（trigger-check-gate.md の理由の剥ぎ取り）は model-rule-bodies-carry-behavior-only にある。

外したものの合流先

外した記述 合流先
SSB Purpose の Configure default toward subtraction. 同じ段落の Default to subtraction; addition requires justification.（本文内の言い直し）。docs/1.-Model.md 引き算的構造美節の「既定を引き算方向に設定し」
SSB Core principles の One rule observed from three angles. docs/1.-Model.md 同節の「Core principles（三つの視点から見た一つの規則）」
SSB (A) の is structural noise; docs/1.-Model.md 同節の「load-bearing でない内容は構造ノイズであり」。行いは直後の「既に書かれていることでは居場所を得ない」が持ち、本文に残した
SSB (B) の If detail is needed, the receiver pulls; the writer does not preempt. 同じ (B) の 2 文目 Expansion is driven by recipient request or structural necessity, not by writer-side completeness instinct.（本文内の言い直し）。docs/1.-Model.md 同節
SSB Application notes の Compact reminders for the surfaces (A) / (B) / (C) most often touch. docs/1.-Model.md 同節の「Application notes（(A)(B)(C) が最も頻繁に触れる面への簡潔な注記…）」
TCG 冒頭の Application-moment gate. と、rule-policy への名指しの言い回し（rule-policy.md's abstract） docs/1.-Model.md トリガーチェックゲート節 1 行目（「ルールポリシーの…を判断形成の瞬間で発動させるためのゲート」）。名指しそのものは本文に残した（下記）
TCG Trigger firing の The hook injects a terse re-arm of（印象語 terse を含む言い回し）と The always-on rule body carries axis detail; hook-driven-gate-trigger Current resolution（最小号令の注入、always-on rule body が軸の詳細を保持）。hook 自身が Axis detail: rules/model/trigger-check-gate.md (always-on). を毎ターン出す。docs/1.-Model.md 同節に 1 段落を足した
TCG Trigger firing の Recall-gap rationale and the residual limit (...) live in the Decision Structure entry hook-driven-gate-trigger. hook-driven-gate-trigger 自身（Background が想起依存の欠落、Constraints / Conclusion が残余を持つ）と docs/Decision-Structure.md の索引。本文に判断記録への名指しを置かないのは judgment-record-pointer-requirement-dropped による。括弧書きの中の skills/evolution-self-eval/SKILL.md への名指しは、Scope の行（Post-judgment observational scoring belongs to L2 Evolution self-evaluation (...)）へ移して本文に残した
TCG On-demand action surfaces 3 行目の skill の節名の列挙（perfect-defense illusion から system-injected output litmus まで） skills/model-source-check/SKILL.md の見出しと description（Provides the two-pillar verify and a guard per moment, ...）。本文は Source check two-pillar verify + per-moment guards → skills/model-source-check/SKILL.md とした。1・2 行目は名指しとして短く、そのまま残した

理由とも読めるが本文に残した行

  • Beauty here is structural and observable — the load-bearing-ness of every part, not an internal taste. subtractive-structural-beauty-framing の Current resolution が、この行を本文冒頭に置くことを判断そのものとして定めている。判定基準を書き手の内側の感覚から artifact 上の構造性質へ移す行であり、外すとその判断を覆すことになる。
  • Load-bearing rule existence does not imply application-moment trigger. subtractive-structural-beauty-framing が本文にあるものとして引いている。model-rule-bodies-carry-behavior-only の結論（引用されている行は理由であっても本文に残す）に従った。
  • a forgettable relief path is strictly dominated by the deterministic hook subagent-parallel-width-cap が逐語で引いている。同じ結論に従った。
  • One tempo slower. 命令の形で、No が出たときに限らずゲート全体の速さを決める行として扱った。1 周目も残している。
  • Goal = reduce cognitive load — ... 何を基準に load-bearing を測るかを決める評価軸の行として扱った。直後の文と近いが、あちらは引き算の対象を言い、こちらは測る基準を言う。
  • Operationalizes rules/model/rule-policy.md Before forming judgment, proactively gather related context. 初回 commit では冒頭の位置づけの行ごと外したが、この行は rules/ で唯一 rules/model/rule-policy.md を名指す行だった（grep rule-policy を rules/ skills/ adapter/ に当てると、ほかは skills/model-loop-safety/SKILL.md の Requires 行だけ）。issue #2152 は参照先の名指しを落とさないことを求めるので、PR #2153 brake 1 round 1 の所見（修正案 a）を採用し、パスと引用だけの 1 行として戻した。Application-moment gate. と abstract は戻していない。
  • Trigger firing の状況ルーティング（external content read -> Frame + Source ほか）。hook の出力の写しに見えるが、hook の出力は subagent の文脈に届かない（hook-driven-gate-trigger Constraints）。subagent にとって常時ロードでルーティングを運ぶのはこの行だけである。

追随した面

  • docs/1.-Model.md の両節に、外した文の保持先を記した。Trigger firing の内容（hook による再 arm、自己宣言 trigger を再追加しないこと、残余）は docs に無かったので、トリガーチェックゲート節に 1 段落を足した。
  • 節名は変えていない。rules/ skills/ adapter/ docs/ tests/ scripts/ を grep し、外した句を逐語で引く参照は無かった（tests/test_on_user_prompt_webhook_rearm.py の terse re-arm は同 test 自身の言い回しで、この rule を引いていない）。参照元の変更は無い。

Edges

Background

issue #2152。起点は成果物そのものの計測（refactor-driven、promotion ラベル無し）で、Master の指示による着手。skills/evolution-l1-update-gating/SKILL.md の Initiation-axis scope と Change-origin scope のどちらでも、長期観察のしきい値は前提条件にならない。2 本はどちらも毎 session 全体が文脈に入る面にある。subtractive-structural-beauty.md は 1 周目で何も剥がれておらず、trigger-check-gate.md は 1 周目で理由の文だけを剥いでいた。2 周目で主に外したのは、本文内の言い直し・位置づけ・他所の再掲である。

Constraints

  • 振る舞い・禁止・条件・参照先の名指しは落とさない（issue #2152 制約）。
  • layer: L1-model の frontmatter と H1 / H2 の semantic tag 構造を保つ。
  • 5 軸の名前と順序を変えない（on-user-prompt.sh の再 arm の文と対）。
  • 判断記録が本文にあるものとして引いている行は消さない（model-rule-bodies-carry-behavior-only Constraints）。
  • version type は patch。

Conclusion

採用 = 本文内の言い直し・位置づけの句・印象語・役割の自己記述・判断記録への名指し・skill の節名の列挙を外し、docs と既存の判断記録に任せる。skill への名指しは行を移して残す。

却下 = 本文冒頭の Beauty here is structural ... を位置づけとして外す案。subtractive-structural-beauty-framing の判断を覆すことになり、その判断を改める根拠はこの issue に無い。

却下 = 判断記録が引く 2 行（Load-bearing rule existence ... / a forgettable relief path ...）を外し、引いている記録の方を書き換える案。1 周目の結論を改める新しい根拠が無く、節約は約 150 B にとどまる。

却下 = 状況ルーティングを hook の写しとして外す案。hook の出力は subagent に届かない。

却下 = バイト数を大きくするために、One tempo slower. や Goal = ... のような、行いとも理由とも読める行を削る案。判別に迷う行は残した。

Related