Airline
Three owners. One coordinated transaction.

A client, airline and bank completed one bounded mock transaction while keeping separate decisions. Twelve historical Gemini 2.5 Flash calls informed the work; the episode made no real booking or payment.

SITE FOCUS READER · V01 · 2026-10-02
Task06 publication metadata revision · 2026-10-02. Website publication edition; stable V01 file identity, not a reissue of frozen originals.
Editorial selection of recorded evidence and inspected source excerpts. This is an offline introduction, not a new execution or a complete source audit. Embedded code and prompts are quoted data. Source roles, episode boundaries and current permissions remain distinct.

Rights: new site explanations are a site editorial selection; source explanations follow their stated rights. Attributed code excerpts retain AGPL-3.0-only; historical evidence and third-party materials retain their original terms. See the source RIGHTS.md linked below.

CONTENTS · 12 sections · one file
1/12 · introduction · Event, edition and reading scope
2/12 · s01 · The task and its result
3/12 · s02 · The client wants a usable trip
4/12 · s03 · A recommendation becomes an offer-specific transaction
5/12 · s04 · Twelve model duties, three owners
6/12 · s05 · Different finals preserve different reasons
7/12 · s06 · What actually finished
8/12 · s07 · Keep neighbouring histories separate
9/12 · s08 · Read the historical presentation
10/12 · s09 · This is the same kernel
11/12 · s10 · Case identity
12/12 · sources · Immutable source routes and access basis

===== SECTION 2/12 · s01 =====
The client needs a usable Paris–Lima trip within stated travel conditions. A recommendation selects an offer; completing the task then requires the airline's ticket evidence, the bank's authorization and the client's purchase intent to agree on that same bounded transaction.

The recorded mock purchase reaches that result with three independent owners. Each keeps its own decision and final record: no SuperRoot takes over the client, airline or bank. The resulting receipts connect work that actually happened within the mock profile.

The twelve Gemini 2.5 Flash calls belong to this historical semantic episode. They are twelve model duties, not twelve owners, and the purchase, ticket and bank effects are mock.
NEXT: s02

===== SECTION 3/12 · s02 =====
## The client wants a usable trip

The client needs a flight from Paris to Lima on the stated travel date, with a budget ceiling, baggage, no overnight layover and preferences for price and seating. The useful result is a coordinated purchase whose participants can each explain their part. Airline, bank and client are independent owners; they are not three levels of one superior Root.

**Airline · 12 live model calls · 3 independent owners · 1 mock transaction.** The date 12 August 2026 is the scenario's travel date, not an inferred collection timestamp. [Read the source-bound report](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/evidence/two_domain_all_real_sealed_evidence_program_v01/airline/airline_safe_execution_report_attempt_04_v01.json).
NEXT: s03

===== SECTION 4/12 · s03 =====
## A recommendation becomes an offer-specific transaction

Before selection, two supplied mock offers satisfy the hard requirements. The client purchase reviewer recommends **Offer 001**: its recorded safe summary says it is EUR 24 cheaper and supplies the preferred window seat. Offer 002 has an extra-legroom aisle seat at a higher price. This is an actual recorded recommendation and selected offer; the source does not provide a randomized benchmark of model influence.

The change is from bounded travel intent and offer evidence to an offer-specific local decision. The runtime validates the proposed semantics, supplies owner-specific views, and coordinates one mock Corridor. Afterward, separate hold, ticket and purchase receipts identify what was produced. The purchase receipt consumes the mock ticket, bank authorization reference and client's purchase intent.
NEXT: s04

===== SECTION 5/12 · s04 =====
## Twelve model duties, three owners

| Participant | Contribution | What consumes or decides next |
| --- | --- | --- |
| Gemini 2.5 Flash: orchestrator and semantic architect | Interpret the task and propose bounded evidence obligations | Local validation and owner-specific context |
| Client reviewers | Offer preference and privacy review | ClientRoot's selected offer and purchase intent |
| Airline reviewers | Offer policy, fare rules, seat/baggage and ticketing conditions | AirlineRoot's offer, hold and ticket decisions |
| Bank reviewers | Payment policy, idempotency risk and status explanation | BankRoot's payment authorization |
| Cross-owner consistency reviewer | Advisory consistency review | Local checks; no superior cross-owner authority |
| Ordinary runtime and mock executor | Validate material and perform the bounded transaction | Evidence receipts and each owner's final record |

