@receiz/ai-skills 110.0.0 → 112.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +16 -4
- package/package.json +2 -2
- package/receiz-app-builder-skill/SKILL.md +24 -13
- package/receiz-app-builder-skill/manifest.json +237 -18
- package/receiz-app-builder-skill/resources/generated-file-repair.md +3 -1
- package/receiz-app-builder-skill/resources/workflow.md +2 -0
- package/receiz-architecture/SKILL.md +10 -1
- package/receiz-architecture/manifest.json +256 -10
- package/receiz-authority-security/SKILL.md +10 -1
- package/receiz-authority-security/manifest.json +256 -10
- package/receiz-bearer-ownership/SKILL.md +12 -2
- package/receiz-bearer-ownership/manifest.json +295 -11
- package/receiz-build-production-system/SKILL.md +11 -1
- package/receiz-build-production-system/manifest.json +256 -10
- package/receiz-builder-skill/resources/generated-code-rules.md +2 -0
- package/receiz-causal-sync/SKILL.md +10 -1
- package/receiz-causal-sync/manifest.json +256 -10
- package/receiz-command-builder/SKILL.md +10 -1
- package/receiz-command-builder/manifest.json +256 -10
- package/receiz-constitutional-laws/SKILL.md +10 -1
- package/receiz-constitutional-laws/manifest.json +256 -10
- package/receiz-cross-app-state/SKILL.md +25 -14
- package/receiz-cross-app-state/manifest.json +236 -22
- package/receiz-deterministic-replay/SKILL.md +10 -1
- package/receiz-deterministic-replay/manifest.json +256 -10
- package/receiz-domain-builder/SKILL.md +10 -1
- package/receiz-domain-builder/manifest.json +256 -10
- package/receiz-identity-profile/SKILL.md +14 -4
- package/receiz-identity-profile/manifest.json +286 -11
- package/receiz-mcp-agent-skill/SKILL.md +2 -2
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +17 -15
- package/receiz-migrations/SKILL.md +26 -15
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +237 -18
- package/receiz-observability/SKILL.md +10 -1
- package/receiz-observability/manifest.json +256 -10
- package/receiz-offline-command/SKILL.md +11 -1
- package/receiz-offline-command/manifest.json +286 -11
- package/receiz-offline-first/SKILL.md +10 -1
- package/receiz-offline-first/manifest.json +256 -10
- package/receiz-offline-verifier-skill/SKILL.md +24 -13
- package/receiz-offline-verifier-skill/manifest.json +237 -18
- package/receiz-performance/SKILL.md +10 -1
- package/receiz-performance/manifest.json +256 -10
- package/receiz-portable-artifacts/SKILL.md +25 -14
- package/receiz-portable-artifacts/manifest.json +237 -18
- package/receiz-portable-continuity/SKILL.md +14 -4
- package/receiz-portable-continuity/manifest.json +296 -11
- package/receiz-proof-media/SKILL.md +10 -0
- package/receiz-proof-media/manifest.json +291 -11
- package/receiz-proof-skill/SKILL.md +24 -13
- package/receiz-proof-skill/manifest.json +237 -18
- package/receiz-proof-skill/resources/mcp-tool-map.md +4 -0
- package/receiz-proof-skill/resources/sdk-reference.md +5 -3
- package/receiz-receipt-admission/SKILL.md +14 -4
- package/receiz-receipt-admission/manifest.json +284 -10
- package/receiz-release/SKILL.md +26 -15
- package/receiz-release/manifest.json +237 -18
- package/receiz-skill-bundle/SKILL.md +2 -0
- package/receiz-skill-bundle/resources/canonical-receiz-language.md +2 -0
- package/receiz-skill-bundle/resources/combined-agent-behavior.md +2 -0
- package/receiz-testing/SKILL.md +25 -14
- package/receiz-testing/manifest.json +237 -18
- package/scripts/validate-skills.ts +19 -19
package/README.md
CHANGED
|
@@ -1,13 +1,25 @@
|
|
|
1
1
|
# Receiz AI Skills
|
|
2
2
|
|
|
3
|
+
The `112.0.0` package is a registry-bound operating-contract distribution beneath Receiz proof authority. AI instructions, MCP confirmations, JSON objects, database rows, staging references, and receipts never become proof or runtime authority.
|
|
4
|
+
|
|
5
|
+
## V112 artifact authority chain
|
|
6
|
+
|
|
7
|
+
The exact current sequence is: verify exact bytes → profile admission → verified actor/history → transition → plan/domain/effects/idempotency → plan-bound capability → seal → durable stage → independent byte resolution → atomic named-domain acceptance → report-only receipt.
|
|
8
|
+
|
|
9
|
+
Exact bytes cross a process only as bytes and require `reverify-exact-bytes`. Verified artifacts, admissions, histories, actors, plans, verified capabilities, candidates, and stores require `same-runtime-custody`. Identity Seal signing uses local key custody, supports Ed25519 and P-256, and produces a signed claim—not verified capability authority. Private keys and passphrases are never serialized.
|
|
10
|
+
|
|
11
|
+
The exact current artifact MCP tools are `receiz_artifact_verify`, `receiz_artifact_admit`, `receiz_artifact_append_plan`, `receiz_artifact_transition_seal_and_stage`, and `receiz_artifact_transition_commit`. A sealed candidate is a proof object but not the accepted head. Stage writes no head and its reference is non-authoritative. Commit resolves and reverifies staged bytes before atomic named-domain acceptance. `COMMIT_DOMAIN_MISMATCH` is distinct from same-domain `IDEMPOTENCY_CONFLICT`; registry-derived effects stay outside the portable transition digest; unknown namespaces remain byte-preserved.
|
|
12
|
+
|
|
13
|
+
`client.admission.browserStore` is durable admission coordination only: it stores no proof object or sealed artifact bytes and never blocks known-artifact first paint. `client.admission.remoteStore` and `client.admission.reconcileOffline` are explicitly unavailable in v112. Receiz-generated files retain declared ownership, while `receiz.extensions.ts` is developer-owned and must never be overwritten.
|
|
14
|
+
|
|
3
15
|
`receiz-build-production-system` remains the constitutional orchestration skill for substantial
|
|
4
16
|
Receiz applications. Fourteen focused constitutional skills supply architecture,
|
|
5
17
|
domain, law, command, authority, replay, offline, causal, artifact, migration,
|
|
6
18
|
performance, observability, testing, and release contracts. The earlier nine
|
|
7
19
|
domain skill names remain packaged for compatibility. Seven operation skill names first introduced in obsolete-versioned now
|
|
8
|
-
describe current
|
|
20
|
+
describe current v112 outcomes for identity profiles, portable continuity, bearer ownership, offline transport,
|
|
9
21
|
proof media, cross-app state, and admission evidence. Their retired obsolete-versioned mechanisms are not active defaults.
|
|
10
|
-
Every current manifest uses
|
|
22
|
+
Every current manifest uses version `112.0.0`, requires SDK/MCP `>=112.0.0 <113.0.0`, and binds ruleset `112.0.0` to the exported current v112 registry digest.
|
|
11
23
|
|
|
12
24
|
This package teaches AI agents how to understand, verify, build with, and operate Receiz from the existing repository surfaces.
|
|
13
25
|
|
|
@@ -27,9 +39,9 @@ Agents may acquire scoped delegated access through the official Receiz Connect/O
|
|
|
27
39
|
|
|
28
40
|
## How Agents Should Use This Package
|
|
29
41
|
|
|
30
|
-
Start with `receiz-build-production-system` when work spans multiple constitutional domains. Its machine-readable manifest requires the exact active
|
|
42
|
+
Start with `receiz-build-production-system` when work spans multiple constitutional domains. Its machine-readable manifest requires the exact active canonical v112 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 v112 outcome.
|
|
31
43
|
|
|
32
|
-
The
|
|
44
|
+
The v112 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
45
|
|
|
34
46
|
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
47
|
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@receiz/ai-skills",
|
|
3
|
-
"version": "
|
|
4
|
-
"description": "
|
|
3
|
+
"version": "112.0.0",
|
|
4
|
+
"description": "Registry-bound Receiz AI operating contracts beneath proof authority for SDK and MCP agents.",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"files": [
|
|
7
7
|
"README.md",
|
|
@@ -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 v112 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
|
|
|
@@ -21,6 +21,8 @@ Label every byte sequence generated or consumed by the application:
|
|
|
21
21
|
|
|
22
22
|
## Required SDK artifact workflow
|
|
23
23
|
|
|
24
|
+
The exact v112 application-operation inventory is `receiz.artifact.verify`, `receiz.artifact.admit`, `receiz.artifact.append.plan`, `receiz.identity.capability.sign`, `receiz.artifact.transition.seal`, `receiz.artifact.transition.stage`, `receiz.artifact.transition.commit`, `receiz.admission.command.execute`, and `receiz.public-proof.projection.locate`. These identifiers describe the application authority matrix; they do not create authority.
|
|
25
|
+
|
|
24
26
|
```ts
|
|
25
27
|
const payload = { bytes: applicationPayload, mimeType: applicationMimeType };
|
|
26
28
|
const sealedArtifact = await receiz.assets.createProofObject(
|
|
@@ -39,7 +41,7 @@ Independently hash the saved bytes and require equality with `sealedArtifact.art
|
|
|
39
41
|
## Twelve-step artifact workflow
|
|
40
42
|
|
|
41
43
|
1. Label the input bytes as `payload`; never call them an artifact.
|
|
42
|
-
2. Load the active
|
|
44
|
+
2. Load the active canonical v112 registry and `ARTIFACT-001` through `ARTIFACT-030`.
|
|
43
45
|
3. Call `receiz.assets.createProofObject` so Receiz.com performs native Record -> Seal.
|
|
44
46
|
4. Require an SDK-issued `receiz.native-record-seal`; failure returns no artifact and no payload fallback.
|
|
45
47
|
5. Require complete enclosing-artifact verification, integrity, Signature V4, owner, claim, verify path, and payload binding.
|
|
@@ -53,12 +55,11 @@ Independently hash the saved bytes and require equality with `sealedArtifact.art
|
|
|
53
55
|
|
|
54
56
|
When MCP is available, use only these current artifact tools; each remains subordinate to the SDK and enclosing proof:
|
|
55
57
|
|
|
56
|
-
- `receiz_artifact_record_seal_plan`
|
|
57
|
-
- `receiz_artifact_record_seal_execute`
|
|
58
58
|
- `receiz_artifact_verify`
|
|
59
|
-
- `
|
|
60
|
-
- `
|
|
61
|
-
- `
|
|
59
|
+
- `receiz_artifact_admit`
|
|
60
|
+
- `receiz_artifact_append_plan`
|
|
61
|
+
- `receiz_artifact_transition_seal_and_stage`
|
|
62
|
+
- `receiz_artifact_transition_commit`
|
|
62
63
|
|
|
63
64
|
## Artifact prohibitions
|
|
64
65
|
|
|
@@ -202,20 +203,20 @@ Resources:
|
|
|
202
203
|
- [Generated-file repair](resources/generated-file-repair.md)
|
|
203
204
|
- [Upgrade rules](resources/upgrade-rules.md)
|
|
204
205
|
|
|
205
|
-
##
|
|
206
|
+
## v112 unified admission and recovery
|
|
206
207
|
|
|
207
|
-
|
|
208
|
+
First call `verifyReceizArtifact(file)`. Then call `receiz.artifacts.admit(verification, profileOptions)` in the same runtime. Admission reports profile membership and primitive-specific assessments; it does not authorize an operation. Verified actor evidence exists only after identity-profile admission, never from a caller constraint or structural object.
|
|
208
209
|
|
|
209
|
-
|
|
210
|
+
Call `verifyReceizArtifact(file)`, then `receiz.artifacts.admit(verification, profileOptions)`, and pass the runtime-custodied admission, verified history, actor evidence, registry law, named commit domain, event, expected head, and idempotency identity to `planArtifactAppend`. Planning performs zero writes and preserves unknown namespaces byte-for-byte.
|
|
210
211
|
|
|
211
|
-
|
|
212
|
+
Seal and durably stage the plan-bound candidate before commit. Commit independently resolves and reverifies the staged bytes inside the named domain, then advances the head atomically. A receipt reports acceptance and cannot re-enter any authority-bearing API.
|
|
212
213
|
|
|
213
214
|
- Never admit a card-only payload as a Receiz artifact.
|
|
214
215
|
- Never treat an explanation as proof authority.
|
|
215
216
|
- Never accept raw capability JSON as recovery authority.
|
|
216
|
-
- Never hide mutation inside
|
|
217
|
+
- Never hide mutation inside admission or append planning.
|
|
217
218
|
|
|
218
|
-
Current MCP parity
|
|
219
|
+
Current MCP parity is exactly `receiz_artifact_verify`, `receiz_artifact_admit`, `receiz_artifact_append_plan`, `receiz_artifact_transition_seal_and_stage`, and `receiz_artifact_transition_commit`.
|
|
219
220
|
|
|
220
221
|
Required completion evidence:
|
|
221
222
|
|
|
@@ -227,3 +228,13 @@ Recovery plan digest:
|
|
|
227
228
|
Operation identity:
|
|
228
229
|
Atomic commit result:
|
|
229
230
|
```
|
|
231
|
+
|
|
232
|
+
## v112 artifact-derived authority
|
|
233
|
+
|
|
234
|
+
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.
|
|
235
|
+
|
|
236
|
+
Admission begins from runtime-custodied verification of the exact enclosing artifact bytes under the complete frozen verifier context. Verified history and actor evidence remain same-runtime objects and fail closed on divergence or structural reconstruction. Identity Seal signing uses a locally held Ed25519 or P-256 key and emits a signed capability claim; only current verification of that claim against the exact plan produces capability authority.
|
|
237
|
+
|
|
238
|
+
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.
|
|
239
|
+
|
|
240
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, actors, capabilities, plans, candidates, stores, or confirmations cannot authorize a current v112 receiver; exact bytes crossing a process require `reverify-exact-bytes`, followed by current profile admission and `same-runtime-custody` through plan, capability, seal, stage, independent byte resolution, atomic named-domain acceptance, and report-only receipt.
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v112",
|
|
3
3
|
"name": "receiz-app-builder-skill",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "112.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=112.0.0 <113.0.0",
|
|
7
|
+
"mcp": ">=112.0.0 <113.0.0",
|
|
8
|
+
"ruleset": "112.0.0",
|
|
9
|
+
"registryDigest": "1356f8122d0b5fcbe891d7e6ed1e75faca827f15d63d1ed5d950664e11c146ee"
|
|
10
10
|
},
|
|
11
|
-
"artifactLawVersion": "
|
|
11
|
+
"artifactLawVersion": "112.0.0",
|
|
12
12
|
"artifactLaws": [
|
|
13
13
|
"ARTIFACT-001",
|
|
14
14
|
"ARTIFACT-002",
|
|
@@ -24,7 +24,22 @@
|
|
|
24
24
|
"ARTIFACT-012",
|
|
25
25
|
"ARTIFACT-013",
|
|
26
26
|
"ARTIFACT-014",
|
|
27
|
-
"ARTIFACT-015"
|
|
27
|
+
"ARTIFACT-015",
|
|
28
|
+
"ARTIFACT-016",
|
|
29
|
+
"ARTIFACT-017",
|
|
30
|
+
"ARTIFACT-018",
|
|
31
|
+
"ARTIFACT-019",
|
|
32
|
+
"ARTIFACT-020",
|
|
33
|
+
"ARTIFACT-021",
|
|
34
|
+
"ARTIFACT-022",
|
|
35
|
+
"ARTIFACT-023",
|
|
36
|
+
"ARTIFACT-024",
|
|
37
|
+
"ARTIFACT-025",
|
|
38
|
+
"ARTIFACT-026",
|
|
39
|
+
"ARTIFACT-027",
|
|
40
|
+
"ARTIFACT-028",
|
|
41
|
+
"ARTIFACT-029",
|
|
42
|
+
"ARTIFACT-030"
|
|
28
43
|
],
|
|
29
44
|
"laws": [
|
|
30
45
|
"receiz.artifact.sealed-truth",
|
|
@@ -37,9 +52,15 @@
|
|
|
37
52
|
"artifacts.download",
|
|
38
53
|
"artifacts.verifyAndOpen",
|
|
39
54
|
"artifacts.admit",
|
|
40
|
-
"
|
|
41
|
-
"
|
|
42
|
-
"
|
|
55
|
+
"artifact.verify",
|
|
56
|
+
"artifact.admit",
|
|
57
|
+
"artifact.append.plan",
|
|
58
|
+
"identity.capability.sign",
|
|
59
|
+
"artifact.transition.seal",
|
|
60
|
+
"artifact.transition.stage",
|
|
61
|
+
"artifact.transition.commit",
|
|
62
|
+
"admission.command.execute",
|
|
63
|
+
"public-proof.projection.locate"
|
|
43
64
|
],
|
|
44
65
|
"allowedTools": [
|
|
45
66
|
"receiz_project_inspect",
|
|
@@ -48,9 +69,10 @@
|
|
|
48
69
|
"receiz_app_check",
|
|
49
70
|
"receiz_release_qualify",
|
|
50
71
|
"receiz_artifact_admit",
|
|
51
|
-
"
|
|
52
|
-
"
|
|
53
|
-
"
|
|
72
|
+
"receiz_artifact_verify",
|
|
73
|
+
"receiz_artifact_append_plan",
|
|
74
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
75
|
+
"receiz_artifact_transition_commit"
|
|
54
76
|
],
|
|
55
77
|
"forbiddenOperations": [
|
|
56
78
|
"direct-state-write",
|
|
@@ -63,7 +85,27 @@
|
|
|
63
85
|
"hidden-recovery-mutation",
|
|
64
86
|
"explanation-as-authority",
|
|
65
87
|
"raw-capability-authority",
|
|
66
|
-
"card-payload-admission"
|
|
88
|
+
"card-payload-admission",
|
|
89
|
+
"structural-object-as-authority",
|
|
90
|
+
"caller-verifier-as-history-authority",
|
|
91
|
+
"parseable-key-as-signing-authority",
|
|
92
|
+
"terminal-mcp-confirmation-reuse",
|
|
93
|
+
"historical-runtime-object-as-current-authority",
|
|
94
|
+
"projection-as-artifact-authority",
|
|
95
|
+
"runtime-shape-as-v112-authority",
|
|
96
|
+
"subpayload-hash-as-enclosing-authority",
|
|
97
|
+
"unaccepted-candidate-as-committed",
|
|
98
|
+
"staging-reference-without-byte-resolution",
|
|
99
|
+
"receipt-as-proof-authority",
|
|
100
|
+
"cross-domain-idempotency-conflict",
|
|
101
|
+
"external-effects-in-transition-digest",
|
|
102
|
+
"serialized-sdk-authority",
|
|
103
|
+
"mcp-property-bag-authority",
|
|
104
|
+
"generic-constitutional-artifact-mutation",
|
|
105
|
+
"confirmation-as-proof-authority",
|
|
106
|
+
"receipt-actor-as-runtime-identity",
|
|
107
|
+
"browser-proof-object-storage",
|
|
108
|
+
"known-artifact-first-paint-blocking"
|
|
67
109
|
],
|
|
68
110
|
"requiredInputs": [
|
|
69
111
|
"repository-root",
|
|
@@ -93,7 +135,25 @@
|
|
|
93
135
|
"zero-network-read-only-coordinator",
|
|
94
136
|
"atomic-recovery-commit",
|
|
95
137
|
"operation-identity-parity",
|
|
96
|
-
"multi-application-convergence"
|
|
138
|
+
"multi-application-convergence",
|
|
139
|
+
"canonical-exact-byte-readmission",
|
|
140
|
+
"complete-verifier-context-digest",
|
|
141
|
+
"independent-proof-history-evidence-roots",
|
|
142
|
+
"domain-separated-signing-challenge",
|
|
143
|
+
"distinct-plan-and-attempt-identities",
|
|
144
|
+
"structured-zero-write-failures",
|
|
145
|
+
"exact-nine-row-operation-matrix-parity",
|
|
146
|
+
"exact-five-tool-mcp-parity",
|
|
147
|
+
"process-boundary-parity",
|
|
148
|
+
"exact-byte-reverification",
|
|
149
|
+
"identity-seal-ed25519-p256-signing",
|
|
150
|
+
"neutral-staging-zero-head-writes",
|
|
151
|
+
"independent-staged-byte-resolution",
|
|
152
|
+
"named-domain-atomic-acceptance",
|
|
153
|
+
"report-only-receipt",
|
|
154
|
+
"browser-ledger-no-proof-bytes",
|
|
155
|
+
"generated-file-ownership-preservation",
|
|
156
|
+
"current-registry-payload-digest-equality"
|
|
97
157
|
],
|
|
98
158
|
"requiredCompletionFields": [
|
|
99
159
|
"sdk-version",
|
|
@@ -122,9 +182,168 @@
|
|
|
122
182
|
"release-lock-pass",
|
|
123
183
|
"zero-network-verification",
|
|
124
184
|
"local-verifier-result",
|
|
125
|
-
"
|
|
185
|
+
"v112-artifact-authority-conformance",
|
|
126
186
|
"no-hidden-mutation",
|
|
127
187
|
"explanation-remains-non-authoritative"
|
|
128
188
|
],
|
|
129
|
-
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
189
|
+
"maximumAutonomousAuthority": "inspect-plan-scaffold-test",
|
|
190
|
+
"operationAuthorityMatrix": [
|
|
191
|
+
{
|
|
192
|
+
"operation": "artifact.verify",
|
|
193
|
+
"authorityProfiles": [],
|
|
194
|
+
"inputAuthority": "exact-artifact-bytes",
|
|
195
|
+
"requiredEvidence": [
|
|
196
|
+
"exact-artifact-bytes",
|
|
197
|
+
"pinned-verifier-roots"
|
|
198
|
+
],
|
|
199
|
+
"outputAuthority": "verified-artifact-runtime",
|
|
200
|
+
"processBoundary": "reverify-exact-bytes",
|
|
201
|
+
"namespacePolicy": "not-applicable",
|
|
202
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
203
|
+
},
|
|
204
|
+
{
|
|
205
|
+
"operation": "artifact.admit",
|
|
206
|
+
"authorityProfiles": [],
|
|
207
|
+
"inputAuthority": "verified-artifact-runtime",
|
|
208
|
+
"requiredEvidence": [
|
|
209
|
+
"verified-artifact-runtime",
|
|
210
|
+
"admission-profile",
|
|
211
|
+
"current-registry"
|
|
212
|
+
],
|
|
213
|
+
"outputAuthority": "verified-admission-runtime",
|
|
214
|
+
"processBoundary": "same-runtime-custody",
|
|
215
|
+
"namespacePolicy": "not-applicable",
|
|
216
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
217
|
+
},
|
|
218
|
+
{
|
|
219
|
+
"operation": "artifact.append.plan",
|
|
220
|
+
"authorityProfiles": [
|
|
221
|
+
"artifact-local",
|
|
222
|
+
"global-shared"
|
|
223
|
+
],
|
|
224
|
+
"inputAuthority": "verified-admission-runtime",
|
|
225
|
+
"requiredEvidence": [
|
|
226
|
+
"verified-admission-runtime",
|
|
227
|
+
"verified-history-runtime",
|
|
228
|
+
"verified-actor-runtime",
|
|
229
|
+
"discovered-registry-law-runtime",
|
|
230
|
+
"commit-domain",
|
|
231
|
+
"canonical-event",
|
|
232
|
+
"expected-head",
|
|
233
|
+
"idempotency-identity"
|
|
234
|
+
],
|
|
235
|
+
"outputAuthority": "sdk-plan-runtime",
|
|
236
|
+
"processBoundary": "same-runtime-custody",
|
|
237
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
238
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
239
|
+
},
|
|
240
|
+
{
|
|
241
|
+
"operation": "identity.capability.sign",
|
|
242
|
+
"authorityProfiles": [],
|
|
243
|
+
"inputAuthority": "identity-key-file",
|
|
244
|
+
"requiredEvidence": [
|
|
245
|
+
"identity-key-file",
|
|
246
|
+
"capability-payload"
|
|
247
|
+
],
|
|
248
|
+
"outputAuthority": "signed-capability-claim-not-yet-verified",
|
|
249
|
+
"processBoundary": "local-identity-key-custody",
|
|
250
|
+
"namespacePolicy": "not-applicable",
|
|
251
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
252
|
+
},
|
|
253
|
+
{
|
|
254
|
+
"operation": "artifact.transition.seal",
|
|
255
|
+
"authorityProfiles": [
|
|
256
|
+
"artifact-local",
|
|
257
|
+
"global-shared"
|
|
258
|
+
],
|
|
259
|
+
"inputAuthority": "sdk-plan-runtime",
|
|
260
|
+
"requiredEvidence": [
|
|
261
|
+
"sdk-plan-runtime",
|
|
262
|
+
"verified-capability-runtime",
|
|
263
|
+
"transition-sealer-runtime"
|
|
264
|
+
],
|
|
265
|
+
"outputAuthority": "sealed-candidate-proof-object-not-accepted-head",
|
|
266
|
+
"processBoundary": "same-runtime-custody",
|
|
267
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
268
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
269
|
+
},
|
|
270
|
+
{
|
|
271
|
+
"operation": "artifact.transition.stage",
|
|
272
|
+
"authorityProfiles": [
|
|
273
|
+
"artifact-local",
|
|
274
|
+
"global-shared"
|
|
275
|
+
],
|
|
276
|
+
"inputAuthority": "sealed-candidate-runtime",
|
|
277
|
+
"requiredEvidence": [
|
|
278
|
+
"sealed-candidate-runtime",
|
|
279
|
+
"conforming-transition-store-runtime",
|
|
280
|
+
"commit-domain"
|
|
281
|
+
],
|
|
282
|
+
"outputAuthority": "staged-candidate-locator-non-authoritative",
|
|
283
|
+
"processBoundary": "same-runtime-custody",
|
|
284
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
285
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
286
|
+
},
|
|
287
|
+
{
|
|
288
|
+
"operation": "artifact.transition.commit",
|
|
289
|
+
"authorityProfiles": [
|
|
290
|
+
"artifact-local",
|
|
291
|
+
"global-shared"
|
|
292
|
+
],
|
|
293
|
+
"inputAuthority": "staged-candidate-reference",
|
|
294
|
+
"requiredEvidence": [
|
|
295
|
+
"sdk-plan-runtime",
|
|
296
|
+
"verified-capability-runtime",
|
|
297
|
+
"staged-candidate-reference",
|
|
298
|
+
"conforming-transition-store-runtime",
|
|
299
|
+
"commit-domain"
|
|
300
|
+
],
|
|
301
|
+
"outputAuthority": "accepted-artifact-history-with-report-only-receipt",
|
|
302
|
+
"processBoundary": "same-runtime-custody",
|
|
303
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
304
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
305
|
+
},
|
|
306
|
+
{
|
|
307
|
+
"operation": "admission.command.execute",
|
|
308
|
+
"authorityProfiles": [
|
|
309
|
+
"artifact-local",
|
|
310
|
+
"global-shared",
|
|
311
|
+
"projection-only",
|
|
312
|
+
"simulation-only"
|
|
313
|
+
],
|
|
314
|
+
"inputAuthority": "claimed-command",
|
|
315
|
+
"requiredEvidence": [
|
|
316
|
+
"claimed-command",
|
|
317
|
+
"current-registry",
|
|
318
|
+
"capability-verifier-runtime",
|
|
319
|
+
"consequence-projector-runtime",
|
|
320
|
+
"admission-store"
|
|
321
|
+
],
|
|
322
|
+
"outputAuthority": "admission-receipt-non-authoritative",
|
|
323
|
+
"processBoundary": "same-runtime-custody",
|
|
324
|
+
"namespacePolicy": "not-applicable",
|
|
325
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
326
|
+
},
|
|
327
|
+
{
|
|
328
|
+
"operation": "public-proof.projection.locate",
|
|
329
|
+
"authorityProfiles": [
|
|
330
|
+
"projection-only"
|
|
331
|
+
],
|
|
332
|
+
"inputAuthority": "projection-only",
|
|
333
|
+
"requiredEvidence": [
|
|
334
|
+
"projection-locator"
|
|
335
|
+
],
|
|
336
|
+
"outputAuthority": "exact-artifact-bytes-not-yet-verified",
|
|
337
|
+
"processBoundary": "projection-only",
|
|
338
|
+
"namespacePolicy": "not-applicable",
|
|
339
|
+
"compatibleSdkRange": ">=112.0.0 <113.0.0"
|
|
340
|
+
}
|
|
341
|
+
],
|
|
342
|
+
"currentMcpArtifactTools": [
|
|
343
|
+
"receiz_artifact_verify",
|
|
344
|
+
"receiz_artifact_admit",
|
|
345
|
+
"receiz_artifact_append_plan",
|
|
346
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
347
|
+
"receiz_artifact_transition_commit"
|
|
348
|
+
]
|
|
130
349
|
}
|
|
@@ -6,5 +6,7 @@ and request confirmation before writing.
|
|
|
6
6
|
|
|
7
7
|
Automatic edits are limited to generated files, approved `package.json` fields,
|
|
8
8
|
and explicit generated blocks. Unmarked source becomes a manual action. Preserve
|
|
9
|
-
|
|
9
|
+
the declared owner of every Receiz-generated file. `receiz.extensions.ts` is always
|
|
10
|
+
developer-owned and must never be overwritten, regenerated, or adopted by Receiz.
|
|
11
|
+
Preserve all unrelated code. Reject traversal, symlink escape, stale previews, and content
|
|
10
12
|
whose digest changed after review.
|
|
@@ -13,5 +13,7 @@ After every mutation, run the returned verification commands and reinspect.
|
|
|
13
13
|
The same repository must produce zero changes on the second run.
|
|
14
14
|
Preserve the developer-owned `receiz.extensions.ts` sibling on every run. Finish with `receiz conformance` or `receiz_release_qualify`.
|
|
15
15
|
|
|
16
|
+
For v112 artifact mutation, use the exact five-tool MCP sequence: `receiz_artifact_verify`, `receiz_artifact_admit`, `receiz_artifact_append_plan`, `receiz_artifact_transition_seal_and_stage`, then `receiz_artifact_transition_commit`. Planning and staging perform zero head writes; commit independently resolves and reverifies staged bytes before atomic named-domain acceptance.
|
|
17
|
+
|
|
16
18
|
Do not substitute inspection for verification, publication for settlement, or a
|
|
17
19
|
successful write for proof admission.
|
|
@@ -10,7 +10,7 @@ Map domains, sources of truth, state machines, dependency direction, and cross-d
|
|
|
10
10
|
## Constitutional workflow
|
|
11
11
|
|
|
12
12
|
1. Inspect the repository and installed SDK version.
|
|
13
|
-
2. Load the active
|
|
13
|
+
2. Load the active canonical v112 registry and applicable constitutional laws.
|
|
14
14
|
3. Identify every authority boundary affected by the change.
|
|
15
15
|
4. Write the implementation contract before implementation.
|
|
16
16
|
5. Implement canonical changes only through SDK commands.
|
|
@@ -51,3 +51,12 @@ Request: 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
|
+
## v112 artifact-derived authority
|
|
55
|
+
|
|
56
|
+
Engineers remain free to build whatever they choose, but conforming Receiz receivers recognize authority only when every authority-bearing value is provably derived from independently verified artifact truth. Custom JavaScript objects, callbacks, normalized histories, local receipts, server rows, sessions, MCP memory, and AI explanations remain application data or inspection material; their shape never creates Receiz authority.
|
|
57
|
+
|
|
58
|
+
Admission begins from runtime-custodied verification of the exact enclosing artifact bytes under the complete frozen verifier context. Verified history and actor evidence remain same-runtime objects and fail closed on divergence or structural reconstruction. Identity Seal signing uses a locally held Ed25519 or P-256 key and emits a signed capability claim; only current verification of that claim against the exact plan produces capability authority.
|
|
59
|
+
|
|
60
|
+
Deterministic plan identity and unique execution-attempt identity are separate. MCP may reuse a confirmation digest only while the identical attempt is actively pending; committed and failed attempts are terminal and require a fresh confirmation. Expected authority failures are structured, immutable, machine-readable, and report zero writes.
|
|
61
|
+
|
|
62
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, actors, capabilities, plans, candidates, stores, or confirmations cannot authorize a current v112 receiver; exact bytes crossing a process require `reverify-exact-bytes`, followed by current profile admission and `same-runtime-custody` through plan, capability, seal, stage, independent byte resolution, atomic named-domain acceptance, and report-only receipt.
|