xoonya 2.6.0 → 2.8.0

package/scripts/verify_external_proof_import_gate.js

@@ -0,0 +1,84 @@
+"use strict";
+
+const assert = require("assert");
+const {
+  buildExternalProofImportAdapterPack,
+  validateExternalProofImportEvidence
+} = require("../proof_sdk");
+
+function validImport() {
+  return {
+    method: "jwt-assertion-v1",
+    import_ref: "external-import-gate-demo",
+    issuer_ref: "did:example:issuer",
+    subject_ref: "txn:xytara:demo",
+    external_proof: "eyJhbGciOiJFZERTQSJ9.eyJzdWIiOiJ0eG4teHl0YXJhLWRlbW8ifQ.signature",
+    evidence_refs: ["memory://external/import-gate-demo"]
+  };
+}
+
+function assertRejected(input, expectedCode) {
+  const validation = validateExternalProofImportEvidence(input);
+  assert.strictEqual(validation.import_allowed, false, `expected ${expectedCode} to block external proof import`);
+  assert.strictEqual(
+    validation.rejection_codes.includes(expectedCode),
+    true,
+    `missing deterministic rejection code ${expectedCode}`
+  );
+  return validation;
+}
+
+function main() {
+  const pack = buildExternalProofImportAdapterPack();
+  const validValidation = validateExternalProofImportEvidence(validImport());
+
+  assert.strictEqual(pack.category, "xoonya-external-proof-import-adapter", "external import adapter category mismatch");
+  assert.strictEqual(pack.deterministic_rejection_codes.length >= 11, true, "external import rejection code count missing");
+  assert.strictEqual(validValidation.import_allowed, true, "valid structural external import should pass");
+  assert.deepStrictEqual(validValidation.rejection_codes, [], "valid structural external import should not carry rejection codes");
+
+  assertRejected({ ...validImport(), method: "" }, "verification_method_required");
+  assertRejected({ ...validImport(), method: "unknown-method-v1" }, "verification_method_unsupported");
+  assertRejected({ ...validImport(), method: "xoonya-native-sha256-v1" }, "verification_method_not_external_importable");
+  assertRejected({ method: "jwt-assertion-v1" }, "external_proof_material_required");
+  assertRejected({ ...validImport(), external_proof: "   " }, "external_proof_material_empty");
+  assertRejected({ ...validImport(), declared_hash_sha256: "00".repeat(32) }, "external_proof_hash_mismatch");
+  assertRejected({ ...validImport(), claim_external_issuer_truth: true }, "external_issuer_truth_claim_requires_external_verifier");
+  assertRejected({ ...validImport(), claim_external_signature_truth: true }, "external_signature_truth_claim_requires_external_verifier");
+  assertRejected({ ...validImport(), claim_external_revocation_status: true }, "external_revocation_status_claim_requires_external_verifier");
+  assertRejected({ ...validImport(), method: "did-vc-v1", claim_did_resolution_truth: true }, "did_resolution_truth_claim_requires_external_verifier");
+  assertRejected({ ...validImport(), external_verifier_api_key: "sk_live_accidental_secret" }, "secret_material_forbidden");
+
+  const externallyVerified = validateExternalProofImportEvidence({
+    ...validImport(),
+    method: "did-vc-v1",
+    external_proof: {
+      "@context": ["https://www.w3.org/ns/credentials/v2"],
+      type: ["VerifiableCredential"],
+      issuer: "did:example:issuer",
+      credentialSubject: { id: "did:example:agent" }
+    },
+    claim_external_issuer_truth: true,
+    claim_external_signature_truth: true,
+    claim_external_revocation_status: true,
+    claim_did_resolution_truth: true,
+    external_issuer_verifier_ref: "external.verifier.issuer.did-vc.2026-04-22",
+    external_signature_verifier_ref: "external.verifier.signature.did-vc.2026-04-22",
+    external_revocation_verifier_ref: "external.verifier.revocation.did-vc.2026-04-22",
+    did_resolution_verifier_ref: "external.verifier.did_resolution.did-vc.2026-04-22"
+  });
+  assert.strictEqual(externallyVerified.import_allowed, true, "external verifier-backed truth claims should pass structural validation");
+
+  const output = {
+    ok: true,
+    product: "xoonya",
+    category: "xoonya-external-proof-import-gate-verification",
+    status: "external_import_binds_evidence_without_claiming_external_truth_unless_external_verifier_refs_exist",
+    deterministic_rejection_code_count: pack.deterministic_rejection_codes.length,
+    adversarial_case_count: 11,
+    boundary: "xoonya_imports_external_evidence_but_external_issuer_signature_revocation_and_did_truth_stay_with_external_verifiers"
+  };
+  process.stdout.write(`${JSON.stringify(output, null, 2)}\n`);
+}
+
+main();

