fix(skills): load the binding ADR decision contract #114
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/load-adr-decision-contract"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Delivers and loads
project-docswhen the user changes an ADR decision, as the existing doc-drift contract already requires. Keeps accepted and status-less ADR authority and the user's decision gate.Addresses the dependency-loading finding in #113. This targets main independently because its ADR contract is already present there. Whitespace checks pass; the historical 137/138 local workflow failure remains separate from the 35 passing selected tests.
Review
01M42K5F9RH3FBNF9PQDXA0NT3— head24f33de8f42786b0ac63a4a210629389deac3925Review — j4k-oss/agent-skills @
566f80735bScope: diff against base tree
2034125557e6Status: dispatched — coverage complete (4/4 slots terminal)
Facts: current review-wide projection
Computed under:
Findings (2)
high — The
descriptionfrontmatter copies the four finding-category names that the body's "Finding categories" section defines01M42K899AV6GN66ZAEXRFRHD9skills/verify-doc-drift/SKILL.md(snippet)low — The intro restates the fix-direction rule that "Fix direction and missing features" owns
01M42K8ZHPCJKQ460VGVKZBK58skills/verify-doc-drift/SKILL.md(snippet)Other claims
01M42K8PAR15TF25RV47ZKZ7QYmedium — verify-doc-drift'sdescriptionsummarizes the skill's method instead of starting with aUse when …routing ruleCoverage
Coverage pass: 01M42K5FB0GF96BGWYY8JJJP4Q
Accounting: complete
Slot health: healthy
@ -35,3 +37,3 @@## Fix direction and missing featuresFix docs to match code by default. Change code only for a confirmed **code-drift** where the doc is the intended source of truth. A third case hides inside "incorrect": the doc describes a capability that _should_ exist but doesn't (an endpoint, a flag). Removing the claim and _implementing_ the feature are both valid — surface the fork to the user, and if the claim is removed, flag the missing feature as separate work rather than silently dropping it. ADRs are decision records, not behaviour docs. A `proposed` ADR is an open question: correct its statement of current behaviour if the code contradicts it, never delete it as stale. An `accepted` or status-less ADR is the source of truth for the decision it records: code contradicting it is `code-drift`. Changing the decision is the user's call, after which the ADR is edited, replaced, or deleted per `project-docs`; never edit an ADR just to match the code.Fix docs to match code by default. Change code only for a confirmed **code-drift** where the doc is the intended source of truth. A third case hides inside "incorrect": the doc describes a capability that _should_ exist but doesn't (an endpoint, a flag). Removing the claim and _implementing_ the feature are both valid — surface the fork to the user, and if the claim is removed, flag the missing feature as separate work rather than silently dropping it. ADRs are decision records, not behaviour docs. A `proposed` ADR is an open question: correct its statement of current behaviour if the code contradicts it, never delete it as stale. An `accepted` or status-less ADR is the source of truth for the decision it records: code contradicting it is `code-drift`. Changing the decision is the user's call; never edit an ADR just to match the code. After the user decides, edit, replace, or delete the ADR by `project-docs` rules. Call the Skill tool with `project-docs`.high — verify-doc-drift lists project-docs' ADR maintenance actions (edit, replace, delete) instead of pointing to its rules
lens
restated-sets· armdefault· tally 1 valid / 0 invalid / 0 uncertainclaim
01M42JYWA2AM607HKDGNQSX1TQof review01M42JVKKXF4MZ4M6R7PDATFHDlow — verify-doc-drift tells the agent to apply
project-docsADR rules before the sentence that loadsproject-docs, breaking the repo's invocation contractlens
general-bug· armdefault· tally 1 valid / 0 invalid / 0 uncertainclaim
01M42JYNR7E30S5N630GX5P284of review01M42JVKKXF4MZ4M6R7PDATFHDFixed in
24f33de8f4: ADR maintenance is a pointer to the loaded canonical skill, without copying its action list.Fixed in
24f33de8f4: after the user decides, standalone Call loads project-docs before its rules are applied. ADR authority and code-matching prohibition remain.@ -2,2 +2,4 @@name: verify-doc-driftmetadata:axskills.requires: "project-docs"description: Audit a repository's documentation against its actual source code and fix the factual drift — wrong ports/flags/scope names/env vars, stale or non-compiling examples, phantom routes, superseded claims, plus duplicate and obsolete docs. Each finding is categorized (incorrect / code-drift / obvious / duplicate) and adversarially verified against the code before it is reported, then docs are fixed to match the code (the reverse only when the doc is the intended source of truth). Use when the user wants to verify documentation matches the code, audit docs for accuracy, hunt doc-vs-code drift, or check that READMEs / CONTEXT.md / ADRs / standards are still true. Triggers on "verify docs", "audit documentation", "doc drift", "do the docs match the code", "check the docs against the code", "are the docs still accurate".high — The
descriptionfrontmatter copies the four finding-category names that the body's "Finding categories" section defineslens
writing-quality· armdefault· tally 1 valid / 0 invalid / 0 uncertainclaim
01M42K899AV6GN66ZAEXRFRHD9of review01M42K5F9RH3FBNF9PQDXA0NT3Claim
01M42K899AV6GN66ZAEXRFRHD9: the pre-existing frontmatter category copy is verified and remains scope-deferred, as on #110 and #113. This bounded PR delivers and loads the existing ADR contract; it does not redesign the skill's routing description. No fix or empirical disproof is claimed.Current review
01M42K5F9RH3FBNF9PQDXA0NT3, head24f33de8f42786b0ac63a4a210629389deac3925: report-only low01M42K8ZHPCJKQ460VGVKZBK58repeats the pre-existing default-direction wording cleanup recorded on #113. It remains scope-deferred; binding ADR authority, code-drift requirements, and the user-decision boundary are preserved.Report-only unadjudicated medium
01M42K8PAR15TF25RV47ZKZ7QYasks to replace the pre-existing method-summary description with a routing description. Source inspection confirms that existing packaging cleanup; it remains outside this bounded ADR-loading correction and explicitly scope-deferred. There is no matching inline anchor for either report-only claim, so no per-claim native transition is asserted.The service's medium claim remains unadjudicated. Source evidence and scope dispositions do not clear that native review gate. No vote, rerun, dispatch, summary acknowledgment, or READY claim is made. The previous scoped findings #112294 and #112295 are fixed in this published head with their outcomes posted; current metadata/source coverage is not delivered-agent efficacy.
Closing as superseded. Main now carries the same change through #108:
verify-doc-driftdeclaresaxskills.requires: "project-docs"and loads it before applying the ADR rules, using the canonical binding-ADR wording. The branch conflicts with main and adds nothing beyond that. The scope-deferred report-only findings above (frontmatter category copy, default-direction wording) were pre-existing and are not addressed here.Pull request closed