Skip to content

contracts: harden artifact and extension boundaries#131

Merged
RyshMan merged 4 commits intomainfrom
codex/adhoc-contract-hardening
Mar 31, 2026
Merged

contracts: harden artifact and extension boundaries#131
RyshMan merged 4 commits intomainfrom
codex/adhoc-contract-hardening

Conversation

@RyshMan
Copy link
Copy Markdown
Contributor

@RyshMan RyshMan commented Mar 31, 2026

Problem

  • scan-owned and evidence-managed paths still relied on static marker bodies, which made forged markers a weak authorization signal for destructive reuse
  • wrkr scan could fail late after mutating managed artifacts, leaving mixed generations of state, proof, manifest, and sidecar outputs on disk
  • wrkr campaign aggregate accepted generic status=ok JSON instead of only complete wrkr scan --json artifacts
  • repo-local extension findings were still being promoted into authoritative inventory and regress surfaces by default

Changes

  • introduce state-bound managed marker payloads and apply them to materialized scan roots, evidence output dirs, and org checkpoint roots
  • make scan-managed artifact publication transactional with rollback on late failures
  • tighten campaign artifact validation to require the expected scan contract objects and arrays
  • keep extension detector output on additive finding/risk surfaces by default, with regression, scenario, and boundary coverage updates
  • refresh command/trust docs, changelog notes, and product/PLAN_NEXT.md to match the hardened behavior

Validation

  • make prepush-full

@RyshMan RyshMan requested a review from davidahmann as a code owner March 31, 2026 17:31
@RyshMan RyshMan merged commit 8fd2069 into main Mar 31, 2026
9 checks passed
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