package/scripts/verify_integrations.js

@@ -0,0 +1,170 @@
+"use strict";
+
+const assert = require("assert");
+const stagedPartnerVerifierRegistrationRecord = require("../integrations/examples/example-third-party-verifier-registration.record.json");
+const root = require("../index.js");
+
+async function main() {
+  const integrations = root.listIntegrations();
+  assert.ok(Array.isArray(integrations), "proof integrations list missing");
+  assert.ok(integrations.length >= 4, "proof integration breadth missing");
+  assert.ok(integrations.some((integration) => integration.integration_id === "builtin.identity.legacy_material"), "legacy identity integration missing");
+  assert.ok(integrations.some((integration) => integration.integration_id === "builtin.verifier.registry_profile"), "registry verifier integration missing");
+  assert.ok(integrations.some((integration) => integration.integration_id === stagedPartnerVerifierRegistrationRecord.integration_id), "staged proof verifier integration missing");
+  assert.ok(integrations.some((integration) => integration.certification_state === "certified"), "proof integration certification metadata missing");
+
+  const summary = root.summarizeIntegrations();
+  assert.strictEqual(summary.ok, true, "proof integration summary ok mismatch");
+  assert.ok(summary.integration_count >= integrations.length, "proof integration count mismatch");
+  assert.strictEqual(summary.certified_integration_count >= 5, true, "proof integration certified count mismatch");
+  assert.strictEqual(summary.production_default_count >= 5, true, "proof integration production-default count mismatch");
+  assert.strictEqual(summary.staged_registration_count >= 1, true, "proof integration staged registration count mismatch");
+
+  const detail = root.getIntegration("builtin.verifier.economic_profile");
+  assert.ok(detail, "proof integration detail missing");
+  assert.strictEqual(detail.integration_class, "verification_helper_adapter", "proof integration class mismatch");
+  assert.strictEqual(detail.integration_maturity, "production_default", "proof integration maturity mismatch");
+
+  const bundledFiltered = root.listIntegrations({
+    source: "builtin",
+    certification_state: "certified",
+    integration_maturity: "production_default",
+    bundled: "true"
+  });
+  assert.ok(bundledFiltered.length >= 5, "proof builtin integration filtering mismatch");
+
+  const stagedFiltered = root.listIntegrations({
+    source: "third_party_example",
+    registration_state: "staging_registered",
+    proof_scope: "profile_verification",
+    bundled: "false"
+  });
+  assert.strictEqual(stagedFiltered.length, 1, "proof staged integration filtering mismatch");
+  assert.strictEqual(stagedFiltered[0].registration.requires_explicit_selection, true, "proof staged integration explicit-selection mismatch");
+
+  const validation = root.validateIntegrationRegistration({
+    integration_id: stagedPartnerVerifierRegistrationRecord.integration_id,
+    integration_class: stagedPartnerVerifierRegistrationRecord.integration_class,
+    proof_scope: stagedPartnerVerifierRegistrationRecord.proof_scope
+  }, stagedPartnerVerifierRegistrationRecord);
+  assert.strictEqual(validation.ok, true, "proof integration registration validation failed");
+
+  const imported = root.importRegisteredIntegration({
+    integration_id: "partner.verifier.memory_canary",
+    integration_class: "verification_helper_adapter",
+    display_name: "Memory Canary Verifier",
+    description: "Imported proof-side verifier used to validate normalization.",
+    proof_scope: "profile_verification",
+    capabilities: ["memory_canary.verify"],
+    public_surfaces: ["sdk"],
+    required_inputs: ["profile"],
+    emitted_artifacts: [],
+    verification_targets: ["memory_canary_profile"]
+  }, {
+    integration_id: "partner.verifier.memory_canary",
+    integration_class: "verification_helper_adapter",
+    proof_scope: "profile_verification",
+    registration_state: "local_only",
+    integration_maturity: "reference_example",
+    certification_state: "reference_example",
+    bundled: false,
+    default_selection_enabled: false,
+    requires_explicit_selection: true,
+    registered_at: "2026-03-20T00:00:00Z"
+  }, {
+    source: "verification_import_test",
+    certification_scope: ["contract_shape"],
+    operational_readiness: "reference"
+  });
+  assert.strictEqual(imported.integration_id, "partner.verifier.memory_canary", "proof imported integration id mismatch");
+  assert.strictEqual(imported.registration.registration_state, "local_only", "proof imported integration registration state mismatch");
+
+  const snapshot = root.exportIntegrationRegistrySnapshot({
+    registration_state: "staging_registered"
+  });
+  assert.strictEqual(snapshot.integration_count >= 1, true, "proof integration snapshot count mismatch");
+  assert.strictEqual(root.validateIntegrationRegistrySnapshot(snapshot).ok, true, "proof integration snapshot validation mismatch");
+
+  const builtinPromotion = root.summarizeIntegrationPromotionReadiness("builtin.verifier.registry_profile");
+  assert.strictEqual(builtinPromotion.ok, true, "proof builtin promotion readiness mismatch");
+  assert.strictEqual(builtinPromotion.promotion_readiness.default_eligible, true, "proof builtin default eligibility mismatch");
+  assert.strictEqual(builtinPromotion.promotion_readiness.production_default_ready, true, "proof builtin production-default readiness mismatch");
+
+  const stagedPromotion = root.summarizeIntegrationPromotionReadiness("partner.verifier.lattice_notary");
+  assert.strictEqual(stagedPromotion.ok, true, "proof staged promotion readiness mismatch");
+  assert.strictEqual(stagedPromotion.promotion_readiness.review_ready, true, "proof staged review-ready mismatch");
+  assert.strictEqual(stagedPromotion.promotion_readiness.default_eligible, false, "proof staged default eligibility mismatch");
+  assert.strictEqual(stagedPromotion.promotion_readiness.production_default_ready, false, "proof staged production-default readiness mismatch");
+  assert.ok(stagedPromotion.promotion_readiness.blockers.includes("not_certified"), "proof staged certification blocker missing");
+
+  const builtinPromotionWorkflow = root.summarizeIntegrationPromotionWorkflow("builtin.verifier.registry_profile");
+  assert.strictEqual(builtinPromotionWorkflow.ok, true, "proof builtin promotion workflow mismatch");
+  assert.strictEqual(
+    builtinPromotionWorkflow.next_transition.action,
+    "maintain_production_default",
+    "proof builtin promotion workflow next-transition mismatch"
+  );
+  assert.strictEqual(
+    builtinPromotionWorkflow.promotion_recommendation.recommendation,
+    "eligible_for_production_default",
+    "proof builtin promotion workflow recommendation mismatch"
+  );
+
+  const stagedPromotionWorkflow = root.summarizeIntegrationPromotionWorkflow("partner.verifier.lattice_notary");
+  assert.strictEqual(stagedPromotionWorkflow.ok, true, "proof staged promotion workflow mismatch");
+  assert.strictEqual(
+    stagedPromotionWorkflow.next_transition.action,
+    "complete_certification",
+    "proof staged promotion workflow next-transition mismatch"
+  );
+  assert.strictEqual(
+    stagedPromotionWorkflow.next_transition.later_actions.includes("promote_maturity"),
+    true,
+    "proof staged promotion workflow later-actions mismatch"
+  );
+  assert.strictEqual(
+    stagedPromotionWorkflow.promotion_recommendation.recommendation,
+    "keep_staged_until_requirements_clear",
+    "proof staged promotion workflow recommendation mismatch"
+  );
+  assert.strictEqual(
+    stagedPromotionWorkflow.certification_gaps.missing_requirements.includes("certification_state"),
+    true,
+    "proof staged promotion workflow certification gap mismatch"
+  );
+  assert.strictEqual(
+    stagedPromotionWorkflow.blocker_categories.some((entry) => entry.category === "certification"),
+    true,
+    "proof staged promotion workflow blocker-category mismatch"
+  );
+
+  const promotionWorkflowList = root.summarizeIntegrationPromotionWorkflowList({
+    source: "third_party_example",
+    registration_state: "staging_registered",
+    bundled: "false"
+  });
+  assert.strictEqual(promotionWorkflowList.ok, true, "proof promotion workflow list mismatch");
+  assert.strictEqual(promotionWorkflowList.integration_count >= 1, true, "proof promotion workflow list breadth mismatch");
+  assert.strictEqual(
+    promotionWorkflowList.next_actions.some((entry) => entry.action === "complete_certification"),
+    true,
+    "proof promotion workflow list next-action mismatch"
+  );
+  assert.strictEqual(
+    promotionWorkflowList.recommendations.some((entry) => entry.recommendation === "keep_staged_until_requirements_clear"),
+    true,
+    "proof promotion workflow list recommendation mismatch"
+  );
+  assert.strictEqual(
+    promotionWorkflowList.blocker_categories.some((entry) => entry.category === "certification"),
+    true,
+    "proof promotion workflow list blocker-category mismatch"
+  );
+
+  console.log("xoonya verify:integrations passed");
+}
+
+main().catch((error) => {
+  console.error(error);
+  process.exit(1);
+});

package/scripts/verify_native_hybrid_design_gate.js

@@ -0,0 +1,108 @@
+"use strict";
+
+const assert = require("assert");
+const sdk = require("..");
+
+function buildHybridAttemptBundle() {
+  const event = sdk.canonicalizeEvent({
+    version: "canonical-event-bundle/v1",
+    domain_id: "hybrid.gate",
+    sequence: "1",
+    actor_id: "agent-hybrid",
+    adapter_source: "verify_native_hybrid_design_gate",
+    event_type: "native.hybrid.attempt",
+    event_hash: "89".repeat(32)
+  });
+  const receipt = sdk.emitReceipt(event, {
+    agent_identity: "agent-hybrid-signing",
+    algorithm: "xoonya-native-sha256-v1"
+  });
+  return sdk.buildProofBundle({
+    ceb: event,
+    receipt: {
+      ...receipt,
+      algorithm: "xoonya-native-hybrid-v1",
+      signature: "xoonya-native-hybrid-v1:design-gated-placeholder"
+    }
+  });
+}
+
+function runNativeHybridDesignGateVerification() {
+  const readiness = sdk.summarizeXoonyaNativeHybridReadinessPack();
+  assert.strictEqual(readiness.status, "design_gated", "hybrid readiness must stay design gated");
+  assert.strictEqual(
+    readiness.current_decision.includes("do_not_claim_pqc"),
+    true,
+    "hybrid readiness must forbid premature PQ claims"
+  );
+
+  const verification = sdk.verifyProofBundle(buildHybridAttemptBundle());
+  assert.strictEqual(verification.valid, false, "hybrid method must not verify before validators exist");
+  assert.strictEqual(
+    verification.reason,
+    "native_hybrid_design_gated",
+    "hybrid method must fail with deterministic design-gate reason"
+  );
+
+  const downgradeEvent = sdk.canonicalizeEvent({
+    version: "canonical-event-bundle/v1",
+    domain_id: "hybrid.downgrade",
+    sequence: "1",
+    actor_id: "agent-hybrid",
+    adapter_source: "verify_native_hybrid_design_gate",
+    event_type: "native.hybrid.downgrade",
+    event_hash: "90".repeat(32)
+  });
+  const detachedReceipt = sdk.emitReceipt(downgradeEvent, {
+    agent_identity: "agent-hybrid-signing",
+    algorithm: "detached-assertion-v1",
+    signature: "xoonya-native-hybrid-v1:attempted-downgrade"
+  });
+  const downgradeVerification = sdk.verifyProofBundle(sdk.buildProofBundle({
+    ceb: downgradeEvent,
+    receipt: detachedReceipt
+  }));
+  assert.strictEqual(downgradeVerification.valid, false, "hybrid-looking signature must not verify as detached");
+  assert.strictEqual(
+    downgradeVerification.reason,
+    "signature_method_mismatch",
+    "hybrid-looking external signature must fail as method mismatch"
+  );
+
+  return {
+    ok: true,
+    product: "xoonya",
+    category: "xoonya-native-hybrid-design-gate-verification",
+    method: "xoonya-native-hybrid-v1",
+    readiness_status: readiness.status,
+    deterministic_reject_reason: verification.reason,
+    downgrade_reject_reason: downgradeVerification.reason,
+    boundary: "pq_or_hybrid_verification_is_not_claimed_until_real_validators_vectors_and_error_codes_exist"
+  };
+}
+
+function main() {
+  const json = process.argv.includes("--json");
+  const summary = runNativeHybridDesignGateVerification();
+  if (json) {
+    process.stdout.write(`${JSON.stringify(summary, null, 2)}\n`);
+    return;
+  }
+  process.stdout.write(
+    [
+      "xoonya verify:native-hybrid-gate passed",
+      `method: ${summary.method}`,
+      `readiness: ${summary.readiness_status}`,
+      `deterministic reject: ${summary.deterministic_reject_reason}`,
+      `downgrade reject: ${summary.downgrade_reject_reason}`
+    ].join("\n") + "\n"
+  );
+}
+
+if (require.main === module) {
+  main();
+}
+
+module.exports = {
+  runNativeHybridDesignGateVerification
+};

