Football
One permitted change made an impossible request workable.

Allowing only the 8 January session to move by thirty minutes produced three training slots for EUR 63 under a EUR 70 limit. The requester used the venue’s checked offer; booking remained a separately approved mock action.

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 · 11 sections · one file
1/11 · introduction · Event, edition and reading scope
2/11 · s01 · The task and its result
3/11 · s02 · The exact request had no complete offer
4/11 · s03 · Thirty minutes changed the offer
5/11 · s04 · Gemini proposes meaning; native Work chooses the slots
6/11 · s05 · An offer crossed owners and became a real input
7/11 · s06 · BOOK, REVOKED, REPEAT and VERIFY answer different questions
8/11 · s07 · Inspect the selected evidence
9/11 · s08 · This is the same kernel
10/11 · s09 · Case identity
11/11 · sources · Immutable source routes and access basis

===== SECTION 2/11 · s01 =====
The requested field and times initially have no complete offer. The requester then permits one precise change: move the 8 January session by up to thirty minutes. The resulting offer keeps the other sessions and conditions, and fits all three slots inside the budget.

The venue computes the offer and publishes it with its evidence. The requester checks that material and uses it in its own computation. Each owner retains its own decisions; an available offer does not itself book the field.

Gemini's runtime proposal supplies the changed meaning; native Work selects the slots. The separately permitted booking changes a mock registry. [The outside AI that built this domain](/build/football-authorship/) has a different role and a separate history.

[Read with your assistant: focus XML](/downloads/cases/RADIOLARIA_SITE_FOCUS_FOOTBALL_V01.xml) · [Plain text](/downloads/cases/RADIOLARIA_SITE_FOCUS_FOOTBALL_V01.txt) · [Who built the domain?](/build/football-authorship/)
NEXT: s02

===== SECTION 3/11 · s02 =====
## The exact request had no complete offer

The requester needs three ninety-minute sessions in Europe/Tirane: 7 January 2027 at 16:30, then 8 and 9 January at 11:00. Each needs a full-size natural-grass field. The budget is 7,000 minor EUR, or EUR 70.00.

The synthetic inventory includes a very cheap artificial field and `field:elm`, natural grass at EUR 21 per session. The cheap field fails a mandatory surface condition. Elm is occupied on 8 January from 11:00 to 11:30, so the initial `EXACT` request returns `NO_COMPLETE_OFFER`. Broad opening hours alone do not make a specific interval available.
NEXT: s03

===== SECTION 4/11 · s03 =====
## Thirty minutes changed the offer

**Before:** all three shift allowances are zero. **Change:** the requester permits only the 8 January session to shift by up to thirty minutes, retaining the original requested times and other requirements. **After:** native selection finds 11:30–13:00 on that date. The other two sessions stay unchanged.

| Session | Requested local time | Permitted shift | Selected local time | Price |
| --- | --- | --- | --- | --- |
| 7 Jan 2027 | 16:30–18:00 | 0 minutes | 16:30–18:00 | EUR 21 |
| 8 Jan 2027 | 11:00–12:30 | 30 minutes | 11:30–13:00 | EUR 21 |
| 9 Jan 2027 | 11:00–12:30 | 0 minutes | 11:00–12:30 | EUR 21 |

All three use `field:elm`: **EUR 63 total, within EUR 70**. In the preserved [offer body][body], `/offer/request/sessions/1/allow_shift_minutes` is 30, `/offer/total_minor` is 6300 and `/offer/status` is `OFFER_READY`. The explicit reference `consent:jan8-only` permits the changed search. It does not approve a booking.
NEXT: s04

===== SECTION 5/11 · s04 =====
## Gemini proposes meaning; native Work chooses the slots

The separate G54D1 live series records three real **Gemini 2.5 Flash** proposals: EXACT, SHIFT and VERIFY. The model supplies a bounded operation and parameters. Its SHIFT response changes the allowance vector to `[0,30,0]`; ordinary native selection determines the field, slots and total.

