Глубокое понимание функций strcat и strlen

Мы знаем, что улкат() получает указатель на целевой массив в качестве параметров и объединяет их с исходной строкой. Целевой массив должен быть достаточно большим, чтобы сохранить конкатенированный результат. Недавно я обнаружил, что функция strcat() по-прежнему может выполняться, как и ожидалось, для небольших программ, даже если целевой массив недостаточно велик для добавления второй строки. Я начал просматривать stackoverflow и обнаружил пара - ответы для этого вопроса. Я хочу углубиться и понять, что именно происходит на аппаратном уровне, когда я запускаю этот код ниже?

#include<iostream>
#include<iomanip>
#include<cmath>
#include<cstring>

using namespace std;

int main(){
    char p[6] = "Hello";
    cout << "Length of p before = " << strlen(p) << endl;
    cout << "Size of p before = " << sizeof(p) << endl;
    char as[8] = "_World!";
    cout << "Length of as before = " << strlen(as) << endl;
    cout << "Size of as before = " << sizeof(as) << endl;
    cout << strcat(p,as) << endl;
    cout << "After concatenation:" << endl;
    cout << "Length of p after = " << strlen(p) << endl;
    cout << "Size of p after = " << sizeof(p) << endl; 
    cout << "Length of as after = " << strlen(as) << endl;
    cout << "Size of as after = " << sizeof(as) << endl;

    return 0;
}

После запуска этого кода длина массива p[] равна 12, а размер p[] равен 6. Как физически такая длина может храниться в массиве такого размера? Я имею в виду, что для этого массива количество байтов ограничено, значит ли это, что функция strlen(p) ищет только терминатор NULL и продолжает считать, пока не найдет его, и игнорирует фактический выделенный размер этого массива. И функцию sizeof() на самом деле не волнует, хранит ли последний элемент в массиве, специально выделенный для нулевого символа, нулевой символ или нет.