@receiz/ai-skills 111.0.0 → 113.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 +19 -7
- package/SKILLS.md +29 -0
- package/package.json +7 -4
- package/receiz-app-builder-skill/SKILL.md +21 -16
- package/receiz-app-builder-skill/manifest.json +283 -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 +4 -4
- package/receiz-architecture/manifest.json +307 -10
- package/receiz-authority-security/SKILL.md +4 -4
- package/receiz-authority-security/manifest.json +307 -10
- package/receiz-bearer-ownership/SKILL.md +5 -5
- package/receiz-bearer-ownership/manifest.json +304 -14
- package/receiz-build-production-system/SKILL.md +4 -4
- package/receiz-build-production-system/manifest.json +307 -10
- package/receiz-builder-skill/resources/generated-code-rules.md +2 -0
- package/receiz-causal-sync/SKILL.md +4 -4
- package/receiz-causal-sync/manifest.json +307 -10
- package/receiz-command-builder/SKILL.md +4 -4
- package/receiz-command-builder/manifest.json +307 -10
- package/receiz-constitutional-laws/SKILL.md +4 -4
- package/receiz-constitutional-laws/manifest.json +307 -10
- package/receiz-cross-app-state/SKILL.md +22 -17
- package/receiz-cross-app-state/manifest.json +282 -22
- package/receiz-deterministic-replay/SKILL.md +4 -4
- package/receiz-deterministic-replay/manifest.json +307 -10
- package/receiz-domain-builder/SKILL.md +4 -4
- package/receiz-domain-builder/manifest.json +307 -10
- package/receiz-global-reconciliation/SKILL.md +74 -0
- package/receiz-global-reconciliation/agents/openai.yaml +4 -0
- package/receiz-global-reconciliation/manifest.json +258 -0
- package/receiz-global-reconciliation/resources/divergence-and-recovery.md +15 -0
- package/receiz-global-reconciliation/resources/first-paint-and-effects.md +7 -0
- package/receiz-global-reconciliation/resources/mcp-tool-map.md +20 -0
- package/receiz-global-reconciliation/resources/reconciliation-flow.md +9 -0
- package/receiz-identity-profile/SKILL.md +7 -7
- package/receiz-identity-profile/manifest.json +303 -13
- package/receiz-mcp-agent-skill/SKILL.md +2 -2
- package/receiz-mcp-agent-skill/resources/mcp-tool-map.md +26 -16
- package/receiz-migrations/SKILL.md +23 -18
- package/receiz-migrations/agents/openai.yaml +1 -1
- package/receiz-migrations/manifest.json +283 -18
- package/receiz-observability/SKILL.md +4 -4
- package/receiz-observability/manifest.json +307 -10
- package/receiz-offline-command/SKILL.md +4 -4
- package/receiz-offline-command/manifest.json +304 -11
- package/receiz-offline-first/SKILL.md +4 -4
- package/receiz-offline-first/manifest.json +307 -10
- package/receiz-offline-verifier-skill/SKILL.md +21 -16
- package/receiz-offline-verifier-skill/manifest.json +283 -18
- package/receiz-performance/SKILL.md +4 -4
- package/receiz-performance/manifest.json +307 -10
- package/receiz-portable-artifacts/SKILL.md +22 -17
- package/receiz-portable-artifacts/manifest.json +283 -18
- package/receiz-portable-continuity/SKILL.md +7 -7
- package/receiz-portable-continuity/manifest.json +303 -20
- package/receiz-proof-media/SKILL.md +3 -3
- package/receiz-proof-media/manifest.json +306 -11
- package/receiz-proof-skill/SKILL.md +21 -16
- package/receiz-proof-skill/manifest.json +283 -18
- package/receiz-proof-skill/resources/mcp-tool-map.md +6 -0
- package/receiz-proof-skill/resources/sdk-reference.md +7 -3
- package/receiz-receipt-admission/SKILL.md +7 -7
- package/receiz-receipt-admission/manifest.json +302 -15
- package/receiz-release/SKILL.md +23 -18
- package/receiz-release/manifest.json +283 -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 +4 -0
- package/receiz-skill-bundle/resources/skill-routing.md +9 -4
- package/receiz-skill-bundle/resources/when-to-use-each-skill.md +8 -0
- package/receiz-testing/SKILL.md +22 -17
- package/receiz-testing/manifest.json +283 -18
- package/scripts/validate-skills.mjs +567 -0
- package/skills.json +223 -0
- package/scripts/validate-skills.ts +0 -500
package/README.md
CHANGED
|
@@ -1,17 +1,29 @@
|
|
|
1
1
|
# Receiz AI Skills
|
|
2
2
|
|
|
3
|
+
The `113.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
|
+
## V113 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 single current MCP artifact inventory contains nine tools: `receiz_artifact_verify`, `receiz_artifact_admit`, `receiz_artifact_append_plan`, `receiz_artifact_transition_seal_and_stage`, `receiz_artifact_transition_commit`, `receiz_artifact_global_resolve`, `receiz_artifact_reconcile_plan`, `receiz_artifact_reconcile_stage`, and `receiz_artifact_reconcile_commit`. The first five are also the explicitly historical v112 compatibility inventory, not a second current surface. 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. V113 production reconciliation uses the provider-neutral `client.coordination` rail and never exposes Supabase mechanics. 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
|
-
Receiz applications.
|
|
16
|
+
Receiz applications. Fifteen 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 v113 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 version `
|
|
22
|
+
One dedicated `receiz-global-reconciliation` skill governs accepted-head resolution, verified offline reconciliation, structural divergence, first paint, indeterminate recovery, and effects. Every current manifest uses version `113.0.0`, requires SDK/MCP `>=113.0.0 <114.0.0`, and binds ruleset `113.0.0` to registry digest `4c4aa85f9785d205dcf7e4e5109837a83f8c3bf8e166130ae7e87353f299c637` and operation-matrix digest `091ab9e6b3acb05283510a19754e53c637dbd96b47b499a524dc44c34f8e783b` from SDK source.
|
|
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
|
|
|
14
|
-
It is published as `@receiz/ai-skills` and is an exact-version dependency of both `@receiz/sdk` and `@receiz/mcp-server`. Installing either package places all
|
|
26
|
+
It is published as `@receiz/ai-skills` and is an exact-version dependency of both `@receiz/sdk` and `@receiz/mcp-server`. Installing either package places all 32 skills under `node_modules/@receiz/ai-skills`: 26 manifests and 23 OpenAI agent prompts are included for explicit loading by an agent host.
|
|
15
27
|
|
|
16
28
|
Receiz is a proof-native artifact system. Sealed proof/object truth is strongest: a Receiz object is not a database row, but a proof-carrying artifact whose witnessed history is the truth boundary. The proof object carries continuity; SDK and MCP may verify, extract, append, or project beneath that carried truth. Receiz.com reference behavior comes before SDK, MCP, AI, and other developer rails. Server state, database state, UI state, marketplace state, and model memory are projections only. Old witnessed truth is not stale. If a projection is wrong, rebuild it from object history. If truth is missing, append new truth. Never mutate witnessed truth.
|
|
17
29
|
|
|
@@ -20,16 +32,16 @@ A verified proof object is not limited to the platform that created it. Any lawf
|
|
|
20
32
|
## SDK, MCP, And Skills
|
|
21
33
|
|
|
22
34
|
- SDK: `@receiz/sdk` is the universal runtime; `@receiz/sdk/react` is React-only; `@receiz/sdk/compiler` is Node-only; `@receiz/sdk/testing` is browser-safe sandbox and conformance support.
|
|
23
|
-
- MCP: `@receiz/mcp-server` is for agent tool access. Its
|
|
35
|
+
- MCP: `@receiz/mcp-server` is for agent tool access. Its current nine artifact tools expose the transition and reconciliation orchestration contracts through the same SDK authority types. Diagnostics, public reads, app-state/public-store actions, previews, and delegated writes remain beneath proof truth.
|
|
24
36
|
- Skills: this package is operating doctrine. It tells an AI which Receiz primitive is active, which source of truth wins, which SDK or MCP rail to use, and what must never be assumed.
|
|
25
37
|
|
|
26
38
|
Agents may acquire scoped delegated access through the official Receiz Connect/OIDC Authorization Code + PKCE flow or through the MCP delegated-agent setup path exposed by `receiz_mcp_login`. That acquired access is permission to call scoped SDK/MCP rails after user consent. It is not proof authority and must never outrank artifact truth.
|
|
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
|
|
42
|
+
Start with `receiz-build-production-system` when work spans multiple constitutional domains and `receiz-global-reconciliation` for named-domain coordination. Machine-readable manifests require the exact active canonical v113 registry and operation-matrix digests, 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 current outcome.
|
|
31
43
|
|
|
32
|
-
The
|
|
44
|
+
The v113 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/SKILLS.md
ADDED
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
# Receiz AI Skills v113
|
|
2
|
+
|
|
3
|
+
This package ships 32 skills, 26 machine-readable manifests, and 23 OpenAI agent prompts. Every current manifest binds registry digest `4c4aa85f9785d205dcf7e4e5109837a83f8c3bf8e166130ae7e87353f299c637` and application-operation-matrix digest `091ab9e6b3acb05283510a19754e53c637dbd96b47b499a524dc44c34f8e783b` from the v113 SDK source.
|
|
4
|
+
|
|
5
|
+
## Current MCP artifact inventory: nine tools
|
|
6
|
+
|
|
7
|
+
The single current inventory is:
|
|
8
|
+
|
|
9
|
+
1. `receiz_artifact_verify`
|
|
10
|
+
2. `receiz_artifact_admit`
|
|
11
|
+
3. `receiz_artifact_append_plan`
|
|
12
|
+
4. `receiz_artifact_transition_seal_and_stage`
|
|
13
|
+
5. `receiz_artifact_transition_commit`
|
|
14
|
+
6. `receiz_artifact_global_resolve`
|
|
15
|
+
7. `receiz_artifact_reconcile_plan`
|
|
16
|
+
8. `receiz_artifact_reconcile_stage`
|
|
17
|
+
9. `receiz_artifact_reconcile_commit`
|
|
18
|
+
|
|
19
|
+
The first five tools are also the historical v112 compatibility inventory. That historical label preserves the v112 contract; it does not define a second current surface.
|
|
20
|
+
|
|
21
|
+
## Skill inventory
|
|
22
|
+
|
|
23
|
+
The canonical machine-readable index is [skills.json](skills.json). Start with `receiz-build-production-system` for multi-domain work, `receiz-global-reconciliation` for named-domain head resolution and offline reconciliation, or a focused primitive skill for narrower work.
|
|
24
|
+
|
|
25
|
+
## Forbidden AI operations
|
|
26
|
+
|
|
27
|
+
All current skills forbid: `last-write-wins`, `timestamp-as-head-authority`, `connect-token-as-proof-authority`, `local-receipt-as-global-authority`, `projection-as-current-owner`, `silent-divergence-resolution`, `remote-reconciliation-before-first-paint`, `unverified-server-artifact-render`, `environment-player-token-fallback`, `accepted-means-effects-delivered`, and `indeterminate-means-failed`.
|
|
28
|
+
|
|
29
|
+
These instructions remain beneath exact sealed artifact bytes, independently verified history, verified identity evidence, plan-bound capability authority, and atomic named-domain acceptance.
|
package/package.json
CHANGED
|
@@ -1,10 +1,12 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@receiz/ai-skills",
|
|
3
|
-
"version": "
|
|
4
|
-
"description": "
|
|
3
|
+
"version": "113.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
|
+
"SKILLS.md",
|
|
9
|
+
"skills.json",
|
|
8
10
|
"scripts",
|
|
9
11
|
"receiz-app-builder-skill",
|
|
10
12
|
"receiz-builder-skill",
|
|
@@ -36,7 +38,8 @@
|
|
|
36
38
|
"receiz-offline-command",
|
|
37
39
|
"receiz-proof-media",
|
|
38
40
|
"receiz-cross-app-state",
|
|
39
|
-
"receiz-receipt-admission"
|
|
41
|
+
"receiz-receipt-admission",
|
|
42
|
+
"receiz-global-reconciliation"
|
|
40
43
|
],
|
|
41
44
|
"keywords": [
|
|
42
45
|
"receiz",
|
|
@@ -53,6 +56,6 @@
|
|
|
53
56
|
"access": "public"
|
|
54
57
|
},
|
|
55
58
|
"scripts": {
|
|
56
|
-
"test": "node
|
|
59
|
+
"test": "node scripts/validate-skills.mjs"
|
|
57
60
|
}
|
|
58
61
|
}
|
|
@@ -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 v113 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 v113 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`, `receiz.public-proof.projection.locate`, `receiz.artifact.global.resolve`, and `receiz.artifact.offline.reconcile`. 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 v113 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,15 @@ 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`
|
|
63
|
+
- `receiz_artifact_global_resolve`
|
|
64
|
+
- `receiz_artifact_reconcile_plan`
|
|
65
|
+
- `receiz_artifact_reconcile_stage`
|
|
66
|
+
- `receiz_artifact_reconcile_commit`
|
|
62
67
|
|
|
63
68
|
## Artifact prohibitions
|
|
64
69
|
|
|
@@ -202,20 +207,20 @@ Resources:
|
|
|
202
207
|
- [Generated-file repair](resources/generated-file-repair.md)
|
|
203
208
|
- [Upgrade rules](resources/upgrade-rules.md)
|
|
204
209
|
|
|
205
|
-
##
|
|
210
|
+
## v113 unified admission and recovery
|
|
206
211
|
|
|
207
|
-
|
|
212
|
+
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
213
|
|
|
209
|
-
|
|
214
|
+
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
215
|
|
|
211
|
-
|
|
216
|
+
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
217
|
|
|
213
218
|
- Never admit a card-only payload as a Receiz artifact.
|
|
214
219
|
- Never treat an explanation as proof authority.
|
|
215
220
|
- Never accept raw capability JSON as recovery authority.
|
|
216
|
-
- Never hide mutation inside
|
|
221
|
+
- Never hide mutation inside admission or append planning.
|
|
217
222
|
|
|
218
|
-
Current MCP parity
|
|
223
|
+
Current MCP parity is exactly `receiz_artifact_verify`, `receiz_artifact_admit`, `receiz_artifact_append_plan`, `receiz_artifact_transition_seal_and_stage`, `receiz_artifact_transition_commit`, `receiz_artifact_global_resolve`, `receiz_artifact_reconcile_plan`, `receiz_artifact_reconcile_stage`, and `receiz_artifact_reconcile_commit`. The first five are preserved as the historical v112 compatibility inventory, not as a second current inventory.
|
|
219
224
|
|
|
220
225
|
Required completion evidence:
|
|
221
226
|
|
|
@@ -228,12 +233,12 @@ Operation identity:
|
|
|
228
233
|
Atomic commit result:
|
|
229
234
|
```
|
|
230
235
|
|
|
231
|
-
##
|
|
236
|
+
## v113 artifact-derived authority
|
|
232
237
|
|
|
233
238
|
Engineers remain free to build whatever they choose, but conforming Receiz receivers recognize authority only when every authority-bearing value is provably derived from independently verified artifact truth. Custom JavaScript objects, callbacks, normalized histories, local receipts, server rows, sessions, MCP memory, and AI explanations remain application data or inspection material; their shape never creates Receiz authority.
|
|
234
239
|
|
|
235
|
-
Admission
|
|
240
|
+
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.
|
|
236
241
|
|
|
237
242
|
Deterministic plan identity and unique execution-attempt identity are separate. MCP may reuse a confirmation digest only while the identical attempt is actively pending; committed and failed attempts are terminal and require a fresh confirmation. Expected authority failures are structured, immutable, machine-readable, and report zero writes.
|
|
238
243
|
|
|
239
|
-
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current
|
|
244
|
+
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, actors, capabilities, plans, candidates, stores, or confirmations cannot authorize a current v113 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,15 @@
|
|
|
1
1
|
{
|
|
2
|
-
"schema": "receiz.ai-skill-contract.
|
|
2
|
+
"schema": "receiz.ai-skill-contract.v113",
|
|
3
3
|
"name": "receiz-app-builder-skill",
|
|
4
|
-
"version": "
|
|
4
|
+
"version": "113.0.0",
|
|
5
5
|
"requires": {
|
|
6
|
-
"sdk": ">=
|
|
7
|
-
"mcp": ">=
|
|
8
|
-
"ruleset": "
|
|
9
|
-
"registryDigest": "
|
|
6
|
+
"sdk": ">=113.0.0 <114.0.0",
|
|
7
|
+
"mcp": ">=113.0.0 <114.0.0",
|
|
8
|
+
"ruleset": "113.0.0",
|
|
9
|
+
"registryDigest": "4c4aa85f9785d205dcf7e4e5109837a83f8c3bf8e166130ae7e87353f299c637",
|
|
10
|
+
"operationMatrixDigest": "091ab9e6b3acb05283510a19754e53c637dbd96b47b499a524dc44c34f8e783b"
|
|
10
11
|
},
|
|
11
|
-
"artifactLawVersion": "
|
|
12
|
+
"artifactLawVersion": "113.0.0",
|
|
12
13
|
"artifactLaws": [
|
|
13
14
|
"ARTIFACT-001",
|
|
14
15
|
"ARTIFACT-002",
|
|
@@ -29,7 +30,17 @@
|
|
|
29
30
|
"ARTIFACT-017",
|
|
30
31
|
"ARTIFACT-018",
|
|
31
32
|
"ARTIFACT-019",
|
|
32
|
-
"ARTIFACT-020"
|
|
33
|
+
"ARTIFACT-020",
|
|
34
|
+
"ARTIFACT-021",
|
|
35
|
+
"ARTIFACT-022",
|
|
36
|
+
"ARTIFACT-023",
|
|
37
|
+
"ARTIFACT-024",
|
|
38
|
+
"ARTIFACT-025",
|
|
39
|
+
"ARTIFACT-026",
|
|
40
|
+
"ARTIFACT-027",
|
|
41
|
+
"ARTIFACT-028",
|
|
42
|
+
"ARTIFACT-029",
|
|
43
|
+
"ARTIFACT-030"
|
|
33
44
|
],
|
|
34
45
|
"laws": [
|
|
35
46
|
"receiz.artifact.sealed-truth",
|
|
@@ -42,9 +53,15 @@
|
|
|
42
53
|
"artifacts.download",
|
|
43
54
|
"artifacts.verifyAndOpen",
|
|
44
55
|
"artifacts.admit",
|
|
45
|
-
"
|
|
46
|
-
"
|
|
47
|
-
"
|
|
56
|
+
"artifact.verify",
|
|
57
|
+
"artifact.admit",
|
|
58
|
+
"artifact.append.plan",
|
|
59
|
+
"identity.capability.sign",
|
|
60
|
+
"artifact.transition.seal",
|
|
61
|
+
"artifact.transition.stage",
|
|
62
|
+
"artifact.transition.commit",
|
|
63
|
+
"admission.command.execute",
|
|
64
|
+
"public-proof.projection.locate"
|
|
48
65
|
],
|
|
49
66
|
"allowedTools": [
|
|
50
67
|
"receiz_project_inspect",
|
|
@@ -53,9 +70,10 @@
|
|
|
53
70
|
"receiz_app_check",
|
|
54
71
|
"receiz_release_qualify",
|
|
55
72
|
"receiz_artifact_admit",
|
|
56
|
-
"
|
|
57
|
-
"
|
|
58
|
-
"
|
|
73
|
+
"receiz_artifact_verify",
|
|
74
|
+
"receiz_artifact_append_plan",
|
|
75
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
76
|
+
"receiz_artifact_transition_commit"
|
|
59
77
|
],
|
|
60
78
|
"forbiddenOperations": [
|
|
61
79
|
"direct-state-write",
|
|
@@ -73,7 +91,33 @@
|
|
|
73
91
|
"caller-verifier-as-history-authority",
|
|
74
92
|
"parseable-key-as-signing-authority",
|
|
75
93
|
"terminal-mcp-confirmation-reuse",
|
|
76
|
-
"historical-runtime-object-as-current-authority"
|
|
94
|
+
"historical-runtime-object-as-current-authority",
|
|
95
|
+
"projection-as-artifact-authority",
|
|
96
|
+
"runtime-shape-as-v112-authority",
|
|
97
|
+
"subpayload-hash-as-enclosing-authority",
|
|
98
|
+
"unaccepted-candidate-as-committed",
|
|
99
|
+
"staging-reference-without-byte-resolution",
|
|
100
|
+
"receipt-as-proof-authority",
|
|
101
|
+
"cross-domain-idempotency-conflict",
|
|
102
|
+
"external-effects-in-transition-digest",
|
|
103
|
+
"serialized-sdk-authority",
|
|
104
|
+
"mcp-property-bag-authority",
|
|
105
|
+
"generic-constitutional-artifact-mutation",
|
|
106
|
+
"confirmation-as-proof-authority",
|
|
107
|
+
"receipt-actor-as-runtime-identity",
|
|
108
|
+
"browser-proof-object-storage",
|
|
109
|
+
"known-artifact-first-paint-blocking",
|
|
110
|
+
"last-write-wins",
|
|
111
|
+
"timestamp-as-head-authority",
|
|
112
|
+
"connect-token-as-proof-authority",
|
|
113
|
+
"local-receipt-as-global-authority",
|
|
114
|
+
"projection-as-current-owner",
|
|
115
|
+
"silent-divergence-resolution",
|
|
116
|
+
"remote-reconciliation-before-first-paint",
|
|
117
|
+
"unverified-server-artifact-render",
|
|
118
|
+
"environment-player-token-fallback",
|
|
119
|
+
"accepted-means-effects-delivered",
|
|
120
|
+
"indeterminate-means-failed"
|
|
77
121
|
],
|
|
78
122
|
"requiredInputs": [
|
|
79
123
|
"repository-root",
|
|
@@ -109,7 +153,19 @@
|
|
|
109
153
|
"independent-proof-history-evidence-roots",
|
|
110
154
|
"domain-separated-signing-challenge",
|
|
111
155
|
"distinct-plan-and-attempt-identities",
|
|
112
|
-
"structured-zero-write-failures"
|
|
156
|
+
"structured-zero-write-failures",
|
|
157
|
+
"exact-eleven-row-operation-matrix-parity",
|
|
158
|
+
"exact-nine-tool-mcp-parity",
|
|
159
|
+
"process-boundary-parity",
|
|
160
|
+
"exact-byte-reverification",
|
|
161
|
+
"identity-seal-ed25519-p256-signing",
|
|
162
|
+
"neutral-staging-zero-head-writes",
|
|
163
|
+
"independent-staged-byte-resolution",
|
|
164
|
+
"named-domain-atomic-acceptance",
|
|
165
|
+
"report-only-receipt",
|
|
166
|
+
"browser-ledger-no-proof-bytes",
|
|
167
|
+
"generated-file-ownership-preservation",
|
|
168
|
+
"current-registry-payload-digest-equality"
|
|
113
169
|
],
|
|
114
170
|
"requiredCompletionFields": [
|
|
115
171
|
"sdk-version",
|
|
@@ -138,9 +194,218 @@
|
|
|
138
194
|
"release-lock-pass",
|
|
139
195
|
"zero-network-verification",
|
|
140
196
|
"local-verifier-result",
|
|
141
|
-
"
|
|
197
|
+
"v112-artifact-authority-conformance",
|
|
142
198
|
"no-hidden-mutation",
|
|
143
199
|
"explanation-remains-non-authoritative"
|
|
144
200
|
],
|
|
145
|
-
"maximumAutonomousAuthority": "inspect-plan-scaffold-test"
|
|
201
|
+
"maximumAutonomousAuthority": "inspect-plan-scaffold-test",
|
|
202
|
+
"operationAuthorityMatrix": [
|
|
203
|
+
{
|
|
204
|
+
"operation": "artifact.verify",
|
|
205
|
+
"authorityProfiles": [],
|
|
206
|
+
"inputAuthority": "exact-artifact-bytes",
|
|
207
|
+
"requiredEvidence": [
|
|
208
|
+
"exact-artifact-bytes",
|
|
209
|
+
"pinned-verifier-roots"
|
|
210
|
+
],
|
|
211
|
+
"outputAuthority": "verified-artifact-runtime",
|
|
212
|
+
"processBoundary": "reverify-exact-bytes",
|
|
213
|
+
"namespacePolicy": "not-applicable",
|
|
214
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
215
|
+
},
|
|
216
|
+
{
|
|
217
|
+
"operation": "artifact.admit",
|
|
218
|
+
"authorityProfiles": [],
|
|
219
|
+
"inputAuthority": "verified-artifact-runtime",
|
|
220
|
+
"requiredEvidence": [
|
|
221
|
+
"verified-artifact-runtime",
|
|
222
|
+
"admission-profile",
|
|
223
|
+
"current-registry"
|
|
224
|
+
],
|
|
225
|
+
"outputAuthority": "verified-admission-runtime",
|
|
226
|
+
"processBoundary": "same-runtime-custody",
|
|
227
|
+
"namespacePolicy": "not-applicable",
|
|
228
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
229
|
+
},
|
|
230
|
+
{
|
|
231
|
+
"operation": "artifact.append.plan",
|
|
232
|
+
"authorityProfiles": [
|
|
233
|
+
"artifact-local",
|
|
234
|
+
"global-shared"
|
|
235
|
+
],
|
|
236
|
+
"inputAuthority": "verified-admission-runtime",
|
|
237
|
+
"requiredEvidence": [
|
|
238
|
+
"verified-admission-runtime",
|
|
239
|
+
"verified-history-runtime",
|
|
240
|
+
"verified-actor-runtime",
|
|
241
|
+
"discovered-registry-law-runtime",
|
|
242
|
+
"commit-domain",
|
|
243
|
+
"canonical-event",
|
|
244
|
+
"expected-head",
|
|
245
|
+
"idempotency-identity"
|
|
246
|
+
],
|
|
247
|
+
"outputAuthority": "sdk-plan-runtime",
|
|
248
|
+
"processBoundary": "same-runtime-custody",
|
|
249
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
250
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
251
|
+
},
|
|
252
|
+
{
|
|
253
|
+
"operation": "identity.capability.sign",
|
|
254
|
+
"authorityProfiles": [],
|
|
255
|
+
"inputAuthority": "identity-key-file",
|
|
256
|
+
"requiredEvidence": [
|
|
257
|
+
"identity-key-file",
|
|
258
|
+
"capability-payload"
|
|
259
|
+
],
|
|
260
|
+
"outputAuthority": "signed-capability-claim-not-yet-verified",
|
|
261
|
+
"processBoundary": "local-identity-key-custody",
|
|
262
|
+
"namespacePolicy": "not-applicable",
|
|
263
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
264
|
+
},
|
|
265
|
+
{
|
|
266
|
+
"operation": "artifact.transition.seal",
|
|
267
|
+
"authorityProfiles": [
|
|
268
|
+
"artifact-local",
|
|
269
|
+
"global-shared"
|
|
270
|
+
],
|
|
271
|
+
"inputAuthority": "sdk-plan-runtime",
|
|
272
|
+
"requiredEvidence": [
|
|
273
|
+
"sdk-plan-runtime",
|
|
274
|
+
"verified-capability-runtime",
|
|
275
|
+
"transition-sealer-runtime"
|
|
276
|
+
],
|
|
277
|
+
"outputAuthority": "sealed-candidate-proof-object-not-accepted-head",
|
|
278
|
+
"processBoundary": "same-runtime-custody",
|
|
279
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
280
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
281
|
+
},
|
|
282
|
+
{
|
|
283
|
+
"operation": "artifact.transition.stage",
|
|
284
|
+
"authorityProfiles": [
|
|
285
|
+
"artifact-local",
|
|
286
|
+
"global-shared"
|
|
287
|
+
],
|
|
288
|
+
"inputAuthority": "sealed-candidate-runtime",
|
|
289
|
+
"requiredEvidence": [
|
|
290
|
+
"sealed-candidate-runtime",
|
|
291
|
+
"conforming-transition-store-runtime",
|
|
292
|
+
"commit-domain"
|
|
293
|
+
],
|
|
294
|
+
"outputAuthority": "staged-candidate-locator-non-authoritative",
|
|
295
|
+
"processBoundary": "same-runtime-custody",
|
|
296
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
297
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
298
|
+
},
|
|
299
|
+
{
|
|
300
|
+
"operation": "artifact.transition.commit",
|
|
301
|
+
"authorityProfiles": [
|
|
302
|
+
"artifact-local",
|
|
303
|
+
"global-shared"
|
|
304
|
+
],
|
|
305
|
+
"inputAuthority": "staged-candidate-reference",
|
|
306
|
+
"requiredEvidence": [
|
|
307
|
+
"sdk-plan-runtime",
|
|
308
|
+
"verified-capability-runtime",
|
|
309
|
+
"staged-candidate-reference",
|
|
310
|
+
"conforming-transition-store-runtime",
|
|
311
|
+
"commit-domain"
|
|
312
|
+
],
|
|
313
|
+
"outputAuthority": "accepted-artifact-history-with-report-only-receipt",
|
|
314
|
+
"processBoundary": "same-runtime-custody",
|
|
315
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
316
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
317
|
+
},
|
|
318
|
+
{
|
|
319
|
+
"operation": "admission.command.execute",
|
|
320
|
+
"authorityProfiles": [
|
|
321
|
+
"artifact-local",
|
|
322
|
+
"global-shared",
|
|
323
|
+
"projection-only",
|
|
324
|
+
"simulation-only"
|
|
325
|
+
],
|
|
326
|
+
"inputAuthority": "claimed-command",
|
|
327
|
+
"requiredEvidence": [
|
|
328
|
+
"claimed-command",
|
|
329
|
+
"current-registry",
|
|
330
|
+
"capability-verifier-runtime",
|
|
331
|
+
"consequence-projector-runtime",
|
|
332
|
+
"admission-store"
|
|
333
|
+
],
|
|
334
|
+
"outputAuthority": "admission-receipt-non-authoritative",
|
|
335
|
+
"processBoundary": "same-runtime-custody",
|
|
336
|
+
"namespacePolicy": "not-applicable",
|
|
337
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
338
|
+
},
|
|
339
|
+
{
|
|
340
|
+
"operation": "public-proof.projection.locate",
|
|
341
|
+
"authorityProfiles": [
|
|
342
|
+
"projection-only"
|
|
343
|
+
],
|
|
344
|
+
"inputAuthority": "projection-only",
|
|
345
|
+
"requiredEvidence": [
|
|
346
|
+
"projection-locator"
|
|
347
|
+
],
|
|
348
|
+
"outputAuthority": "exact-artifact-bytes-not-yet-verified",
|
|
349
|
+
"processBoundary": "projection-only",
|
|
350
|
+
"namespacePolicy": "not-applicable",
|
|
351
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
352
|
+
},
|
|
353
|
+
{
|
|
354
|
+
"operation": "artifact.global.resolve",
|
|
355
|
+
"authorityProfiles": [
|
|
356
|
+
"global-shared",
|
|
357
|
+
"projection-only"
|
|
358
|
+
],
|
|
359
|
+
"inputAuthority": "projection-only",
|
|
360
|
+
"requiredEvidence": [
|
|
361
|
+
"projection-locator",
|
|
362
|
+
"commit-domain"
|
|
363
|
+
],
|
|
364
|
+
"outputAuthority": "exact-artifact-bytes-not-yet-verified",
|
|
365
|
+
"processBoundary": "reverify-exact-bytes",
|
|
366
|
+
"namespacePolicy": "not-applicable",
|
|
367
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
368
|
+
},
|
|
369
|
+
{
|
|
370
|
+
"operation": "artifact.offline.reconcile",
|
|
371
|
+
"authorityProfiles": [
|
|
372
|
+
"global-shared"
|
|
373
|
+
],
|
|
374
|
+
"inputAuthority": "exact-artifact-bytes",
|
|
375
|
+
"requiredEvidence": [
|
|
376
|
+
"exact-artifact-bytes",
|
|
377
|
+
"pinned-verifier-roots",
|
|
378
|
+
"current-registry",
|
|
379
|
+
"verified-history-runtime",
|
|
380
|
+
"verified-actor-runtime",
|
|
381
|
+
"sdk-plan-runtime",
|
|
382
|
+
"verified-capability-runtime",
|
|
383
|
+
"commit-domain",
|
|
384
|
+
"expected-head",
|
|
385
|
+
"idempotency-identity"
|
|
386
|
+
],
|
|
387
|
+
"outputAuthority": "accepted-artifact-history-with-report-only-receipt",
|
|
388
|
+
"processBoundary": "reverify-exact-bytes",
|
|
389
|
+
"namespacePolicy": "preserve-all-non-target",
|
|
390
|
+
"compatibleSdkRange": ">=113.0.0 <114.0.0"
|
|
391
|
+
}
|
|
392
|
+
],
|
|
393
|
+
"currentMcpArtifactTools": [
|
|
394
|
+
"receiz_artifact_verify",
|
|
395
|
+
"receiz_artifact_admit",
|
|
396
|
+
"receiz_artifact_append_plan",
|
|
397
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
398
|
+
"receiz_artifact_transition_commit",
|
|
399
|
+
"receiz_artifact_global_resolve",
|
|
400
|
+
"receiz_artifact_reconcile_plan",
|
|
401
|
+
"receiz_artifact_reconcile_stage",
|
|
402
|
+
"receiz_artifact_reconcile_commit"
|
|
403
|
+
],
|
|
404
|
+
"historicalV112McpArtifactTools": [
|
|
405
|
+
"receiz_artifact_verify",
|
|
406
|
+
"receiz_artifact_admit",
|
|
407
|
+
"receiz_artifact_append_plan",
|
|
408
|
+
"receiz_artifact_transition_seal_and_stage",
|
|
409
|
+
"receiz_artifact_transition_commit"
|
|
410
|
+
]
|
|
146
411
|
}
|
|
@@ -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 v113 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 v113 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,12 +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
|
-
##
|
|
54
|
+
## v113 artifact-derived authority
|
|
55
55
|
|
|
56
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
57
|
|
|
58
|
-
Admission
|
|
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
59
|
|
|
60
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
61
|
|
|
62
|
-
Historical sealed proof objects remain exact-byte verifiable evidence. Historical runtime admissions, histories, capabilities, plans, or confirmations cannot authorize a current
|
|
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 v113 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.
|