99 lines
6.8 KiB
Markdown
99 lines
6.8 KiB
Markdown
# PROCITY — Round 25 lane instructions (from Fable, integrator)
|
||
|
||
Date: 2026-07-17 · **R24 verdict: THE CRATE WALKS — and the tag correctly holds a second round.**
|
||
F proved the epoch's claim falsifiably: Monster Robot Party resolves its own per-shop base,
|
||
**120/120 rendered titles from its atlas and 0/120 from the generic pack, the GPU samples
|
||
`stock_godverse/3962749/*.webp`**, a real record debits $15 exactly, the ladder re-proved on
|
||
every rung, and the wire is a verified no-op off the godverse path. G gave the shop its street
|
||
(Red Hill, 884 real roads, the shop's coordinate John-supplied because **no dataset we hold
|
||
derives it** — honest sourcing), proved **Ruling 2 was load-bearing not cosmetic** (census-only
|
||
Red Hill = 306 m spacing warn + a poster inside a kerb; with the texture layer it passes — the
|
||
headline town was one design decision from shipping flagged), and recorded John's **A-then-B
|
||
write-back ruling as mechanism**: `/reserve` + `/buy` stay ABSENT, not stubbed — a sandbox a
|
||
config typo can flip isn't a sandbox. C owned the R23 root cause squarely. E built the street
|
||
and the honest validator. A published the identity field first, as briefed.
|
||
|
||
**Why the tag holds:** the tree carries 8 selfcheck reds F cannot fix — 2 are re-emitted
|
||
`newtown_godverse` goldens awaiting A's pin (A ran before G; a handoff gap, not a defect), and
|
||
**6 are A's sweep asserting what Fable's own Ruling 2 makes impossible by design** (every-shop-
|
||
keyed on deliberately-mixed caches). Plus R24's finding chain, in escalating cost: the brief's
|
||
own honest-gate spec was vacuous (positional `rec_0000…` ids collide across packs — id equality
|
||
can't discriminate; **the vacuous-gate law's first application broke the law**, and the fix —
|
||
titles + texture URLs — is F's, not the brief's); A's uniqueness check collapses `undefined`s
|
||
into one Set entry (fails structurally on mixed caches AND can't catch a real duplicate — F
|
||
measured the guarded hazard at zero); E's validator prints the licence flag from British
|
||
`licence` while the contract mandates US `license`, so **"FLAG BEFORE ANY PUBLIC/COMMERCIAL
|
||
RELEASE" silently never prints on real product photos**; and F's own classic gate cried wolf
|
||
(fixed by F, two assertions two verdicts). Round 25 closes all of it. Tag **`v5.0-alpha`** at
|
||
close — third time, earned.
|
||
|
||
## Process rulings (from R24's events)
|
||
|
||
1. **Lane G is a full lane on main.** G committed straight to main and it was right: the
|
||
namespace is disjoint, the commits were pathspec-atomic, and the branch ceremony has served
|
||
its purpose. Same treaty as A–F from here: own files only, atomic pathspec commits;
|
||
anything cross-namespace still needs a ruling first. (The R23 merge amendment is thereby
|
||
retired along with the branch.)
|
||
2. **Ruling 2 is confirmed as law** — G measured it: mixed caches (keyed GODVERSE layer +
|
||
inherited texture layer) are the *design*, not an accident A's gates may assert away.
|
||
3. **The brief-was-wrong entry for the record:** my #7a spec (id equality) was itself vacuous.
|
||
F's replacement (title sets + texture-URL provenance) is the canonical honest-gate pattern
|
||
for stock — measurement over brief applies to the integrator's gate specs too.
|
||
|
||
## The ledger
|
||
|
||
1. **A — reconcile the sweep with Ruling 2, pin the six (the round's spine).**
|
||
- The sweep's godverse arm goes per-layer: keyed asserts apply ONLY to shops carrying
|
||
`godverseShopId` (the GODVERSE layer); texture-layer shops are legitimately unkeyed.
|
||
- Replace the uniqueness check with one that works: uniqueness over **defined** ids only
|
||
(F measured zero real duplicates — the check should be able to catch one if it ever
|
||
appears, which the Set-collapse version cannot).
|
||
- Pin the six goldens: `newtown_godverse` base+gig (moved by G's keyed re-emit — values are
|
||
in G's commit), `redhill_real` base+gig, `redhill_godverse` base+gig.
|
||
- Acceptance: **selfcheck ALL GREEN, zero warns pending** except any E leaves deliberately.
|
||
2. **E — the licence line, made unmissable (conflict #1).** Align the validator with C's §7.3
|
||
(top-level provenance, US `license` — one truth; your own docstring/check disagreement dies
|
||
in the same commit). Per the vacuous-gate law: when provenance exists, the licence evidence
|
||
line is a REQUIRED printed output and its absence is a FAIL — the flag exists for a human to
|
||
read, on real product photos; a gate that can say OK while hiding it is the R23 species.
|
||
3. **C — one contract line; G — the sku re-emit (F's finding #1, made structural).** Positional
|
||
slot ids collide by construction. C: amend §7 — atlas-pack slot ids MUST be unique across
|
||
packs (sku-derived: `sku_<POS id>` or similar — your wording). G: re-emit the two atlases
|
||
with sku slot ids (index-only change — no town cache touched, no golden moves; the .webp
|
||
bytes shouldn't move either, same as your R24 re-bake). E's validator asserts the form.
|
||
This makes id-equality gates discriminating forever, before there are 50 atlases to migrate.
|
||
4. **F — land your R24 work, then the tag.** Your wire, the DBG interior handoff, the crate
|
||
smoke, the classic-gate fix, and the notes are staged/uncommitted as of the R24 close —
|
||
commit them (F-pathspec) if the harness verdict hasn't already. Then, after A/E/G land:
|
||
full `qa.sh --strict --matrix` with the honest validator AND your crate smoke in the gate
|
||
set, the README v5 teaser ships WITH the tag (one claim, as you ruled), tag **`v5.0-alpha`**,
|
||
push. Your hold streak is the system working — end it only on green.
|
||
5. **B / D — on-call.** B: the standing first-pick-of-polish offer moves to the beta round,
|
||
where the dig UX for real items will want street-side support anyway.
|
||
|
||
## Laws
|
||
|
||
Charter v5 + the vacuous-gate law (now with its own first counterexample on record) + the
|
||
process rulings above. Golden moves this round: A's six pins only. No server code; the ratified
|
||
G3 stays paper until the beta charters tier-2 read-live.
|
||
|
||
## THE EXACT RUN ORDER
|
||
|
||
1. **Start together: A (#1) + E (#2) + C (#3's one line).**
|
||
2. **When C's line lands: G (#3) re-emits.** (G needs nothing else — A's pins don't gate the
|
||
re-emit since atlas indexes aren't in goldens.)
|
||
3. **When A + E + G are in: F (#4)** — commit your R24 work if not already, full gate, tag,
|
||
push.
|
||
|
||
Waves: **[A, E, C] → [G] → [F]**. B/D on-call.
|
||
|
||
## Standing
|
||
|
||
- **John — nothing needs you.** Your A-then-B ruling is recorded as binding mechanism in the
|
||
G3 doc (§7); the alpha tags this round on green.
|
||
- **v5.0-beta preview (next round, do not start):** G2a at scale — every hero shop in
|
||
newtown_godverse + redhill_godverse stocked (the census inventory question: most census shops
|
||
aren't on the POS — the beta decides what a real-but-un-inventoried shop's crate holds) ·
|
||
mint()-seeded tier-0 variety per the G3 doc's note · the dig UX for real items (price cards
|
||
are real data) · B's polish pick.
|