HIR — the application lane
HIR is the semantic core. Every target in this lane is a projection of the meaning held there, emitted as source you can read.
These are host languages. The emitter's job is to produce something a human would accept in review, which is why the Rust output stays close to the original shape while TypeScript expands.
Targets#
| Target | What it is | Scenarios shown |
|---|---|---|
| Rust | HIR projection. The package product path compiles this through Cargo. | 3 of 3 |
| Go | HIR projection with file emission and end-to-end floors. | 3 of 3 |
| TypeScript | HIR projection with file emission and end-to-end floors. | 3 of 3 |
| Faber | Canonical re-emission — the compiler printing the program back. | 3 of 3 |
A target showing fewer scenarios than the others is not broken. It means the emitter declines that shape, which the pages state directly rather than hiding.
---