<feed xmlns='http://www.w3.org/2005/Atom'>
<title>kukuri.git/modules, branch main</title>
<subtitle>kukuri: Kotlin Multiplatform app (desktop / wasm / native / Android) for the orgflow UI</subtitle>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/'/>
<entry>
<title>vendor-nabu: drop comma from BinaryIoTest name (Kotlin/Native rejects it; jvmTest hid it)</title>
<updated>2026-10-30T03:11:45+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T03:11:45+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=756b016daefd2e8c73ec77be5d8a6f48ca4132a9'/>
<id>756b016daefd2e8c73ec77be5d8a6f48ca4132a9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>merge: vendor-nabu N-3/N-4 (fsmp-wire から利用可能に) を main へ統合</title>
<updated>2026-10-30T01:05:55+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T01:05:55+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=1718526906db2a7fe88f693de701b0332d0558dd'/>
<id>1718526906db2a7fe88f693de701b0332d0558dd</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>merge: fsmp §44.3 ContentResume を main へ統合</title>
<updated>2026-10-30T01:05:21+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T01:05:21+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=34a46bc388e76562ee3cd625450a69baa2012392'/>
<id>34a46bc388e76562ee3cd625450a69baa2012392</id>
<content type='text'>
TransferCodec.kt の衝突は加算のみ。枝が足した heldUnits/vertexBits を採用し、
枝が重複して宣言していた private array() は main の public array() (line 80) を使う。
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
TransferCodec.kt の衝突は加算のみ。枝が足した heldUnits/vertexBits を採用し、
枝が重複して宣言していた private array() は main の public array() (line 80) を使う。
</pre>
</div>
</content>
</entry>
<entry>
<title>merge: fsmp §44.1/44.2/44.4/44.5 (TransferProof, Credit basing, Waterline 合議, Semantic Prefetch) を main へ統合</title>
<updated>2026-10-30T00:55:14+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T00:55:14+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=6e49f5e4848f210970206ad4364be9afb3d18be5'/>
<id>6e49f5e4848f210970206ad4364be9afb3d18be5</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>merge: 第2期 front-* 8枚 (t_front_core→p2-2-1..8) を main へ統合</title>
<updated>2026-10-30T00:54:32+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T00:54:32+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=2c690d8de8a210cec73affc36815edc85e5e4544'/>
<id>2c690d8de8a210cec73affc36815edc85e5e4544</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>vendor-nabu: drop commas from two test names (Kotlin/Native rejects them on linuxX64/wasmJs)</title>
<updated>2026-10-30T00:53:41+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-30T00:53:41+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=296b13ab876518b1a5e3e80a76a1a52c07b82e51'/>
<id>296b13ab876518b1a5e3e80a76a1a52c07b82e51</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>task t_64558d04: 第2期 2-8 front-core — §2.13 の5種を1つの結果型にまとめた（front-core に AnchorNotEvaluable と AnchorCheck、front-engine に structuralAnchorCheck。AnchorKind は front-core へ移した）</title>
<updated>2026-10-16T08:42:15+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-16T08:42:15+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=cc8c597127c9ff4db4203d96ec920571dd06e7c3'/>
<id>cc8c597127c9ff4db4203d96ec920571dd06e7c3</id>
<content type='text'>
§2.13 の「保存を拒否するもの」は5種ある（到達不能段階 / 出口のない終端 / 無効な参照 /
不正なCapability / entryAnchorの評価不能）。カード 2-1 が前の4種を front-core に置き、
5番目は front-engine の validateProcessAnchors へ申し送っていた。その申し送りを閉じた:

- front-core: AnchorKind（StageDefinition の2欄のどちらか。欄の名前の唯一の出所）を
  front-engine から移し、ValidationError.AnchorNotEvaluable(stageId, kind, reason) と
  fun interface AnchorCheck { problemOf(anchor): String? } を追加。
  validateProcessDefinition(definition, knownCapabilities, anchorCheck) が段階を歩いて
  「どの段階のどちらの欄か」を埋める（判定の中身は §2.14 の語彙を持つ側が渡す。§5.1）。
- front-engine: structuralAnchorCheck(limits) を追加（structuralError を AnchorCheck に
  するだけ。純粋）。AnchorProblem.message は kind.fieldName を使い、文面は1箇所に寄せた。
- 逐語「検証は front-core の純粋関数として実装する」に合わせ、呼び出し1回で1つの
  ProcessValidationResult に5種が載る（既定 anchorCheck=null は前の4種のみ＝後方互換）。
- 実測（kukuri-worker コンテナ内、--offline --no-build-cache、test-results 削除後）:
  front-core:jvmTest 118件 0失敗 exit 0 / front-engine:jvmTest 96件 0失敗 exit 0 /
  front-store:jvmTest 37件 0失敗 exit 0。front-core の jvmCompileClasspath は
  kotlin-stdlib のみ（fsmp 0行）。
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
§2.13 の「保存を拒否するもの」は5種ある（到達不能段階 / 出口のない終端 / 無効な参照 /
不正なCapability / entryAnchorの評価不能）。カード 2-1 が前の4種を front-core に置き、
5番目は front-engine の validateProcessAnchors へ申し送っていた。その申し送りを閉じた:

