bigmerge 923f6a4bed land annotation checking: the declared type is finally verified

2026-08-17 10:53:01 -05:00

..

annotation_query.sh

verify the annotation against what it annotates

2026-08-17 10:53:01 -05:00

arity_query.sh

EXPERIMENT: derive arity from the runtime's own declarations

2026-08-17 09:21:10 -05:00

capability_query.sh

EXPERIMENT: the capability tier becomes shipped policy plus a query

2026-08-17 09:16:36 -05:00

definitions_query.sh

thread provenance through resolve_imports

2026-08-17 10:07:27 -05:00

prohibition_query.sh

EXPERIMENT: prohibition becomes a query over emitted relations

2026-08-17 09:11:48 -05:00

seam_binding.sh

EXPERIMENT: invocation control resolves at runtime

2026-08-17 09:06:05 -05:00

tagged_gate.sh

a slot must be validated before it is dereferenced

2026-08-17 10:49:49 -05:00

temporal_query.sh

EXPERIMENT: temporal adjudication moves out; the placeholder stays

2026-08-17 09:27:42 -05:00

temporal_signatures.sh

EXPERIMENT: temporal types as data — and the pass that GREW the compiler

2026-08-17 09:25:18 -05:00