Skip to content

docs(vrs): add source-linked language index - #68

Merged
myobie merged 3 commits into
mainfrom
agent/thin-source-linked-ontology
Jul 31, 2026
Merged

docs(vrs): add source-linked language index#68
myobie merged 3 commits into
mainfrom
agent/thin-source-linked-ontology

Conversation

@myobie

@myobie myobie commented Jul 29, 2026

Copy link
Copy Markdown
Contributor

What changed

  • Add only docs/vrs/ontology.md as a 158-line, 498-word disambiguation index.
  • Link each canonical term to its owning Agent Spec, VRS, or implementation source.
  • Separate root/catalog root, control plane/declared supervisor, presence/session state, identity/bus ID, and message/DING.
  • Reject seat as canonical st2 language while keeping the cited leakage evidence.

Correction from e690cb1

No definition or behavioral text changed. The correction changes only proof-link targets:

  • Agent Spec authority now uses the canonical main document and stable section anchors.
  • st2 proof links now use the exact symbols and line ranges on current main.
  • The branch includes a normal merge from current main; no history rewrite occurred.

Line and word counts are unchanged: 158 lines and 498 words before and after.

Boundaries

This is a source-linked index, not a second specification. It adds no lifecycle, ordering, format, runtime, catalog, or deployment behavior.

Verification at d6b457145f058c64ecd5f6fea6ee753c0cb47766

  • Local Markdown targets and line ranges: PASS
  • Canonical Agent Spec section anchors: PASS
  • Obsolete 78210568 links absent: PASS
  • cargo test --test invariants -- --test-threads=1: PASS (1/1)
  • cargo test --doc --workspace: PASS
  • cargo doc --workspace --no-deps: PASS with five existing main warnings
  • git diff --check: PASS
  • Hosted Nix: PASS — run 30636215298 / job 91174363298

Nathan approved the meaning-preserving proof-link correction for merge after exact-head gates pass. No deploy or reconcile is authorized.

@myobie
myobie force-pushed the agent/thin-source-linked-ontology branch from 55f18ff to 2e0898f Compare July 29, 2026 21:13
@myobie
myobie force-pushed the agent/thin-source-linked-ontology branch from 2e0898f to e690cb1 Compare July 29, 2026 21:47
@myobie
myobie marked this pull request as ready for review July 29, 2026 21:53
@myobie

myobie commented Jul 29, 2026

Copy link
Copy Markdown
Contributor Author

@schickling-assistant can we start thin with this and work up?

myobie commented Jul 31, 2026

Copy link
Copy Markdown
Contributor Author

Merging exact head d6b457145f058c64ecd5f6fea6ee753c0cb47766 under the explicit Nathan/CoS authority. The correction changes proof links only; local documentation/link gates and hosted Nix run 30636215298 are green. This merge does not deploy or reconcile runtime state.

@myobie
myobie merged commit ea58cda into main Jul 31, 2026
1 check passed
@schickling schickling added area:vrs VRS documentation system (vision/requirements/spec) · Set: manual origin:agent Filed or primarily produced by an AI agent · Set: manual type:docs Documentation-only change or documentation task · Set: manual labels Aug 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:vrs VRS documentation system (vision/requirements/spec) · Set: manual origin:agent Filed or primarily produced by an AI agent · Set: manual type:docs Documentation-only change or documentation task · Set: manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants