@receiz/ai-skills 110.0.0 → 112.0.0
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.
- package/README.md +16 -4
- package/package.json +2 -2
- package/receiz-app-builder-skill/SKILL.md +24 -13
- package/receiz-app-builder-skill/manifest.json +237 -18
- package/receiz-app-builder-skill/resources/generated-file-repair.md +3 -1
- package/receiz-app-builder-skill/resources/workflow.md +2 -0
- package/receiz-architecture/SKILL.md +10 -1
- package/receiz-architecture/manifest.json +256 -10
- package/receiz-authority-security/SKILL.md +10 -1
- package/receiz-authority-security/manifest.json +256 -10
- package/receiz-bearer-ownership/SKILL.md +12 -2
- package/receiz-bearer-ownership/manifest.json +295 -11
- package/receiz-build-production-system/SKILL.md +11 -1
- package/receiz-build-production-system/manifest.json +256 -10
- package/receiz-builder-skill/resources/generated-code-rules.md +2 -0
- package/receiz-causal-sync/SKILL.md +10 -1
- package/receiz-causal-sync/manifest.json +256 -10
- package/receiz-command-builder/SKILL.md +10 -1
- package/receiz-command-builder/manifest.json +256 -10
- package/receiz-constitutional-laws/SKILL.md +10 -1
- package/receiz-constitutional-laws/manifest.json +256 -10
- package/receiz-cross-app-state/SKILL.md +25 -14
- package/receiz-cross-app-state/manifest.json +236 -22
- package/receiz-deterministic-replay/SKILL.md +10 -1
- package/receiz-deterministic-replay/manifest.json +256 -10
- package/receiz-domain-builder/SKILL.md +10 -1
- package/receiz-domain-builder/manifest.json +256 -10
- package/receiz-identity-profile/SKILL.md +14 -4
- package/receiz-identity-profile/manifest.json +286 -11
- package/receiz-mcp-agent-skill/SKILL.md +2 -2
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +17 -15
- package/receiz-migrations/SKILL.md +26 -15
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +237 -18
- package/receiz-observability/SKILL.md +10 -1
- package/receiz-observability/manifest.json +256 -10
- package/receiz-offline-command/SKILL.md +11 -1
- package/receiz-offline-command/manifest.json +286 -11
- package/receiz-offline-first/SKILL.md +10 -1
- package/receiz-offline-first/manifest.json +256 -10
- package/receiz-offline-verifier-skill/SKILL.md +24 -13
- package/receiz-offline-verifier-skill/manifest.json +237 -18
- package/receiz-performance/SKILL.md +10 -1
- package/receiz-performance/manifest.json +256 -10
- package/receiz-portable-artifacts/SKILL.md +25 -14
- package/receiz-portable-artifacts/manifest.json +237 -18
- package/receiz-portable-continuity/SKILL.md +14 -4
- package/receiz-portable-continuity/manifest.json +296 -11
- package/receiz-proof-media/SKILL.md +10 -0
- package/receiz-proof-media/manifest.json +291 -11
- package/receiz-proof-skill/SKILL.md +24 -13
- package/receiz-proof-skill/manifest.json +237 -18
- package/receiz-proof-skill/resources/mcp-tool-map.md +4 -0
- package/receiz-proof-skill/resources/sdk-reference.md +5 -3
- package/receiz-receipt-admission/SKILL.md +14 -4
- package/receiz-receipt-admission/manifest.json +284 -10
- package/receiz-release/SKILL.md +26 -15
- package/receiz-release/manifest.json +237 -18
- package/receiz-skill-bundle/SKILL.md +2 -0
- package/receiz-skill-bundle/resources/canonical-receiz-language.md +2 -0
- package/receiz-skill-bundle/resources/combined-agent-behavior.md +2 -0
- package/receiz-testing/SKILL.md +25 -14
- package/receiz-testing/manifest.json +237 -18
- package/scripts/validate-skills.ts +19 -19
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v112",
|
|
3
3
|
"name": "receiz-architecture",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "112.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=112.0.0 <113.0.0",
|
|
7
|
+
"mcp": ">=112.0.0 <113.0.0",
|
|
8
|
+
"ruleset": "112.0.0",
|
|
9
|
+
"registryDigest": "1356f8122d0b5fcbe891d7e6ed1e75faca827f15d63d1ed5d950664e11c146ee"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.truth.stronger-first",
|
|
@@ -17,12 +17,37 @@
|
|
|
17
17
|
"receiz_architecture_inspect",
|
|
18
18
|
"receiz_authority_inspect",
|
|
19
19
|
"receiz_history_trace",
|
|
20
|
-
"receiz_bypass_scan"
|
|
20
|
+
"receiz_bypass_scan",
|
|
21
|
+
"receiz_artifact_verify",
|
|
22
|
+
"receiz_artifact_admit",
|
|
23
|
+
"receiz_artifact_append_plan",
|
|
24
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
25
|
+
"receiz_artifact_transition_commit"
|
|
21
26
|
],
|
|
22
27
|
"forbiddenOperations": [
|
|
23
28
|
"direct-state-write",
|
|
24
29
|
"history-rewrite",
|
|
25
|
-
"authority-bypass"
|
|
30
|
+
"authority-bypass",
|
|
31
|
+
"structural-object-as-authority",
|
|
32
|
+
"caller-verifier-as-history-authority",
|
|
33
|
+
"parseable-key-as-signing-authority",
|
|
34
|
+
"terminal-mcp-confirmation-reuse",
|
|
35
|
+
"historical-runtime-object-as-current-authority",
|
|
36
|
+
"projection-as-artifact-authority",
|
|
37
|
+
"runtime-shape-as-v112-authority",
|
|
38
|
+
"subpayload-hash-as-enclosing-authority",
|
|
39
|
+
"unaccepted-candidate-as-committed",
|
|
40
|
+
"staging-reference-without-byte-resolution",
|
|
41
|
+
"receipt-as-proof-authority",
|
|
42
|
+
"cross-domain-idempotency-conflict",
|
|
43
|
+
"external-effects-in-transition-digest",
|
|
44
|
+
"serialized-sdk-authority",
|
|
45
|
+
"mcp-property-bag-authority",
|
|
46
|
+
"generic-constitutional-artifact-mutation",
|
|
47
|
+
"confirmation-as-proof-authority",
|
|
48
|
+
"receipt-actor-as-runtime-identity",
|
|
49
|
+
"browser-proof-object-storage",
|
|
50
|
+
"known-artifact-first-paint-blocking"
|
|
26
51
|
],
|
|
27
52
|
"requiredInputs": [
|
|
28
53
|
"repository-root",
|
|
@@ -38,7 +63,25 @@
|
|
|
38
63
|
"replay-equivalence",
|
|
39
64
|
"compatibility",
|
|
40
65
|
"mcp-conformance",
|
|
41
|
-
"independent-verifier"
|
|
66
|
+
"independent-verifier",
|
|
67
|
+
"canonical-exact-byte-readmission",
|
|
68
|
+
"complete-verifier-context-digest",
|
|
69
|
+
"independent-proof-history-evidence-roots",
|
|
70
|
+
"domain-separated-signing-challenge",
|
|
71
|
+
"distinct-plan-and-attempt-identities",
|
|
72
|
+
"structured-zero-write-failures",
|
|
73
|
+
"exact-nine-row-operation-matrix-parity",
|
|
74
|
+
"exact-five-tool-mcp-parity",
|
|
75
|
+
"process-boundary-parity",
|
|
76
|
+
"exact-byte-reverification",
|
|
77
|
+
"identity-seal-ed25519-p256-signing",
|
|
78
|
+
"neutral-staging-zero-head-writes",
|
|
79
|
+
"independent-staged-byte-resolution",
|
|
80
|
+
"named-domain-atomic-acceptance",
|
|
81
|
+
"report-only-receipt",
|
|
82
|
+
"browser-ledger-no-proof-bytes",
|
|
83
|
+
"generated-file-ownership-preservation",
|
|
84
|
+
"current-registry-payload-digest-equality"
|
|
42
85
|
],
|
|
43
86
|
"completionCriteria": [
|
|
44
87
|
"written-implementation-contract",
|
|
@@ -53,5 +96,208 @@
|
|
|
53
96
|
"missing-capability",
|
|
54
97
|
"ambiguous-migration"
|
|
55
98
|
],
|
|
56
|
-
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
99
|
+
"maximumAutonomousAuthority": "inspect-plan-scaffold-test",
|
|
100
|
+
"artifactLawVersion": "112.0.0",
|
|
101
|
+
"artifactLaws": [
|
|
102
|
+
"ARTIFACT-001",
|
|
103
|
+
"ARTIFACT-002",
|
|
104
|
+
"ARTIFACT-003",
|
|
105
|
+
"ARTIFACT-004",
|
|
106
|
+
"ARTIFACT-005",
|
|
107
|
+
"ARTIFACT-006",
|
|
108
|
+
"ARTIFACT-007",
|
|
109
|
+
"ARTIFACT-008",
|
|
110
|
+
"ARTIFACT-009",
|
|
111
|
+
"ARTIFACT-010",
|
|
112
|
+
"ARTIFACT-011",
|
|
113
|
+
"ARTIFACT-012",
|
|
114
|
+
"ARTIFACT-013",
|
|
115
|
+
"ARTIFACT-014",
|
|
116
|
+
"ARTIFACT-015",
|
|
117
|
+
"ARTIFACT-016",
|
|
118
|
+
"ARTIFACT-017",
|
|
119
|
+
"ARTIFACT-018",
|
|
120
|
+
"ARTIFACT-019",
|
|
121
|
+
"ARTIFACT-020",
|
|
122
|
+
"ARTIFACT-021",
|
|
123
|
+
"ARTIFACT-022",
|
|
124
|
+
"ARTIFACT-023",
|
|
125
|
+
"ARTIFACT-024",
|
|
126
|
+
"ARTIFACT-025",
|
|
127
|
+
"ARTIFACT-026",
|
|
128
|
+
"ARTIFACT-027",
|
|
129
|
+
"ARTIFACT-028",
|
|
130
|
+
"ARTIFACT-029",
|
|
131
|
+
"ARTIFACT-030"
|
|
132
|
+
],
|
|
133
|
+
"operationAuthorityMatrix": [
|
|
134
|
+
{
|
|
135
|
+
"operation": "artifact.verify",
|
|
136
|
+
"authorityProfiles": [],
|
|
137
|
+
"inputAuthority": "exact-artifact-bytes",
|
|
138
|
+
"requiredEvidence": [
|
|
139
|
+
"exact-artifact-bytes",
|
|
140
|
+
"pinned-verifier-roots"
|
|
141
|
+
],
|
|
142
|
+
"outputAuthority": "verified-artifact-runtime",
|
|
143
|
+
"processBoundary": "reverify-exact-bytes",
|
|
144
|
+
"namespacePolicy": "not-applicable",
|
|
145
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
146
|
+
},
|
|
147
|
+
{
|
|
148
|
+
"operation": "artifact.admit",
|
|
149
|
+
"authorityProfiles": [],
|
|
150
|
+
"inputAuthority": "verified-artifact-runtime",
|
|
151
|
+
"requiredEvidence": [
|
|
152
|
+
"verified-artifact-runtime",
|
|
153
|
+
"admission-profile",
|
|
154
|
+
"current-registry"
|
|
155
|
+
],
|
|
156
|
+
"outputAuthority": "verified-admission-runtime",
|
|
157
|
+
"processBoundary": "same-runtime-custody",
|
|
158
|
+
"namespacePolicy": "not-applicable",
|
|
159
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
160
|
+
},
|
|
161
|
+
{
|
|
162
|
+
"operation": "artifact.append.plan",
|
|
163
|
+
"authorityProfiles": [
|
|
164
|
+
"artifact-local",
|
|
165
|
+
"global-shared"
|
|
166
|
+
],
|
|
167
|
+
"inputAuthority": "verified-admission-runtime",
|
|
168
|
+
"requiredEvidence": [
|
|
169
|
+
"verified-admission-runtime",
|
|
170
|
+
"verified-history-runtime",
|
|
171
|
+
"verified-actor-runtime",
|
|
172
|
+
"discovered-registry-law-runtime",
|
|
173
|
+
"commit-domain",
|
|
174
|
+
"canonical-event",
|
|
175
|
+
"expected-head",
|
|
176
|
+
"idempotency-identity"
|
|
177
|
+
],
|
|
178
|
+
"outputAuthority": "sdk-plan-runtime",
|
|
179
|
+
"processBoundary": "same-runtime-custody",
|
|
180
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
181
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
182
|
+
},
|
|
183
|
+
{
|
|
184
|
+
"operation": "identity.capability.sign",
|
|
185
|
+
"authorityProfiles": [],
|
|
186
|
+
"inputAuthority": "identity-key-file",
|
|
187
|
+
"requiredEvidence": [
|
|
188
|
+
"identity-key-file",
|
|
189
|
+
"capability-payload"
|
|
190
|
+
],
|
|
191
|
+
"outputAuthority": "signed-capability-claim-not-yet-verified",
|
|
192
|
+
"processBoundary": "local-identity-key-custody",
|
|
193
|
+
"namespacePolicy": "not-applicable",
|
|
194
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
195
|
+
},
|
|
196
|
+
{
|
|
197
|
+
"operation": "artifact.transition.seal",
|
|
198
|
+
"authorityProfiles": [
|
|
199
|
+
"artifact-local",
|
|
200
|
+
"global-shared"
|
|
201
|
+
],
|
|
202
|
+
"inputAuthority": "sdk-plan-runtime",
|
|
203
|
+
"requiredEvidence": [
|
|
204
|
+
"sdk-plan-runtime",
|
|
205
|
+
"verified-capability-runtime",
|
|
206
|
+
"transition-sealer-runtime"
|
|
207
|
+
],
|
|
208
|
+
"outputAuthority": "sealed-candidate-proof-object-not-accepted-head",
|
|
209
|
+
"processBoundary": "same-runtime-custody",
|
|
210
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
211
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
212
|
+
},
|
|
213
|
+
{
|
|
214
|
+
"operation": "artifact.transition.stage",
|
|
215
|
+
"authorityProfiles": [
|
|
216
|
+
"artifact-local",
|
|
217
|
+
"global-shared"
|
|
218
|
+
],
|
|
219
|
+
"inputAuthority": "sealed-candidate-runtime",
|
|
220
|
+
"requiredEvidence": [
|
|
221
|
+
"sealed-candidate-runtime",
|
|
222
|
+
"conforming-transition-store-runtime",
|
|
223
|
+
"commit-domain"
|
|
224
|
+
],
|
|
225
|
+
"outputAuthority": "staged-candidate-locator-non-authoritative",
|
|
226
|
+
"processBoundary": "same-runtime-custody",
|
|
227
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
228
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
229
|
+
},
|
|
230
|
+
{
|
|
231
|
+
"operation": "artifact.transition.commit",
|
|
232
|
+
"authorityProfiles": [
|
|
233
|
+
"artifact-local",
|
|
234
|
+
"global-shared"
|
|
235
|
+
],
|
|
236
|
+
"inputAuthority": "staged-candidate-reference",
|
|
237
|
+
"requiredEvidence": [
|
|
238
|
+
"sdk-plan-runtime",
|
|
239
|
+
"verified-capability-runtime",
|
|
240
|
+
"staged-candidate-reference",
|
|
241
|
+
"conforming-transition-store-runtime",
|
|
242
|
+
"commit-domain"
|
|
243
|
+
],
|
|
244
|
+
"outputAuthority": "accepted-artifact-history-with-report-only-receipt",
|
|
245
|
+
"processBoundary": "same-runtime-custody",
|
|
246
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
247
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
248
|
+
},
|
|
249
|
+
{
|
|
250
|
+
"operation": "admission.command.execute",
|
|
251
|
+
"authorityProfiles": [
|
|
252
|
+
"artifact-local",
|
|
253
|
+
"global-shared",
|
|
254
|
+
"projection-only",
|
|
255
|
+
"simulation-only"
|
|
256
|
+
],
|
|
257
|
+
"inputAuthority": "claimed-command",
|
|
258
|
+
"requiredEvidence": [
|
|
259
|
+
"claimed-command",
|
|
260
|
+
"current-registry",
|
|
261
|
+
"capability-verifier-runtime",
|
|
262
|
+
"consequence-projector-runtime",
|
|
263
|
+
"admission-store"
|
|
264
|
+
],
|
|
265
|
+
"outputAuthority": "admission-receipt-non-authoritative",
|
|
266
|
+
"processBoundary": "same-runtime-custody",
|
|
267
|
+
"namespacePolicy": "not-applicable",
|
|
268
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
269
|
+
},
|
|
270
|
+
{
|
|
271
|
+
"operation": "public-proof.projection.locate",
|
|
272
|
+
"authorityProfiles": [
|
|
273
|
+
"projection-only"
|
|
274
|
+
],
|
|
275
|
+
"inputAuthority": "projection-only",
|
|
276
|
+
"requiredEvidence": [
|
|
277
|
+
"projection-locator"
|
|
278
|
+
],
|
|
279
|
+
"outputAuthority": "exact-artifact-bytes-not-yet-verified",
|
|
280
|
+
"processBoundary": "projection-only",
|
|
281
|
+
"namespacePolicy": "not-applicable",
|
|
282
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
283
|
+
}
|
|
284
|
+
],
|
|
285
|
+
"currentMcpArtifactTools": [
|
|
286
|
+
"receiz_artifact_verify",
|
|
287
|
+
"receiz_artifact_admit",
|
|
288
|
+
"receiz_artifact_append_plan",
|
|
289
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
290
|
+
"receiz_artifact_transition_commit"
|
|
291
|
+
],
|
|
292
|
+
"sdkOperations": [
|
|
293
|
+
"artifact.verify",
|
|
294
|
+
"artifact.admit",
|
|
295
|
+
"artifact.append.plan",
|
|
296
|
+
"identity.capability.sign",
|
|
297
|
+
"artifact.transition.seal",
|
|
298
|
+
"artifact.transition.stage",
|
|
299
|
+
"artifact.transition.commit",
|
|
300
|
+
"admission.command.execute",
|
|
301
|
+
"public-proof.projection.locate"
|
|
302
|
+
]
|
|
57
303
|
}
|
|
@@ -10,7 +10,7 @@ Audit actors, tenants, capabilities, proof domains, confused-deputy paths, escal
|
|
|
10
10
|
## Constitutional workflow
|
|
11
11
|
|
|
12
12
|
1. Inspect the repository and installed SDK version.
|
|
13
|
-
2. Load the active
|
|
13
|
+
2. Load the active canonical v112 registry and applicable constitutional laws.
|
|
14
14
|
3. Identify every authority boundary affected by the change.
|
|
15
15
|
4. Write the implementation contract before implementation.
|
|
16
16
|
5. Implement canonical changes only through SDK commands.
|
|
@@ -51,3 +51,12 @@ Request: Audit actors, tenants, capabilities, proof domains, confused-deputy pat
|
|
|
51
51
|
|
|
52
52
|
Return a written implementation contract and read-only plan first. Execute only allowed commands after exact confirmation, then report registry digest, laws, authority, tests, independent evidence, release-lock status, and the exact remaining boundary.
|
|
53
53
|
|
|
54
|
+
## v112 artifact-derived authority
|
|
55
|
+
|
|
56
|
+
Engineers remain free to build whatever they choose, but conforming Receiz receivers recognize authority only when every authority-bearing value is provably derived from independently verified artifact truth. Custom JavaScript objects, callbacks, normalized histories, local receipts, server rows, sessions, MCP memory, and AI explanations remain application data or inspection material; their shape never creates Receiz authority.
|
|
57
|
+
|
|
58
|
+
Admission begins from runtime-custodied verification of the exact enclosing artifact bytes under the complete frozen verifier context. Verified history and actor evidence remain same-runtime objects and fail closed on divergence or structural reconstruction. Identity Seal signing uses a locally held Ed25519 or P-256 key and emits a signed capability claim; only current verification of that claim against the exact plan produces capability authority.
|
|
59
|
+
|
|
60
|
+
Deterministic plan identity and unique execution-attempt identity are separate. MCP may reuse a confirmation digest only while the identical attempt is actively pending; committed and failed attempts are terminal and require a fresh confirmation. Expected authority failures are structured, immutable, machine-readable, and report zero writes.
|
|
61
|
+
|
|
62
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, actors, capabilities, plans, candidates, stores, or confirmations cannot authorize a current v112 receiver; exact bytes crossing a process require `reverify-exact-bytes`, followed by current profile admission and `same-runtime-custody` through plan, capability, seal, stage, independent byte resolution, atomic named-domain acceptance, and report-only receipt.
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v112",
|
|
3
3
|
"name": "receiz-authority-security",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "112.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=112.0.0 <113.0.0",
|
|
7
|
+
"mcp": ">=112.0.0 <113.0.0",
|
|
8
|
+
"ruleset": "112.0.0",
|
|
9
|
+
"registryDigest": "1356f8122d0b5fcbe891d7e6ed1e75faca827f15d63d1ed5d950664e11c146ee"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.authority.capability-bound",
|
|
@@ -18,12 +18,37 @@
|
|
|
18
18
|
"receiz_authority_inspect",
|
|
19
19
|
"receiz_bypass_scan",
|
|
20
20
|
"receiz_command_simulate",
|
|
21
|
-
"receiz_law_explain"
|
|
21
|
+
"receiz_law_explain",
|
|
22
|
+
"receiz_artifact_verify",
|
|
23
|
+
"receiz_artifact_admit",
|
|
24
|
+
"receiz_artifact_append_plan",
|
|
25
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
26
|
+
"receiz_artifact_transition_commit"
|
|
22
27
|
],
|
|
23
28
|
"forbiddenOperations": [
|
|
24
29
|
"direct-state-write",
|
|
25
30
|
"history-rewrite",
|
|
26
|
-
"authority-bypass"
|
|
31
|
+
"authority-bypass",
|
|
32
|
+
"structural-object-as-authority",
|
|
33
|
+
"caller-verifier-as-history-authority",
|
|
34
|
+
"parseable-key-as-signing-authority",
|
|
35
|
+
"terminal-mcp-confirmation-reuse",
|
|
36
|
+
"historical-runtime-object-as-current-authority",
|
|
37
|
+
"projection-as-artifact-authority",
|
|
38
|
+
"runtime-shape-as-v112-authority",
|
|
39
|
+
"subpayload-hash-as-enclosing-authority",
|
|
40
|
+
"unaccepted-candidate-as-committed",
|
|
41
|
+
"staging-reference-without-byte-resolution",
|
|
42
|
+
"receipt-as-proof-authority",
|
|
43
|
+
"cross-domain-idempotency-conflict",
|
|
44
|
+
"external-effects-in-transition-digest",
|
|
45
|
+
"serialized-sdk-authority",
|
|
46
|
+
"mcp-property-bag-authority",
|
|
47
|
+
"generic-constitutional-artifact-mutation",
|
|
48
|
+
"confirmation-as-proof-authority",
|
|
49
|
+
"receipt-actor-as-runtime-identity",
|
|
50
|
+
"browser-proof-object-storage",
|
|
51
|
+
"known-artifact-first-paint-blocking"
|
|
27
52
|
],
|
|
28
53
|
"requiredInputs": [
|
|
29
54
|
"repository-root",
|
|
@@ -39,7 +64,25 @@
|
|
|
39
64
|
"replay-equivalence",
|
|
40
65
|
"compatibility",
|
|
41
66
|
"mcp-conformance",
|
|
42
|
-
"independent-verifier"
|
|
67
|
+
"independent-verifier",
|
|
68
|
+
"canonical-exact-byte-readmission",
|
|
69
|
+
"complete-verifier-context-digest",
|
|
70
|
+
"independent-proof-history-evidence-roots",
|
|
71
|
+
"domain-separated-signing-challenge",
|
|
72
|
+
"distinct-plan-and-attempt-identities",
|
|
73
|
+
"structured-zero-write-failures",
|
|
74
|
+
"exact-nine-row-operation-matrix-parity",
|
|
75
|
+
"exact-five-tool-mcp-parity",
|
|
76
|
+
"process-boundary-parity",
|
|
77
|
+
"exact-byte-reverification",
|
|
78
|
+
"identity-seal-ed25519-p256-signing",
|
|
79
|
+
"neutral-staging-zero-head-writes",
|
|
80
|
+
"independent-staged-byte-resolution",
|
|
81
|
+
"named-domain-atomic-acceptance",
|
|
82
|
+
"report-only-receipt",
|
|
83
|
+
"browser-ledger-no-proof-bytes",
|
|
84
|
+
"generated-file-ownership-preservation",
|
|
85
|
+
"current-registry-payload-digest-equality"
|
|
43
86
|
],
|
|
44
87
|
"completionCriteria": [
|
|
45
88
|
"written-implementation-contract",
|
|
@@ -54,5 +97,208 @@
|
|
|
54
97
|
"missing-capability",
|
|
55
98
|
"ambiguous-migration"
|
|
56
99
|
],
|
|
57
|
-
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
100
|
+
"maximumAutonomousAuthority": "inspect-plan-scaffold-test",
|
|
101
|
+
"artifactLawVersion": "112.0.0",
|
|
102
|
+
"artifactLaws": [
|
|
103
|
+
"ARTIFACT-001",
|
|
104
|
+
"ARTIFACT-002",
|
|
105
|
+
"ARTIFACT-003",
|
|
106
|
+
"ARTIFACT-004",
|
|
107
|
+
"ARTIFACT-005",
|
|
108
|
+
"ARTIFACT-006",
|
|
109
|
+
"ARTIFACT-007",
|
|
110
|
+
"ARTIFACT-008",
|
|
111
|
+
"ARTIFACT-009",
|
|
112
|
+
"ARTIFACT-010",
|
|
113
|
+
"ARTIFACT-011",
|
|
114
|
+
"ARTIFACT-012",
|
|
115
|
+
"ARTIFACT-013",
|
|
116
|
+
"ARTIFACT-014",
|
|
117
|
+
"ARTIFACT-015",
|
|
118
|
+
"ARTIFACT-016",
|
|
119
|
+
"ARTIFACT-017",
|
|
120
|
+
"ARTIFACT-018",
|
|
121
|
+
"ARTIFACT-019",
|
|
122
|
+
"ARTIFACT-020",
|
|
123
|
+
"ARTIFACT-021",
|
|
124
|
+
"ARTIFACT-022",
|
|
125
|
+
"ARTIFACT-023",
|
|
126
|
+
"ARTIFACT-024",
|
|
127
|
+
"ARTIFACT-025",
|
|
128
|
+
"ARTIFACT-026",
|
|
129
|
+
"ARTIFACT-027",
|
|
130
|
+
"ARTIFACT-028",
|
|
131
|
+
"ARTIFACT-029",
|
|
132
|
+
"ARTIFACT-030"
|
|
133
|
+
],
|
|
134
|
+
"operationAuthorityMatrix": [
|
|
135
|
+
{
|
|
136
|
+
"operation": "artifact.verify",
|
|
137
|
+
"authorityProfiles": [],
|
|
138
|
+
"inputAuthority": "exact-artifact-bytes",
|
|
139
|
+
"requiredEvidence": [
|
|
140
|
+
"exact-artifact-bytes",
|
|
141
|
+
"pinned-verifier-roots"
|
|
142
|
+
],
|
|
143
|
+
"outputAuthority": "verified-artifact-runtime",
|
|
144
|
+
"processBoundary": "reverify-exact-bytes",
|
|
145
|
+
"namespacePolicy": "not-applicable",
|
|
146
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
147
|
+
},
|
|
148
|
+
{
|
|
149
|
+
"operation": "artifact.admit",
|
|
150
|
+
"authorityProfiles": [],
|
|
151
|
+
"inputAuthority": "verified-artifact-runtime",
|
|
152
|
+
"requiredEvidence": [
|
|
153
|
+
"verified-artifact-runtime",
|
|
154
|
+
"admission-profile",
|
|
155
|
+
"current-registry"
|
|
156
|
+
],
|
|
157
|
+
"outputAuthority": "verified-admission-runtime",
|
|
158
|
+
"processBoundary": "same-runtime-custody",
|
|
159
|
+
"namespacePolicy": "not-applicable",
|
|
160
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
161
|
+
},
|
|
162
|
+
{
|
|
163
|
+
"operation": "artifact.append.plan",
|
|
164
|
+
"authorityProfiles": [
|
|
165
|
+
"artifact-local",
|
|
166
|
+
"global-shared"
|
|
167
|
+
],
|
|
168
|
+
"inputAuthority": "verified-admission-runtime",
|
|
169
|
+
"requiredEvidence": [
|
|
170
|
+
"verified-admission-runtime",
|
|
171
|
+
"verified-history-runtime",
|
|
172
|
+
"verified-actor-runtime",
|
|
173
|
+
"discovered-registry-law-runtime",
|
|
174
|
+
"commit-domain",
|
|
175
|
+
"canonical-event",
|
|
176
|
+
"expected-head",
|
|
177
|
+
"idempotency-identity"
|
|
178
|
+
],
|
|
179
|
+
"outputAuthority": "sdk-plan-runtime",
|
|
180
|
+
"processBoundary": "same-runtime-custody",
|
|
181
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
182
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
183
|
+
},
|
|
184
|
+
{
|
|
185
|
+
"operation": "identity.capability.sign",
|
|
186
|
+
"authorityProfiles": [],
|
|
187
|
+
"inputAuthority": "identity-key-file",
|
|
188
|
+
"requiredEvidence": [
|
|
189
|
+
"identity-key-file",
|
|
190
|
+
"capability-payload"
|
|
191
|
+
],
|
|
192
|
+
"outputAuthority": "signed-capability-claim-not-yet-verified",
|
|
193
|
+
"processBoundary": "local-identity-key-custody",
|
|
194
|
+
"namespacePolicy": "not-applicable",
|
|
195
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
196
|
+
},
|
|
197
|
+
{
|
|
198
|
+
"operation": "artifact.transition.seal",
|
|
199
|
+
"authorityProfiles": [
|
|
200
|
+
"artifact-local",
|
|
201
|
+
"global-shared"
|
|
202
|
+
],
|
|
203
|
+
"inputAuthority": "sdk-plan-runtime",
|
|
204
|
+
"requiredEvidence": [
|
|
205
|
+
"sdk-plan-runtime",
|
|
206
|
+
"verified-capability-runtime",
|
|
207
|
+
"transition-sealer-runtime"
|
|
208
|
+
],
|
|
209
|
+
"outputAuthority": "sealed-candidate-proof-object-not-accepted-head",
|
|
210
|
+
"processBoundary": "same-runtime-custody",
|
|
211
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
212
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
213
|
+
},
|
|
214
|
+
{
|
|
215
|
+
"operation": "artifact.transition.stage",
|
|
216
|
+
"authorityProfiles": [
|
|
217
|
+
"artifact-local",
|
|
218
|
+
"global-shared"
|
|
219
|
+
],
|
|
220
|
+
"inputAuthority": "sealed-candidate-runtime",
|
|
221
|
+
"requiredEvidence": [
|
|
222
|
+
"sealed-candidate-runtime",
|
|
223
|
+
"conforming-transition-store-runtime",
|
|
224
|
+
"commit-domain"
|
|
225
|
+
],
|
|
226
|
+
"outputAuthority": "staged-candidate-locator-non-authoritative",
|
|
227
|
+
"processBoundary": "same-runtime-custody",
|
|
228
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
229
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
230
|
+
},
|
|
231
|
+
{
|
|
232
|
+
"operation": "artifact.transition.commit",
|
|
233
|
+
"authorityProfiles": [
|
|
234
|
+
"artifact-local",
|
|
235
|
+
"global-shared"
|
|
236
|
+
],
|
|
237
|
+
"inputAuthority": "staged-candidate-reference",
|
|
238
|
+
"requiredEvidence": [
|
|
239
|
+
"sdk-plan-runtime",
|
|
240
|
+
"verified-capability-runtime",
|
|
241
|
+
"staged-candidate-reference",
|
|
242
|
+
"conforming-transition-store-runtime",
|
|
243
|
+
"commit-domain"
|
|
244
|
+
],
|
|
245
|
+
"outputAuthority": "accepted-artifact-history-with-report-only-receipt",
|
|
246
|
+
"processBoundary": "same-runtime-custody",
|
|
247
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
248
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
249
|
+
},
|
|
250
|
+
{
|
|
251
|
+
"operation": "admission.command.execute",
|
|
252
|
+
"authorityProfiles": [
|
|
253
|
+
"artifact-local",
|
|
254
|
+
"global-shared",
|
|
255
|
+
"projection-only",
|
|
256
|
+
"simulation-only"
|
|
257
|
+
],
|
|
258
|
+
"inputAuthority": "claimed-command",
|
|
259
|
+
"requiredEvidence": [
|
|
260
|
+
"claimed-command",
|
|
261
|
+
"current-registry",
|
|
262
|
+
"capability-verifier-runtime",
|
|
263
|
+
"consequence-projector-runtime",
|
|
264
|
+
"admission-store"
|
|
265
|
+
],
|
|
266
|
+
"outputAuthority": "admission-receipt-non-authoritative",
|
|
267
|
+
"processBoundary": "same-runtime-custody",
|
|
268
|
+
"namespacePolicy": "not-applicable",
|
|
269
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
270
|
+
},
|
|
271
|
+
{
|
|
272
|
+
"operation": "public-proof.projection.locate",
|
|
273
|
+
"authorityProfiles": [
|
|
274
|
+
"projection-only"
|
|
275
|
+
],
|
|
276
|
+
"inputAuthority": "projection-only",
|
|
277
|
+
"requiredEvidence": [
|
|
278
|
+
"projection-locator"
|
|
279
|
+
],
|
|
280
|
+
"outputAuthority": "exact-artifact-bytes-not-yet-verified",
|
|
281
|
+
"processBoundary": "projection-only",
|
|
282
|
+
"namespacePolicy": "not-applicable",
|
|
283
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
284
|
+
}
|
|
285
|
+
],
|
|
286
|
+
"currentMcpArtifactTools": [
|
|
287
|
+
"receiz_artifact_verify",
|
|
288
|
+
"receiz_artifact_admit",
|
|
289
|
+
"receiz_artifact_append_plan",
|
|
290
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
291
|
+
"receiz_artifact_transition_commit"
|
|
292
|
+
],
|
|
293
|
+
"sdkOperations": [
|
|
294
|
+
"artifact.verify",
|
|
295
|
+
"artifact.admit",
|
|
296
|
+
"artifact.append.plan",
|
|
297
|
+
"identity.capability.sign",
|
|
298
|
+
"artifact.transition.seal",
|
|
299
|
+
"artifact.transition.stage",
|
|
300
|
+
"artifact.transition.commit",
|
|
301
|
+
"admission.command.execute",
|
|
302
|
+
"public-proof.projection.locate"
|
|
303
|
+
]
|
|
58
304
|
}
|
|
@@ -68,6 +68,16 @@ The active MCP path calls `client.artifacts.verifyAndOpen(completeFile)`, then `
|
|
|
68
68
|
|
|
69
69
|
Run `generic-bearer-transfer` and `previous-owner-projection-invalidation` across qualifying artifact families. Require the prior ownership reference to come from carried verified proof and the output to be a native sealed artifact.
|
|
70
70
|
|
|
71
|
-
##
|
|
71
|
+
## v112 recovery authority
|
|
72
72
|
|
|
73
|
-
|
|
73
|
+
Verify exact bytes, then request the `portable-state` admission profile before append planning. Admission proves eligibility only; possession never becomes identity or operation authority. Ownership transition requires verified history and actor evidence, registry-derived effects, the exact named-domain plan, a plan-bound verified capability, sealed and durably staged bytes, and atomic acceptance after independent byte resolution.
|
|
74
|
+
|
|
75
|
+
## v112 artifact-derived authority
|
|
76
|
+
|
|
77
|
+
Engineers remain free to build whatever they choose, but conforming Receiz receivers recognize authority only when every authority-bearing value is provably derived from independently verified artifact truth. Custom JavaScript objects, callbacks, normalized histories, local receipts, server rows, sessions, MCP memory, and AI explanations remain application data or inspection material; their shape never creates Receiz authority.
|
|
78
|
+
|
|
79
|
+
Admission begins from runtime-custodied verification of the exact enclosing artifact bytes under the complete frozen verifier context. Verified history and actor evidence remain same-runtime objects and fail closed on divergence or structural reconstruction. Identity Seal signing uses a locally held Ed25519 or P-256 key and emits a signed capability claim; only current verification of that claim against the exact plan produces capability authority.
|
|
80
|
+
|
|
81
|
+
Deterministic plan identity and unique execution-attempt identity are separate. MCP may reuse a confirmation digest only while the identical attempt is actively pending; committed and failed attempts are terminal and require a fresh confirmation. Expected authority failures are structured, immutable, machine-readable, and report zero writes.
|
|
82
|
+
|
|
83
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, actors, capabilities, plans, candidates, stores, or confirmations cannot authorize a current v112 receiver; exact bytes crossing a process require `reverify-exact-bytes`, followed by current profile admission and `same-runtime-custody` through plan, capability, seal, stage, independent byte resolution, atomic named-domain acceptance, and report-only receipt.
|