pgc-workloads 2.0.0__tar.gz → 4.0.0__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {pgc_workloads-2.0.0/pgc_workloads.egg-info → pgc_workloads-4.0.0}/PKG-INFO +17 -7
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/README.md +16 -6
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0/pgc_workloads.egg-info}/PKG-INFO +17 -7
- pgc_workloads-4.0.0/pgc_workloads.egg-info/SOURCES.txt +16 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/pyproject.toml +5 -4
- pgc_workloads-2.0.0/pgc_workloads.egg-info/SOURCES.txt +0 -49
- pgc_workloads-2.0.0/workloads/collatz/client/bindings/http.json +0 -6
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/behavior_logic/WF_COLLATZ_CONJECTURE_V0/WF_COLLATZ_CONJECTURE_V0.graph.json +0 -209
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/actors/workload__AC_REFERENCE_ACTOR_V0.json +0 -33
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_COMPUTE_SEQUENCES_V0.json +0 -84
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_STORE_RESULTS_V0.json +0 -102
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_VERIFY_TERMINATION_V0.json +0 -96
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_side_effects/capability_side_effects__CS_MUTABLE_JSON_V0.json +0 -439
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_transforms/workload__CT_PURE_COLLATZ_STEP_V0.json +0 -79
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/capability_transforms/workload__CT_PURE_TERMINATION_CHECK_V0.json +0 -87
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/events/workload__EV_CONJECTURE_EVALUATED_V0.json +0 -33
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/ingress_intents/workload__TI_COLLATZ_COMPUTE_V0.json +0 -40
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/intents/workload__IN_COLLATZ_INPUT_VALIDATED_V0.json +0 -47
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/metadata.json +0 -10
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/runtime_bindings/workload__RB_COLLATZ_V0.json +0 -35
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/structures/workload__STRUCTURE_BUILD_WORKLOAD_CONFIG_V0.json +0 -140
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/structures/workload__STRUCTURE_COLLATZ_STORAGE_V0.json +0 -40
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/transport/egress/workload__TE_COLLATZ_COMPUTE_V0.json +0 -50
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/canonical/workflows/workload__WF_COLLATZ_CONJECTURE_V0.json +0 -99
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/evidence/workload/evidence.json +0 -291
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/evidence/workload/evidence_graph.json +0 -1112
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/evidence/workload/metadata.json +0 -16
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/tokenized/workload/dispatch.json +0 -167
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/tokenized/workload/handlers.json +0 -300
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/tokenized/workload/metadata.json +0 -15
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/tokenized/workload/topology.json +0 -158
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/trust/workload/structure_attestation.json +0 -15
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/vocabulary/workload/forward.json +0 -53
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/vocabulary/workload/metadata.json +0 -13
- pgc_workloads-2.0.0/workloads/collatz/snapshot/compiled/vocabulary/workload/reverse.json +0 -53
- pgc_workloads-2.0.0/workloads/collatz/snapshot/determinations/STRUCTURE_BUILD_WORKLOAD_CONFIG_V0.admitted.json +0 -642
- pgc_workloads-2.0.0/workloads/collatz/test_payloads/01_happy_path.json +0 -3
- pgc_workloads-2.0.0/workloads/collatz/test_payloads/02_single_number.json +0 -3
- pgc_workloads-2.0.0/workloads/collatz/test_payloads/03_invalid_nack.json +0 -3
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/LICENSE +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/NOTICE +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/pgc_workloads.egg-info/dependency_links.txt +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/pgc_workloads.egg-info/requires.txt +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/pgc_workloads.egg-info/top_level.txt +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/setup.cfg +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/__init__.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/__init__.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/implementation/__init__.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/implementation/capability_transforms/__init__.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/implementation/capability_transforms/atoms/__init__.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/implementation/capability_transforms/atoms/ct_pure_collatz_step_v0.py +0 -0
- {pgc_workloads-2.0.0 → pgc_workloads-4.0.0}/workloads/collatz/implementation/capability_transforms/atoms/ct_pure_termination_check_v0.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: pgc-workloads
|
|
3
|
-
Version:
|
|
3
|
+
Version: 4.0.0
|
|
4
4
|
Summary: PGC conformance workloads — the capability implementations a sealed snapshot binds to make conformance observable
|
|
5
5
|
Author-email: Bhash Ganti <bachipeachy@gmail.com>
|
|
6
6
|
License-Expression: Apache-2.0
|
|
@@ -70,7 +70,7 @@ resolved under this repo, not under the governance repo.
|
|
|
70
70
|
cd ../protocol_compiler
|
|
71
71
|
./compile.sh STRUCTURE_BUILD_PLATFORM_CONFIG_V1 # governance surface first
|
|
72
72
|
./compile_domain.sh ../conformance_workloads/workloads/collatz
|
|
73
|
-
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=
|
|
73
|
+
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=GOVERNANCE_SURFACE_PROFILE_V0 ./assemble.sh # compose the PNP
|
|
74
74
|
cd ../protocol_runtime && ./run.sh
|
|
75
75
|
```
|
|
76
76
|
|
|
@@ -101,7 +101,7 @@ so CT handler refs resolve as `workloads.collatz.implementation.…`. Override w
|
|
|
101
101
|
| `pgc-workloads` | `conformance_workloads` | the workloads that make conformance observable |
|
|
102
102
|
| `pgc-domains` | `business_domains` | the business domain implementations the composed snapshot binds |
|
|
103
103
|
|
|
104
|
-
`pip install
|
|
104
|
+
`pip install protocol-governed-computing` brings in the whole family.
|
|
105
105
|
|
|
106
106
|
**Installing the toolchain is one of two steps.** The compiler resolves the governance surface from
|
|
107
107
|
`PGC_PLATFORM_ROOT` — fail-hard, cwd-independent, zero inference — so the *declarations* come from a
|
|
@@ -114,8 +114,18 @@ export PGC_PLATFORM_ROOT=$PWD/software_governance
|
|
|
114
114
|
pgc # reports what is installed and whether the anchor resolves
|
|
115
115
|
```
|
|
116
116
|
|
|
117
|
-
`
|
|
118
|
-
|
|
117
|
+
`PGC_DOMAIN_ROOTS` names an additional domain contributing its own `registry/structures` — the
|
|
118
|
+
directory that *directly contains* it, not the repository above it; pointing one level too high is a
|
|
119
|
+
silent no-op. `PGC_SNAPSHOT_ROOT` is where compiled output is written, and each domain build needs
|
|
120
|
+
its own: every layer's output consolidates into one root, and verification rejects any file in that
|
|
121
|
+
root the current build did not declare. `PGC_SNAPSHOT_PROFILES` is the directory holding snapshot
|
|
122
|
+
profiles, required by the assembler and the runtime alike.
|
|
123
|
+
|
|
124
|
+
`PGC_BUILD_ROOT` is accepted and reported and **nothing reads it** — `PGC_SNAPSHOT_ROOT` is the
|
|
125
|
+
anchor that controls output.
|
|
126
|
+
|
|
127
|
+
The full sequence, with the repositories it needs, is in
|
|
128
|
+
[`pgc_install`](https://github.com/protocol-governed-computing/pgc_install).
|
|
119
129
|
|
|
120
130
|
**Versioning.** Two schemes, and the published version follows the second.
|
|
121
131
|
|
|
@@ -123,9 +133,9 @@ pgc # reports what is installed and whether the anchor resolves
|
|
|
123
133
|
composition rather than each repo: they release together and the governance closure forces lockstep,
|
|
124
134
|
so the ordinal names which composition a repo belongs to. Development happens on `dev/<N>` and each
|
|
125
135
|
cycle is tagged `release-<N>`. This is not published.
|
|
126
|
-
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`
|
|
136
|
+
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`v3`**.
|
|
127
137
|
|
|
128
|
-
**The published version is the public one: `
|
|
138
|
+
**The published version is the public one: `v4` is `4.0.0`.** The standard the packages implement is a
|
|
129
139
|
separate artifact on its own track and is not this number.
|
|
130
140
|
|
|
131
141
|
The standard these packages implement is published separately: https://doi.org/10.5281/zenodo.22150616
|
|
@@ -48,7 +48,7 @@ resolved under this repo, not under the governance repo.
|
|
|
48
48
|
cd ../protocol_compiler
|
|
49
49
|
./compile.sh STRUCTURE_BUILD_PLATFORM_CONFIG_V1 # governance surface first
|
|
50
50
|
./compile_domain.sh ../conformance_workloads/workloads/collatz
|
|
51
|
-
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=
|
|
51
|
+
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=GOVERNANCE_SURFACE_PROFILE_V0 ./assemble.sh # compose the PNP
|
|
52
52
|
cd ../protocol_runtime && ./run.sh
|
|
53
53
|
```
|
|
54
54
|
|
|
@@ -79,7 +79,7 @@ so CT handler refs resolve as `workloads.collatz.implementation.…`. Override w
|
|
|
79
79
|
| `pgc-workloads` | `conformance_workloads` | the workloads that make conformance observable |
|
|
80
80
|
| `pgc-domains` | `business_domains` | the business domain implementations the composed snapshot binds |
|
|
81
81
|
|
|
82
|
-
`pip install
|
|
82
|
+
`pip install protocol-governed-computing` brings in the whole family.
|
|
83
83
|
|
|
84
84
|
**Installing the toolchain is one of two steps.** The compiler resolves the governance surface from
|
|
85
85
|
`PGC_PLATFORM_ROOT` — fail-hard, cwd-independent, zero inference — so the *declarations* come from a
|
|
@@ -92,8 +92,18 @@ export PGC_PLATFORM_ROOT=$PWD/software_governance
|
|
|
92
92
|
pgc # reports what is installed and whether the anchor resolves
|
|
93
93
|
```
|
|
94
94
|
|
|
95
|
-
`
|
|
96
|
-
|
|
95
|
+
`PGC_DOMAIN_ROOTS` names an additional domain contributing its own `registry/structures` — the
|
|
96
|
+
directory that *directly contains* it, not the repository above it; pointing one level too high is a
|
|
97
|
+
silent no-op. `PGC_SNAPSHOT_ROOT` is where compiled output is written, and each domain build needs
|
|
98
|
+
its own: every layer's output consolidates into one root, and verification rejects any file in that
|
|
99
|
+
root the current build did not declare. `PGC_SNAPSHOT_PROFILES` is the directory holding snapshot
|
|
100
|
+
profiles, required by the assembler and the runtime alike.
|
|
101
|
+
|
|
102
|
+
`PGC_BUILD_ROOT` is accepted and reported and **nothing reads it** — `PGC_SNAPSHOT_ROOT` is the
|
|
103
|
+
anchor that controls output.
|
|
104
|
+
|
|
105
|
+
The full sequence, with the repositories it needs, is in
|
|
106
|
+
[`pgc_install`](https://github.com/protocol-governed-computing/pgc_install).
|
|
97
107
|
|
|
98
108
|
**Versioning.** Two schemes, and the published version follows the second.
|
|
99
109
|
|
|
@@ -101,9 +111,9 @@ pgc # reports what is installed and whether the anchor resolves
|
|
|
101
111
|
composition rather than each repo: they release together and the governance closure forces lockstep,
|
|
102
112
|
so the ordinal names which composition a repo belongs to. Development happens on `dev/<N>` and each
|
|
103
113
|
cycle is tagged `release-<N>`. This is not published.
|
|
104
|
-
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`
|
|
114
|
+
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`v3`**.
|
|
105
115
|
|
|
106
|
-
**The published version is the public one: `
|
|
116
|
+
**The published version is the public one: `v4` is `4.0.0`.** The standard the packages implement is a
|
|
107
117
|
separate artifact on its own track and is not this number.
|
|
108
118
|
|
|
109
119
|
The standard these packages implement is published separately: https://doi.org/10.5281/zenodo.22150616
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: pgc-workloads
|
|
3
|
-
Version:
|
|
3
|
+
Version: 4.0.0
|
|
4
4
|
Summary: PGC conformance workloads — the capability implementations a sealed snapshot binds to make conformance observable
|
|
5
5
|
Author-email: Bhash Ganti <bachipeachy@gmail.com>
|
|
6
6
|
License-Expression: Apache-2.0
|
|
@@ -70,7 +70,7 @@ resolved under this repo, not under the governance repo.
|
|
|
70
70
|
cd ../protocol_compiler
|
|
71
71
|
./compile.sh STRUCTURE_BUILD_PLATFORM_CONFIG_V1 # governance surface first
|
|
72
72
|
./compile_domain.sh ../conformance_workloads/workloads/collatz
|
|
73
|
-
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=
|
|
73
|
+
cd ../snapshot_assembler && PGC_SNAPSHOT_PROFILE=GOVERNANCE_SURFACE_PROFILE_V0 ./assemble.sh # compose the PNP
|
|
74
74
|
cd ../protocol_runtime && ./run.sh
|
|
75
75
|
```
|
|
76
76
|
|
|
@@ -101,7 +101,7 @@ so CT handler refs resolve as `workloads.collatz.implementation.…`. Override w
|
|
|
101
101
|
| `pgc-workloads` | `conformance_workloads` | the workloads that make conformance observable |
|
|
102
102
|
| `pgc-domains` | `business_domains` | the business domain implementations the composed snapshot binds |
|
|
103
103
|
|
|
104
|
-
`pip install
|
|
104
|
+
`pip install protocol-governed-computing` brings in the whole family.
|
|
105
105
|
|
|
106
106
|
**Installing the toolchain is one of two steps.** The compiler resolves the governance surface from
|
|
107
107
|
`PGC_PLATFORM_ROOT` — fail-hard, cwd-independent, zero inference — so the *declarations* come from a
|
|
@@ -114,8 +114,18 @@ export PGC_PLATFORM_ROOT=$PWD/software_governance
|
|
|
114
114
|
pgc # reports what is installed and whether the anchor resolves
|
|
115
115
|
```
|
|
116
116
|
|
|
117
|
-
`
|
|
118
|
-
|
|
117
|
+
`PGC_DOMAIN_ROOTS` names an additional domain contributing its own `registry/structures` — the
|
|
118
|
+
directory that *directly contains* it, not the repository above it; pointing one level too high is a
|
|
119
|
+
silent no-op. `PGC_SNAPSHOT_ROOT` is where compiled output is written, and each domain build needs
|
|
120
|
+
its own: every layer's output consolidates into one root, and verification rejects any file in that
|
|
121
|
+
root the current build did not declare. `PGC_SNAPSHOT_PROFILES` is the directory holding snapshot
|
|
122
|
+
profiles, required by the assembler and the runtime alike.
|
|
123
|
+
|
|
124
|
+
`PGC_BUILD_ROOT` is accepted and reported and **nothing reads it** — `PGC_SNAPSHOT_ROOT` is the
|
|
125
|
+
anchor that controls output.
|
|
126
|
+
|
|
127
|
+
The full sequence, with the repositories it needs, is in
|
|
128
|
+
[`pgc_install`](https://github.com/protocol-governed-computing/pgc_install).
|
|
119
129
|
|
|
120
130
|
**Versioning.** Two schemes, and the published version follows the second.
|
|
121
131
|
|
|
@@ -123,9 +133,9 @@ pgc # reports what is installed and whether the anchor resolves
|
|
|
123
133
|
composition rather than each repo: they release together and the governance closure forces lockstep,
|
|
124
134
|
so the ordinal names which composition a repo belongs to. Development happens on `dev/<N>` and each
|
|
125
135
|
cycle is tagged `release-<N>`. This is not published.
|
|
126
|
-
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`
|
|
136
|
+
- **Public** — `PUBLIC_VERSION`, tagged on every component repository. The platform is at **`v3`**.
|
|
127
137
|
|
|
128
|
-
**The published version is the public one: `
|
|
138
|
+
**The published version is the public one: `v4` is `4.0.0`.** The standard the packages implement is a
|
|
129
139
|
separate artifact on its own track and is not this number.
|
|
130
140
|
|
|
131
141
|
The standard these packages implement is published separately: https://doi.org/10.5281/zenodo.22150616
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
LICENSE
|
|
2
|
+
NOTICE
|
|
3
|
+
README.md
|
|
4
|
+
pyproject.toml
|
|
5
|
+
pgc_workloads.egg-info/PKG-INFO
|
|
6
|
+
pgc_workloads.egg-info/SOURCES.txt
|
|
7
|
+
pgc_workloads.egg-info/dependency_links.txt
|
|
8
|
+
pgc_workloads.egg-info/requires.txt
|
|
9
|
+
pgc_workloads.egg-info/top_level.txt
|
|
10
|
+
workloads/__init__.py
|
|
11
|
+
workloads/collatz/__init__.py
|
|
12
|
+
workloads/collatz/implementation/__init__.py
|
|
13
|
+
workloads/collatz/implementation/capability_transforms/__init__.py
|
|
14
|
+
workloads/collatz/implementation/capability_transforms/atoms/__init__.py
|
|
15
|
+
workloads/collatz/implementation/capability_transforms/atoms/ct_pure_collatz_step_v0.py
|
|
16
|
+
workloads/collatz/implementation/capability_transforms/atoms/ct_pure_termination_check_v0.py
|
|
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "pgc-workloads"
|
|
7
|
-
version = "
|
|
7
|
+
version = "4.0.0"
|
|
8
8
|
description = "PGC conformance workloads — the capability implementations a sealed snapshot binds to make conformance observable"
|
|
9
9
|
readme = "README.md"
|
|
10
10
|
requires-python = ">=3.10"
|
|
@@ -43,6 +43,7 @@ Standard = "https://doi.org/10.5281/zenodo.22150616"
|
|
|
43
43
|
[tool.setuptools.packages.find]
|
|
44
44
|
where = ["."]
|
|
45
45
|
include = ["workloads*"]
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
46
|
+
# packages.find defaults to namespaces = true under pyproject, so snapshot/, registry/
|
|
47
|
+
# and test_payloads/ are discovered as packages despite carrying no __init__.py. They
|
|
48
|
+
# are excluded by name to make the paragraph above true of the built wheel.
|
|
49
|
+
exclude = ["workloads.*.snapshot*", "workloads.*.registry*", "workloads.*.test_payloads*"]
|
|
@@ -1,49 +0,0 @@
|
|
|
1
|
-
LICENSE
|
|
2
|
-
NOTICE
|
|
3
|
-
README.md
|
|
4
|
-
pyproject.toml
|
|
5
|
-
pgc_workloads.egg-info/PKG-INFO
|
|
6
|
-
pgc_workloads.egg-info/SOURCES.txt
|
|
7
|
-
pgc_workloads.egg-info/dependency_links.txt
|
|
8
|
-
pgc_workloads.egg-info/requires.txt
|
|
9
|
-
pgc_workloads.egg-info/top_level.txt
|
|
10
|
-
workloads/__init__.py
|
|
11
|
-
workloads/collatz/__init__.py
|
|
12
|
-
workloads/collatz/client/bindings/http.json
|
|
13
|
-
workloads/collatz/implementation/__init__.py
|
|
14
|
-
workloads/collatz/implementation/capability_transforms/__init__.py
|
|
15
|
-
workloads/collatz/implementation/capability_transforms/atoms/__init__.py
|
|
16
|
-
workloads/collatz/implementation/capability_transforms/atoms/ct_pure_collatz_step_v0.py
|
|
17
|
-
workloads/collatz/implementation/capability_transforms/atoms/ct_pure_termination_check_v0.py
|
|
18
|
-
workloads/collatz/snapshot/compiled/behavior_logic/WF_COLLATZ_CONJECTURE_V0/WF_COLLATZ_CONJECTURE_V0.graph.json
|
|
19
|
-
workloads/collatz/snapshot/compiled/canonical/metadata.json
|
|
20
|
-
workloads/collatz/snapshot/compiled/canonical/actors/workload__AC_REFERENCE_ACTOR_V0.json
|
|
21
|
-
workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_COMPUTE_SEQUENCES_V0.json
|
|
22
|
-
workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_STORE_RESULTS_V0.json
|
|
23
|
-
workloads/collatz/snapshot/compiled/canonical/capability_contracts/workload__CC_VERIFY_TERMINATION_V0.json
|
|
24
|
-
workloads/collatz/snapshot/compiled/canonical/capability_side_effects/capability_side_effects__CS_MUTABLE_JSON_V0.json
|
|
25
|
-
workloads/collatz/snapshot/compiled/canonical/capability_transforms/workload__CT_PURE_COLLATZ_STEP_V0.json
|
|
26
|
-
workloads/collatz/snapshot/compiled/canonical/capability_transforms/workload__CT_PURE_TERMINATION_CHECK_V0.json
|
|
27
|
-
workloads/collatz/snapshot/compiled/canonical/events/workload__EV_CONJECTURE_EVALUATED_V0.json
|
|
28
|
-
workloads/collatz/snapshot/compiled/canonical/ingress_intents/workload__TI_COLLATZ_COMPUTE_V0.json
|
|
29
|
-
workloads/collatz/snapshot/compiled/canonical/intents/workload__IN_COLLATZ_INPUT_VALIDATED_V0.json
|
|
30
|
-
workloads/collatz/snapshot/compiled/canonical/runtime_bindings/workload__RB_COLLATZ_V0.json
|
|
31
|
-
workloads/collatz/snapshot/compiled/canonical/structures/workload__STRUCTURE_BUILD_WORKLOAD_CONFIG_V0.json
|
|
32
|
-
workloads/collatz/snapshot/compiled/canonical/structures/workload__STRUCTURE_COLLATZ_STORAGE_V0.json
|
|
33
|
-
workloads/collatz/snapshot/compiled/canonical/transport/egress/workload__TE_COLLATZ_COMPUTE_V0.json
|
|
34
|
-
workloads/collatz/snapshot/compiled/canonical/workflows/workload__WF_COLLATZ_CONJECTURE_V0.json
|
|
35
|
-
workloads/collatz/snapshot/compiled/evidence/workload/evidence.json
|
|
36
|
-
workloads/collatz/snapshot/compiled/evidence/workload/evidence_graph.json
|
|
37
|
-
workloads/collatz/snapshot/compiled/evidence/workload/metadata.json
|
|
38
|
-
workloads/collatz/snapshot/compiled/tokenized/workload/dispatch.json
|
|
39
|
-
workloads/collatz/snapshot/compiled/tokenized/workload/handlers.json
|
|
40
|
-
workloads/collatz/snapshot/compiled/tokenized/workload/metadata.json
|
|
41
|
-
workloads/collatz/snapshot/compiled/tokenized/workload/topology.json
|
|
42
|
-
workloads/collatz/snapshot/compiled/trust/workload/structure_attestation.json
|
|
43
|
-
workloads/collatz/snapshot/compiled/vocabulary/workload/forward.json
|
|
44
|
-
workloads/collatz/snapshot/compiled/vocabulary/workload/metadata.json
|
|
45
|
-
workloads/collatz/snapshot/compiled/vocabulary/workload/reverse.json
|
|
46
|
-
workloads/collatz/snapshot/determinations/STRUCTURE_BUILD_WORKLOAD_CONFIG_V0.admitted.json
|
|
47
|
-
workloads/collatz/test_payloads/01_happy_path.json
|
|
48
|
-
workloads/collatz/test_payloads/02_single_number.json
|
|
49
|
-
workloads/collatz/test_payloads/03_invalid_nack.json
|
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"_note": "HTTP External Protocol Binding (Patch 2) — adapter-owned config, promotable to an XB_ artifact. Maps HTTP {method, path} to a stable Operation Identity (never a Workflow Identity).",
|
|
3
|
-
"bindings": [
|
|
4
|
-
{ "method": "POST", "path": "/collatz", "operation": "collatz.compute" }
|
|
5
|
-
]
|
|
6
|
-
}
|
|
@@ -1,209 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"wf_id": "WF_COLLATZ_CONJECTURE_V0",
|
|
3
|
-
"entry": "IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
4
|
-
"nodes": [
|
|
5
|
-
{
|
|
6
|
-
"id": "CC_COMPUTE_SEQUENCES_V0",
|
|
7
|
-
"type": "CC",
|
|
8
|
-
"cc_code": "CC_COMPUTE_SEQUENCES_V0",
|
|
9
|
-
"capability": "workload::CT_PURE_COLLATZ_STEP_V0",
|
|
10
|
-
"capability_type": "CT",
|
|
11
|
-
"projection": {
|
|
12
|
-
"steps": [
|
|
13
|
-
{
|
|
14
|
-
"bindings": {
|
|
15
|
-
"numbers": "in.numbers"
|
|
16
|
-
},
|
|
17
|
-
"fqdn": "workload::CT_PURE_COLLATZ_STEP_V0",
|
|
18
|
-
"id": "CT_PURE_COLLATZ_STEP_V0",
|
|
19
|
-
"inputs": [
|
|
20
|
-
"numbers"
|
|
21
|
-
],
|
|
22
|
-
"kind": "CT",
|
|
23
|
-
"outputs": [
|
|
24
|
-
"sequences"
|
|
25
|
-
]
|
|
26
|
-
}
|
|
27
|
-
]
|
|
28
|
-
},
|
|
29
|
-
"input_bindings": {
|
|
30
|
-
"type": "wf_boundary",
|
|
31
|
-
"bindings": {
|
|
32
|
-
"numbers": "IN.numbers"
|
|
33
|
-
}
|
|
34
|
-
}
|
|
35
|
-
},
|
|
36
|
-
{
|
|
37
|
-
"id": "CC_STORE_RESULTS_V0",
|
|
38
|
-
"type": "CC",
|
|
39
|
-
"cc_code": "CC_STORE_RESULTS_V0",
|
|
40
|
-
"capability": "capability_side_effects::CS_MUTABLE_JSON_V0",
|
|
41
|
-
"capability_type": "CS",
|
|
42
|
-
"projection": {
|
|
43
|
-
"steps": [
|
|
44
|
-
{
|
|
45
|
-
"fqdn": "capability_side_effects::CS_MUTABLE_JSON_V0",
|
|
46
|
-
"id": "CS_MUTABLE_JSON_V0",
|
|
47
|
-
"kind": "CS",
|
|
48
|
-
"ops": [
|
|
49
|
-
"READ",
|
|
50
|
-
"WRITE",
|
|
51
|
-
"UPDATE",
|
|
52
|
-
"DELETE",
|
|
53
|
-
"DELETE_MANY"
|
|
54
|
-
],
|
|
55
|
-
"ops_truncated": true,
|
|
56
|
-
"outputs": [
|
|
57
|
-
"result_status"
|
|
58
|
-
]
|
|
59
|
-
}
|
|
60
|
-
]
|
|
61
|
-
},
|
|
62
|
-
"input_bindings": {
|
|
63
|
-
"type": "wf_boundary",
|
|
64
|
-
"bindings": {
|
|
65
|
-
"all_terminate": "CC_VERIFY_TERMINATION_V0.all_terminate",
|
|
66
|
-
"non_terminating": "CC_VERIFY_TERMINATION_V0.non_terminating",
|
|
67
|
-
"sequences": "CC_COMPUTE_SEQUENCES_V0.sequences"
|
|
68
|
-
}
|
|
69
|
-
}
|
|
70
|
-
},
|
|
71
|
-
{
|
|
72
|
-
"id": "CC_VERIFY_TERMINATION_V0",
|
|
73
|
-
"type": "CC",
|
|
74
|
-
"cc_code": "CC_VERIFY_TERMINATION_V0",
|
|
75
|
-
"capability": "workload::CT_PURE_TERMINATION_CHECK_V0",
|
|
76
|
-
"capability_type": "CT",
|
|
77
|
-
"projection": {
|
|
78
|
-
"steps": [
|
|
79
|
-
{
|
|
80
|
-
"bindings": {
|
|
81
|
-
"sequences": "in.sequences"
|
|
82
|
-
},
|
|
83
|
-
"fqdn": "workload::CT_PURE_TERMINATION_CHECK_V0",
|
|
84
|
-
"id": "CT_PURE_TERMINATION_CHECK_V0",
|
|
85
|
-
"inputs": [
|
|
86
|
-
"sequences"
|
|
87
|
-
],
|
|
88
|
-
"kind": "CT",
|
|
89
|
-
"outputs": [
|
|
90
|
-
"all_terminate",
|
|
91
|
-
"non_terminating"
|
|
92
|
-
]
|
|
93
|
-
}
|
|
94
|
-
]
|
|
95
|
-
},
|
|
96
|
-
"input_bindings": {
|
|
97
|
-
"type": "wf_boundary",
|
|
98
|
-
"bindings": {
|
|
99
|
-
"sequences": "CC_COMPUTE_SEQUENCES_V0.sequences"
|
|
100
|
-
}
|
|
101
|
-
}
|
|
102
|
-
},
|
|
103
|
-
{
|
|
104
|
-
"id": "EXIT_CONJECTURE_PROVEN",
|
|
105
|
-
"type": "EXIT"
|
|
106
|
-
},
|
|
107
|
-
{
|
|
108
|
-
"id": "EXIT_CONJECTURE_VIOLATED",
|
|
109
|
-
"type": "EXIT"
|
|
110
|
-
},
|
|
111
|
-
{
|
|
112
|
-
"id": "EXIT_ERROR",
|
|
113
|
-
"type": "EXIT"
|
|
114
|
-
},
|
|
115
|
-
{
|
|
116
|
-
"id": "EXIT_REJECTED",
|
|
117
|
-
"type": "EXIT"
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
"id": "IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
121
|
-
"type": "IN"
|
|
122
|
-
}
|
|
123
|
-
],
|
|
124
|
-
"edges": [
|
|
125
|
-
{
|
|
126
|
-
"from": "CC_COMPUTE_SEQUENCES_V0",
|
|
127
|
-
"to": "CC_VERIFY_TERMINATION_V0",
|
|
128
|
-
"condition": "SUCCESS"
|
|
129
|
-
},
|
|
130
|
-
{
|
|
131
|
-
"from": "CC_COMPUTE_SEQUENCES_V0",
|
|
132
|
-
"to": "EXIT_ERROR",
|
|
133
|
-
"condition": "VIOLATION"
|
|
134
|
-
},
|
|
135
|
-
{
|
|
136
|
-
"from": "CC_STORE_RESULTS_V0",
|
|
137
|
-
"to": "EXIT_ERROR",
|
|
138
|
-
"condition": "BACKEND_ERROR"
|
|
139
|
-
},
|
|
140
|
-
{
|
|
141
|
-
"from": "CC_STORE_RESULTS_V0",
|
|
142
|
-
"to": "EXIT_CONJECTURE_PROVEN",
|
|
143
|
-
"condition": "SUCCESS"
|
|
144
|
-
},
|
|
145
|
-
{
|
|
146
|
-
"from": "CC_STORE_RESULTS_V0",
|
|
147
|
-
"to": "EXIT_ERROR",
|
|
148
|
-
"condition": "VIOLATION"
|
|
149
|
-
},
|
|
150
|
-
{
|
|
151
|
-
"from": "CC_VERIFY_TERMINATION_V0",
|
|
152
|
-
"to": "CC_STORE_RESULTS_V0",
|
|
153
|
-
"condition": "SUCCESS"
|
|
154
|
-
},
|
|
155
|
-
{
|
|
156
|
-
"from": "CC_VERIFY_TERMINATION_V0",
|
|
157
|
-
"to": "EXIT_CONJECTURE_VIOLATED",
|
|
158
|
-
"condition": "VIOLATION"
|
|
159
|
-
},
|
|
160
|
-
{
|
|
161
|
-
"from": "IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
162
|
-
"to": "CC_COMPUTE_SEQUENCES_V0",
|
|
163
|
-
"condition": "ACK"
|
|
164
|
-
},
|
|
165
|
-
{
|
|
166
|
-
"from": "IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
167
|
-
"to": "EXIT_REJECTED",
|
|
168
|
-
"condition": "NACK"
|
|
169
|
-
}
|
|
170
|
-
],
|
|
171
|
-
"execution_paths": [
|
|
172
|
-
[
|
|
173
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
174
|
-
"CC_COMPUTE_SEQUENCES_V0",
|
|
175
|
-
"CC_VERIFY_TERMINATION_V0",
|
|
176
|
-
"CC_STORE_RESULTS_V0",
|
|
177
|
-
"EXIT_ERROR"
|
|
178
|
-
],
|
|
179
|
-
[
|
|
180
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
181
|
-
"CC_COMPUTE_SEQUENCES_V0",
|
|
182
|
-
"CC_VERIFY_TERMINATION_V0",
|
|
183
|
-
"CC_STORE_RESULTS_V0",
|
|
184
|
-
"EXIT_CONJECTURE_PROVEN"
|
|
185
|
-
],
|
|
186
|
-
[
|
|
187
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
188
|
-
"CC_COMPUTE_SEQUENCES_V0",
|
|
189
|
-
"CC_VERIFY_TERMINATION_V0",
|
|
190
|
-
"CC_STORE_RESULTS_V0",
|
|
191
|
-
"EXIT_ERROR"
|
|
192
|
-
],
|
|
193
|
-
[
|
|
194
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
195
|
-
"CC_COMPUTE_SEQUENCES_V0",
|
|
196
|
-
"CC_VERIFY_TERMINATION_V0",
|
|
197
|
-
"EXIT_CONJECTURE_VIOLATED"
|
|
198
|
-
],
|
|
199
|
-
[
|
|
200
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
201
|
-
"CC_COMPUTE_SEQUENCES_V0",
|
|
202
|
-
"EXIT_ERROR"
|
|
203
|
-
],
|
|
204
|
-
[
|
|
205
|
-
"IN_COLLATZ_INPUT_VALIDATED_V0",
|
|
206
|
-
"EXIT_REJECTED"
|
|
207
|
-
]
|
|
208
|
-
]
|
|
209
|
-
}
|
|
@@ -1,33 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"artifact_code": "AC_REFERENCE_ACTOR_V0",
|
|
3
|
-
"artifact_type": "AC",
|
|
4
|
-
"content": "# AC_REFERENCE_ACTOR_V0\n\n## 1. Intent\n\nActor context under which the Collatz reference workflow executes. This is the Authority concern at\nits declaration/binding stage: a named actor that the workflow binds and the runtime propagates into\nthe execution context and attributes in the trace.\n\n**Scope note:** this artifact declares an actor *identity/context* only. It does NOT implement\nauthorization or enforcement \u2014 real authority checks belong to the governance/authority model and are\nout of scope here. The reference value is the lifecycle it demonstrates:\n`declaration \u2192 workflow binding \u2192 runtime context propagation \u2192 trace attribution`.\n\n---\n\n## Machine\n\n```yaml\nfqdn: workload::AC_REFERENCE_ACTOR_V0\nartifact_kind: ACTOR\nversion: v0\ngoverned_by: actor::CONSTITUTION_ACTOR_IDENTITY_V0\nauthority: pgc.platform\nconcern: workload\ncore:\n summary: Reference workload actor\n description: System actor context under which the Collatz reference workload executes.\n type: system\n attributes:\n role:\n type: string\n required: true\n value: reference_workload_runner\n```\n",
|
|
5
|
-
"content_hash": "2623143eb6d65e774c62d5194728350b8f61f5b38c82e76659e3bbed5215f9d6",
|
|
6
|
-
"fqdn_id": "workload::AC_REFERENCE_ACTOR_V0",
|
|
7
|
-
"frontmatter": {
|
|
8
|
-
"artifact_kind": "ACTOR",
|
|
9
|
-
"authority": "pgc.platform",
|
|
10
|
-
"concern": "workload",
|
|
11
|
-
"core": {
|
|
12
|
-
"attributes": {
|
|
13
|
-
"role": {
|
|
14
|
-
"required": true,
|
|
15
|
-
"type": "string",
|
|
16
|
-
"value": "reference_workload_runner"
|
|
17
|
-
}
|
|
18
|
-
},
|
|
19
|
-
"description": "System actor context under which the Collatz reference workload executes.",
|
|
20
|
-
"summary": "Reference workload actor",
|
|
21
|
-
"type": "system"
|
|
22
|
-
},
|
|
23
|
-
"fqdn": "workload::AC_REFERENCE_ACTOR_V0",
|
|
24
|
-
"governed_by": "actor::CONSTITUTION_ACTOR_IDENTITY_V0",
|
|
25
|
-
"version": "v0"
|
|
26
|
-
},
|
|
27
|
-
"layer_code": "WORKLOAD",
|
|
28
|
-
"namespace": "workload",
|
|
29
|
-
"references": [
|
|
30
|
-
"actor::CONSTITUTION_ACTOR_IDENTITY_V0"
|
|
31
|
-
],
|
|
32
|
-
"version": "0"
|
|
33
|
-
}
|
|
@@ -1,84 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"artifact_code": "CC_COMPUTE_SEQUENCES_V0",
|
|
3
|
-
"artifact_type": "CC",
|
|
4
|
-
"cc_projection": {
|
|
5
|
-
"steps": [
|
|
6
|
-
{
|
|
7
|
-
"bindings": {
|
|
8
|
-
"numbers": "in.numbers"
|
|
9
|
-
},
|
|
10
|
-
"fqdn": "workload::CT_PURE_COLLATZ_STEP_V0",
|
|
11
|
-
"id": "CT_PURE_COLLATZ_STEP_V0",
|
|
12
|
-
"inputs": [
|
|
13
|
-
"numbers"
|
|
14
|
-
],
|
|
15
|
-
"kind": "CT",
|
|
16
|
-
"outputs": [
|
|
17
|
-
"sequences"
|
|
18
|
-
]
|
|
19
|
-
}
|
|
20
|
-
]
|
|
21
|
-
},
|
|
22
|
-
"content": "# CC_COMPUTE_SEQUENCES_V0\n\n## 1. Intent\n\nCompute Collatz sequences for all numbers in the input list.\n\n---\n\n## Machine\n\n```yaml\nfqdn: workload::CC_COMPUTE_SEQUENCES_V0\nartifact_kind: CAPABILITY_CONTRACT\nversion: v0\ngoverned_by: capability_contracts::CONSTITUTION_CAPABILITY_CONTRACT_V0\nauthority: pgc.platform\nconcern: workload\ncore:\n summary: Compute Collatz sequences for all input numbers\n inputs:\n numbers:\n type: array\n required: true\n outputs:\n sequences:\n type: object\n result_status_contract:\n allowed:\n - SUCCESS\n - VIOLATION\n on_input_failure: VIOLATION\n pipeline:\n - step: compute_sequences\n transform: workload::CT_PURE_COLLATZ_STEP_V0\n inputs:\n numbers: $.inputs.numbers\n outputs:\n sequences: $.capability_result.sequences\n result_surface:\n - SUCCESS\n - VIOLATION\n on_result:\n SUCCESS: exit\n VIOLATION: exit\nextensions:\n description: Computes full Collatz iteration path for each input integer\n```\n",
|
|
23
|
-
"content_hash": "e747cfc9f1de48138aa615c2568fea6b0683ed5c2a4ec39b8c91d47b37977685",
|
|
24
|
-
"fqdn_id": "workload::CC_COMPUTE_SEQUENCES_V0",
|
|
25
|
-
"frontmatter": {
|
|
26
|
-
"artifact_kind": "CAPABILITY_CONTRACT",
|
|
27
|
-
"authority": "pgc.platform",
|
|
28
|
-
"concern": "workload",
|
|
29
|
-
"core": {
|
|
30
|
-
"inputs": {
|
|
31
|
-
"numbers": {
|
|
32
|
-
"required": true,
|
|
33
|
-
"type": "array"
|
|
34
|
-
}
|
|
35
|
-
},
|
|
36
|
-
"outputs": {
|
|
37
|
-
"sequences": {
|
|
38
|
-
"type": "object"
|
|
39
|
-
}
|
|
40
|
-
},
|
|
41
|
-
"pipeline": [
|
|
42
|
-
{
|
|
43
|
-
"inputs": {
|
|
44
|
-
"numbers": "$.inputs.numbers"
|
|
45
|
-
},
|
|
46
|
-
"on_result": {
|
|
47
|
-
"SUCCESS": "exit",
|
|
48
|
-
"VIOLATION": "exit"
|
|
49
|
-
},
|
|
50
|
-
"outputs": {
|
|
51
|
-
"sequences": "$.capability_result.sequences"
|
|
52
|
-
},
|
|
53
|
-
"result_surface": [
|
|
54
|
-
"SUCCESS",
|
|
55
|
-
"VIOLATION"
|
|
56
|
-
],
|
|
57
|
-
"step": "compute_sequences",
|
|
58
|
-
"transform": "workload::CT_PURE_COLLATZ_STEP_V0"
|
|
59
|
-
}
|
|
60
|
-
],
|
|
61
|
-
"result_status_contract": {
|
|
62
|
-
"allowed": [
|
|
63
|
-
"SUCCESS",
|
|
64
|
-
"VIOLATION"
|
|
65
|
-
],
|
|
66
|
-
"on_input_failure": "VIOLATION"
|
|
67
|
-
},
|
|
68
|
-
"summary": "Compute Collatz sequences for all input numbers"
|
|
69
|
-
},
|
|
70
|
-
"extensions": {
|
|
71
|
-
"description": "Computes full Collatz iteration path for each input integer"
|
|
72
|
-
},
|
|
73
|
-
"fqdn": "workload::CC_COMPUTE_SEQUENCES_V0",
|
|
74
|
-
"governed_by": "capability_contracts::CONSTITUTION_CAPABILITY_CONTRACT_V0",
|
|
75
|
-
"version": "v0"
|
|
76
|
-
},
|
|
77
|
-
"layer_code": "WORKLOAD",
|
|
78
|
-
"namespace": "workload",
|
|
79
|
-
"references": [
|
|
80
|
-
"capability_contracts::CONSTITUTION_CAPABILITY_CONTRACT_V0",
|
|
81
|
-
"workload::CT_PURE_COLLATZ_STEP_V0"
|
|
82
|
-
],
|
|
83
|
-
"version": "0"
|
|
84
|
-
}
|