WorldCut

WorldCut verifies whether observations from independent systems satisfy the specific version and time relationships required for a decision.

Install the package:

npm install worldcut

It takes a versioned verification input containing:

1. Observations with resource identity, version, validity, and dependency metadata.
2. A decision contract that states which relationships must hold.

It returns one of three verdicts:

CONTRACT_SATISFIED
CONTRACT_VIOLATED
INSUFFICIENT_EVIDENCE

WorldCut does not decide what the contract should be, infer missing relationships, or claim that a provider is truthful. It evaluates the declared contract deterministically.

Production status

WorldCut 0.1 is supported for deterministic decision gating when the documented metadata, clock, identity, and trusted-process assumptions hold. It fails closed when required evidence is absent.

It is not a general security boundary or a substitute for provider authentication, signed provenance, or transactional effect execution. Review docs/PRODUCTION.md before using a satisfied verdict to authorize a production side effect.

Demonstrated package, GitHub integration, and benchmark evidence is summarized in docs/VALIDATION.md.

Run the examples

git clone https://github.com/Jason-Doyle/WorldCut.git
cd WorldCut
npm ci
npm run examples

Output:

Fixture                     Verdict
--------------------------  ---------------------
coherent-deployment.json    CONTRACT_SATISFIED
git-ci-mismatch.json        CONTRACT_VIOLATED
temporal-gap.json           CONTRACT_VIOLATED
missing-evidence.json       INSUFFICIENT_EVIDENCE

Run one verification:

npm run verify -- examples/git-ci-mismatch.json

Use --require-satisfied in automation. It exits with code 2 when the contract is violated or evidence is insufficient:

npm run verify -- examples/coherent-deployment.json --require-satisfied

What problem does this solve?

An agent can combine individually correct responses into a conclusion that the responses do not support.

sequenceDiagram
    participant G as GitHub
    participant C as CI
    participant A as Agent
    participant W as WorldCut

    G-->>A: Current branch head = commit-B
    C-->>A: PASS, tested head = commit-A
    A->>W: Observations + deployment contract
    W-->>A: CONTRACT_VIOLATED<br/>commit-A != commit-B
    A--xG: Deployment is not authorized

Nothing in either provider response is necessarily false:

• the branch currently points to commit-B;
• the CI run really passed;
• that CI run tested commit-A.

The unsupported step is joining those facts into “commit-B passed CI.”

Ordinary freshness checks cannot detect that error. Exact dependency checking can detect this example, but it cannot express every relationship a decision may require, such as whether conditions from independent providers were valid at a common time.

How WorldCut fits into a decision path

flowchart LR
    G["GitHub<br/>head = commit-B"] --> O["Named observations"]
    C["CI<br/>PASS(commit-A)"] --> O
    P["Pricing<br/>quote validity"] --> O
    A["Approval service<br/>approval validity"] --> O

    D["Decision contract<br/>required relationships"] --> V["WorldCut verifier"]
    O --> V

    V --> S["CONTRACT_SATISFIED<br/>decision may continue"]
    V --> X["CONTRACT_VIOLATED<br/>known mismatch"]
    V --> U["INSUFFICIENT_EVIDENCE<br/>required metadata missing"]

WorldCut evaluates only the selected observations and contract. It does not fetch every provider itself or maintain a global database snapshot.

Verification model

1. Bind observations to named roles

Contracts refer to roles such as head, ci, approval, and quote. At most one observation may be bound to a role. If a required role has no observation, its requirement is UNKNOWN and the aggregate verdict is INSUFFICIENT_EVIDENCE.

Each resource identity has four independently compared components:

provider + account + kind + key

This prevents a version from one repository, tenant, or provider from being treated as a version of another resource.

2. Evaluate each requirement

WorldCut 0.1 supports three requirement types.

Every required check returns:

3. Aggregate conservatively

flowchart TD
    R["Evaluate all required requirements"] --> V{"Any VIOLATED?"}
    V -- Yes --> CV["CONTRACT_VIOLATED"]
    V -- No --> U{"Any UNKNOWN?"}
    U -- Yes --> IE["INSUFFICIENT_EVIDENCE"]
    U -- No --> CS["CONTRACT_SATISFIED"]

An unknown requirement never becomes implicit permission.

4. Produce an auditable result

The result contains:

• requirement-level statuses and explanations;
• coverage counts;
• bounded acquisition options for missing or mismatched evidence;
• a deterministic digest of the verification record.

The acquisition plan identifies evidence that could be refreshed or acquired. It is not a guarantee that refreshing the world will make the contract pass. The digest detects record changes; it is not a digital signature.

Concrete example: wrong CI revision

The contract requires the CI observation to identify the same branch-head version selected for deployment:

{
  "id": "ci-tested-current-head",
  "type": "dependency",
  "description": "The passing CI run tested the selected branch head",
  "dependentRole": "ci",
  "targetRole": "head",
  "dependencyName": "tested_head"
}

The selected observations say:

head.witness.version                 = commit-B
ci.witness.dependencies.tested_head = commit-A

Relevant fields from the CLI output:

{
  "contractId": "deploy-current-tested-head",
  "verdict": "CONTRACT_VIOLATED",
  "coverage": {
    "required": 1,
    "satisfied": 0,
    "violated": 1,
    "unknown": 0,
    "advisory": 0
  },
  "requirements": [
    {
      "id": "ci-tested-current-head",
      "status": "VIOLATED",
      "summary": "The passing CI run tested the selected branch head: commit-A does not equal commit-B."
    }
  ]
}

Run it:

npm run verify -- examples/git-ci-mismatch.json

Concrete example: fresh records that never coexisted

The approval and quote are both fetched immediately before the decision, but their declared valid intervals do not overlap:

flowchart LR
    A["Approval valid<br/>17:55:00.000 - 17:58:00.000"] --> N["No common valid instant"]
    Q["Quote valid<br/>17:58:00.001 - 18:03:00.000"] --> N
    N --> R["CONTRACT_VIOLATED"]

A TTL check sees two fresh reads and passes. WorldCut evaluates the contract's common_valid_time requirement and rejects the decision.

npm run verify -- examples/temporal-gap.json

Concrete example: missing dependency metadata

The CI provider says the run passed but does not identify which revision it tested. WorldCut cannot prove a mismatch, but it also cannot authorize the deployment. Relevant output:

{
  "verdict": "INSUFFICIENT_EVIDENCE",
  "requirements": [
    {
      "id": "ci-tested-current-head",
      "status": "UNKNOWN",
      "summary": "ci does not expose dependency tested_head."
    }
  ]
}

npm run verify -- examples/missing-evidence.json

Concrete example: satisfied release evidence

examples/coherent-deployment.json combines all three supported requirement types:

• the CI run is bound to commit-B, which is the selected branch head;
• the CI status equals passed;
• the approval and quote share a valid time inside the decision window.

npm run verify -- examples/coherent-deployment.json --require-satisfied

The result is CONTRACT_SATISFIED.

What WorldCut checks—and what it does not

Metadata adapters

The included adapters capture native resource-version material:

These adapters do not manufacture dependency or validity relationships that a provider does not expose.

npm run feasibility

Set WORLDCUT_SAMPLE_GIT_REPO to inspect another local Git repository.

GitHub Actions deployment gate

The package includes a production-oriented gate for the latest completed push run of an exact workflow file or workflow ID:

worldcut-github-ci \
  --repository acme/payments \
  --branch main \
  --workflow ci.yml

The gate verifies both:

• the latest completed run concluded with success;
• its head_sha equals the branch head observed after the run lookup.

On success it returns verifiedSha. Deployment code must consume that exact SHA or an immutable artifact built from it—never re-resolve the branch name.

In GitHub Actions the CLI writes verified_sha and workflow_run_id to GITHUB_OUTPUT. See examples/github-actions/deployment-gate.yml and docs/INTEGRATIONS.md.

Agentic Data Kernel

observationFromAgenticDataResolution converts an eligible Agentic Data Kernel resolution into a WorldCut observation without adding a runtime package dependency.

The adapter rejects unresolved conflicts, inactive assertions, assertions outside the selected system or valid time, and cross-tenant resource claims. See docs/AGENTIC_DATA_KERNEL.md for the namespaced basis.worldcut contract and effect-gating guidance.

JSON Schemas

Immutable protocol 0.1 schemas are published with the package:

worldcut/schemas/0.1/verification-input.json
worldcut/schemas/0.1/verification-result.json

Schema validation checks the transport shape. Runtime verification remains required for invariants such as unique role bindings, interval ordering, and observation timing.

CLI

Usage: worldcut <verification.json> [options]

Options:
  --full               Print the complete verification result
  --require-satisfied  Exit with code 2 unless the contract is satisfied
  --help               Show help

Through npm:

npm run verify -- examples/git-ci-mismatch.json --full

Exit codes:

Errors use a stable JSON envelope on stderr:

{"error":{"code":"WORLDCUT_INVALID_INPUT","message":"..."}}

Evaluation

The repository includes an independent event-history simulator and comparison strategies for latest-value selection, TTL freshness, permissive and strict dependency checks, and equivalent hand-written predicates.

Across 16,000 generated decisions:

• WorldCut produced no false authorizations with complete, truthful metadata;
• it authorized every safe complete-metadata case;
• strict dependency-only validation still authorized 676 and 976 unsafe cases in the two complete-metadata profiles because it ignored the scoped temporal requirement;
• equivalent hand-written predicates produced exactly the same verdicts as WorldCut;
• weak metadata caused 3,505 abstentions in 4,000 trials.

The result supports a limited claim: freshness and exact dependency checks do not express every cross-service compatibility requirement. It does not prove that WorldCut is better than equivalent application code, that production APIs expose enough metadata, or that the acquisition planner lowers operational cost.

npm run benchmark

Detailed generated results are written to benchmark/ and excluded from version control.

Development

Requires Node.js 22.19 or newer.

npm ci
npm run check
npm run examples
npm run benchmark

The project uses the Node.js test runner and has no runtime dependencies.

Protocol details and runtime assumptions are documented in docs/PROTOCOL.md. Production deployment requirements are documented in docs/PRODUCTION.md.

Scope

WorldCut has a deliberately narrow production contract. It is not:

• a distributed transaction manager;
• a source-of-truth database;
• a cryptographic attestation system;
• a same-process JavaScript security boundary;
• proof that provider metadata is complete or truthful.

Contributing

See CONTRIBUTING.md. Security reports should follow SECURITY.md.

License

Apache License 2.0.