chickenbstrips/TheTree_mock
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Record guest normalization equivalence and decline adoption without whole performance gain

Browse Source
This commit is contained in:
Takeshi
2026-10-12 09:05:02 +09:00
parent 6a80649a7f
commit 17390c9b0d
44 changed files with 7657 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/plans/original-completion-2026-10-02/progress_snapshot.json
+82 -9
View File
@@ -5327,7 +5327,7 @@
{
"id": "C09",
"conditions": [
"Latest r290/library291 finite local292-r02 and original S6/whole293-r04 accepted. Single whole tick1217932us; 50ms未達. Stable gain/P95/D10/50ms final performance, final172, general reentry/provider ownership, normal OS/realtime x3/exit/small-screen/same Windows and original17 remain unaccepted. Old287 codec failure and 292 metadata rejection retained; experimental codec declined, next implementation parent r274/library275 retained; no stable regression claim or adoption.",
"Latest r298 finite local299-r02 and originalS6/whole300 accepted; single whole tick1167153us, stable gain/P95/D10/50ms/final172/Object Resource script replacement/normal OS/realtime x3/exit/small screen/Windows/original17 unaccepted. Guest candidate unadopted; original r274/library275 implementation parent retained.",
"原詳細・旧版条件はhistorical fieldsと旧matrixへ保持。"
],
"historical_conditions": [
@@ -5378,7 +5378,7 @@
{
"id": "cross-cutting-final-candidate",
"conditions": [
"原17条件を同一最終版で受入。最新版付き有限証拠と未達はr294 matrixへ保持。"
"原17条件を同一最終版で受入。最新版付き有限証拠と未達はr301 matrixへ保持。"
],
"historical_conditions": [
"P23-02は着手中・次に閉じる1件。30パッケージ/88成果、正式9/着手19/予定60、部分点なし。制作r32と選定済み未採用作業r62を保持。原17条件C01-C09/X1-X8はすべて未受入、Windows実機を要するC08/X8だけブロック。Ctrl保持wheel/左保持dragは延期・未達・免除なし。最新局所/whole647検証済み実験候補はr274/library275（局所r278-r04、原S6影響/全保存同値r281を有限受理）で、単一同期1139564usは50ms未達・安定利益/P95/D10未証明。未変更版の性能反復と全回帰を増やさない。r272-r02はOS Call graphが空で診断未受入として履歴保持。r272-r03は実sampler開始banner後にreleaseし16threadの部分窓を採取、18/0・正常終了・全11,487,732bytes原oracle同値・source/default/stage/SUPPORT保護/復元を有限受理。r273-r04は既存object/SDKから別link1回、採取版と全14sectionsの配置/内容一致を独立確認し415native frameを88関数へ唯一範囲対応。重複inclusiveの行カウントからCPU比率・恒常原因・速度利益を推定しない。新候補r274/library275は原Runtimeの純粋なNeed relief/categoryタグ判定2メソッドだけを元call位置で直接翻訳、六key挿入順・全値/分岐優先を保持、毎回fresh Dictionary・memoなし。各位置のbuiltin/typed guardと元dynamic fallbackを静的受理し、SDK再コンパイル0・bridge compile1/link1・arm64 host build/strict/owned/保護を有限受理。r278-r04は同一library275をactual loadし、原15境界・タグ1028入力・実callback script変更2経路の局所比較を独立有限受理。全ordered typed候補・各入力の記録Path効果・独立所有を比較し、全Runtimeは原15境界とタグ空/全のみ比較。ticksはstairs150で実切替、pricingは元料金呼出中に実切替し元helper位置のdynamic fallback/countを確認。7358/0・strict0・所有PID16599正常終了・private/制作source/default/共有と親stage保護。r278早期継承拒否、r02 callback未到達の4失敗/SCRIPT ERROR/欠測、r03期待件数拒否は履歴保持。r280は元provider9関数の呼出を監査し、exact builtin・wellformed typed・同期処理内のfallback後context再利用を限定静的支持。並行変更/invalidObject/free/samepath偽装/一般再入所有は未認定。r281は同一274/library275で原S6影響24/0、直前265/266と同cold646/paused/speed1/同Budget257/原Pathのwhole各15/0・全11,487,732bytes原oracle同値・3所有PID正常終了・strict/private/全入力保護復元を独立有限受理。同期時間は直前1169815→新1139564usの隣接単発観測のみで、50ms未達・安定利益/P95/D10未証明。全172・通常OS/Windows・性能・採用・単位完成は未受入、未選定・未採用。料金/重み/閾値/論理時刻/通知順/行動/会計/乱数/保存は変更しない。旧実験の詳細は既存版付き証拠・過去snapshot・今回before/previous_summaryへ保持。正式完了追加0。次はr274/library275の局所・原S6影響・全保存同値証拠を保持し、代表同期処理の50ms未達を解消する必要な関連修正を1件選ぶ。関連変更を固めた同一最終版で必須全172・P95/D10・50ms・通常OS/x3/終了/小画面・同一Windows配布版実機と原17条件を満たす。人のCtrl保持ホイールと左ボタン保持ドラッグは後回し・免除なし。"
@@ -5401,7 +5401,7 @@
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-01-layer-root-review-r02/related-regression-reuse.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-01-layer-root-review-r02/representative-performance-reuse.json"
],
"progress_evidence": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r294.json",
"progress_evidence": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r301.json",
"target_candidate_stage": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-single-index-lookup-candidate-r62/stage",
"production_adopted": true,
"working_candidate_adopted": false,
@@ -5450,27 +5450,36 @@
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-static-independent-review-r290.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-build-actual-independent-review-r291.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-local-actual-independent-review-r292-r02.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-impact-whole-actual-independent-review-r293-r04.json"
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-impact-whole-actual-independent-review-r293-r04.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-static-independent-review-r298.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-local-actual-independent-review-r299-r02.json",
"/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-impact-whole-actual-independent-review-r300.json"
],
"unselected_trial_accepted_as_unit": false,
"acceptance_matrix_reference": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r294.json",
"acceptance_matrix_reference": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r301.json",
"next_implementation_parent_stage": null,
"historical_native_trial_stage_r276": {
"unselected_trial_candidate_stage": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-local-names-candidate-r239/stage",
"next_implementation_parent_stage": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-local-names-candidate-r239/stage"
},
"unselected_trial_candidate_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-candidate-r290/source/tree_numeric_core.cpp",
"unselected_trial_candidate_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-candidate-r290/input.json",
"unselected_trial_candidate_library": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-build-r291/libtree_numeric_core.macos.template_debug.dylib",
"unselected_trial_candidate_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-candidate-r298/source/guest_service.gd",
"unselected_trial_candidate_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-candidate-r298/input.json",
"unselected_trial_candidate_library": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-build-r275/libtree_numeric_core.macos.template_debug.dylib",
"next_implementation_parent_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/source/tree_numeric_core.cpp",
"next_implementation_parent_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/input.json",
"native_trial_stage_status": "local292-r02 and whole293-r04 reused shared209/parent239 original1299; Budget257 transient and project restored after owned exit; no production290 stage created",
"native_trial_stage_status": "shared209/parent239 original1299 preserved; Guest298/Budget257/project transient restored after owned exits; no production298 stage",
"historical_trial_source_fields_before_r294": {
"unselected_trial_candidate_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/source",
"unselected_trial_candidate_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/input.json",
"unselected_trial_candidate_library": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-build-r275/libtree_numeric_core.macos.template_debug.dylib",
"next_implementation_parent_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/source",
"next_implementation_parent_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-pure-tag-projection-candidate-r274/input.json"
},
"historical_trial_source_fields_before_r301": {
"unselected_trial_candidate_source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-candidate-r290/source/tree_numeric_core.cpp",
"unselected_trial_candidate_input": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-candidate-r290/input.json",
"unselected_trial_candidate_library": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-native-integer-window-codec-build-r291/libtree_numeric_core.macos.template_debug.dylib",
"progress_evidence": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r294.json"
}
},
"current_P14_01_contract_audit": {
@@ -8915,6 +8924,70 @@
"candidate_adopted": false,
"formal_completed_added": 0,
"unit_accepted": false,
"whole_goal_accepted": false,
"superseded_by": "p23_02_guest_need_normalization_integration_r301"
},
"p23_02_guest_need_normalization_integration_r301": {
"previous_summary": "P23-02は着手中・次に閉じる1件。30パッケージ/88成果、正式9/着手19/予定60、部分点なし。制作r32と選定済み未採用作業r62を保持。原17条件C01-C09/X1-X8はすべて未受入、Windows実機を要するC08/X8だけブロック。Ctrl保持wheel/左保持dragは延期・未達・免除なし。最新の局所・原S6影響・whole647検証済み実験候補はr290/library291。r285-r02の整数Array符号化/追記・単一先頭削除候補は実校正を通らず、r287の4024/112失敗を拒否記録として保持。r290は型付きINT・空classのscript不在をNILまたはnull OBJECTだけ許す判定修復で、符号化・全4校正・元fallback・記録・閾値・通知・所有処理は親と同一。静的290とbridge compile1/link1・SDK再コンパイル0のhost291を独立有限受理。局所r292-r02は同一library291をactual loadし、原260-r02の同入力/設定/原1299stage/engine/fixture bodyを照合した有効な原結果を再利用、原Budget833行・6,589,288bytes全文一致と整数codec33ケース・4024/0を独立有限受理。整数28ケースは型付き/無型・read-only/可変・int32/int64境界・窓長0/1/2/9/511/512/513・返却bytesの変更隔離を実engine bytesと比較、非整数5ケースは拒否/無変更。説明3箇所の旧対象名による未実行r292拒否は履歴保持し、r02で説明だけ修復・試験基準不変・既存libraryコピー再利用。r293-r04は同一r290/library291で元S6/GameClock24/0、直前r274/library275と同cold646/paused/speed1/同Budget257一時patch/原Pathのwhole各15/0、全11,487,732bytes原oracle同値・3所有PID正常終了・strict/private/source/default/stage/SUPPORT保護復元を独立有限受理。同期時間1214852→1217932usは隣接単発観測のみで、50ms未達・安定利益/P95/D10未証明。料金/重み/閾値/論理時刻/行動/会計/乱数/保存は変更しない。r274/275の純タグ局所278-r04・whole281、同期builtin fallback静的280と他の旧実験詳細は版付き証拠・before/previous_summaryへ保持。全172・通常OS/Windows・性能・採用・単位完成は未受入、未選定・未採用。Gitの実験checkpoint配下に空.gdignoreを置き、Budget class_nameが本体のresource走査へ混ざることを防止。正式完了追加0。次はr290/library291は今回の単発比較で性能改善を示さず追加codecの維持負担があるため不採用とし、次の性能修正元はr274/library275を保持する。r290/library291の局所・原S6影響・全保存同値証拠を保持し、代表同期負荷の必須性能未達を解消する関連修正を1件に絞る。未変更版の性能反復や全回帰を重複せず、関連変更を固めた同一最終版で必須全172・P95/D10・50ms・通常OS/x3/終了/小画面・同一Windows配布版実機と原17条件を満たす。人のCtrl保持ホイールと左ボタン保持ドラッグは延期・未達・免除なし。",
"proofs": [
{
"review": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-static-independent-review-r298.json",
"bytes": 17223,
"sha256": "940dd5f51b55942f07ef7ad091ec557af4d0d7bb07d48c08b6a98bde570f32b2"
},
"root": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-static-root-verification-r298.json",
"bytes": 9067,
"sha256": "e6f83f624358270199fb6a0d3236db0e20da614443514cba04d66995a671de42"
}
},
{
"review": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-local-actual-independent-review-r299-r02.json",
"bytes": 23481,
"sha256": "892b47057267c6bd4b839985bcf490ea0bb36474e2cd4e5ad3a9644b6e4331d2"
},
"root": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-local-r299-r02/actual-root-verification.json",
"bytes": 12674,
"sha256": "05ac885cfcc93cf46a6dedadf3705ae119b43c6659c6d3d68a182dbdd4802eed"
}
},
{
"review": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-impact-whole-actual-independent-review-r300.json",
"bytes": 43229,
"sha256": "05594a0441ee2757b56168e44377251dfd63f5c08ddb031ae1c59f46509f10e7"
},
"root": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-guest-need-normalization-impact-whole-r300/actual-root-verification.json",
"bytes": 29640,
"sha256": "87e072357ed9592fab0e7eacfb4c1222c638560c9f9c1d6e831f7635d7c0e8bb"
}
}
],
"acceptance_matrix": {
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p23-02-current-progress-disposition-r301.json",
"bytes": 58071,
"sha256": "ac64c035130b63ae0a5d0dda247afc5ea07d2c77b57fede7b7558142e5279bfd"
},
"next_action": "r298 GuestServiceは代表whole単発比較で速度利益を示さず、任意補助共有処理を加えるため採用を見送る。r274/library275を保持し、既存の版付きattributionと現在の投影経路を照合して、同期時間を支配する経路投影処理に必要な修正を1件選ぶ。単体helper改善を全体性能へ広げず、小さな候補の追加や未変更版の全回帰を繰り返さない。採用候補を固めた同一最終版で必須全172・50ms/P95/D10・通常OS/x3/終了/小画面・同一Windows配布版実機と原17条件を満たす。手動Ctrl保持wheel/左保持dragは延期・未達・免除なし。",
"finite_local_accepted": true,
"finite_s6_impact_accepted": true,
"finite_whole647_equivalence_accepted": true,
"single_timing_pair": {
"baseline_us": 1153117,
"candidate_us": 1167153,
"ratio": 1.0121722253682843,
"reduction_percent": -1.2172225368284397,
"scope": "One adjacent cold paused speed1 headless observation only; no stable/P95/budget acceptance"
},
"stable_gain_supported": false,
"stall_budget_met": false,
"candidate_adopted": false,
"formal_completed_added": 0,
"unit_accepted": false,
"whole_goal_accepted": false
}
}