omk-adaptorch-wpl 0.98.2 → 0.98.3

package/CHANGELOG.md

@@ -0,0 +1,83 @@
+# Changelog
+
+## [0.98.3] - 2026-09-06
+
+### Added
+
+- Added readonly VERA vocabulary guards and pure `projectProofClosure()`, `projectProofEvaluationFailure()` and `admitVeraOutcome()` projections. Candidate failure, environment uncertainty, missing evidence and open effects stay distinct. A projected `SHIP` is not release authorization; no remote service is called automatically.
+
+## [0.98.2] - 2026-09-02
+
+## [0.98.1] - 2026-08-30
+
+## [0.98.0] - 2026-08-28
+
+## [0.97.0] - 2026-08-24
+
+## [0.96.2] - 2026-08-21
+
+### Fixed
+
+- Updated the topology client to read and validate AdaptOrch's current `topology` response field and six supported topology values. Malformed or obsolete responses now fail closed before approval comparisons.
+
+## [0.96.1] - 2026-08-20
+
+### Notes
+
+- Version lockstep with `open-multi-agent-kit@0.96.1`; no functional changes in this package.
+
+## [0.96.0] - 2026-08-16
+
+## [0.95.2] - 2026-08-15
+
+## [0.95.1] - 2026-08-01
+
+## [0.95.0] - 2026-07-31
+
+## [0.94.1] - 2026-07-27
+
+## [0.94.0] - 2026-07-27
+
+## [0.93.0] - 2026-07-26
+
+## [0.92.0] - 2026-07-23
+
+## [0.91.0] - 2026-07-21
+
+### Changed
+
+- Promoted from experimental design-stage to stable and wired as a runtime dependency of `open-multi-agent-kit` (lockstep `0.91.0`). The package now ships the Work Packet Loop state machine, outcome adjudicator, B2C correctness-wall mapping, deep verification wall, and receipt signing as part of the CLI distribution.
+
+## [0.90.8] - 2026-07-13
+
+## [0.90.7] - 2026-07-11
+
+### Fixed
+
+- Fixed package repository metadata after the GitHub repository rename by aligning it with `dmae97/omk`.
+
+## [0.90.6] - 2026-07-09
+
+### Added
+
+- Added B2C Correctness Wall orchestration APIs (`evaluateCorrectnessWall`, policy wall, deep-wall evidence gate, live/fixture OA transports, repair hints/budget, signed receipts) with unit coverage; advisory evidence-gated verdicts only (not formal correctness proof).
+
+## [0.90.5] - 2026-07-07
+
+## [0.90.4] - 2026-07-04
+
+### Added
+
+- Added deterministic retry-backoff groundwork for AdaptOrch packets: `backoffDelayMs` combines exponential delay caps with stable per-packet jitter so the same packet id and retry count always produce the same delay.
+
+### Changed
+
+- Adjudication reasons are now structured: `AdjudicationResult` and `PerRunVerdict` carry a machine-readable `reason_code` from the closed `ADJUDICATION_REASON_CODES` set alongside the human-readable `reason` string, and `projectVerdictToDisposition` branches on `reason_code` through a compile-time-total disposition table instead of substring-matching the reason text (which could falsely escalate on incidental wording like "scoped variable" or miss reroutes when drift reasons lacked the word "schema"). `CheckResult` gains an optional `code` field so `content_check`/`trace_check` hooks can classify failures (e.g. `SCOPE_VIOLATION`, `SCHEMA_DRIFT`) explicitly.
+
+## [0.90.3] - 2026-07-02
+
+## [0.90.2] - 2026-07-02
+
+### Added
+
+- Added the experimental AdaptOrch-native Work Packet Loop as the private `omk-adaptorch-wpl` workspace package (adaptorch client, work-packet state machine, adjudicator registry, and loop runner). Not published to npm.

package/dist/index.d.ts

@@ -31,6 +31,8 @@ export type { CreateMcpIntrospectionTransportOptions, McpIntrospectionMode, } fr
 export { createMcpIntrospectionClient } from "./mcp-introspection-transport.ts";
 export type { PolicyFlag } from "./policy-wall.ts";
 export { POLICY_FLAG, parseDiffPaths, pathMatchesApprovedScope, runFastWall, scanDiffLinesForSecrets, } from "./policy-wall.ts";
+export type { ProofClosureSummary, ProofProjection, ProofProjectionReasonCode, VeraOutcomeAdmission, } from "./proof-projection.ts";
+export { admitVeraOutcome, PROOF_PROJECTION_REASON_CODES, projectProofClosure, projectProofEvaluationFailure, } from "./proof-projection.ts";
 export type { SignedWallReceipt, SignWallReceiptInput, VerifyWallReceiptInput } from "./receipt-signature.ts";
 export { signWallReceipt, verifyWallReceipt } from "./receipt-signature.ts";
 export type { BuildRegeneratePacketInput, RegeneratePacket } from "./regenerate-packet.ts";