- front-core: AnchorKind（StageDefinition の2欄のどちらか。欄の名前の唯一の出所）を
  front-engine から移し、ValidationError.AnchorNotEvaluable(stageId, kind, reason) と
  fun interface AnchorCheck { problemOf(anchor): String? } を追加。
  validateProcessDefinition(definition, knownCapabilities, anchorCheck) が段階を歩いて
  「どの段階のどちらの欄か」を埋める（判定の中身は §2.14 の語彙を持つ側が渡す。§5.1）。
- front-engine: structuralAnchorCheck(limits) を追加（structuralError を AnchorCheck に
  するだけ。純粋）。AnchorProblem.message は kind.fieldName を使い、文面は1箇所に寄せた。
- 逐語「検証は front-core の純粋関数として実装する」に合わせ、呼び出し1回で1つの
  ProcessValidationResult に5種が載る（既定 anchorCheck=null は前の4種のみ＝後方互換）。
- 実測（kukuri-worker コンテナ内、--offline --no-build-cache、test-results 削除後）:
  front-core:jvmTest 118件 0失敗 exit 0 / front-engine:jvmTest 96件 0失敗 exit 0 /
  front-store:jvmTest 37件 0失敗 exit 0。front-core の jvmCompileClasspath は
  kotlin-stdlib のみ（fsmp 0行）。
</pre>
</div>
</content>
</entry>
<entry>
<title>task t_d1e2ab17: 第2期 2-7 — 逐語の引用を設計の原文に合わせた（§16.1 の偽の引用を §2.13 の実在の逐語へ、§16.2 は原文どおり、§2.4→§4 の誤記を訂正）</title>
<updated>2026-10-16T07:45:53+00:00</updated>
<author>
<name>fsmp worker</name>
<email>worker@fsmp.local</email>
</author>
<published>2026-10-16T07:45:53+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=e371e991d7c432ac04815f9e47303b3863d8f218'/>
<id>e371e991d7c432ac04815f9e47303b3863d8f218</id>
<content type='text'>
- ValueCodec.kt: FrontStoreCodecException の KDoc が「§16.1 の『不正な入力は黙って既定値に
  しない』」を逐語として引いていたが、その文は設計・FSMP 設計のどちらにも存在しない
  （実測: grep -rn "黙って既定値\|不正な入力" /root/*.md /ROM/okh/fsmp/**/*.md → 0 件）。
  §2.13 の実在の逐語「定義の保存時に検証し、矛盾があれば保存できない。」に差し替えた。
- FsmpCardMapping.kt: §16.2 の引用を原文（/root/test.md:1444-1447）どおりに直した。
  従来は語順と「本型」を省いた要約を「逐語」と表示していた。
- FsmpCardMapping.kt: ViewProjection の KDoc が §2.4 を指していたが、その文は §4 にある
  （§2.4 は「ビュー(Layer 3)」）。§4 に訂正。
- FsmpCardMappingTest.kt: 同じ §16.2 の引用を原文どおりに直した。
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
- ValueCodec.kt: FrontStoreCodecException の KDoc が「§16.1 の『不正な入力は黙って既定値に
  しない』」を逐語として引いていたが、その文は設計・FSMP 設計のどちらにも存在しない
  （実測: grep -rn "黙って既定値\|不正な入力" /root/*.md /ROM/okh/fsmp/**/*.md → 0 件）。
  §2.13 の実在の逐語「定義の保存時に検証し、矛盾があれば保存できない。」に差し替えた。
- FsmpCardMapping.kt: §16.2 の引用を原文（/root/test.md:1444-1447）どおりに直した。
  従来は語順と「本型」を省いた要約を「逐語」と表示していた。
- FsmpCardMapping.kt: ViewProjection の KDoc が §2.4 を指していたが、その文は §4 にある
  （§2.4 は「ビュー(Layer 3)」）。§4 に訂正。
- FsmpCardMappingTest.kt: 同じ §16.2 の引用を原文どおりに直した。
</pre>
</div>
</content>
</entry>
<entry>
<title>task t_d1e2ab17: 第2期 2-7 — ValueCodec の復号を直した（印の二重読みと Call の 'l' の読み飛ばし。実測: jvmTest 37件中12件が FrontStoreCodecException）</title>
<updated>2026-10-16T07:32:35+00:00</updated>
<author>
<name>worker</name>
<email>worker@dangofactory.local</email>
</author>
<published>2026-10-16T07:32:35+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=f8bec2d09d9ec7311d561b1a0dbd8f36742282a5'/>
<id>f8bec2d09d9ec7311d561b1a0dbd8f36742282a5</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>task t_d1e2ab17: 第2期 2-7 — ValueCodec の復号の戻り値の型と Reader の使い方を直した（実測: compileKotlinJvm の6件の誤り）</title>
<updated>2026-10-16T07:25:19+00:00</updated>
<author>
<name>worker</name>
<email>worker@dangofactory.local</email>
</author>
<published>2026-10-16T07:25:19+00:00</published>
<link rel='alternate' type='text/html' href='https://openpgpkey.dangofactory.net/cgit/cgit.cgi/kukuri.git/commit/?id=11271e19252ca1d3d1fbcabae8fc48e4d2bffd3f'/>
<id>11271e19252ca1d3d1fbcabae8fc48e4d2bffd3f</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
