uncaught compile error

[StevenClontz]

I believe https://github.com/pi-base/data/tree/82a8e40903b87c395d5ec4acb75bea07abfe69dd has an error (asserting that the empty space is strongly Choquet), but for some reason it wasn't caught during the compile action...

[yhx-12243]

I remember that, one thing worth noticed is that, in current repository, it can't even do a successful build at all in my local:

For example: https://github.com/pi-base/data/blob/main/spaces/S000171/properties/P000018.md?plain=1 have an empty description, so I comment it out months ago and forget it. But in the official online version it keeps running.

[yhx-12243]

The things more outrageous was that, backend has no logic to deduce contradiction:

web/packages/compile/src/validations.ts

Lines 15 to 23 in 0b8853e

	type CheckResult =
	| { kind: 'bundle'; bundle: Bundle }
	| {
	kind: 'contradiction'
	contradiction: { theorems: unknown[]; properties: unknown[] }
	}
	function check(bundle: Bundle, _: unknown): CheckResult {
	return { kind: 'bundle', bundle }
	}

Only frontend has and it didn't report to user:

web/packages/viewer/src/stores/deduction.ts

Lines 121 to 125 in 0b8853e

	if (result.kind === 'contradiction') {
	store.update(s => ({ ...s, contradiction: result.contradiction }))
	halt()
	return
	}

[StevenClontz]

@jamesdabbs should have some time to review your PR in the coming weeks.

FWIW the backend used to check for errors as compile time, but maybe this was accidentally looked over when we transitioned from https://github.com/pi-base/compile to https://github.com/pi-base/web