package/scripts/verify_reference_promotion_gate.js

@@ -0,0 +1,74 @@
+"use strict";
+
+const assert = require("assert");
+const {
+  buildXoonyaNativeReferenceImplementationPack,
+  summarizeXoonyaNativeReferenceImplementationPack,
+  validateXoonyaNativeReferencePromotionEvidence
+} = require("../proof_sdk");
+
+function buildValidPromotionEvidence(pack, language = "python") {
+  return {
+    language,
+    candidate_repository_ref: `xoonya-native-${language}@candidate`,
+    vector_sets_passed: pack.required_vector_sets.slice(),
+    deterministic_error_code_parity_ref: `xnya.reference.error_codes.${language}.2026-04-22`,
+    independent_parser_ref: `xnya.reference.parser.${language}.2026-04-22`,
+    signature_crypto_parity_ref: `xnya.reference.crypto.${language}.2026-04-22`,
+    round_trip_ref: `xnya.reference.round_trip.${language}.2026-04-22`,
+    conformance_mark_review_ref: `xnya.reference.conformance_mark.${language}.2026-04-22`,
+    forbidden_claim_review_ref: `xnya.reference.claim_boundary.${language}.2026-04-22`,
+    wraps_javascript_runtime: false
+  };
+}
+
+function assertRejected(pack, evidence, expectedCode) {
+  const validation = validateXoonyaNativeReferencePromotionEvidence(pack, evidence);
+  assert.strictEqual(validation.promotion_allowed, false, `expected ${expectedCode} to block reference promotion`);
+  assert.strictEqual(
+    validation.rejection_codes.includes(expectedCode),
+    true,
+    `missing deterministic rejection code ${expectedCode}`
+  );
+  return validation;
+}
+
+function main() {
+  const pack = buildXoonyaNativeReferenceImplementationPack();
+  const summary = summarizeXoonyaNativeReferenceImplementationPack();
+  const validPythonEvidence = buildValidPromotionEvidence(pack, "python");
+  const validPythonPromotion = validateXoonyaNativeReferencePromotionEvidence(pack, validPythonEvidence);
+
+  assert.strictEqual(pack.category, "xoonya-native-reference-implementation-pack", "native reference pack category mismatch");
+  assert.strictEqual(summary.category, "xoonya-native-reference-implementation-summary", "native reference summary category mismatch");
+  assert.strictEqual(pack.implemented_reference_implementations.length, 1, "only JavaScript should be implemented today");
+  assert.strictEqual(pack.deterministic_rejection_codes.length >= 11, true, "reference promotion rejection codes missing");
+  assert.strictEqual(summary.deterministic_rejection_code_count, pack.deterministic_rejection_codes.length, "summary rejection code count mismatch");
+  assert.strictEqual(validPythonPromotion.promotion_allowed, true, "complete Python promotion evidence should pass validation");
+  assert.deepStrictEqual(validPythonPromotion.rejection_codes, [], "complete Python evidence should not carry rejection codes");
+
+  assertRejected(pack, buildValidPromotionEvidence(pack, "javascript"), "reference_language_not_registered");
+  assertRejected(pack, { ...validPythonEvidence, candidate_repository_ref: null }, "candidate_repository_missing");
+  assertRejected(pack, { ...validPythonEvidence, vector_sets_passed: pack.required_vector_sets.slice(0, 1) }, "required_vector_set_missing");
+  assertRejected(pack, { ...validPythonEvidence, deterministic_error_code_parity_ref: null }, "deterministic_error_code_parity_missing");
+  assertRejected(pack, { ...validPythonEvidence, independent_parser_ref: null }, "independent_parser_evidence_missing");
+  assertRejected(pack, { ...validPythonEvidence, signature_crypto_parity_ref: null }, "signature_crypto_parity_missing");
+  assertRejected(pack, { ...validPythonEvidence, round_trip_ref: null }, "round_trip_evidence_missing");
+  assertRejected(pack, { ...validPythonEvidence, conformance_mark_review_ref: null }, "conformance_mark_review_missing");
+  assertRejected(pack, { ...validPythonEvidence, forbidden_claim_review_ref: null }, "forbidden_claim_review_missing");
+  assertRejected(pack, { ...validPythonEvidence, wraps_javascript_runtime: true }, "javascript_wrapper_forbidden");
+  assertRejected(pack, { ...validPythonEvidence, npm_token: "npm_accidental_secret" }, "secret_material_forbidden");
+
+  const output = {
+    ok: true,
+    product: "xoonya",
+    category: "xoonya-native-reference-promotion-gate-verification",
+    status: "reference_promotion_requires_independent_vector_crypto_round_trip_and_mark_evidence",
+    deterministic_rejection_code_count: pack.deterministic_rejection_codes.length,
+    adversarial_case_count: 11,
+    boundary: "python_and_rust_reference_claims_remain_gated_until_independent_promotion_evidence_is_complete"
+  };
+  process.stdout.write(`${JSON.stringify(output, null, 2)}\n`);
+}
+
+main();

