Skip to content

chore: Fabric pin を v0.9.0rc3 へ移し、参照を自然な形に戻す - #47

Merged
01rabbit merged 1 commit into
mainfrom
claude/zealous-edison-k5vt5j
Sep 20, 2026
Merged

01rabbit merged 1 commit into
mainfrom
claude/zealous-edison-k5vt5j

Conversation

@01rabbit

Copy link
Copy Markdown
Owner

v0.9.0rc3 は effect_contracts の参照文法を広げます。型付き参照の本体がコロンを含めてよくなりました。

この移動はこのリポジトリにとって任意ではありません。 rc2 の文法では、AZ-06 が実際に発行する階層参照が、型付き参照を要求するすべてのスロットで拒否されていました。

runtime/effect_projection.py はそれらを平坦化せず拒否する設計にしてありました。書き換えは採れません — surface:http-8080 は、存在しない surface への well-formed な参照になります。

設計どおりテストが赤くなった

その拒否は「pin が動いたら赤くなる」形で記録してありました。pin を上げた瞬間に2件が落ちました。

FAILED test_the_references_az06_mints_today_are_not_projectable[surface:http:8080-...evidence.py]
FAILED test_the_references_az06_mints_today_are_not_projectable[surface:http:8080-...golden_outcome.py]

代替値(surface:http-8080 / artifact:honey-invoice-2026)はテストから消え、AZ-06 自身の参照が PresentedTerrainRef に無改変で入ります。

文法は広がったが、識別をやめてはいない

参照値 rc2 rc3
surface:http:8080 None RefKind.SURFACE
artifact:honey:invoice-2026 None RefKind.ARTIFACT
deception:surface:http-8080 None None(不変)

最後の1件は今も untyped ですが、理由が違います — Fabric に deception という kind が無いからであって、句読点のせいではありません。

この区別がつかないテストは、直っていない文法を直ったと呼んでしまいます。 両者を分けて固定しました:

  • test_the_references_az06_mints_are_what_fabric_says_they_are — 各値が Fabric にとって何であるかを固定
  • test_a_hierarchical_surface_reference_now_reaches_the_record — end to end で無改変に通ることを実証
  • test_a_reference_of_a_kind_fabric_does_not_know_is_still_refused — 広げても未知の kind は拒否されること

検証

574 passed, 8 skipped   (571 → 574)

🤖 Generated with Claude Code

https://claude.ai/code/session_01SsboPSj6GyJju6mTXwHHjq


Generated by Claude Code

v0.9.0rc3 は effect_contracts の参照文法を広げる。型付き参照の本体が
コロンを含めてよくなった。

この移動はこのリポジトリにとって**任意ではない。** rc2 の文法では
AZ-06 が実際に発行する階層参照が、型付き参照を要求するすべてのスロットで
拒否されていた:

  surface:http:8080
  artifact:honey:invoice-2026

runtime/effect_projection.py はそれらを平坦化せず拒否する設計にしてあった。
書き換えは採れない — surface:http-8080 は、存在しない surface への
well-formed な参照になる。

## 設計どおりテストが赤くなった

その拒否は「pin が動いたら赤くなる」形で記録してあった。pin を上げた瞬間に
2件が落ちた。代替値(surface:http-8080 / artifact:honey-invoice-2026)は
テストから消え、AZ-06 自身の参照が PresentedTerrainRef に**無改変で**入る。

## 文法は広がったが、識別をやめてはいない

deception:surface:http-8080 は今も untyped である。ただし理由が違う:
Fabric に deception という kind が無いからであって、句読点のせいではない。
この区別がつかないテストは、直っていない文法を直ったと呼んでしまう。
両者を分けて固定した。

## 検証

574 passed, 8 skipped (571 → 574)

  surface:http:8080            -> RefKind.SURFACE     (rc2 では None)
  artifact:honey:invoice-2026  -> RefKind.ARTIFACT    (rc2 では None)
  deception:surface:http-8080  -> None                (kind が未知。不変)

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SsboPSj6GyJju6mTXwHHjq
@01rabbit
01rabbit marked this pull request as ready for review September 20, 2026 11:51
@01rabbit
01rabbit merged commit c6dd5d5 into main Sep 20, 2026
10 checks passed
@01rabbit
01rabbit deleted the claude/zealous-edison-k5vt5j branch September 20, 2026 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants