Hi Maciek
1. Yes, that's true.
'Peripheral clock' gives CAN PE clock of 80MHz
'Oscillator clock' gives CAN PE clock of 8MHz
2. No, RJW is not used in the CAN nominal bitrate calculation.
You can see in Chapter 53.5.9.7 Protocol timing from the S32K RM, on page 1775, that nominal CAN bitrate is

where Tq (Time Quanta) is

and 1 CAN bit time is

CAN bit time = SYNC_SEG + (PROPSEG + PSEG1 + 2) + (PSEG2 + 1)
RJW (Resync Jump Width) also called as SJW (Sync-Jump Width), is the maximum number of time quanta that a bit time can be changed by one resynchronization.
It allows a receiving CAN node to resync (increase PSEG1 duration / decrease PSEG2 duration up to RJW time quanta) to a receiving CAN frame that has a bitrate slightly faster or slower than that of the receiving CAN node.
I think that +2 constant from Time Segment 1 made you believe that RJW is used for nominal CAN bitrate calculation.
The values of bitfields PROPSEG, PSEG1, PSEG2, and RJW from CTRL1 register, which are the same ones from the CAN_Config block, are not used directly, instead in the FlexCAN hardware they are incremented by 1. As a result instead of
CAN bit time = SYNC_SEG + PROPSEG + PSEG1 + PSEG2 time quanta
it is
CAN bit time = SYNC_SEG + (PROPSEG + 1) + (PSEG1 + 1) + (PSEG2 + 1) time quanta
3. Using these formula and the values from the CAN_Config block let's compute the CAN bitrate.
We have:
- tCANCLK (CAN PE clock): 80 MHz (Peripheral clock)
- PRESDIV (Prescaler Divider): 75
- PROPSEG (Propag. Segment): 1
- PSEG1 (Phase Segment 1): 6
- PSEG2 (Phase Segment 2): 5
Tq = (PRESDIV + 1 ) / tCANCLK = (75 + 1) / 80000000 = 0.00000095 s
CAN bit time = SYNC_SEG + (PROPSEG + 1) + (PSEG1 + 1) + (PSEG2 + 1) = 1 + (1 + 1) + (6 + 1) + (5 + 1) = 16 time quanta = 16 * 0.00000095 s = 0.0000152 s = 15.2 us
CAN bit rate = 1 / CAN bit time = 1 / 0.0000152 = 65789.47368421053 bit/s = 65.79 Kbit/s
These are almost the same values that you measured.
For the next release of S32K toolbox we'll compute and display the CAN PE clock, Tq and CAN bitrate when you configure the bitrate using the time segments. And maybe display the final incremented values of the time segments parameters.
Hope this helps,
Paul