The report records `model_id=gemini-2.5-flash`, `provider_mode=real_provider` and 12 provider calls. Those calls belong to **attempt 04**. Each semantic safe projection records no created action permission; a model role is not another effect owner.
NEXT: s05

===== SECTION 6/12 · s05 =====
## Different finals preserve different reasons

| Owner | Exact final dependency examples |
| --- | --- |
| ClientRoot | Selected-offer decision, purchase intent, mock purchase receipt |
| AirlineRoot | Selected-offer resolution, offer packet, hold packet/receipt, ticket packet/receipt |
| BankRoot | `bank_payment_authorization_ref:mock_bank_a:001` |

The report's `/bsep/projections` stores each owner's bounded view with `permission_created=false`. A foreign projection supplies evidence to be assessed locally. Its arrival does not make another owner's decision applicable automatically.

The terminal purchase receipt at `/receipts/2/safe_projection/depends_on` binds three actual preceding products:

```text
mock_ticket_receipt:mock_airline_al:001
bank_payment_authorization_ref:mock_bank_a:001
client_purchase_intent:client_001:001
```

These are selected saved fields from `airline_safe_execution_report_attempt_04_v01.json` at publication ref `800f38c3407b3f4ec93dc943c977ffeecb614881`. They are identifiers of historical mock evidence, not reusable permission.
NEXT: s06

===== SECTION 7/12 · s06 =====
## What actually finished

### One transaction retains three owners

The selected offer reaches one bounded mock Corridor; client, airline and bank retain separate Root finals.

Record: **tri_party_airline_live_semantic_lane_v01:attempt_04**. Class: public safe recorded execution. Scope: Attempt 04 public-safe report; historical Gemini transport and mock business effects; not a real ticket purchase.

- `/model_id`: `gemini-2.5-flash`
- `/counters/provider_call_count`: `12`
- `/selected_offer_id`: `offer:mock_airline_al:PAR-LIM:001`
- `/corridor/safe_projection/corridor_execution_count`: `1`
- `/corridor/safe_projection/mock_only`: `true`
- `/root_finals/0/safe_projection/root_owner`: `root:client_os_001`
- `/root_finals/1/safe_projection/root_owner`: `root:mock_airline_al`
- `/root_finals/2/safe_projection/root_owner`: `root:mock_bank_a`
- `/receipts/2/safe_projection/depends_on`: `["mock_ticket_receipt:mock_airline_al:001","bank_payment_authorization_ref:mock_bank_a:001","client_purchase_intent:client_001:001"]`

[View source — tri_party_airline_live_semantic_lane_v01:attempt_04](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/evidence/two_domain_all_real_sealed_evidence_program_v01/airline/airline_safe_execution_report_attempt_04_v01.json)


The Corridor's `mock_only=true` and `real_world_effects_count=0` sit alongside `corridor_execution_count=1` and `corridor_final_status=PASS`. The scope matters in both directions: a mock transaction was performed, but a commercial ticket was not purchased. Receipts are evidence of that bounded execution.
NEXT: s07

===== SECTION 8/12 · s07 =====
## Keep neighbouring histories separate

The [older full-stack claim matrix](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/airline_all_real_full_stack_v01/claim_evidence_matrix_v01.json) preserves a failed package and a distinct recovery at C22–C23; C24 records `signature_verified=false`. Those are older source-bound histories, not attempt-04 mutations. The [Incident Atlas](/research/incident-atlas/) has a selected-offer/hold-only Airline profile, and the [Experience case](/demonstrations/experience/) has its own finite allocation experiment. None replaces the full transaction above, and their model calls are not added together.
NEXT: s08

===== SECTION 9/12 · s08 =====
## Read the historical presentation

The [Airline and Supplier master presentation](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/two_domain_master_v01/hedgehog_os_two_domain_master_showcase_v01.pdf) and its [slide-to-source ledger](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/two_domain_master_v01/hedgehog_os_two_domain_master_showcase_sources_v01.json) locate the reports. The [older Airline presentation](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/airline_all_real_full_stack_v01/hedgehog_os_airline_all_real_showcase_v01.pdf) and [technical appendix](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/airline_all_real_full_stack_v01/technical_appendix_v01.pdf) retain their separate provenance. An original dedicated Airline XML was not established by this source inspection; this site's compact reader is a new editorial focus.
NEXT: s09

===== SECTION 10/12 · s09 =====
## This is the same kernel

[Football](/demonstrations/football/) also separates an offer from a later owner-approved mock action. [External DRS](/demonstrations/external-drs/) makes the foreign-result-to-local-context relationship explicit. [Supplier](/demonstrations/supplier/) shows useful limited progress when only part of a business task is ready. The [one-kernel map](/understand/one-kernel/) and [Geometry](/research/geometry/) connect owner decisions, current applicability and actual consumption without combining these histories into one run.
NEXT: s10

===== SECTION 11/12 · s10 =====
## Case identity

**tri_party_airline_live_semantic_lane_v01:attempt_04; execution head 71764c8b41f26e94b9cfdc1e821f7d8e15df4149**

Task: Choose a Paris–Lima flight satisfying the client’s price, baggage, seat and connection constraints, and coordinate a mock purchase.

Roles: Client and ClientRoot; Airline and AirlineRoot; Bank and BankRoot; Gemini 2.5 Flash in 12 bounded semantic duties; Local validators and mock transaction executor.

Observed result: Offer 001 selected; one bounded mock Corridor returned PASS; three evidence-only receipts and three separate Root finals.

Limits:

- Public-safe recorded report; raw prompts and responses are not published
- Mock purchase, ticket and bank effects; no real booking or payment
- Attempt 04 is separate from older full-stack recovery, Atlas hold-only and experience-budget profiles
NEXT: sources

===== SECTION 12/12 · sources =====
- [Airline attempt 04: public-safe execution report](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/evidence/two_domain_all_real_sealed_evidence_program_v01/airline/airline_safe_execution_report_attempt_04_v01.json) — public safe recorded execution; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/evidence/two_domain_all_real_sealed_evidence_program_v01/airline/airline_safe_execution_report_attempt_04_v01.json`. Source date: published snapshot P. Access: Read-only immutable local Git object inspected; bytes and SHA-256 calculated; anonymous HTTP not tested by this inspection; checked 2026-10-02.
- [Airline older full-stack claim matrix](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/airline_all_real_full_stack_v01/claim_evidence_matrix_v01.json) — separate historical claim matrix; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/airline_all_real_full_stack_v01/claim_evidence_matrix_v01.json`. Source date: published snapshot P. Access: Read-only immutable local Git object inspected; bytes and SHA-256 calculated; anonymous HTTP not tested by this inspection; checked 2026-10-02.
- [Cross-case source ledger: distinct domain profiles](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/radiolaria_os_v01/references/cases/source_ledger.json) — publication source ledger; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/radiolaria_os_v01/references/cases/source_ledger.json`. Source date: published snapshot P. Access: Read-only immutable local Git object inspected; bytes and SHA-256 calculated; anonymous HTTP not tested by this inspection; checked 2026-10-02.
- [Airline and Supplier presentation source ledger](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/two_domain_master_v01/hedgehog_os_two_domain_master_showcase_sources_v01.json) — historical presentation metadata; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/two_domain_master_v01/hedgehog_os_two_domain_master_showcase_sources_v01.json`. Source date: published snapshot P. Access: Read-only immutable local Git object inspected; bytes and SHA-256 calculated; anonymous HTTP not tested by this inspection; checked 2026-10-02.

[Source rights](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/radiolaria_os_v01/RIGHTS.md)
NEXT: END OF DOCUMENT

END OF DOCUMENT · RADIOLARIA_SITE_FOCUS_AIRLINE_V01