@riddledc/riddle-proof 0.8.83 → 0.8.85

package/dist/semantic-certificate.d.cts

@@ -1,191 +1,2 @@
-import { JsonValue } from './types.cjs';
-import './public-state.cjs';
-
-declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION: "riddle-proof.semantic-certificate.v0";
-interface RiddleProofSemanticScope {
-    repository: string;
-    revision: string;
-    environment: string;
-    target: string;
-    proof_attempt: string;
-}
-interface RiddleProofSemanticClaimRef {
-    claim_id: string;
-    claim_version: string;
-    parameters?: Record<string, JsonValue>;
-}
-interface RiddleProofSemanticClaim extends RiddleProofSemanticClaimRef {
-    label: string;
-}
-interface RiddleProofSemanticClaimExpectation extends RiddleProofSemanticClaimRef {
-    label?: string;
-}
-interface RiddleProofSemanticEvidenceRef {
-    receipt_id: string;
-    artifact_digest: string;
-    role: string;
-    artifact_url?: string;
-    artifact_path?: string;
-}
-type RiddleProofSemanticEvidenceBundle = [
-    RiddleProofSemanticEvidenceRef,
-    ...RiddleProofSemanticEvidenceRef[]
-];
-interface RiddleProofSemanticContractRef {
-    contract_id: string;
-    contract_version: string;
-    label: string;
-}
-interface RiddleProofSemanticContract extends RiddleProofSemanticContractRef {
-    claim: RiddleProofSemanticClaim;
-}
-interface RiddleProofSemanticRuntimeContract<Observation> extends RiddleProofSemanticContract {
-    accepts: (scope: RiddleProofSemanticScope, observation: Observation) => boolean;
-}
-interface RiddleProofSemanticRule {
-    rule_id: string;
-    rule_version: string;
-    label: string;
-    premises: [RiddleProofSemanticClaimRef, ...RiddleProofSemanticClaimRef[]];
-    conclusion: RiddleProofSemanticClaim;
-}
-type RiddleProofSemanticAssurance = "runtime_contract_accepted" | "declared_runtime_rule";
-interface RiddleProofSemanticPremise {
-    certificate_id: string;
-    derivation_kind: RiddleProofSemanticDerivation["kind"];
-    assurance: RiddleProofSemanticAssurance;
-    scope: RiddleProofSemanticScope;
-    claim: RiddleProofSemanticClaim;
-    evidence: RiddleProofSemanticEvidenceBundle;
-}
-interface RiddleProofSemanticContractDerivation {
-    kind: "contract";
-    assurance: "runtime_contract_accepted";
-    contract: RiddleProofSemanticContract;
-}
-interface RiddleProofSemanticCompositionDerivation {
-    kind: "composition";
-    assurance: "declared_runtime_rule";
-    rule: RiddleProofSemanticRule;
-    premises: [RiddleProofSemanticPremise, ...RiddleProofSemanticPremise[]];
-}
-type RiddleProofSemanticDerivation = RiddleProofSemanticContractDerivation | RiddleProofSemanticCompositionDerivation;
-interface RiddleProofSemanticCertificate {
-    version: typeof RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION;
-    certificate_id: string;
-    scope: RiddleProofSemanticScope;
-    claim: RiddleProofSemanticClaim;
-    evidence: RiddleProofSemanticEvidenceBundle;
-    derivation: RiddleProofSemanticDerivation;
-    issued_at: string;
-}
-interface CreateRiddleProofSemanticCertificateInput<Observation> {
-    scope: RiddleProofSemanticScope;
-    evidence: RiddleProofSemanticEvidenceBundle;
-    observation: Observation;
-    contract: RiddleProofSemanticRuntimeContract<Observation>;
-    issued_at?: string;
-}
-interface RiddleProofSemanticContractRejected {
-    code: "contract_rejected";
-    contract: RiddleProofSemanticContractRef;
-    message: string;
-}
-interface RiddleProofSemanticContractError {
-    code: "contract_error";
-    contract: RiddleProofSemanticContractRef;
-    message: string;
-}
-type RiddleProofSemanticCertificationResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticContractRejected | RiddleProofSemanticContractError;
-};
-interface ComposeRiddleProofSemanticCertificatesInput {
-    rule: RiddleProofSemanticRule;
-    certificates: [RiddleProofSemanticCertificate, ...RiddleProofSemanticCertificate[]];
-    issued_at?: string;
-}
-type RiddleProofSemanticScopeField = keyof RiddleProofSemanticScope;
-interface RiddleProofSemanticScopeMismatch {
-    code: "scope_mismatch";
-    input_index: number;
-    field: RiddleProofSemanticScopeField;
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticPremiseCountMismatch {
-    code: "premise_count_mismatch";
-    expected: number;
-    observed: number;
-    message: string;
-}
-interface RiddleProofSemanticPremiseMismatch {
-    code: "premise_mismatch";
-    input_index: number;
-    expected: RiddleProofSemanticClaimRef;
-    observed: RiddleProofSemanticClaimRef;
-    message: string;
-}
-type RiddleProofSemanticCompositionError = RiddleProofSemanticScopeMismatch | RiddleProofSemanticPremiseCountMismatch | RiddleProofSemanticPremiseMismatch;
-type RiddleProofSemanticCompositionResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticCompositionError;
-};
-interface MatchRiddleProofSemanticCertificateInput {
-    certificate: unknown;
-    expected_certificate_id: string;
-    expected_scope: RiddleProofSemanticScope;
-    expected_claim: RiddleProofSemanticClaimExpectation;
-    expected_assurance: RiddleProofSemanticAssurance;
-}
-interface RiddleProofSemanticCertificateInvalid {
-    code: "invalid_certificate";
-    message: string;
-}
-interface RiddleProofSemanticCertificateIdMismatch {
-    code: "certificate_id_mismatch";
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticCertificateMatchScopeMismatch {
-    code: "scope_mismatch";
-    field: RiddleProofSemanticScopeField;
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticCertificateClaimMismatch {
-    code: "claim_mismatch";
-    expected: RiddleProofSemanticClaimRef;
-    observed: RiddleProofSemanticClaimRef;
-    message: string;
-}
-interface RiddleProofSemanticCertificateAssuranceMismatch {
-    code: "assurance_mismatch";
-    expected: RiddleProofSemanticAssurance;
-    observed: RiddleProofSemanticAssurance;
-    message: string;
-}
-type RiddleProofSemanticCertificateMatchError = RiddleProofSemanticCertificateInvalid | RiddleProofSemanticCertificateIdMismatch | RiddleProofSemanticCertificateMatchScopeMismatch | RiddleProofSemanticCertificateClaimMismatch | RiddleProofSemanticCertificateAssuranceMismatch;
-type RiddleProofSemanticCertificateMatchResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticCertificateMatchError;
-};
-declare function riddleProofSemanticScopesEqual(left: RiddleProofSemanticScope, right: RiddleProofSemanticScope): boolean;
-declare function createRiddleProofSemanticCertificate<Observation>(input: CreateRiddleProofSemanticCertificateInput<Observation>): RiddleProofSemanticCertificationResult;
-declare function parseRiddleProofSemanticCertificate(value: unknown): RiddleProofSemanticCertificate;
-declare function matchRiddleProofSemanticCertificate(input: MatchRiddleProofSemanticCertificateInput): RiddleProofSemanticCertificateMatchResult;
-declare function composeRiddleProofSemanticCertificates(input: ComposeRiddleProofSemanticCertificatesInput): RiddleProofSemanticCompositionResult;
-
-export { type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticCertificateInput, type MatchRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticAssurance, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificateAssuranceMismatch, type RiddleProofSemanticCertificateClaimMismatch, type RiddleProofSemanticCertificateIdMismatch, type RiddleProofSemanticCertificateInvalid, type RiddleProofSemanticCertificateMatchError, type RiddleProofSemanticCertificateMatchResult, type RiddleProofSemanticCertificateMatchScopeMismatch, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimExpectation, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificates, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual };
+export * from '@riddledc/riddle-proof-core/semantic-certificate';
+export { RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, composeRiddleProofSemanticCertificateClosures, composeRiddleProofSemanticCertificates, createRiddleProofSemanticAtomicCertificateClosure, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificateClosure, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual, validateRiddleProofSemanticCertificateClosure } from '@riddledc/riddle-proof-core/semantic-certificate';

package/dist/semantic-certificate.d.ts

@@ -1,191 +1,2 @@
-import { JsonValue } from './types.js';
-import './public-state.js';
-
-declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION: "riddle-proof.semantic-certificate.v0";
-interface RiddleProofSemanticScope {
-    repository: string;
-    revision: string;
-    environment: string;
-    target: string;
-    proof_attempt: string;
-}
-interface RiddleProofSemanticClaimRef {
-    claim_id: string;
-    claim_version: string;
-    parameters?: Record<string, JsonValue>;
-}
-interface RiddleProofSemanticClaim extends RiddleProofSemanticClaimRef {
-    label: string;
-}
-interface RiddleProofSemanticClaimExpectation extends RiddleProofSemanticClaimRef {
-    label?: string;
-}
-interface RiddleProofSemanticEvidenceRef {
-    receipt_id: string;
-    artifact_digest: string;
-    role: string;
-    artifact_url?: string;
-    artifact_path?: string;
-}
-type RiddleProofSemanticEvidenceBundle = [
-    RiddleProofSemanticEvidenceRef,
-    ...RiddleProofSemanticEvidenceRef[]
-];
-interface RiddleProofSemanticContractRef {
-    contract_id: string;
-    contract_version: string;
-    label: string;
-}
-interface RiddleProofSemanticContract extends RiddleProofSemanticContractRef {
-    claim: RiddleProofSemanticClaim;
-}
-interface RiddleProofSemanticRuntimeContract<Observation> extends RiddleProofSemanticContract {
-    accepts: (scope: RiddleProofSemanticScope, observation: Observation) => boolean;
-}
-interface RiddleProofSemanticRule {
-    rule_id: string;
-    rule_version: string;
-    label: string;
-    premises: [RiddleProofSemanticClaimRef, ...RiddleProofSemanticClaimRef[]];
-    conclusion: RiddleProofSemanticClaim;
-}
-type RiddleProofSemanticAssurance = "runtime_contract_accepted" | "declared_runtime_rule";
-interface RiddleProofSemanticPremise {
-    certificate_id: string;
-    derivation_kind: RiddleProofSemanticDerivation["kind"];
-    assurance: RiddleProofSemanticAssurance;
-    scope: RiddleProofSemanticScope;
-    claim: RiddleProofSemanticClaim;
-    evidence: RiddleProofSemanticEvidenceBundle;
-}
-interface RiddleProofSemanticContractDerivation {
-    kind: "contract";
-    assurance: "runtime_contract_accepted";
-    contract: RiddleProofSemanticContract;
-}
-interface RiddleProofSemanticCompositionDerivation {
-    kind: "composition";
-    assurance: "declared_runtime_rule";
-    rule: RiddleProofSemanticRule;
-    premises: [RiddleProofSemanticPremise, ...RiddleProofSemanticPremise[]];
-}
-type RiddleProofSemanticDerivation = RiddleProofSemanticContractDerivation | RiddleProofSemanticCompositionDerivation;
-interface RiddleProofSemanticCertificate {
-    version: typeof RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION;
-    certificate_id: string;
-    scope: RiddleProofSemanticScope;
-    claim: RiddleProofSemanticClaim;
-    evidence: RiddleProofSemanticEvidenceBundle;
-    derivation: RiddleProofSemanticDerivation;
-    issued_at: string;
-}
-interface CreateRiddleProofSemanticCertificateInput<Observation> {
-    scope: RiddleProofSemanticScope;
-    evidence: RiddleProofSemanticEvidenceBundle;
-    observation: Observation;
-    contract: RiddleProofSemanticRuntimeContract<Observation>;
-    issued_at?: string;
-}
-interface RiddleProofSemanticContractRejected {
-    code: "contract_rejected";
-    contract: RiddleProofSemanticContractRef;
-    message: string;
-}
-interface RiddleProofSemanticContractError {
-    code: "contract_error";
-    contract: RiddleProofSemanticContractRef;
-    message: string;
-}
-type RiddleProofSemanticCertificationResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticContractRejected | RiddleProofSemanticContractError;
-};
-interface ComposeRiddleProofSemanticCertificatesInput {
-    rule: RiddleProofSemanticRule;
-    certificates: [RiddleProofSemanticCertificate, ...RiddleProofSemanticCertificate[]];
-    issued_at?: string;
-}
-type RiddleProofSemanticScopeField = keyof RiddleProofSemanticScope;
-interface RiddleProofSemanticScopeMismatch {
-    code: "scope_mismatch";
-    input_index: number;
-    field: RiddleProofSemanticScopeField;
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticPremiseCountMismatch {
-    code: "premise_count_mismatch";
-    expected: number;
-    observed: number;
-    message: string;
-}
-interface RiddleProofSemanticPremiseMismatch {
-    code: "premise_mismatch";
-    input_index: number;
-    expected: RiddleProofSemanticClaimRef;
-    observed: RiddleProofSemanticClaimRef;
-    message: string;
-}
-type RiddleProofSemanticCompositionError = RiddleProofSemanticScopeMismatch | RiddleProofSemanticPremiseCountMismatch | RiddleProofSemanticPremiseMismatch;
-type RiddleProofSemanticCompositionResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticCompositionError;
-};
-interface MatchRiddleProofSemanticCertificateInput {
-    certificate: unknown;
-    expected_certificate_id: string;
-    expected_scope: RiddleProofSemanticScope;
-    expected_claim: RiddleProofSemanticClaimExpectation;
-    expected_assurance: RiddleProofSemanticAssurance;
-}
-interface RiddleProofSemanticCertificateInvalid {
-    code: "invalid_certificate";
-    message: string;
-}
-interface RiddleProofSemanticCertificateIdMismatch {
-    code: "certificate_id_mismatch";
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticCertificateMatchScopeMismatch {
-    code: "scope_mismatch";
-    field: RiddleProofSemanticScopeField;
-    expected: string;
-    observed: string;
-    message: string;
-}
-interface RiddleProofSemanticCertificateClaimMismatch {
-    code: "claim_mismatch";
-    expected: RiddleProofSemanticClaimRef;
-    observed: RiddleProofSemanticClaimRef;
-    message: string;
-}
-interface RiddleProofSemanticCertificateAssuranceMismatch {
-    code: "assurance_mismatch";
-    expected: RiddleProofSemanticAssurance;
-    observed: RiddleProofSemanticAssurance;
-    message: string;
-}
-type RiddleProofSemanticCertificateMatchError = RiddleProofSemanticCertificateInvalid | RiddleProofSemanticCertificateIdMismatch | RiddleProofSemanticCertificateMatchScopeMismatch | RiddleProofSemanticCertificateClaimMismatch | RiddleProofSemanticCertificateAssuranceMismatch;
-type RiddleProofSemanticCertificateMatchResult = {
-    ok: true;
-    certificate: RiddleProofSemanticCertificate;
-} | {
-    ok: false;
-    error: RiddleProofSemanticCertificateMatchError;
-};
-declare function riddleProofSemanticScopesEqual(left: RiddleProofSemanticScope, right: RiddleProofSemanticScope): boolean;
-declare function createRiddleProofSemanticCertificate<Observation>(input: CreateRiddleProofSemanticCertificateInput<Observation>): RiddleProofSemanticCertificationResult;
-declare function parseRiddleProofSemanticCertificate(value: unknown): RiddleProofSemanticCertificate;
-declare function matchRiddleProofSemanticCertificate(input: MatchRiddleProofSemanticCertificateInput): RiddleProofSemanticCertificateMatchResult;
-declare function composeRiddleProofSemanticCertificates(input: ComposeRiddleProofSemanticCertificatesInput): RiddleProofSemanticCompositionResult;
-
-export { type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticCertificateInput, type MatchRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticAssurance, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificateAssuranceMismatch, type RiddleProofSemanticCertificateClaimMismatch, type RiddleProofSemanticCertificateIdMismatch, type RiddleProofSemanticCertificateInvalid, type RiddleProofSemanticCertificateMatchError, type RiddleProofSemanticCertificateMatchResult, type RiddleProofSemanticCertificateMatchScopeMismatch, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimExpectation, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificates, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual };
+export * from '@riddledc/riddle-proof-core/semantic-certificate';
+export { RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, composeRiddleProofSemanticCertificateClosures, composeRiddleProofSemanticCertificates, createRiddleProofSemanticAtomicCertificateClosure, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificateClosure, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual, validateRiddleProofSemanticCertificateClosure } from '@riddledc/riddle-proof-core/semantic-certificate';

package/dist/semantic-certificate.js

@@ -1,17 +1,29 @@
 import {
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
   RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
+  composeRiddleProofSemanticCertificateClosures,
   composeRiddleProofSemanticCertificates,
+  createRiddleProofSemanticAtomicCertificateClosure,
   createRiddleProofSemanticCertificate,
   matchRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificateClosure,
   parseRiddleProofSemanticCertificate,
-  riddleProofSemanticScopesEqual
-} from "./chunk-DB5ZHRUP.js";
+  riddleProofSemanticScopesEqual,
+  validateRiddleProofSemanticCertificateClosure
+} from "./chunk-NWLKJ2WI.js";
 import "./chunk-MLKGABMK.js";
 export {
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
   RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
+  composeRiddleProofSemanticCertificateClosures,
   composeRiddleProofSemanticCertificates,
+  createRiddleProofSemanticAtomicCertificateClosure,
   createRiddleProofSemanticCertificate,
   matchRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificateClosure,
   parseRiddleProofSemanticCertificate,
-  riddleProofSemanticScopesEqual
+  riddleProofSemanticScopesEqual,
+  validateRiddleProofSemanticCertificateClosure
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.8.83",
+  "version": "0.8.85",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",
@@ -144,6 +144,16 @@
       "import": "./dist/semantic-certificate.js",
       "require": "./dist/semantic-certificate.cjs"
     },
