Skip to content

Honesty patch-bumps for Spec 102 v1.1.0 surface coverage (#1043) - #1044

Merged
enricopiovesan merged 4 commits into
codex/issue-1040-usecase-surface-coveragefrom
codex/issue-1043-honesty-patch-bumps
Aug 10, 2026
Merged

Honesty patch-bumps for Spec 102 v1.1.0 surface coverage (#1043)#1044
enricopiovesan merged 4 commits into
codex/issue-1040-usecase-surface-coveragefrom
codex/issue-1043-honesty-patch-bumps

Conversation

@enricopiovesan

@enricopiovesan enricopiovesan commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Honesty patch-bump all examples/core-* packages so declared schema ⊆ use_cases ⊆ ucNN smokes (Spec 102 v1.1.0 / Decision 58).
  • Narrow overclaimed enums; require enum reason_code; restore covering use_cases after the publish strip bug.
  • Stacked on Fail-closed use_case surface coverage gate (#1040) #1042 (gate).

Governing Spec

  • 102-contract-surface-coverage
  • 056-capability-publish
  • 100-capability-package-authoring
  • 516-agent-artifact-execution
  • 004-spec-alignment-gate

Project Item

Validation

  • bash scripts/ci/use_case_smoke_coverage_check.sh
  • Per-package smokes + publish dry-run surface coverage for all 16 core examples

enricopiovesan and others added 4 commits August 9, 2026 22:36
Decision 58 / Spec 102 v1.1.0 draft: preserve use_cases on publish, require non-empty covering use cases for the declared schema surface, and enforce ucNN smoke fixtures per use case (#1040).

Co-authored-by: Cursor <cursoragent@cursor.com>
Records Decision 58 owner approval, bumps approved-specs, and updates the authoring guide to the schema ⊆ use_cases ⊆ smoke rule.

Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Narrow overclaimed enums, enum reason_code, restore covering use_cases with ucNN smokes, and bump patch versions so publish can restore honest registry records (#1043).

Co-authored-by: Cursor <cursoragent@cursor.com>
@enricopiovesan
enricopiovesan force-pushed the codex/issue-1040-usecase-surface-coverage branch from 8cb33c9 to 8c20214 Compare August 10, 2026 05:03
@enricopiovesan
enricopiovesan merged commit a25b36b into codex/issue-1040-usecase-surface-coverage Aug 10, 2026
27 checks passed
@enricopiovesan
enricopiovesan deleted the codex/issue-1043-honesty-patch-bumps branch August 10, 2026 05:07
enricopiovesan added a commit that referenced this pull request Aug 10, 2026
* Fail closed on incomplete use_case surface coverage.

Decision 58 / Spec 102 v1.1.0 draft: preserve use_cases on publish, require non-empty covering use cases for the declared schema surface, and enforce ucNN smoke fixtures per use case (#1040).

Co-authored-by: Cursor <cursoragent@cursor.com>

* Approve Spec 102 v1.1.0 full use_case surface coverage gate.

Records Decision 58 owner approval, bumps approved-specs, and updates the authoring guide to the schema ⊆ use_cases ⊆ smoke rule.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Format traverse-cli after surface-coverage gate landing.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Honesty patch-bumps for Spec 102 v1.1.0 surface coverage (#1043) (#1044)

* Fail closed on incomplete use_case surface coverage.

Decision 58 / Spec 102 v1.1.0 draft: preserve use_cases on publish, require non-empty covering use cases for the declared schema surface, and enforce ucNN smoke fixtures per use case (#1040).

Co-authored-by: Cursor <cursoragent@cursor.com>

* Approve Spec 102 v1.1.0 full use_case surface coverage gate.

Records Decision 58 owner approval, bumps approved-specs, and updates the authoring guide to the schema ⊆ use_cases ⊆ smoke rule.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Format traverse-cli after surface-coverage gate landing.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Honesty patch-bump core examples for Spec 102 v1.1.0 coverage.

Narrow overclaimed enums, enum reason_code, restore covering use_cases with ucNN smokes, and bump patch versions so publish can restore honest registry records (#1043).

Co-authored-by: Cursor <cursoragent@cursor.com>

---------

Co-authored-by: Cursor <cursoragent@cursor.com>

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
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