Expositions · Registrar · Pasture

C05.2 — Ticks, winding, parity patterns and braid words

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: 3 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.

SectionKindWordsRecord usesAnchors
Source basis/status · E-C05.2.source-basis-statusPROSE252——
Prerequisites · E-C05.2.prerequisitesPROSE37——
Claims used · E-C05.2.claims-usedCLAIMS_USED1698, all UNREVIEWED—
Definitions/conventions · E-C05.2.definitions-conventionsPROSE2171, all UNREVIEWEDThe active projector and the word, Symplectic adjoint versus Euclidean tran, The tick
Derivation · E-C05.2.derivationDERIVATION8564, all UNREVIEWEDT2: the square root is an implication of, T3: the Gram law includes a metric conve, T4: an explicit braid model, and precise, T5: finite tick and parity results are n, The repeated polynomial does not establi
Computations · E-C05.2.computationsCOMPUTATION733—Declarative object and assertion, Reproduction settings and input contract, Complete executable code, Actual stdout
Interpretation · E-C05.2.interpretationPROSE136——
What this does not show · E-C05.2.what-this-does-not-showPROSE93——
Prior art · E-C05.2.prior-artPRIOR_ART3388, all UNREVIEWED—
Sources/receipt · E-C05.2.sources-receiptRECEIPT3678, 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 sha25601d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033
script C05.2_CHECKS.py3bbf381902bb107f1e3f5247b85200b74e9799a0f7823878d63c154524d10b52
stdout C05.2_STDOUT.txtb2175921f511a400cb45c971c84391e3ea59ee9b378ae806cc6e6b0bb5a50e48
buildS371a · 2026-09-26 22:53Z

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

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 rolecite 8 · compare 8 · criticise 1 · use_as_support 12
premise closureempty
enumeration stateUNREVIEWED
held for review6 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.