@receiz/ai-skills 109.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 +38 -2
- package/receiz-app-builder-skill/manifest.json +142 -13
- 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 +14 -0
- 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 +38 -2
- package/receiz-cross-app-state/manifest.json +152 -14
- 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 +16 -2
- package/receiz-identity-profile/manifest.json +57 -10
- package/receiz-mcp-agent-skill/SKILL.md +4 -0
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +10 -3
- package/receiz-migrations/SKILL.md +39 -3
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +160 -14
- 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 +38 -2
- package/receiz-offline-verifier-skill/manifest.json +137 -13
- package/receiz-performance/SKILL.md +9 -0
- package/receiz-performance/manifest.json +19 -8
- package/receiz-portable-artifacts/SKILL.md +38 -2
- package/receiz-portable-artifacts/manifest.json +154 -17
- package/receiz-portable-continuity/SKILL.md +15 -1
- 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 +38 -2
- package/receiz-proof-skill/manifest.json +138 -13
- package/receiz-proof-skill/resources/sdk-reference.md +3 -3
- package/receiz-receipt-admission/SKILL.md +16 -2
- package/receiz-receipt-admission/manifest.json +58 -9
- package/receiz-release/SKILL.md +39 -3
- package/receiz-release/manifest.json +159 -14
- package/receiz-testing/SKILL.md +38 -2
- package/receiz-testing/manifest.json +160 -14
- package/scripts/validate-skills.ts +28 -15
package/README.md
CHANGED
|
@@ -5,9 +5,9 @@ Receiz applications. Fourteen focused constitutional skills supply architecture,
|
|
|
5
5
|
domain, law, command, authority, replay, offline, causal, artifact, migration,
|
|
6
6
|
performance, observability, testing, and release contracts. The earlier nine
|
|
7
7
|
domain skill names remain packaged for compatibility. Seven operation skill names first introduced in obsolete-versioned now
|
|
8
|
-
describe current
|
|
8
|
+
describe current v111 outcomes for identity profiles, portable continuity, bearer ownership, offline transport,
|
|
9
9
|
proof media, cross-app state, and admission evidence. Their retired obsolete-versioned mechanisms are not active defaults.
|
|
10
|
-
Every current manifest uses
|
|
10
|
+
Every current manifest uses version `111.0.0`, requires SDK/MCP `>=111.0.0 <112.0.0`, and binds ruleset `111.0.0` to registry digest `cf02d0bce6ad1541cfe84e27bfb1036777b29616bf8a1e5aeafb899a945e359a`.
|
|
11
11
|
|
|
12
12
|
This package teaches AI agents how to understand, verify, build with, and operate Receiz from the existing repository surfaces.
|
|
13
13
|
|
|
@@ -27,9 +27,9 @@ Agents may acquire scoped delegated access through the official Receiz Connect/O
|
|
|
27
27
|
|
|
28
28
|
## How Agents Should Use This Package
|
|
29
29
|
|
|
30
|
-
Start with `receiz-build-production-system` when work spans multiple constitutional domains. Its machine-readable manifest requires the exact active signed registry digest, command-only mutation, independent verification, MCP conformance, and a passing release lock. Use a focused operation skill for SDK/MCP implementation and a constitutional skill for broader system law. Stable obsolete-versioned wire schemas remain available only through the explicit historical `@receiz/sdk/obsolete-versioned` package entry; current skills never teach their key, head, receipt, reconcile, or signed-command mechanics as a
|
|
30
|
+
Start with `receiz-build-production-system` when work spans multiple constitutional domains. Its machine-readable manifest requires the exact active signed registry digest, command-only mutation, independent verification, MCP conformance, and a passing release lock. Use a focused operation skill for SDK/MCP implementation and a constitutional skill for broader system law. Stable obsolete-versioned wire schemas remain available only through the explicit historical `@receiz/sdk/obsolete-versioned` package entry; current skills never teach their key, head, receipt, reconcile, or signed-command mechanics as a v111 outcome.
|
|
31
31
|
|
|
32
|
-
The
|
|
32
|
+
The v111 operation skills are executable contracts. Current profile work uses the neutral authenticated same-UID profile operation. Current bearer ownership accepts a complete verified artifact, derives prior ownership from carried proof, and returns a native Record -> Seal artifact. Proof media uses the same native artifact custody and projects only a verified URL beneath it. These outcomes have no active identity-key, caller-head, claim-key, or receipt prerequisite. MCP calls the same SDK outcomes and never creates a parallel authority.
|
|
33
33
|
|
|
34
34
|
Stable obsolete-versioned schema names and their head/receipt mechanics remain explicitly historical compatibility, not the active/default profile, bearer, or proof-media contract.
|
|
35
35
|
|
package/package.json
CHANGED
|
@@ -8,7 +8,7 @@ description: Use when starting, integrating, upgrading, diagnosing, or repairing
|
|
|
8
8
|
Build and upgrade Receiz applications from one typed contract. The compiler is
|
|
9
9
|
integration tooling beneath Receiz proof truth; inspection is not verification.
|
|
10
10
|
|
|
11
|
-
## Binding
|
|
11
|
+
## Binding v111 artifact law
|
|
12
12
|
|
|
13
13
|
A Receiz artifact is the exact byte sequence returned by native Record -> Seal. The inner payload is never an acceptable substitute.
|
|
14
14
|
|
|
@@ -39,7 +39,7 @@ Independently hash the saved bytes and require equality with `sealedArtifact.art
|
|
|
39
39
|
## Twelve-step artifact workflow
|
|
40
40
|
|
|
41
41
|
1. Label the input bytes as `payload`; never call them an artifact.
|
|
42
|
-
2. Load the active signed
|
|
42
|
+
2. Load the active signed v111 registry and `ARTIFACT-001` through `ARTIFACT-010`.
|
|
43
43
|
3. Call `receiz.assets.createProofObject` so Receiz.com performs native Record -> Seal.
|
|
44
44
|
4. Require an SDK-issued `receiz.native-record-seal`; failure returns no artifact and no payload fallback.
|
|
45
45
|
5. Require complete enclosing-artifact verification, integrity, Signature V4, owner, claim, verify path, and payload binding.
|
|
@@ -201,3 +201,39 @@ Resources:
|
|
|
201
201
|
- [Authority boundaries](resources/authority-boundaries.md)
|
|
202
202
|
- [Generated-file repair](resources/generated-file-repair.md)
|
|
203
203
|
- [Upgrade rules](resources/upgrade-rules.md)
|
|
204
|
+
|
|
205
|
+
## v111 unified admission and recovery
|
|
206
|
+
|
|
207
|
+
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.
|
|
208
|
+
|
|
209
|
+
Use `receiz.artifacts.planRecovery(admission)` for an explicit read-only plan, or `receiz.artifacts.admitAndRecover(file)` for zero-network, read-only verification and recovery planning. Both perform zero writes. The standard proof history, parent links, ownership transitions, terminal events, unknown namespaces, plan digest, and explicit permitted actions must remain intact. Explanation is not authority; the underlying sealed proof object remains authority.
|
|
210
|
+
|
|
211
|
+
Commit only through `receiz.artifacts.commitRecovery(plan, capability, idempotencyKey, store)`. Raw capability authority is forbidden. MCP JSON must never carry a capability or store object; use runtime-resolved verified capability and a caller-provided local atomic store. The SDK/MCP/AI operation identity must match.
|
|
212
|
+
|
|
213
|
+
- Never admit a card-only payload as a Receiz artifact.
|
|
214
|
+
- Never treat an explanation as proof authority.
|
|
215
|
+
- Never accept raw capability JSON as recovery authority.
|
|
216
|
+
- Never hide mutation inside `admitAndRecover` or a recovery plan.
|
|
217
|
+
|
|
218
|
+
Current MCP parity: `receiz_artifact_admit`, `receiz_artifact_recovery_plan`, `receiz_artifact_admit_and_recover`, and `receiz_artifact_recovery_commit`.
|
|
219
|
+
|
|
220
|
+
Required completion evidence:
|
|
221
|
+
|
|
222
|
+
```md
|
|
223
|
+
Admission verdict:
|
|
224
|
+
Permitted actions:
|
|
225
|
+
Proof history digest:
|
|
226
|
+
Recovery plan digest:
|
|
227
|
+
Operation identity:
|
|
228
|
+
Atomic commit result:
|
|
229
|
+
```
|
|
230
|
+
|
|
231
|
+
## v111 artifact-derived authority
|
|
232
|
+
|
|
233
|
+
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.
|
|
234
|
+
|
|
235
|
+
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.
|
|
236
|
+
|
|
237
|
+
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.
|
|
238
|
+
|
|
239
|
+
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,17 +1,146 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-app-builder-skill",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": {
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
"
|
|
12
|
-
"
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
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
|
+
"artifactLawVersion": "111.0.0",
|
|
12
|
+
"artifactLaws": [
|
|
13
|
+
"ARTIFACT-001",
|
|
14
|
+
"ARTIFACT-002",
|
|
15
|
+
"ARTIFACT-003",
|
|
16
|
+
"ARTIFACT-004",
|
|
17
|
+
"ARTIFACT-005",
|
|
18
|
+
"ARTIFACT-006",
|
|
19
|
+
"ARTIFACT-007",
|
|
20
|
+
"ARTIFACT-008",
|
|
21
|
+
"ARTIFACT-009",
|
|
22
|
+
"ARTIFACT-010",
|
|
23
|
+
"ARTIFACT-011",
|
|
24
|
+
"ARTIFACT-012",
|
|
25
|
+
"ARTIFACT-013",
|
|
26
|
+
"ARTIFACT-014",
|
|
27
|
+
"ARTIFACT-015",
|
|
28
|
+
"ARTIFACT-016",
|
|
29
|
+
"ARTIFACT-017",
|
|
30
|
+
"ARTIFACT-018",
|
|
31
|
+
"ARTIFACT-019",
|
|
32
|
+
"ARTIFACT-020"
|
|
33
|
+
],
|
|
34
|
+
"laws": [
|
|
35
|
+
"receiz.artifact.sealed-truth",
|
|
36
|
+
"receiz.compiler.beneath-proof",
|
|
37
|
+
"receiz.artifact.verify-before-extract",
|
|
38
|
+
"ownership.cross-platform-proof-object-continuity"
|
|
39
|
+
],
|
|
40
|
+
"sdkOperations": [
|
|
41
|
+
"assets.createProofObject",
|
|
42
|
+
"artifacts.download",
|
|
43
|
+
"artifacts.verifyAndOpen",
|
|
44
|
+
"artifacts.admit",
|
|
45
|
+
"artifacts.planRecovery",
|
|
46
|
+
"artifacts.admitAndRecover",
|
|
47
|
+
"artifacts.commitRecovery"
|
|
48
|
+
],
|
|
49
|
+
"allowedTools": [
|
|
50
|
+
"receiz_project_inspect",
|
|
51
|
+
"receiz_app_plan",
|
|
52
|
+
"receiz_app_apply",
|
|
53
|
+
"receiz_app_check",
|
|
54
|
+
"receiz_release_qualify",
|
|
55
|
+
"receiz_artifact_admit",
|
|
56
|
+
"receiz_artifact_recovery_plan",
|
|
57
|
+
"receiz_artifact_admit_and_recover",
|
|
58
|
+
"receiz_artifact_recovery_commit"
|
|
59
|
+
],
|
|
60
|
+
"forbiddenOperations": [
|
|
61
|
+
"direct-state-write",
|
|
62
|
+
"payload-fallback",
|
|
63
|
+
"payload-relabel-as-artifact",
|
|
64
|
+
"artifact-repack",
|
|
65
|
+
"shape-only-verification",
|
|
66
|
+
"history-rewrite",
|
|
67
|
+
"authority-bypass",
|
|
68
|
+
"hidden-recovery-mutation",
|
|
69
|
+
"explanation-as-authority",
|
|
70
|
+
"raw-capability-authority",
|
|
71
|
+
"card-payload-admission",
|
|
72
|
+
"structural-object-as-authority",
|
|
73
|
+
"caller-verifier-as-history-authority",
|
|
74
|
+
"parseable-key-as-signing-authority",
|
|
75
|
+
"terminal-mcp-confirmation-reuse",
|
|
76
|
+
"historical-runtime-object-as-current-authority"
|
|
77
|
+
],
|
|
78
|
+
"requiredInputs": [
|
|
79
|
+
"repository-root",
|
|
80
|
+
"installed-sdk-version",
|
|
81
|
+
"active-registry-digest",
|
|
82
|
+
"artifact-law-version",
|
|
83
|
+
"labeled-byte-domains",
|
|
84
|
+
"cross-app-destination"
|
|
85
|
+
],
|
|
86
|
+
"requiredEvidence": [
|
|
87
|
+
"typecheck",
|
|
88
|
+
"conformance",
|
|
89
|
+
"exact-artifact-byte-identity",
|
|
90
|
+
"artifact-digest-match",
|
|
91
|
+
"payload-digest-binding",
|
|
92
|
+
"signature-v4",
|
|
93
|
+
"owner-claim-binding",
|
|
94
|
+
"independent-artifact-verification",
|
|
95
|
+
"cross-platform-round-trip",
|
|
96
|
+
"legacy-read-compatibility",
|
|
97
|
+
"release-lock-pass",
|
|
98
|
+
"zero-network-verification",
|
|
99
|
+
"local-verifier-result",
|
|
100
|
+
"unified-admission-verdicts",
|
|
101
|
+
"explicit-permitted-actions",
|
|
102
|
+
"verified-proof-history",
|
|
103
|
+
"zero-network-read-only-coordinator",
|
|
104
|
+
"atomic-recovery-commit",
|
|
105
|
+
"operation-identity-parity",
|
|
106
|
+
"multi-application-convergence",
|
|
107
|
+
"canonical-exact-byte-readmission",
|
|
108
|
+
"complete-verifier-context-digest",
|
|
109
|
+
"independent-proof-history-evidence-roots",
|
|
110
|
+
"domain-separated-signing-challenge",
|
|
111
|
+
"distinct-plan-and-attempt-identities",
|
|
112
|
+
"structured-zero-write-failures"
|
|
113
|
+
],
|
|
114
|
+
"requiredCompletionFields": [
|
|
115
|
+
"sdk-version",
|
|
116
|
+
"registry-digest",
|
|
117
|
+
"artifact-law-version",
|
|
118
|
+
"artifact-carrier",
|
|
119
|
+
"signature-version",
|
|
120
|
+
"artifact-digest",
|
|
121
|
+
"payload-digest",
|
|
122
|
+
"owner-and-claim-binding",
|
|
123
|
+
"independent-verification-result",
|
|
124
|
+
"cross-platform-round-trip-result",
|
|
125
|
+
"legacy-compatibility-result",
|
|
126
|
+
"release-lock-result",
|
|
127
|
+
"network-calls-during-verification",
|
|
128
|
+
"local-verifier-result",
|
|
129
|
+
"admission-verdict",
|
|
130
|
+
"permitted-actions",
|
|
131
|
+
"proof-history-digest",
|
|
132
|
+
"recovery-plan-digest",
|
|
133
|
+
"operation-identity",
|
|
134
|
+
"atomic-commit-result"
|
|
135
|
+
],
|
|
136
|
+
"completionCriteria": [
|
|
137
|
+
"all-required-evidence-pass",
|
|
138
|
+
"release-lock-pass",
|
|
139
|
+
"zero-network-verification",
|
|
140
|
+
"local-verifier-result",
|
|
141
|
+
"v111-artifact-authority-conformance",
|
|
142
|
+
"no-hidden-mutation",
|
|
143
|
+
"explanation-remains-non-authoritative"
|
|
144
|
+
],
|
|
16
145
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
17
146
|
}
|
|
@@ -51,3 +51,12 @@ Request: Map domains, sources of truth, state machines, dependency direction, an
|
|
|
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-architecture",
|
|
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.truth.stronger-first",
|
|
@@ -22,7 +22,12 @@
|
|
|
22
22
|
"forbiddenOperations": [
|
|
23
23
|
"direct-state-write",
|
|
24
24
|
"history-rewrite",
|
|
25
|
-
"authority-bypass"
|
|
25
|
+
"authority-bypass",
|
|
26
|
+
"structural-object-as-authority",
|
|
27
|
+
"caller-verifier-as-history-authority",
|
|
28
|
+
"parseable-key-as-signing-authority",
|
|
29
|
+
"terminal-mcp-confirmation-reuse",
|
|
30
|
+
"historical-runtime-object-as-current-authority"
|
|
26
31
|
],
|
|
27
32
|
"requiredInputs": [
|
|
28
33
|
"repository-root",
|
|
@@ -38,7 +43,13 @@
|
|
|
38
43
|
"replay-equivalence",
|
|
39
44
|
"compatibility",
|
|
40
45
|
"mcp-conformance",
|
|
41
|
-
"independent-verifier"
|
|
46
|
+
"independent-verifier",
|
|
47
|
+
"canonical-exact-byte-readmission",
|
|
48
|
+
"complete-verifier-context-digest",
|
|
49
|
+
"independent-proof-history-evidence-roots",
|
|
50
|
+
"domain-separated-signing-challenge",
|
|
51
|
+
"distinct-plan-and-attempt-identities",
|
|
52
|
+
"structured-zero-write-failures"
|
|
42
53
|
],
|
|
43
54
|
"completionCriteria": [
|
|
44
55
|
"written-implementation-contract",
|
|
@@ -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
|
+
## 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-authority-security",
|
|
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.authority.capability-bound",
|
|
@@ -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",
|
|
@@ -67,3 +67,17 @@ The active MCP path calls `client.artifacts.verifyAndOpen(completeFile)`, then `
|
|
|
67
67
|
## Emulator fixture
|
|
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
|
+
|
|
71
|
+
## v111 recovery authority
|
|
72
|
+
|
|
73
|
+
Call `artifacts.admit` before recovery planning. A `bearer-recovery` verdict may report `canRestore` or a capability-gated `canClaimOwnership`, but it must report `canSign: false`, `canPublish: false`, and `canSettle: false`. Possession never becomes canonical identity. Commit only an SDK-issued plan through a runtime-verified capability, stable idempotency key, expected head, and atomic local store.
|
|
74
|
+
|
|
75
|
+
## v111 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 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.
|
|
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, 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,70 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v111",
|
|
3
3
|
"name": "receiz-bearer-ownership",
|
|
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.ownership.enclosing-proof",
|
|
13
|
+
"receiz.ownership.carried-continuity",
|
|
14
|
+
"receiz.artifact.native-record-seal",
|
|
15
|
+
"ownership.cross-platform-proof-object-continuity"
|
|
16
|
+
],
|
|
17
|
+
"sdkOperations": [
|
|
18
|
+
"artifacts.verifyAndOpen",
|
|
19
|
+
"artifacts.admit",
|
|
20
|
+
"artifacts.planRecovery",
|
|
21
|
+
"artifacts.commitRecovery",
|
|
22
|
+
"ownership.claimBearerAsset",
|
|
23
|
+
"artifacts.download"
|
|
24
|
+
],
|
|
25
|
+
"allowedTools": [
|
|
26
|
+
"receiz_bearer_asset_claim_plan",
|
|
27
|
+
"receiz_bearer_asset_claim_execute",
|
|
28
|
+
"receiz_artifact_admit",
|
|
29
|
+
"receiz_artifact_recovery_plan",
|
|
30
|
+
"receiz_artifact_recovery_commit"
|
|
31
|
+
],
|
|
32
|
+
"requiredScopes": [
|
|
33
|
+
"receiz:record",
|
|
34
|
+
"receiz:seal"
|
|
35
|
+
],
|
|
36
|
+
"emulatorFixtures": [
|
|
37
|
+
"generic-bearer-transfer",
|
|
38
|
+
"previous-owner-projection-invalidation"
|
|
39
|
+
],
|
|
40
|
+
"forbiddenOperations": [
|
|
41
|
+
"direct-state-write",
|
|
42
|
+
"payload-as-claim-input",
|
|
43
|
+
"caller-owner-substitution",
|
|
44
|
+
"caller-proof-head-prerequisite",
|
|
45
|
+
"claim-key-prerequisite",
|
|
46
|
+
"receipt-authority",
|
|
47
|
+
"origin-platform-lock",
|
|
48
|
+
"bearer-authority-escalation",
|
|
49
|
+
"raw-capability-authority",
|
|
50
|
+
"authority-bypass",
|
|
51
|
+
"structural-object-as-authority",
|
|
52
|
+
"caller-verifier-as-history-authority",
|
|
53
|
+
"parseable-key-as-signing-authority",
|
|
54
|
+
"terminal-mcp-confirmation-reuse",
|
|
55
|
+
"historical-runtime-object-as-current-authority"
|
|
56
|
+
],
|
|
57
|
+
"requiredEvidence": [
|
|
58
|
+
"complete-artifact-verification",
|
|
59
|
+
"native-record-seal",
|
|
60
|
+
"emulator-conformance",
|
|
61
|
+
"release-lock-pass",
|
|
62
|
+
"canonical-exact-byte-readmission",
|
|
63
|
+
"complete-verifier-context-digest",
|
|
64
|
+
"independent-proof-history-evidence-roots",
|
|
65
|
+
"domain-separated-signing-challenge",
|
|
66
|
+
"distinct-plan-and-attempt-identities",
|
|
67
|
+
"structured-zero-write-failures"
|
|
68
|
+
],
|
|
13
69
|
"maximumAutonomousAuthority": "inspect-plan-simulate"
|
|
14
70
|
}
|
|
@@ -91,3 +91,13 @@ Refuse completion when any manifest input, law, test, conformance result, indepe
|
|
|
91
91
|
Request: Build a production Receiz domain.
|
|
92
92
|
|
|
93
93
|
Return the implementation contract and plan. Execute confirmed allowed commands, then report all evidence and the exact remaining boundary.
|
|
94
|
+
|
|
95
|
+
## v111 artifact-derived authority
|
|
96
|
+
|
|
97
|
+
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.
|
|
98
|
+
|
|
99
|
+
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.
|
|
100
|
+
|
|
101
|
+
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.
|
|
102
|
+
|
|
103
|
+
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-build-production-system",
|
|
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.truth.stronger-first",
|
|
@@ -32,7 +32,12 @@
|
|
|
32
32
|
"forbiddenOperations": [
|
|
33
33
|
"direct-state-write",
|
|
34
34
|
"history-rewrite",
|
|
35
|
-
"authority-bypass"
|
|
35
|
+
"authority-bypass",
|
|
36
|
+
"structural-object-as-authority",
|
|
37
|
+
"caller-verifier-as-history-authority",
|
|
38
|
+
"parseable-key-as-signing-authority",
|
|
39
|
+
"terminal-mcp-confirmation-reuse",
|
|
40
|
+
"historical-runtime-object-as-current-authority"
|
|
36
41
|
],
|
|
37
42
|
"requiredInputs": [
|
|
38
43
|
"repository-root",
|
|
@@ -48,7 +53,13 @@
|
|
|
48
53
|
"replay-equivalence",
|
|
49
54
|
"compatibility",
|
|
50
55
|
"mcp-conformance",
|
|
51
|
-
"independent-verifier"
|
|
56
|
+
"independent-verifier",
|
|
57
|
+
"canonical-exact-byte-readmission",
|
|
58
|
+
"complete-verifier-context-digest",
|
|
59
|
+
"independent-proof-history-evidence-roots",
|
|
60
|
+
"domain-separated-signing-challenge",
|
|
61
|
+
"distinct-plan-and-attempt-identities",
|
|
62
|
+
"structured-zero-write-failures"
|
|
52
63
|
],
|
|
53
64
|
"completionCriteria": [
|
|
54
65
|
"written-implementation-contract",
|
|
@@ -51,3 +51,12 @@ Request: Carry causal parents and Kai ordering, simulate partitions, resolve dec
|
|
|
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-causal-sync",
|
|
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.merge.causal",
|
|
@@ -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: Build validate-authorize-decide-append-project-receipt pipelines with s
|
|
|
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.
|