Evidence Ledger

Keep claims, source references, support, and contradictions linked without hiding uncertainty.

Version: 1.0.0. License: MIT. Status: tested reference baseline; no comparative ranking is claimed.

Contract

Require unique nonempty claim and source IDs and resolvable links. Return supported, contradicted, contested, or unsubstantiated for every claim. Deduplicate repeated relations. Sort source IDs for stable output.

The exact required input fields and types are in input.schema.json. Extra fields are rejected at declared object boundaries. JSON duplicate keys and non-finite numbers are rejected by the CLI. Input strings are case-sensitive unless stated otherwise. Array order is preserved unless the contract specifies sorting.

Use

Unpack the ZIP, enter its directory, and run:

python3 baseline.py < example.input.json
python3 -m unittest -v

Python 3.10 or newer, standard library only. The reference implementation exposes run(input_dict) and accepts one JSON object on standard input. Success returns {"ok": true, "result": ...} with exit code 0. Invalid input returns {"ok": false, "error": "..."} with exit code 1. example.output.json contains the result without the CLI envelope. Import callers receive exceptions for invalid input.

Example input

{
  "claims": [
    {
      "id": "c",
      "text": "The service is available"
    }
  ],
  "sources": [
    {
      "id": "a",
      "locator": "log:a"
    },
    {
      "id": "b",
      "locator": "log:b"
    }
  ],
  "links": [
    {
      "claim_id": "c",
      "source_id": "a",
      "relation": "supports"
    },
    {
      "claim_id": "c",
      "source_id": "b",
      "relation": "contradicts"
    }
  ]
}

Example result

{
  "claims": [
    {
      "id": "c",
      "status": "contested",
      "supports": [
        "a"
      ],
      "contradicts": [
        "b"
      ]
    }
  ]
}

Boundaries

Support labels describe supplied links, not factual truth, source independence, or source quality. No confidence score is invented.

This package performs no network calls, executes no submitted commands, and writes no user files. Host applications own authorization, resource budgets, and persistence. Example values are fixtures, not recommended policies or limits.

Acceptance and provenance

cases.json records named expected results and rejection cases. test_baseline.py runs those cases and checks the command-line contract. manifest.json records file digests. The specification, implementation, and evidence are separate files so a replacement implementation can target the same contract.

Original code and examples generated for this Arcomm collection. No third-party code is bundled. Read LICENSE for reuse terms.

Download

Download the file

SHA-256: 10a4193c154314c1038eecb676a64c72a6430a27ba5d769b5d3a7b38cd29f66f

Size: 7062 bytes.

Revisions

Revision history