@@ -44,5 +46,7 @@ export { buildVerificationDigest } from "./signed-receipt.ts";
 export { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from "./state-machine.ts";
 export type { CardinalityMode, DispatchRecord, LoopConfig, LoopTerminationCondition, TopologyClassification, TransitionLogEntry, WorkPacket, WorkPacketState, } from "./types.ts";
 export { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from "./types.ts";
+export type { VeraDriftStatus, VeraEvidenceCausality, VeraEvidenceSeverity, VeraVerificationDecision, VeraVerificationOutcomeKind, } from "./vera-vocabulary.ts";
+export { isVeraDriftStatus, isVeraEvidenceCausality, isVeraEvidenceSeverity, isVeraVerificationDecision, isVeraVerificationOutcomeKind, VERA_DRIFT_STATUSES, VERA_EVIDENCE_CAUSALITIES, VERA_EVIDENCE_SEVERITIES, VERA_VERIFICATION_DECISIONS, VERA_VERIFICATION_OUTCOME_KINDS, } from "./vera-vocabulary.ts";
 export { CORRECTNESS_WALL_VERSION } from "./wall-meta.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EACX,kBAAkB,EAClB,cAAc,EACd,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,oBAAoB,EACpB,aAAa,EACb,aAAa,EACb,cAAc,EACd,aAAa,EACb,SAAS,EACT,GAAG,EACH,eAAe,EACf,SAAS,EACT,aAAa,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACN,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,+BAA+B,EAC/B,kBAAkB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,eAAe,EACf,eAAe,GACf,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,YAAY,EACX,sBAAsB,EACtB,WAAW,EACX,YAAY,EACZ,qBAAqB,GACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,GACjB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACpE,YAAY,EACX,aAAa,EACb,WAAW,EACX,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,mBAAmB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAC9D,YAAY,EACX,aAAa,EACb,cAAc,EACd,sBAAsB,EACtB,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,qBAAqB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,6BAA6B,EAC7B,2BAA2B,EAC3B,WAAW,EACX,eAAe,GACf,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACX,6BAA6B,EAC7B,6BAA6B,GAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,YAAY,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AACvG,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,GAC1B,MAAM,WAAW,CAAC;AACnB,YAAY,EACX,sCAAsC,EACtC,oBAAoB,GACpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AAChF,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EACN,WAAW,EACX,cAAc,EACd,wBAAwB,EACxB,WAAW,EACX,uBAAuB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,YAAY,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC1F,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,YAAY,EACX,kBAAkB,EAClB,uBAAuB,EACvB,eAAe,GACf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC5G,YAAY,EACX,eAAe,EACf,cAAc,EACd,UAAU,EACV,wBAAwB,EACxB,sBAAsB,EACtB,kBAAkB,EAClB,UAAU,EACV,eAAe,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC9G,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC","sourcesContent":["/**\n * Public entry point for `omk-adaptorch-wpl` (stable since 0.91.0).\n *\n * See README.md and `.omk/runs/adaptorch-native-loop-algorithm-20260701/final-part{1,2,3}-*.md`\n * for the design this package implements. Ships as a runtime dependency of the\n * `open-multi-agent-kit` CLI.\n */\n\nexport type {\n\tAdaptOrchApiConfig,\n\tAdaptOrchFetch,\n\tAdaptOrchHttpResponse,\n\tAdaptOrchRequestInit,\n\tArtifact,\n\tArtifactListResponse,\n\tCapabilitySet,\n\tEvidenceCheck,\n\tEvidenceReport,\n\tListRunsQuery,\n\tPrincipal,\n\tRun,\n\tRunListResponse,\n\tRunStatus,\n\tRunSubmission,\n} from \"./adaptorch-api.ts\";\nexport {\n\tADAPTORCH_DEFAULT_API_URL,\n\tAdaptOrchApiClient,\n\tAdaptOrchApiError,\n\tassertSafeApiUrl,\n\tcreateAdaptOrchApiClientFromEnv,\n\tresolveAuthHeaders,\n} from \"./adaptorch-api.ts\";\nexport type { AdaptOrchTransport } from \"./adaptorch-client.ts\";\nexport {\n\tADAPTORCH_FULL_ONLY_TOOLS,\n\tADAPTORCH_REMOTE_TOOLS,\n\tADAPTORCH_TOOLS,\n\tAdaptOrchClient,\n} from \"./adaptorch-client.ts\";\nexport type { AdjudicationRequest, AdjudicationResult, PerRunVerdict } from \"./adjudicator.ts\";\nexport { adjudicate } from \"./adjudicator.ts\";\nexport type {\n\tAdjudicationReasonCode,\n\tCheckResult,\n\tVerdictState,\n\tVerifierRegistryEntry,\n} from \"./adjudicator-registry.ts\";\nexport {\n\tADJUDICATION_REASON_CODES,\n\tcreateVerifierRegistry,\n\tDEFAULT_VERIFIER,\n\treduceReasonCodes,\n} from \"./adjudicator-registry.ts\";\nexport type { MapToB2CInput, MapToB2COutput } from \"./b2c-mapper.ts\";\nexport { BATCH1_NO_DOCKER_RUNNER, mapToB2C } from \"./b2c-mapper.ts\";\nexport type {\n\tUserRiskLevel,\n\tUserVerdict,\n\tVerdictCard,\n\tVerdictLimits,\n\tVerdictNextAction,\n\tVerificationReceipt,\n} from \"./b2c-verdict.ts\";\nexport { B2C_VERDICT_SCHEMA_VERSION } from \"./b2c-verdict.ts\";\nexport type {\n\tDeepWallPhase,\n\tDeepWallResult,\n\tDeepWallRunnerEvidence,\n\tDeepWallRunnerFn,\n\tDeepWallRunnerResult,\n\tDeepWallStatus,\n\tDeepWallStubResult,\n\tRunDeepWallStubParams,\n} from \"./deep-wall.ts\";\nexport {\n\tDEEP_RUNNER_ERROR,\n\tDEEP_RUNNER_EVIDENCE_MISSING,\n\tDEEP_RUNNER_NOT_WIRED,\n\tDEEP_WALL_UNAVAILABLE,\n\tisDeepRunnerCompletionAllowed,\n\tresolveDeepWallPhaseFromEnv,\n\trunDeepWall,\n\trunDeepWallStub,\n} from \"./deep-wall.ts\";\nexport type {\n\tEvaluateCorrectnessWallParams,\n\tEvaluateCorrectnessWallResult,\n} from \"./evaluate-correctness-wall.ts\";\nexport { evaluateCorrectnessWall } from \"./evaluate-correctness-wall.ts\";\nexport type { InMemoryAdaptOrchFixture } from \"./in-memory-adaptorch.ts\";\nexport { createInMemoryAdaptOrchClient } from \"./in-memory-adaptorch.ts\";\nexport type { AdaptOrchCallToolFn, OaTransportMode } from \"./live-adaptorch-transport.ts\";\nexport { createLiveAdaptOrchClient, parseOaTransportModeFromEnv } from \"./live-adaptorch-transport.ts\";\nexport type { NextActionKind, VerdictDisposition } from \"./loop.ts\";\nexport {\n\tdecideNextTransition,\n\thandleAdjudicationFailure,\n\tprojectVerdictToDisposition,\n\trunAdjudicationWithTimeout,\n} from \"./loop.ts\";\nexport type {\n\tCreateMcpIntrospectionTransportOptions,\n\tMcpIntrospectionMode,\n} from \"./mcp-introspection-transport.ts\";\nexport { createMcpIntrospectionClient } from \"./mcp-introspection-transport.ts\";\nexport type { PolicyFlag } from \"./policy-wall.ts\";\nexport {\n\tPOLICY_FLAG,\n\tparseDiffPaths,\n\tpathMatchesApprovedScope,\n\trunFastWall,\n\tscanDiffLinesForSecrets,\n} from \"./policy-wall.ts\";\nexport type { SignedWallReceipt, SignWallReceiptInput, VerifyWallReceiptInput } from \"./receipt-signature.ts\";\nexport { signWallReceipt, verifyWallReceipt } from \"./receipt-signature.ts\";\nexport type { BuildRegeneratePacketInput, RegeneratePacket } from \"./regenerate-packet.ts\";\nexport { buildRegeneratePacket } from \"./regenerate-packet.ts\";\nexport type { RepairBudgetState } from \"./repair-budget.ts\";\nexport { capRepairHints, parseRepairBudget, shouldOfferRepair } from \"./repair-budget.ts\";\nexport type { RepairHintInput } from \"./repair-loop.ts\";\nexport { deriveRepairHints } from \"./repair-loop.ts\";\nexport type {\n\tVerificationDigest,\n\tVerificationDigestInput,\n\tWallReceiptMeta,\n} from \"./signed-receipt.ts\";\nexport { buildVerificationDigest } from \"./signed-receipt.ts\";\nexport { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from \"./state-machine.ts\";\nexport type {\n\tCardinalityMode,\n\tDispatchRecord,\n\tLoopConfig,\n\tLoopTerminationCondition,\n\tTopologyClassification,\n\tTransitionLogEntry,\n\tWorkPacket,\n\tWorkPacketState,\n} from \"./types.ts\";\nexport { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from \"./types.ts\";\nexport { CORRECTNESS_WALL_VERSION } from \"./wall-meta.ts\";\n"]}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EACX,kBAAkB,EAClB,cAAc,EACd,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,oBAAoB,EACpB,aAAa,EACb,aAAa,EACb,cAAc,EACd,aAAa,EACb,SAAS,EACT,GAAG,EACH,eAAe,EACf,SAAS,EACT,aAAa,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACN,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,+BAA+B,EAC/B,kBAAkB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,eAAe,EACf,eAAe,GACf,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,YAAY,EACX,sBAAsB,EACtB,WAAW,EACX,YAAY,EACZ,qBAAqB,GACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,GACjB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACpE,YAAY,EACX,aAAa,EACb,WAAW,EACX,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,mBAAmB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAC9D,YAAY,EACX,aAAa,EACb,cAAc,EACd,sBAAsB,EACtB,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,qBAAqB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,6BAA6B,EAC7B,2BAA2B,EAC3B,WAAW,EACX,eAAe,GACf,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACX,6BAA6B,EAC7B,6BAA6B,GAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,YAAY,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AACvG,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,GAC1B,MAAM,WAAW,CAAC;AACnB,YAAY,EACX,sCAAsC,EACtC,oBAAoB,GACpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AAChF,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EACN,WAAW,EACX,cAAc,EACd,wBAAwB,EACxB,WAAW,EACX,uBAAuB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACX,mBAAmB,EACnB,eAAe,EACf,yBAAyB,EACzB,oBAAoB,GACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACN,gBAAgB,EAChB,6BAA6B,EAC7B,mBAAmB,EACnB,6BAA6B,GAC7B,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,YAAY,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC1F,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,YAAY,EACX,kBAAkB,EAClB,uBAAuB,EACvB,eAAe,GACf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC5G,YAAY,EACX,eAAe,EACf,cAAc,EACd,UAAU,EACV,wBAAwB,EACxB,sBAAsB,EACtB,kBAAkB,EAClB,UAAU,EACV,eAAe,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC9G,YAAY,EACX,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,wBAAwB,EACxB,2BAA2B,GAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACN,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,EAC1B,6BAA6B,EAC7B,mBAAmB,EACnB,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,EAC3B,+BAA+B,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC","sourcesContent":["/**\n * Public entry point for `omk-adaptorch-wpl` (stable since 0.91.0).\n *\n * See README.md and `.omk/runs/adaptorch-native-loop-algorithm-20260701/final-part{1,2,3}-*.md`\n * for the design this package implements. Ships as a runtime dependency of the\n * `open-multi-agent-kit` CLI.\n */\n\nexport type {\n\tAdaptOrchApiConfig,\n\tAdaptOrchFetch,\n\tAdaptOrchHttpResponse,\n\tAdaptOrchRequestInit,\n\tArtifact,\n\tArtifactListResponse,\n\tCapabilitySet,\n\tEvidenceCheck,\n\tEvidenceReport,\n\tListRunsQuery,\n\tPrincipal,\n\tRun,\n\tRunListResponse,\n\tRunStatus,\n\tRunSubmission,\n} from \"./adaptorch-api.ts\";\nexport {\n\tADAPTORCH_DEFAULT_API_URL,\n\tAdaptOrchApiClient,\n\tAdaptOrchApiError,\n\tassertSafeApiUrl,\n\tcreateAdaptOrchApiClientFromEnv,\n\tresolveAuthHeaders,\n} from \"./adaptorch-api.ts\";\nexport type { AdaptOrchTransport } from \"./adaptorch-client.ts\";\nexport {\n\tADAPTORCH_FULL_ONLY_TOOLS,\n\tADAPTORCH_REMOTE_TOOLS,\n\tADAPTORCH_TOOLS,\n\tAdaptOrchClient,\n} from \"./adaptorch-client.ts\";\nexport type { AdjudicationRequest, AdjudicationResult, PerRunVerdict } from \"./adjudicator.ts\";\nexport { adjudicate } from \"./adjudicator.ts\";\nexport type {\n\tAdjudicationReasonCode,\n\tCheckResult,\n\tVerdictState,\n\tVerifierRegistryEntry,\n} from \"./adjudicator-registry.ts\";\nexport {\n\tADJUDICATION_REASON_CODES,\n\tcreateVerifierRegistry,\n\tDEFAULT_VERIFIER,\n\treduceReasonCodes,\n} from \"./adjudicator-registry.ts\";\nexport type { MapToB2CInput, MapToB2COutput } from \"./b2c-mapper.ts\";\nexport { BATCH1_NO_DOCKER_RUNNER, mapToB2C } from \"./b2c-mapper.ts\";\nexport type {\n\tUserRiskLevel,\n\tUserVerdict,\n\tVerdictCard,\n\tVerdictLimits,\n\tVerdictNextAction,\n\tVerificationReceipt,\n} from \"./b2c-verdict.ts\";\nexport { B2C_VERDICT_SCHEMA_VERSION } from \"./b2c-verdict.ts\";\nexport type {\n\tDeepWallPhase,\n\tDeepWallResult,\n\tDeepWallRunnerEvidence,\n\tDeepWallRunnerFn,\n\tDeepWallRunnerResult,\n\tDeepWallStatus,\n\tDeepWallStubResult,\n\tRunDeepWallStubParams,\n} from \"./deep-wall.ts\";\nexport {\n\tDEEP_RUNNER_ERROR,\n\tDEEP_RUNNER_EVIDENCE_MISSING,\n\tDEEP_RUNNER_NOT_WIRED,\n\tDEEP_WALL_UNAVAILABLE,\n\tisDeepRunnerCompletionAllowed,\n\tresolveDeepWallPhaseFromEnv,\n\trunDeepWall,\n\trunDeepWallStub,\n} from \"./deep-wall.ts\";\nexport type {\n\tEvaluateCorrectnessWallParams,\n\tEvaluateCorrectnessWallResult,\n} from \"./evaluate-correctness-wall.ts\";\nexport { evaluateCorrectnessWall } from \"./evaluate-correctness-wall.ts\";\nexport type { InMemoryAdaptOrchFixture } from \"./in-memory-adaptorch.ts\";\nexport { createInMemoryAdaptOrchClient } from \"./in-memory-adaptorch.ts\";\nexport type { AdaptOrchCallToolFn, OaTransportMode } from \"./live-adaptorch-transport.ts\";\nexport { createLiveAdaptOrchClient, parseOaTransportModeFromEnv } from \"./live-adaptorch-transport.ts\";\nexport type { NextActionKind, VerdictDisposition } from \"./loop.ts\";\nexport {\n\tdecideNextTransition,\n\thandleAdjudicationFailure,\n\tprojectVerdictToDisposition,\n\trunAdjudicationWithTimeout,\n} from \"./loop.ts\";\nexport type {\n\tCreateMcpIntrospectionTransportOptions,\n\tMcpIntrospectionMode,\n} from \"./mcp-introspection-transport.ts\";\nexport { createMcpIntrospectionClient } from \"./mcp-introspection-transport.ts\";\nexport type { PolicyFlag } from \"./policy-wall.ts\";\nexport {\n\tPOLICY_FLAG,\n\tparseDiffPaths,\n\tpathMatchesApprovedScope,\n\trunFastWall,\n\tscanDiffLinesForSecrets,\n} from \"./policy-wall.ts\";\nexport type {\n\tProofClosureSummary,\n\tProofProjection,\n\tProofProjectionReasonCode,\n\tVeraOutcomeAdmission,\n} from \"./proof-projection.ts\";\nexport {\n\tadmitVeraOutcome,\n\tPROOF_PROJECTION_REASON_CODES,\n\tprojectProofClosure,\n\tprojectProofEvaluationFailure,\n} from \"./proof-projection.ts\";\nexport type { SignedWallReceipt, SignWallReceiptInput, VerifyWallReceiptInput } from \"./receipt-signature.ts\";\nexport { signWallReceipt, verifyWallReceipt } from \"./receipt-signature.ts\";\nexport type { BuildRegeneratePacketInput, RegeneratePacket } from \"./regenerate-packet.ts\";\nexport { buildRegeneratePacket } from \"./regenerate-packet.ts\";\nexport type { RepairBudgetState } from \"./repair-budget.ts\";\nexport { capRepairHints, parseRepairBudget, shouldOfferRepair } from \"./repair-budget.ts\";\nexport type { RepairHintInput } from \"./repair-loop.ts\";\nexport { deriveRepairHints } from \"./repair-loop.ts\";\nexport type {\n\tVerificationDigest,\n\tVerificationDigestInput,\n\tWallReceiptMeta,\n} from \"./signed-receipt.ts\";\nexport { buildVerificationDigest } from \"./signed-receipt.ts\";\nexport { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from \"./state-machine.ts\";\nexport type {\n\tCardinalityMode,\n\tDispatchRecord,\n\tLoopConfig,\n\tLoopTerminationCondition,\n\tTopologyClassification,\n\tTransitionLogEntry,\n\tWorkPacket,\n\tWorkPacketState,\n} from \"./types.ts\";\nexport { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from \"./types.ts\";\nexport type {\n\tVeraDriftStatus,\n\tVeraEvidenceCausality,\n\tVeraEvidenceSeverity,\n\tVeraVerificationDecision,\n\tVeraVerificationOutcomeKind,\n} from \"./vera-vocabulary.ts\";\nexport {\n\tisVeraDriftStatus,\n\tisVeraEvidenceCausality,\n\tisVeraEvidenceSeverity,\n\tisVeraVerificationDecision,\n\tisVeraVerificationOutcomeKind,\n\tVERA_DRIFT_STATUSES,\n\tVERA_EVIDENCE_CAUSALITIES,\n\tVERA_EVIDENCE_SEVERITIES,\n\tVERA_VERIFICATION_DECISIONS,\n\tVERA_VERIFICATION_OUTCOME_KINDS,\n} from \"./vera-vocabulary.ts\";\nexport { CORRECTNESS_WALL_VERSION } from \"./wall-meta.ts\";\n"]}

package/dist/index.js

@@ -18,6 +18,7 @@ export { createLiveAdaptOrchClient, parseOaTransportModeFromEnv } from "./live-a
 export { decideNextTransition, handleAdjudicationFailure, projectVerdictToDisposition, runAdjudicationWithTimeout, } from "./loop.js";
 export { createMcpIntrospectionClient } from "./mcp-introspection-transport.js";
 export { POLICY_FLAG, parseDiffPaths, pathMatchesApprovedScope, runFastWall, scanDiffLinesForSecrets, } from "./policy-wall.js";
+export { admitVeraOutcome, PROOF_PROJECTION_REASON_CODES, projectProofClosure, projectProofEvaluationFailure, } from "./proof-projection.js";
 export { signWallReceipt, verifyWallReceipt } from "./receipt-signature.js";
 export { buildRegeneratePacket } from "./regenerate-packet.js";
 export { capRepairHints, parseRepairBudget, shouldOfferRepair } from "./repair-budget.js";
@@ -25,5 +26,6 @@ export { deriveRepairHints } from "./repair-loop.js";
 export { buildVerificationDigest } from "./signed-receipt.js";
 export { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from "./state-machine.js";
 export { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from "./types.js";
+export { isVeraDriftStatus, isVeraEvidenceCausality, isVeraEvidenceSeverity, isVeraVerificationDecision, isVeraVerificationOutcomeKind, VERA_DRIFT_STATUSES, VERA_EVIDENCE_CAUSALITIES, VERA_EVIDENCE_SEVERITIES, VERA_VERIFICATION_DECISIONS, VERA_VERIFICATION_OUTCOME_KINDS, } from "./vera-vocabulary.js";
 export { CORRECTNESS_WALL_VERSION } from "./wall-meta.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAmBH,OAAO,EACN,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,+BAA+B,EAC/B,kBAAkB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,eAAe,EACf,eAAe,GACf,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAO9C,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AASpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAW9D,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,6BAA6B,EAC7B,2BAA2B,EAC3B,WAAW,EACX,eAAe,GACf,MAAM,gBAAgB,CAAC;AAKxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAEvG,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,GAC1B,MAAM,WAAW,CAAC;AAKnB,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AAEhF,OAAO,EACN,WAAW,EACX,cAAc,EACd,wBAAwB,EACxB,WAAW,EACX,uBAAuB,GACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAMrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAW5G,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC9G,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC","sourcesContent":["/**\n * Public entry point for `omk-adaptorch-wpl` (stable since 0.91.0).\n *\n * See README.md and `.omk/runs/adaptorch-native-loop-algorithm-20260701/final-part{1,2,3}-*.md`\n * for the design this package implements. Ships as a runtime dependency of the\n * `open-multi-agent-kit` CLI.\n */\n\nexport type {\n\tAdaptOrchApiConfig,\n\tAdaptOrchFetch,\n\tAdaptOrchHttpResponse,\n\tAdaptOrchRequestInit,\n\tArtifact,\n\tArtifactListResponse,\n\tCapabilitySet,\n\tEvidenceCheck,\n\tEvidenceReport,\n\tListRunsQuery,\n\tPrincipal,\n\tRun,\n\tRunListResponse,\n\tRunStatus,\n\tRunSubmission,\n} from \"./adaptorch-api.ts\";\nexport {\n\tADAPTORCH_DEFAULT_API_URL,\n\tAdaptOrchApiClient,\n\tAdaptOrchApiError,\n\tassertSafeApiUrl,\n\tcreateAdaptOrchApiClientFromEnv,\n\tresolveAuthHeaders,\n} from \"./adaptorch-api.ts\";\nexport type { AdaptOrchTransport } from \"./adaptorch-client.ts\";\nexport {\n\tADAPTORCH_FULL_ONLY_TOOLS,\n\tADAPTORCH_REMOTE_TOOLS,\n\tADAPTORCH_TOOLS,\n\tAdaptOrchClient,\n} from \"./adaptorch-client.ts\";\nexport type { AdjudicationRequest, AdjudicationResult, PerRunVerdict } from \"./adjudicator.ts\";\nexport { adjudicate } from \"./adjudicator.ts\";\nexport type {\n\tAdjudicationReasonCode,\n\tCheckResult,\n\tVerdictState,\n\tVerifierRegistryEntry,\n} from \"./adjudicator-registry.ts\";\nexport {\n\tADJUDICATION_REASON_CODES,\n\tcreateVerifierRegistry,\n\tDEFAULT_VERIFIER,\n\treduceReasonCodes,\n} from \"./adjudicator-registry.ts\";\nexport type { MapToB2CInput, MapToB2COutput } from \"./b2c-mapper.ts\";\nexport { BATCH1_NO_DOCKER_RUNNER, mapToB2C } from \"./b2c-mapper.ts\";\nexport type {\n\tUserRiskLevel,\n\tUserVerdict,\n\tVerdictCard,\n\tVerdictLimits,\n\tVerdictNextAction,\n\tVerificationReceipt,\n} from \"./b2c-verdict.ts\";\nexport { B2C_VERDICT_SCHEMA_VERSION } from \"./b2c-verdict.ts\";\nexport type {\n\tDeepWallPhase,\n\tDeepWallResult,\n\tDeepWallRunnerEvidence,\n\tDeepWallRunnerFn,\n\tDeepWallRunnerResult,\n\tDeepWallStatus,\n\tDeepWallStubResult,\n\tRunDeepWallStubParams,\n} from \"./deep-wall.ts\";\nexport {\n\tDEEP_RUNNER_ERROR,\n\tDEEP_RUNNER_EVIDENCE_MISSING,\n\tDEEP_RUNNER_NOT_WIRED,\n\tDEEP_WALL_UNAVAILABLE,\n\tisDeepRunnerCompletionAllowed,\n\tresolveDeepWallPhaseFromEnv,\n\trunDeepWall,\n\trunDeepWallStub,\n} from \"./deep-wall.ts\";\nexport type {\n\tEvaluateCorrectnessWallParams,\n\tEvaluateCorrectnessWallResult,\n} from \"./evaluate-correctness-wall.ts\";\nexport { evaluateCorrectnessWall } from \"./evaluate-correctness-wall.ts\";\nexport type { InMemoryAdaptOrchFixture } from \"./in-memory-adaptorch.ts\";\nexport { createInMemoryAdaptOrchClient } from \"./in-memory-adaptorch.ts\";\nexport type { AdaptOrchCallToolFn, OaTransportMode } from \"./live-adaptorch-transport.ts\";\nexport { createLiveAdaptOrchClient, parseOaTransportModeFromEnv } from \"./live-adaptorch-transport.ts\";\nexport type { NextActionKind, VerdictDisposition } from \"./loop.ts\";\nexport {\n\tdecideNextTransition,\n\thandleAdjudicationFailure,\n\tprojectVerdictToDisposition,\n\trunAdjudicationWithTimeout,\n} from \"./loop.ts\";\nexport type {\n\tCreateMcpIntrospectionTransportOptions,\n\tMcpIntrospectionMode,\n} from \"./mcp-introspection-transport.ts\";\nexport { createMcpIntrospectionClient } from \"./mcp-introspection-transport.ts\";\nexport type { PolicyFlag } from \"./policy-wall.ts\";\nexport {\n\tPOLICY_FLAG,\n\tparseDiffPaths,\n\tpathMatchesApprovedScope,\n\trunFastWall,\n\tscanDiffLinesForSecrets,\n} from \"./policy-wall.ts\";\nexport type { SignedWallReceipt, SignWallReceiptInput, VerifyWallReceiptInput } from \"./receipt-signature.ts\";\nexport { signWallReceipt, verifyWallReceipt } from \"./receipt-signature.ts\";\nexport type { BuildRegeneratePacketInput, RegeneratePacket } from \"./regenerate-packet.ts\";\nexport { buildRegeneratePacket } from \"./regenerate-packet.ts\";\nexport type { RepairBudgetState } from \"./repair-budget.ts\";\nexport { capRepairHints, parseRepairBudget, shouldOfferRepair } from \"./repair-budget.ts\";\nexport type { RepairHintInput } from \"./repair-loop.ts\";\nexport { deriveRepairHints } from \"./repair-loop.ts\";\nexport type {\n\tVerificationDigest,\n\tVerificationDigestInput,\n\tWallReceiptMeta,\n} from \"./signed-receipt.ts\";\nexport { buildVerificationDigest } from \"./signed-receipt.ts\";\nexport { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from \"./state-machine.ts\";\nexport type {\n\tCardinalityMode,\n\tDispatchRecord,\n\tLoopConfig,\n\tLoopTerminationCondition,\n\tTopologyClassification,\n\tTransitionLogEntry,\n\tWorkPacket,\n\tWorkPacketState,\n} from \"./types.ts\";\nexport { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from \"./types.ts\";\nexport { CORRECTNESS_WALL_VERSION } from \"./wall-meta.ts\";\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAmBH,OAAO,EACN,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,+BAA+B,EAC/B,kBAAkB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,eAAe,EACf,eAAe,GACf,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAO9C,OAAO,EACN,yBAAyB,EACzB,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AASpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAW9D,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,6BAA6B,EAC7B,2BAA2B,EAC3B,WAAW,EACX,eAAe,GACf,MAAM,gBAAgB,CAAC;AAKxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAEvG,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,GAC1B,MAAM,WAAW,CAAC;AAKnB,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AAEhF,OAAO,EACN,WAAW,EACX,cAAc,EACd,wBAAwB,EACxB,WAAW,EACX,uBAAuB,GACvB,MAAM,kBAAkB,CAAC;AAO1B,OAAO,EACN,gBAAgB,EAChB,6BAA6B,EAC7B,mBAAmB,EACnB,6BAA6B,GAC7B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAMrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAW5G,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAQ9G,OAAO,EACN,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,EAC1B,6BAA6B,EAC7B,mBAAmB,EACnB,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,EAC3B,+BAA+B,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC","sourcesContent":["/**\n * Public entry point for `omk-adaptorch-wpl` (stable since 0.91.0).\n *\n * See README.md and `.omk/runs/adaptorch-native-loop-algorithm-20260701/final-part{1,2,3}-*.md`\n * for the design this package implements. Ships as a runtime dependency of the\n * `open-multi-agent-kit` CLI.\n */\n\nexport type {\n\tAdaptOrchApiConfig,\n\tAdaptOrchFetch,\n\tAdaptOrchHttpResponse,\n\tAdaptOrchRequestInit,\n\tArtifact,\n\tArtifactListResponse,\n\tCapabilitySet,\n\tEvidenceCheck,\n\tEvidenceReport,\n\tListRunsQuery,\n\tPrincipal,\n\tRun,\n\tRunListResponse,\n\tRunStatus,\n\tRunSubmission,\n} from \"./adaptorch-api.ts\";\nexport {\n\tADAPTORCH_DEFAULT_API_URL,\n\tAdaptOrchApiClient,\n\tAdaptOrchApiError,\n\tassertSafeApiUrl,\n\tcreateAdaptOrchApiClientFromEnv,\n\tresolveAuthHeaders,\n} from \"./adaptorch-api.ts\";\nexport type { AdaptOrchTransport } from \"./adaptorch-client.ts\";\nexport {\n\tADAPTORCH_FULL_ONLY_TOOLS,\n\tADAPTORCH_REMOTE_TOOLS,\n\tADAPTORCH_TOOLS,\n\tAdaptOrchClient,\n} from \"./adaptorch-client.ts\";\nexport type { AdjudicationRequest, AdjudicationResult, PerRunVerdict } from \"./adjudicator.ts\";\nexport { adjudicate } from \"./adjudicator.ts\";\nexport type {\n\tAdjudicationReasonCode,\n\tCheckResult,\n\tVerdictState,\n\tVerifierRegistryEntry,\n} from \"./adjudicator-registry.ts\";\nexport {\n\tADJUDICATION_REASON_CODES,\n\tcreateVerifierRegistry,\n\tDEFAULT_VERIFIER,\n\treduceReasonCodes,\n} from \"./adjudicator-registry.ts\";\nexport type { MapToB2CInput, MapToB2COutput } from \"./b2c-mapper.ts\";\nexport { BATCH1_NO_DOCKER_RUNNER, mapToB2C } from \"./b2c-mapper.ts\";\nexport type {\n\tUserRiskLevel,\n\tUserVerdict,\n\tVerdictCard,\n\tVerdictLimits,\n\tVerdictNextAction,\n\tVerificationReceipt,\n} from \"./b2c-verdict.ts\";\nexport { B2C_VERDICT_SCHEMA_VERSION } from \"./b2c-verdict.ts\";\nexport type {\n\tDeepWallPhase,\n\tDeepWallResult,\n\tDeepWallRunnerEvidence,\n\tDeepWallRunnerFn,\n\tDeepWallRunnerResult,\n\tDeepWallStatus,\n\tDeepWallStubResult,\n\tRunDeepWallStubParams,\n} from \"./deep-wall.ts\";\nexport {\n\tDEEP_RUNNER_ERROR,\n\tDEEP_RUNNER_EVIDENCE_MISSING,\n\tDEEP_RUNNER_NOT_WIRED,\n\tDEEP_WALL_UNAVAILABLE,\n\tisDeepRunnerCompletionAllowed,\n\tresolveDeepWallPhaseFromEnv,\n\trunDeepWall,\n\trunDeepWallStub,\n} from \"./deep-wall.ts\";\nexport type {\n\tEvaluateCorrectnessWallParams,\n\tEvaluateCorrectnessWallResult,\n} from \"./evaluate-correctness-wall.ts\";\nexport { evaluateCorrectnessWall } from \"./evaluate-correctness-wall.ts\";\nexport type { InMemoryAdaptOrchFixture } from \"./in-memory-adaptorch.ts\";\nexport { createInMemoryAdaptOrchClient } from \"./in-memory-adaptorch.ts\";\nexport type { AdaptOrchCallToolFn, OaTransportMode } from \"./live-adaptorch-transport.ts\";\nexport { createLiveAdaptOrchClient, parseOaTransportModeFromEnv } from \"./live-adaptorch-transport.ts\";\nexport type { NextActionKind, VerdictDisposition } from \"./loop.ts\";\nexport {\n\tdecideNextTransition,\n\thandleAdjudicationFailure,\n\tprojectVerdictToDisposition,\n\trunAdjudicationWithTimeout,\n} from \"./loop.ts\";\nexport type {\n\tCreateMcpIntrospectionTransportOptions,\n\tMcpIntrospectionMode,\n} from \"./mcp-introspection-transport.ts\";\nexport { createMcpIntrospectionClient } from \"./mcp-introspection-transport.ts\";\nexport type { PolicyFlag } from \"./policy-wall.ts\";\nexport {\n\tPOLICY_FLAG,\n\tparseDiffPaths,\n\tpathMatchesApprovedScope,\n\trunFastWall,\n\tscanDiffLinesForSecrets,\n} from \"./policy-wall.ts\";\nexport type {\n\tProofClosureSummary,\n\tProofProjection,\n\tProofProjectionReasonCode,\n\tVeraOutcomeAdmission,\n} from \"./proof-projection.ts\";\nexport {\n\tadmitVeraOutcome,\n\tPROOF_PROJECTION_REASON_CODES,\n\tprojectProofClosure,\n\tprojectProofEvaluationFailure,\n} from \"./proof-projection.ts\";\nexport type { SignedWallReceipt, SignWallReceiptInput, VerifyWallReceiptInput } from \"./receipt-signature.ts\";\nexport { signWallReceipt, verifyWallReceipt } from \"./receipt-signature.ts\";\nexport type { BuildRegeneratePacketInput, RegeneratePacket } from \"./regenerate-packet.ts\";\nexport { buildRegeneratePacket } from \"./regenerate-packet.ts\";\nexport type { RepairBudgetState } from \"./repair-budget.ts\";\nexport { capRepairHints, parseRepairBudget, shouldOfferRepair } from \"./repair-budget.ts\";\nexport type { RepairHintInput } from \"./repair-loop.ts\";\nexport { deriveRepairHints } from \"./repair-loop.ts\";\nexport type {\n\tVerificationDigest,\n\tVerificationDigestInput,\n\tWallReceiptMeta,\n} from \"./signed-receipt.ts\";\nexport { buildVerificationDigest } from \"./signed-receipt.ts\";\nexport { applyTransition, canTransition, isTerminalState, requiresHumanApproval } from \"./state-machine.ts\";\nexport type {\n\tCardinalityMode,\n\tDispatchRecord,\n\tLoopConfig,\n\tLoopTerminationCondition,\n\tTopologyClassification,\n\tTransitionLogEntry,\n\tWorkPacket,\n\tWorkPacketState,\n} from \"./types.ts\";\nexport { ADJUDICATIONS_DIR, LOOP_STATE_FILE, PACKET_INDEX_FILE, PACKETS_DIR, RUN_MAP_FILE } from \"./types.ts\";\nexport type {\n\tVeraDriftStatus,\n\tVeraEvidenceCausality,\n\tVeraEvidenceSeverity,\n\tVeraVerificationDecision,\n\tVeraVerificationOutcomeKind,\n} from \"./vera-vocabulary.ts\";\nexport {\n\tisVeraDriftStatus,\n\tisVeraEvidenceCausality,\n\tisVeraEvidenceSeverity,\n\tisVeraVerificationDecision,\n\tisVeraVerificationOutcomeKind,\n\tVERA_DRIFT_STATUSES,\n\tVERA_EVIDENCE_CAUSALITIES,\n\tVERA_EVIDENCE_SEVERITIES,\n\tVERA_VERIFICATION_DECISIONS,\n\tVERA_VERIFICATION_OUTCOME_KINDS,\n} from \"./vera-vocabulary.ts\";\nexport { CORRECTNESS_WALL_VERSION } from \"./wall-meta.ts\";\n"]}

package/dist/proof-projection.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Projects an OMK proof-closure result onto the two verdict vocabularies the
+ * AdaptOrch integration already speaks: the Work Packet adjudicator's
+ * five-state `VerdictState` and AdaptOrch VERA's `VerificationDecision`.
+ *
+ * The input is structural on purpose. `omk-adaptorch-wpl` has no
+ * dependencies, so it cannot import `omk-protocol`; `ProofClosureSummary`
+ * names only the fields the projection reads, and `omk-protocol`'s
+ * `ProofClosureResult` satisfies it by shape (pinned by a parity test in the
+ * `open-multi-agent-kit` package, which depends on both).
+ *
+ * Mapping, worst first, in the same order `reduceVerdicts` ranks verdicts:
+ *
+ * | proof result                       | VerdictState     | VERA decision              | causality           |
+ * | ---------------------------------- | ---------------- | -------------------------- | ------------------- |
+ * | evaluation itself failed           | `VERIFIER-ERROR` | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |
+ * | `violated`                         | `CONTRADICTED`   | `REJECT`                   | `CandidateCaused`   |
+ * | `inconclusive`, effects unresolved | `INDETERMINATE`  | `ESCALATE`                 | `Ambiguous`         |
+ * | `inconclusive`, workspace partial  | `INDETERMINATE`  | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |
+ * | `inconclusive`, evidence missing   | `INDETERMINATE`  | `ABSTAIN`                  | `Ambiguous`         |
+ * | `unverified` (no required claims)  | `INDETERMINATE`  | `ABSTAIN`                  | `NotApplicable`     |
+ * | `verified`                         | `CONFIRMED`      | `SHIP`                     | `NotApplicable`     |
+ *
+ * An unresolved effect escalates rather than abstains because nothing short of
+ * an operator or a recovery run can close it; a partial workspace is an
+ * environment limit of the measurement, not a fact about the candidate.
+ * `SHIP` here means the proof closed — it is not a release authorization.
+ */
+import type { VerdictState } from "./adjudicator-registry.ts";
+import type { VeraEvidenceCausality, VeraVerificationDecision, VeraVerificationOutcomeKind } from "./vera-vocabulary.ts";
+/** Structural view of `omk-protocol` `ProofClosureResult`; only what the projection reads. */
+export interface ProofClosureSummary {
+    readonly verdict: "verified" | "unverified" | "inconclusive" | "violated";
+    readonly unresolvedEffectIds: readonly string[];
+    readonly workspaceCompleteness: "complete" | "partial_excluded" | "partial_truncated" | "unknown";
+    readonly blockingClaimIds: readonly string[];
+}
+export declare const PROOF_PROJECTION_REASON_CODES: readonly ["proof.evaluation_error", "proof.violated", "proof.effect_frontier_open", "proof.workspace_incomplete", "proof.evidence_missing", "proof.no_required_claims", "proof.verified"];
+export type ProofProjectionReasonCode = (typeof PROOF_PROJECTION_REASON_CODES)[number];
+export interface ProofProjection {
+    readonly verdictState: VerdictState;
+    readonly decision: VeraVerificationDecision;
+    readonly causality: VeraEvidenceCausality;
+    readonly reasonCode: ProofProjectionReasonCode;
+}
+/** The projection for a proof evaluation that threw instead of producing a result. */
+export declare function projectProofEvaluationFailure(): ProofProjection;
+/** Pure, total projection of a closed proof evaluation. */
+export declare function projectProofClosure(summary: ProofClosureSummary): ProofProjection;
+/**
+ * How one VERA verifier outcome enters the OMK claim graph as a witness.
+ *
+ * `PASS` supports. `FAIL`, `CANDIDATE_ERROR`, and `FLAKY` violate: an observed
+ * assertion failure is never erased by a later pass (plan §10.9). Environment
+ * outcomes are inadmissible — they neither support nor violate, so the claim
+ * stays `missing` and the closure abstains or reports an environment limit
+ * instead of laundering an outage into either verdict.
+ */
+export type VeraOutcomeAdmission = {
+    readonly admissible: true;
+    readonly polarity: "supports" | "violates";
+    readonly causality: VeraEvidenceCausality;
+} | {
+    readonly admissible: false;
+    readonly reason: "environment" | "timeout" | "ambiguous" | "skipped";
+    readonly causality: VeraEvidenceCausality;
+};
+export declare function admitVeraOutcome(kind: VeraVerificationOutcomeKind): VeraOutcomeAdmission;
+//# sourceMappingURL=proof-projection.d.ts.map

package/dist/proof-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-projection.d.ts","sourceRoot":"","sources":["../src/proof-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EACX,qBAAqB,EACrB,wBAAwB,EACxB,2BAA2B,EAC3B,MAAM,sBAAsB,CAAC;AAE9B,8FAA8F;AAC9F,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,YAAY,GAAG,cAAc,GAAG,UAAU,CAAC;IAC1E,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,qBAAqB,EAAE,UAAU,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,SAAS,CAAC;IAClG,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAED,eAAO,MAAM,6BAA6B,2LAQhC,CAAC;AACX,MAAM,MAAM,yBAAyB,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;CAC/C;AAWD,sFAAsF;AACtF,wBAAgB,6BAA6B,IAAI,eAAe,CAE/D;AAED,2DAA2D;AAC3D,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,mBAAmB,GAAG,eAAe,CA0BjF;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,GAC7B;IACA,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;CACzC,GACD;IACA,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IACrE,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;CACzC,CAAC;AAEL,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,2BAA2B,GAAG,oBAAoB,CAqBxF","sourcesContent":["/**\n * Projects an OMK proof-closure result onto the two verdict vocabularies the\n * AdaptOrch integration already speaks: the Work Packet adjudicator's\n * five-state `VerdictState` and AdaptOrch VERA's `VerificationDecision`.\n *\n * The input is structural on purpose. `omk-adaptorch-wpl` has no\n * dependencies, so it cannot import `omk-protocol`; `ProofClosureSummary`\n * names only the fields the projection reads, and `omk-protocol`'s\n * `ProofClosureResult` satisfies it by shape (pinned by a parity test in the\n * `open-multi-agent-kit` package, which depends on both).\n *\n * Mapping, worst first, in the same order `reduceVerdicts` ranks verdicts:\n *\n * | proof result                       | VerdictState     | VERA decision              | causality           |\n * | ---------------------------------- | ---------------- | -------------------------- | ------------------- |\n * | evaluation itself failed           | `VERIFIER-ERROR` | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |\n * | `violated`                         | `CONTRADICTED`   | `REJECT`                   | `CandidateCaused`   |\n * | `inconclusive`, effects unresolved | `INDETERMINATE`  | `ESCALATE`                 | `Ambiguous`         |\n * | `inconclusive`, workspace partial  | `INDETERMINATE`  | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |\n * | `inconclusive`, evidence missing   | `INDETERMINATE`  | `ABSTAIN`                  | `Ambiguous`         |\n * | `unverified` (no required claims)  | `INDETERMINATE`  | `ABSTAIN`                  | `NotApplicable`     |\n * | `verified`                         | `CONFIRMED`      | `SHIP`                     | `NotApplicable`     |\n *\n * An unresolved effect escalates rather than abstains because nothing short of\n * an operator or a recovery run can close it; a partial workspace is an\n * environment limit of the measurement, not a fact about the candidate.\n * `SHIP` here means the proof closed — it is not a release authorization.\n */\n\nimport type { VerdictState } from \"./adjudicator-registry.ts\";\nimport type {\n\tVeraEvidenceCausality,\n\tVeraVerificationDecision,\n\tVeraVerificationOutcomeKind,\n} from \"./vera-vocabulary.ts\";\n\n/** Structural view of `omk-protocol` `ProofClosureResult`; only what the projection reads. */\nexport interface ProofClosureSummary {\n\treadonly verdict: \"verified\" | \"unverified\" | \"inconclusive\" | \"violated\";\n\treadonly unresolvedEffectIds: readonly string[];\n\treadonly workspaceCompleteness: \"complete\" | \"partial_excluded\" | \"partial_truncated\" | \"unknown\";\n\treadonly blockingClaimIds: readonly string[];\n}\n\nexport const PROOF_PROJECTION_REASON_CODES = [\n\t\"proof.evaluation_error\",\n\t\"proof.violated\",\n\t\"proof.effect_frontier_open\",\n\t\"proof.workspace_incomplete\",\n\t\"proof.evidence_missing\",\n\t\"proof.no_required_claims\",\n\t\"proof.verified\",\n] as const;\nexport type ProofProjectionReasonCode = (typeof PROOF_PROJECTION_REASON_CODES)[number];\n\nexport interface ProofProjection {\n\treadonly verdictState: VerdictState;\n\treadonly decision: VeraVerificationDecision;\n\treadonly causality: VeraEvidenceCausality;\n\treadonly reasonCode: ProofProjectionReasonCode;\n}\n\nfunction projection(\n\tverdictState: VerdictState,\n\tdecision: VeraVerificationDecision,\n\tcausality: VeraEvidenceCausality,\n\treasonCode: ProofProjectionReasonCode,\n): ProofProjection {\n\treturn Object.freeze({ verdictState, decision, causality, reasonCode });\n}\n\n/** The projection for a proof evaluation that threw instead of producing a result. */\nexport function projectProofEvaluationFailure(): ProofProjection {\n\treturn projection(\"VERIFIER-ERROR\", \"INCONCLUSIVE_ENVIRONMENT\", \"EnvironmentCaused\", \"proof.evaluation_error\");\n}\n\n/** Pure, total projection of a closed proof evaluation. */\nexport function projectProofClosure(summary: ProofClosureSummary): ProofProjection {\n\tswitch (summary.verdict) {\n\t\tcase \"verified\":\n\t\t\treturn projection(\"CONFIRMED\", \"SHIP\", \"NotApplicable\", \"proof.verified\");\n\t\tcase \"violated\":\n\t\t\treturn projection(\"CONTRADICTED\", \"REJECT\", \"CandidateCaused\", \"proof.violated\");\n\t\tcase \"unverified\":\n\t\t\treturn projection(\"INDETERMINATE\", \"ABSTAIN\", \"NotApplicable\", \"proof.no_required_claims\");\n\t\tcase \"inconclusive\":\n\t\t\tif (summary.unresolvedEffectIds.length > 0) {\n\t\t\t\treturn projection(\"INDETERMINATE\", \"ESCALATE\", \"Ambiguous\", \"proof.effect_frontier_open\");\n\t\t\t}\n\t\t\tif (summary.workspaceCompleteness !== \"complete\") {\n\t\t\t\treturn projection(\n\t\t\t\t\t\"INDETERMINATE\",\n\t\t\t\t\t\"INCONCLUSIVE_ENVIRONMENT\",\n\t\t\t\t\t\"EnvironmentCaused\",\n\t\t\t\t\t\"proof.workspace_incomplete\",\n\t\t\t\t);\n\t\t\t}\n\t\t\treturn projection(\"INDETERMINATE\", \"ABSTAIN\", \"Ambiguous\", \"proof.evidence_missing\");\n\t\tdefault: {\n\t\t\tconst unknownVerdict: never = summary.verdict;\n\t\t\tthrow new TypeError(`Unknown proof verdict ${String(unknownVerdict)}`);\n\t\t}\n\t}\n}\n\n/**\n * How one VERA verifier outcome enters the OMK claim graph as a witness.\n *\n * `PASS` supports. `FAIL`, `CANDIDATE_ERROR`, and `FLAKY` violate: an observed\n * assertion failure is never erased by a later pass (plan §10.9). Environment\n * outcomes are inadmissible — they neither support nor violate, so the claim\n * stays `missing` and the closure abstains or reports an environment limit\n * instead of laundering an outage into either verdict.\n */\nexport type VeraOutcomeAdmission =\n\t| {\n\t\t\treadonly admissible: true;\n\t\t\treadonly polarity: \"supports\" | \"violates\";\n\t\t\treadonly causality: VeraEvidenceCausality;\n\t  }\n\t| {\n\t\t\treadonly admissible: false;\n\t\t\treadonly reason: \"environment\" | \"timeout\" | \"ambiguous\" | \"skipped\";\n\t\t\treadonly causality: VeraEvidenceCausality;\n\t  };\n\nexport function admitVeraOutcome(kind: VeraVerificationOutcomeKind): VeraOutcomeAdmission {\n\tswitch (kind) {\n\t\tcase \"PASS\":\n\t\t\treturn { admissible: true, polarity: \"supports\", causality: \"NotApplicable\" };\n\t\tcase \"FAIL\":\n\t\tcase \"CANDIDATE_ERROR\":\n\t\tcase \"FLAKY\":\n\t\t\treturn { admissible: true, polarity: \"violates\", causality: \"CandidateCaused\" };\n\t\tcase \"ENV_ERROR\":\n\t\t\treturn { admissible: false, reason: \"environment\", causality: \"EnvironmentCaused\" };\n\t\tcase \"TIMEOUT\":\n\t\t\treturn { admissible: false, reason: \"timeout\", causality: \"Ambiguous\" };\n\t\tcase \"AMBIGUOUS\":\n\t\t\treturn { admissible: false, reason: \"ambiguous\", causality: \"Ambiguous\" };\n\t\tcase \"SKIPPED\":\n\t\t\treturn { admissible: false, reason: \"skipped\", causality: \"EnvironmentCaused\" };\n\t\tdefault: {\n\t\t\tconst unknownKind: never = kind;\n\t\t\tthrow new TypeError(`Unknown VERA outcome kind ${String(unknownKind)}`);\n\t\t}\n\t}\n}\n"]}

package/dist/proof-projection.js

@@ -0,0 +1,90 @@
+/**
+ * Projects an OMK proof-closure result onto the two verdict vocabularies the
+ * AdaptOrch integration already speaks: the Work Packet adjudicator's
+ * five-state `VerdictState` and AdaptOrch VERA's `VerificationDecision`.
+ *
+ * The input is structural on purpose. `omk-adaptorch-wpl` has no
+ * dependencies, so it cannot import `omk-protocol`; `ProofClosureSummary`
+ * names only the fields the projection reads, and `omk-protocol`'s
+ * `ProofClosureResult` satisfies it by shape (pinned by a parity test in the
+ * `open-multi-agent-kit` package, which depends on both).
+ *
+ * Mapping, worst first, in the same order `reduceVerdicts` ranks verdicts:
+ *
+ * | proof result                       | VerdictState     | VERA decision              | causality           |
+ * | ---------------------------------- | ---------------- | -------------------------- | ------------------- |
+ * | evaluation itself failed           | `VERIFIER-ERROR` | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |
+ * | `violated`                         | `CONTRADICTED`   | `REJECT`                   | `CandidateCaused`   |
+ * | `inconclusive`, effects unresolved | `INDETERMINATE`  | `ESCALATE`                 | `Ambiguous`         |
+ * | `inconclusive`, workspace partial  | `INDETERMINATE`  | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |
+ * | `inconclusive`, evidence missing   | `INDETERMINATE`  | `ABSTAIN`                  | `Ambiguous`         |
+ * | `unverified` (no required claims)  | `INDETERMINATE`  | `ABSTAIN`                  | `NotApplicable`     |
+ * | `verified`                         | `CONFIRMED`      | `SHIP`                     | `NotApplicable`     |
+ *
+ * An unresolved effect escalates rather than abstains because nothing short of
+ * an operator or a recovery run can close it; a partial workspace is an
+ * environment limit of the measurement, not a fact about the candidate.
+ * `SHIP` here means the proof closed — it is not a release authorization.
+ */
+export const PROOF_PROJECTION_REASON_CODES = [
+    "proof.evaluation_error",
+    "proof.violated",
+    "proof.effect_frontier_open",
+    "proof.workspace_incomplete",
+    "proof.evidence_missing",
+    "proof.no_required_claims",
+    "proof.verified",
+];
+function projection(verdictState, decision, causality, reasonCode) {
+    return Object.freeze({ verdictState, decision, causality, reasonCode });
+}
+/** The projection for a proof evaluation that threw instead of producing a result. */
+export function projectProofEvaluationFailure() {
+    return projection("VERIFIER-ERROR", "INCONCLUSIVE_ENVIRONMENT", "EnvironmentCaused", "proof.evaluation_error");
+}
+/** Pure, total projection of a closed proof evaluation. */
+export function projectProofClosure(summary) {
+    switch (summary.verdict) {
+        case "verified":
+            return projection("CONFIRMED", "SHIP", "NotApplicable", "proof.verified");
+        case "violated":
+            return projection("CONTRADICTED", "REJECT", "CandidateCaused", "proof.violated");
+        case "unverified":
+            return projection("INDETERMINATE", "ABSTAIN", "NotApplicable", "proof.no_required_claims");
+        case "inconclusive":
+            if (summary.unresolvedEffectIds.length > 0) {
+                return projection("INDETERMINATE", "ESCALATE", "Ambiguous", "proof.effect_frontier_open");
+            }
+            if (summary.workspaceCompleteness !== "complete") {
+                return projection("INDETERMINATE", "INCONCLUSIVE_ENVIRONMENT", "EnvironmentCaused", "proof.workspace_incomplete");
+            }
+            return projection("INDETERMINATE", "ABSTAIN", "Ambiguous", "proof.evidence_missing");
+        default: {
+            const unknownVerdict = summary.verdict;
+            throw new TypeError(`Unknown proof verdict ${String(unknownVerdict)}`);
+        }
+    }
+}
+export function admitVeraOutcome(kind) {
+    switch (kind) {
+        case "PASS":
+            return { admissible: true, polarity: "supports", causality: "NotApplicable" };
+        case "FAIL":
+        case "CANDIDATE_ERROR":
+        case "FLAKY":
+            return { admissible: true, polarity: "violates", causality: "CandidateCaused" };
+        case "ENV_ERROR":
+            return { admissible: false, reason: "environment", causality: "EnvironmentCaused" };
+        case "TIMEOUT":
+            return { admissible: false, reason: "timeout", causality: "Ambiguous" };
+        case "AMBIGUOUS":
+            return { admissible: false, reason: "ambiguous", causality: "Ambiguous" };
+        case "SKIPPED":
+            return { admissible: false, reason: "skipped", causality: "EnvironmentCaused" };
+        default: {
+            const unknownKind = kind;
+            throw new TypeError(`Unknown VERA outcome kind ${String(unknownKind)}`);
+        }
+    }
+}
+//# sourceMappingURL=proof-projection.js.map

package/dist/proof-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-projection.js","sourceRoot":"","sources":["../src/proof-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAiBH,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC5C,wBAAwB;IACxB,gBAAgB;IAChB,4BAA4B;IAC5B,4BAA4B;IAC5B,wBAAwB;IACxB,0BAA0B;IAC1B,gBAAgB;CACP,CAAC;AAUX,SAAS,UAAU,CAClB,YAA0B,EAC1B,QAAkC,EAClC,SAAgC,EAChC,UAAqC,EACnB;IAClB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;AAAA,CACxE;AAED,sFAAsF;AACtF,MAAM,UAAU,6BAA6B,GAAoB;IAChE,OAAO,UAAU,CAAC,gBAAgB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;AAAA,CAC/G;AAED,2DAA2D;AAC3D,MAAM,UAAU,mBAAmB,CAAC,OAA4B,EAAmB;IAClF,QAAQ,OAAO,CAAC,OAAO,EAAE,CAAC;QACzB,KAAK,UAAU;YACd,OAAO,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAC3E,KAAK,UAAU;YACd,OAAO,UAAU,CAAC,cAAc,EAAE,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QAClF,KAAK,YAAY;YAChB,OAAO,UAAU,CAAC,eAAe,EAAE,SAAS,EAAE,eAAe,EAAE,0BAA0B,CAAC,CAAC;QAC5F,KAAK,cAAc;YAClB,IAAI,OAAO,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,OAAO,UAAU,CAAC,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,4BAA4B,CAAC,CAAC;YAC3F,CAAC;YACD,IAAI,OAAO,CAAC,qBAAqB,KAAK,UAAU,EAAE,CAAC;gBAClD,OAAO,UAAU,CAChB,eAAe,EACf,0BAA0B,EAC1B,mBAAmB,EACnB,4BAA4B,CAC5B,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC,eAAe,EAAE,SAAS,EAAE,WAAW,EAAE,wBAAwB,CAAC,CAAC;QACtF,SAAS,CAAC;YACT,MAAM,cAAc,GAAU,OAAO,CAAC,OAAO,CAAC;YAC9C,MAAM,IAAI,SAAS,CAAC,yBAAyB,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;IACF,CAAC;AAAA,CACD;AAuBD,MAAM,UAAU,gBAAgB,CAAC,IAAiC,EAAwB;IACzF,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,MAAM;YACV,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;QAC/E,KAAK,MAAM,CAAC;QACZ,KAAK,iBAAiB,CAAC;QACvB,KAAK,OAAO;YACX,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;QACjF,KAAK,WAAW;YACf,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;QACrF,KAAK,SAAS;YACb,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;QACzE,KAAK,WAAW;YACf,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;QAC3E,KAAK,SAAS;YACb,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;QACjF,SAAS,CAAC;YACT,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,SAAS,CAAC,6BAA6B,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC;IACF,CAAC;AAAA,CACD","sourcesContent":["/**\n * Projects an OMK proof-closure result onto the two verdict vocabularies the\n * AdaptOrch integration already speaks: the Work Packet adjudicator's\n * five-state `VerdictState` and AdaptOrch VERA's `VerificationDecision`.\n *\n * The input is structural on purpose. `omk-adaptorch-wpl` has no\n * dependencies, so it cannot import `omk-protocol`; `ProofClosureSummary`\n * names only the fields the projection reads, and `omk-protocol`'s\n * `ProofClosureResult` satisfies it by shape (pinned by a parity test in the\n * `open-multi-agent-kit` package, which depends on both).\n *\n * Mapping, worst first, in the same order `reduceVerdicts` ranks verdicts:\n *\n * | proof result                       | VerdictState     | VERA decision              | causality           |\n * | ---------------------------------- | ---------------- | -------------------------- | ------------------- |\n * | evaluation itself failed           | `VERIFIER-ERROR` | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |\n * | `violated`                         | `CONTRADICTED`   | `REJECT`                   | `CandidateCaused`   |\n * | `inconclusive`, effects unresolved | `INDETERMINATE`  | `ESCALATE`                 | `Ambiguous`         |\n * | `inconclusive`, workspace partial  | `INDETERMINATE`  | `INCONCLUSIVE_ENVIRONMENT` | `EnvironmentCaused` |\n * | `inconclusive`, evidence missing   | `INDETERMINATE`  | `ABSTAIN`                  | `Ambiguous`         |\n * | `unverified` (no required claims)  | `INDETERMINATE`  | `ABSTAIN`                  | `NotApplicable`     |\n * | `verified`                         | `CONFIRMED`      | `SHIP`                     | `NotApplicable`     |\n *\n * An unresolved effect escalates rather than abstains because nothing short of\n * an operator or a recovery run can close it; a partial workspace is an\n * environment limit of the measurement, not a fact about the candidate.\n * `SHIP` here means the proof closed — it is not a release authorization.\n */\n\nimport type { VerdictState } from \"./adjudicator-registry.ts\";\nimport type {\n\tVeraEvidenceCausality,\n\tVeraVerificationDecision,\n\tVeraVerificationOutcomeKind,\n} from \"./vera-vocabulary.ts\";\n\n/** Structural view of `omk-protocol` `ProofClosureResult`; only what the projection reads. */\nexport interface ProofClosureSummary {\n\treadonly verdict: \"verified\" | \"unverified\" | \"inconclusive\" | \"violated\";\n\treadonly unresolvedEffectIds: readonly string[];\n\treadonly workspaceCompleteness: \"complete\" | \"partial_excluded\" | \"partial_truncated\" | \"unknown\";\n\treadonly blockingClaimIds: readonly string[];\n}\n\nexport const PROOF_PROJECTION_REASON_CODES = [\n\t\"proof.evaluation_error\",\n\t\"proof.violated\",\n\t\"proof.effect_frontier_open\",\n\t\"proof.workspace_incomplete\",\n\t\"proof.evidence_missing\",\n\t\"proof.no_required_claims\",\n\t\"proof.verified\",\n] as const;\nexport type ProofProjectionReasonCode = (typeof PROOF_PROJECTION_REASON_CODES)[number];\n\nexport interface ProofProjection {\n\treadonly verdictState: VerdictState;\n\treadonly decision: VeraVerificationDecision;\n\treadonly causality: VeraEvidenceCausality;\n\treadonly reasonCode: ProofProjectionReasonCode;\n}\n\nfunction projection(\n\tverdictState: VerdictState,\n\tdecision: VeraVerificationDecision,\n\tcausality: VeraEvidenceCausality,\n\treasonCode: ProofProjectionReasonCode,\n): ProofProjection {\n\treturn Object.freeze({ verdictState, decision, causality, reasonCode });\n}\n\n/** The projection for a proof evaluation that threw instead of producing a result. */\nexport function projectProofEvaluationFailure(): ProofProjection {\n\treturn projection(\"VERIFIER-ERROR\", \"INCONCLUSIVE_ENVIRONMENT\", \"EnvironmentCaused\", \"proof.evaluation_error\");\n}\n\n/** Pure, total projection of a closed proof evaluation. */\nexport function projectProofClosure(summary: ProofClosureSummary): ProofProjection {\n\tswitch (summary.verdict) {\n\t\tcase \"verified\":\n\t\t\treturn projection(\"CONFIRMED\", \"SHIP\", \"NotApplicable\", \"proof.verified\");\n\t\tcase \"violated\":\n\t\t\treturn projection(\"CONTRADICTED\", \"REJECT\", \"CandidateCaused\", \"proof.violated\");\n\t\tcase \"unverified\":\n\t\t\treturn projection(\"INDETERMINATE\", \"ABSTAIN\", \"NotApplicable\", \"proof.no_required_claims\");\n\t\tcase \"inconclusive\":\n\t\t\tif (summary.unresolvedEffectIds.length > 0) {\n\t\t\t\treturn projection(\"INDETERMINATE\", \"ESCALATE\", \"Ambiguous\", \"proof.effect_frontier_open\");\n\t\t\t}\n\t\t\tif (summary.workspaceCompleteness !== \"complete\") {\n\t\t\t\treturn projection(\n\t\t\t\t\t\"INDETERMINATE\",\n\t\t\t\t\t\"INCONCLUSIVE_ENVIRONMENT\",\n\t\t\t\t\t\"EnvironmentCaused\",\n\t\t\t\t\t\"proof.workspace_incomplete\",\n\t\t\t\t);\n\t\t\t}\n\t\t\treturn projection(\"INDETERMINATE\", \"ABSTAIN\", \"Ambiguous\", \"proof.evidence_missing\");\n\t\tdefault: {\n\t\t\tconst unknownVerdict: never = summary.verdict;\n\t\t\tthrow new TypeError(`Unknown proof verdict ${String(unknownVerdict)}`);\n\t\t}\n\t}\n}\n\n/**\n * How one VERA verifier outcome enters the OMK claim graph as a witness.\n *\n * `PASS` supports. `FAIL`, `CANDIDATE_ERROR`, and `FLAKY` violate: an observed\n * assertion failure is never erased by a later pass (plan §10.9). Environment\n * outcomes are inadmissible — they neither support nor violate, so the claim\n * stays `missing` and the closure abstains or reports an environment limit\n * instead of laundering an outage into either verdict.\n */\nexport type VeraOutcomeAdmission =\n\t| {\n\t\t\treadonly admissible: true;\n\t\t\treadonly polarity: \"supports\" | \"violates\";\n\t\t\treadonly causality: VeraEvidenceCausality;\n\t  }\n\t| {\n\t\t\treadonly admissible: false;\n\t\t\treadonly reason: \"environment\" | \"timeout\" | \"ambiguous\" | \"skipped\";\n\t\t\treadonly causality: VeraEvidenceCausality;\n\t  };\n\nexport function admitVeraOutcome(kind: VeraVerificationOutcomeKind): VeraOutcomeAdmission {\n\tswitch (kind) {\n\t\tcase \"PASS\":\n\t\t\treturn { admissible: true, polarity: \"supports\", causality: \"NotApplicable\" };\n\t\tcase \"FAIL\":\n\t\tcase \"CANDIDATE_ERROR\":\n\t\tcase \"FLAKY\":\n\t\t\treturn { admissible: true, polarity: \"violates\", causality: \"CandidateCaused\" };\n\t\tcase \"ENV_ERROR\":\n\t\t\treturn { admissible: false, reason: \"environment\", causality: \"EnvironmentCaused\" };\n\t\tcase \"TIMEOUT\":\n\t\t\treturn { admissible: false, reason: \"timeout\", causality: \"Ambiguous\" };\n\t\tcase \"AMBIGUOUS\":\n\t\t\treturn { admissible: false, reason: \"ambiguous\", causality: \"Ambiguous\" };\n\t\tcase \"SKIPPED\":\n\t\t\treturn { admissible: false, reason: \"skipped\", causality: \"EnvironmentCaused\" };\n\t\tdefault: {\n\t\t\tconst unknownKind: never = kind;\n\t\t\tthrow new TypeError(`Unknown VERA outcome kind ${String(unknownKind)}`);\n\t\t}\n\t}\n}\n"]}

package/dist/vera-vocabulary.d.ts

@@ -0,0 +1,35 @@
+/**
+ * AdaptOrch VERA vocabulary, mirrored from the engine's exported enums.
+ *
+ * Source of truth: the `StrEnum` classes in `adaptorch.vera_types`
+ * (`VerificationOutcomeKind`, `EvidenceCausality`, `EvidenceSeverity`,
+ * `VerificationDecision`, `DriftStatus`), read at engine revision
+ * `81b5fb2fe` on 2026-09-04. `test/vera-vocabulary-parity.test.ts` re-reads
+ * the engine source whenever a checkout is available (`ADAPTORCH_SOURCE`,
+ * default `/home/yu/projects/adaptorch`), so a value added or renamed on the
+ * engine side fails here instead of drifting silently. These arrays are the
+ * only place the values are written down on the OMK side; every guard and
+ * projection in this package derives from them.
+ *
+ * What a VERA decision is not: `SHIP` is a provenance-bearing classification
+ * of verifier evidence, never a release authorization or a correctness proof.
+ */
+/** Per-verifier outcome classification; candidate failures stay separate from environment failures. */
+export declare const VERA_VERIFICATION_OUTCOME_KINDS: readonly ["PASS", "FAIL", "ENV_ERROR", "CANDIDATE_ERROR", "TIMEOUT", "FLAKY", "AMBIGUOUS", "SKIPPED"];
+export type VeraVerificationOutcomeKind = (typeof VERA_VERIFICATION_OUTCOME_KINDS)[number];
+/** Who is responsible for a piece of evidence. */
+export declare const VERA_EVIDENCE_CAUSALITIES: readonly ["CandidateCaused", "EnvironmentCaused", "Ambiguous", "NotApplicable"];
+export type VeraEvidenceCausality = (typeof VERA_EVIDENCE_CAUSALITIES)[number];
+export declare const VERA_EVIDENCE_SEVERITIES: readonly ["critical", "major", "minor", "informational"];
+export type VeraEvidenceSeverity = (typeof VERA_EVIDENCE_SEVERITIES)[number];
+/** Final decision; `ABSTAIN` and `ESCALATE` are first-class results and never fold into `REJECT`. */
+export declare const VERA_VERIFICATION_DECISIONS: readonly ["SHIP", "REJECT", "ABSTAIN", "ESCALATE", "INCONCLUSIVE_ENVIRONMENT"];
+export type VeraVerificationDecision = (typeof VERA_VERIFICATION_DECISIONS)[number];
+export declare const VERA_DRIFT_STATUSES: readonly ["VALID", "DEGRADED", "STALE", "INVALID"];
+export type VeraDriftStatus = (typeof VERA_DRIFT_STATUSES)[number];
+export declare const isVeraVerificationOutcomeKind: (value: unknown) => value is "AMBIGUOUS" | "CANDIDATE_ERROR" | "ENV_ERROR" | "FAIL" | "FLAKY" | "PASS" | "SKIPPED" | "TIMEOUT";
+export declare const isVeraEvidenceCausality: (value: unknown) => value is "Ambiguous" | "CandidateCaused" | "EnvironmentCaused" | "NotApplicable";
+export declare const isVeraEvidenceSeverity: (value: unknown) => value is "critical" | "informational" | "major" | "minor";
+export declare const isVeraVerificationDecision: (value: unknown) => value is "ABSTAIN" | "ESCALATE" | "INCONCLUSIVE_ENVIRONMENT" | "REJECT" | "SHIP";
+export declare const isVeraDriftStatus: (value: unknown) => value is "DEGRADED" | "INVALID" | "STALE" | "VALID";
+//# sourceMappingURL=vera-vocabulary.d.ts.map

package/dist/vera-vocabulary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vera-vocabulary.d.ts","sourceRoot":"","sources":["../src/vera-vocabulary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,uGAAuG;AACvG,eAAO,MAAM,+BAA+B,uGASlC,CAAC;AACX,MAAM,MAAM,2BAA2B,GAAG,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3F,kDAAkD;AAClD,eAAO,MAAM,yBAAyB,iFAK5B,CAAC;AACX,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/E,eAAO,MAAM,wBAAwB,0DAA2D,CAAC;AACjG,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,qGAAqG;AACrG,eAAO,MAAM,2BAA2B,gFAM9B,CAAC;AACX,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpF,eAAO,MAAM,mBAAmB,oDAAqD,CAAC;AACtF,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAOnE,eAAO,MAAM,6BAA6B,gIAA4C,CAAC;AACvF,eAAO,MAAM,uBAAuB,sGAAsC,CAAC;AAC3E,eAAO,MAAM,sBAAsB,+EAAqC,CAAC;AACzE,eAAO,MAAM,0BAA0B,sGAAwC,CAAC;AAChF,eAAO,MAAM,iBAAiB,yEAAgC,CAAC","sourcesContent":["/**\n * AdaptOrch VERA vocabulary, mirrored from the engine's exported enums.\n *\n * Source of truth: the `StrEnum` classes in `adaptorch.vera_types`\n * (`VerificationOutcomeKind`, `EvidenceCausality`, `EvidenceSeverity`,\n * `VerificationDecision`, `DriftStatus`), read at engine revision\n * `81b5fb2fe` on 2026-09-04. `test/vera-vocabulary-parity.test.ts` re-reads\n * the engine source whenever a checkout is available (`ADAPTORCH_SOURCE`,\n * default `/home/yu/projects/adaptorch`), so a value added or renamed on the\n * engine side fails here instead of drifting silently. These arrays are the\n * only place the values are written down on the OMK side; every guard and\n * projection in this package derives from them.\n *\n * What a VERA decision is not: `SHIP` is a provenance-bearing classification\n * of verifier evidence, never a release authorization or a correctness proof.\n */\n\n/** Per-verifier outcome classification; candidate failures stay separate from environment failures. */\nexport const VERA_VERIFICATION_OUTCOME_KINDS = [\n\t\"PASS\",\n\t\"FAIL\",\n\t\"ENV_ERROR\",\n\t\"CANDIDATE_ERROR\",\n\t\"TIMEOUT\",\n\t\"FLAKY\",\n\t\"AMBIGUOUS\",\n\t\"SKIPPED\",\n] as const;\nexport type VeraVerificationOutcomeKind = (typeof VERA_VERIFICATION_OUTCOME_KINDS)[number];\n\n/** Who is responsible for a piece of evidence. */\nexport const VERA_EVIDENCE_CAUSALITIES = [\n\t\"CandidateCaused\",\n\t\"EnvironmentCaused\",\n\t\"Ambiguous\",\n\t\"NotApplicable\",\n] as const;\nexport type VeraEvidenceCausality = (typeof VERA_EVIDENCE_CAUSALITIES)[number];\n\nexport const VERA_EVIDENCE_SEVERITIES = [\"critical\", \"major\", \"minor\", \"informational\"] as const;\nexport type VeraEvidenceSeverity = (typeof VERA_EVIDENCE_SEVERITIES)[number];\n\n/** Final decision; `ABSTAIN` and `ESCALATE` are first-class results and never fold into `REJECT`. */\nexport const VERA_VERIFICATION_DECISIONS = [\n\t\"SHIP\",\n\t\"REJECT\",\n\t\"ABSTAIN\",\n\t\"ESCALATE\",\n\t\"INCONCLUSIVE_ENVIRONMENT\",\n] as const;\nexport type VeraVerificationDecision = (typeof VERA_VERIFICATION_DECISIONS)[number];\n\nexport const VERA_DRIFT_STATUSES = [\"VALID\", \"DEGRADED\", \"STALE\", \"INVALID\"] as const;\nexport type VeraDriftStatus = (typeof VERA_DRIFT_STATUSES)[number];\n\nfunction memberOf<const T extends readonly string[]>(values: T): (value: unknown) => value is T[number] {\n\tconst set: ReadonlySet<string> = new Set(values);\n\treturn (value: unknown): value is T[number] => typeof value === \"string\" && set.has(value);\n}\n\nexport const isVeraVerificationOutcomeKind = memberOf(VERA_VERIFICATION_OUTCOME_KINDS);\nexport const isVeraEvidenceCausality = memberOf(VERA_EVIDENCE_CAUSALITIES);\nexport const isVeraEvidenceSeverity = memberOf(VERA_EVIDENCE_SEVERITIES);\nexport const isVeraVerificationDecision = memberOf(VERA_VERIFICATION_DECISIONS);\nexport const isVeraDriftStatus = memberOf(VERA_DRIFT_STATUSES);\n"]}

package/dist/vera-vocabulary.js

@@ -0,0 +1,54 @@
+/**
+ * AdaptOrch VERA vocabulary, mirrored from the engine's exported enums.
+ *
+ * Source of truth: the `StrEnum` classes in `adaptorch.vera_types`
+ * (`VerificationOutcomeKind`, `EvidenceCausality`, `EvidenceSeverity`,
+ * `VerificationDecision`, `DriftStatus`), read at engine revision
+ * `81b5fb2fe` on 2026-09-04. `test/vera-vocabulary-parity.test.ts` re-reads
+ * the engine source whenever a checkout is available (`ADAPTORCH_SOURCE`,
+ * default `/home/yu/projects/adaptorch`), so a value added or renamed on the
+ * engine side fails here instead of drifting silently. These arrays are the
+ * only place the values are written down on the OMK side; every guard and
+ * projection in this package derives from them.
+ *
+ * What a VERA decision is not: `SHIP` is a provenance-bearing classification
+ * of verifier evidence, never a release authorization or a correctness proof.
+ */
+/** Per-verifier outcome classification; candidate failures stay separate from environment failures. */
+export const VERA_VERIFICATION_OUTCOME_KINDS = [
+    "PASS",
+    "FAIL",
+    "ENV_ERROR",
+    "CANDIDATE_ERROR",
+    "TIMEOUT",
+    "FLAKY",
+    "AMBIGUOUS",
+    "SKIPPED",
+];
+/** Who is responsible for a piece of evidence. */
+export const VERA_EVIDENCE_CAUSALITIES = [
+    "CandidateCaused",
+    "EnvironmentCaused",
+    "Ambiguous",
+    "NotApplicable",
+];
+export const VERA_EVIDENCE_SEVERITIES = ["critical", "major", "minor", "informational"];
+/** Final decision; `ABSTAIN` and `ESCALATE` are first-class results and never fold into `REJECT`. */
+export const VERA_VERIFICATION_DECISIONS = [
+    "SHIP",
+    "REJECT",
+    "ABSTAIN",
+    "ESCALATE",
+    "INCONCLUSIVE_ENVIRONMENT",
+];
+export const VERA_DRIFT_STATUSES = ["VALID", "DEGRADED", "STALE", "INVALID"];
+function memberOf(values) {
+    const set = new Set(values);
+    return (value) => typeof value === "string" && set.has(value);
+}
+export const isVeraVerificationOutcomeKind = memberOf(VERA_VERIFICATION_OUTCOME_KINDS);
+export const isVeraEvidenceCausality = memberOf(VERA_EVIDENCE_CAUSALITIES);
+export const isVeraEvidenceSeverity = memberOf(VERA_EVIDENCE_SEVERITIES);
+export const isVeraVerificationDecision = memberOf(VERA_VERIFICATION_DECISIONS);
+export const isVeraDriftStatus = memberOf(VERA_DRIFT_STATUSES);
+//# sourceMappingURL=vera-vocabulary.js.map

package/dist/vera-vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vera-vocabulary.js","sourceRoot":"","sources":["../src/vera-vocabulary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,uGAAuG;AACvG,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC9C,MAAM;IACN,MAAM;IACN,WAAW;IACX,iBAAiB;IACjB,SAAS;IACT,OAAO;IACP,WAAW;IACX,SAAS;CACA,CAAC;AAGX,kDAAkD;AAClD,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACxC,iBAAiB;IACjB,mBAAmB;IACnB,WAAW;IACX,eAAe;CACN,CAAC;AAGX,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;AAGjG,qGAAqG;AACrG,MAAM,CAAC,MAAM,2BAA2B,GAAG;IAC1C,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;IACV,0BAA0B;CACjB,CAAC;AAGX,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AAGtF,SAAS,QAAQ,CAAoC,MAAS,EAA0C;IACvG,MAAM,GAAG,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACjD,OAAO,CAAC,KAAc,EAAsB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAAA,CAC3F;AAED,MAAM,CAAC,MAAM,6BAA6B,GAAG,QAAQ,CAAC,+BAA+B,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,uBAAuB,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;AACzE,MAAM,CAAC,MAAM,0BAA0B,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAAC;AAChF,MAAM,CAAC,MAAM,iBAAiB,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC","sourcesContent":["/**\n * AdaptOrch VERA vocabulary, mirrored from the engine's exported enums.\n *\n * Source of truth: the `StrEnum` classes in `adaptorch.vera_types`\n * (`VerificationOutcomeKind`, `EvidenceCausality`, `EvidenceSeverity`,\n * `VerificationDecision`, `DriftStatus`), read at engine revision\n * `81b5fb2fe` on 2026-09-04. `test/vera-vocabulary-parity.test.ts` re-reads\n * the engine source whenever a checkout is available (`ADAPTORCH_SOURCE`,\n * default `/home/yu/projects/adaptorch`), so a value added or renamed on the\n * engine side fails here instead of drifting silently. These arrays are the\n * only place the values are written down on the OMK side; every guard and\n * projection in this package derives from them.\n *\n * What a VERA decision is not: `SHIP` is a provenance-bearing classification\n * of verifier evidence, never a release authorization or a correctness proof.\n */\n\n/** Per-verifier outcome classification; candidate failures stay separate from environment failures. */\nexport const VERA_VERIFICATION_OUTCOME_KINDS = [\n\t\"PASS\",\n\t\"FAIL\",\n\t\"ENV_ERROR\",\n\t\"CANDIDATE_ERROR\",\n\t\"TIMEOUT\",\n\t\"FLAKY\",\n\t\"AMBIGUOUS\",\n\t\"SKIPPED\",\n] as const;\nexport type VeraVerificationOutcomeKind = (typeof VERA_VERIFICATION_OUTCOME_KINDS)[number];\n\n/** Who is responsible for a piece of evidence. */\nexport const VERA_EVIDENCE_CAUSALITIES = [\n\t\"CandidateCaused\",\n\t\"EnvironmentCaused\",\n\t\"Ambiguous\",\n\t\"NotApplicable\",\n] as const;\nexport type VeraEvidenceCausality = (typeof VERA_EVIDENCE_CAUSALITIES)[number];\n\nexport const VERA_EVIDENCE_SEVERITIES = [\"critical\", \"major\", \"minor\", \"informational\"] as const;\nexport type VeraEvidenceSeverity = (typeof VERA_EVIDENCE_SEVERITIES)[number];\n\n/** Final decision; `ABSTAIN` and `ESCALATE` are first-class results and never fold into `REJECT`. */\nexport const VERA_VERIFICATION_DECISIONS = [\n\t\"SHIP\",\n\t\"REJECT\",\n\t\"ABSTAIN\",\n\t\"ESCALATE\",\n\t\"INCONCLUSIVE_ENVIRONMENT\",\n] as const;\nexport type VeraVerificationDecision = (typeof VERA_VERIFICATION_DECISIONS)[number];\n\nexport const VERA_DRIFT_STATUSES = [\"VALID\", \"DEGRADED\", \"STALE\", \"INVALID\"] as const;\nexport type VeraDriftStatus = (typeof VERA_DRIFT_STATUSES)[number];\n\nfunction memberOf<const T extends readonly string[]>(values: T): (value: unknown) => value is T[number] {\n\tconst set: ReadonlySet<string> = new Set(values);\n\treturn (value: unknown): value is T[number] => typeof value === \"string\" && set.has(value);\n}\n\nexport const isVeraVerificationOutcomeKind = memberOf(VERA_VERIFICATION_OUTCOME_KINDS);\nexport const isVeraEvidenceCausality = memberOf(VERA_EVIDENCE_CAUSALITIES);\nexport const isVeraEvidenceSeverity = memberOf(VERA_EVIDENCE_SEVERITIES);\nexport const isVeraVerificationDecision = memberOf(VERA_VERIFICATION_DECISIONS);\nexport const isVeraDriftStatus = memberOf(VERA_DRIFT_STATUSES);\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "omk-adaptorch-wpl",
-	"version": "0.98.2",
+	"version": "0.98.3",
 	"description": "AdaptOrch-native Work Packet Loop (WPL) — state machine, verification layer, and integration bridge for OMK orchestration.",
 	"type": "module",
 	"main": "./dist/index.js",
@@ -14,7 +14,8 @@
 	},
 	"files": [
 		"dist",
-		"README.md"
+		"README.md",
+		"CHANGELOG.md"
 	],
 	"scripts": {
 		"clean": "shx rm -rf dist",