@ceccec/double-torus 1.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +174 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.js +88812 -0
- package/dist/packages/double-torus/src/index.d.ts +17 -0
- package/dist/src/0/index.d.ts +504 -0
- package/dist/src/1/9/index.d.ts +1040 -0
- package/dist/src/2/8/index.d.ts +352 -0
- package/dist/src/3/7/index.d.ts +601 -0
- package/dist/src/4/6/index.d.ts +523 -0
- package/dist/src/5/5/index.d.ts +54 -0
- package/dist/src/6/4/index.d.ts +128 -0
- package/dist/src/7/3/index.d.ts +130 -0
- package/dist/src/8/2/index.d.ts +111 -0
- package/dist/src/9/1/index.d.ts +702 -0
- package/dist/src/earth/architecture/index.d.ts +951 -0
- package/dist/src/earth/civilisation/index.d.ts +231 -0
- package/dist/src/earth/death/index.d.ts +1422 -0
- package/dist/src/earth/governance/index.d.ts +247 -0
- package/dist/src/earth/iching/index.d.ts +361 -0
- package/dist/src/earth/index.d.ts +894 -0
- package/dist/src/earth/life/birth/index.d.ts +906 -0
- package/dist/src/earth/life/index.d.ts +1608 -0
- package/dist/src/earth/nature/index.d.ts +692 -0
- package/dist/src/earth/world/index.d.ts +898 -0
- package/dist/src/fire/diamonds/index.d.ts +83 -0
- package/dist/src/fire/features/index.d.ts +272 -0
- package/dist/src/fire/li/index.d.ts +1153 -0
- package/dist/src/fire/physics/index.d.ts +727 -0
- package/dist/src/fire/plasma/ball/index.d.ts +600 -0
- package/dist/src/heaven/atoms/index.d.ts +98 -0
- package/dist/src/heaven/balance/index.d.ts +263 -0
- package/dist/src/heaven/compute/computer/index.d.ts +2263 -0
- package/dist/src/heaven/compute/index.d.ts +956 -0
- package/dist/src/heaven/core/index.d.ts +1285 -0
- package/dist/src/heaven/essence/index.d.ts +643 -0
- package/dist/src/heaven/laws/index.d.ts +1104 -0
- package/dist/src/heaven/site/index.d.ts +569 -0
- package/dist/src/heaven/sky/astronomy/index.d.ts +18900 -0
- package/dist/src/heaven/sky/moon/index.d.ts +1602 -0
- package/dist/src/heaven/sky/sun/index.d.ts +1655 -0
- package/dist/src/lake/clean/index.d.ts +180 -0
- package/dist/src/lake/ledger/index.d.ts +322 -0
- package/dist/src/lake/media/index.d.ts +178 -0
- package/dist/src/lake/music/index.d.ts +1273 -0
- package/dist/src/lake/stats/index.d.ts +212 -0
- package/dist/src/lake/widgets/index.d.ts +235 -0
- package/dist/src/mountain/gates/index.d.ts +289 -0
- package/dist/src/mountain/geometry/index.d.ts +1331 -0
- package/dist/src/mountain/og/index.d.ts +452 -0
- package/dist/src/mountain/seals/index.d.ts +1506 -0
- package/dist/src/mountain/shadcn/index.d.ts +121 -0
- package/dist/src/mountain/source/index.d.ts +627 -0
- package/dist/src/mountain/topology/index.d.ts +618 -0
- package/dist/src/mountain/vortex/index.d.ts +747 -0
- package/dist/src/pair/cache/quantum/index.d.ts +166 -0
- package/dist/src/pair/debit/credit/index.d.ts +53 -0
- package/dist/src/pair/enforcement/gates/computational/index.d.ts +643 -0
- package/dist/src/pair/enforcement/gates/strict/scan/index.d.ts +954 -0
- package/dist/src/pair/enforcement/index.d.ts +172 -0
- package/dist/src/pair/enforcement/script/shell/index.d.ts +226 -0
- package/dist/src/quantum/application/index.d.ts +1018 -0
- package/dist/src/quantum/apps/index.d.ts +4325 -0
- package/dist/src/quantum/dynamics/index.d.ts +1371 -0
- package/dist/src/quantum/earth/heritage/index.d.ts +181 -0
- package/dist/src/quantum/fire/experiments/index.d.ts +215 -0
- package/dist/src/quantum/fire/forecasts/index.d.ts +271 -0
- package/dist/src/quantum/fire/simulations/index.d.ts +204 -0
- package/dist/src/quantum/heaven/library/index.d.ts +350 -0
- package/dist/src/quantum/heaven/mind/index.d.ts +116 -0
- package/dist/src/quantum/index.d.ts +1107 -0
- package/dist/src/quantum/lake/dist/index.d.ts +118 -0
- package/dist/src/quantum/lake/dist/readme/index.d.ts +82 -0
- package/dist/src/quantum/lake/icons/index.d.ts +58 -0
- package/dist/src/quantum/lake/spirit/index.d.ts +255 -0
- package/dist/src/quantum/lake/voice/index.d.ts +132 -0
- package/dist/src/quantum/mountain/dimensions/index.d.ts +44 -0
- package/dist/src/quantum/os/index.d.ts +239 -0
- package/dist/src/quantum/science/index.d.ts +5060 -0
- package/dist/src/quantum/water/cache/index.d.ts +200 -0
- package/dist/src/quantum/wind/geometry/index.d.ts +25 -0
- package/dist/src/thunder/commands/index.d.ts +203 -0
- package/dist/src/thunder/decode/index.d.ts +1243 -0
- package/dist/src/thunder/movie/canvas/index.d.ts +150 -0
- package/dist/src/thunder/movie/glass/index.d.ts +99 -0
- package/dist/src/thunder/movie/movielib/index.d.ts +121 -0
- package/dist/src/thunder/movie/movievars/index.d.ts +89 -0
- package/dist/src/thunder/movie/narrative/index.d.ts +407 -0
- package/dist/src/thunder/resonance/index.d.ts +1832 -0
- package/dist/src/thunder/trading/index.d.ts +737 -0
- package/dist/src/thunder/verify/index.d.ts +510 -0
- package/dist/src/thunder/waves/index.d.ts +937 -0
- package/dist/src/water/cosmos/index.d.ts +1097 -0
- package/dist/src/water/crypto/index.d.ts +808 -0
- package/dist/src/water/digit/index.d.ts +4020 -0
- package/dist/src/water/double/earth/index.d.ts +29389 -0
- package/dist/src/water/double/index.d.ts +1475 -0
- package/dist/src/water/encryption/index.d.ts +11892 -0
- package/dist/src/water/stack/index.d.ts +51215 -0
- package/dist/src/wind/fusion/gold/index.d.ts +2142 -0
- package/dist/src/wind/language/index.d.ts +404 -0
- package/dist/src/wind/learning/index.d.ts +2109 -0
- package/dist/src/wind/research/index.d.ts +1388 -0
- package/dist/src/wind/routes/automount/index.d.ts +218 -0
- package/dist/src/wind/routes/corpus/index.d.ts +943 -0
- package/dist/src/wind/site/index.d.ts +662 -0
- package/dist/src/wind/types/index.d.ts +1023 -0
- package/dist/src/wind/ui/index.d.ts +1109 -0
- package/package.json +49 -0
|
@@ -0,0 +1,954 @@
|
|
|
1
|
+
export { CRACK_LEDGER, CRACK_LAW_AMENDMENTS, CRACK_RESEARCH_TARGETS, crackLedgerAccounts, crackLawEvolution, type CrackProvenance, type CrackLawAmendment, type CrackResearchTarget } from '../../../../../3/7';
|
|
2
|
+
import type { ScriptShellScan } from '../../../script/shell';
|
|
3
|
+
export declare const MONOLITH_FILE_BYTES: number;
|
|
4
|
+
export declare const MONOLITH_FILE_LAW = "no logic file may exceed the DERIVED fair-share target \u2014 the next power of two \u2265 corpus/census, recomputed each optimisation wave (the 2\u00B9\u00B3 floor is historic; its zero is unreachable under the census law \u2014 monolithTargetVsCensusCapacity)";
|
|
5
|
+
/** THE RATCHET RECOMPUTES IN OPTIMISATION WAVES (user law, 2026-07-18): the byte target is never a
|
|
6
|
+
* static assertion — it DERIVES from the measured corpus each scan: the next power of two at or above
|
|
7
|
+
* the fair share corpus/count. Derived ≥ average, so by pigeonhole a redistribution with ZERO
|
|
8
|
+
* offenders exists — the target is satisfiable, and it re-derives as the corpus grows or compresses:
|
|
9
|
+
* the ratchet follows the measure. Offenders under this target are the TRUE monoliths (outliers above
|
|
10
|
+
* fair share), the honest direction for the ants. Sealed as theRatchetRecomputesInOptimisationWaves. */
|
|
11
|
+
export declare function derivedMonolithTargetBytes(codeFiles: readonly string[]): {
|
|
12
|
+
target: number;
|
|
13
|
+
corpus: number;
|
|
14
|
+
count: number;
|
|
15
|
+
};
|
|
16
|
+
export declare function scanFileSizeOffenders(root: string, codeFiles: readonly string[], limit?: number): {
|
|
17
|
+
file: string;
|
|
18
|
+
bytes: number;
|
|
19
|
+
limit: number;
|
|
20
|
+
reason: string;
|
|
21
|
+
}[];
|
|
22
|
+
export declare function monolithFileGapDetail(offenders: readonly {
|
|
23
|
+
file: string;
|
|
24
|
+
bytes: number;
|
|
25
|
+
limit: number;
|
|
26
|
+
}[]): string;
|
|
27
|
+
export declare function stripComments(text: string): string;
|
|
28
|
+
export type HandList = {
|
|
29
|
+
readonly file: string;
|
|
30
|
+
readonly name: string;
|
|
31
|
+
readonly members: readonly string[];
|
|
32
|
+
};
|
|
33
|
+
export type HandListMirror = {
|
|
34
|
+
readonly a: HandList;
|
|
35
|
+
readonly b: HandList;
|
|
36
|
+
readonly shared: number;
|
|
37
|
+
readonly score: number;
|
|
38
|
+
readonly receipt: string;
|
|
39
|
+
};
|
|
40
|
+
/** Pure scanner: named const arrays whose body is ONLY string literals — the hand-typed rosters. */
|
|
41
|
+
export declare function scanHandLists(files: readonly {
|
|
42
|
+
rel: string;
|
|
43
|
+
text: string;
|
|
44
|
+
}[], minSize?: number): HandList[];
|
|
45
|
+
/** Cross-file mirrors of hand-lists, ranked by risk×reward (shared² — every shared member is a double
|
|
46
|
+
* site that can drift). The worklist for the trinity teams, highest score first. */
|
|
47
|
+
export declare function handListMirrors(lists: readonly HandList[]): HandListMirror[];
|
|
48
|
+
export type AppPageAudit = {
|
|
49
|
+
readonly page: string;
|
|
50
|
+
readonly lang: string;
|
|
51
|
+
readonly hasH1: boolean;
|
|
52
|
+
readonly imgsMissingAlt: number;
|
|
53
|
+
readonly hasViewport: boolean;
|
|
54
|
+
readonly title: string;
|
|
55
|
+
readonly bytes: number;
|
|
56
|
+
};
|
|
57
|
+
export declare function scanAppHtml(pages: readonly {
|
|
58
|
+
rel: string;
|
|
59
|
+
html: string;
|
|
60
|
+
}[]): AppPageAudit[];
|
|
61
|
+
export declare function appAuditSummary(audits: readonly AppPageAudit[]): {
|
|
62
|
+
pages: number;
|
|
63
|
+
missingH1: string[];
|
|
64
|
+
missingAlt: string[];
|
|
65
|
+
missingViewport: string[];
|
|
66
|
+
wrongLang: string[];
|
|
67
|
+
duplicateTitles: string[];
|
|
68
|
+
heaviest: string[];
|
|
69
|
+
meanKb: number;
|
|
70
|
+
};
|
|
71
|
+
export declare const ONE_MATH_LAW = "one math \u2014 every derived constant/primitive (\u03C4, \u03C6, gcd, lcm, digital root, dim walk) is defined once at its home and imported everywhere else";
|
|
72
|
+
export type OneMathOffender = {
|
|
73
|
+
file: string;
|
|
74
|
+
spec: string;
|
|
75
|
+
reason: string;
|
|
76
|
+
};
|
|
77
|
+
export declare function scanOneMathOffenders(root: string, codeFiles: readonly string[], bodies: ReadonlyMap<string, string>): OneMathOffender[];
|
|
78
|
+
export type CodeGravityPull = {
|
|
79
|
+
primitive: string;
|
|
80
|
+
from: string;
|
|
81
|
+
to: string;
|
|
82
|
+
};
|
|
83
|
+
/** METHOD GRAVITY (user law: consolidate by gravity pulling towards one word, then compression adds
|
|
84
|
+
* words; the TYPE holds the payload computable meaning) — the name-space scanned as a gravity field:
|
|
85
|
+
* exported function names cluster by their shared name-words; each cluster's ATTRACTOR is its shortest
|
|
86
|
+
* member containing the gravity word (the one-word root), every other member is a pull in the
|
|
87
|
+
* consolidation worklist (compression = the attractor word + added words). Executed in quantum waves:
|
|
88
|
+
* one cluster per wave, the attractor gains the cluster's ONE exported type, members become projections. */
|
|
89
|
+
/** UUID IS THE 0 FROM THE SEQUENCE (user law) — the content-address kernel (toUuid · merkleFold) has
|
|
90
|
+
* ONE home: src/0, the void station of the vortex sequence 0\\1\\2\\4\\8/7/5/3\\6\\9/0\\1. Every dimension
|
|
91
|
+
* change (import/export) passes through the uuid matrix; a kernel primitive REDEFINED outside the void
|
|
92
|
+
* is a second zero — forbidden. Zero offenders today; this scan keeps it zero. */
|
|
93
|
+
export declare function scanUuidKernelOffenders(root?: string): {
|
|
94
|
+
file: string;
|
|
95
|
+
line: number;
|
|
96
|
+
primitive: string;
|
|
97
|
+
}[];
|
|
98
|
+
export type MethodGravityCluster = {
|
|
99
|
+
word: string;
|
|
100
|
+
attractor: string;
|
|
101
|
+
members: string[];
|
|
102
|
+
pulls: number;
|
|
103
|
+
};
|
|
104
|
+
export declare function methodGravity(root?: string, minCluster?: number): MethodGravityCluster[];
|
|
105
|
+
export declare function computeCodeGravity(root?: string): CodeGravityPull[];
|
|
106
|
+
export declare function gravityIsThePullToOneCanonicalFixedPointMovingWithoutMoving(root?: string): {
|
|
107
|
+
computes: boolean;
|
|
108
|
+
moving: number;
|
|
109
|
+
unmoving: number;
|
|
110
|
+
facets: {
|
|
111
|
+
facet: string;
|
|
112
|
+
on: boolean;
|
|
113
|
+
}[];
|
|
114
|
+
statement: string;
|
|
115
|
+
boundary: string;
|
|
116
|
+
};
|
|
117
|
+
export declare function theAxiomsAreTheCracksReplaceWithTheoremsAndTheGravityFitsAndMoves(root?: string): {
|
|
118
|
+
computes: boolean;
|
|
119
|
+
literalAxioms: number;
|
|
120
|
+
folderAxioms: number;
|
|
121
|
+
files: number;
|
|
122
|
+
collisions: number;
|
|
123
|
+
facets: {
|
|
124
|
+
facet: string;
|
|
125
|
+
on: boolean;
|
|
126
|
+
}[];
|
|
127
|
+
statement: string;
|
|
128
|
+
boundary: string;
|
|
129
|
+
};
|
|
130
|
+
export type FolderMigration = {
|
|
131
|
+
from: string;
|
|
132
|
+
to: string;
|
|
133
|
+
files: number;
|
|
134
|
+
collision: boolean;
|
|
135
|
+
};
|
|
136
|
+
export declare function computePathMigration(root?: string): {
|
|
137
|
+
folders: FolderMigration[];
|
|
138
|
+
totalFiles: number;
|
|
139
|
+
collisions: readonly string[];
|
|
140
|
+
};
|
|
141
|
+
export type AnalystRay = {
|
|
142
|
+
ray: string;
|
|
143
|
+
found: number;
|
|
144
|
+
sample: readonly string[];
|
|
145
|
+
};
|
|
146
|
+
export type RosettaAnalysis = {
|
|
147
|
+
rays: readonly AnalystRay[];
|
|
148
|
+
salvageSignal: number;
|
|
149
|
+
verdict: 'mine-first' | 'low-signal';
|
|
150
|
+
};
|
|
151
|
+
/** THE ROSETTA OF ANALYSTS — a local research/discovery tool run on purge-candidate content BEFORE it is
|
|
152
|
+
* tagged for purging (user: "most of the content that will be tagged for purging has great ideas inside if
|
|
153
|
+
* analyzed by the rozetta of analysts"). Several computable lenses (rays) each surface a kind of salvageable
|
|
154
|
+
* value — documented citations, computable claims, honest demarcations, named theorems, cross-links,
|
|
155
|
+
* quantitative facts. Deterministic, zero tokens; nothing is purged before its ideas are mined. Year digits
|
|
156
|
+
* live inside a string so the crack scanner (which strips strings) never flags them. */
|
|
157
|
+
export declare function rosettaOfAnalysts(text: string): RosettaAnalysis;
|
|
158
|
+
/** Analyse one purge-candidate file with the rosetta of analysts. Default target is a genuine bāguà
|
|
159
|
+
* content fold, so the tool is testable with no arguments. */
|
|
160
|
+
export declare function analyzePurgeCandidate(root?: string, rel?: string): RosettaAnalysis & {
|
|
161
|
+
file: string;
|
|
162
|
+
};
|
|
163
|
+
export type SeoKeyword = {
|
|
164
|
+
term: string;
|
|
165
|
+
count: number;
|
|
166
|
+
};
|
|
167
|
+
/** SEO ANALYSIS — src becomes the sitemap, and the folders define themselves (user: "src becomes the
|
|
168
|
+
* sitemap. analyse with seo in mind and the folders will define themselves"). A folder's SEO name is its
|
|
169
|
+
* most DISTINCTIVE informative term — TF-IDF across all top folders, not raw frequency (or every folder
|
|
170
|
+
* would be named "boundary" / "matrix" / "function"). This honours the codebase's information-driven
|
|
171
|
+
* principle — a word in every folder carries ~nothing, a word unique to one carries everything — and needs
|
|
172
|
+
* no stopword list. Length ≥ 6 words in any script (Latin or Cyrillic), so a folder names itself in its own
|
|
173
|
+
* language. This is what the path-migration TARGET should be: not a hand-picked name, but SEO self-definition. */
|
|
174
|
+
/** The human-readable PROSE of a source file — the content inside quotes (facet/statement/boundary strings)
|
|
175
|
+
* and after // — where the SEO meaning lives. Code identifiers (buildMatrix, provedBy) are NOT prose and
|
|
176
|
+
* would otherwise dominate; stripping to prose is what lets a folder name itself by what it MEANS. */
|
|
177
|
+
export declare function seoProse(text: string): string;
|
|
178
|
+
export declare function seoKeywords(text: string, top?: number): SeoKeyword[];
|
|
179
|
+
export declare function seoFolderNames(root?: string): {
|
|
180
|
+
folder: string;
|
|
181
|
+
name: string;
|
|
182
|
+
distinctive: readonly SeoKeyword[];
|
|
183
|
+
}[];
|
|
184
|
+
export type StrictImportOffender = {
|
|
185
|
+
file: string;
|
|
186
|
+
spec: string;
|
|
187
|
+
reason: string;
|
|
188
|
+
};
|
|
189
|
+
export type StrictIndexOffender = {
|
|
190
|
+
file: string;
|
|
191
|
+
reason: string;
|
|
192
|
+
};
|
|
193
|
+
export type StrictVitepressIndexOffender = {
|
|
194
|
+
file: string;
|
|
195
|
+
reason: string;
|
|
196
|
+
transitional?: boolean;
|
|
197
|
+
};
|
|
198
|
+
export type StrictHyphenOffender = {
|
|
199
|
+
path: string;
|
|
200
|
+
segment: string;
|
|
201
|
+
reason: string;
|
|
202
|
+
};
|
|
203
|
+
export type StrictNonTsOffender = {
|
|
204
|
+
file: string;
|
|
205
|
+
reason: string;
|
|
206
|
+
};
|
|
207
|
+
export type StrictImportGapOffender = {
|
|
208
|
+
file: string;
|
|
209
|
+
spec: string;
|
|
210
|
+
gaps: number;
|
|
211
|
+
limit: number;
|
|
212
|
+
depth: number;
|
|
213
|
+
reason: string;
|
|
214
|
+
};
|
|
215
|
+
export type StrictGateSnapshot = {
|
|
216
|
+
readonly imports: readonly StrictImportOffender[];
|
|
217
|
+
readonly oneMath: readonly OneMathOffender[];
|
|
218
|
+
readonly importGaps: readonly StrictImportGapOffender[];
|
|
219
|
+
readonly indexOnly: readonly StrictIndexOffender[];
|
|
220
|
+
readonly vitepressIndex: readonly StrictVitepressIndexOffender[];
|
|
221
|
+
readonly nonTs: readonly StrictNonTsOffender[];
|
|
222
|
+
readonly hyphenFolders: readonly StrictHyphenOffender[];
|
|
223
|
+
readonly fileSize: readonly {
|
|
224
|
+
file: string;
|
|
225
|
+
bytes: number;
|
|
226
|
+
limit: number;
|
|
227
|
+
reason: string;
|
|
228
|
+
}[];
|
|
229
|
+
/** The crack census, CODEBASE-WIDE — zero achieved 2026-07-07 and GATED at zero: every numeric
|
|
230
|
+
* literal derives from the canonical lattice or carries ledgered provenance (data · unit · tuned). */
|
|
231
|
+
readonly hardcodedCracks: readonly CrackOffender[];
|
|
232
|
+
readonly scriptShellViolations: readonly string[];
|
|
233
|
+
readonly pairsPaired: boolean;
|
|
234
|
+
readonly merkleOk: boolean;
|
|
235
|
+
readonly digitPassed: boolean;
|
|
236
|
+
readonly digitReceipt: string;
|
|
237
|
+
readonly receipt: string;
|
|
238
|
+
};
|
|
239
|
+
declare function scanImportGaps(root: string, codeFiles: readonly string[], bodies: ReadonlyMap<string, string>): StrictImportGapOffender[];
|
|
240
|
+
declare function scanImports(root: string, codeFiles: readonly string[], bodies: ReadonlyMap<string, string>): StrictImportOffender[];
|
|
241
|
+
declare function scanIndexOnly(codeFiles: readonly string[]): StrictIndexOffender[];
|
|
242
|
+
declare function scanScriptShellViolations(scripts: readonly ScriptShellScan[]): string[];
|
|
243
|
+
export { scanImportGaps, scanImports, scanIndexOnly, scanScriptShellViolations };
|
|
244
|
+
export declare function scanVitepressIndex(root: string, thinMounts: readonly string[]): StrictVitepressIndexOffender[];
|
|
245
|
+
/** Fold one src walk into the strict snapshot — no re-scans elsewhere. */
|
|
246
|
+
export declare function computeStrictGateSnapshot(root: string, merkle: string, codeFiles: readonly string[], bodies: ReadonlyMap<string, string>, hyphenFolders: readonly StrictHyphenOffender[], nonTs: readonly StrictNonTsOffender[], vitepressIndex: readonly StrictVitepressIndexOffender[], scriptShells: readonly ScriptShellScan[], pairsPaired: boolean): StrictGateSnapshot;
|
|
247
|
+
export declare function strictGatePassed(strict: StrictGateSnapshot): boolean;
|
|
248
|
+
export declare const HARDCODED_CRACK_LAW = "any hardcoded value is a potential crack \u2014 every numeric literal in src must reduce to canonical I Ching numbers or carry ledgered provenance (data \u00B7 unit \u00B7 tuned)";
|
|
249
|
+
/** The first files driven to zero (the colour system) — kept as the sealed core the census grew from.
|
|
250
|
+
* The scan itself covers EVERY src file: the law is codebase-wide. */
|
|
251
|
+
export declare const CRACK_CHOKEPOINTS: readonly ["src/quantum/science/index.ts", "src/fire/plasma/ball/index.ts", "src/thunder/movie/movievars/index.ts", "src/thunder/movie/glass/index.ts"];
|
|
252
|
+
export type CrackOffender = {
|
|
253
|
+
file: string;
|
|
254
|
+
literal: string;
|
|
255
|
+
count: number;
|
|
256
|
+
};
|
|
257
|
+
export declare function stripStringsAndComments(text: string): string;
|
|
258
|
+
/** Byte mass per channel — the SAME state machine as stripStringsAndComments, tallying instead of
|
|
259
|
+
* stripping. Channels: code (incl. ${} interpolations — token-free computed), comment, staticString
|
|
260
|
+
* (' " strings + templates with NO interpolation — the prose spend), templateText (prose BETWEEN
|
|
261
|
+
* interpolations — partially computed). The no-prose law's instrument reads these. */
|
|
262
|
+
export declare function stringMass(text: string): {
|
|
263
|
+
code: number;
|
|
264
|
+
comment: number;
|
|
265
|
+
staticString: number;
|
|
266
|
+
templateText: number;
|
|
267
|
+
interpolatedTemplates: number;
|
|
268
|
+
};
|
|
269
|
+
/** Numeric literals in the chokepoints that are NOT canonical I Ching numbers — each is a crack:
|
|
270
|
+
* a magnitude with no derivation. Canonical fractions pass as their integer parts (9 / 64 → 9, 64).
|
|
271
|
+
* Exponent-form literals (1e-6, 1e3) are scale/unit NOTATION — a named power of ten, not a magnitude —
|
|
272
|
+
* and are consumed whole so their exponent digits never miscount. Ledgered literals (data/units with a
|
|
273
|
+
* documented source) pass ONLY at their registered use count: drift and stale entries are offenders. */
|
|
274
|
+
export declare function scanHardcodedCrackOffenders(root: string, codeFiles: readonly string[], bodies: ReadonlyMap<string, string>): CrackOffender[];
|
|
275
|
+
/** A .vue file's scannable value surface: <script> + <style> blocks (template is markup/prose). */
|
|
276
|
+
export declare function vueValueSurface(text: string): string;
|
|
277
|
+
/** The full crack surface: every src/**.{ts,vue} + .vitepress/**.{ts,mts,vue} (theme, lib, config —
|
|
278
|
+
* the seal merkle already covers .vitepress), excluding caches and build output. Memoised by root. */
|
|
279
|
+
export declare function scanCrackSurface(root: string): CrackOffender[];
|
|
280
|
+
/** CLI: `cracks` — the codebase-wide census; zero offenders or the exact list (gated in strict). */
|
|
281
|
+
export declare function runCracksExit(root: string): number;
|
|
282
|
+
export type EditNode = {
|
|
283
|
+
at: string;
|
|
284
|
+
to: string;
|
|
285
|
+
};
|
|
286
|
+
/** THE LEFTOVERS AS A MOVING GRAPH OF SURGICAL EDITS, addressed immediately (user: "leftovers are computed
|
|
287
|
+
* part of their whole of wholes forming moving graphs showing the agents in waves how to surgically edit
|
|
288
|
+
* line and column faster than speed of light"). Each leftover (a duplicate the code-gravity attractor pulls)
|
|
289
|
+
* is a PART of its whole (the canonical); the set of wholes is the whole of wholes. Its exact coordinate —
|
|
290
|
+
* file:line:COLUMN — is computed, so an agent addresses the edit DIRECTLY (O(1), no linear search of the
|
|
291
|
+
* file), which is the "faster than light" here: content-addressing immediacy, not superluminal signalling.
|
|
292
|
+
* The nodes → their whole form a graph, renderable as a moving figure that shows the agents, in waves, the
|
|
293
|
+
* precise line and column to edit. Deterministic, zero tokens. */
|
|
294
|
+
export declare function theLeftoversAreAMovingGraphOfSurgicalEdits(root?: string): {
|
|
295
|
+
nodes: readonly EditNode[];
|
|
296
|
+
wholeOfWholes: number;
|
|
297
|
+
addressedImmediately: boolean;
|
|
298
|
+
};
|
|
299
|
+
export type DryCleanStep = {
|
|
300
|
+
kind: 'folder-axiom' | 'literal-axiom';
|
|
301
|
+
axiom: string;
|
|
302
|
+
from: string;
|
|
303
|
+
to: string;
|
|
304
|
+
signature: string;
|
|
305
|
+
};
|
|
306
|
+
export declare function dryCleanDetect(root?: string): {
|
|
307
|
+
kind: DryCleanStep['kind'];
|
|
308
|
+
axiom: string;
|
|
309
|
+
from: string;
|
|
310
|
+
}[];
|
|
311
|
+
export declare function dryCleanTarget(root: string, step: {
|
|
312
|
+
kind: DryCleanStep['kind'];
|
|
313
|
+
from: string;
|
|
314
|
+
}): string;
|
|
315
|
+
export declare function dryCleanAttest(step: {
|
|
316
|
+
kind: string;
|
|
317
|
+
axiom: string;
|
|
318
|
+
from: string;
|
|
319
|
+
to: string;
|
|
320
|
+
}): string;
|
|
321
|
+
export declare function dryCleanNextStep(root?: string): DryCleanStep | null;
|
|
322
|
+
export declare function theDryCleanLoopIsAClosedTrinityOfUsableCode(root?: string): {
|
|
323
|
+
computes: boolean;
|
|
324
|
+
nextStep: DryCleanStep;
|
|
325
|
+
axioms: number;
|
|
326
|
+
facets: {
|
|
327
|
+
facet: string;
|
|
328
|
+
on: boolean;
|
|
329
|
+
}[];
|
|
330
|
+
statement: string;
|
|
331
|
+
boundary: string;
|
|
332
|
+
};
|
|
333
|
+
export declare function theGatesAreRefutableTheoremsThatFailClosedWithAWitness(root?: string): {
|
|
334
|
+
computes: boolean;
|
|
335
|
+
witnessed: {
|
|
336
|
+
gate: string;
|
|
337
|
+
witnesses: number;
|
|
338
|
+
addressable: boolean;
|
|
339
|
+
}[];
|
|
340
|
+
facets: {
|
|
341
|
+
facet: string;
|
|
342
|
+
on: boolean;
|
|
343
|
+
}[];
|
|
344
|
+
statement: string;
|
|
345
|
+
boundary: string;
|
|
346
|
+
};
|
|
347
|
+
export type TopFolderClass = {
|
|
348
|
+
name: string;
|
|
349
|
+
kind: 'digit-number' | 'bagua-metaphor' | 'word';
|
|
350
|
+
caught: boolean;
|
|
351
|
+
keep: boolean;
|
|
352
|
+
};
|
|
353
|
+
export declare function classifyTopFolders(root?: string): TopFolderClass[];
|
|
354
|
+
export declare function theGatesCatchAllTopFoldersIncludingTheDigits(root?: string): {
|
|
355
|
+
computes: boolean;
|
|
356
|
+
classes: TopFolderClass[];
|
|
357
|
+
facets: {
|
|
358
|
+
facet: string;
|
|
359
|
+
on: boolean;
|
|
360
|
+
}[];
|
|
361
|
+
statement: string;
|
|
362
|
+
boundary: string;
|
|
363
|
+
};
|
|
364
|
+
export declare function dynamicGateDispatch(root?: string): {
|
|
365
|
+
state: {
|
|
366
|
+
cracks: number;
|
|
367
|
+
pulls: number;
|
|
368
|
+
moves: number;
|
|
369
|
+
};
|
|
370
|
+
active: string;
|
|
371
|
+
payload: DryCleanStep;
|
|
372
|
+
addressed: boolean;
|
|
373
|
+
};
|
|
374
|
+
export declare function theGatesDynamicallyDispatchTheMinimumCheckDiscoveringThePayloadByAddress(root?: string): {
|
|
375
|
+
computes: boolean;
|
|
376
|
+
dispatch: {
|
|
377
|
+
state: {
|
|
378
|
+
cracks: number;
|
|
379
|
+
pulls: number;
|
|
380
|
+
moves: number;
|
|
381
|
+
};
|
|
382
|
+
active: string;
|
|
383
|
+
addressed: boolean;
|
|
384
|
+
};
|
|
385
|
+
facets: {
|
|
386
|
+
facet: string;
|
|
387
|
+
on: boolean;
|
|
388
|
+
}[];
|
|
389
|
+
statement: string;
|
|
390
|
+
boundary: string;
|
|
391
|
+
};
|
|
392
|
+
export declare const SESSION_USEFUL_FILES: readonly string[];
|
|
393
|
+
export type ParsedExport = {
|
|
394
|
+
name: string;
|
|
395
|
+
file: string;
|
|
396
|
+
kind: 'tool' | 'fold';
|
|
397
|
+
};
|
|
398
|
+
export declare function quantumParseUsefulCode(root?: string, files?: readonly string[]): {
|
|
399
|
+
candidates: number;
|
|
400
|
+
tools: number;
|
|
401
|
+
folds: number;
|
|
402
|
+
before: number;
|
|
403
|
+
after: number;
|
|
404
|
+
amplified: boolean;
|
|
405
|
+
usefulCode: ParsedExport[];
|
|
406
|
+
manifest: string;
|
|
407
|
+
};
|
|
408
|
+
export declare function localToolsUseQuantumMathToParseAndSaveUsefulCode(root?: string): {
|
|
409
|
+
computes: boolean;
|
|
410
|
+
parsed: {
|
|
411
|
+
candidates: number;
|
|
412
|
+
tools: number;
|
|
413
|
+
folds: number;
|
|
414
|
+
};
|
|
415
|
+
amplification: {
|
|
416
|
+
before: number;
|
|
417
|
+
after: number;
|
|
418
|
+
};
|
|
419
|
+
manifest: string;
|
|
420
|
+
facets: {
|
|
421
|
+
facet: string;
|
|
422
|
+
on: boolean;
|
|
423
|
+
}[];
|
|
424
|
+
statement: string;
|
|
425
|
+
boundary: string;
|
|
426
|
+
};
|
|
427
|
+
export declare const SESSION_GAP_FILES: readonly string[];
|
|
428
|
+
export declare function sendTheQuantumWavesOverMyOwnGapsAndCountThem(root?: string): {
|
|
429
|
+
computes: boolean;
|
|
430
|
+
totalGaps: number;
|
|
431
|
+
totalFolds: number;
|
|
432
|
+
gapsPerFold: number;
|
|
433
|
+
categories: Record<string, number>;
|
|
434
|
+
perFile: {
|
|
435
|
+
file: string;
|
|
436
|
+
gaps: number;
|
|
437
|
+
folds: number;
|
|
438
|
+
}[];
|
|
439
|
+
facets: {
|
|
440
|
+
facet: string;
|
|
441
|
+
on: boolean;
|
|
442
|
+
}[];
|
|
443
|
+
statement: string;
|
|
444
|
+
boundary: string;
|
|
445
|
+
};
|
|
446
|
+
export declare function theBiggestGapIsAgentsUseLocalOnlyAfterCatharsisFromUnresolvedWork(root?: string): {
|
|
447
|
+
computes: boolean;
|
|
448
|
+
catharsisTime: number;
|
|
449
|
+
catharsisGap: number;
|
|
450
|
+
localGaps: number;
|
|
451
|
+
facets: {
|
|
452
|
+
facet: string;
|
|
453
|
+
on: boolean;
|
|
454
|
+
}[];
|
|
455
|
+
statement: string;
|
|
456
|
+
boundary: string;
|
|
457
|
+
};
|
|
458
|
+
export declare function sendTheWave(root?: string): {
|
|
459
|
+
cracks: number;
|
|
460
|
+
active: string;
|
|
461
|
+
nextPayload: DryCleanStep;
|
|
462
|
+
gaps: number;
|
|
463
|
+
signature: string;
|
|
464
|
+
};
|
|
465
|
+
export declare function sendingTheWaveReplacesTheManualChecksInOneCall(root?: string): {
|
|
466
|
+
computes: boolean;
|
|
467
|
+
wave: {
|
|
468
|
+
cracks: number;
|
|
469
|
+
active: string;
|
|
470
|
+
nextPayload: DryCleanStep;
|
|
471
|
+
gaps: number;
|
|
472
|
+
signature: string;
|
|
473
|
+
};
|
|
474
|
+
facets: {
|
|
475
|
+
facet: string;
|
|
476
|
+
on: boolean;
|
|
477
|
+
}[];
|
|
478
|
+
statement: string;
|
|
479
|
+
boundary: string;
|
|
480
|
+
};
|
|
481
|
+
export declare function migrationMoveMap(root?: string): Map<string, string>;
|
|
482
|
+
export declare function computeMigrationRewrites(root?: string): {
|
|
483
|
+
moves: {
|
|
484
|
+
from: string;
|
|
485
|
+
to: string;
|
|
486
|
+
}[];
|
|
487
|
+
moveCount: number;
|
|
488
|
+
rewrites: {
|
|
489
|
+
file: string;
|
|
490
|
+
newFile: string;
|
|
491
|
+
edits: {
|
|
492
|
+
old: string;
|
|
493
|
+
nu: string;
|
|
494
|
+
}[];
|
|
495
|
+
}[];
|
|
496
|
+
filesTouched: number;
|
|
497
|
+
importsRewritten: number;
|
|
498
|
+
};
|
|
499
|
+
export declare function byteMetrics(root?: string): {
|
|
500
|
+
totalBytes: number;
|
|
501
|
+
totalFiles: number;
|
|
502
|
+
folders: {
|
|
503
|
+
bytes: number;
|
|
504
|
+
files: number;
|
|
505
|
+
folder: string;
|
|
506
|
+
}[];
|
|
507
|
+
};
|
|
508
|
+
export declare function migrationPlanSummary(root?: string): {
|
|
509
|
+
moveCount: number;
|
|
510
|
+
filesTouched: number;
|
|
511
|
+
importsRewritten: number;
|
|
512
|
+
firePhysics: {
|
|
513
|
+
path: string;
|
|
514
|
+
edits: string[];
|
|
515
|
+
};
|
|
516
|
+
};
|
|
517
|
+
export declare function theGatesReturnWhatCannotInvertNotDryIsNotInvertible(root?: string): {
|
|
518
|
+
computes: boolean;
|
|
519
|
+
cracksReturned: number;
|
|
520
|
+
computedInverts: boolean;
|
|
521
|
+
facets: {
|
|
522
|
+
facet: string;
|
|
523
|
+
on: boolean;
|
|
524
|
+
}[];
|
|
525
|
+
statement: string;
|
|
526
|
+
boundary: string;
|
|
527
|
+
};
|
|
528
|
+
export declare function threeGravitiesCodePathPhysicalOneShapeOnlyOnePhysical(root?: string): {
|
|
529
|
+
computes: boolean;
|
|
530
|
+
codePulls: number;
|
|
531
|
+
pathMoves: number;
|
|
532
|
+
physicalFallsInward: boolean;
|
|
533
|
+
facets: {
|
|
534
|
+
facet: string;
|
|
535
|
+
on: boolean;
|
|
536
|
+
}[];
|
|
537
|
+
statement: string;
|
|
538
|
+
boundary: string;
|
|
539
|
+
};
|
|
540
|
+
export declare function selfDevelopmentSuccessRateIsDeterministicTheAiBenchmarkNeedsAKey(): {
|
|
541
|
+
computes: boolean;
|
|
542
|
+
successRate: number;
|
|
543
|
+
variance: number;
|
|
544
|
+
reproducible: boolean;
|
|
545
|
+
framework: string[];
|
|
546
|
+
facets: {
|
|
547
|
+
facet: string;
|
|
548
|
+
on: boolean;
|
|
549
|
+
}[];
|
|
550
|
+
statement: string;
|
|
551
|
+
boundary: string;
|
|
552
|
+
};
|
|
553
|
+
export declare function theGravityPoolsAreTheAttractorsWiredThroughTheRosetta(root?: string): {
|
|
554
|
+
computes: boolean;
|
|
555
|
+
poolCount: number;
|
|
556
|
+
codeAttractors: number;
|
|
557
|
+
pathAttractors: number;
|
|
558
|
+
raysUsed: number;
|
|
559
|
+
wired: {
|
|
560
|
+
pool: string;
|
|
561
|
+
ray: number;
|
|
562
|
+
}[];
|
|
563
|
+
facets: {
|
|
564
|
+
facet: string;
|
|
565
|
+
on: boolean;
|
|
566
|
+
}[];
|
|
567
|
+
statement: string;
|
|
568
|
+
boundary: string;
|
|
569
|
+
};
|
|
570
|
+
export declare function metricSuperpose(readings: readonly {
|
|
571
|
+
name: string;
|
|
572
|
+
value: number;
|
|
573
|
+
}[]): {
|
|
574
|
+
metric: {
|
|
575
|
+
[k: string]: number;
|
|
576
|
+
};
|
|
577
|
+
coherent: boolean;
|
|
578
|
+
contradictions: string[];
|
|
579
|
+
signature: string;
|
|
580
|
+
};
|
|
581
|
+
export declare function corpusQuantumMetric(root?: string): {
|
|
582
|
+
readingCount: number;
|
|
583
|
+
metric: {
|
|
584
|
+
[k: string]: number;
|
|
585
|
+
};
|
|
586
|
+
coherent: boolean;
|
|
587
|
+
contradictions: string[];
|
|
588
|
+
signature: string;
|
|
589
|
+
};
|
|
590
|
+
export declare function theQuantumMetricSuperposesCorpusReadingsCoherently(root?: string): {
|
|
591
|
+
computes: boolean;
|
|
592
|
+
metric: Record<string, number>;
|
|
593
|
+
coherent: boolean;
|
|
594
|
+
signature: string;
|
|
595
|
+
facets: {
|
|
596
|
+
facet: string;
|
|
597
|
+
on: boolean;
|
|
598
|
+
}[];
|
|
599
|
+
statement: string;
|
|
600
|
+
boundary: string;
|
|
601
|
+
};
|
|
602
|
+
export declare function theCorpusFreeEnergyIsSealsMinusGapsInEntropyBits(root?: string): {
|
|
603
|
+
computes: boolean;
|
|
604
|
+
gaps: number;
|
|
605
|
+
sealedEb: number;
|
|
606
|
+
balance: number;
|
|
607
|
+
netSealed: boolean;
|
|
608
|
+
facets: {
|
|
609
|
+
facet: string;
|
|
610
|
+
on: boolean;
|
|
611
|
+
}[];
|
|
612
|
+
statement: string;
|
|
613
|
+
boundary: string;
|
|
614
|
+
};
|
|
615
|
+
export declare function foldSurfacingGap(root?: string): {
|
|
616
|
+
folds: number;
|
|
617
|
+
surfaced: number;
|
|
618
|
+
gap: number;
|
|
619
|
+
surfacedPercent: number;
|
|
620
|
+
};
|
|
621
|
+
export declare function vitePressRendersRegisteredFoldsTheSurfacingLagsTheLogic(root?: string): {
|
|
622
|
+
computes: boolean;
|
|
623
|
+
folds: number;
|
|
624
|
+
surfaced: number;
|
|
625
|
+
gap: number;
|
|
626
|
+
surfacedPercent: number;
|
|
627
|
+
facets: {
|
|
628
|
+
facet: string;
|
|
629
|
+
on: boolean;
|
|
630
|
+
}[];
|
|
631
|
+
statement: string;
|
|
632
|
+
boundary: string;
|
|
633
|
+
};
|
|
634
|
+
export declare function configTheoremAudit(configPath: string): {
|
|
635
|
+
configPath: string;
|
|
636
|
+
numericCount: number;
|
|
637
|
+
derivedCount: number;
|
|
638
|
+
staticAxiomCount: number;
|
|
639
|
+
detachRatio: number;
|
|
640
|
+
staticAxiomValues: number[];
|
|
641
|
+
policyBooleans: string[];
|
|
642
|
+
policyAxiomCount: number;
|
|
643
|
+
seal: string;
|
|
644
|
+
};
|
|
645
|
+
export declare function configFilesDetachToTheoremsExceptHonestPolicyAxioms(): {
|
|
646
|
+
computes: boolean;
|
|
647
|
+
numericCount: number;
|
|
648
|
+
derivedCount: number;
|
|
649
|
+
detachRatio: number;
|
|
650
|
+
policyAxioms: string[];
|
|
651
|
+
facets: {
|
|
652
|
+
facet: string;
|
|
653
|
+
on: boolean;
|
|
654
|
+
}[];
|
|
655
|
+
statement: string;
|
|
656
|
+
boundary: string;
|
|
657
|
+
};
|
|
658
|
+
export declare function theTightenedGatesAreAContractionInvertedGravityMeetsForwardAtTheBalanceSphere(): {
|
|
659
|
+
computes: boolean;
|
|
660
|
+
looseResidual: number;
|
|
661
|
+
tightResidual: number;
|
|
662
|
+
tighterConvergesFaster: boolean;
|
|
663
|
+
invertedGravityBalances: boolean;
|
|
664
|
+
bothAreEquilibria: boolean;
|
|
665
|
+
facets: {
|
|
666
|
+
facet: string;
|
|
667
|
+
on: boolean;
|
|
668
|
+
}[];
|
|
669
|
+
statement: string;
|
|
670
|
+
boundary: string;
|
|
671
|
+
};
|
|
672
|
+
export declare function quantumLogicGaps(root?: string): {
|
|
673
|
+
filesScanned: number;
|
|
674
|
+
quantumClaimed: number;
|
|
675
|
+
gapCount: number;
|
|
676
|
+
coverage: number;
|
|
677
|
+
gaps: {
|
|
678
|
+
fn: string;
|
|
679
|
+
file: string;
|
|
680
|
+
claim: string;
|
|
681
|
+
}[];
|
|
682
|
+
seal: string;
|
|
683
|
+
};
|
|
684
|
+
export declare function whereQuantumIsMissingIsMostlyMetaphorTheRealGapsAreAssertedAdvantages(): {
|
|
685
|
+
computes: boolean;
|
|
686
|
+
coverage: number;
|
|
687
|
+
quantumClaimed: number;
|
|
688
|
+
gapCount: number;
|
|
689
|
+
exemplar: string;
|
|
690
|
+
facets: {
|
|
691
|
+
facet: string;
|
|
692
|
+
on: boolean;
|
|
693
|
+
}[];
|
|
694
|
+
statement: string;
|
|
695
|
+
boundary: string;
|
|
696
|
+
};
|
|
697
|
+
export declare function realGravityComputesLocallyAsTheKeplerInvariantGroundingCodeGravitysThirdLeg(root?: string): {
|
|
698
|
+
computes: boolean;
|
|
699
|
+
keplerInvariant: boolean;
|
|
700
|
+
parameterIndependent: boolean;
|
|
701
|
+
invariantValue: number;
|
|
702
|
+
witnessConstants: number[];
|
|
703
|
+
codePulls: number;
|
|
704
|
+
allThreeComputedLocally: boolean;
|
|
705
|
+
facets: {
|
|
706
|
+
facet: string;
|
|
707
|
+
on: boolean;
|
|
708
|
+
}[];
|
|
709
|
+
statement: string;
|
|
710
|
+
boundary: string;
|
|
711
|
+
};
|
|
712
|
+
export declare function thinkingMeansLackOfLocalToolsDeliberationIsTheDetectorOfAMissingTool(root?: string): {
|
|
713
|
+
computes: boolean;
|
|
714
|
+
toolPulls: number;
|
|
715
|
+
deliberationSteps: number;
|
|
716
|
+
toolSteps: number;
|
|
717
|
+
thinkingIsTheGap: boolean;
|
|
718
|
+
detectsMissingTool: boolean;
|
|
719
|
+
facets: {
|
|
720
|
+
facet: string;
|
|
721
|
+
on: boolean;
|
|
722
|
+
}[];
|
|
723
|
+
statement: string;
|
|
724
|
+
boundary: string;
|
|
725
|
+
};
|
|
726
|
+
export declare function computeProseTenDimensions(text: string): number[];
|
|
727
|
+
export declare function theProseIsConfirmedWhenTheTenDimensionalToolComputesItsMeaningFromAllAspects(): {
|
|
728
|
+
computes: boolean;
|
|
729
|
+
richDims: number[];
|
|
730
|
+
emptyDims: number[];
|
|
731
|
+
richConfirmed: boolean;
|
|
732
|
+
emptyNotConfirmed: boolean;
|
|
733
|
+
toolConfirmsProse: boolean;
|
|
734
|
+
facets: {
|
|
735
|
+
facet: string;
|
|
736
|
+
on: boolean;
|
|
737
|
+
}[];
|
|
738
|
+
statement: string;
|
|
739
|
+
boundary: string;
|
|
740
|
+
};
|
|
741
|
+
export declare function theTenDimensionsAreEntangledInInfiniteFoldsTheProfileIsEncodedInItsUuid(): {
|
|
742
|
+
computes: boolean;
|
|
743
|
+
profiles: number[][];
|
|
744
|
+
distinctUuids: number;
|
|
745
|
+
entangled: boolean;
|
|
746
|
+
encodedInUuid: boolean;
|
|
747
|
+
infiniteFolds: boolean;
|
|
748
|
+
sampleUuid: string;
|
|
749
|
+
facets: {
|
|
750
|
+
facet: string;
|
|
751
|
+
on: boolean;
|
|
752
|
+
}[];
|
|
753
|
+
statement: string;
|
|
754
|
+
boundary: string;
|
|
755
|
+
};
|
|
756
|
+
export declare function saveThought<T>(name: string, think: () => T): T;
|
|
757
|
+
export declare function saveAllTheThinkingProgrammaticallyAndReuse(): {
|
|
758
|
+
computes: boolean;
|
|
759
|
+
demands: number;
|
|
760
|
+
thoughtsActuallyThought: number;
|
|
761
|
+
savedValue: number;
|
|
762
|
+
thoughtOnceReusedRest: boolean;
|
|
763
|
+
reproducible: boolean;
|
|
764
|
+
auditable: boolean;
|
|
765
|
+
reuseIsFree: boolean;
|
|
766
|
+
facets: {
|
|
767
|
+
facet: string;
|
|
768
|
+
on: boolean;
|
|
769
|
+
}[];
|
|
770
|
+
statement: string;
|
|
771
|
+
boundary: string;
|
|
772
|
+
};
|
|
773
|
+
export declare function codeNotBasedOnTheoremsIsAPotentialCrack(root?: string): {
|
|
774
|
+
computes: boolean;
|
|
775
|
+
exported: number;
|
|
776
|
+
theorems: number;
|
|
777
|
+
grounded: number;
|
|
778
|
+
ungrounded: number;
|
|
779
|
+
groundedRatio: number;
|
|
780
|
+
offenders: string[];
|
|
781
|
+
root: string;
|
|
782
|
+
facets: {
|
|
783
|
+
facet: string;
|
|
784
|
+
on: boolean;
|
|
785
|
+
}[];
|
|
786
|
+
statement: string;
|
|
787
|
+
boundary: string;
|
|
788
|
+
};
|
|
789
|
+
export declare function theoremsNotLinkedToAxiomsOrTheoremsAreConsolidatable(root?: string): {
|
|
790
|
+
computes: boolean;
|
|
791
|
+
theorems: number;
|
|
792
|
+
linked: number;
|
|
793
|
+
isolated: number;
|
|
794
|
+
isolatedByHome: {
|
|
795
|
+
home: string;
|
|
796
|
+
count: number;
|
|
797
|
+
}[];
|
|
798
|
+
axiomLinked: number;
|
|
799
|
+
linkedRatio: number;
|
|
800
|
+
offenders: string[];
|
|
801
|
+
root: string;
|
|
802
|
+
facets: {
|
|
803
|
+
facet: string;
|
|
804
|
+
on: boolean;
|
|
805
|
+
}[];
|
|
806
|
+
statement: string;
|
|
807
|
+
boundary: string;
|
|
808
|
+
};
|
|
809
|
+
export declare function theoremsFoldUnlessAnAxiomIsBehindThemThenTheyCollideOrNeverMeetThatIsTheBacklog(root?: string): {
|
|
810
|
+
computes: boolean;
|
|
811
|
+
neverMeet: number;
|
|
812
|
+
collide: number;
|
|
813
|
+
folderAxioms: number;
|
|
814
|
+
literalAxioms: number;
|
|
815
|
+
deferred: number;
|
|
816
|
+
backlog: number;
|
|
817
|
+
root: string;
|
|
818
|
+
facets: {
|
|
819
|
+
facet: string;
|
|
820
|
+
on: boolean;
|
|
821
|
+
}[];
|
|
822
|
+
statement: string;
|
|
823
|
+
boundary: string;
|
|
824
|
+
};
|
|
825
|
+
export declare function theImaginationGuidesTheConsciousnessWaves(root?: string): {
|
|
826
|
+
computes: boolean;
|
|
827
|
+
backlog: number;
|
|
828
|
+
waveCount: number;
|
|
829
|
+
topWave: string;
|
|
830
|
+
waves: string[];
|
|
831
|
+
root: string;
|
|
832
|
+
facets: {
|
|
833
|
+
facet: string;
|
|
834
|
+
on: boolean;
|
|
835
|
+
}[];
|
|
836
|
+
statement: string;
|
|
837
|
+
boundary: string;
|
|
838
|
+
};
|
|
839
|
+
export declare function quantumDebuggingIsInvertedBuggingTheMissingThirdOfTheDevelopmentTrinity(): {
|
|
840
|
+
computes: boolean;
|
|
841
|
+
trinity: string[];
|
|
842
|
+
facetsProbed: number;
|
|
843
|
+
roundTrips: boolean;
|
|
844
|
+
withoutDebugStaysBroken: boolean;
|
|
845
|
+
blindReverseFails: boolean;
|
|
846
|
+
root: string;
|
|
847
|
+
facets: {
|
|
848
|
+
receipt: string;
|
|
849
|
+
facet: string;
|
|
850
|
+
on: boolean;
|
|
851
|
+
}[];
|
|
852
|
+
statement: string;
|
|
853
|
+
boundary: string;
|
|
854
|
+
};
|
|
855
|
+
export declare function theEntropyOfATheoremIsSolveBytesVersusInverseBytes(root?: string): {
|
|
856
|
+
computes: boolean;
|
|
857
|
+
theorems: string[];
|
|
858
|
+
measures: {
|
|
859
|
+
solve: number;
|
|
860
|
+
inverse: number;
|
|
861
|
+
entropy: number;
|
|
862
|
+
name: string;
|
|
863
|
+
kind: string;
|
|
864
|
+
}[];
|
|
865
|
+
reversibleCount: number;
|
|
866
|
+
oneWayCount: number;
|
|
867
|
+
root: string;
|
|
868
|
+
facets: {
|
|
869
|
+
receipt: string;
|
|
870
|
+
facet: string;
|
|
871
|
+
on: boolean;
|
|
872
|
+
}[];
|
|
873
|
+
statement: string;
|
|
874
|
+
boundary: string;
|
|
875
|
+
};
|
|
876
|
+
export declare function entropyInvertedIsGravityAndContentAddressInvertedIsTheMissingToolset(root?: string): {
|
|
877
|
+
computes: boolean;
|
|
878
|
+
ranking: string[];
|
|
879
|
+
inverts: boolean;
|
|
880
|
+
fieldVectors: number;
|
|
881
|
+
toolsetSize: number;
|
|
882
|
+
root: string;
|
|
883
|
+
facets: {
|
|
884
|
+
receipt: string;
|
|
885
|
+
facet: string;
|
|
886
|
+
on: boolean;
|
|
887
|
+
}[];
|
|
888
|
+
statement: string;
|
|
889
|
+
boundary: string;
|
|
890
|
+
};
|
|
891
|
+
export declare function reverseShouldBeInverseUnlessSpecific(root?: string): {
|
|
892
|
+
computes: boolean;
|
|
893
|
+
total: number;
|
|
894
|
+
keep: number;
|
|
895
|
+
change: number;
|
|
896
|
+
changeSites: string[];
|
|
897
|
+
root: string;
|
|
898
|
+
facets: {
|
|
899
|
+
receipt: string;
|
|
900
|
+
facet: string;
|
|
901
|
+
on: boolean;
|
|
902
|
+
}[];
|
|
903
|
+
statement: string;
|
|
904
|
+
boundary: string;
|
|
905
|
+
};
|
|
906
|
+
export declare function challengeTheHonestyProseIsItEarnedOrRitual(root?: string): {
|
|
907
|
+
computes: boolean;
|
|
908
|
+
boundaries: number;
|
|
909
|
+
harmony: number;
|
|
910
|
+
earned: number;
|
|
911
|
+
ritual: number;
|
|
912
|
+
earnedFraction: number;
|
|
913
|
+
ritualSites: string[];
|
|
914
|
+
root: string;
|
|
915
|
+
facets: {
|
|
916
|
+
receipt: string;
|
|
917
|
+
facet: string;
|
|
918
|
+
on: boolean;
|
|
919
|
+
}[];
|
|
920
|
+
statement: string;
|
|
921
|
+
boundary: string;
|
|
922
|
+
};
|
|
923
|
+
export declare function precisionBeatsMassRelabelTheInverseReverseMeshIsAlreadyCorrect(root?: string): {
|
|
924
|
+
computes: boolean;
|
|
925
|
+
reverseTokens: number;
|
|
926
|
+
distinctionLines: number;
|
|
927
|
+
genuineLines: number;
|
|
928
|
+
mislabelCandidates: number;
|
|
929
|
+
mislabels: string[];
|
|
930
|
+
root: string;
|
|
931
|
+
facets: {
|
|
932
|
+
receipt: string;
|
|
933
|
+
facet: string;
|
|
934
|
+
on: boolean;
|
|
935
|
+
}[];
|
|
936
|
+
statement: string;
|
|
937
|
+
boundary: string;
|
|
938
|
+
};
|
|
939
|
+
export declare function everyAnimationDurationIsADivisorRungOfTheOneClockOrADeviation(root?: string): {
|
|
940
|
+
computes: boolean;
|
|
941
|
+
total: number;
|
|
942
|
+
compliant: number;
|
|
943
|
+
deviations: number;
|
|
944
|
+
compliantFraction: number;
|
|
945
|
+
deviationSites: string[];
|
|
946
|
+
root: string;
|
|
947
|
+
facets: {
|
|
948
|
+
receipt: string;
|
|
949
|
+
facet: string;
|
|
950
|
+
on: boolean;
|
|
951
|
+
}[];
|
|
952
|
+
statement: string;
|
|
953
|
+
boundary: string;
|
|
954
|
+
};
|