Expositions · Registrar · Pasture

C03.2 — Scalar complements, Lie-triple tests and carrier geometry

Library article. Exposition built on the Registrar. The article kind (FOUNDATION / CONDITIONAL / HISTORICAL / OPEN) says what the article does; it is not a scientific tier and it never upgrades a claim's printed label. Every number below is produced by the code on this page, not recalled.

Prior art: 2 standard · 3 programme · 1 unresolved — on the Prior art page. Nothing on these pages is claimed as new.

Sections

One page per section (R71). A section is a typed object (R69): its record uses carry the Registrar's own review vocabulary and every one is UNREVIEWED until a lane reads it; its attestation is inherited from this article unless it has earned its own.

Section	Kind	Words	Record uses	Anchors
Source basis/status · `E-C03.2.source-basis-status`	PROSE	249	—	—
Prerequisites · `E-C03.2.prerequisites`	PROSE	40	—	—
Claims used · `E-C03.2.claims-used`	CLAIMS_USED	112	5, all UNREVIEWED	—
Definitions/conventions · `E-C03.2.definitions-conventions`	PROSE	117	—	—
Derivation · `E-C03.2.derivation`	DERIVATION	740	2, all UNREVIEWED	S1: What a Lie-triple certificate proves, S2–S4: What the source actually reports, S5: A negative control for over-reading , S6: Exact certificate needed for the reg
Computations · `E-C03.2.computations`	COMPUTATION	644	2, all UNREVIEWED	Declarative object and assertion, Reproduction settings and input contract, Complete executable code, Actual stdout
Interpretation · `E-C03.2.interpretation`	PROSE	83	—	—
What this does not show · `E-C03.2.what-this-does-not-show`	PROSE	58	—	—
Prior art · `E-C03.2.prior-art`	PRIOR_ART	196	4, all UNREVIEWED	—
Sources/receipt · `E-C03.2.sources-receipt`	RECEIPT	248	4, all UNREVIEWED	—

Registrar records cited

Registrar records are IN REVIEW and noindex; their labels are literal as printed in the suite and carry no house tier.

Premises inherited through the records this article cites

★ None. Not because this article rests on nothing — because none of the records it cites declares a premise. An empty inheritance means UNDECLARED, not INDEPENDENT. Across the surface this is the usual case, and it is printed rather than left blank so that a reader can tell an empty result from an absent check.

Receipt

Registrar master sha256	01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033
script C03.2_CHECKS.py	c477c6e4f3f5bd809364796ac95a8e30ee2a8f39fcd42995e9bd50cb21be9ad8
stdout C03.2_STDOUT.txt	fdae457a19558884a4dde042cb4768b340a2f5aaa0d47fbc52e07d6fd35c16d0
build	S371a · 2026-09-26 22:53Z

Full digests, never prefixes. Run the script yourself: python3 C03.2_CHECKS.py

What verification these articles have had, and what they have not. Every article here is HOUSE-VERIFIED: re-executed by the house, with complete code, its actual output, input hashes, a declared-sha check, and a §8 prior-art pass labelling each substantive result STANDARD (cited) / PROGRAMME / UNRESOLVED. Several were independently re-derived by a second house code path. They have been read adversarially ONCE, by one lane that did not write them. These articles were drafted by the ChatGPT lane and verified by the house; the Grok lane read all eleven against the contract in dispatch D1263 (intake A1592, S313) and found a stale Registrar basis on 9 of the 11 — the finding that caused textbook_basis_gate.py to be written, which is why this table carries a basis column at all. ★ That is ONE cold read by ONE lane. It is NOT peer review, it is NOT sustained cross-lane review, and no further lane has read the articles since. The Registrar claims they cite are IN REVIEW: 0 of 357 are house-adjudicated. No word on this surface should be read as ‘reviewed’ in any stronger sense than this paragraph states. (PI ruling S312, ACTION A: the house accepts its own verification as the standard here and states it plainly, rather than owing a verifier round indefinitely. Corrected S316 under H58: the previous wording said no second lane had read them, which denied the D1263 read and the gate it produced.)

What this article rests on

Ruling R38: only citations typed use_as_support import a cited record's premise closure. Citing a record in order to criticise or compare it imports nothing.

citations by role	cite 4 · compare 4 · criticise 1 · use_as_support 8
premise closure	empty
enumeration state	UNREVIEWED
held for review	5 citation(s) carry a negation the house has not yet read; they do NOT import until a human does.

An empty closure means UNKNOWN, not INDEPENDENT. It means the records this article supports itself on declare no premises — not that the article rests on none. No record in this corpus has had its dependency enumeration reviewed.