Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions docs/explanation/architecture-resource-roadmap.md
Original file line number Diff line number Diff line change
Expand Up @@ -93,8 +93,9 @@ The first native scope uses exact versions and existing incarnation selectors;
it does not silently extend responsibility to a version family or every member
of a resource. Retained directory information and its history remain distinct
from authentication identities and external directory synchronization. Native
schema, backend admission and typed queries, CLI/MCP authoring and Studio review
preserve these exact selections. The acceptance reference links executable
schema, backend admission and typed queries, and CLI/MCP authoring and inspection
preserve these exact selections. Studio entity Details does not expose
responsibility query controls. The acceptance reference links executable
coverage and records its deployment and acceptance limits.

## Decision and Document contracts
Expand Down Expand Up @@ -128,7 +129,8 @@ identity and version mappings, provenance and guarded reconciliation. Its
same-store reapply from migration into a new store, where incarnation-bound
selectors require explicit rebinding. The
[source control API](../reference/source-control-api.md) describes the concrete
typed boundary and read-only review surface.
typed boundary and read-only CLI/MCP inspection queries. Studio entity Details
does not include a source control console.
Remote connectors and additional format compilers remain separate milestones.

## Native system relationship layer
Expand Down
5 changes: 3 additions & 2 deletions docs/how-to/verify-connected-architecture.md
Original file line number Diff line number Diff line change
Expand Up @@ -106,8 +106,9 @@ Use `?focus=data_product:<namespace>/receipts`,
`?focus=document:<namespace>/delivery-note` and
`?focus=channel:<namespace>/delivery` to inspect those resources. Confirm the
receipt title is `Source receipt` and its local documentation remains intact.
Inspect exact port responsibility, accepted rationale, document content and
anchor, repeated observation selections and source run records.
Inspect accepted rationale, document content and anchor, and repeated observation
selections in Studio. Use exact CLI/MCP queries for port responsibility and source
run records; these controls are not part of entity Details.

Capture screenshots, rendered text and API/console diagnostics with the exact
model identity and candidate build evidence. The fixture intentionally exposes
Expand Down
4 changes: 2 additions & 2 deletions docs/reference/responsibility-acceptance.md
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,7 @@ infer success from a diagnostic name.
| CLI native authoring | Create/update/read/export/reapply Team/Person with preserved presence and returned identities; reject stale/unknown IDs and unsupported selectors through the service. No handwritten client identity rematching. Use the commands in the contract's typed-query table. |
| MCP native authoring | Exercise equivalent native operations and typed queries over the MCP transport, preserving request guards, structured error classes and exact selectors. Use the tools in the contract's typed-query table. |
| Native copy/delete/branch commands | Prove preview/apply, safe/force deletion, clone mappings, merge/conflict identity and unchanged dangling landing through public surfaces. |
| Studio review | Render backend assignments by full subject and kind; separate Team contacts from direct Person assignments. Show stale/inaccessible/incomplete states, historical context and exact member/port/occurrence identity without client-inferred ownership or authorization. |
| Studio Details | Keep assignment filters, membership/contact query controls and responsibility backend lookups out of entity Details in current and historical views. Use CLI/MCP typed queries for responsibility inspection. |
| Connected browser | Execute review with authorized deployed service/browser context and retain exact result evidence. Component-only rendering checks do not establish deployed behavior. |