The [consumption check][live] joins provider output to both actual native intakes. SHIFT returns at observer sequence 31 for publisher and 61 for requester; both intake request hashes match the normalized proposal. Its independently reviewed result is `OFFER_READY`, with one producer Work and one consumer Work. This goes beyond a valid JSON response.

The three proposals were collected before the subsequent native booking run. The VERIFY model did not see the later receipt. Controlled owner inputs separately supplied BOOK and REPEAT. The external model that **wrote the program** belongs to the [authorship story](/build/football-authorship/), not to these three runtime calls.
NEXT: s05

===== SECTION 6/11 · s05 =====
## An offer crossed owners and became a real input

VenueRoot reviews its producer Work and release; ActivePlanetRoot reviews import and local use. They are independent local decision roles. A deeper Work graph does not place one Root above another.

The historical main capture `p7_candidate_f779b790` keeps three objects distinct:

| Object | Exact source and meaning |
| --- | --- |
| E | `publisher/evidence/shift/venue_work.json`, `/outputs/offer_json` decoded: the produced offer |
| B | `publisher/evidence/shift/offer_body.json`: E plus source, completed Work, review and time references |
| C | `requester/evidence/shift/consumption_context.json`: B plus a checked source/status projection |

In these inspected records, **B.offer = E**, **C.body = B**, and the requester's decoded `/inputs/offer_json` equals C. The requester returns `OFFER_READY` with total 6300 in its own `/outputs/result_json`. A foreign result therefore becomes input to actual local computation, with provenance added at the appropriate later stage.

The consumer code makes the separation tangible. This exact excerpt is from [candidate_domain/domain.py, lines 252–255][consumer-code], at publication ref `800f38c3407b3f4ec93dc943c977ffeecb614881`:

```python
    e=b['offer']; booking=b['booking']
    if r['operation']=='FIND_OFFER':
        need(r==e['request'] and booking is None,'find_binding')
        status=e['status']; receipt=None
```

Currentness has its own evidence. C's `/source_projection/status` is `ACTIVE`, checked at 1790359281 and valid until 1790359341. The body has a separate 300-second lifetime. These recorded windows support that historical use; they are not current permission for a new task today.
NEXT: s06

===== SECTION 7/11 · s06 =====
## BOOK, REVOKED, REPEAT and VERIFY answer different questions

The main [independent flow review][flow] distinguishes five events:

| Event | Result | New mock effects |
| --- | --- | --- |
| EXACT | NO_COMPLETE_OFFER | 0 |
| SHIFT | OFFER_READY | 0 |
| BOOK | MOCK_BOOKED | 1 |
| REPEAT | MOCK_BOOKED from history | 0 |
| VERIFY | VERIFIED from history | 0 |

BOOK uses a separate `CONFIRM_MOCK_BOOKING` request and `consent:controlled:booking`. The owning Host dispatches one mock executor; it writes one batch containing three reservations. Receipt and registry readback support the completed state change. This is a real change in a disposable synthetic registry, not a payment or a real stadium reservation.

REPEAT reuses the completed result rather than issuing another batch. VERIFY uses existing history and readback without a new search or effect. Both preserve the post-BOOK registry hash. The supplied historical approval reference is evidence, not a new grant.

The separate revoked-source neighbor `p7_candidate_7071661f` authenticates `REVOKED`, refuses current use with application reason `status_not_active`, and records genuine native `BLOCKED_FAIL_CLOSED` Root decisions at observer sequences 29 and 66. It has no booking executor start. That missing Root refusal was the specific final correction in [G54D1 authorship](/build/football-authorship/); it should not be confused with the earlier examiner contract defect.
NEXT: s07

===== SECTION 8/11 · s07 =====
## Inspect the selected evidence

### The permitted shift became a usable offer

Only the January 8 allowance changed to 30 minutes; the requester consumed an OFFER_READY result at 6300 minor EUR under 7000.

Record: **G54D1 main p7_candidate_f779b790 SHIFT**. Class: recorded execution. Scope: G54D1 main p7_candidate_f779b790 SHIFT; historical published evidence read as data, no new core execution or authority.

- `/offer/request/sessions/1/allow_shift_minutes`: `30` · source ID: t2-football-body
- `/offer/request/budget_minor`: `7000` · source ID: t2-football-body
- `/offer/total_minor`: `6300` · source ID: t2-football-body
- `/booking`: `null` · source ID: t2-football-body
- `/outputs/result_json`: `OFFER_READY` · source ID: t2-football-consumer · decode: JSON string at pointer · decoded pointer: `/status`
- `/outputs/result_json`: `{"dispatch":0,"mutations":0,"observed":1,"search":1}` · source ID: t2-football-consumer · decode: JSON string at pointer · decoded pointer: `/counts`

[View source — G54D1 main p7_candidate_f779b790 SHIFT](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/offer_body.json)

### One booking; no new effect for repeat or verify

The main controlled BOOK writes one mock batch; REPEAT and VERIFY preserve history with zero new effects.

Record: **G54D1 main p7_candidate_f779b790**. Class: historical independent review. Scope: Synthetic inventory and disposable mock registry; one batch with three slots, not a real venue purchase.

- `/events/book/counts/publisher/EFFECT`: `1` · source ID: t2-football-flow
- `/events/repeat/counts/publisher/EFFECT`: `0` · source ID: t2-football-flow
- `/events/verify/counts/publisher/EFFECT`: `0` · source ID: t2-football-flow
- `/slots`: `3` · source ID: t2-football-flow

[View source — G54D1 main p7_candidate_f779b790](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/independent_flow_review.json)

### Runtime proposals had actual native consumers

Gemini proposals reached both owners; SHIFT was consumed by actual producer and requester Work. VERIFY was precollected before the later receipt.

Record: **G54D1 live p7_candidate_66a1519a**. Class: historical consumption verification. Scope: G54D1 live p7_candidate_66a1519a; historical published evidence read as data, no new core execution or authority.

- `/joins/shift/actual_model`: `gemini-2.5-flash` · source ID: t2-football-live
- `/joins/shift/independently_reviewed_native_result/verdict/native_consumer_work`: `1` · source ID: t2-football-live
- `/all_proposals_precollected`: `true` · source ID: t2-football-live
- `/verify_model_saw_later_receipt`: `false` · source ID: t2-football-live

[View source — G54D1 live p7_candidate_66a1519a](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/LIVE/consumption_verified.json)


Read the [Football dossier][dossier], [presentation PDF][pdf] and [technical appendix PDF][appendix]. The original [football_domain.xml][reader] is 114,930 bytes; the [Reader index][reader-index] also points to its separate common source corpus. The 8,988-byte Gate 5 entry Reader is an introductory pointer, not the complete evidence. The new site focus is a self-contained editorial introduction with selected evidence.
NEXT: s08

===== SECTION 9/11 · s08 =====
## This is the same kernel

Like [Wedding](/demonstrations/wedding/#semantic-changes), a changed semantic field changes performed computation. [External DRS](/demonstrations/external-drs/) explains how E becomes B and then C; [Airline](/demonstrations/airline/) extends the local-owner relationship to three business participants. History can remain useful without carrying old permission forward, as in [Testflix renewal](/demonstrations/testflix/).

These are related finite demonstrations, not one combined execution trace. Continue with [one kernel](/understand/one-kernel/) and [Geometry](/research/geometry/). The later G6A football rerun has its own identities and is not added to these G54D1 counters.

[body]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/offer_body.json
[live]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/LIVE/consumption_verified.json
[flow]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/independent_flow_review.json
[consumer-code]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/hedgehog/domains/football_pitch_booking/pack_v01/candidate_domain/domain.py#L252-L255
[dossier]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/dossiers/F.md
[pdf]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/football_domain_v01.pdf
[appendix]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/technical_appendix_v01.pdf
[reader]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/reader/football_domain.xml
[reader-index]: https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/READER_INDEX.json
NEXT: s09

===== SECTION 10/11 · s09 =====
## Case identity

**G54D1 main p7_candidate_f779b790; separate live p7_candidate_66a1519a; revoked neighbor p7_candidate_7071661f. These are not the later G6A rerun.**

Task: Arrange three ninety-minute training sessions on a full-size natural-grass field within EUR 70, then book only with separate consent.

Roles: Requester defining session constraints and approval; Gemini 2.5 Flash runtime semantic proposal provider; VenueRoot and producer Work; ActivePlanetRoot and requester Work; Native selection and external DRS checks; Host and disposable mock booking executor.

Observed result: EXACT found no complete offer; SHIFT produced and consumed a EUR 63 offer; separate BOOK changed the mock registry once; REPEAT and VERIFY recovered history without another effect.

Limits:

- Synthetic venue and inventory
- Mock booking rather than a real venue purchase
- Precollected semantic proposals
- Separate controlled BOOK and REPEAT inputs
- Finite reviewed reference profile
NEXT: sources

===== SECTION 11/11 · sources =====
- [Football dossier: request, offer, booking and history](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/dossiers/F.md) — publication explanation; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/dossiers/F.md`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; F01–F12 narrative and exact primary paths; anonymous HTTP not asserted; checked 2026-10-02.
- [Football: an offer crosses owners](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/radiolaria_os_v01/chapters/07_football.md) — publication explanation; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/radiolaria_os_v01/chapters/07_football.md`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Complete chapter; G54D1 vs G6A identity; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1 SHIFT: published body B](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/offer_body.json) — recorded exchange; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/offer_body.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Complete body; offer, source, review, time and owner fields; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1 SHIFT: producer Work E](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/venue_work.json) — recorded execution; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/publisher/evidence/shift/venue_work.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Decoded outputs.offer_json and result identity; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1 SHIFT: checked context C](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/requester/evidence/shift/consumption_context.json) — recorded exchange; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/requester/evidence/shift/consumption_context.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Complete body and source_projection; compared with producer and consumer; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1 SHIFT: requester Work consumes C](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/requester/evidence/shift/requester_work.json) — recorded execution; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/worker/requester/evidence/shift/requester_work.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Decoded inputs.offer_json equals C; decoded outputs.result_json; anonymous HTTP not asserted; checked 2026-10-02.
- [Football: actual consuming implementation](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/hedgehog/domains/football_pitch_booking/pack_v01/candidate_domain/domain.py) — implementation source; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `hedgehog/domains/football_pitch_booking/pack_v01/candidate_domain/domain.py`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; consume lines238–260; exact excerpt252–255; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1: independently reviewed five-event flow](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/independent_flow_review.json) — historical independent review; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/SUPERVISOR_EVIDENCE/p7_candidate_f779b790/independent_flow_review.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; All events, actual producer/consumer counts, effects and registry hashes; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1: real Gemini proposals and actual consumers](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/LIVE/consumption_verified.json) — historical consumption verification; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/LIVE/consumption_verified.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; EXACT/SHIFT/VERIFY joins, intake sequences, proposal ordering and returned results; anonymous HTTP not asserted; checked 2026-10-02.
- [Football G54D1: genuine refusal bound to revoked status](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/source/g54d1/evidence/refusal_binding_d1.json) — historical consumption verification; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/source/g54d1/evidence/refusal_binding_d1.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Complete record; EXACT/SHIFT calls29/66 and source/status bindings; anonymous HTTP not asserted; checked 2026-10-02.
- [Gate 5 original Readers and common corpus](https://github.com/AAkhtanin/hedgehog-os/blob/800f38c3407b3f4ec93dc943c977ffeecb614881/docs/showcase/gate5_reference_v01/READER_INDEX.json) — publisher artifact metadata; ref `800f38c3407b3f4ec93dc943c977ffeecb614881`; path `docs/showcase/gate5_reference_v01/READER_INDEX.json`. Source date: 2026-09-29. Access: READ_ONLY_LOCAL_GIT_OBJECT; Parts path/bytes/SHA; introductory vs topic vs source-corpus roles; anonymous HTTP not asserted; 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_FOOTBALL_V01