Skip to content

docs(vrs): restore the strict validation gate - #488

Merged
schickling-assistant merged 1 commit into
mainfrom
schickling-assistant/2026-09-06-fix-vrs-strict-gate
Sep 6, 2026
Merged

docs(vrs): restore the strict validation gate#488
schickling-assistant merged 1 commit into
mainfrom
schickling-assistant/2026-09-06-fix-vrs-strict-gate

Conversation

@schickling-assistant

Copy link
Copy Markdown
Contributor

Problem

axe vrs check --profile strict docs/vrs failed on main: stale local line anchors, obsolete decision links, HTML-only field anchors, and historical ledger records that predated the enforced decision/delta/experiment shapes.

Goal

Restore the strict VRS gate on main before the dependent ledger-ID hygiene change is validated.

Decisions

  • Replaced unstable local #L… links with file-level links; source line numbers are not stable Markdown anchors.
  • Converted Agent Spec field rules from explicit HTML headings to ordinary Markdown headings and updated every field lookup to the generated slug.
  • Preserved historical record content while mapping it into the checker’s required decision, delta, and experiment sections.
  • Pointed the obsolete DING decision link at the accepted 0001-ding-harness-dispatch-is-positional-and-harness-owned record.

Verification

  • axe vrs check --profile strict docs/vrsaxe vrs check: ok
  • CARGO_BUILD_JOBS=8 nix build .#st2 --no-link -L — exit 0; Nix checkPhase passed, including 741 library tests (1 ignored) and integration tests.

Complexity

No new code or runtime complexity; documentation and ledger-shape repair only.

Concerns

File-level source links are less precise than stale line fragments, but remain valid across source movement. Stable symbol anchors would require a different documentation surface.

Friction & bottlenecks

The repair build fetched a cold Rust dependency closure before running the gate. No persistent tooling defect encountered.

Follow-ups

None.

References

Prerequisite for the VRS ledger-ID hygiene PR.

Posted on behalf of @schickling
field value
agent_identity dev3.direct.omp.43sz6ujq
session dev3.43sz6ujq
agent_persona generalist
agent_supervisor unavailable
agent_tool OMP
agent_tool_version 18.1.7
agent_runtime OMP 18.1.7
tooling_profile dotfiles@39a19af

agent-identity: dev3.direct.omp.43sz6ujq
agent-persona: generalist
agent-supervisor: unavailable
agent-tool: OMP
agent-tool-version: 18.1.7
agent-runtime: OMP 18.1.7
tooling-profile: dotfiles@39a19af
@schickling-assistant
schickling-assistant marked this pull request as ready for review September 6, 2026 16:29
@schickling-assistant
schickling-assistant merged commit 7f3d582 into main Sep 6, 2026
5 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