package/scripts/verify_reference_python.js

@@ -0,0 +1,49 @@
+"use strict";
+
+const assert = require("assert");
+const path = require("path");
+const { spawnSync } = require("child_process");
+
+function runPython(command, args) {
+  return spawnSync(command, args, {
+    cwd: path.resolve(__dirname, ".."),
+    encoding: "utf8"
+  });
+}
+
+function main() {
+  const script = path.resolve(__dirname, "..", "reference", "python", "verify_vectors.py");
+  let result = runPython("python", [script]);
+  if (result.error && result.error.code === "ENOENT") {
+    result = runPython("py", ["-3", script]);
+  }
+  if (result.error) {
+    throw result.error;
+  }
+  if (result.status !== 0) {
+    process.stderr.write(result.stdout || "");
+    process.stderr.write(result.stderr || "");
+    throw new Error("Python XNYA reference vector verification failed");
+  }
+  const summary = JSON.parse(result.stdout);
+  assert.strictEqual(summary.ok, true, "Python XNYA reference summary did not pass");
+  assert.strictEqual(summary.category, "xnya-python-reference-vector-parity", "Python XNYA reference category mismatch");
+  assert.strictEqual(summary.atom_vector_count >= 4, true, "Python XNYA atom vectors missing");
+  assert.strictEqual(summary.atom_adversarial_count >= 9, true, "Python XNYA adversarial vectors missing");
+  assert.strictEqual(summary.payload_profile_vector_count, 1, "Python XNYP payload vector missing");
+  assert.strictEqual(summary.proof_bundle_vector_count >= 10, true, "Python proof bundle vectors missing");
+  assert.strictEqual(summary.proof_bundle_verified_vector_count >= 9, true, "Python proof bundle verified vectors missing");
+  assert.strictEqual(
+    summary.native_signed_crypto_gated_vector_count + summary.native_signed_crypto_verified_vector_count,
+    1,
+    "Python native signed crypto vector accounting mismatch"
+  );
+  assert.strictEqual(
+    summary.verified_signature_suite_count === 0 || summary.verified_signature_suite_count === 1,
+    true,
+    "Python verified signature suite count mismatch"
+  );
+  process.stdout.write("xoonya verify:reference-python passed\n");
+}
+
+main();

package/scripts/verify_reference_python_crypto.js

@@ -0,0 +1,87 @@
+"use strict";
+
+const assert = require("assert");
+const fs = require("fs");
+const os = require("os");
+const path = require("path");
+const { spawnSync } = require("child_process");
+
+const rootDir = path.resolve(__dirname, "..");
+
+function run(command, args, options = {}) {
+  return spawnSync(command, args, {
+    cwd: rootDir,
+    encoding: "utf8",
+    ...options
+  });
+}
+
+function findPython() {
+  const direct = run("python", ["--version"]);
+  if (!direct.error && direct.status === 0) {
+    return { command: "python", prefixArgs: [] };
+  }
+  const launcher = run("py", ["-3", "--version"]);
+  if (!launcher.error && launcher.status === 0) {
+    return { command: "py", prefixArgs: ["-3"] };
+  }
+  throw new Error("Python 3 is required for the XNYA Python crypto reference check");
+}
+
+function venvPythonPath(venvDir) {
+  return process.platform === "win32"
+    ? path.join(venvDir, "Scripts", "python.exe")
+    : path.join(venvDir, "bin", "python");
+}
+
+function assertOk(result, label) {
+  if (result.error) {
+    throw result.error;
+  }
+  if (result.status !== 0) {
+    process.stderr.write(result.stdout || "");
+    process.stderr.write(result.stderr || "");
+    throw new Error(`${label} failed`);
+  }
+}
+
+function main() {
+  const python = findPython();
+  const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), "xoonya-python-crypto-"));
+  const keepVenv = process.env.XOONYA_KEEP_REFERENCE_PYTHON_CRYPTO_VENV === "1";
+  try {
+    const venvDir = path.join(tempDir, "venv");
+    assertOk(
+      run(python.command, [...python.prefixArgs, "-m", "venv", venvDir]),
+      "Python venv creation"
+    );
+    const venvPython = venvPythonPath(venvDir);
+    assertOk(
+      run(venvPython, [
+        "-m",
+        "pip",
+        "install",
+        "--disable-pip-version-check",
+        "-r",
+        path.join(rootDir, "reference", "python", "requirements-optional.txt")
+      ]),
+      "Python optional crypto dependency install"
+    );
+    const result = run(venvPython, [path.join(rootDir, "reference", "python", "verify_vectors.py")]);
+    assertOk(result, "Python crypto-enabled XNYA vector verification");
+    const summary = JSON.parse(result.stdout);
+    assert.strictEqual(summary.ok, true, "Python crypto-enabled XNYA summary did not pass");
+    assert.strictEqual(summary.native_signed_crypto_verified_vector_count, 1, "Python Ed25519 vector was not verified");
+    assert.strictEqual(summary.verified_signature_suite_count, 1, "Python verified signature suite count mismatch");
+    assert.strictEqual(summary.native_signature_crypto_dependency_missing_count, 0, "Python crypto dependency should be present in isolated venv");
+    process.stdout.write("xoonya verify:reference-python-crypto passed\n");
+  } finally {
+    if (!keepVenv) {
+      fs.rmSync(tempDir, { recursive: true, force: true });
+    } else {
+      process.stdout.write(`kept Python crypto venv at ${tempDir}\n`);
+    }
+  }
+}
+
+main();

package/scripts/verify_reference_rust_scaffold.js

@@ -0,0 +1,50 @@
+"use strict";
+
+const assert = require("assert");
+const fs = require("fs");
+const path = require("path");
+
+const root = path.resolve(__dirname, "..");
+
+function read(relativePath) {
+  return fs.readFileSync(path.join(root, relativePath), "utf8");
+}
+
+function ensureContains(body, pattern, label) {
+  assert.strictEqual(body.includes(pattern), true, `${label} missing ${pattern}`);
+}
+
+function main() {
+  const readme = read("reference/rust/README.md");
+  const cargo = read("reference/rust/Cargo.toml");
+  const lib = read("reference/rust/src/lib.rs");
+
+  ensureContains(readme, "not a full XNYA-compatible reference implementation yet", "rust readme boundary");
+  ensureContains(readme, "Future promotion requires a real Rust toolchain check", "rust readme promotion gate");
+  ensureContains(cargo, "publish = false", "rust cargo publish boundary");
+  ensureContains(cargo, "name = \"xoonya-native-rust\"", "rust cargo name");
+  ensureContains(lib, "pub const XNYA_MAGIC: [u8; 4] = *b\"XNYA\";", "rust magic constant");
+  ensureContains(lib, "pub const ATOM_V1_LEN: usize = 58;", "rust atom v1 length");
+  ensureContains(lib, "pub const ATOM_V2_LEN: usize = 70;", "rust atom v2 length");
+  ensureContains(lib, "atom_bad_magic", "rust deterministic error code");
+  ensureContains(lib, "atom_unsupported_length", "rust deterministic error code");
+  ensureContains(lib, "atom_unsupported_record_type", "rust deterministic error code");
+  ensureContains(lib, "atom_version_length_mismatch", "rust deterministic error code");
+
+  const summary = {
+    ok: true,
+    product: "xoonya",
+    category: "xnya-rust-reference-scaffold-check",
+    status: "source_scaffold_packaged_not_vector_verified",
+    checked_files: [
+      "reference/rust/README.md",
+      "reference/rust/Cargo.toml",
+      "reference/rust/src/lib.rs"
+    ],
+    boundary: "rust_candidate_is_source_only_until_cargo_vector_parity_and_round_trip_checks_exist"
+  };
+  process.stdout.write(`${JSON.stringify(summary, null, 2)}\n`);
+}
+
+main();
+