Implementation acceptance requires a case-to-evidence record identifying actual
Expand All @@ -148,7 +148,7 @@ readiness.
| [Complete store reference guards](../../rsworkspace/crates/trogon-atlas-store/tests/reference_guards.rs) | Uncapped final-overlay scan suppresses replaced/deleted owners, includes newly created owners, checks branch state and untyped slice precedence, and rejects duplicate/mismatched overlay keys. |
| [Manifest round trips](../../rsworkspace/crates/trogon-atlas-client/tests/responsibility_manifest.rs), [typed transport](../../rsworkspace/crates/trogon-atlas-client/tests/responsibility_transport.rs) and [CLI integration](../../rsworkspace/crates/trogon-atlas-cli/tests/responsibility_cli_integration.rs) | Typed profiles/selectors, native authoring/export/reapply, query metadata/status preservation, structured budget failures, malformed requests and identity-stripping/unknown-ID refusal. |
| [MCP integration](../../rsworkspace/crates/trogon-atlas-mcp/tests/mcp_integration.rs) | Native Team/Person authoring and typed queries preserve actual IDs, scope, exact reapply values and structured errors through the MCP transport. |
| [Studio inspector](../../tsworkspace/webapps/studio/src/components/ResponsibilityInspector.test.tsx), [subject selectors](../../tsworkspace/webapps/studio/src/lib/responsibility.test.ts), [gateway requests](../../tsworkspace/webapps/studio/server/index.test.mjs) and [production codec contract](../../tsworkspace/webapps/studio/server/responsibility-contract.test.mjs) | Read-only exact subject selection, assignee/membership/contact presentation, stale/inaccessible/incomplete states and historical context. Real serializer-boundary cases reject malformed enum, boolean, oneof and nested values before normalization can change query intent, while preserving valid typed requests. Component/transport coverage does not establish deployed-browser behavior. |
| [Studio Details](../../tsworkspace/webapps/studio/src/components/Inspector.render.test.tsx), [subject selectors](../../tsworkspace/webapps/studio/src/lib/responsibility.test.ts), [gateway requests](../../tsworkspace/webapps/studio/server/index.test.mjs) and [production codec contract](../../tsworkspace/webapps/studio/server/responsibility-contract.test.mjs) | Current and historical entity Details omit responsibility controls and backend lookups. Retained subject helpers and gateway contracts preserve exact selectors; real serializer-boundary cases reject malformed enum, boolean, oneof and nested values before normalization can change query intent, while preserving valid typed requests. Gateway coverage does not imply an exposed responsibility review UI or deployed-browser behavior. |

These focused tests establish the behavior they exercise, not exhaustive proof
of every requirement row. Exhaustive entity/connection inventory permutations,
Expand Down
9 changes: 5 additions & 4 deletions docs/reference/source-control-api.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,10 +37,11 @@ inventory pointers. `preview-source-run --native-owner
category=source-key=manifest-path` supplies a complete native owner from each
explicit manifest, using the connected tenant type context.

Studio is a read-only review surface. Its source queries inspect current
branch-scoped control state; a historical model view does not hydrate current
source records as historical evidence. Inspecting a run summary does not fetch
all operation or fidelity pages automatically.
Inspect source control state through CLI or MCP. Studio entity Details does not
include a source control console. Source queries inspect current branch-scoped
control state; a historical model view does not make current source records
historical evidence. Inspecting a run summary does not fetch all operation or
fidelity pages automatically.

## Registration and immutable snapshots

Expand Down
9 changes: 5 additions & 4 deletions rsworkspace/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions rsworkspace/crates/trogon-atlas-mcp/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ tokio = { workspace = true, features = ["net"] }
serde = { workspace = true }
serde_json = { workspace = true }
schemars = "1"
rmcp = { version = "3", features = ["server", "transport-streamable-http-server"] }
rmcp = { version = "3.9.0", features = ["server", "transport-streamable-http-server"] }
axum = { version = "0.8", default-features = false, features = ["http1", "tokio"] }
http = "1"
tracing = { workspace = true }
Expand All @@ -38,7 +38,7 @@ tonic = { workspace = true }
tower = "0.5"
toml = "1.1"
http = "1"
rmcp = { version = "3", features = ["server", "client", "transport-streamable-http-client-reqwest"] }
rmcp = { version = "3.9.0", features = ["server", "client", "transport-streamable-http-client-reqwest"] }

[lints]
workspace = true
2 changes: 1 addition & 1 deletion rsworkspace/crates/trogon-atlas-server/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -71,7 +71,7 @@ tokio = { workspace = true, features = ["test-util"] }
proptest = "1"
async-trait = { workspace = true }
tempfile = { workspace = true }
rmcp = { version = "3", features = ["client", "transport-streamable-http-client-reqwest"] }
rmcp = { version = "3.9.0", features = ["client", "transport-streamable-http-client-reqwest"] }
opentelemetry_sdk = { version = "0.33", features = ["testing"] }

[lints]
Expand Down
81 changes: 46 additions & 35 deletions rsworkspace/crates/trogon-atlas-server/fuzz/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading