Skip to content

docs(vrs): define typed Resource reference edges - #126

Closed
myobie wants to merge 2 commits into
mainfrom
agent/resource-ref-edge-contract
Closed

docs(vrs): define typed Resource reference edges#126
myobie wants to merge 2 commits into
mainfrom
agent/resource-ref-edge-contract

Conversation

@myobie

@myobie myobie commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Define one portable ResourceRef { _tag, uri } value for Agent Spec bindings and link records.
  • Keep edge identity, authority, storage, mutation, projection, and lifetime separate.
  • Keep relations open and group only byte-equal URI values without data loss.
  • Write canonical _tag and uri link records. Read legacy url records without a rewrite or expiry.
  • Keep plain-folder operation complete and Resource-only changes nondisruptive.

Scope

This docs-only VRS/API draft addresses #122 and keeps the st2 resource boundary from #62. It changes only docs/vrs/04-resource-reference/requirements.md and docs/vrs/04-resource-reference/spec.md. It adds no runtime, registry, resolver, content store, combined mutable view, lifecycle change, or deployment.

Rewrite from f907013

The rewrite uses short active sentences and keeps all RESOURCE-R01 through RESOURCE-R08 and RESOURCE-T01 through RESOURCE-T02 semantics. It keeps the data model, flat Agent Spec wire, edge ownership, read projections, relation rules, exact-URI grouping, canonical writer, indefinite dual reader, visible decode errors, plain-folder boundary, task liveness rule, implementation owners, and eight proof cases.

  • requirements: 73 to 64 lines
  • specification: 218 to 208 lines
  • total: 291 to 272 lines
  • rewrite delta: 143 additions and 162 deletions

Verification at 8ad6ddbdad3d706f2e5f80407d7ad49602500a43

  • Ten named requirement and tradeoff IDs are unique: PASS
  • Local relative links resolve: PASS
  • No line in the two files is longer than 100 characters: PASS
  • Eight implementation proof cases remain: PASS
  • cargo test --test invariants -- --test-threads=1: PASS (1/1)
  • cargo test --test native_only -- --test-threads=1: PASS (3/3)
  • cargo test --doc --workspace: PASS
  • cargo doc --workspace --no-deps: PASS with five existing base warnings
  • git diff --check: PASS
  • Hosted Nix: PASS — run 30635015352 / job 91170279547

Nathan reviewed exact head 8ad6ddbdad3d706f2e5f80407d7ad49602500a43 and accepted it for external review. The PR is ready, open, and unmerged. schickling-assistant owns the next review.

@myobie
myobie force-pushed the agent/resource-ref-edge-contract branch from 71c397e to f907013 Compare July 31, 2026 10:02
@myobie
myobie marked this pull request as ready for review July 31, 2026 20:10
@schickling schickling added area:resource Typed Resource bindings and linked records · Set: manual 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
@schickling-assistant

Copy link
Copy Markdown
Contributor

Superseded by the current Resource binding model and merged #361, which retired the linked-record plane.

Posted on behalf of @schickling
field value
agent_identity dev3.direct.omp.jmg9x29x
session dev3.jmg9x29x
agent_persona generalist
agent_supervisor unavailable
agent_tool OMP
agent_tool_version 18.0.11
agent_runtime OMP 18.0.11
tooling_profile dotfiles@2161b9c

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:resource Typed Resource bindings and linked records · Set: manual 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.

3 participants