Skip to content

feat(issue-authoring): ✨ connect the canonical title contract - #99

Merged
szmyty merged 1 commit into
mainfrom
codex/issue-title-authoring-98
Oct 3, 2026
Merged

szmyty merged 1 commit into
mainfrom
codex/issue-title-authoring-98

Conversation

@szmyty

@szmyty szmyty commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

Fresh issue-authoring sessions need an explicit path from local instructions to the same title rules and validator. This connects the existing Aether skill and read-only issue creator to one pinned contract selection, so the user does not have to restate the convention.

Closes #98. Bounded checkpoint under #67 and egohygiene/.github#24.

  • Extended the existing skill, checklist, template, evaluations, and agent; preserved its read/search/web permissions.
  • Added explicit local AGENTS.md discovery and a managed instruction block for repository fixtures and issue-creator projections. Local prose survives repeat application and removal.
  • Bundled the five unchanged upstream contract payloads with one immutable selection and SHA-256 digests. The offline verifier checks source integrity and Egolint report provenance; Egolint remains the sole formatter/validator.
  • Regenerated the portable skill, catalog, and affected provider projections.
  • Added synthetic consumer checks, a pilot guide, and root CONTINUITY.md for the next session.
  • Fixed generated Python bytecode entering skill packages, discovered while running the new verifier, and added a regression test. Updated continuity checks to allow artifact version advances while preserving metadata consistency.

The contract selection is egohygiene/.github@19d2be9bf0191710508cefbb9f0b1abb3a40d9be; the compatible Egolint source is egohygiene/egolint@3a6785cd408e218bc7e3691e01dc659e4cf79de8. Both remain explicitly candidate. Contract PR egohygiene/.github#45 and Egolint PR egohygiene/egolint#79 were observed open/unmerged. Recheck acceptance and deliberately update pins before promoting authority; a merge does not change embedded status automatically.

Validation at a728c3cc73bf70de2c0a82ca4fb2da5b8113fab4:

  • 11 issue-title tests passed with the real candidate Egolint executable, including all 18 upstream cases, two reviewed migrations, unavailable/changed labels, source integrity, stale report pins, subject preservation, and managed-block idempotence.
  • A fresh-context read-only agent discovered the local skill and produced the expected title and intended label while explicitly reporting absent executor and provider evidence. This is synthetic evidence, not proof of live host adoption.
  • python3 aether validate --format text, catalog generation/checks, catalog schema validation, generated-distribution checks, continuity metadata/headings/bounds, and git diff --check passed. The existing staging-hash provenance warning remains.
  • python3 aether test: 188 tests; 187 passed, one environment error. The existing consumer-installation readiness test cannot invoke gh, which is absent. Full-suite success is not claimed; rerun that test where the required GitHub CLI tooling is installed.
  • Five critical published files were read back at the candidate commit and matched the local content.

For reproduction, set AETHER_EGOLINT_BINARY to a build of the declared consumer and follow docs/issue-title-authoring-pilot.md. Python jsonschema 4.25.1 was supplied through a temporary PYTHONPATH in this environment.

Next handoff: review these candidates, select accepted pins explicitly, then scope the Relay preview/apply pilot with current-state checks, receipts, rollback, and no-op repeat. Live provider label availability, label provisioning, provider writes, hooks, fleet installation, historical title migration, and completion of the broader #67 bundle remain outside this PR. No release or merge was performed.

Extend existing skill and managed discovery with pinned source verification,
Egolint consumer evidence, and a bounded continuity handoff.

Refs #98
@szmyty
szmyty marked this pull request as ready for review October 3, 2026 03:01
@szmyty
szmyty merged commit 087bcec into main Oct 3, 2026
1 check passed
@devactivity-app

Copy link
Copy Markdown

Pull Request Summary by devActivity

Metrics

Cycle Time: 9m

Achievements

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.

✨ [feature] Connect issue authoring and AGENTS guidance to the canonical title contract

1 participant