Skip to content

feat: require externally trusted startup#167

Merged
omkhar merged 1 commit into
mainfrom
agent/tranche-1-e1-startup
Jul 12, 2026
Merged

feat: require externally trusted startup#167
omkhar merged 1 commit into
mainfrom
agent/tranche-1-e1-startup

Conversation

@omkhar

@omkhar omkhar commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Summary

  • require an externally authenticated, selected skill package before any target read
  • require complete project/local instruction neutralization, passive intake, and operator-originated target/scope authorization
  • cap Codex, Claude Code, Gemini CLI, GitHub Copilot, and Google Antigravity at documentation/package compatibility with no target read
  • freeze an exact Git-object baseline for v0.29.0 and add closed-schema startup-contract regressions
  • publish the five-agent official-source refresh and cross-agent consensus record

Why

The loaded package cannot prove its own pre-load authenticity or neutralization. v0.30.0 makes that boundary explicit and fails closed until an external operator-controlled verifier supplies the required startup evidence.

Impact

This is a compatibility and workflow-contract release. Current supported surfaces may inspect the package as documentation, but they must not read a target repository. Later Tranche 1 work will implement and empirically prove the runtime prerequisites needed to raise that tier.

Validation

  • make verify: 853 unit tests passed (2 expected skips); 9 integration tests passed (3 expected skips)
  • make ci: green, including optimization, privacy, and review-invariant gates
  • focused startup/baseline/governance suite: 200 tests passed
  • v0.29.0 Git-object baseline replay and signed-tag verification: passed
  • three independent simulated local adversarial review lenses: accepted with no blocking findings

Review record

  • Consensus: reviews/tranche-1-foundations-consensus.md
  • Official-source ledger: docs/authoritative-sources.md
  • Feature decisions: skill-core/references/agent-feature-matrix.md

Simplification gate

  • Alternatives considered: trusting documented install locations, promoting exploratory loader observations, or building a universal launcher in E1
  • Removed or narrowed: self-attestation claims, unsupported target-audit instructions, and premature runtime tier claims
  • Remaining complexity justification: the dev-only exact baseline and closed startup lattice are required to prevent silent contract drift

Public scrub gate

  • Reviewed artifacts: commit, PR body, tests, consensus record, source ledger, and generated surfaces
  • Redactions or generalizations: local paths, raw exploratory logs, host-specific credentials, and target-specific details are absent
  • Remaining sensitive details and why required: none

@omkhar

omkhar commented Jul 12, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 9f934ff6c7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread scripts/package_contract_baseline.py
@omkhar
omkhar marked this pull request as ready for review July 12, 2026 01:47
@omkhar
omkhar merged commit 4d4d671 into main Jul 12, 2026
10 checks passed
@omkhar
omkhar deleted the agent/tranche-1-e1-startup branch July 12, 2026 01:52

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 9f934ff6c7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread README.md
Comment on lines +8 to +11
> **Current v0.30.0 support is documentation/package compatibility with no target read.** None of
> the five agent surfaces has yet proved both pre-start package authenticity and project-instruction
> neutralization. Do not point an agent or packaged engine at a target repository. The workflow
> below is the contract a later reviewed startup path must satisfy, not a current execution claim.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Disable implicit activation under the no-target-read cap

With this release capped to documentation/package compatibility and “no target read,” the generated Codex envelope still allows implicit invocation (.agents/skills/vulnerability-validation/agents/openai.yaml has allow_implicit_invocation: true and a target-repository default prompt). Codex docs state skills can be chosen implicitly from the description and that this flag disables that behavior (https://developers.openai.com/codex/skills), so a normal “audit this repo” prompt can auto-load the package before the operator-originated startup proof this paragraph now requires. Please regenerate the Codex metadata to disable implicit invocation or make the trigger metadata no-target-read-only until a trusted startup path is promoted.

Useful? React with 👍 / 👎.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant