@hasna/contracts 0.1.0

package/examples/actor-ref.valid.json

@@ -0,0 +1,11 @@
+{
+  "schema": "hasna.actor_ref.v1",
+  "id": "actor_codewith_account004",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "kind": "agent",
+  "name": "Codewith account004",
+  "provider": "codewith",
+  "accountId": "account004",
+  "machineId": "spark01",
+  "capabilities": ["coding", "review"]
+}

package/examples/agent-trajectory.valid.json

@@ -0,0 +1,32 @@
+{
+  "schema": "hasna.agent_trajectory.v1",
+  "id": "trajectory_123",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "actor": {
+    "kind": "agent",
+    "id": "actor_codewith_account004",
+    "provider": "codewith"
+  },
+  "workRunRef": {
+    "kind": "run",
+    "id": "work_run_123",
+    "externalId": "work_run_123",
+    "sourcePackage": "@hasna/contracts"
+  },
+  "events": [
+    {
+      "id": "event_test",
+      "at": "2026-06-27T10:04:00.000Z",
+      "kind": "test",
+      "summary": "bun test passed",
+      "evidenceRefs": [
+        {
+          "id": "ev_tests",
+          "kind": "command_output",
+          "uri": "artifact://runs/run_123/tests.txt"
+        }
+      ]
+    }
+  ],
+  "outcome": "succeeded"
+}

package/examples/capability-card.valid.json

@@ -0,0 +1,12 @@
+{
+  "schema": "hasna.capability_card.v1",
+  "id": "capability_terminal_lane",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "kind": "lane",
+  "name": "terminal",
+  "version": "1",
+  "status": "available",
+  "capabilities": ["command", "background-process", "structured-output"],
+  "limitations": ["requires-shell-access"],
+  "riskLevel": "medium"
+}

package/examples/context-pack.valid.json

@@ -0,0 +1,32 @@
+{
+  "schema": "hasna.context_pack.v1",
+  "id": "ctx_open_contracts_123",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "objective": "Explain how @hasna/contracts schemas are enforced.",
+  "budget": {
+    "maxTokens": 2000
+  },
+  "items": [
+    {
+      "id": "item_readme",
+      "title": "README contract boundary",
+      "summary": "@hasna/contracts owns schemas, not storage.",
+      "source": {
+        "id": "ev_readme",
+        "kind": "file",
+        "uri": "artifact://repo/open-contracts/README.md"
+      }
+    }
+  ],
+  "citations": [
+    {
+      "id": "ev_readme",
+      "kind": "file",
+      "uri": "artifact://repo/open-contracts/README.md"
+    }
+  ],
+  "freshness": "fresh",
+  "permissions": ["read-public"],
+  "redactions": [],
+  "conflicts": []
+}

package/examples/cost-estimate.valid.json

@@ -0,0 +1,22 @@
+{
+  "schema": "hasna.cost_estimate.v1",
+  "id": "cost_run_123",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "currency": "USD",
+  "amountMicros": 125000,
+  "provider": "openai",
+  "model": "gpt-5.4",
+  "accountId": "account004",
+  "promptTokens": 1200,
+  "completionTokens": 800,
+  "totalTokens": 2000,
+  "basis": "estimated",
+  "resourceRefs": [
+    {
+      "kind": "task",
+      "id": "task_868c77df",
+      "externalId": "868c77df-df31-4de5-8027-5d9e7474cdd3",
+      "sourcePackage": "@hasna/todos"
+    }
+  ]
+}

package/examples/decision-envelope.valid.json

@@ -0,0 +1,32 @@
+{
+  "schema": "hasna.decision_envelope.v1",
+  "id": "decision_model_route_123",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "decisionType": "model_route",
+  "status": "selected",
+  "actor": {
+    "kind": "agent",
+    "id": "actor_codewith_account004",
+    "provider": "codewith",
+    "accountId": "account004"
+  },
+  "traceId": "trace_123",
+  "selected": [
+    {
+      "kind": "model",
+      "id": "model_gpt_5_4",
+      "sourcePackage": "@hasna/models",
+      "externalId": "gpt-5.4"
+    }
+  ],
+  "reason": "Selected high-capability coding model within budget.",
+  "obligations": ["record-cost"],
+  "costEstimate": {
+    "schema": "hasna.cost_estimate.v1",
+    "id": "cost_run_123",
+    "createdAt": "2026-06-27T10:00:00.000Z",
+    "currency": "USD",
+    "amountMicros": 125000,
+    "basis": "estimated"
+  }
+}

package/examples/evidence-ref.valid.json

@@ -0,0 +1,9 @@
+{
+  "schema": "hasna.evidence_ref.v1",
+  "id": "ev_test_output_456",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "kind": "command_output",
+  "uri": "artifact://runs/run_123/test-output.txt",
+  "summary": "bun test passed",
+  "redaction": "none"
+}

package/examples/proof-bundle.invalid.json

@@ -0,0 +1,13 @@
+{
+  "schema": "hasna.proof_bundle.v1",
+  "id": "proof_empty_invalid",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "subject": {
+    "kind": "repo",
+    "id": "open-contracts",
+    "uri": "git+https://github.com/hasna/contracts.git"
+  },
+  "status": "succeeded",
+  "verdict": "passed",
+  "checks": []
+}

package/examples/proof-bundle.valid.json

@@ -0,0 +1,37 @@
+{
+  "schema": "hasna.proof_bundle.v1",
+  "id": "proof_contracts_release",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "subject": {
+    "kind": "repo",
+    "id": "open-contracts",
+    "uri": "git+https://github.com/hasna/contracts.git"
+  },
+  "validationPlanRef": {
+    "kind": "verification",
+    "id": "validation_contracts_release",
+    "externalId": "validation_contracts_release",
+    "sourcePackage": "@hasna/contracts"
+  },
+  "status": "succeeded",
+  "verdict": "passed",
+  "checks": [
+    {
+      "checkId": "typecheck",
+      "status": "succeeded",
+      "evidenceRefs": [
+        {
+          "id": "ev_typecheck",
+          "kind": "command_output",
+          "uri": "artifact://runs/run_123/typecheck.txt"
+        }
+      ]
+    }
+  ],
+  "verifier": {
+    "kind": "agent",
+    "id": "actor_verifier",
+    "provider": "codewith"
+  },
+  "freshness": "fresh"
+}

package/examples/resource-ref.invalid.json

@@ -0,0 +1,6 @@
+{
+  "schema": "hasna.resource_ref.v1",
+  "id": "task_without_locator",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "kind": "task"
+}

package/examples/resource-ref.valid.json

@@ -0,0 +1,9 @@
+{
+  "schema": "hasna.resource_ref.v1",
+  "id": "task_868c77df",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "kind": "task",
+  "externalId": "868c77df-df31-4de5-8027-5d9e7474cdd3",
+  "sourcePackage": "@hasna/todos",
+  "tags": ["open-todos", "contracts"]
+}

package/examples/validation-plan.invalid.json

@@ -0,0 +1,12 @@
+{
+  "schema": "hasna.validation_plan.v1",
+  "id": "validation_invalid",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "objective": "Invalid actionable check without command or expected.",
+  "checks": [
+    {
+      "id": "typecheck",
+      "kind": "typecheck"
+    }
+  ]
+}

package/examples/validation-plan.valid.json

@@ -0,0 +1,26 @@
+{
+  "schema": "hasna.validation_plan.v1",
+  "id": "validation_contracts_release",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "objective": "Verify @hasna/contracts release readiness.",
+  "subject": {
+    "kind": "repo",
+    "id": "open-contracts",
+    "uri": "git+https://github.com/hasna/contracts.git"
+  },
+  "checks": [
+    {
+      "id": "typecheck",
+      "kind": "typecheck",
+      "command": "bun run typecheck",
+      "required": true
+    },
+    {
+      "id": "tests",
+      "kind": "test",
+      "command": "bun test",
+      "required": true
+    }
+  ],
+  "requiredEvidenceKinds": ["command_output"]
+}

package/examples/work-run.valid.json

@@ -0,0 +1,31 @@
+{
+  "schema": "hasna.work_run.v1",
+  "id": "work_run_123",
+  "createdAt": "2026-06-27T10:00:00.000Z",
+  "objective": "Implement @hasna/contracts schemas.",
+  "status": "succeeded",
+  "actor": {
+    "kind": "agent",
+    "id": "actor_codewith_account004",
+    "provider": "codewith",
+    "accountId": "account004"
+  },
+  "traceId": "trace_123",
+  "startedAt": "2026-06-27T10:00:00.000Z",
+  "finishedAt": "2026-06-27T10:05:00.000Z",
+  "resourceRefs": [
+    {
+      "kind": "task",
+      "id": "task_efd590d0",
+      "externalId": "efd590d0-b38d-48f8-a087-162d52f8c39d",
+      "sourcePackage": "@hasna/todos"
+    }
+  ],
+  "evidenceRefs": [
+    {
+      "id": "ev_tests",
+      "kind": "command_output",
+      "uri": "artifact://runs/run_123/tests.txt"
+    }
+  ]
+}

package/package.json

@@ -0,0 +1,74 @@
+{
+  "name": "@hasna/contracts",
+  "version": "0.1.0",
+  "description": "Shared schemas and validators for Hasna open-source agent infrastructure contracts.",
+  "type": "module",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/hasna/contracts.git"
+  },
+  "homepage": "https://github.com/hasna/contracts",
+  "bugs": {
+    "url": "https://github.com/hasna/contracts/issues"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org",
+    "access": "public"
+  },
+  "bin": {
+    "contracts": "dist/cli/index.js",
+    "contracts-cli": "dist/cli/index.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./schemas": {
+      "types": "./dist/schemas.d.ts",
+      "import": "./dist/schemas.js"
+    },
+    "./validators": {
+      "types": "./dist/validators.d.ts",
+      "import": "./dist/validators.js"
+    }
+  },
+  "files": [
+    "dist",
+    "examples",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "rm -rf dist && bun build src/index.ts src/schemas.ts src/validators.ts --outdir dist --target bun && bun build src/cli/index.ts --outdir dist/cli --target bun && tsc -p tsconfig.build.json --emitDeclarationOnly --outDir dist",
+    "typecheck": "tsc --noEmit",
+    "test": "bun test",
+    "lint": "tsc --noEmit",
+    "verify:release": "bun run typecheck && bun test && bun run build && bun run smoke:dist && bun run pack:check",
+    "smoke:dist": "bun scripts/smoke-dist.ts",
+    "pack:check": "npm pack --dry-run --json --ignore-scripts",
+    "dev:cli": "bun run src/cli/index.ts",
+    "prepack": "bun run verify:release",
+    "prepublishOnly": "bun run typecheck && bun test"
+  },
+  "keywords": [
+    "contracts",
+    "schemas",
+    "agents",
+    "zod",
+    "json-schema",
+    "hasna"
+  ],
+  "engines": {
+    "bun": ">=1.0.0"
+  },
+  "dependencies": {
+    "commander": "^13.1.0",
+    "zod": "^3.25.76"
+  },
+  "devDependencies": {
+    "@types/bun": "^1.2.4",
+    "typescript": "^5.7.3"
+  }
+}