fiber-decision-context

FIBER decision contexts

FIBER compiles a world (typed facts + factors) and a query into a Decision Section plus a Context Certificate — a receipt stating exactly what was omitted and whether it could have changed the decision. Omissions are reported at every layer: layering hides volume, never the fact of an omission.

Where things are

• Checkout: $AURORA_AGENT_ROOT → ~/aurora-agent → ~/bioprism.
• CLI: <root>/target/release/bioprism(.exe); run from the checkout root.
• MCP tools (if the aurora-backend plugin is installed): fiber_compile, fiber_refine, fiber_explain, fiber_verify, context_compare, world_validate — same Rust implementation as the CLI.
• Reference fixtures: world fixtures/fiber-v0.1/radiogenomic_world.json, query fixtures/fiber-v0.1/leakage_query.json. On this pair the reference certificate digest is c0da17ffc80465258345c8a538171bfd868100cd883e9a20780a0dc5477e7ea4 — a checkable expectation: three independent implementations (CPython, eager Rust, indexed store) agree on it byte for byte.

The workflow

1. Validate the world (world validate --world W; no --query flag).
2. Explain the plan (context explain) — always surface the passes that did NOT run with their verbatim reasons, and the omission manifest.
3. Compile (context compile [--certificate-out C]). The oracle status invalid means the oracle found integrity violations in the data (e.g. identity/site/temporal/preprocessing leakage) — that is the finding, not a failure. Report witnesses verbatim.
4. Layer via MCP fiber_compile with layer: L0..L4 — L0 is the smallest honest layer (~200 estimated tokens on the reference pair vs ~1,900 full); each result carries a content-addressed refinement handle for fiber_refine. estimated_tokens.method self-discloses that it is a heuristic, not a tokenizer — quote it when reporting token numbers.
5. Compare (context compare) — judge strategies by verdict_preserving, never by status alone: a "valid" from a non-preserving strategy is a FALSE verdict. Report cheapest_admissible_strategy verbatim even when it is a baseline (on the reference pair it is graph-5-hop — an honest negative the project publishes deliberately).
6. Verify (context verify --certificate C) — certificates verify without the engine that produced them.