+    "./grounded-evidence": {
+      "types": "./dist/grounded-evidence.d.ts",
+      "import": "./dist/grounded-evidence.js",
+      "require": "./dist/grounded-evidence.cjs"
+    },
+    "./checked-meaning": {
+      "types": "./dist/checked-meaning.d.ts",
+      "import": "./dist/checked-meaning.js",
+      "require": "./dist/checked-meaning.cjs"
+    },
     "./change-proof": {
       "types": "./dist/change-proof.d.ts",
       "import": "./dist/change-proof.js",
@@ -233,13 +243,15 @@
       "types": "./dist/app-contract/index.d.ts",
       "import": "./dist/app-contract/index.js",
       "require": "./dist/app-contract/index.cjs"
-    }
+    },
+    "./capabilities": "./capabilities.json"
   },
   "bin": {
     "riddle-proof-loop": "./dist/cli.js"
   },
   "files": [
     "dist",
+    "capabilities.json",
     "examples",
     "lib",
     "runtime",
@@ -247,11 +259,22 @@
     "LICENSE"
   ],
   "sideEffects": false,
+  "riddleProofCapabilities": {
+    "network": true,
+    "filesystem": true,
+    "browser": true,
+    "subprocess": true,
+    "hostedRiddle": true,
+    "cryptography": true,
+    "ambientClock": true
+  },
   "engines": {
     "node": ">=18"
   },
   "dependencies": {
-    "@riddledc/riddle-proof-app-contract": "^0.4.1"
+    "@riddledc/riddle-proof-app-contract": "^0.4.1",
+    "@riddledc/riddle-proof-core": "^0.1.0",
+    "@riddledc/riddle-proof-riddle-client": "^0.4.3"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",
@@ -259,9 +282,9 @@
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/public-state.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/profile-suggestions.ts src/receipts.ts src/semantic-certificate.ts src/change-proof.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/spec/public-state.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
+    "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/public-state.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/profile-suggestions.ts src/receipts.ts src/semantic-certificate.ts src/grounded-evidence.ts src/checked-meaning.ts src/change-proof.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/spec/public-state.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
     "clean": "rm -rf dist",
     "lint": "echo 'lint: (not configured)'",
-    "test": "npm run build && node test.js && node semantic-certificate.test.js && node proof-run.test.js && node formal-conformance.test.js && node trust-boundary.test.js && node regression-packs.test.js && node story-matrix.test.js && python3 runtime/tests/trust_boundary_regression.py && python3 runtime/tests/ship_artifact_publication.py && (python3 runtime/tests/recon_verify_smoke.py >/tmp/riddle-proof-recon-verify-smoke.json || (tail -120 /tmp/riddle-proof-recon-verify-smoke.json; exit 1))"
+    "test": "npm run build && node test.js && node semantic-certificate.test.js && node grounded-evidence.test.js && node grounded-semantic-closure.test.js && node checked-meaning-compatibility.test.js && node hosted-client-compatibility.test.js && node proof-run.test.js && node formal-conformance.test.js && node trust-boundary.test.js && node regression-packs.test.js && node story-matrix.test.js && python3 runtime/tests/trust_boundary_regression.py && python3 runtime/tests/ship_artifact_publication.py && (python3 runtime/tests/recon_verify_smoke.py >/tmp/riddle-proof-recon-verify-smoke.json || (tail -120 /tmp/riddle-proof-recon-verify-smoke.json; exit 1))"
   }
 }