サンプル

Yoga 3 defaults to BoxSizing.BorderBox where fixed dimensions include padding and border, configures flexShrink 0 and Column direction unless useWebDefaults is enabled, restricts measure functions to leaf nodes with dirty-mark caching, collapses Display.None geometry, and recalculates cross-axis dimensions from aspectRatio

sha256:0cdcd24cba1e2dc947e55e89f78898ff999517534a16500b5593885743ac3f7b

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト: node
OS: linux
アーキテクチャ: x64
ランタイム: node
言語: node
パッケージマネージャー: npm

検証実行環境

実行コンテキスト: node 22
OS: linux alpine · musl
アーキテクチャ: x64
ランタイム: node 22
言語: javascript
パッケージマネージャー: npm
実行方式: container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17

ケース

ゴール: Yoga 3 defaults to BoxSizing.BorderBox where fixed dimensions include padding and border, configures flexShrink 0 and Column direction unless useWebDefaults is enabled, restricts measure functions to leaf nodes with dirty-mark caching, collapses Display.None geometry, and recalculates cross-axis dimensions from aspectRatio HOW
パッケージ: yoga-layout 3.2.1
環境: node
作成日: 2026-08-17T20:40:40Z

よくある思い込み

Setting explicit dimensions with padding and border calculates content-box size like web CSS, and container overflow automatically shrinks child items without configuring web defaults.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

Yoga 3 defaults node box-sizing to BoxSizing.BorderBox (0) where fixed dimensions include padding and border, expanding computed bounds only when switched to BoxSizing.ContentBox (1)
Config defaults useWebDefaults to false with flexShrink 0 preventing overflow compression, while useWebDefaults(true) enables Row direction and flexShrink 1
Measure functions are leaf-only, cached across layout evaluations until markDirty is invoked, and abort if children are inserted
Display.None collapses computed layout rectangle to zero dimensions and removes the node from sibling flow calculation
AspectRatio dynamically recalculates the cross-axis dimension from the main-axis dimension during layout

ファイル

NOTES.md
csx.json
package-lock.json
package.json
test/contract.mjs

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート

node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17 · ed25519:d91480838ac982c9