universal-physics-tensor 0.30.0 → 0.32.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/README.md +19 -4
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +15 -6
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +76 -6
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/map.d.ts.map +1 -1
- package/dist/cli/commands/map.js +8 -1
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli-api.d.ts +2 -0
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +3 -0
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +86 -0
- package/dist/composition/adjudication.d.ts.map +1 -0
- package/dist/composition/adjudication.js +125 -0
- package/dist/composition/adjudication.js.map +1 -0
- package/dist/composition/canonical-graph.d.ts +4 -1
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +19 -4
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/compose.d.ts +20 -0
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +45 -0
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/discovery.d.ts +28 -1
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +54 -5
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/quantities/common.d.ts.map +1 -1
- package/dist/composition/quantities/common.js +8 -2
- package/dist/composition/quantities/common.js.map +1 -1
- package/dist/composition/quantities/condensed-matter.d.ts.map +1 -1
- package/dist/composition/quantities/condensed-matter.js +4 -1
- package/dist/composition/quantities/condensed-matter.js.map +1 -1
- package/dist/composition/quantities/fields.d.ts.map +1 -1
- package/dist/composition/quantities/fields.js +3 -1
- package/dist/composition/quantities/fields.js.map +1 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +1 -1
- package/dist/composition/quantities/gravitation-cosmology.js +3 -1
- package/dist/composition/quantities/gravitation-cosmology.js.map +1 -1
- package/dist/composition/quantities/quantum.d.ts.map +1 -1
- package/dist/composition/quantities/quantum.js +9 -4
- package/dist/composition/quantities/quantum.js.map +1 -1
- package/dist/index.d.ts +4 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +9 -0
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -247,9 +247,8 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
|
|
|
247
247
|
|
|
248
248
|
## Development Status
|
|
249
249
|
|
|
250
|
-
**Current version:** v0.
|
|
251
|
-
|
|
252
|
-
parser-consolidation program publishes to npm once all phases land) — building on
|
|
250
|
+
**Current version:** v0.31.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
|
|
251
|
+
matches (registry-verified 2026-07-02) — building on
|
|
253
252
|
the **v0.8.0 → v0.23.0** rollup arc (composition
|
|
254
253
|
graph + GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX
|
|
255
254
|
Phase C/D, the full catalog→graph migration, the bridge-inference +
|
|
@@ -272,11 +271,27 @@ adds **`upt map --equation`** — drop your own equation onto the map, with
|
|
|
272
271
|
public **`parsePhysics`** (string → dimensional `ExprNode`) and single-unknown
|
|
273
272
|
dimensional inference. v0.27.0 **consolidates the ASTs** — both parser front-ends
|
|
274
273
|
now transpile through one normalized path to `ExprNode`, the single semantic IR.
|
|
274
|
+
v0.28.0 is the first npm release since v0.25.0 (npm `latest` jumps
|
|
275
|
+
0.25.0 → 0.28.0; v0.26.0/v0.27.0 were GitHub-only), shipping the Adam+Eve
|
|
276
|
+
**canonical-L-layer expansion 26 → 66 equations**. v0.29.0, the "three
|
|
277
|
+
frontiers" release, lands the catalog's first **established-bridge real-data
|
|
278
|
+
confrontation** — `confrontBE52` vs Mercury's anomalous perihelion advance,
|
|
279
|
+
agreeing within 1σ (data-confronted bridges 2 → 3) — plus three adjudication
|
|
280
|
+
passes that closed out the discovery-pipeline's candidate sets (8 machine-
|
|
281
|
+
surfaced candidates, 0 false positives promoted). v0.30.0 is a **CLI
|
|
282
|
+
overhaul**: `bin/upt.mjs` shrinks to a ~22-line shim over a typed `src/cli/`
|
|
283
|
+
module, every data-bearing command gains a `--json` envelope, `--source=
|
|
284
|
+
catalog|canonical|both` extends to all 8 graph-analysis commands, and
|
|
285
|
+
unknown/mistyped flags now exit 2 instead of being silently ignored. v0.31.0
|
|
286
|
+
(discovery-hardening Phase 1) adds an **adjudication ledger**
|
|
287
|
+
(`src/composition/adjudication.ts`) plus a calibration benchmark, so `upt
|
|
288
|
+
discover` remembers past human verdicts and folds recorded decoy/entailed
|
|
289
|
+
candidates out of its default output instead of re-surfacing them every run.
|
|
275
290
|
|
|
276
291
|
| Metric | Value |
|
|
277
292
|
|---|---|
|
|
278
293
|
| Bridge catalog | **44** (IDs 11-54) — 8 established · 33 speculative · 3 highly-speculative · 0 invalid; membership-adjudicated **36 bridges · 5 not-a-bridge · 3 contested**; **41-edge composition graph** (full migration, 131 centralized quantity nodes) with a bridge-inference suite — **identifiability classifier**, **retrodiction harness**, **Buckingham-π enumerator**, unified by an **`explainQuantity`** entry point, plus (v0.12) the candidate-vetting **discovery loop**, regime-prediction map, empirical-coverage audit, and **symbolic composition** (the Observable contract + MathTS simplification) |
|
|
279
|
-
| Test suite | **
|
|
294
|
+
| Test suite | **3431** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 317 files — gated by CI |
|
|
280
295
|
| `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
|
|
281
296
|
| GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
|
|
282
297
|
| First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"connectors.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"connectors.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA6D/E,eAAO,MAAM,OAAO,EAAE,OAMrB,CAAC"}
|
|
@@ -5,22 +5,31 @@ const FLAGS = [
|
|
|
5
5
|
{ name: '--source', valueStyle: 'attached' },
|
|
6
6
|
{ name: '--json', valueStyle: 'none' },
|
|
7
7
|
];
|
|
8
|
-
const HELP = `upt connectors
|
|
9
|
-
Of the
|
|
10
|
-
core via a same-dimension identification? The structural
|
|
11
|
-
same-kind connectors are the motivated set for
|
|
8
|
+
const HELP = `upt connectors [--source=catalog|canonical|both]
|
|
9
|
+
Of the graph's ISOLATED bridges/laws, which could connect to the
|
|
10
|
+
anchored core via a same-dimension identification? The structural
|
|
11
|
+
frontier — same-kind connectors are the motivated set for
|
|
12
|
+
physicist review.
|
|
13
|
+
--source defaults to 'both' (catalog + canonical) for the honest,
|
|
14
|
+
all-known-physics answer; --source=catalog isolates the 20-bridge
|
|
15
|
+
catalog-only tail.`;
|
|
12
16
|
const EPISTEMICS = '⚠ A REVIEW SURFACE: same dimension is a WEAK prior; most are decoys (a Förster\n' +
|
|
13
17
|
' radius is not a Schwarzschild radius). Same-kind (shared name token) = stronger.';
|
|
14
18
|
async function run(ctx) {
|
|
15
19
|
const { args, api, out } = ctx;
|
|
16
|
-
|
|
20
|
+
// connectors asks a pure connectivity question, so it defaults to
|
|
21
|
+
// --source=both (catalog + canonical) rather than graphs.ts's catalog
|
|
22
|
+
// fallback used by the other --source commands (e.g. discover, which
|
|
23
|
+
// keeps catalog).
|
|
24
|
+
const sourceFlags = args.flags.has('source') ? args.flags : new Map(args.flags).set('source', ['both']);
|
|
25
|
+
const { graph, label, source } = resolveGraph(api, sourceFlags);
|
|
17
26
|
const r = api.proposeOrphanConnectors(graph);
|
|
18
27
|
if (args.flags.has('json')) {
|
|
19
28
|
emitJson({ command: 'connectors', source, epistemics: EPISTEMICS, result: r }, ctx.write);
|
|
20
29
|
return 0;
|
|
21
30
|
}
|
|
22
31
|
out('\nOrphan connectors — same-dimension identifications that would pull an ISOLATED');
|
|
23
|
-
out(
|
|
32
|
+
out(`bridge into the anchored core (the graph's structural frontier). [source: ${label}]`);
|
|
24
33
|
out('⚠ A REVIEW SURFACE: same dimension is a WEAK prior; most are decoys (a Förster');
|
|
25
34
|
out(' radius is not a Schwarzschild radius). Same-kind (shared name token) = stronger.\n');
|
|
26
35
|
out(` ${r.connectedOrphans.length} of the isolated bridges have a same-kind connector; ` +
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"connectors.js","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG
|
|
1
|
+
{"version":3,"file":"connectors.js","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;2BAOc,CAAC;AAE5B,MAAM,UAAU,GACd,kFAAkF;IAClF,oFAAoF,CAAC;AAEvF,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,kBAAkB;IAClB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAChE,MAAM,CAAC,GAAG,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAE7C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1F,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACxF,GAAG,CAAC,8EAA8E,KAAK,GAAG,CAAC,CAAC;IAC5F,GAAG,CAAC,gFAAgF,CAAC,CAAC;IACtF,GAAG,CAAC,sFAAsF,CAAC,CAAC;IAC5F,GAAG,CACD,KAAK,CAAC,CAAC,gBAAgB,CAAC,MAAM,uDAAuD;QACnF,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,2BAA2B,CAC5D,CAAC;IACF,GAAG,CAAC,8EAA8E,CAAC,CAAC;IACpF,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAChC,GAAG,CAAC,UAAU,CAAC,CAAC,UAAU,cAAc,CAAC,CAAC;YAC1C,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;QAC5B,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,GAAG,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,GAAG,CAAC,+DAA+D,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtG,GAAG,CAAC,wFAAwF,CAAC,CAAC;IAC9F,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACxF,GAAG,CAAC,+EAA+E,CAAC,CAAC;IACrF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA2N/E,eAAO,MAAM,OAAO,EAAE,OAMrB,CAAC"}
|
|
@@ -7,6 +7,7 @@ const FLAGS = [
|
|
|
7
7
|
{ name: '--max-orders', valueStyle: 'attached' },
|
|
8
8
|
{ name: '--anchor', valueStyle: 'attached', repeatable: true },
|
|
9
9
|
{ name: '--derive', valueStyle: 'none' },
|
|
10
|
+
{ name: '--show-adjudicated', valueStyle: 'none' },
|
|
10
11
|
{ name: '--json', valueStyle: 'none' },
|
|
11
12
|
];
|
|
12
13
|
const HELP = `upt discover [--source=catalog|canonical|both]
|
|
@@ -24,7 +25,11 @@ const HELP = `upt discover [--source=catalog|canonical|both]
|
|
|
24
25
|
keeps more candidates 'promising', tighter N falsifies more as clashes.
|
|
25
26
|
--anchor=k=v[,k2=v2] overrides the numeric anchor (default mass=M_sun)
|
|
26
27
|
for the consistency/closure check. Both reshape the candidate pool that
|
|
27
|
-
--derive consumes
|
|
28
|
+
--derive consumes.
|
|
29
|
+
Candidates a physicist has already adjudicated (docs/research/*-adjudication.md)
|
|
30
|
+
fold out of the PROMISING list by default (decoy/entailed verdicts only —
|
|
31
|
+
review memory, not a re-litigation prompt); --show-adjudicated lists them
|
|
32
|
+
again with their recorded verdict.`;
|
|
28
33
|
const EPISTEMICS = '⚠ a REVIEW SURFACE: `promising` means "worth a physicist\'s minute", not "true".\n' +
|
|
29
34
|
' Each candidate hypothesises an identification a≡b and tests its consequences.';
|
|
30
35
|
// ── discover --derive (identity-consequence proposals) ────────────────────
|
|
@@ -58,15 +63,65 @@ function deriveReport(api, ranked, label, out) {
|
|
|
58
63
|
}
|
|
59
64
|
out('');
|
|
60
65
|
}
|
|
66
|
+
/** Verdicts that fold a candidate out of the printed PROMISING list by
|
|
67
|
+
* default — review memory, not news. `deferred`/`genuine` stay listed
|
|
68
|
+
* (see the module-level docstring on `AdjudicationVerdict`). */
|
|
69
|
+
function foldsOut(verdict) {
|
|
70
|
+
return verdict === 'decoy' || verdict === 'entailed';
|
|
71
|
+
}
|
|
72
|
+
/** Tally an annotated candidate set's recorded verdicts, for `--json`'s
|
|
73
|
+
* `adjudicationSummary` (over ALL candidates, every funnel bucket). */
|
|
74
|
+
function summarizeAdjudications(candidates) {
|
|
75
|
+
const summary = { total: 0, genuine: 0, decoy: 0, entailed: 0, deferred: 0 };
|
|
76
|
+
for (const c of candidates) {
|
|
77
|
+
if (!c.adjudication)
|
|
78
|
+
continue;
|
|
79
|
+
summary.total++;
|
|
80
|
+
summary[c.adjudication.verdict]++;
|
|
81
|
+
}
|
|
82
|
+
return summary;
|
|
83
|
+
}
|
|
84
|
+
/** The reconciling line printed under PROMISING when some of it carries a
|
|
85
|
+
* recorded verdict — so the folded/shorter list never looks inconsistent
|
|
86
|
+
* against the funnel line's raw promising count. */
|
|
87
|
+
function adjudicationSummaryLine(promising, promisingCount) {
|
|
88
|
+
const adjudicated = promising.filter((r) => r.adjudication);
|
|
89
|
+
const counts = { genuine: 0, decoy: 0, entailed: 0, deferred: 0 };
|
|
90
|
+
let folded = 0;
|
|
91
|
+
for (const r of adjudicated) {
|
|
92
|
+
const v = r.adjudication.verdict;
|
|
93
|
+
counts[v]++;
|
|
94
|
+
if (foldsOut(v))
|
|
95
|
+
folded++;
|
|
96
|
+
}
|
|
97
|
+
const parts = ['decoy', 'entailed', 'deferred', 'genuine']
|
|
98
|
+
.filter((v) => counts[v] > 0)
|
|
99
|
+
.map((v) => `${counts[v]} ${v}`);
|
|
100
|
+
const total = adjudicated.length;
|
|
101
|
+
const verb = total === 1 ? 'carries' : 'carry';
|
|
102
|
+
const noun = total === 1 ? 'a recorded verdict' : 'recorded verdicts';
|
|
103
|
+
const foldNote = folded === total ? '— folded' : folded === 0 ? '— shown below' : `— ${folded} folded`;
|
|
104
|
+
return ` adjudicated: ${total} of the ${promisingCount} promising ${verb} ${noun} (${parts.join(', ')}) ${foldNote}; --show-adjudicated to list`;
|
|
105
|
+
}
|
|
61
106
|
async function run(ctx) {
|
|
62
107
|
const { args, api, out } = ctx;
|
|
63
108
|
const { graph, label, source } = resolveGraph(api, args.flags);
|
|
64
109
|
const opts = parseDiscoveryOpts(args.flags);
|
|
65
110
|
const ranked = api.rankDiscoveries(graph, opts);
|
|
66
111
|
const isDerive = args.flags.has('derive');
|
|
112
|
+
const annotated = !isDerive ? api.annotateAdjudications(ranked) : [];
|
|
113
|
+
const showAdjudicated = args.flags.has('show-adjudicated');
|
|
67
114
|
if (args.flags.has('json')) {
|
|
68
|
-
const result = isDerive ? api.deriveProposedBridges(ranked) :
|
|
69
|
-
|
|
115
|
+
const result = isDerive ? api.deriveProposedBridges(ranked) : annotated;
|
|
116
|
+
const envelope = {
|
|
117
|
+
command: 'discover',
|
|
118
|
+
source,
|
|
119
|
+
options: opts,
|
|
120
|
+
epistemics: EPISTEMICS,
|
|
121
|
+
result,
|
|
122
|
+
...(isDerive ? {} : { adjudicationSummary: summarizeAdjudications(annotated) }),
|
|
123
|
+
};
|
|
124
|
+
emitJson(envelope, ctx.write);
|
|
70
125
|
return 0;
|
|
71
126
|
}
|
|
72
127
|
if (Object.keys(opts).length) {
|
|
@@ -82,22 +137,31 @@ async function run(ctx) {
|
|
|
82
137
|
deriveReport(api, ranked, label, out);
|
|
83
138
|
return 0;
|
|
84
139
|
}
|
|
85
|
-
const by = (v) =>
|
|
140
|
+
const by = (v) => annotated.filter((r) => r.verdict === v);
|
|
86
141
|
const promising = by('promising');
|
|
87
142
|
const inert = by('inert');
|
|
88
143
|
const contra = by('contradictory');
|
|
89
144
|
const clash = by('magnitude-clash');
|
|
145
|
+
const axisClash = by('axis-clash');
|
|
90
146
|
out(`\nDiscovery — link candidates VETTED through the inference suite [source: ${label}]`);
|
|
91
147
|
out('⚠ a REVIEW SURFACE: `promising` means "worth a physicist\'s minute", not "true".');
|
|
92
148
|
out(' Each candidate hypothesises an identification a≡b and tests its consequences.\n');
|
|
93
|
-
out(` funnel: ${
|
|
149
|
+
out(` funnel: ${annotated.length} candidates → ${promising.length} promising ` +
|
|
94
150
|
`· ${inert.length} inert · ${clash.length} magnitude-clash ` +
|
|
95
|
-
`· ${contra.length} contradictory (falsified)\n`);
|
|
151
|
+
`· ${contra.length} contradictory (falsified) · ${axisClash.length} axis-clash\n`);
|
|
96
152
|
if (promising.length) {
|
|
97
153
|
out(' PROMISING (merges disconnected physics, unlocks quantities, stays consistent):');
|
|
98
154
|
for (const r of promising) {
|
|
155
|
+
if (r.adjudication && foldsOut(r.adjudication.verdict) && !showAdjudicated)
|
|
156
|
+
continue;
|
|
99
157
|
out(` ${(r.a + ' ≟ ' + r.b).padEnd(52)} [${r.dim}] score ${r.score}`);
|
|
100
158
|
out(` unlocks: ${r.unlocksFromAnchor.join(', ') || '—'}`);
|
|
159
|
+
if (r.adjudication) {
|
|
160
|
+
out(` [adjudicated: ${r.adjudication.verdict} — ${r.adjudication.grounds}]`);
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
if (promising.some((r) => r.adjudication)) {
|
|
164
|
+
out(adjudicationSummaryLine(promising, promising.length));
|
|
101
165
|
}
|
|
102
166
|
}
|
|
103
167
|
else {
|
|
@@ -123,6 +187,12 @@ async function run(ctx) {
|
|
|
123
187
|
out(` ${(r.a + ' ≟ ' + r.b).padEnd(52)} disagreeing node(s): ${r.inconsistentNodes.join(', ')}`);
|
|
124
188
|
}
|
|
125
189
|
}
|
|
190
|
+
if (axisClash.length) {
|
|
191
|
+
out(`\n AXIS-CLASH (identification falsified (stated regimes differ)):`);
|
|
192
|
+
for (const r of axisClash) {
|
|
193
|
+
out(` ${(r.a + ' ≟ ' + r.b).padEnd(52)} ${r.axisClashes.join('; ')}`);
|
|
194
|
+
}
|
|
195
|
+
}
|
|
126
196
|
out('\n (magnitude gate abstains where a representative value is unknown; weak priors on dimension.)');
|
|
127
197
|
return 0;
|
|
128
198
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAI1D,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE;IAChD,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE;IAC9D,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE;IACxC,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,EAAE;IAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;2CAmB8B,CAAC;AAE5C,MAAM,UAAU,GACd,oFAAoF;IACpF,iFAAiF,CAAC;AAEpF,6EAA6E;AAC7E,SAAS,YAAY,CACnB,GAAsB,EACtB,MAAkC,EAClC,KAAa,EACb,GAA4B;IAE5B,MAAM,SAAS,GAAG,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACpD,GAAG,CAAC,iFAAiF,KAAK,GAAG,CAAC,CAAC;IAC/F,GAAG,CAAC,oFAAoF,CAAC,CAAC;IAC1F,GAAG,CAAC,oFAAoF,CAAC,CAAC;IAC1F,GAAG,CAAC,kGAAkG,CAAC,CAAC;IACxG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,qFAAqF,CAAC,CAAC;QAC3F,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/E,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,MAAM,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC7E,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,EAAE,CAAC;QACd,CAAC;QACD,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjB,GAAG,CAAC,SAAS,CAAC,CAAC,YAAY,SAAS,CAAC,CAAC,oBAAoB,GAAG,MAAM,EAAE,CAAC,CAAC;QACvE,GAAG,CACD,eAAe,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE;YACjF,MAAM,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAC7H,CAAC;QACF,IAAI,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;YACtD,GAAG,CAAC,8BAA8B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;AACV,CAAC;AAED;;iEAEiE;AACjE,SAAS,QAAQ,CAAC,OAA4B;IAC5C,OAAO,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,UAAU,CAAC;AACvD,CAAC;AAED;wEACwE;AACxE,SAAS,sBAAsB,CAC7B,UAAyC;IAEzC,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,CAAC,YAAY;YAAE,SAAS;QAC9B,OAAO,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;IACpC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;qDAEqD;AACrD,SAAS,uBAAuB,CAAC,SAAwC,EAAE,cAAsB;IAC/F,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAClE,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAa,CAAC,OAAO,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,IAAI,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IACD,MAAM,KAAK,GAAI,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAW;SAClE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACtE,MAAM,QAAQ,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,MAAM,SAAS,CAAC;IACvG,OAAO,kBAAkB,KAAK,WAAW,cAAc,cAAc,IAAI,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,8BAA8B,CAAC;AACpJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,EAA2B,CAAC;IAC/F,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAE3D,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,MAAM,QAAQ,GAAG;YACf,OAAO,EAAE,UAAU;YACnB,MAAM;YACN,OAAO,EAAE,IAA+B;YACxC,UAAU,EAAE,UAAU;YACtB,MAAM;YACN,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;SAChF,CAAC;QACF,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAClG,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpG,CAAC;QACD,GAAG,CAAC,yBAAyB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC;IACnC,GAAG,CAAC,8EAA8E,KAAK,GAAG,CAAC,CAAC;IAC5F,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACxF,GAAG,CAAC,mFAAmF,CAAC,CAAC;IACzF,GAAG,CACD,cAAc,SAAS,CAAC,MAAM,mBAAmB,SAAS,CAAC,MAAM,cAAc;QAC7E,MAAM,KAAK,CAAC,MAAM,cAAc,KAAK,CAAC,MAAM,oBAAoB;QAChE,MAAM,MAAM,CAAC,MAAM,kCAAkC,SAAS,CAAC,MAAM,eAAe,CACvF,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,GAAG,CAAC,kFAAkF,CAAC,CAAC;QACxF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe;gBAAE,SAAS;YACrF,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC1E,GAAG,CAAC,oBAAoB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBACnB,GAAG,CAAC,yBAAyB,CAAC,CAAC,YAAY,CAAC,OAAO,MAAM,CAAC,CAAC,YAAY,CAAC,OAAO,GAAG,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,+DAA+D,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAY,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,KAAK,EAAE,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,GAAG,CAAC,sEAAsE,CAAC,CAAC;QAC5E,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,GAAG,CAAC,oEAAoE,CAAC,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,GAAG,CAAC,kGAAkG,CAAC,CAAC;IACxG,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,WAAW,CAAC;IACtB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAgQ/E,eAAO,MAAM,OAAO,EAAE,OAMrB,CAAC"}
|
package/dist/cli/commands/map.js
CHANGED
|
@@ -36,6 +36,9 @@ const HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|d
|
|
|
36
36
|
Map how the equations LINK: connected components (clusters) of the
|
|
37
37
|
graph by shared quantities, the anchored core, the link hubs, and
|
|
38
38
|
the isolated tail.
|
|
39
|
+
--source defaults to 'both' (catalog + canonical) — a pure
|
|
40
|
+
connectivity question gets the honest, all-known-physics answer by
|
|
41
|
+
default; --source=catalog shows the bridge-catalog view alone.
|
|
39
42
|
--format=mermaid|dot|svg emits the VISUAL map (quantities = nodes,
|
|
40
43
|
equations = junctions colored by status, one subgraph per component).
|
|
41
44
|
text (default) is the unchanged linkage printout. svg renders the dot
|
|
@@ -110,7 +113,11 @@ function printEquationReport(api, model, user, out) {
|
|
|
110
113
|
}
|
|
111
114
|
async function run(ctx) {
|
|
112
115
|
const { args, api, out, err, write } = ctx;
|
|
113
|
-
|
|
116
|
+
// map asks a pure connectivity question, so it defaults to --source=both
|
|
117
|
+
// (catalog + canonical) rather than graphs.ts's catalog fallback used by
|
|
118
|
+
// the other --source commands (e.g. discover, which keeps catalog).
|
|
119
|
+
const sourceFlags = args.flags.has('source') ? args.flags : new Map(args.flags).set('source', ['both']);
|
|
120
|
+
const { graph, label, source } = resolveGraph(api, sourceFlags);
|
|
114
121
|
const fmtValues = args.flags.get('format');
|
|
115
122
|
const fmt = fmtValues && fmtValues.length > 0 ? fmtValues[fmtValues.length - 1] : 'text';
|
|
116
123
|
const isJson = args.flags.has('json');
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE;IACzC,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE;IAChD,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE;IAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE;IAC1C,4EAA4E;IAC5E,8EAA8E;IAC9E,2EAA2E;IAC3E,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE;IACjE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG
|
|
1
|
+
{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE;IACzC,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE;IAChD,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE;IAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE;IAC1C,4EAA4E;IAC5E,8EAA8E;IAC9E,2EAA2E;IAC3E,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE;IACjE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;sEAmByD,CAAC;AAEvE,wEAAwE;AACxE,gFAAgF;AAChF,sEAAsE;AACtE,SAAS,iBAAiB,CACxB,GAAsB,EACtB,KAA4B,EAC5B,KAA0B;IAE1B,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE;QACX,MAAM,EAAE,UAAmB;QAC3B,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,wBAAwB;AACxB,KAAK,UAAU,eAAe,CAC5B,GAAsB,EACtB,QAAgB,EAChB,KAA4B;IAE5B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0D,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;AACxD,CAAC;AAED,2EAA2E;AAC3E,sEAAsE;AACtE,SAAS,mBAAmB,CAC1B,GAAsB,EACtB,KAAe,EACf,IAAsB,EACtB,GAA4B;IAE5B,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,GAAG,CAAC,iCAAiC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;QACrC,GAAG,CACD,oCAAoC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAChG,IAAI,CAAC,eAAgB,CACtB,EAAE,CACJ,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7B,GAAG,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,gDAAgD,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,CAAC,wEAAwE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,GAAG,CACD,2BAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,CAAC,WAAW,SAAS,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC1I,CAAC;QACF,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM;YAAE,GAAG,CAAC,qBAAqB,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,gFAAgF,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,2DAA2D,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5G,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,sDAAsD,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IAC3C,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAEhE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACzF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEtC,IAAI,MAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IAED,2EAA2E;IAC3E,IAAI,IAAI,GAA4B,IAAI,CAAC;IACzC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,cAAc,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChH,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACrB,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,kDAAkD;QACxG,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,8BAA8B;QACjF,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,KAAoB,EAAiB,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,KAAK;KACT,CAAC;IAEF,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAA2D,CAAC;QAChE,IAAI,YAAiD,CAAC;QACtD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE;gBACrC,KAAK,EAAE,qBAAqB,KAAK,EAAE;gBACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;aACzC,CAAC,CAAC;YACH,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACtD,YAAY,GAAG;gBACb,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;gBAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;gBACrC,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;QACJ,CAAC;QACD,QAAQ,CACN;YACE,OAAO,EAAE,KAAK;YACd,MAAM;YACN,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;SAChE,EACD,KAAK,CACN,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QACxD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE;YACrC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc;SACf,CAAC,CAAC;QACH,mEAAmE;QACnE,IAAI,GAAW,CAAC;QAChB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9D,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,CAAC;gBACH,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;YAC3C,CAAC;YACD,GAAG,CAAC,cAAc,GAAG,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,eAAe,KAAK,CAAC,QAAQ,CAAC,MAAM,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC/G,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,2EAA2E;QAC3E,IAAI,IAAI;YAAE,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACrD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,CAAmC,EAAE,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;SACd,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,GAAG,CAAC,6EAA6E,KAAK,GAAG,CAAC,CAAC;IAC3F,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,oBAAoB,KAAK,CAAC,MAAM,WAAW,CAAC,CAAC,YAAY,yBAAyB,CAAC,CAAC;IAC5G,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,GAAG,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,MAAM,4CAA4C,CAAC,CAAC;IACpF,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,GAAG,CAAC,iFAAiF,CAAC,CAAC;IAEvF,iEAAiE;IACjE,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE;YACrC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SACzC,CAAC,CAAC;QACH,GAAG,CAAC,qBAAqB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAChD,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
|
package/dist/cli-api.d.ts
CHANGED
|
@@ -25,4 +25,6 @@ export { simplifyObservable } from './composition/expr-simplify.js';
|
|
|
25
25
|
export { CANONICAL_EQUATIONS, bridgesWithoutCanonicalPartner, } from './canonical/registry.js';
|
|
26
26
|
export { scanLinkages } from './canonical/linkage.js';
|
|
27
27
|
export { deriveProposedBridges } from './composition/proposed-bridges.js';
|
|
28
|
+
export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
|
|
29
|
+
export type { AnnotatedCandidate, CandidateAdjudication } from './composition/adjudication.js';
|
|
28
30
|
//# sourceMappingURL=cli-api.d.ts.map
|
package/dist/cli-api.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC"}
|
|
1
|
+
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAI1E,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC"}
|
package/dist/cli-api.js
CHANGED
|
@@ -28,4 +28,7 @@ export { simplifyObservable } from './composition/expr-simplify.js';
|
|
|
28
28
|
export { CANONICAL_EQUATIONS, bridgesWithoutCanonicalPartner, } from './canonical/registry.js';
|
|
29
29
|
export { scanLinkages } from './canonical/linkage.js';
|
|
30
30
|
export { deriveProposedBridges } from './composition/proposed-bridges.js';
|
|
31
|
+
// Adjudication ledger (composition/adjudication.ts) — annotates discovery
|
|
32
|
+
// candidates with recorded human verdicts; never mutates the funnel.
|
|
33
|
+
export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
|
|
31
34
|
//# sourceMappingURL=cli-api.js.map
|
package/dist/cli-api.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC"}
|
|
1
|
+
{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAE1E,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC"}
|
|
@@ -0,0 +1,86 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Adjudication ledger for machine-surfaced discovery candidates.
|
|
3
|
+
*
|
|
4
|
+
* Human verdicts on identification hypotheses (`a ≟ b`) are REVIEW MEMORY:
|
|
5
|
+
* once a physicist has disposed of a candidate, the funnel must not
|
|
6
|
+
* re-surface it as fresh. Verdicts NEVER mutate the catalog or graphs
|
|
7
|
+
* (the epistemic firewall) — they annotate discovery output only.
|
|
8
|
+
*
|
|
9
|
+
* Keyed by the order-normalized quantity-name pair. Proposed equations
|
|
10
|
+
* (`upt discover --derive`) inherit the verdict of the identification they
|
|
11
|
+
* were derived from (`derivedFrom.identification`).
|
|
12
|
+
*
|
|
13
|
+
* @module composition/adjudication
|
|
14
|
+
*/
|
|
15
|
+
import type { VettedCandidate } from './discovery.js';
|
|
16
|
+
/**
|
|
17
|
+
* Stable identity for an identification hypothesis: the two quantity names,
|
|
18
|
+
* sorted, joined with `~`. Deliberately excludes score/verdict/dimension so
|
|
19
|
+
* ids survive funnel-internal changes. NOT rename-proof: a quantity rename
|
|
20
|
+
* (alias disposition) must update `ADJUDICATIONS` in the SAME commit — the
|
|
21
|
+
* calibration benchmark's seed-resolution test enforces this.
|
|
22
|
+
*
|
|
23
|
+
* @public
|
|
24
|
+
*/
|
|
25
|
+
export declare function candidateId(a: string, b: string): string;
|
|
26
|
+
/**
|
|
27
|
+
* Verdict of a human adjudication OF THE IDENTIFICATION `a ≡ b` (never of a
|
|
28
|
+
* specific derived equation — derived equations inherit this as context):
|
|
29
|
+
* - `genuine` — real physics AND a new link (nothing seeded qualifies yet).
|
|
30
|
+
* - `entailed` — real physics already carried by the L-layer; not a new link.
|
|
31
|
+
* - `decoy` — dimensional coincidence / no mechanism; includes trivial and
|
|
32
|
+
* definitional identifications.
|
|
33
|
+
* - `deferred` — reviewed and consciously parked (≠ absent entry, which means
|
|
34
|
+
* never reviewed).
|
|
35
|
+
*
|
|
36
|
+
* @public
|
|
37
|
+
*/
|
|
38
|
+
export type AdjudicationVerdict = 'genuine' | 'decoy' | 'entailed' | 'deferred';
|
|
39
|
+
/** One adjudicated identification hypothesis. @public */
|
|
40
|
+
export interface CandidateAdjudication {
|
|
41
|
+
/** `candidateId(a, b)` of the identification. */
|
|
42
|
+
readonly id: string;
|
|
43
|
+
readonly verdict: AdjudicationVerdict;
|
|
44
|
+
/** Why — condensed from the adjudication record; never machine-generated. */
|
|
45
|
+
readonly grounds: string;
|
|
46
|
+
/** Repo-relative path of the adjudication document. */
|
|
47
|
+
readonly source: string;
|
|
48
|
+
/** ISO date the verdict was recorded. */
|
|
49
|
+
readonly date: string;
|
|
50
|
+
}
|
|
51
|
+
/**
|
|
52
|
+
* The seeded ledger — 2026-06 Adam+Eve adjudication rounds (8 → 0 genuine).
|
|
53
|
+
* Append-only by convention; entries are corrected, never silently removed.
|
|
54
|
+
*
|
|
55
|
+
* @public
|
|
56
|
+
*/
|
|
57
|
+
export declare const ADJUDICATIONS: readonly CandidateAdjudication[];
|
|
58
|
+
/** Look up the verdict for an identification, order-insensitive. @public */
|
|
59
|
+
export declare function adjudicationFor(a: string, b: string): CandidateAdjudication | undefined;
|
|
60
|
+
/**
|
|
61
|
+
* A `VettedCandidate` with its recorded verdict attached, when the ledger has
|
|
62
|
+
* one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees
|
|
63
|
+
* this — annotation is a command-layer concern (the epistemic firewall).
|
|
64
|
+
*
|
|
65
|
+
* @public
|
|
66
|
+
*/
|
|
67
|
+
export type AnnotatedCandidate = VettedCandidate & {
|
|
68
|
+
readonly adjudication?: CandidateAdjudication;
|
|
69
|
+
};
|
|
70
|
+
/**
|
|
71
|
+
* Attach each candidate's recorded verdict, if any. A pure map: preserves
|
|
72
|
+
* order and length, and leaves candidates without a ledger entry untouched
|
|
73
|
+
* (no `adjudication` key added).
|
|
74
|
+
*
|
|
75
|
+
* The discovery funnel's candidate pool is NOT guaranteed to be kebab-case
|
|
76
|
+
* slugs (`candidates` command sources plain quantity names like `A` or
|
|
77
|
+
* `impact_parameter` straight off `BridgeEdge`/canonical governing sets) —
|
|
78
|
+
* `candidateId` intentionally THROWS on those (the `~`-collision guard, see
|
|
79
|
+
* its docstring). A non-slug name can never be a ledger key (every
|
|
80
|
+
* `ADJUDICATIONS` entry is a valid slug), so such candidates are
|
|
81
|
+
* pre-filtered out of lookup rather than routed through the throwing path.
|
|
82
|
+
*
|
|
83
|
+
* @public
|
|
84
|
+
*/
|
|
85
|
+
export declare function annotateAdjudications(candidates: readonly VettedCandidate[]): readonly AnnotatedCandidate[];
|
|
86
|
+
//# sourceMappingURL=adjudication.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"adjudication.d.ts","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAMtD;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAEhF,yDAAyD;AACzD,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,qBAAqB,EAiEzD,CAAC;AAMF,4EAA4E;AAC5E,wBAAgB,eAAe,CAC7B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,qBAAqB,GAAG,SAAS,CAEnC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,SAAS,kBAAkB,EAAE,CAM/B"}
|
|
@@ -0,0 +1,125 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Adjudication ledger for machine-surfaced discovery candidates.
|
|
3
|
+
*
|
|
4
|
+
* Human verdicts on identification hypotheses (`a ≟ b`) are REVIEW MEMORY:
|
|
5
|
+
* once a physicist has disposed of a candidate, the funnel must not
|
|
6
|
+
* re-surface it as fresh. Verdicts NEVER mutate the catalog or graphs
|
|
7
|
+
* (the epistemic firewall) — they annotate discovery output only.
|
|
8
|
+
*
|
|
9
|
+
* Keyed by the order-normalized quantity-name pair. Proposed equations
|
|
10
|
+
* (`upt discover --derive`) inherit the verdict of the identification they
|
|
11
|
+
* were derived from (`derivedFrom.identification`).
|
|
12
|
+
*
|
|
13
|
+
* @module composition/adjudication
|
|
14
|
+
*/
|
|
15
|
+
/** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide
|
|
16
|
+
* (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */
|
|
17
|
+
const SLUG = /^[a-z0-9][a-z0-9-]*$/u;
|
|
18
|
+
/**
|
|
19
|
+
* Stable identity for an identification hypothesis: the two quantity names,
|
|
20
|
+
* sorted, joined with `~`. Deliberately excludes score/verdict/dimension so
|
|
21
|
+
* ids survive funnel-internal changes. NOT rename-proof: a quantity rename
|
|
22
|
+
* (alias disposition) must update `ADJUDICATIONS` in the SAME commit — the
|
|
23
|
+
* calibration benchmark's seed-resolution test enforces this.
|
|
24
|
+
*
|
|
25
|
+
* @public
|
|
26
|
+
*/
|
|
27
|
+
export function candidateId(a, b) {
|
|
28
|
+
if (!SLUG.test(a) || !SLUG.test(b)) {
|
|
29
|
+
throw new Error(`candidateId: quantity names must be kebab-case slugs (got '${a}', '${b}')`);
|
|
30
|
+
}
|
|
31
|
+
return a <= b ? `${a}~${b}` : `${b}~${a}`;
|
|
32
|
+
}
|
|
33
|
+
/**
|
|
34
|
+
* The seeded ledger — 2026-06 Adam+Eve adjudication rounds (8 → 0 genuine).
|
|
35
|
+
* Append-only by convention; entries are corrected, never silently removed.
|
|
36
|
+
*
|
|
37
|
+
* @public
|
|
38
|
+
*/
|
|
39
|
+
export const ADJUDICATIONS = [
|
|
40
|
+
{
|
|
41
|
+
id: candidateId('erasure-energy', 'photon-energy'),
|
|
42
|
+
verdict: 'decoy',
|
|
43
|
+
grounds: "Dimensional coincidence; no mechanism. Landauer's k_B·T·ln2 is a statistical lower bound on heat dissipated to a reservoir; equating it to a single photon's hν has no universal mechanism — it rewrites thermal energy in frequency units.",
|
|
44
|
+
source: 'docs/research/proposed-equations-adjudication.md',
|
|
45
|
+
date: '2026-06-21',
|
|
46
|
+
},
|
|
47
|
+
{
|
|
48
|
+
id: candidateId('dark-fermion-mass', 'erasure-energy'),
|
|
49
|
+
verdict: 'decoy',
|
|
50
|
+
grounds: 'Dimensional coincidence; no mechanism. A speculative hidden-sector mass m = gv set equal to a context-dependent erasure energy — no model links a particle mass to an arbitrary processor\'s temperature.',
|
|
51
|
+
source: 'docs/research/proposed-equations-adjudication.md',
|
|
52
|
+
date: '2026-06-21',
|
|
53
|
+
},
|
|
54
|
+
{
|
|
55
|
+
id: candidateId('photon-energy', 'rest-energy'),
|
|
56
|
+
verdict: 'entailed',
|
|
57
|
+
grounds: 'Real physics, already entailed by the L-layer via CE-planck-einstein (E=hν) and CE-mass-energy (E=mc²); not a new link. Both Adam and Eve agree it is not a new discovery.',
|
|
58
|
+
source: 'docs/research/proposed-equations-adjudication.md',
|
|
59
|
+
date: '2026-06-21',
|
|
60
|
+
},
|
|
61
|
+
{
|
|
62
|
+
id: candidateId('dark-fermion-mass', 'rest-energy'),
|
|
63
|
+
verdict: 'decoy',
|
|
64
|
+
grounds: 'Trivial/definitional. m = vg/c² re-expresses the dark-fermion mass via E=mc² instead of via Landauer (cf. PE-2) — a definitional application, not a new bridge.',
|
|
65
|
+
source: 'docs/research/proposed-equations-adjudication.md',
|
|
66
|
+
date: '2026-06-21',
|
|
67
|
+
},
|
|
68
|
+
{
|
|
69
|
+
id: candidateId('hubble-distance', 'peak-wavelength'),
|
|
70
|
+
verdict: 'decoy',
|
|
71
|
+
grounds: 'Dimensional coincidence; no mechanism. A blackbody peak wavelength equated with the cosmological horizon — disparate domains, no mechanism; numerically off by ~10²⁹ for the CMB. The clearest "coincidence, not physics" case.',
|
|
72
|
+
source: 'docs/research/proposed-equations-adjudication.md',
|
|
73
|
+
date: '2026-06-21',
|
|
74
|
+
},
|
|
75
|
+
{
|
|
76
|
+
id: candidateId('coarsening-length', 'quantum-correlation-length'),
|
|
77
|
+
verdict: 'decoy',
|
|
78
|
+
grounds: 'Non-equilibrium vs equilibrium length; unanimous. A coarsening length is a non-equilibrium domain size formed by quenching through a critical point; the quantum correlation length ξ is an equilibrium static property at it. Different processes — not the same length.',
|
|
79
|
+
source: 'docs/research/orphan-connector-adjudication.md',
|
|
80
|
+
date: '2026-06-21',
|
|
81
|
+
},
|
|
82
|
+
{
|
|
83
|
+
id: candidateId('effective-mass', 'tunneling-mass'),
|
|
84
|
+
verdict: 'decoy',
|
|
85
|
+
grounds: 'Different particles/Hamiltonians; unanimous. A proton\'s inertia in a specific biomolecular potential vs. an emergent electronic quasiparticle\'s effective mass in a strongly-correlated metal. Different particles, different Hamiltonians, unrelated scales.',
|
|
86
|
+
source: 'docs/research/orphan-connector-adjudication.md',
|
|
87
|
+
date: '2026-06-21',
|
|
88
|
+
},
|
|
89
|
+
{
|
|
90
|
+
id: candidateId('decoherence-rate', 'mutation-rate'),
|
|
91
|
+
verdict: 'decoy',
|
|
92
|
+
grounds: 'Same units, no shared meaning; unanimous. A decoherence rate (loss of quantum phase to the environment) vs. a mutation rate (frequency of a permanent, classical change to a DNA sequence). Same units, no shared physical meaning — decoherence may precede a mutation, but they are not one quantity.',
|
|
93
|
+
source: 'docs/research/orphan-connector-adjudication.md',
|
|
94
|
+
date: '2026-06-21',
|
|
95
|
+
},
|
|
96
|
+
];
|
|
97
|
+
const BY_ID = new Map(ADJUDICATIONS.map((a) => [a.id, a]));
|
|
98
|
+
/** Look up the verdict for an identification, order-insensitive. @public */
|
|
99
|
+
export function adjudicationFor(a, b) {
|
|
100
|
+
return BY_ID.get(candidateId(a, b));
|
|
101
|
+
}
|
|
102
|
+
/**
|
|
103
|
+
* Attach each candidate's recorded verdict, if any. A pure map: preserves
|
|
104
|
+
* order and length, and leaves candidates without a ledger entry untouched
|
|
105
|
+
* (no `adjudication` key added).
|
|
106
|
+
*
|
|
107
|
+
* The discovery funnel's candidate pool is NOT guaranteed to be kebab-case
|
|
108
|
+
* slugs (`candidates` command sources plain quantity names like `A` or
|
|
109
|
+
* `impact_parameter` straight off `BridgeEdge`/canonical governing sets) —
|
|
110
|
+
* `candidateId` intentionally THROWS on those (the `~`-collision guard, see
|
|
111
|
+
* its docstring). A non-slug name can never be a ledger key (every
|
|
112
|
+
* `ADJUDICATIONS` entry is a valid slug), so such candidates are
|
|
113
|
+
* pre-filtered out of lookup rather than routed through the throwing path.
|
|
114
|
+
*
|
|
115
|
+
* @public
|
|
116
|
+
*/
|
|
117
|
+
export function annotateAdjudications(candidates) {
|
|
118
|
+
return candidates.map((c) => {
|
|
119
|
+
if (!SLUG.test(c.a) || !SLUG.test(c.b))
|
|
120
|
+
return c;
|
|
121
|
+
const adjudication = adjudicationFor(c.a, c.b);
|
|
122
|
+
return adjudication ? { ...c, adjudication } : c;
|
|
123
|
+
});
|
|
124
|
+
}
|
|
125
|
+
//# sourceMappingURL=adjudication.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AA6BD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAqC;IAC7D;QACE,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAClD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,6OAA6O;QAC/O,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QACtD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,2MAA2M;QAC7M,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,eAAe,EAAE,aAAa,CAAC;QAC/C,OAAO,EAAE,UAAU;QACnB,OAAO,EACL,4KAA4K;QAC9K,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC;QACnD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iKAAiK;QACnK,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QACrD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iOAAiO;QACnO,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAClE,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,2QAA2Q;QAC7Q,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QACnD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iQAAiQ;QACnQ,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,kBAAkB,EAAE,eAAe,CAAC;QACpD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,ySAAyS;QAC3S,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;CACF,CAAC;AAEF,MAAM,KAAK,GAA+C,IAAI,GAAG,CAC/D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -23,7 +23,10 @@
|
|
|
23
23
|
* - Every canonical equation is `established` physics, so every edge is
|
|
24
24
|
* `confidence: 'established'` — the canonical graph IS the anchored core.
|
|
25
25
|
* - `kind: 'law'` (within-domain ground truth, not a cross-regime bridge);
|
|
26
|
-
* `beId: null` (not a catalog bridge).
|
|
26
|
+
* `beId: null` (not a catalog bridge). **Annotation-correctness note:**
|
|
27
|
+
* `toEdge` hardcodes `kind:'law'` and `regimesDiffer` has zero call sites.
|
|
28
|
+
* The information-axis mapping is annotation-only; there is no edge-kind
|
|
29
|
+
* path and no delta to measure.
|
|
27
30
|
* - Evaluator: the dimensional MONOMIAL gives the power law over the variable
|
|
28
31
|
* sources, times the baked constant factor. The leading DIMENSIONLESS
|
|
29
32
|
* constant (2π, ¼, …) is not pinned by dimensions, so it is taken as 1 —
|