@receiz/ai-skills 108.0.0 → 109.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 +7 -7
- package/package.json +1 -1
- package/receiz-app-builder-skill/SKILL.md +4 -2
- package/receiz-app-builder-skill/manifest.json +8 -8
- package/receiz-architecture/manifest.json +6 -6
- package/receiz-authority-security/manifest.json +6 -6
- package/receiz-bearer-ownership/manifest.json +3 -3
- package/receiz-build-production-system/manifest.json +6 -6
- package/receiz-causal-sync/manifest.json +6 -6
- package/receiz-command-builder/manifest.json +6 -6
- package/receiz-constitutional-laws/manifest.json +6 -6
- package/receiz-cross-app-state/SKILL.md +6 -4
- package/receiz-cross-app-state/manifest.json +8 -8
- package/receiz-deterministic-replay/manifest.json +6 -6
- package/receiz-domain-builder/manifest.json +6 -6
- package/receiz-identity-profile/SKILL.md +2 -2
- package/receiz-identity-profile/manifest.json +3 -3
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +4 -4
- package/receiz-migrations/SKILL.md +5 -3
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +8 -8
- package/receiz-observability/manifest.json +6 -6
- package/receiz-offline-command/SKILL.md +2 -2
- package/receiz-offline-command/manifest.json +3 -3
- package/receiz-offline-first/manifest.json +6 -6
- package/receiz-offline-verifier-skill/SKILL.md +4 -2
- package/receiz-offline-verifier-skill/manifest.json +8 -8
- package/receiz-performance/manifest.json +6 -6
- package/receiz-portable-artifacts/SKILL.md +4 -2
- package/receiz-portable-artifacts/manifest.json +11 -11
- package/receiz-portable-continuity/SKILL.md +2 -2
- package/receiz-portable-continuity/manifest.json +3 -3
- package/receiz-proof-media/manifest.json +3 -3
- package/receiz-proof-skill/SKILL.md +4 -2
- package/receiz-proof-skill/manifest.json +8 -8
- package/receiz-proof-skill/resources/sdk-reference.md +3 -3
- package/receiz-receipt-admission/SKILL.md +2 -2
- package/receiz-receipt-admission/manifest.json +3 -3
- package/receiz-release/SKILL.md +5 -3
- package/receiz-release/manifest.json +8 -8
- package/receiz-testing/SKILL.md +4 -2
- package/receiz-testing/manifest.json +8 -8
- package/scripts/validate-skills.ts +18 -16
package/README.md
CHANGED
|
@@ -4,10 +4,10 @@
|
|
|
4
4
|
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
|
-
domain skill names remain packaged for compatibility. Seven operation skill names first introduced in
|
|
8
|
-
describe current
|
|
9
|
-
proof media, cross-app state, and admission evidence. Their retired
|
|
10
|
-
Every current manifest uses schema and version `
|
|
7
|
+
domain skill names remain packaged for compatibility. Seven operation skill names first introduced in obsolete-versioned now
|
|
8
|
+
describe current v109 outcomes for identity profiles, portable continuity, bearer ownership, offline transport,
|
|
9
|
+
proof media, cross-app state, and admission evidence. Their retired obsolete-versioned mechanisms are not active defaults.
|
|
10
|
+
Every current manifest uses schema and version `v109` / `109.0.0`, requires SDK/MCP `>=109.0.0 <110.0.0`, and binds ruleset `109.0.0` to registry digest `17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70`.
|
|
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,11 +27,11 @@ 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
|
|
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 v109 outcome.
|
|
31
31
|
|
|
32
|
-
The
|
|
32
|
+
The v109 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
|
-
Stable
|
|
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
|
|
|
36
36
|
Do not invent APIs. Use the SDK and MCP maps inside the skills, then inspect the repo when a requested operation is not listed.
|
|
37
37
|
|
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 v109 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 v109 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.
|
|
@@ -89,6 +89,8 @@ Independent verification result:
|
|
|
89
89
|
Cross-platform round-trip result:
|
|
90
90
|
Legacy compatibility result:
|
|
91
91
|
Release-lock result:
|
|
92
|
+
Network calls during verification: 0
|
|
93
|
+
Local verifier result:
|
|
92
94
|
```
|
|
93
95
|
|
|
94
96
|
## When To Use This Skill
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-app-builder-skill",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.artifact.sealed-truth", "receiz.compiler.beneath-proof", "receiz.artifact.verify-before-extract", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_project_inspect", "receiz_app_plan", "receiz_app_apply", "receiz_app_check", "receiz_release_qualify"],
|
|
11
11
|
"forbiddenOperations": ["direct-state-write", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["repository-root", "installed-sdk-version", "active-registry-digest", "artifact-law-version", "labeled-byte-domains", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["typecheck", "conformance", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["typecheck", "conformance", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
17
17
|
}
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-architecture",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.truth.stronger-first",
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-authority-security",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.authority.capability-bound",
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-bearer-ownership",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["receiz.ownership.enclosing-proof", "receiz.ownership.carried-continuity", "receiz.artifact.native-record-seal", "ownership.cross-platform-proof-object-continuity"],
|
|
7
7
|
"sdkOperations": ["artifacts.verifyAndOpen", "ownership.claimBearerAsset", "artifacts.download"],
|
|
8
8
|
"allowedTools": ["receiz_bearer_asset_claim_plan", "receiz_bearer_asset_claim_execute"],
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-build-production-system",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.truth.stronger-first",
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-causal-sync",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.merge.causal",
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-command-builder",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.command-only-mutation",
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-constitutional-laws",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.registry.digest-alignment",
|
|
@@ -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 v109 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 v109 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.
|
|
@@ -88,11 +88,13 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## Exact SDK operation
|
|
94
96
|
|
|
95
|
-
Use the current root SDK identity verifier and complete-artifact custody methods. Do not import the historical
|
|
97
|
+
Use the current root SDK identity verifier and complete-artifact custody methods. Do not import the historical obsolete-versioned continuity client.
|
|
96
98
|
|
|
97
99
|
```ts
|
|
98
100
|
import { createReceizClient } from "@receiz/sdk";
|
|
@@ -148,4 +150,4 @@ Call `receiz_artifact_verify` and `receiz_artifact_extract_verified` for input,
|
|
|
148
150
|
|
|
149
151
|
## Emulator fixture
|
|
150
152
|
|
|
151
|
-
Run current native artifact round-trip, destination reopen, namespace-preservation, and artifact-substitution rejection contracts. Historical
|
|
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.
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-cross-app-state",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.identity.cross-app-continuity", "receiz.namespace.isolation", "receiz.local-truth.immediate", "receiz.artifact.sealed-truth", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen", "identity.readArtifact", "identity.projectAccount"],
|
|
10
10
|
"allowedTools": ["receiz_artifact_verify", "receiz_artifact_extract_verified", "receiz_artifact_record_seal_plan", "receiz_artifact_record_seal_execute", "receiz_artifact_round_trip_check"],
|
|
11
11
|
"requiredScopes": ["receiz:record", "receiz:seal"],
|
|
12
12
|
"emulatorFixtures": ["identity-artifact-helpers", "native-artifact-round-trip", "namespace-preservation", "artifact-substitution-rejection"],
|
|
13
13
|
"forbiddenOperations": ["cross-namespace-write", "identity-fork", "database-as-account-truth", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "retired-reconcile-prerequisite", "history-rewrite", "authority-bypass"],
|
|
14
|
-
"requiredEvidence": ["same-account-uid-result", "complete-artifact-verification", "native-record-seal", "emulator-conformance", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
15
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
16
|
-
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass"],
|
|
14
|
+
"requiredEvidence": ["same-account-uid-result", "complete-artifact-verification", "native-record-seal", "emulator-conformance", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
15
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
16
|
+
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
17
17
|
"maximumAutonomousAuthority": "inspect-plan-simulate"
|
|
18
18
|
}
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-deterministic-replay",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.replay.deterministic",
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-domain-builder",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.command-only-mutation",
|
|
@@ -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 v109 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 v109 outcome has no caller proof-head or receipt prerequisite.
|
|
56
56
|
|
|
57
57
|
## User confirmation
|
|
58
58
|
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-identity-profile",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["receiz.identity.continuity", "receiz.profile.same-account-uid", "receiz.profile.commit-time-username-uniqueness"],
|
|
7
7
|
"sdkOperations": ["identity.checkUsernameAvailability", "profile.update"],
|
|
8
8
|
"allowedTools": ["receiz_identity_profile_update_plan", "receiz_identity_profile_update_execute"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# MCP Tool Map
|
|
2
2
|
|
|
3
|
-
##
|
|
3
|
+
## v109 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
|
+
## v109 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
|
+
## v109 Complete Artifact Custody
|
|
41
41
|
|
|
42
42
|
| Need | Tool | Boundary |
|
|
43
43
|
|---|---|---|
|
|
@@ -50,7 +50,7 @@ A verified proof object is not limited to the platform that created it. Any lawf
|
|
|
50
50
|
|
|
51
51
|
These six tools preserve artifact and payload as separate byte domains. They never relabel payload bytes, repack a native artifact, or treat MCP state as proof authority.
|
|
52
52
|
|
|
53
|
-
|
|
53
|
+
Obsolete versioned operation schemas are not shipped as installable compatibility surfaces. Historical sealed artifacts and release evidence remain verifiable without carrying obsolete developer APIs forward.
|
|
54
54
|
|
|
55
55
|
## Diagnostics And Setup
|
|
56
56
|
|
|
@@ -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 v109 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 v109 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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## Constitutional workflow
|
|
@@ -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 v109 artifact workflows without payload fallback, byte repacking, or admitted-history rewrite."
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-migrations",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.migration.forward-only", "receiz.history.append-only", "receiz.registry.digest-alignment", "receiz.artifact.sealed-truth", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_architecture_inspect", "receiz_bypass_scan", "receiz_command_simulate", "receiz_history_trace", "receiz_conformance_run"],
|
|
11
11
|
"forbiddenOperations": ["direct-state-write", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["repository-root", "installed-sdk-version", "active-registry-digest", "applicable-laws", "authority-boundaries", "artifact-law-version", "labeled-byte-domains", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"escalationConditions": ["authority-bypass-detected", "registry-digest-mismatch", "artifact-law-version-mismatch", "missing-independent-evidence", "missing-capability", "ambiguous-migration"],
|
|
17
17
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
18
18
|
}
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-observability",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.observability.lower-authority",
|
|
@@ -9,7 +9,7 @@ Offline intent is durable transport state, not global admission. Verified local
|
|
|
9
9
|
|
|
10
10
|
## Exact SDK operation
|
|
11
11
|
|
|
12
|
-
Use the current root SDK offline proof queue. Do not import the historical
|
|
12
|
+
Use the current root SDK offline proof queue. Do not import the historical obsolete-versioned signed-command client.
|
|
13
13
|
|
|
14
14
|
```ts
|
|
15
15
|
import { createReceizClient } from "@receiz/sdk";
|
|
@@ -67,4 +67,4 @@ There is no current MCP queue mutation authority. Do not invent one and do not c
|
|
|
67
67
|
|
|
68
68
|
## Emulator fixture
|
|
69
69
|
|
|
70
|
-
Run the current offline proof replay, durable queue, and artifact-substitution rejection contracts. Historical
|
|
70
|
+
Run the current offline proof replay, durable queue, and artifact-substitution rejection contracts. Historical obsolete-versioned signed-command fixtures remain archival evidence only.
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-offline-command",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["receiz.offline.transport-intent", "receiz.local-truth.immediate", "artifact.verify-before-extract"],
|
|
7
7
|
"sdkOperations": ["offline.createQueue", "artifacts.verifyAndOpen"],
|
|
8
8
|
"allowedTools": ["receiz_artifact_verify", "receiz_artifact_explain"],
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-offline-first",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.offline.verified-local-first",
|
|
@@ -7,7 +7,7 @@ description: Use when an agent must verify, explain, debug, or build Receiz offl
|
|
|
7
7
|
|
|
8
8
|
Offline verification is a Receiz primitive. It verifies artifact truth without requiring the server, database, session, or marketplace to answer first.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v109 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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## When To Use This Skill
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-offline-verifier-skill",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.offline-proof.primitive", "receiz.artifact.verify-before-extract", "receiz.truth.stronger-first", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_inspect_offline_file", "receiz_inspect_proof_object", "receiz_asset_by_id"],
|
|
11
11
|
"forbiddenOperations": ["payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["installed-sdk-version", "active-registry-digest", "artifact-law-version", "labeled-byte-domains", "complete-sealed-artifact", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"maximumAutonomousAuthority": "inspect-verify-report"
|
|
17
17
|
}
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-performance",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
11
|
"laws": [
|
|
12
12
|
"receiz.performance.known-truth-first",
|
|
@@ -7,7 +7,7 @@ description: Use when creating, importing, exporting, inspecting, signing, or ve
|
|
|
7
7
|
|
|
8
8
|
Bind payloads to the enclosing sealed artifact, preserve provenance and history, and verify without server authority. Receiz is a proof-native artifact system; this skill operates beneath sealed proof and verified local history.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v109 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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## Constitutional workflow
|
|
@@ -1,23 +1,23 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-portable-artifacts",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "109.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=109.0.0 <110.0.0",
|
|
7
|
+
"mcp": ">=109.0.0 <110.0.0",
|
|
8
|
+
"ruleset": "109.0.0",
|
|
9
|
+
"registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70"
|
|
10
10
|
},
|
|
11
|
-
"artifactLawVersion": "
|
|
12
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
11
|
+
"artifactLawVersion": "109.0.0",
|
|
12
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
13
13
|
"laws": ["receiz.artifact.sealed-truth", "receiz.portability.offline-verifiable", "receiz.truth.stronger-first", "ownership.cross-platform-proof-object-continuity"],
|
|
14
14
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
15
15
|
"allowedTools": ["receiz_architecture_inspect", "receiz_history_trace", "receiz_conformance_run"],
|
|
16
16
|
"forbiddenOperations": ["direct-state-write", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
17
17
|
"requiredInputs": ["repository-root", "installed-sdk-version", "active-registry-digest", "applicable-laws", "authority-boundaries", "artifact-law-version", "labeled-byte-domains", "cross-app-destination"],
|
|
18
|
-
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
19
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
20
|
-
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass"],
|
|
18
|
+
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
19
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
20
|
+
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
21
21
|
"escalationConditions": ["authority-bypass-detected", "registry-digest-mismatch", "artifact-law-version-mismatch", "missing-independent-evidence", "missing-capability"],
|
|
22
22
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
23
23
|
}
|
|
@@ -11,7 +11,7 @@ The originating platform has no continuing ownership of the proof boundary. Any
|
|
|
11
11
|
|
|
12
12
|
## Exact SDK operation
|
|
13
13
|
|
|
14
|
-
Use the current root SDK identity verifier and native artifact custody methods. Do not import the historical
|
|
14
|
+
Use the current root SDK identity verifier and native artifact custody methods. Do not import the historical obsolete-versioned continuity client.
|
|
15
15
|
|
|
16
16
|
```ts
|
|
17
17
|
import { createReceizClient } from "@receiz/sdk";
|
|
@@ -67,4 +67,4 @@ Use `receiz_artifact_verify` and `receiz_artifact_extract_verified` for carried
|
|
|
67
67
|
|
|
68
68
|
## Emulator fixture
|
|
69
69
|
|
|
70
|
-
Run the current identity-artifact helper, native artifact round-trip, and artifact-substitution rejection contracts. Historical
|
|
70
|
+
Run the current identity-artifact helper, native artifact round-trip, and artifact-substitution rejection contracts. Historical obsolete-versioned reconciliation fixtures are archival evidence only and are not a v109 operation contract.
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-portable-continuity",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["receiz.identity.portable", "artifact.complete-object-custody", "artifact.verify-before-extract", "receiz.history.append-only", "ownership.cross-platform-proof-object-continuity"],
|
|
7
7
|
"sdkOperations": ["identity.readArtifact", "identity.projectAccount", "artifacts.verifyAndOpen", "assets.createProofObject", "artifacts.download"],
|
|
8
8
|
"allowedTools": ["receiz_artifact_verify", "receiz_artifact_extract_verified", "receiz_artifact_record_seal_plan", "receiz_artifact_record_seal_execute", "receiz_artifact_round_trip_check"],
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-proof-media",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["receiz.media.enclosing-proof-object", "receiz.artifact.native-record-seal", "receiz.profile.same-account-uid"],
|
|
7
7
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "profile.update"],
|
|
8
8
|
"allowedTools": ["receiz_identity_profile_update_plan", "receiz_identity_profile_update_execute"],
|
|
@@ -7,7 +7,7 @@ description: Use when an agent must verify, inspect, explain, or report on Recei
|
|
|
7
7
|
|
|
8
8
|
Receiz proof inspection starts from the artifact, manifest, proof bundle, verified append, or admitted local register. Do not start from a database row, marketplace card, UI state, or model memory.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v109 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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## When To Use This Skill
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-proof-skill",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.artifact.sealed-truth", "receiz.artifact.verify-before-extract", "receiz.truth.stronger-first", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_inspect_offline_file", "receiz_asset_by_url", "receiz_card_history", "receiz_pitch_proof_by_witness_id"],
|
|
11
11
|
"forbiddenOperations": ["payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["installed-sdk-version", "active-registry-digest", "artifact-law-version", "labeled-byte-domains", "complete-sealed-artifact", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"maximumAutonomousAuthority": "inspect-verify-report"
|
|
17
17
|
}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# SDK Reference For Proof Work
|
|
2
2
|
|
|
3
|
-
The
|
|
3
|
+
The v109 app compiler APIs (`defineReceizApp`, `compileReceizAppContract`, and
|
|
4
4
|
repository planning/checking functions) inspect and integrate applications.
|
|
5
5
|
They do not verify proof bytes. Use the SDK artifact-custody workflow for
|
|
6
6
|
construction, exact-byte download, enclosing verification, and extraction.
|
|
@@ -78,7 +78,7 @@ The exact native Record -> Seal byte sequence is the artifact. The payload is a
|
|
|
78
78
|
|
|
79
79
|
In the workflow above, `file` is the complete sealed artifact selected for verification, never the source payload.
|
|
80
80
|
|
|
81
|
-
##
|
|
81
|
+
## v109 Native Profile, Artifact, And Ownership Outcomes
|
|
82
82
|
|
|
83
83
|
- `receiz.profile.update(profile)` applies the patch to the authenticated session/OIDC actor and returns that same account's `accountUid`, profile projection, and public path.
|
|
84
84
|
- `receiz.identity.checkUsernameAvailability(username)` is advisory only; commit-time uniqueness decides the update.
|
|
@@ -93,7 +93,7 @@ Bearer ownership accepts only the sealed-artifact handle produced by complete ve
|
|
|
93
93
|
|
|
94
94
|
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. SDK verification and append operations preserve that one continuity chain without granting authority to the origin platform.
|
|
95
95
|
|
|
96
|
-
Stable
|
|
96
|
+
Stable obsolete-versioned schemas remain historical compatibility imports. Do not teach their key/head/receipt mechanics as the active v109 profile or bearer outcome.
|
|
97
97
|
|
|
98
98
|
## Identity Proof Helpers
|
|
99
99
|
|
|
@@ -5,7 +5,7 @@ description: Use when inspecting admission evidence while preserving the rule th
|
|
|
5
5
|
|
|
6
6
|
# Receiz Receipt Admission
|
|
7
7
|
|
|
8
|
-
Current admission evidence begins with the complete verified proof object. Historical receipts may remain immutable witnesses of the law and digest they recorded, but they do not authorize or qualify a current
|
|
8
|
+
Current admission evidence begins with the complete verified proof object. Historical receipts may remain immutable witnesses of the law and digest they recorded, but they do not authorize or qualify a current v109 outcome.
|
|
9
9
|
|
|
10
10
|
## Exact SDK operation
|
|
11
11
|
|
|
@@ -54,7 +54,7 @@ Read-only verification requires no confirmation. Any mutation that creates a new
|
|
|
54
54
|
|
|
55
55
|
## MCP parity
|
|
56
56
|
|
|
57
|
-
Use `receiz_artifact_verify`, `receiz_artifact_round_trip_check`, and `receiz_artifact_explain`. They share the current SDK verifier and cannot authorize mutation. Do not call retired proof-head or receipt tools for a
|
|
57
|
+
Use `receiz_artifact_verify`, `receiz_artifact_round_trip_check`, and `receiz_artifact_explain`. They share the current SDK verifier and cannot authorize mutation. Do not call retired proof-head or receipt tools for a v109 outcome.
|
|
58
58
|
|
|
59
59
|
## Emulator fixture
|
|
60
60
|
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-receipt-admission",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
6
|
"laws": ["artifact.complete-object-custody", "artifact.verify-before-extract", "developer-evidence.additive-only", "receiz.stronger-truth.sealed-artifact"],
|
|
7
7
|
"sdkOperations": ["artifacts.verifyAndOpen"],
|
|
8
8
|
"allowedTools": ["receiz_artifact_verify", "receiz_artifact_round_trip_check", "receiz_artifact_explain"],
|
package/receiz-release/SKILL.md
CHANGED
|
@@ -7,7 +7,7 @@ description: Use when qualifying, locking, packaging, attesting, or preparing pu
|
|
|
7
7
|
|
|
8
8
|
Require package, registry, verifier, migration, conformance, security, performance, documentation, and attestation parity. Receiz is a proof-native artifact system; this skill operates beneath sealed proof and verified local history.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v109 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
|
|
|
@@ -33,12 +33,12 @@ if (opened.sealedArtifact.artifactSha256 !== sealedArtifact.artifactSha256) thro
|
|
|
33
33
|
if (opened.verifiedPayload.sha256 !== sealedArtifact.payloadSha256) throw new Error("payload_binding_mismatch");
|
|
34
34
|
```
|
|
35
35
|
|
|
36
|
-
Independently hash the saved bytes and require equality with `sealedArtifact.artifactSha256`. Require `verification.ok`, `integrity.ok`, carrier `native-record-seal`, Signature V4, owner, claim, and verify-path agreement. Reopen the exact saved file with `verifyAndOpen`, then prove a different Receiz application preserves identity, cards, history, receipts, and unknown namespaces. Require SDK, MCP, and AI packages to report the same
|
|
36
|
+
Independently hash the saved bytes and require equality with `sealedArtifact.artifactSha256`. Require `verification.ok`, `integrity.ok`, carrier `native-record-seal`, Signature V4, owner, claim, and verify-path agreement. Reopen the exact saved file with `verifyAndOpen`, then prove a different Receiz application preserves identity, cards, history, receipts, and unknown namespaces. Require SDK, MCP, and AI packages to report the same v109 registry digest and artifact-law version before release qualification.
|
|
37
37
|
|
|
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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## Constitutional workflow
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-release",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.release.locked-digest", "receiz.registry.digest-alignment", "receiz.testing.independent-evidence", "receiz.artifact.sealed-truth", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_architecture_inspect", "receiz_law_coverage", "receiz_bypass_scan", "receiz_conformance_run", "receiz_release_verify"],
|
|
11
11
|
"forbiddenOperations": ["direct-state-write", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["repository-root", "installed-sdk-version", "active-registry-digest", "applicable-laws", "authority-boundaries", "artifact-law-version", "labeled-byte-domains", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"escalationConditions": ["authority-bypass-detected", "registry-digest-mismatch", "artifact-law-version-mismatch", "missing-independent-evidence", "missing-capability"],
|
|
17
17
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
18
18
|
}
|
package/receiz-testing/SKILL.md
CHANGED
|
@@ -7,7 +7,7 @@ description: Use when designing or running Receiz conformance, law, mutation, re
|
|
|
7
7
|
|
|
8
8
|
Build positive and negative fixtures that independently prove laws, atomicity, replay, compatibility, and bypass refusal. Receiz is a proof-native artifact system; this skill operates beneath sealed proof and verified local history.
|
|
9
9
|
|
|
10
|
-
## Binding
|
|
10
|
+
## Binding v109 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 v109 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.
|
|
@@ -88,6 +88,8 @@ Independent verification result:
|
|
|
88
88
|
Cross-platform round-trip result:
|
|
89
89
|
Legacy compatibility result:
|
|
90
90
|
Release-lock result:
|
|
91
|
+
Network calls during verification: 0
|
|
92
|
+
Local verifier result:
|
|
91
93
|
```
|
|
92
94
|
|
|
93
95
|
## Constitutional workflow
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v109",
|
|
3
3
|
"name": "receiz-testing",
|
|
4
|
-
"version": "
|
|
5
|
-
"requires": { "sdk": ">=
|
|
6
|
-
"artifactLawVersion": "
|
|
7
|
-
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010"],
|
|
4
|
+
"version": "109.0.0",
|
|
5
|
+
"requires": { "sdk": ">=109.0.0 <110.0.0", "mcp": ">=109.0.0 <110.0.0", "ruleset": "109.0.0", "registryDigest": "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70" },
|
|
6
|
+
"artifactLawVersion": "109.0.0",
|
|
7
|
+
"artifactLaws": ["ARTIFACT-001", "ARTIFACT-002", "ARTIFACT-003", "ARTIFACT-004", "ARTIFACT-005", "ARTIFACT-006", "ARTIFACT-007", "ARTIFACT-008", "ARTIFACT-009", "ARTIFACT-010", "ARTIFACT-011"],
|
|
8
8
|
"laws": ["receiz.testing.independent-evidence", "receiz.replay.deterministic", "receiz.command-only-mutation", "receiz.artifact.sealed-truth", "ownership.cross-platform-proof-object-continuity"],
|
|
9
9
|
"sdkOperations": ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"],
|
|
10
10
|
"allowedTools": ["receiz_law_coverage", "receiz_command_simulate", "receiz_receipt_replay", "receiz_merge_simulate", "receiz_bypass_scan", "receiz_conformance_run"],
|
|
11
11
|
"forbiddenOperations": ["direct-state-write", "payload-fallback", "payload-relabel-as-artifact", "artifact-repack", "shape-only-verification", "history-rewrite", "authority-bypass"],
|
|
12
12
|
"requiredInputs": ["repository-root", "installed-sdk-version", "active-registry-digest", "applicable-laws", "authority-boundaries", "artifact-law-version", "labeled-byte-domains", "cross-app-destination"],
|
|
13
|
-
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass"],
|
|
14
|
-
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result"],
|
|
15
|
-
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass"],
|
|
13
|
+
"requiredEvidence": ["typecheck", "law-coverage", "mutation-tests", "replay-equivalence", "compatibility", "mcp-conformance", "independent-verifier", "exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4", "owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip", "legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
14
|
+
"requiredCompletionFields": ["sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version", "artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result", "cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result", "network-calls-during-verification", "local-verifier-result"],
|
|
15
|
+
"completionCriteria": ["written-implementation-contract", "constitutional-context-digest-match", "all-required-evidence-pass", "release-lock-pass", "zero-network-verification", "local-verifier-result"],
|
|
16
16
|
"escalationConditions": ["authority-bypass-detected", "registry-digest-mismatch", "artifact-law-version-mismatch", "missing-independent-evidence", "missing-capability"],
|
|
17
17
|
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
18
18
|
}
|
|
@@ -151,23 +151,25 @@ const artifactSkills = [
|
|
|
151
151
|
"receiz-release",
|
|
152
152
|
] as const;
|
|
153
153
|
|
|
154
|
-
const artifactRegistryDigest = "
|
|
155
|
-
const artifactLaws = Array.from({ length:
|
|
154
|
+
const artifactRegistryDigest = "17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70";
|
|
155
|
+
const artifactLaws = Array.from({ length: 11 }, (_, index) => `ARTIFACT-${String(index + 1).padStart(3, "0")}`);
|
|
156
156
|
const artifactSdkOperations = ["assets.createProofObject", "artifacts.download", "artifacts.verifyAndOpen"] as const;
|
|
157
157
|
const artifactEvidence = [
|
|
158
158
|
"exact-artifact-byte-identity", "artifact-digest-match", "payload-digest-binding", "signature-v4",
|
|
159
159
|
"owner-claim-binding", "independent-artifact-verification", "cross-platform-round-trip",
|
|
160
|
-
"legacy-read-compatibility", "release-lock-pass",
|
|
160
|
+
"legacy-read-compatibility", "release-lock-pass", "zero-network-verification", "local-verifier-result",
|
|
161
161
|
] as const;
|
|
162
162
|
const artifactCompletionFields = [
|
|
163
163
|
"sdk-version", "registry-digest", "artifact-law-version", "artifact-carrier", "signature-version",
|
|
164
164
|
"artifact-digest", "payload-digest", "owner-and-claim-binding", "independent-verification-result",
|
|
165
165
|
"cross-platform-round-trip-result", "legacy-compatibility-result", "release-lock-result",
|
|
166
|
+
"network-calls-during-verification", "local-verifier-result",
|
|
166
167
|
] as const;
|
|
167
168
|
const artifactCompletionLabels = [
|
|
168
169
|
"SDK version:", "Registry digest:", "Artifact law version:", "Artifact carrier:", "Signature version:",
|
|
169
170
|
"Artifact digest:", "Payload digest:", "Owner and claim binding:", "Independent verification result:",
|
|
170
171
|
"Cross-platform round-trip result:", "Legacy compatibility result:", "Release-lock result:",
|
|
172
|
+
"Network calls during verification: 0", "Local verifier result:",
|
|
171
173
|
] as const;
|
|
172
174
|
const artifactProhibitions = [
|
|
173
175
|
"Never download an unsealed payload fallback.",
|
|
@@ -332,13 +334,13 @@ function assertConstitutionalSkill(name: (typeof constitutionalSkills)[number]):
|
|
|
332
334
|
for (const section of ["## Constitutional workflow", "## Machine contract", "## Quick reference", "## Common mistakes", "## Completion refusal", "## Example"]) {
|
|
333
335
|
if (!text.includes(section)) fail(`${name}/SKILL.md missing section ${section}`);
|
|
334
336
|
}
|
|
335
|
-
if (manifest.schema !== "receiz.ai-skill-contract.
|
|
337
|
+
if (manifest.schema !== "receiz.ai-skill-contract.v109" || manifest.name !== name || manifest.version !== "109.0.0") {
|
|
336
338
|
fail(`${name}/manifest.json has invalid schema or name`);
|
|
337
339
|
}
|
|
338
340
|
const serialized = JSON.stringify(manifest);
|
|
339
341
|
for (const required of [
|
|
340
|
-
">=
|
|
341
|
-
"
|
|
342
|
+
">=109.0.0 <110.0.0",
|
|
343
|
+
"17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70",
|
|
342
344
|
"direct-state-write",
|
|
343
345
|
"history-rewrite",
|
|
344
346
|
"authority-bypass",
|
|
@@ -369,14 +371,14 @@ function assertOperationSkill(name: (typeof operationSkills)[number]): void {
|
|
|
369
371
|
if (!text.includes(section)) fail(`${name}/SKILL.md missing section ${section}`);
|
|
370
372
|
}
|
|
371
373
|
if (!/```ts[\s\S]*createReceizClient[\s\S]*```/.test(text)) fail(`${name}/SKILL.md missing copy-paste TypeScript`);
|
|
372
|
-
if (manifest.schema !== "receiz.ai-skill-contract.
|
|
374
|
+
if (manifest.schema !== "receiz.ai-skill-contract.v109" || manifest.name !== name || manifest.version !== "109.0.0") {
|
|
373
375
|
fail(`${name}/manifest.json has invalid schema, name, or version`);
|
|
374
376
|
}
|
|
375
377
|
const serialized = JSON.stringify(manifest);
|
|
376
378
|
for (const required of [
|
|
377
|
-
">=
|
|
378
|
-
"
|
|
379
|
-
"
|
|
379
|
+
">=109.0.0 <110.0.0",
|
|
380
|
+
"109.0.0",
|
|
381
|
+
"17f76b37c9fcd46f710239b5c1660b03cc34ec64bed30d1cc45c18d5d40eab70",
|
|
380
382
|
"emulator-conformance",
|
|
381
383
|
"release-lock-pass",
|
|
382
384
|
"inspect-plan-simulate",
|
|
@@ -394,10 +396,10 @@ function assertOperationSkill(name: (typeof operationSkills)[number]): void {
|
|
|
394
396
|
if (!serialized.includes(required)) fail(`${name}/manifest.json missing ${required}`);
|
|
395
397
|
}
|
|
396
398
|
if (/identity\.getProfile|identity\.restoreAccount|identity\.appendAccountState|continuity\.reconcile|continuity\.commit|offline\.createCommandQueue|offline\.executeOrQueue|proofHead\.get|receipts\.verify|identityKeyId|expectedOwnershipHead|claimantKeyId|receiz_proof_head_get|receiz_receipt_verify|receiz_continuity_sync_plan|receiz_continuity_sync_execute|media\.publishIdentityImage/.test(text + serialized)) {
|
|
397
|
-
fail(`${name} retains a retired
|
|
399
|
+
fail(`${name} retains a retired obsolete-versioned prerequisite in the active v109 outcome`);
|
|
398
400
|
}
|
|
399
401
|
if (/## Required proof head|## Receipt verification/.test(text)) {
|
|
400
|
-
fail(`${name}/SKILL.md retains a retired
|
|
402
|
+
fail(`${name}/SKILL.md retains a retired obsolete-versioned current-outcome section`);
|
|
401
403
|
}
|
|
402
404
|
} else if (!serialized.includes("receipt-verification")) {
|
|
403
405
|
fail(`${name}/manifest.json missing receipt-verification compatibility evidence`);
|
|
@@ -432,13 +434,13 @@ function assertArtifactSkill(name: (typeof artifactSkills)[number]): void {
|
|
|
432
434
|
fail(`${name}/SKILL.md must refuse production-ready completion without evidence`);
|
|
433
435
|
}
|
|
434
436
|
|
|
435
|
-
if (manifest.schema !== "receiz.ai-skill-contract.
|
|
436
|
-
fail(`${name}/manifest.json has invalid
|
|
437
|
+
if (manifest.schema !== "receiz.ai-skill-contract.v109" || manifest.name !== name || manifest.version !== "109.0.0") {
|
|
438
|
+
fail(`${name}/manifest.json has invalid v109 schema, name, or version`);
|
|
437
439
|
}
|
|
438
|
-
if (requires?.ruleset !== "
|
|
440
|
+
if (requires?.ruleset !== "109.0.0" || requires.registryDigest !== artifactRegistryDigest) {
|
|
439
441
|
fail(`${name}/manifest.json has artifact registry or ruleset skew`);
|
|
440
442
|
}
|
|
441
|
-
if (manifest.artifactLawVersion !== "
|
|
443
|
+
if (manifest.artifactLawVersion !== "109.0.0" || JSON.stringify(manifest.artifactLaws) !== JSON.stringify(artifactLaws)) {
|
|
442
444
|
fail(`${name}/manifest.json has artifact law version or law-set skew`);
|
|
443
445
|
}
|
|
444
446
|
const sdkOperations = Array.isArray(manifest.sdkOperations) ? manifest.sdkOperations : [];
|