Compare commits

...

2 Commits

Author SHA1 Message Date
Quixos Subtree Publisher 4d52789807 Publish quixos-protocol from 4af89fa7c703d9fecf36b4e97b76658a503dd5aa 2026-09-05 01:29:10 +00:00
timothy 60550bb760 Host workspace repositories on Central Gitea 2026-09-04 18:29:10 -07:00
6 changed files with 22 additions and 8 deletions
+1 -1
View File
@@ -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"
+1 -1
View File
@@ -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
+4
View File
@@ -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
+4 -4
View File
@@ -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
+2 -1
View File
@@ -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",
]), ]),
); );