Skip to content

[R11-BLOCKER R11-B05] Draft候補→native Windows CIの非空original E2E #483

Closed as not planned

Description

@ShutenOishi

2026-11-01 AUTO v2.5 解決: 自動更新の対象外として退役(CLOSED_NOT_PLANNED、機能受入PASSではない)。

実stable候補のDraft→native PG14〜18 CIは発生時の追加試験として#501へ。現在の正常NO_UPDATE自動更新はこれを必要としない。

自動更新の新正本は #311 AUTO v2.5 と #501留意点。歴史本文の未達チェックは未実証当時の記録として維持し、正式85/94は未変更。PUBLISH_DENY/runtimeEnabled=false・必須CI・旧schedule・保護設定の緩和なし。

2026-11-01 完成優先の実行順序:P1/先行実装→適格イベントで最終検証

今すぐ進める: Draft PR→native Windows originalの整合判定、重複dispatch拒否、source HEAD/Run actor/ZIP独立検査経路まで完成。

イベント成立時だけ行う: 同一真正eligible candidateの実Draft PRが存在したときだけ1回native workflow_dispatch・PG14〜18を実証。

運用: イベント不在のGET監査・成功Run再実行は繰り返さない。残余はEVENT_GATEDで保持し、発火時に本Issueの手順と受入条件を利用する。コード完成と正式受入は別。PUBLISH_DENY/runtimeEnabled=false・必須CI・旧schedule・元の受入条件を変更しない。

子タスクID: R11-B05
分類・対象枝番: VERIFY_LIVE / R11-01・W11-A

共通親: #311(正式94枝番台帳)、関連親: #75。
正本: #311 (comment) および metadata/issue311-remaining-work-v22.json(受入契約v2.1/実行契約v2.2)。
全件共通必須: 実装時は保護PR→最新HEADの必須App15368 CI→期待HEADマージ→original postmerge→実バイト/状態の独立読取→#311/#75監査。検証範囲を超えて正式受入を加算しない。既存成功Run再実行禁止、偽stable/intent/event禁止、PUBLISH_DENY・runtimeEnabled=false維持、未認可Release/Tag/Catalog/Website変更禁止、旧scheduleは代替受入まで維持。

現在の阻害条件

orafce PR#75でcandidate_native_ciを追加、PR#76(main dee8347b9e993e7b9b0be0204c42645690c29ae2)で重複HEAD再GET・foreign Run拒否・有限GET-only隔離を強化。保護PR CI、postmerge PG14〜18/Summary、5 ZIP SHAは成功。ただし本物のDraft候補へのnative dispatchは未実行。

再現可能な実施手順

  1. B04が作った真正Draft PRとwriter receipt、HEAD/ref/manifest、元operator Runを全て独立GET。
  2. そのHEADに既存dispatchがないことを再確認、windows.yml に許可された1回だけのnative workflow_dispatch(Releaseでない)。
  3. original Run/attempt1/event/workflow path/actor/candidate headとPG14〜18+required Summaryを読み取り、必要な成果物実ZIPのSHA/CRC/Package/SBOMを独立照合。ACK不明やCI失敗は隔離し再POSTしない。

受入条件(すべて満たした時のみ)

  • 新たな真正Draft PRと 非空 一回dispatchのoriginal Run/attempt1紐付け
  • native Windows PG14〜18/required Summaryと実成果物ZIPが証拠一致
  • 同一HEAD重複、foreign actor、rerun、応答喪失をfail closed
  • Release/Tag/自動マージなし、非公開のみ

停止・再開条件

依存: B04。PR#76のhostileテストのみは本項の受入原本に非該当。

更新ルール: 結果は原本URL/Run ID/HEAD/ZIP SHA256/State revision付きで本Issueへ追記。#311の元94チェックと本子タスクの「作業完了」を混同しない。

2026-10-31 単一ユーザー移行(今回の明示指示を適用)

本節は上記の任意の「別human intent」「第二人間」「追加Work操作」条件を置き換える。ShutenOishi本人の一回のChat要求を、認証済みGitHub操作で固定する。同じrequestIdの許可scope内のPREPARE・Issue調停・Draft候補・native CI・検証・記録は追加human要求なしで進める。実際のGitHub actor/author/merged_by/Runは独立GETし、Botを人間と呼ばない。

実行可能工程: immutable request(対象・scope・requestId・source SHA・expected HEAD・expiry・replay key)→hostile試験→保護PR→必須App15368 CI→期待HEAD保護マージ→original postmerge→必要な実ZIP/State独立GET。既存成功Runを再実行しない。
受入条件: 上記原本が同じ要求へ結合し、無権限・scope外・改ざん・期限切れ・replayをfail closed。追加の人間操作なしで許可範囲が完走した場合のみ本機能の完了。正式85/94は変更しない。
原本証跡: PR/HEAD、真正author/merged_by/actor、Run/attempt1、request blob、必要なZIP実SHA256/CRC/署名/Attestation、State revision、独立readback URLを記録。
外部条件: GitHub自身の実在する保護/承認規則、サービスquota、真正upstream、特定候補のPUBLISHのみ。有限timeout/retry・単発write/不明応答GET-only・最小権限は維持する。任意件数上限は理由と適用箇所を監査し、無条件に無制限化しない。
再開条件: 具体的な未成立の外部事実、または未実装adapter/検証工程を示す。不在監査だけを反復しない。

非公開統合試験は実在するupstream tag/full commitを使い、隔離資源・実GitHub API・実workflowで行う。新stableの偽造は不可。CONTROLLED_INTEGRATIONと将来真正stableのPUBLIC_E2Eを別判定し、正式契約の判定変更は保護PRのマージ・postmerge後に適用する。旧scheduleは代替受入まで維持。

R10は実policyと実承認状態を確認し、存在しないPREPARE承認不足を捏造しない。policyが承認を要求しない場合は「不足なし」を原本付きで記録し、任意の第二人間待ちを作らず、適用判定の契約改訂へ進む。実在する不足時のみBLOCKED_APPROVALを実証する。

本要求は非公開実装・契約変更の認可。PUBLISH_DENY/runtimeEnabled=falseを維持。正式公開は実在する特定候補への本人一回の明示PUBLISHと全既存公開ゲートが必要。

Activity

  1. ShutenOishi commented on Nov 1, 2026

    @ShutenOishi
    ContributorAuthor

    2026-11-01 JST — Controlled Draft proof-only PR is not native candidate admission

    Actual Draft PR#89 independently GET-verified as github-actions[bot]-authored, OPEN/draft true, head e686496fe580ab6250721fea17ed215bd1db96a5, base protected f0f06e3e957dbce2dee5df2dfbcbb5fea4054676, only one docs/r11-controlled-draft-proof/r11d-20261101-b7e8c4a2.md added. Original Writer Run41274526616 plus true receipt ZIP SHA256 9f555edb8c780d62dda53b63a58e0a72c9f62182f8d610cc9f1dae6fa84e6434 verify real provider Draft creation.

    This is explicitly CONTROLLED_INTEGRATION_DRAFT_ONLY; candidateManifestChanged=false, nativeCiDispatched=false, newStableDetected=false. Do NOT dispatch native candidate Windows CI for a proof-only branch or reclassify PR#89 as a genuine newstable candidate. R11-B05 requires a future source-bound true eligible candidate with actual manifest diff and unique native original Run/PG14–18 ZIP; existing Windows builds for protected PR#88 and postmerge are not candidate-native Runs. #483/R11 formal acceptance PENDING, PUBLISH_DENY/runtimeEnabled=false preserved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions