orchestrata_ultimate.factory.assumptions
Reference › orchestrata_ultimate › factory › assumptions › init
Package marker for the assumption ledger and arbiter cascade (SPEC-033 REQ-033-C1, Phase 0). It defines no code of its own; see the package page for the modules.
At a glance
| Source | src/orchestrata_ultimate/factory/assumptions/__init__.py |
| Lines of code | 27 |
| Classes | 0 |
| Functions | 0 |
| Imports (internal) | none |
| Imported by | none |
| Tests that import it | none |
Class diagram
No classes; see Functions.
Dependency diagram
No internal imports and no importers.
API
No public API: the module defines no classes, functions or constants.
Source
"""Assumption ledger + arbiter cascade (SPEC-033 REQ-033-C1, Phase 0).
Before build, the executing model enumerates every assumption it must make to
proceed. Each assumption is either matched to a pinning artifact (AC / anchor
/ ADR / promoted adjudication) or raised as a blocking question — the model
never issues a verdict on its own assumptions (ADR-0024).
Phase-0 scope (spec §9) is **standalone**: no graph, no Prolog, no gate. This
package is file-based (JSONL) persistence behind ``KBProtocol`` so a
graph-backed store can replace it at task B4a, after a canonical-schema
extension (ontology-first — never before).
Modules
-------
models Data model: ``Pinning``, ``Assumption``, ``Adjudication``, ...
ledger ``AssumptionLedger`` (JSONL) + ``ProjectKB`` (``KBProtocol``,
``FileProjectKB``).
sources Pinning-artifact sources: ``AcSource``, ``AdrSource``,
``KbSource``.
prefilter Stage 1 — deterministic lexical/structural pre-filter.
adjudicator Stage 2 — independent-tier adjudication (``LlmAdjudicator``).
cascade ``ArbiterCascade`` — the deterministic stage-combination rules
and ``human_adjudicate`` (stage 3).
dor ``check_dor`` — AC-033-C1-02 Definition-of-Ready check.
"""
from __future__ import annotations