@receiz/ai-skills 110.0.0 → 111.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 +4 -4
- package/package.json +1 -1
- package/receiz-app-builder-skill/SKILL.md +13 -3
- package/receiz-app-builder-skill/manifest.json +27 -11
- package/receiz-architecture/SKILL.md +9 -0
- package/receiz-architecture/manifest.json +19 -8
- package/receiz-authority-security/SKILL.md +9 -0
- package/receiz-authority-security/manifest.json +19 -8
- package/receiz-bearer-ownership/SKILL.md +11 -1
- package/receiz-bearer-ownership/manifest.json +66 -10
- package/receiz-build-production-system/SKILL.md +10 -0
- package/receiz-build-production-system/manifest.json +19 -8
- package/receiz-causal-sync/SKILL.md +9 -0
- package/receiz-causal-sync/manifest.json +19 -8
- package/receiz-command-builder/SKILL.md +9 -0
- package/receiz-command-builder/manifest.json +19 -8
- package/receiz-constitutional-laws/SKILL.md +9 -0
- package/receiz-constitutional-laws/manifest.json +19 -8
- package/receiz-cross-app-state/SKILL.md +13 -3
- package/receiz-cross-app-state/manifest.json +27 -11
- package/receiz-deterministic-replay/SKILL.md +9 -0
- package/receiz-deterministic-replay/manifest.json +19 -8
- package/receiz-domain-builder/SKILL.md +9 -0
- package/receiz-domain-builder/manifest.json +19 -8
- package/receiz-identity-profile/SKILL.md +13 -3
- package/receiz-identity-profile/manifest.json +57 -10
- package/receiz-mcp-agent-skill/SKILL.md +1 -1
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +4 -4
- package/receiz-migrations/SKILL.md +14 -4
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +27 -11
- package/receiz-observability/SKILL.md +9 -0
- package/receiz-observability/manifest.json +19 -8
- package/receiz-offline-command/SKILL.md +10 -0
- package/receiz-offline-command/manifest.json +54 -10
- package/receiz-offline-first/SKILL.md +9 -0
- package/receiz-offline-first/manifest.json +19 -8
- package/receiz-offline-verifier-skill/SKILL.md +13 -3
- package/receiz-offline-verifier-skill/manifest.json +27 -11
- package/receiz-performance/SKILL.md +9 -0
- package/receiz-performance/manifest.json +19 -8
- package/receiz-portable-artifacts/SKILL.md +13 -3
- package/receiz-portable-artifacts/manifest.json +27 -11
- package/receiz-portable-continuity/SKILL.md +12 -2
- package/receiz-portable-continuity/manifest.json +74 -10
- package/receiz-proof-media/SKILL.md +10 -0
- package/receiz-proof-media/manifest.json +57 -10
- package/receiz-proof-skill/SKILL.md +13 -3
- package/receiz-proof-skill/manifest.json +27 -11
- package/receiz-proof-skill/resources/sdk-reference.md +3 -3
- package/receiz-receipt-admission/SKILL.md +14 -4
- package/receiz-receipt-admission/manifest.json +58 -9
- package/receiz-release/SKILL.md +14 -4
- package/receiz-release/manifest.json +27 -11
- package/receiz-testing/SKILL.md +13 -3
- package/receiz-testing/manifest.json +27 -11
- package/scripts/validate-skills.ts +14 -14
|
@@ -7,7 +7,7 @@ description: Use when carrying verified namespaced account state between Receiz
|
|
|
7
7
|
|
|
8
8
|
Continue the same Receiz identity across applications by restoring portable account truth and appending isolated namespaces. Cross-app continuation is an identity primitive, not session sharing.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v111 artifact law
|
|
11
11
|
|
|
12
12
|
A Receiz artifact is the exact byte sequence returned by native Record -> Seal. The inner payload is never an acceptable substitute.
|
|
13
13
|
|
|
@@ -38,7 +38,7 @@ Independently hash the saved bytes and require equality with `sealedArtifact.art
|
|
|
38
38
|
## Twelve-step artifact workflow
|
|
39
39
|
|
|
40
40
|
1. Label the input bytes as `payload`; never call them an artifact.
|
|
41
|
-
2. Load the active signed
|
|
41
|
+
2. Load the active signed v111 registry and `ARTIFACT-001` through `ARTIFACT-010`.
|
|
42
42
|
3. Call `receiz.assets.createProofObject` so Receiz.com performs native Record -> Seal.
|
|
43
43
|
4. Require an SDK-issued `receiz.native-record-seal`; failure returns no artifact and no payload fallback.
|
|
44
44
|
5. Require complete enclosing-artifact verification, integrity, Signature V4, owner, claim, verify path, and payload binding.
|
|
@@ -152,7 +152,7 @@ Call `receiz_artifact_verify` and `receiz_artifact_extract_verified` for input,
|
|
|
152
152
|
|
|
153
153
|
Run current native artifact round-trip, destination reopen, namespace-preservation, and artifact-substitution rejection contracts. Historical obsolete-versioned reconcile fixtures are archival evidence only.
|
|
154
154
|
|
|
155
|
-
##
|
|
155
|
+
## v111 unified admission and recovery
|
|
156
156
|
|
|
157
157
|
Use `receiz.artifacts.admit(file)` to verify the complete artifact before classification. Verdicts are exactly `canonical-identity`, `bearer-recovery`, `verified-legacy-read`, `foreign-owner`, or `invalid`. Every verified result must report `canRestore`, `canSign`, `canClaimOwnership`, `canPublish`, and `canSettle` without inferring stronger authority from possession.
|
|
158
158
|
|
|
@@ -177,3 +177,13 @@ Recovery plan digest:
|
|
|
177
177
|
Operation identity:
|
|
178
178
|
Atomic commit result:
|
|
179
179
|
```
|
|
180
|
+
|
|
181
|
+
## v111 artifact-derived authority
|
|
182
|
+
|
|
183
|
+
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.
|
|
184
|
+
|
|
185
|
+
Admission must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
186
|
+
|
|
187
|
+
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.
|
|
188
|
+
|
|
189
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-cross-app-state",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "111.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
10
|
},
|
|
11
|
-
"artifactLawVersion": "
|
|
11
|
+
"artifactLawVersion": "111.0.0",
|
|
12
12
|
"artifactLaws": [
|
|
13
13
|
"ARTIFACT-001",
|
|
14
14
|
"ARTIFACT-002",
|
|
@@ -24,7 +24,12 @@
|
|
|
24
24
|
"ARTIFACT-012",
|
|
25
25
|
"ARTIFACT-013",
|
|
26
26
|
"ARTIFACT-014",
|
|
27
|
-
"ARTIFACT-015"
|
|
27
|
+
"ARTIFACT-015",
|
|
28
|
+
"ARTIFACT-016",
|
|
29
|
+
"ARTIFACT-017",
|
|
30
|
+
"ARTIFACT-018",
|
|
31
|
+
"ARTIFACT-019",
|
|
32
|
+
"ARTIFACT-020"
|
|
28
33
|
],
|
|
29
34
|
"laws": [
|
|
30
35
|
"receiz.identity.cross-app-continuity",
|
|
@@ -79,7 +84,12 @@
|
|
|
79
84
|
"hidden-recovery-mutation",
|
|
80
85
|
"explanation-as-authority",
|
|
81
86
|
"raw-capability-authority",
|
|
82
|
-
"card-payload-admission"
|
|
87
|
+
"card-payload-admission",
|
|
88
|
+
"structural-object-as-authority",
|
|
89
|
+
"caller-verifier-as-history-authority",
|
|
90
|
+
"parseable-key-as-signing-authority",
|
|
91
|
+
"terminal-mcp-confirmation-reuse",
|
|
92
|
+
"historical-runtime-object-as-current-authority"
|
|
83
93
|
],
|
|
84
94
|
"requiredEvidence": [
|
|
85
95
|
"same-account-uid-result",
|
|
@@ -103,7 +113,13 @@
|
|
|
103
113
|
"zero-network-read-only-coordinator",
|
|
104
114
|
"atomic-recovery-commit",
|
|
105
115
|
"operation-identity-parity",
|
|
106
|
-
"multi-application-convergence"
|
|
116
|
+
"multi-application-convergence",
|
|
117
|
+
"canonical-exact-byte-readmission",
|
|
118
|
+
"complete-verifier-context-digest",
|
|
119
|
+
"independent-proof-history-evidence-roots",
|
|
120
|
+
"domain-separated-signing-challenge",
|
|
121
|
+
"distinct-plan-and-attempt-identities",
|
|
122
|
+
"structured-zero-write-failures"
|
|
107
123
|
],
|
|
108
124
|
"requiredCompletionFields": [
|
|
109
125
|
"sdk-version",
|
|
@@ -132,7 +148,7 @@
|
|
|
132
148
|
"release-lock-pass",
|
|
133
149
|
"zero-network-verification",
|
|
134
150
|
"local-verifier-result",
|
|
135
|
-
"
|
|
151
|
+
"v111-artifact-authority-conformance",
|
|
136
152
|
"no-hidden-mutation",
|
|
137
153
|
"explanation-remains-non-authoritative"
|
|
138
154
|
],
|
|
@@ -51,3 +51,12 @@ Request: Recompute admitted history from canonical inputs and prove checkpoint,
|
|
|
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
|
+
## v111 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 must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
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, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-deterministic-replay",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "111.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.replay.deterministic",
|
|
@@ -23,7 +23,12 @@
|
|
|
23
23
|
"forbiddenOperations": [
|
|
24
24
|
"direct-state-write",
|
|
25
25
|
"history-rewrite",
|
|
26
|
-
"authority-bypass"
|
|
26
|
+
"authority-bypass",
|
|
27
|
+
"structural-object-as-authority",
|
|
28
|
+
"caller-verifier-as-history-authority",
|
|
29
|
+
"parseable-key-as-signing-authority",
|
|
30
|
+
"terminal-mcp-confirmation-reuse",
|
|
31
|
+
"historical-runtime-object-as-current-authority"
|
|
27
32
|
],
|
|
28
33
|
"requiredInputs": [
|
|
29
34
|
"repository-root",
|
|
@@ -39,7 +44,13 @@
|
|
|
39
44
|
"replay-equivalence",
|
|
40
45
|
"compatibility",
|
|
41
46
|
"mcp-conformance",
|
|
42
|
-
"independent-verifier"
|
|
47
|
+
"independent-verifier",
|
|
48
|
+
"canonical-exact-byte-readmission",
|
|
49
|
+
"complete-verifier-context-digest",
|
|
50
|
+
"independent-proof-history-evidence-roots",
|
|
51
|
+
"domain-separated-signing-challenge",
|
|
52
|
+
"distinct-plan-and-attempt-identities",
|
|
53
|
+
"structured-zero-write-failures"
|
|
43
54
|
],
|
|
44
55
|
"completionCriteria": [
|
|
45
56
|
"written-implementation-contract",
|
|
@@ -51,3 +51,12 @@ Request: Model aggregate identities, commands, events, projections, privacy clas
|
|
|
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
|
+
## v111 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 must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
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, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-domain-builder",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "111.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.command-only-mutation",
|
|
@@ -23,7 +23,12 @@
|
|
|
23
23
|
"forbiddenOperations": [
|
|
24
24
|
"direct-state-write",
|
|
25
25
|
"history-rewrite",
|
|
26
|
-
"authority-bypass"
|
|
26
|
+
"authority-bypass",
|
|
27
|
+
"structural-object-as-authority",
|
|
28
|
+
"caller-verifier-as-history-authority",
|
|
29
|
+
"parseable-key-as-signing-authority",
|
|
30
|
+
"terminal-mcp-confirmation-reuse",
|
|
31
|
+
"historical-runtime-object-as-current-authority"
|
|
27
32
|
],
|
|
28
33
|
"requiredInputs": [
|
|
29
34
|
"repository-root",
|
|
@@ -39,7 +44,13 @@
|
|
|
39
44
|
"replay-equivalence",
|
|
40
45
|
"compatibility",
|
|
41
46
|
"mcp-conformance",
|
|
42
|
-
"independent-verifier"
|
|
47
|
+
"independent-verifier",
|
|
48
|
+
"canonical-exact-byte-readmission",
|
|
49
|
+
"complete-verifier-context-digest",
|
|
50
|
+
"independent-proof-history-evidence-roots",
|
|
51
|
+
"domain-separated-signing-challenge",
|
|
52
|
+
"distinct-plan-and-attempt-identities",
|
|
53
|
+
"structured-zero-write-failures"
|
|
43
54
|
],
|
|
44
55
|
"completionCriteria": [
|
|
45
56
|
"written-implementation-contract",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: receiz-identity-profile
|
|
3
|
-
description: Use when checking username availability or updating a Receiz profile through the authenticated same-account
|
|
3
|
+
description: Use when checking username availability or updating a Receiz profile through the authenticated same-account v111 operation.
|
|
4
4
|
---
|
|
5
5
|
|
|
6
6
|
# Receiz Identity Profile
|
|
@@ -52,7 +52,7 @@ On `username_taken`, keep the same account and request another username. Preserv
|
|
|
52
52
|
|
|
53
53
|
## Result verification
|
|
54
54
|
|
|
55
|
-
Require `status === "updated"`, an `accountUid` equal to the authenticated actor, the returned profile projection, and a `/u/` profile path. The current
|
|
55
|
+
Require `status === "updated"`, an `accountUid` equal to the authenticated actor, the returned profile projection, and a `/u/` profile path. The current v111 outcome has no caller proof-head or receipt prerequisite.
|
|
56
56
|
|
|
57
57
|
## User confirmation
|
|
58
58
|
|
|
@@ -66,6 +66,16 @@ Call `receiz_identity_profile_update_plan` with `{ profile }` only. Show the pla
|
|
|
66
66
|
|
|
67
67
|
Run `username-race`. Require one commit-time winner, unchanged account UID, and no identity-key dependency. Emulator evidence is simulation evidence, never production verification.
|
|
68
68
|
|
|
69
|
-
##
|
|
69
|
+
## v111 identity recovery
|
|
70
70
|
|
|
71
71
|
`canonical-identity` is an identity continuity verdict from a verified enclosing artifact. Use its explicit permitted actions; do not infer publishing or settlement authority. `foreign-owner` and `verified-legacy-read` remain read-only. `admitAndRecover` plans locally and performs no session, network, database, or hidden mutation.
|
|
72
|
+
|
|
73
|
+
## v111 artifact-derived authority
|
|
74
|
+
|
|
75
|
+
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.
|
|
76
|
+
|
|
77
|
+
Admission must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
78
|
+
|
|
79
|
+
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.
|
|
80
|
+
|
|
81
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,14 +1,61 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-identity-profile",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": {
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
"
|
|
12
|
-
|
|
4
|
+
"version": "111.0.0",
|
|
5
|
+
"requires": {
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
|
+
},
|
|
11
|
+
"laws": [
|
|
12
|
+
"receiz.identity.continuity",
|
|
13
|
+
"receiz.profile.same-account-uid",
|
|
14
|
+
"receiz.profile.commit-time-username-uniqueness"
|
|
15
|
+
],
|
|
16
|
+
"sdkOperations": [
|
|
17
|
+
"identity.checkUsernameAvailability",
|
|
18
|
+
"profile.update",
|
|
19
|
+
"artifacts.admit",
|
|
20
|
+
"artifacts.planRecovery",
|
|
21
|
+
"artifacts.commitRecovery"
|
|
22
|
+
],
|
|
23
|
+
"allowedTools": [
|
|
24
|
+
"receiz_identity_profile_update_plan",
|
|
25
|
+
"receiz_identity_profile_update_execute",
|
|
26
|
+
"receiz_artifact_admit",
|
|
27
|
+
"receiz_artifact_recovery_plan",
|
|
28
|
+
"receiz_artifact_recovery_commit"
|
|
29
|
+
],
|
|
30
|
+
"requiredScopes": [
|
|
31
|
+
"profile"
|
|
32
|
+
],
|
|
33
|
+
"emulatorFixtures": [
|
|
34
|
+
"username-race"
|
|
35
|
+
],
|
|
36
|
+
"forbiddenOperations": [
|
|
37
|
+
"direct-state-write",
|
|
38
|
+
"identity-replacement",
|
|
39
|
+
"identity-key-prerequisite",
|
|
40
|
+
"caller-proof-head-prerequisite",
|
|
41
|
+
"receipt-authority",
|
|
42
|
+
"authority-bypass",
|
|
43
|
+
"structural-object-as-authority",
|
|
44
|
+
"caller-verifier-as-history-authority",
|
|
45
|
+
"parseable-key-as-signing-authority",
|
|
46
|
+
"terminal-mcp-confirmation-reuse",
|
|
47
|
+
"historical-runtime-object-as-current-authority"
|
|
48
|
+
],
|
|
49
|
+
"requiredEvidence": [
|
|
50
|
+
"same-account-uid-result",
|
|
51
|
+
"emulator-conformance",
|
|
52
|
+
"release-lock-pass",
|
|
53
|
+
"canonical-exact-byte-readmission",
|
|
54
|
+
"complete-verifier-context-digest",
|
|
55
|
+
"independent-proof-history-evidence-roots",
|
|
56
|
+
"domain-separated-signing-challenge",
|
|
57
|
+
"distinct-plan-and-attempt-identities",
|
|
58
|
+
"structured-zero-write-failures"
|
|
59
|
+
],
|
|
13
60
|
"maximumAutonomousAuthority": "inspect-plan-simulate"
|
|
14
61
|
}
|
|
@@ -88,6 +88,6 @@ Resources:
|
|
|
88
88
|
- [Action confirmation rules](resources/action-confirmation-rules.md)
|
|
89
89
|
- [Response templates](resources/response-templates.md)
|
|
90
90
|
|
|
91
|
-
##
|
|
91
|
+
## v111 artifact recovery tools
|
|
92
92
|
|
|
93
93
|
Use `receiz_artifact_admit`, `receiz_artifact_recovery_plan`, and `receiz_artifact_admit_and_recover` as read-only SDK orchestration. For `receiz_artifact_recovery_commit`, pass only the plan digest, exact confirmation, stable idempotency key, and expected head. Never put a capability or store object in MCP JSON; the host resolves verified authority out of band.
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# MCP Tool Map
|
|
2
2
|
|
|
3
|
-
##
|
|
3
|
+
## v111 Application Compiler
|
|
4
4
|
|
|
5
5
|
| Need | Tool | Mutation |
|
|
6
6
|
|---|---|---|
|
|
@@ -22,7 +22,7 @@ verification verdict or proof authority.
|
|
|
22
22
|
|
|
23
23
|
Source: `packages/receiz-mcp-server/src/index.ts`.
|
|
24
24
|
|
|
25
|
-
##
|
|
25
|
+
## v111 Current Profile And Ownership Outcomes
|
|
26
26
|
|
|
27
27
|
| Need | Tool | Mutation |
|
|
28
28
|
|---|---|---|
|
|
@@ -37,7 +37,7 @@ The bearer plan verifies the complete sealed artifact with `client.artifacts.ver
|
|
|
37
37
|
|
|
38
38
|
A verified proof object is not limited to the platform that created it. Any lawful platform may append authenticated ownership and history only while preserving the same immutable object identity, payload, provenance root, prior history, and unknown namespaces, then returning a complete verified proof object. These MCP tools invoke that same SDK continuity and never create an origin-platform lock or parallel chain.
|
|
39
39
|
|
|
40
|
-
##
|
|
40
|
+
## v111 Complete Artifact Custody
|
|
41
41
|
|
|
42
42
|
| Need | Tool | Boundary |
|
|
43
43
|
|---|---|---|
|
|
@@ -111,7 +111,7 @@ Emulator output is labeled `sandboxVerified`; never translate it into Receiz ver
|
|
|
111
111
|
- `receiz://sdk/docs`
|
|
112
112
|
- `receiz://schemas/proof-object-v1`
|
|
113
113
|
|
|
114
|
-
##
|
|
114
|
+
## v111 artifact admission and recovery
|
|
115
115
|
|
|
116
116
|
- `receiz_artifact_admit` — exact-byte local admission and typed authority verdict; zero writes.
|
|
117
117
|
- `receiz_artifact_recovery_plan` — deterministic plan from the runtime-held SDK admission; zero writes.
|
|
@@ -1,13 +1,13 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: receiz-migrations
|
|
3
|
-
description: Use when upgrading Receiz schemas, commands, events, projections, rulesets, registries, artifacts, or applications to the active
|
|
3
|
+
description: Use when upgrading Receiz schemas, commands, events, projections, rulesets, registries, artifacts, or applications to the active v111 contract.
|
|
4
4
|
---
|
|
5
5
|
|
|
6
6
|
# receiz-migrations
|
|
7
7
|
|
|
8
8
|
Inventory every write, classify its disposition, preserve historical readers, and fail closed on ambiguous authority. Receiz is a proof-native artifact system; this skill operates beneath sealed proof and verified local history.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v111 artifact law
|
|
11
11
|
|
|
12
12
|
A Receiz artifact is the exact byte sequence returned by native Record -> Seal. The inner payload is never an acceptable substitute.
|
|
13
13
|
|
|
@@ -38,7 +38,7 @@ Independently hash the saved bytes and require equality with `sealedArtifact.art
|
|
|
38
38
|
## Twelve-step artifact workflow
|
|
39
39
|
|
|
40
40
|
1. Label the input bytes as `payload`; never call them an artifact.
|
|
41
|
-
2. Load the active signed
|
|
41
|
+
2. Load the active signed v111 registry and `ARTIFACT-001` through `ARTIFACT-010`.
|
|
42
42
|
3. Call `receiz.assets.createProofObject` so Receiz.com performs native Record -> Seal.
|
|
43
43
|
4. Require an SDK-issued `receiz.native-record-seal`; failure returns no artifact and no payload fallback.
|
|
44
44
|
5. Require complete enclosing-artifact verification, integrity, Signature V4, owner, claim, verify path, and payload binding.
|
|
@@ -92,7 +92,7 @@ Network calls during verification: 0
|
|
|
92
92
|
Local verifier result:
|
|
93
93
|
```
|
|
94
94
|
|
|
95
|
-
##
|
|
95
|
+
## v111 unified admission and recovery
|
|
96
96
|
|
|
97
97
|
Use `receiz.artifacts.admit(file)` to verify the complete artifact before classification. Verdicts are exactly `canonical-identity`, `bearer-recovery`, `verified-legacy-read`, `foreign-owner`, or `invalid`. Every verified result must report `canRestore`, `canSign`, `canClaimOwnership`, `canPublish`, and `canSettle` without inferring stronger authority from possession.
|
|
98
98
|
|
|
@@ -161,3 +161,13 @@ Refuse completion when any manifest input, law, test, conformance result, indepe
|
|
|
161
161
|
Request: Inventory every write, classify its disposition, preserve historical readers, and fail closed on ambiguous authority.
|
|
162
162
|
|
|
163
163
|
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.
|
|
164
|
+
|
|
165
|
+
## v111 artifact-derived authority
|
|
166
|
+
|
|
167
|
+
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.
|
|
168
|
+
|
|
169
|
+
Admission must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
170
|
+
|
|
171
|
+
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.
|
|
172
|
+
|
|
173
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
interface:
|
|
2
2
|
display_name: "Receiz Migrations"
|
|
3
3
|
short_description: "Migrate constitutional applications"
|
|
4
|
-
default_prompt: "Use $receiz-migrations to migrate
|
|
4
|
+
default_prompt: "Use $receiz-migrations to migrate v111 artifact workflows without payload fallback, byte repacking, or admitted-history rewrite."
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-migrations",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "111.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
10
|
},
|
|
11
|
-
"artifactLawVersion": "
|
|
11
|
+
"artifactLawVersion": "111.0.0",
|
|
12
12
|
"artifactLaws": [
|
|
13
13
|
"ARTIFACT-001",
|
|
14
14
|
"ARTIFACT-002",
|
|
@@ -24,7 +24,12 @@
|
|
|
24
24
|
"ARTIFACT-012",
|
|
25
25
|
"ARTIFACT-013",
|
|
26
26
|
"ARTIFACT-014",
|
|
27
|
-
"ARTIFACT-015"
|
|
27
|
+
"ARTIFACT-015",
|
|
28
|
+
"ARTIFACT-016",
|
|
29
|
+
"ARTIFACT-017",
|
|
30
|
+
"ARTIFACT-018",
|
|
31
|
+
"ARTIFACT-019",
|
|
32
|
+
"ARTIFACT-020"
|
|
28
33
|
],
|
|
29
34
|
"laws": [
|
|
30
35
|
"receiz.migration.forward-only",
|
|
@@ -64,7 +69,12 @@
|
|
|
64
69
|
"hidden-recovery-mutation",
|
|
65
70
|
"explanation-as-authority",
|
|
66
71
|
"raw-capability-authority",
|
|
67
|
-
"card-payload-admission"
|
|
72
|
+
"card-payload-admission",
|
|
73
|
+
"structural-object-as-authority",
|
|
74
|
+
"caller-verifier-as-history-authority",
|
|
75
|
+
"parseable-key-as-signing-authority",
|
|
76
|
+
"terminal-mcp-confirmation-reuse",
|
|
77
|
+
"historical-runtime-object-as-current-authority"
|
|
68
78
|
],
|
|
69
79
|
"requiredInputs": [
|
|
70
80
|
"repository-root",
|
|
@@ -101,7 +111,13 @@
|
|
|
101
111
|
"zero-network-read-only-coordinator",
|
|
102
112
|
"atomic-recovery-commit",
|
|
103
113
|
"operation-identity-parity",
|
|
104
|
-
"multi-application-convergence"
|
|
114
|
+
"multi-application-convergence",
|
|
115
|
+
"canonical-exact-byte-readmission",
|
|
116
|
+
"complete-verifier-context-digest",
|
|
117
|
+
"independent-proof-history-evidence-roots",
|
|
118
|
+
"domain-separated-signing-challenge",
|
|
119
|
+
"distinct-plan-and-attempt-identities",
|
|
120
|
+
"structured-zero-write-failures"
|
|
105
121
|
],
|
|
106
122
|
"requiredCompletionFields": [
|
|
107
123
|
"sdk-version",
|
|
@@ -132,7 +148,7 @@
|
|
|
132
148
|
"release-lock-pass",
|
|
133
149
|
"zero-network-verification",
|
|
134
150
|
"local-verifier-result",
|
|
135
|
-
"
|
|
151
|
+
"v111-artifact-authority-conformance",
|
|
136
152
|
"no-hidden-mutation",
|
|
137
153
|
"explanation-remains-non-authoritative"
|
|
138
154
|
],
|
|
@@ -51,3 +51,12 @@ Request: Emit lower-authority operational evidence keyed by command, receipt, te
|
|
|
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
|
+
## v111 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 must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
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, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-observability",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "111.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=111.0.0 <112.0.0",
|
|
7
|
+
"mcp": ">=111.0.0 <112.0.0",
|
|
8
|
+
"ruleset": "111.0.0",
|
|
9
|
+
"registryDigest": "cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.observability.lower-authority",
|
|
@@ -23,7 +23,12 @@
|
|
|
23
23
|
"forbiddenOperations": [
|
|
24
24
|
"direct-state-write",
|
|
25
25
|
"history-rewrite",
|
|
26
|
-
"authority-bypass"
|
|
26
|
+
"authority-bypass",
|
|
27
|
+
"structural-object-as-authority",
|
|
28
|
+
"caller-verifier-as-history-authority",
|
|
29
|
+
"parseable-key-as-signing-authority",
|
|
30
|
+
"terminal-mcp-confirmation-reuse",
|
|
31
|
+
"historical-runtime-object-as-current-authority"
|
|
27
32
|
],
|
|
28
33
|
"requiredInputs": [
|
|
29
34
|
"repository-root",
|
|
@@ -39,7 +44,13 @@
|
|
|
39
44
|
"replay-equivalence",
|
|
40
45
|
"compatibility",
|
|
41
46
|
"mcp-conformance",
|
|
42
|
-
"independent-verifier"
|
|
47
|
+
"independent-verifier",
|
|
48
|
+
"canonical-exact-byte-readmission",
|
|
49
|
+
"complete-verifier-context-digest",
|
|
50
|
+
"independent-proof-history-evidence-roots",
|
|
51
|
+
"domain-separated-signing-challenge",
|
|
52
|
+
"distinct-plan-and-attempt-identities",
|
|
53
|
+
"structured-zero-write-failures"
|
|
43
54
|
],
|
|
44
55
|
"completionCriteria": [
|
|
45
56
|
"written-implementation-contract",
|
|
@@ -68,3 +68,13 @@ There is no current MCP queue mutation authority. Do not invent one and do not c
|
|
|
68
68
|
## Emulator fixture
|
|
69
69
|
|
|
70
70
|
Run the current offline proof replay, durable queue, and artifact-substitution rejection contracts. Historical obsolete-versioned signed-command fixtures remain archival evidence only.
|
|
71
|
+
|
|
72
|
+
## v111 artifact-derived authority
|
|
73
|
+
|
|
74
|
+
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.
|
|
75
|
+
|
|
76
|
+
Admission must retain and canonically reverify the exact enclosing artifact bytes under the complete frozen verifier context. Recovery-authoritative history requires explicit independently verified evidence roots and fails closed on divergent verified heads. Canonical identity and `canSign` require enclosing-owner binding, identity-owner binding, key identity, and a domain-separated private-key challenge. Recovery planning re-derives state from verified admission and verified history.
|
|
77
|
+
|
|
78
|
+
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.
|
|
79
|
+
|
|
80
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current v111 receiver; re-admit the historical artifact's exact bytes under the current verifier.
|