Six-seat zuss (8/9 seats), written under the blindness clause of
PREREG_v41-release-replicate.md 3a(3): methodology only, no session
values. Majority locks Option (a) - crop-shape is NOT part of the
synthetic-control hypothesis, because a synthetic crop null cannot
calibrate or gate the Falcon crop/SHAPE path (non-transfer); the interim
raw-line ruling becomes permanent under it. The minority Option (b) draft
(matched synthetic null family + planted-shape positive control with a
numeric fire condition) is kept in full with the founder decision
criterion, because the split is real. Takes force only as a dated
pre-registration after the release-replicate decision, in the ruled order.

Security Impact: document only, explicitly not in force; no rule changes
until adopted.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Docs: Add Transaction concepts page and examples

The /pools/$committeeId page from the design: how much of a committee's voting
power sits in staking pools and which pools those are, ranked, with the
AlgoQuarters behind each pool's power and how much of that stake voted. The
committee is the route rather than component state, so a composition is
linkable and shareable; /pools redirects to the current window. Retires the
stub href on the committee detail card, and lifts that card's composition bar
into a component the two share.

Serving it the way the card already did would have cost 373 algod requests
against a 62-instance registry: getExistingInstances is a box-map read plus an
existence lookup per instance, then a snapshot read per instance, then an
AlgoQuarters read per instance. So the registry now answers the whole question
itself.

logInstanceCommittees pages over its own instance ID range - dense, since
lastInstanceNumId only increments and instances boxes are never removed - and
inner-calls each instance's new getCommitteeStanding, which joins the committee
snapshot with its AlgoQuarters ledger where both boxes already are. That join
has to happen on the instance: committeeAq is keyed by the numeric ID only the
snapshot yields, so an outside caller cannot start the second read until the
first lands. Deleted instance apps are skipped on chain via app_params_get
rather than failing the page, which is what removes the per-instance existence
lookup the SDK was doing. An instance that never synced the committee is
reported with committeeNumId 0 rather than dropped, so absence stays provable.
373 requests become 2.

getInstanceCommittee is the singular counterpart, and the reason the struct
lands in the registry's ARC-56 - SDKs decode the log payload from generated
types instead of a hand-maintained copy, the same arrangement
logAccountVotingRecords already has. Page size is 32, from the same
unnamed-reference accounting as the existing paged log readers.

Two figures on the page are honest approximations of what the design asked
for. The liquid-vs-Reti filter reads the instance name, because FracInstance
records no kind; it is only offered when both buckets are populated and carries
a TODO for the contract-side fix. Turnout is AlgoQuarters-weighted - the share
of a pool's stake that cast an internal ballot in the newest period the
committee has opened - because a member-count percentage would need a read per
member.

The e2e spec added here has not run. Every contracts e2e spec currently dies in
algokit's composer with "Not an address", on an untouched checkout as much as
on this branch. scripts/verify-instance-committees.ts covers the same ground
with no vitest in the way, and passes against LocalNet.

# Conflicts:
#	src/content/docs/concepts/smart-contracts/costs-constraints.mdx
#	src/content/docs/concepts/transactions/reference.mdx

Co-authored-by: Ganainmtech <127313669+Ganainmtech@users.noreply.github.com>