Publish reviewed bounded JWT ready handoff and retained owner history
All checks were successful
CI Smoke / host-smoke (push) Successful in 0s
CI Smoke / container-smoke (push) Successful in 1s

Assistant: codex
Assistant-Model: gpt-6.1-sol
Assistant-Session: 01a126e1-76f8-7643-8cf3-e93336539ade
This commit is contained in:
codex 2026-10-11 18:31:04 +02:00
parent 431df1de24
commit 6bb406eb15
3 changed files with 221 additions and 0 deletions

View file

@ -0,0 +1,90 @@
{
"completed_same_owner_refinement_precedes_formal_review": true,
"decision": "changes_requested",
"findings": [
{
"counterexample": "handoff.deliver returns private_input_delivery_unknown=true, private_input_delivery_confirmed=false after writing begins. launch_and_deliver copies delivery then returns early, leaving consumer_outcome_unknown=false; finally terminates local SSH. Mocked exactcounterexample reproduces. Complete remote payload can have arrived before adapter timer interrupted confirmation/EOF, and local teardown provides no authenticated remote noeffects proof.",
"id": "RPF-KEY39-PAIR-V2-F01",
"location": "key-cape/scripts/openbao_negative_private_launcher.py:127",
"required_change": "Before any early return propagate private_input_delivery_unknown=true into sticky consumer_outcome_unknown=true and consumer_process_completed=false. Failed/partial delivery, transport teardown or unconfirmed remote child must retain unknown. Add exact regression; no retry/native success or remote recovery claim from local terminate.",
"severity": "blocking_before_launcher_admission"
}
],
"input_unchanged": true,
"intent_basis": "Platform INTENT stable shared interfaces, secure custody and observable recovery: exact provider route prerequisites and fail-closed guarded native preparation without publichealth becoming authority.",
"mandatory_native_prerequisites": [
"Publichealth clusterhash is unauthenticated: independently verify founder/node/Service/cluster/provider route identity, current admitted route/estate and exact source/runtime pins; no arbitrary workstation diagnostic proves node placement.",
"Actual installed OpenBao JWT plugin/version, role/config/effective-policy source equality and raw/effective expiration_leeway, clock_skew_leeway and not_before_leeway interaction. Helm2.5.4/tag and raw0=>150 model are not native facts; semantic expiry proof remains mandatory.",
"Establish issuer actual readiness_state and Argo ownership through authoritative source/owner receipt. No keycape declaration/current deployment adoption established in inspected sources; absence is not nonproduction. Unmapped production-tier rules apply. If adopted/production-approved, transient directCAS needs explicit reviewed one-use maintenanceexception, close-down entry and reconciliation before nativego.",
"Fresh authenticated scoped founder decision covers exact route, source, issuer mutation/window and finite abort/revoke/restoration/recovery obligations. Helper labels/sourceacknowledgments cannot authenticate approval or waive gates.",
"Admitted private founder human/coding-agent token producer/client/callback/custody handoff remains unimplemented. No credential request/read/reuse authorized.",
"Native correct role/claim permutation/expiry/refusal/revoke, baseline restoration/client removal/temporaryobject absence and all unknown outcome resolution. MASON and Secrets native/full-adoption obligations stay separate.",
"Child-ready schema now implemented as source synchronization only. Before use require independently admitted founder SSH host/session/channel, exact source/runtime/envelope/target/window/file custody and source-compatible launcher; marker/owner labels cannot authenticate authority. Warden quiet-output lane is incompatible and must not be used. No current transport/privatecoding-agent custody grant established."
],
"not_approved": [
"route setup, native preflight/login/Secret access or production mutation",
"privileged authority/helperapproval authentication or default flip",
"current provider identity/plugin/leeway/readiness/Argo facts",
"private producer or whole KEY39/RPF35T02/SecretsT06 native acceptance",
"Parent-ready handshake, eager producer piping, launcher/session/window custody admission or protected token production.",
"V2 launcher truthful consumer-outcome acceptance; source correction and fresh review required.",
"Founderdirect SSH use/host approval, tmpfscredential file allowance, coding-agent custody or native session admission."
],
"platform_source_pins": {
"helm/openbao-ui-overlay-k8s.yaml": "7b345359906bf1ecc4cb8e61de7a9f1a121068a66bd919e606190a9217a82daf",
"helm/openbao-ui-overlay/nginx.conf": "464f7f5cecc69ea343c1e2acc5932e832b2a9c0e6a5099113634a12abc80ccb3",
"helm/openbao-values.yaml": "a10239851277889dd69dacb8636109dddd095551d85b46ca4ed2c141944e8d1e"
},
"previous_review_retained_sha256": "7eb0f26cbbcb7723412a417a96311b36efb472860b7a4bdfa5d91c85cc38ad69",
"review_scope": "paired ready-child/control wrapper and founder-held directSSH launcher source only; no transport/custody admission",
"reviewed_inputs": [
{
"entries": {
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-node-route.md": "cad3e3dc481d45295cc014e48285e81614911dfb4a10523883f3044f6085f363",
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-node-wrapper.py": "76ac013d1a676a0dfa58aea1ce87b0c3e72483ccd21f586a22c5475e9132f6c1",
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-session.py": "24b7b803e4eb7e6e7c0700a069dad0ec315ee7eb5538a88b9e56147f8fab5cdd",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_negative_session.py": "01e23f2b4fc77824a161a57acb3a52d19aad846b3b6c0fd3abd81afa1dc2985c",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_node_route.py": "1c57053be6e8472174e4034fdfbf34b3e1729f5e239b3a9af89d9e59a08d6cb6",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_private_input.py": "84277edb5bd7858885173dea802b6bdc4f0f0c7785d6e200ee9a98d8553891a1",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_private_ready.py": "8a7a033b1c509ba21397d1d74580c44f24592045b2b9de50fe87638607224277"
},
"manifest": "/tmp/keycape-jwt-ready-v9-stage/manifest.json",
"manifest_sha256": "84542ddcff00932fc7ce22dcb2626be8942a3c006c5098a62fdd6b2478d0cd14"
},
{
"entries": {
"key-cape/docs/openbao-negative-token-producer-decision.json": "33a00b32efc10e4751025baff1fd9b0c3f7daf34b8b1ef5d78dabf0817cb449f",
"key-cape/docs/openbao-negative-token-producer-decision.md": "0f33f026a380bf771e6cb2af3dd6ab9e3bb066c268982b36206006a65a95b783",
"key-cape/scripts/openbao_negative_private_handoff.py": "faf63a3e9504dcbb46847a114275f83d508521e095410a47f92f02b86ba82b1b",
"key-cape/scripts/openbao_negative_private_launcher.py": "7e396c80386ced69facdb019cf215b74a5735140e3584b08e13ab29c770e73d8",
"key-cape/scripts/test_openbao_negative_private_handoff.py": "e4eb600718e7d93b0e801ac3ab1427af9895a6e5d877c1134369e049e0849797",
"key-cape/scripts/test_openbao_negative_private_launcher.py": "90094c89cac8bbc0bf694aaf91f369e0891779921940bab90f8dfd3a7f2212be",
"key-cape/workplans/KEY-WP-0039-openbao-negative-probe-tokens.md": "6d279cfc3fd1d9edf888bb9bedeaf3ecbd3ad53a4000f6793bd96dc8bbe893a3"
},
"manifest": "/tmp/keycape-jwt-producer-handoff-v2-stage/manifest.json",
"manifest_sha256": "55a8e794af983ca2202e7a0054d0415a120d2c95018fb03fdb5f28313a109d58"
}
],
"reviewer": "railiance-platform-owner (agent railiance-platform, codex)",
"same_trial": true,
"schema": "owner-source-review/v1",
"validation": {
"commands": [
"PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s /tmp/keycape-jwt-ready-v9-stage/net-kingdom/sso-mfa/k8s/keycape -p test_openbao*.py -q",
"PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s /tmp/keycape-jwt-producer-handoff-v2-stage/key-cape/scripts -p test_openbao*.py -q",
"PYTHONDONTWRITEBYTECODE=1 /home/worsch/secrets-engine/.venv/bin/python -m pytest -q -p no:cacheprovider /tmp/platform-key39-ready-pair-review-stage/tests/test_platform_ready_pair.py"
],
"independent_checks": 10,
"result": "passed synthetic/offline checks including expected V2 truthfulunknown counterexample",
"supplied_key_checks": 31,
"supplied_net_checks": 74,
"total": 115
},
"verified": [
"Child verifies source/window/publichealth before boundedready marker and private input. Nonce/executor/envelope/health/window bindings and dedicated nonstdio control FIFO refuse mismatches; no marker authority.",
"Launcher exactsource/envelope/window checks precede SSH spawn, private file load occurs only after matched captured childcontrol marker; wrong/missing marker preserves files and delivers zero bytes.",
"Fixed railiance01 SSHtarget, strict hostkey/batch/noagentforwarding/noportforwarding options, shellquoted constrained paths and envallowlist; malformed injection fields refuse before spawn/private reads. This does not admit transport or override SSH config/runtimecustody gates.",
"Bounded source/private input/marker parsing and timers; stdio/data/control aliases refused; wrapper captures and never forwards childstdout/stderr. Unexpected output refuses with uncertain actual native outcomes remaining owner obligations."
],
"work_item": "RPF-WP-0035-T13"
}

View file

@ -0,0 +1,88 @@
{
"completed_same_owner_refinement_precedes_formal_review": true,
"corrections": [
"RPF-KEY39-PAIR-V2-F01: uncertain private delivery sets sticky consumer_outcome_unknown=true and consumer_process_completed=false before earlyreturn. Localteardown does not establish remote no-effects.",
"Retained NetV3 FIFO/unguarded contract acquisition and preparation-reset finding corrected: actual main starts original5s deadline before regular/nofollow/bytecapped stable contract read, launch/delivery clips remaining original budget. Source import/bootstrap runtime isolation remains external admission prerequisite."
],
"decision": "approved",
"input_unchanged": true,
"intent_basis": "Platform INTENT stable shared interfaces, secure custody and observable recovery: exact provider route prerequisites and fail-closed guarded native preparation without publichealth becoming authority.",
"mandatory_native_prerequisites": [
"Publichealth clusterhash is unauthenticated: independently verify founder/node/Service/cluster/provider route identity, current admitted route/estate and exact source/runtime pins; no arbitrary workstation diagnostic proves node placement.",
"Actual installed OpenBao JWT plugin/version, role/config/effective-policy source equality and raw/effective expiration_leeway, clock_skew_leeway and not_before_leeway interaction. Helm2.5.4/tag and raw0=>150 model are not native facts; semantic expiry proof remains mandatory.",
"Establish issuer actual readiness_state and Argo ownership through authoritative source/owner receipt. No keycape declaration/current deployment adoption established in inspected sources; absence is not nonproduction. Unmapped production-tier rules apply. If adopted/production-approved, transient directCAS needs explicit reviewed one-use maintenanceexception, close-down entry and reconciliation before nativego.",
"Fresh authenticated scoped founder decision covers exact route, source, issuer mutation/window and finite abort/revoke/restoration/recovery obligations. Helper labels/sourceacknowledgments cannot authenticate approval or waive gates.",
"Admitted private founder human/coding-agent token producer/client/callback/custody handoff remains unimplemented. No credential request/read/reuse authorized.",
"Native correct role/claim permutation/expiry/refusal/revoke, baseline restoration/client removal/temporaryobject absence and all unknown outcome resolution. MASON and Secrets native/full-adoption obligations stay separate.",
"Child-ready schema now implemented as source synchronization only. Before use require independently admitted founder SSH host/session/channel, exact source/runtime/envelope/target/window/file custody and source-compatible launcher; marker/owner labels cannot authenticate authority. Warden quiet-output lane is incompatible and must not be used. No current transport/privatecoding-agent custody grant established."
],
"not_approved": [
"liveSSH transport/profile/host grant or quietwarden reuse",
"credential/coding-agent custody/client/producer admission, tmpfs privatefile allowance or cleanup proof",
"authenticated founder authority or helpermarker/ownerlabel approvalauthentication",
"actual native route/OpenBao plugin/leeway/issuer readiness/Argo identity",
"native login/claims/refusal/revoke/restoration/readback/unknown resolution or full adoption/default migration"
],
"platform_source_pins": {
"helm/openbao-ui-overlay-k8s.yaml": "7b345359906bf1ecc4cb8e61de7a9f1a121068a66bd919e606190a9217a82daf",
"helm/openbao-ui-overlay/nginx.conf": "464f7f5cecc69ea343c1e2acc5932e832b2a9c0e6a5099113634a12abc80ccb3",
"helm/openbao-values.yaml": "a10239851277889dd69dacb8636109dddd095551d85b46ca4ed2c141944e8d1e"
},
"previous_review_retained_sha256": "8353eb8aae11be8ce874887d6a5ca10bf37c6fba73c3f85f0644a7546dd7d33f",
"review_scope": "paired child-ready/control wrapper and bounded founder-held launcher source behavior only; no transport/coding-agent custody/native admission",
"reviewed_inputs": [
{
"entries": {
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-node-route.md": "cad3e3dc481d45295cc014e48285e81614911dfb4a10523883f3044f6085f363",
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-node-wrapper.py": "76ac013d1a676a0dfa58aea1ce87b0c3e72483ccd21f586a22c5475e9132f6c1",
"net-kingdom/sso-mfa/k8s/keycape/openbao-negative-session.py": "24b7b803e4eb7e6e7c0700a069dad0ec315ee7eb5538a88b9e56147f8fab5cdd",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_negative_session.py": "01e23f2b4fc77824a161a57acb3a52d19aad846b3b6c0fd3abd81afa1dc2985c",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_node_route.py": "1c57053be6e8472174e4034fdfbf34b3e1729f5e239b3a9af89d9e59a08d6cb6",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_private_input.py": "84277edb5bd7858885173dea802b6bdc4f0f0c7785d6e200ee9a98d8553891a1",
"net-kingdom/sso-mfa/k8s/keycape/test_openbao_private_ready.py": "8a7a033b1c509ba21397d1d74580c44f24592045b2b9de50fe87638607224277"
},
"manifest": "/tmp/keycape-jwt-ready-v9-stage/manifest.json",
"manifest_sha256": "84542ddcff00932fc7ce22dcb2626be8942a3c006c5098a62fdd6b2478d0cd14"
},
{
"entries": {
"key-cape/docs/openbao-negative-token-producer-decision.json": "7b3e4a53ac4af33c780f16c3f1aa9cde0154040ad2747a8d361dd79bbb7f435c",
"key-cape/docs/openbao-negative-token-producer-decision.md": "38e4c9660ca57a1fb6e5ff04f214af61dd1a58abf564a5ed22216d909e27fc73",
"key-cape/scripts/openbao_negative_private_handoff.py": "faf63a3e9504dcbb46847a114275f83d508521e095410a47f92f02b86ba82b1b",
"key-cape/scripts/openbao_negative_private_launcher.py": "46e57504b3185cc13f1656901a0ca02cc3887527cb09566e270f57b76099ab9c",
"key-cape/scripts/test_openbao_negative_private_handoff.py": "e4eb600718e7d93b0e801ac3ab1427af9895a6e5d877c1134369e049e0849797",
"key-cape/scripts/test_openbao_negative_private_launcher.py": "243426a85075b3447adeb2ca320a13711409744f71837a06699de6ad5b04ee9d",
"key-cape/scripts/test_openbao_negative_private_preparation.py": "8e4dd327c4a339a0151ecba57db5987965b5d536ca18123fb7c74a047a241548",
"key-cape/workplans/KEY-WP-0039-openbao-negative-probe-tokens.md": "f6113d269f127976518acb48eca818fd5d6f12421f4e4c742e8a84f49a14360b"
},
"manifest": "/tmp/keycape-jwt-producer-handoff-v4-stage/manifest.json",
"manifest_sha256": "d6f641dc1e4aae7d36658d4199d89af14d2fd7a4bd4e526856eb340234f2d33e"
}
],
"reviewer": "railiance-platform-owner (agent railiance-platform, codex)",
"same_trial": true,
"schema": "owner-source-review/v1",
"validation": {
"commands": [
"PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s /tmp/keycape-jwt-ready-v9-stage/net-kingdom/sso-mfa/k8s/keycape -p test_openbao*.py -q",
"PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s /tmp/keycape-jwt-producer-handoff-v4-stage/key-cape/scripts -p test_openbao*.py -q",
"PYTHONDONTWRITEBYTECODE=1 python3 /tmp/keycape-jwt-producer-handoff-v4-stage/evidence/paired_counterexamples.py -q",
"PYTHONDONTWRITEBYTECODE=1 /home/worsch/secrets-engine/.venv/bin/python -m pytest -q -p no:cacheprovider /tmp/platform-key39-ready-pair-review-stage/revision-v4/tests/test_platform_ready_pair_v4.py"
],
"independent_platform_checks": 12,
"real_local_fakeSSH_wrapper_child_regressions": 9,
"result": "passed synthetic/offline tests; no actualSSH/network/Kubernetes/credentials/native action",
"supplied_key_checks": 40,
"supplied_net_checks": 74,
"total": 135
},
"verified": [
"Child verifies source/window/publichealth before boundedready marker and private input. Nonce/executor/envelope/health/window bindings and dedicated nonstdio control FIFO refuse mismatches; no marker authority.",
"Launcher exactsource/envelope/window checks precede SSH spawn, private file load occurs only after matched captured childcontrol marker; wrong/missing marker preserves files and delivers zero bytes.",
"Fixed railiance01 SSHtarget, strict hostkey/batch/noagentforwarding/noportforwarding options, shellquoted constrained paths and envallowlist; malformed injection fields refuse before spawn/private reads. This does not admit transport or override SSH config/runtimecustody gates.",
"Bounded source/private input/marker parsing and timers; stdio/data/control aliases refused; wrapper captures and never forwards childstdout/stderr. Unexpected output refuses with uncertain actual native outcomes remaining owner obligations.",
"Actual local synthetic fakeSSH invokes real wrapper/child main source/window/health/ready/privateJSON code with health/nativeexecute substituted; wrongnonce/extra-marker/healthfailure/stalls preserve files before load, childoutput suppressed and uncertainpartial4096byte delivery remains stickyunknown. This is a source test, no transport authority.",
"Launcher main FIFO/symlink/device/oversize/stable-source metadata restrictions and shared preparation timer correction tested; expired original deadline refuses before validation/spawn/private reads."
],
"work_item": "RPF-WP-0035-T13"
}

View file

@ -1129,3 +1129,46 @@ Acceptance is unintegrated primitive source only; no data migration/native use
of v3 journal has occurred. RPF35-T12 caller/PDP/consume validation, independent
owner plan compiler/restricted adapter, private runtime custody, bounded execution
and owner-private unknown cleanup recovery remain open. No checkout/native writes.
2026-10-11 T13 paired ready-child/launcher preparation refinement (same trial):
exact NetV9 manifest `84542ddcff00932fc7ce22dcb2626be8942a3c006c5098a62fdd6b2478d0cd14`
and KeyproducerV2 `55a8e794af983ca2202e7a0054d0415a120d2c95018fb03fdb5f28313a109d58`
verified against all entries.74 Net checks plus31 Key checks and10 independent
checks pass offline including a truthful-unknown counterexample: adapter uncertain
private delivery with confirmed=false is copied into launcher receipt, but
consumer_outcome_unknown incorrectly remains false after local SSH teardown.
Complete bytes may have reached remote child before adapter timeout/EOF; local
terminate does not establish remote no-effects. Require sticky propagation of
uncertain delivery into consumer outcome before early return, retain unknown
unless independently established native outcome/recovery. Bad markers/source
pins/injection reject before private reads; extra marker authority/lines reject;
prohibited child output never forwards. Child-ready synchronization is not
authentication/approval. Proposed founder directSSH profile is incompatible with
warden quiet-output lane and not admitted here. Completed ownT13 preparation
precedes formal paired source review; preserve v7 refusal/v8 acknowledgment and
journal histories. No transport grant, coding-agent/private custody admission,
live SSH, credential/native action or owner checkout write. All native role/plugin/
leeway/route/issuer readiness/Argo/maintenanceexception gates remain prerequisites.
2026-10-11 T13 paired producerV4 correction preparation (same trial): exact
producer manifest `d6f641dc1e4aae7d36658d4199d89af14d2fd7a4bd4e526856eb340234f2d33e`
and unchanged NetV9 `84542ddcff00932fc7ce22dcb2626be8942a3c006c5098a62fdd6b2478d0cd14`
entry hashes verified.74 Net tests,40 producer checks,9 actual local fakeSSH/
realwrapper/child synthetic roundtrip regressions and12 fresh Platform checks
pass (135 total). V2 deliveryunknown now remains sticky consumerunknown with
completion=false after earlyreturn/localteardown. V3 Net FIFO acquisition finding
and originalbudgetreset are corrected: actualCLI starts original5s timer before
regular/nofollow/bytebounded contract acquisition, each later preparation phase
clips remaining time. ActualCLI FIFO refuses promptly; expired original budget
never validates/spawns/reads private files. Completed ownT13 preparation precedes
formal corrected pair source agreement. Preserve V2 Platform refusal, Key old
exactV2 acknowledgment and NetV3 refusal; no old acknowledgment repinned.
Agreement is only reviewed source synchronization/launcher behavior, not admission.
Founder authenticated SSH host/profile/channel/runtime pins, exclusive sameUID
file custody and explicit tmpfs file allowance/cleanup, verified human and
coding-agent producer/client/source, native role/plugin/leeway/route/issuer
readiness/Argo/maintenanceexception, refusal/revoke/restoration/readback and
unknown owner recovery remain prerequisites. Warden quietlane cannot carry ready
controlstdout; no transport/custody/native grant. No owner checkout/liveSSH/native.