Skip to content

Commit 527b234

Browse files
committed
Update hardening reports for boundary checks
1 parent 7a815a5 commit 527b234

2 files changed

Lines changed: 11 additions & 5 deletions

File tree

reports/public-selfhost-hardening/final-report.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
Date: 2026-06-24
44

5-
Implementation commit hash: `ce39c4904b70beb2673c3297728b641bc021ecd5`
5+
Implementation commit hash: `7a815a57e559fdaf7221794a25c0c02f18553b47`
66

77
Branch: `next-phase`
88

@@ -45,6 +45,8 @@ Branch: `next-phase`
4545
- Hardened the direct Antigravity adapter so unsupported or out-of-workspace permission waits become manual-attention results instead of timing out, without exposing the requested local target path or command string.
4646
- Fixed connector shared-instance discovery so an allowlisted manifest identity is not overwritten by an unrelated daemon that happens to be listening on the manifest URL during tests.
4747
- Tightened the live Console verifier so the real executor result check targets the Summary heading deterministically.
48+
- Updated active self-host cloud deploy defaults from stale `v0.2.0-beta` to `v0.3.0-local-prod-rc.1`.
49+
- Extended the public boundary checker so active `deploy/` files are scanned for stale release labels and source/deploy/script/web paths with obvious private managed-service categories such as billing, metering, KMS/Vault, managed runners, support/admin consoles, marketplace submission material, or official connector credentials are rejected.
4850

4951
## Proofs
5052

@@ -252,6 +254,10 @@ Branch: `next-phase`
252254
- `make verify-gateway-console-live` after adding explicit human-interrupt follow-up resume - passed
253255
- `make verify-public-release` after adding explicit human-interrupt follow-up resume - passed
254256
- `make verify-public-selfhost-release TARGETS=host REQUIRE_TARGETS=host` after adding explicit human-interrupt follow-up resume - passed; visual evidence `reports/gateway-console-screenshots/2026-06-24-1912`
257+
- `python3 -m py_compile scripts/check_public_boundary.py` after adding active deploy release-label scans - passed
258+
- `python3 scripts/check_public_boundary.py` after adding active deploy release-label scans - passed
259+
- `rg -n "v0\\.2\\.0-beta|v0\\.2|verify-beta|verify_beta|beta-track" deploy scripts/check_public_boundary.py -S` after updating deploy defaults - passed with only the checker regex itself matching
260+
- `make verify-public-release` after adding active deploy release-label scans - passed
255261
- `git diff --check` - passed
256262

257263
## Remaining Blockers

reports/public-selfhost-hardening/implementation-audit.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ the exact package was not available in the current attachment cache.
4242
| Real executor proofs | Partially implemented | Codex has prior artifact-backed proof and latest rerun invoked the real Codex binary with simulation disabled but failed on an external Codex usage-limit error; earlier Claude Code proof exists; Antigravity remains unproven and now fails early when the provided LS workspace does not match the isolated verifier repo. |
4343
| Run history/audit/console | Partially implemented | Gateway-observed run history/audit now includes scope, limit/offset pagination, server-side filters, grouped lifecycle summaries, and explicit synced metadata audit events; broader synced/local ingest transport remains incomplete. |
4444
| Redaction | Partially implemented | Gateway/sync sanitization exists and artifact-backed release verification now covers default human CLI output for init, config show, config profile/set commands, project init/status/scan, executor list/scan/test/default, setup self-host/relay, activation self-host, sync preview, submit, run events, run report, and run resume blocker output. Source-tree and unpacked-artifact Gateway smoke now also sweeps public Gateway API outputs for relays, projects, machines, connectors, executors, runs, run detail/events, audit events, and activation commands. Broader explicit JSON/debug/path surface policy proof is still incomplete. |
45-
| Public/private boundary | Partially implemented | Docs/checks exist; public repo still contains cloud-control-plane packages that need boundary review against the new specs. |
45+
| Public/private boundary | Implemented for current public boundary | Public boundary docs classify self-host/community cloud-control-plane primitives separately from private managed-service candidates. `scripts/check_public_boundary.py` now scans active deploy files for stale release labels, rejects commercial endpoints as public defaults, rejects tracked runtime state/secrets/local paths, checks release artifacts, and rejects source/deploy/script/web paths that match obvious private managed-service categories such as billing, metering, KMS/Vault, managed runners, support/admin consoles, marketplace submission material, or official connector credentials. |
4646
| Public RC verifier | Partially implemented | `make verify-public-selfhost-rc` emits only `GO`/`NO-GO`, requires configured real-proof coverage, reports `NO-GO` when required proofs are missing, and public boundary checks reject stale active docs claiming `PARTIAL` verdicts; Antigravity remains unproven. |
4747

4848
## Requirement Audit
@@ -128,9 +128,9 @@ the exact package was not available in the current attachment cache.
128128

129129
| Requirement | Status | Evidence |
130130
| --- | --- | --- |
131-
| Public/self-host defaults | Partially implemented | Public release checks exist. Needs re-audit after spec addition. |
132-
| Private managed service code absent | Partially implemented | Public repo still has `internal/cloud` and `cmd/codencer-cloud*` packages; existing boundary docs classify them, but new spec may require stricter handling. |
133-
| Hosted proof not claimed unless run | Partially implemented | Docs were previously cleaned; must re-run stale/boundary checks after new specs. |
131+
| Public/self-host defaults | Implemented for current boundary | `make verify-public-release` passes, public default files are checked for commercial endpoints, and active self-host cloud deploy defaults now use `v0.3.0-local-prod-rc.1` instead of stale beta labels. |
132+
| Private managed service code absent | Implemented for current boundary | Self-host/community cloud-control-plane packages remain public and documented as non-managed-service primitives. The boundary checker rejects obvious private managed-service source/deploy path classes and production hosted endpoints/defaults. |
133+
| Hosted proof not claimed unless run | Implemented for current boundary | `scripts/check_public_boundary.py` rejects stale active release labels and mixed public self-host RC verdict language; current final report remains `NO-GO` where live proof is missing. |
134134

135135
## Immediate Blocking Items for GO
136136

0 commit comments

Comments
 (0)