Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 4d52789807 | |||
| 60550bb760 |
@@ -1,7 +1,7 @@
|
|||||||
{
|
{
|
||||||
"version": 1,
|
"version": 1,
|
||||||
"sourceRepo": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos.git",
|
"sourceRepo": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos.git",
|
||||||
"sourceCommit": "ce0dd80f56df35bf3db1be01236a949a704cb4c2",
|
"sourceCommit": "4af89fa7c703d9fecf36b4e97b76658a503dd5aa",
|
||||||
"sourcePath": "quixos-protocol",
|
"sourcePath": "quixos-protocol",
|
||||||
"exportName": "quixos-protocol",
|
"exportName": "quixos-protocol",
|
||||||
"mirrorRemote": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
|
"mirrorRemote": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
|
||||||
|
|||||||
@@ -56,7 +56,7 @@ their exact dependency ports.
|
|||||||
## Tests
|
## Tests
|
||||||
|
|
||||||
```sh
|
```sh
|
||||||
nix shell nixpkgs#protobuf -c npm test
|
nix develop -c yarn test
|
||||||
```
|
```
|
||||||
|
|
||||||
The suite covers parsing/diagnostics, source-order independence, ordinary call
|
The suite covers parsing/diagnostics, source-order independence, ordinary call
|
||||||
|
|||||||
@@ -35,6 +35,10 @@ message StateValueSource {
|
|||||||
string value_type_json = 3;
|
string value_type_json = 3;
|
||||||
string storage_policy_json = 4;
|
string storage_policy_json = 4;
|
||||||
uint64 revision = 5;
|
uint64 revision = 5;
|
||||||
|
// CRDT-backed state is still read as its materialized Value. The snapshot
|
||||||
|
// travels with the writable source identity so a client can retain and
|
||||||
|
// advance a local replica without exposing the document to package code.
|
||||||
|
CrdtValue crdt_snapshot = 6;
|
||||||
}
|
}
|
||||||
|
|
||||||
message ValueSource { StateValueSource state = 1; }
|
message ValueSource { StateValueSource state = 1; }
|
||||||
|
|||||||
File diff suppressed because one or more lines are too long
Vendored
+4
-4
@@ -3,7 +3,7 @@ workspace Todo id "workspace:todo" revision "workspace:todo@1" commit "111111111
|
|||||||
atom Person id "atom:person";
|
atom Person id "atom:person";
|
||||||
|
|
||||||
interface Named id "interface:named" revision "interface:named@1" source {
|
interface Named id "interface:named" revision "interface:named@1" source {
|
||||||
repository "https://repos.quixos.org/interfaces/named.git";
|
repository "https://repos.quixos.org/quixos-todo/interface-named.git";
|
||||||
commit "2222222222222222222222222222222222222222";
|
commit "2222222222222222222222222222222222222222";
|
||||||
} {
|
} {
|
||||||
value name id "member:named:name" : string {
|
value name id "member:named:name" : string {
|
||||||
@@ -14,7 +14,7 @@ workspace Todo id "workspace:todo" revision "workspace:todo@1" commit "111111111
|
|||||||
}
|
}
|
||||||
|
|
||||||
interface Owned id "interface:owned" revision "interface:owned@1" source {
|
interface Owned id "interface:owned" revision "interface:owned@1" source {
|
||||||
repository "https://repos.quixos.org/interfaces/owned.git";
|
repository "https://repos.quixos.org/quixos-todo/interface-owned.git";
|
||||||
commit "3333333333333333333333333333333333333333";
|
commit "3333333333333333333333333333333333333333";
|
||||||
} {
|
} {
|
||||||
relation owner id "member:owned:owner" : exactly-one interface Named {
|
relation owner id "member:owned:owner" : exactly-one interface Named {
|
||||||
@@ -26,7 +26,7 @@ workspace Todo id "workspace:todo" revision "workspace:todo@1" commit "111111111
|
|||||||
}
|
}
|
||||||
|
|
||||||
interface Summary id "interface:summary" revision "interface:summary@1" source {
|
interface Summary id "interface:summary" revision "interface:summary@1" source {
|
||||||
repository "https://repos.quixos.org/interfaces/summary.git";
|
repository "https://repos.quixos.org/quixos-todo/interface-summary.git";
|
||||||
commit "4444444444444444444444444444444444444444";
|
commit "4444444444444444444444444444444444444444";
|
||||||
} {
|
} {
|
||||||
value summary id "member:summary:summary" : string {
|
value summary id "member:summary:summary" : string {
|
||||||
@@ -35,7 +35,7 @@ workspace Todo id "workspace:todo" revision "workspace:todo@1" commit "111111111
|
|||||||
}
|
}
|
||||||
|
|
||||||
package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" source {
|
package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" source {
|
||||||
repository "https://repos.quixos.org/packages/todo-runtime.git";
|
repository "https://repos.quixos.org/quixos-todo/package-todo-runtime.git";
|
||||||
commit "5555555555555555555555555555555555555555";
|
commit "5555555555555555555555555555555555555555";
|
||||||
} {
|
} {
|
||||||
operation summaryGet id "export:todo-runtime:summary-get" : unit -> string
|
operation summaryGet id "export:todo-runtime:summary-get" : unit -> string
|
||||||
|
|||||||
@@ -75,7 +75,7 @@ test("rejects mutable revisions, embedded credentials, and duplicate bindings",
|
|||||||
commit "${namedCommit}";
|
commit "${namedCommit}";
|
||||||
}
|
}
|
||||||
interface Named source {
|
interface Named source {
|
||||||
repository "https://repos.example/named.git";
|
repository "https://repos.example/named.git?ref=main";
|
||||||
commit "${namedCommit}";
|
commit "${namedCommit}";
|
||||||
}
|
}
|
||||||
}`);
|
}`);
|
||||||
@@ -87,6 +87,7 @@ test("rejects mutable revisions, embedded credentials, and duplicate bindings",
|
|||||||
"invalid-git-commit",
|
"invalid-git-commit",
|
||||||
"embedded-git-credential",
|
"embedded-git-credential",
|
||||||
"unsupported-git-transport",
|
"unsupported-git-transport",
|
||||||
|
"decorated-git-repository",
|
||||||
"duplicate-resource-binding",
|
"duplicate-resource-binding",
|
||||||
]),
|
]),
|
||||||
);
|
);
|
||||||
|
|||||||
Reference in New Issue
Block a user